Repository navigation

Materialize the Census SPM independence role in US builds - #959

Merged

MaxGhenis merged 28 commits into

mainfrom

us-spm-role-stage

Sep 23, 2026

Merged

Materialize the Census SPM independence role in US builds#959
MaxGhenis merged 28 commits into
mainfrom
us-spm-role-stage

Commits on Sep 18, 2026
- Start step 2: proof script for the role on real populations, journal section
  
  MaxGhenis
  and
  claude
  committed
  74408f2
- Receipts: the role takes the phase-2 base from 222 to 0 and matches Build P byte for byte
  
  MaxGhenis
  and
  claude
  committed
  70c015c
- Design note: the SPM independence role as a build-stage input leaf
  
  MaxGhenis
  and
  claude
  committed
  a604322
- us: add the spm_independence_role source stage and register it
  
  MaxGhenis
  and
  claude
  committed
  1152018
- frame: classify the engine's declared dataset source inputs as input leaves
  
  MaxGhenis
  and
  claude
  committed
  c8a621f
- us: require the SPM independence role in the coverage manifest and the export
  
  MaxGhenis
  and
  claude
  committed
  24dfb81
- frame: default_values honours declared source inputs; re-derive pool engine contracts
  
  MaxGhenis
  and
  claude
  committed
  cfb9014
- frame tests: the SPM independence role is an input leaf in the audited snapshot
  
  MaxGhenis
  and
  claude
  committed
  3d35bb5
- us: run the SPM independence role stage in the base builder and the release tool
  
  MaxGhenis
  and
  claude
  committed
  9d26595
- us: move the SPM composition check into a build-stage-importable module
  
  MaxGhenis
  and
  claude
  committed
  9d221ef
- us: regenerate the spec bundle for the spm_independence_role stage
  
  MaxGhenis
  and
  claude
  committed
  5d94f02
- tests: classify spm_composition and spm_independence_role in the spine-blindness inventory
  
  MaxGhenis
  and
  claude
  committed
  0fe1354
- tests: the SPM independence role stage — manifest, refusals, gate, seeded agreement sweep
  
  MaxGhenis
  and
  claude
  committed
  9c032fc
- spec-engine: re-derive the identity artifacts the spm_independence_role stage moves
  
  MaxGhenis
  and
  claude
  committed
  a138536
- ruff format the two files this branch created
  
  MaxGhenis
  and
  claude
  committed
  cff1577
Commits on Sep 19, 2026
Commits on Sep 23, 2026
- Merge origin/main into us-spm-role-stage (re-level #959 on main)
  
  MaxGhenis
  and
  claude
  committed
  f69389e
- Merge origin/main (#980, #985) into us-spm-role-stage
  
  MaxGhenis
  and
  claude
  committed
  0d3c40a
- Merge origin/main (#984, #986, #977) into us-spm-role-stage
  
  MaxGhenis
  and
  claude
  committed
  a222b90
- Keep the SPM role stage inside the spine-blindness contract
  
  MaxGhenis
  and
  claude
  committed
  121ea41
- Register the SPM role derivation projection as a Frame serializer
  
  MaxGhenis
  and
  claude
  committed
  ec5d701
- Regenerate the H3 US post-transfer parity graph pin for the SPM role
  
  MaxGhenis
  and
  claude
  committed
  4ef6357
- Read the SPM role source from the official ASEC archive, as the base stage passes it
  
  MaxGhenis
  and
  claude
  committed
  47976be
- Document the SPM role source's archive reader and restate the remedy
  
  MaxGhenis
  and
  claude
  committed
  6083458
- Report offending SPM unit counts, not unit ids, in the role receipts
  
  MaxGhenis
  and
  claude
  committed
  53cf2eb
- Merge origin/main (#988) into us-spm-role-stage
  
  MaxGhenis
  and
  claude
  committed
  517d9a4

Navigation Menu

Repository navigation

Materialize the Census SPM independence role in US builds - #959

Materialize the Census SPM independence role in US builds#959
MaxGhenis merged 28 commits into
mainfrom
us-spm-role-stage

Commits on Sep 18, 2026

Start step 2: proof script for the role on real populations, journal section

Receipts: the role takes the phase-2 base from 222 to 0 and matches Build P byte for byte

Design note: the SPM independence role as a build-stage input leaf

us: add the spm_independence_role source stage and register it

frame: classify the engine's declared dataset source inputs as input leaves

us: require the SPM independence role in the coverage manifest and the export

frame: default_values honours declared source inputs; re-derive pool engine contracts

frame tests: the SPM independence role is an input leaf in the audited snapshot

us: run the SPM independence role stage in the base builder and the release tool

us: move the SPM composition check into a build-stage-importable module

us: regenerate the spec bundle for the spm_independence_role stage

tests: classify spm_composition and spm_independence_role in the spine-blindness inventory

tests: the SPM independence role stage — manifest, refusals, gate, seeded agreement sweep

spec-engine: re-derive the identity artifacts the spm_independence_role stage moves

ruff format the two files this branch created

Commits on Sep 19, 2026

Harden SPM role source provenance and builder integration

Record clean-source SPM wrapper proofs and generated contract checks

Document completed SPM contract verification

Commits on Sep 23, 2026

Merge origin/main into us-spm-role-stage (re-level #959 on main)

Merge origin/main (#980, #985) into us-spm-role-stage

Merge origin/main (#984, #986, #977) into us-spm-role-stage

Keep the SPM role stage inside the spine-blindness contract

Register the SPM role derivation projection as a Frame serializer

Regenerate the H3 US post-transfer parity graph pin for the SPM role

Read the SPM role source from the official ASEC archive, as the base stage passes it

Document the SPM role source's archive reader and restate the remedy

Report offending SPM unit counts, not unit ids, in the role receipts

Merge origin/main (#988) into us-spm-role-stage