engine: element-level cycle resolution (C-LEARN hero model)#592

Merged

bpowers merged 72 commits into

mainfrom

clearn-hero-model

May 20, 2026

Commits on May 16, 2026

Commits on May 18, 2026

engine: preserve flow subscripts in stock-flow decomposition
bpowers
committed
engine: resolve synthetic net-flow rate per element
bpowers
committed
engine: split dependency-graph machinery into db_dep_graph
bpowers
committed
engine: extract per-variable lowering into db_var_fragment
bpowers
committed
engine: add array_producing_vars condition-2 accessor
bpowers
committed
docs: update tech-debt
bpowers
committed
engine: replace phantom design-doc citations in comments
bpowers
committed
doc: add element-level cycle resolution design plan
bpowers
committed
doc: add element-level cycle resolution implementation plan
bpowers
committed
engine: promote scc_components to production pub(crate) primitive
bpowers
committed
engine: add ResolvedScc/SccPhase and resolved_sccs payload
bpowers
committed
engine: resolve single-variable self-recurrence SCCs in dt cycle gate
bpowers
committed
engine: tighten genuine same-element self-cycle to CircularDependency (AC4.2)
bpowers
committed
engine: re-point dt cycle consistency harness to element invariant
bpowers
committed
engine: assert byte-stable per-element run order (AC1.4)
bpowers
committed
engine: correct phase_element_order rationale and clarify element-cycle graph-key/input-wiring docs
bpowers
committed
doc: phase 2 init combined-fragment representability spike
bpowers
committed
engine: extract init_walk_successors, share the init relation
bpowers
committed
engine: init-phase per-element relation and verdict
bpowers
committed
doc: revise phase 2 subcomponent B for symbolic-ref architecture (GH #575)
bpowers
committed
engine: rebuild SCC element-graph verdict on symbolic refs (multi-member, GH #575)
bpowers
committed
engine: interleave members' symbolic segments into one combined PerVarBytecodes
bpowers
committed
doc: insert phase 2 task 5b (multi-member SCC dependency-graph consumption, GH #575)
bpowers
committed
engine: consume multi-member resolved SCCs in dependency graph (SCC-aware back-edge break)
bpowers
committed
engine: inject combined SCC fragment in assemble_module (dt+init)
bpowers
committed
engine: ref.mdl multi-variable recurrence simulates (AC2.1)
bpowers
committed
engine: interleaved.mdl element interleave simulates (AC2.2)
bpowers
committed

Commits on May 19, 2026

Commits on May 20, 2026