Concepts

These pages explain the mental model behind autoform: trace once, transform the IR, then execute it sync or async.

• Trace, IR, Execute
  • Trace
  • The IR
  • Execute
  • Transform
  • Execution Axis
  • Gotchas
• The IR
  • IR Components
  • Worked Example
  • IR Operations
  • Non-Goals
  • IR Inspection
• Primitives
  • Rule Registries
  • Public Primitive Groups
  • Primitive Definitions
• Transforms
  • IR Transforms
  • Composition
  • Non-Transforms
  • Transform and Execution Axes
• Path Weights
  • Accumulation
  • Batch Path Scoring
  • Boundaries
  • Probability Reading
• Tracing Semantics
  • Static and Dynamic Inputs
  • Traced Branches
  • Runtime Loops
  • Runtime Value Inspection
  • Closures and Mutation
• Pytrees
  • Registration
  • PYTREE_NAMESPACE
  • Static Metadata Fields
  • Manual Flatten / Unflatten
  • Method-Bearing Pytrees
  • Transform Behavior
  • Leaf Guidelines
• Schemas
  • Leaf Types
  • Descriptions
  • Pytree Shapes
  • Define a Custom Pytree
  • Transform Schema Trees
  • Schema Calls
  • Schema Pullback
• Intercepts
  • checkpoint
  • collect and inject
  • Trace-Time Printing
  • Runtime Contexts
• Custom Rules
  • Mental Model
  • pushforward Rule
  • pullback Rule
  • batch Rule
  • Rule Hooks
  • Rule Correctness
• Walk
  • Manual Execution
  • Use Cases
  • Generator Contract
  • Minimal Example
  • Non-Goals
• Tags
  • Scheduling Tags
  • Walk Tags
  • Hashable Values
• Fold
  • Trace-Time Decisions
  • Dynamic Value Limits