Expand description
SRD-105 lattice report — what extraction actually did.
Walks a compiled program and reports its engine mix: which
cones formed (members, boundary shape), which nodes stayed on
the interpreter, and the lattice headroom per node — P3
classifiability and whether the node carries a compiled_u64
op, the cheapest P2 form (a node with a slot kit runs on P2
too). The headroom column is the standing evidence feed for the
parked “P2 closures at cone boundaries” extension (SRD-105
§Rejected alternatives addendum): nodes that are u64-capable but
not JIT-classifiable currently run P1 dyn dispatch.
Used by the cone-formation tests (tests/core_with_library.rs).
Structs§
- Cone
Entry - One fused cone in the compiled program.
- Lattice
Report - Engine-mix report for one compiled program.
- Residue
Entry - One node left on the interpreter.
Functions§
- lattice_
report - Walk
programand report its engine mix.