RFC: the spec engine — schema for full spec-drivenness (review before build) - #698

Open

MaxGhenis wants to merge 34 commits into

mainfrom

spec-engine-schema

Commits on Aug 16, 2026

RFC: the spec engine — one declared bundle drives the build

MaxGhenis
and
claude
committed
078a021
ASEC complement allocation: unidentified-county households draw within the non-identified-county complement, never the whole state

MaxGhenis
and
claude
committed
952d5ad
Declare chain semantics in imputation.yaml: order, batch width, cross-batch independence, keep-together groups

MaxGhenis
and
claude
committed
c466d1f
take_up.yaml keys by program; column + entity derive from the naming rule and contract

MaxGhenis
and
claude
committed
c9c304d
D6 (open): microcosm-* release line at the flip; populace-* stays historical; HF destination = explicit ruling only

MaxGhenis
and
claude
committed
359fa63
selection.yaml: kernel-contract gates are not config; rename the exact-k validity gate cardinality_gate

MaxGhenis
and
claude
committed
9eafc7e
RFC v2: fold sol + GPT-5.6 Pro reviews and Max's four rulings

MaxGhenis
and
claude
committed
d865ba4
RFC v3: fold round-2 reviews (sol + Pro both request-changes)

MaxGhenis
and
claude
committed
48aa575
Add the closed-world bundle schemas (15 files) — F0 deliverable pulled forward

MaxGhenis
and
claude
committed
c3e7857
RFC v3: record Max's approval (2026-08-16) — schema shape + P→F0→F3 phasing

MaxGhenis
and
claude
committed
c7f0228
D6 RULED: microcosm-us-2024-* release line (Max, 2026-08-16)

MaxGhenis
and
claude
committed
e456209
F0 D1: record baseline authority inventory
MaxGhenis
committed
4f1b251

Commits on Aug 17, 2026

F0 D2: add typed spec loader and canonicalizer
MaxGhenis
committed
01c056d
F0 D3: generate complete US spec bundle
MaxGhenis
committed
f85c248
F0 D4: compile plans and legacy payloads
MaxGhenis
committed
1f6066e
F0 D5: attest configuration coverage
MaxGhenis
committed
d24f20c
F0 D6: compile UK and Belgian shared core
MaxGhenis
committed
cdcf7d2
F0 D7: round-trip resolved bundles
MaxGhenis
committed
7ce88ca
F0 D8: wire constants adapter receipts
MaxGhenis
committed
00fef6d
CI retrigger: re-fire the pull_request webhook dropped by the GitHub incident

MaxGhenis
and
claude
committed
e82917e

Commits on Aug 18, 2026

Merge remote-tracking branch 'origin/main' into spec-engine-schema
MaxGhenis
committed
fbf4310
Repair the main merge: UK stage-manifest regeneration + shared-resolver drift fix

MaxGhenis
and
claude
committed
b9a79bd
CI compatibility: root conftest for tools imports; engine-absent lock path

MaxGhenis
and
claude
committed
0a84767
Lint: raise from None in the engine-absent canonical-form refusal

MaxGhenis
and
claude
committed
3069228
Wheels-gate compatibility: single-source schemas, engine skips, stable digests

MaxGhenis
and
claude
committed
b132807
Lint: organize imports in guarded test modules

MaxGhenis
and
claude
committed
9becb70
Wheels gate: lock-constrained venv and optional-dep test guards

MaxGhenis
and
claude
committed
65c8333
CI: one pytest process per shard in the test job

MaxGhenis
and
claude
committed
2a70dbf
Merge remote-tracking branch 'origin/main' into spec-engine-schema
MaxGhenis
committed
1571df6
Repair the second main merge: UK stochastic stages into the spec seam

MaxGhenis
and
claude
committed
5177985
Add spec-envelope section digests to the wheels gate

MaxGhenis
and
claude
committed
bcb055b
Dump the seed-protocol wire in the wheels diagnostic step

MaxGhenis
and
claude
committed
57880ce
Print per-module source-inventory hashes in the wire dump

MaxGhenis
and
claude
committed
3026c4c

Commits on Aug 19, 2026

Diagnostic: dump installed solve.py verbatim in the wheels gate

MaxGhenis
and
claude
committed
0ac6fc0