Repository navigation

Integrate the demand engine into the production native driver - #12401

Merged

briansrls merged 26 commits into

mainfrom

lane/demand-integration

Sep 30, 2026

Commits on Sep 26, 2026

Meaning splits from storage, and the new module imports the nature it uses

gunbc-ci-auto-heal
and
claude
committed
3e0a494
The generic engine lands on the contract it imports, without its native claim

gunbc-ci-auto-heal
and
claude
committed
d881a7b
The clock gets an emitted body, and its signature stops admitting what it denied

gunbc-ci-auto-heal
and
claude
committed
8c5ebc7
Install the regenerated mirrors for the three clock authorities

gunbc-ci-auto-heal
and
claude
committed
d691e98

Commits on Sep 27, 2026

The fallback stops discarding the missing-row cause, and the fatal stays put

gunbc-ci-auto-heal
and
claude
committed
cb0d53b
The route switches: the engine schedules and the rendered main stops doing it

gunbc-ci-auto-heal
and
claude
committed
e05f422
Install the regenerated emitter mirror so the binary renders the switched main

gunbc-ci-auto-heal
and
claude
committed
44419a1
A dead clock passed every check, so progress becomes its own refused fact

gunbc-ci-auto-heal
and
claude
committed
b75f697
Install the regenerated mirror so the dead-clock refusal exists in a binary

gunbc-ci-auto-heal
and
claude
committed
a5e17aa
Merge main into the demand integration lane
gunbc-ci-auto-heal
committed
9159129
judgment_contract imports the skip it uses, which the required floor refused

gunbc-ci-auto-heal
and
claude
committed
6807145

Commits on Sep 29, 2026

Address both review findings: the scheduler's cost is a row, and a failed module counts once

gunbc-ci-auto-heal
and
claude
committed
53fafc3
Both review fixes redone: the scheduling row is measured, preparation counts per module

gunbc-ci-auto-heal
and
claude
committed
b643371
Merge main into the demand integration lane (second pass)
gunbc-ci-auto-heal
committed
12c37fe
Index the engine's adjacency, and measure the locality claim instead of asserting it

gunbc-ci-auto-heal
and
claude
committed
788acde
Keyed entry store: a completion now costs its out-degree, measured

gunbc-ci-auto-heal
and
claude
committed
ad25c17

Commits on Sep 30, 2026

The keyed store's invariants, and the locality claim held at the grain it proves

gunbc-ci-auto-heal
and
claude
committed
3cd05fc
The ready order and in-flight count are maintained, not rederived per admission

gunbc-ci-auto-heal
and
claude
committed
41b0a22
DemandRunning is a declared frontier, and the in-flight delta gets a control that can fail

gunbc-ci-auto-heal
and
claude
committed
4464213
Gate item 4: engine, schedule and partition controls green at this head

gunbc-ci-auto-heal
and
claude
committed
d56003f
Drop the translate fallback, reach the mirror fixed point, census the moved authorities

gunbc-ci-auto-heal
and
claude
committed
cf82073
Merge main into the demand integration lane (roster is monotone against main)
gunbc-ci-auto-heal
committed
9fcc039
Cover the new row key in the Rust test targets, which no --bin build compiles

gunbc-ci-auto-heal
and
claude
committed
1b9335a
Count the population through entry_order, not the keyed store

gunbc-ci-auto-heal
and
claude
committed
06ac1d8
Merge main (monotone roster again); mirrors taken from main for re-derivation
gunbc-ci-auto-heal
committed
41b65f2
Install the regenerated mirrors for the merged emitter authorities

gunbc-ci-auto-heal
and
claude
committed
ee05766