Know when compilation helps—and when shapes break it
one move: separate graph from values
Open the code pane immediately, then use the Spec tab, optional design question, tests, and artifact when you want them.
Finish each move before carrying the artifact forward.
Modern compilers capture a stable computation graph and cache compiled variants; dynamic shapes can trigger recompilation or graph breaks.
Deliverable: State the system invariant in one sentence.Build a deterministic cache key from operation graph and input shapes, report hits/misses, and flag unsupported dynamic shapes.
Deliverable: Type the deterministic core.Equivalent graphs and shapes share a key; one changed shape or operation creates a new compilation artifact.
Deliverable: Record a normal case and a boundary case.Toggle dynamic dimensions, insert a graph break, and compare compile overhead with steady-state runs.
Deliverable: Name the failure signal and its guard.A compile cache manifest with graph hash, shape policy, and warmup report.
Deliverable: Save the contract, evidence, and handoff note.Equivalent graphs and shapes share a key; one changed shape or operation creates a new compilation artifact.
Toggle dynamic dimensions, insert a graph break, and compare compile overhead with steady-state runs.
A compile cache manifest with graph hash, shape policy, and warmup report.
Deriva-authored extension beyond the supplied PDF. The five moves are Deriva’s implementation contract for this project.