Ordering train: per-stratum tail support receipts (#652) + late-producer input DAG (#653) - #660

Merged

MaxGhenis merged 156 commits into

mainfrom

tail-stratum-support-652

Aug 13, 2026

Commits on Aug 9, 2026

test: declare capital gains tail stratum support
MaxGhenis
committed
c2bc06f
fix: declare capital gains tail stratum support
MaxGhenis
committed
9f184a0
fix: bind tail support into stacked authority
MaxGhenis
committed
54d2dee

Commits on Aug 10, 2026

docs: start issue 653 progress journal
MaxGhenis
committed
054fb63
docs: record issue 653 mechanism audit
MaxGhenis
committed
d6bba48
test: declare late producer DAG doctrine
MaxGhenis
committed
021c9ba
feat: add deterministic late producer DAG
MaxGhenis
committed
63a3451
fix: make qualified tuition an upstream DAG input
MaxGhenis
committed
2f4962f
feat: declare canonical late producer registry
MaxGhenis
committed
442d1d3
refactor: expose single late source producers
MaxGhenis
committed
3d21624
fix: gate every declared late producer input
MaxGhenis
committed
897c1a1
feat: execute the complete late producer DAG
MaxGhenis
committed
923ae9a
docs: publish the complete late producer DAG
MaxGhenis
committed
4394649
test: register the late DAG with spine blindness
MaxGhenis
committed
170cd6a
test: record complete issue 653 verification
MaxGhenis
committed
cacfce2
docs: record final late DAG audit gaps
MaxGhenis
committed
e9b7fef
test: expose remaining late input contract gaps
MaxGhenis
committed
12d0dcf
fix: align late input contracts with strict callbacks
MaxGhenis
committed
6540cd7
test: distinguish absent from invalid late inputs
MaxGhenis
committed
f015c7a
fix: refuse invalid late inputs without absence escape
MaxGhenis
committed
540eef7
fix: require exact late readiness surfaces
MaxGhenis
committed
39eca77
test: require explicit late source finalizer node
MaxGhenis
committed
8ba01d3
feat: declare the late source finalizer producer
MaxGhenis
committed
a74671d
test: expose undeclared transfer provenance inputs
MaxGhenis
committed
24187a4
fix: bind complete late validation inputs
MaxGhenis
committed
5f1da5a
docs: refresh microcosm 653 progress
MaxGhenis
committed
54724ab
test: require content-bound late DAG receipts
MaxGhenis
committed
54e225b
feat: bind late DAG receipts to frame content
MaxGhenis
committed
256393c
feat: carry late DAG authority in checkpoints
MaxGhenis
committed
f6423c5
feat: version late transition receipt doctrine
MaxGhenis
committed
b78a3d7
test: require H5 late transition authority
MaxGhenis
committed
d3b94db
feat: propagate late DAG transition authority
MaxGhenis
committed
82a833e
fix: bind H5 loads to late transition authority
MaxGhenis
committed
b50c62d
docs: publish complete late dependency DAG
MaxGhenis
committed
db24a1c
test: bind tool fixtures to late DAG authority
MaxGhenis
committed
81d2737
docs: record late authority completion
MaxGhenis
committed
e9e41ed
test: reject insufficient producer coverage
MaxGhenis
committed
dae623c
fix: validate producer output scope coverage
MaxGhenis
committed
72ff1c2
feat: declare late external producer inputs
MaxGhenis
committed
4fd94a3
test: require complete late external inputs
MaxGhenis
committed
ff39cef
refactor: name late external resource inputs
MaxGhenis
committed
95a642f
test: preserve legacy H5 envelope compatibility
MaxGhenis
committed
fb9f9f5
fix: preserve legacy pool manifest loading
MaxGhenis
committed
f8071de
fix: hash late-stage tables canonically
MaxGhenis
committed
3b893ef
test: require bound late external resources
MaxGhenis
committed
2978bb5
fix: isolate legacy pool envelope identity
MaxGhenis
committed
d89b6a4
fix: bind late producer external resources
MaxGhenis
committed
abe968a
fix: authenticate late primary QRF inputs
MaxGhenis
committed
3f098ce
test: reject forged late resource evidence
MaxGhenis
committed
64580a4
docs: bind late external resource doctrine
MaxGhenis
committed
470b0fe
test: bind H5 late resource fixtures
MaxGhenis
committed
830b0ce
fix: declare late source execution controls
MaxGhenis
committed
0d3c412
fix: declare ACS earnings universe producer
MaxGhenis
committed
57e58c4
fix: reconcile late producer readiness evidence
MaxGhenis
committed
f908fe1
fix: preserve and fence legacy pool envelope
MaxGhenis
committed
025a0a6
docs: publish final late producer graph
MaxGhenis
committed
f508324
docs: clarify late zero and version doctrine
MaxGhenis
committed
356eb88
test: preserve exact-k legacy pool fixture
MaxGhenis
committed
ea06328
style: order late producer imports
MaxGhenis
committed
47ec32e
test: expose late DAG integrity gaps
MaxGhenis
committed
2a3c907
fix: complete ACS universe input binding
MaxGhenis
committed
6c28949
fix: reconcile late execution receipts
MaxGhenis
committed
4e5c300
fix: require positive legacy pool identity
MaxGhenis
committed
579ec87
test: bind remaining late callback controls
MaxGhenis
committed
0bfbf55
fix: bind source callback and finalizer inputs
MaxGhenis
committed
326c113
fix: bind primary and transfer callback inputs
MaxGhenis
committed
f5f0400
fix: bind complete late runtime semantics
MaxGhenis
committed
6ca065a
test: prove stale late resources block resume
MaxGhenis
committed
3f4b896
fix: bind source output families explicitly
MaxGhenis
committed
f13dfaa
docs: publish complete late dependency contract
MaxGhenis
committed
d390fe7
docs: record final verification matrix
MaxGhenis
committed
f1a5994
docs: finalize issue 653 handoff
MaxGhenis
committed
a9fc7d1
docs: start final 652 653 QA ledger
MaxGhenis
committed
5dee5a8
docs: record final 652 653 QA evidence
MaxGhenis
committed
a1b1f48
docs: restore root journals after final QA
MaxGhenis
committed
27b07c7

Commits on Aug 11, 2026

docs: start round 8 cross-origin audit ledger
MaxGhenis
committed
0033d89
docs: record round 8 mechanism adjudication
MaxGhenis
committed
0aa7a98
fix: scope origin-exclusive late inputs
MaxGhenis
committed
d172da1
test: enforce cross-origin late input scopes
MaxGhenis
committed
87ac3ea
docs: record round 8 proof matrix
MaxGhenis
committed
d9e6991
docs: mark round 8 ready for smoke
MaxGhenis
committed
14de14c
docs: start round 9 dtype audit
MaxGhenis
committed
c478747
docs: adjudicate round 9 dtype mechanism
MaxGhenis
committed
082756b
test: expose primary PUF boolean materialization
MaxGhenis
committed
0cbcda7
fix: preserve canonical late boolean dtypes
MaxGhenis
committed
3af99c9
docs: record round 9 focused proofs
MaxGhenis
committed
5f3713b
test: require canonical adult-care boolean dtype
MaxGhenis
committed
f06e007
fix: weight monetary allocations from boolean incidence
MaxGhenis
committed
1a67689
fix: validate boolean allocation bases by family
MaxGhenis
committed
6a77f66
docs: record round 9 final proof
MaxGhenis
committed
6ed74f6
Keep root journals out of the PR (base state)

MaxGhenis
and
claude
committed
1abb425

Commits on Aug 12, 2026

Retrigger CI
MaxGhenis
committed
0e6cfae
docs: start round 10 overlap ownership audit
MaxGhenis
committed
2dae7fa
docs: adjudicate round 10 overlap mechanism
MaxGhenis
committed
261f521
test: declare late overlap ownership
MaxGhenis
committed
f0c5ce8
feat: bind late overlap ownership
MaxGhenis
committed
9ef8216
fix: preserve source-owned tail overlap bytes
MaxGhenis
committed
4d1adef
docs: record round 10 implementation
MaxGhenis
committed
ae3c12d
docs: record late overlap ownership
MaxGhenis
committed
1e87513
test: bind education overlap no-op at runtime
MaxGhenis
committed
4742872
test: pin certified overlap owner matrix
MaxGhenis
committed
fbc55cb
test: exhaust late callback overlap surface
MaxGhenis
committed
3439bf2
test: classify late ownership provenance
MaxGhenis
committed
a816f96
fix: fail closed on overlap passthrough omission
MaxGhenis
committed
dbac19a
docs: close round 10 review
MaxGhenis
committed
740a2df
docs: record round 10 proof
MaxGhenis
committed
0afc7bd
docs: restore root progress baseline
MaxGhenis
committed
22e4b62
Merge remote-tracking branch 'origin/main' into tail-stratum-support-652
MaxGhenis
committed
cd4faa3
docs: start round 11 checkpoint dtype audit
MaxGhenis
committed
21b59fa
docs: record round 11 checkpoint audit
MaxGhenis
committed
d25cdd8
test: specify nullable boolean checkpoints
MaxGhenis
committed
7c6428e
test: harden checkpoint compatibility matrix
MaxGhenis
committed
f7d5400
fix: serialize nullable boolean checkpoints losslessly
MaxGhenis
committed
d1d0657
docs: record round 11 focused proof
MaxGhenis
committed
89dc446
docs: record exact issue 583 proof
MaxGhenis
committed
725d932
docs: record full workspace proof
MaxGhenis
committed
292a2b1
docs: record UK checkpoint compatibility proof
MaxGhenis
committed
2d0aa1f
docs: record round 11 verdict prediction
MaxGhenis
committed
1815b8a
fix: reject empty nullable checkpoint masks
MaxGhenis
committed
a16459e
docs: finalize round 11 proof
MaxGhenis
committed
bb2b349
Keep root journals at base state

MaxGhenis
and
claude
committed
8ba5527
docs: start round 12 input provenance audit
MaxGhenis
committed
42daf67
docs: record round 12 mechanism audit
MaxGhenis
committed
69bfce4
docs: correct SSI manifest audit counts
MaxGhenis
committed
4c5433d
test: preserve exact QBI s corp validation
MaxGhenis
committed
fa9ae8f
fix: materialize stacked s corp zero universe
MaxGhenis
committed
f880dc6
feat: declare remaining pool stage inputs
MaxGhenis
committed
696e6b9
fix: preserve legacy pool identity golden
MaxGhenis
committed
adb8ca3
fix: keep input manifest source blind
MaxGhenis
committed
9210473
test: correct schema v2 checkpoint golden
MaxGhenis
committed
1ff0283
docs: record round 12 focused proofs
MaxGhenis
committed
4e48fc7
fix: declare QBI universe provenance input
MaxGhenis
committed
3763406
docs: add round 12 changelog
MaxGhenis
committed
2ba9538
test: retain locked schema v2 golden
MaxGhenis
committed
a8651bc
docs: finalize round 12 proof
MaxGhenis
committed
caf1e80

Commits on Aug 13, 2026

Keep root journals at base state

MaxGhenis
and
claude
committed
c079688
docs: start round 13 serializer audit
MaxGhenis
committed
23eaade
docs: record round 13 serializer inventory
MaxGhenis
committed
5270d5d
test: inventory every Frame HDF serializer
MaxGhenis
committed
7b5291b
test: require boolean round trips at every serializer
MaxGhenis
committed
dc6bbeb
feat: centralize nullable boolean materialization
MaxGhenis
committed
aa83d65
fix: materialize booleans at every PyTables boundary
MaxGhenis
committed
d1d6e0a
fix: preserve nullable booleans in fiscal checkpoints
MaxGhenis
committed
24e7295
fix: bind stacked publication to boolean-safe H5
MaxGhenis
committed
45da06d
docs: record serializer closure
MaxGhenis
committed
49a553d
test: cover all-missing booleans in every serializer
MaxGhenis
committed
1b7e3b6
fix: preserve all-missing booleans through PyTables
MaxGhenis
committed
338f2cd
docs: record versioned PyTables boolean codec
MaxGhenis
committed
58759dc
Repin the schema-2 byte golden to the current fixture

MaxGhenis
and
claude
committed
95efe8b
Keep root journals at base state

MaxGhenis
and
claude
committed
bfc0646
Assert schema-2 determinism instead of a platform-dependent byte constant

MaxGhenis
and
claude
committed
be3114e
Add the f004 smoke rung to the ladder grammar (#624 revision)

MaxGhenis
and
claude
committed
c786f60
Admit f004 in the stacked release-id pattern

MaxGhenis
and
claude
committed
797502a
Pin both legacy-strip refusal boundaries

MaxGhenis
and
claude
committed
3949d6b
fixup! Pin both legacy-strip refusal boundaries
MaxGhenis
committed
34111ab
Rename serializer id off the incumbent-substring; guard pe-us-dependent tests for the wheel gate
MaxGhenis
committed
099c117