Skip to content
Draft
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
d8d153d
M7 design doc: title, metadata, revision log (incremental)
MaxGhenis Jul 14, 2026
08b17ec
M7 design doc: §1 summary + §2.1 M6 handoff inputs (incremental)
MaxGhenis Jul 14, 2026
31eb761
M7 design doc: §2.2 taxable payroll/revenue + §2.3 outlays by class (…
MaxGhenis Jul 14, 2026
695bbd1
M7 design doc: §2.4 balance identity + §2.5 COLA/indexation + §2.6 DI…
MaxGhenis Jul 14, 2026
a6b496e
M7 design doc: §3 determinism law + §4.1 binding table (incremental)
MaxGhenis Jul 14, 2026
3c5ee10
M7 design doc: §4.2 exposed + §4.3 LOUD gaps + §4.4 tamper-gate facto…
MaxGhenis Jul 14, 2026
218866f
M7 design doc: §5 anchors intro + §5.1 M2-reproduction target table (…
MaxGhenis Jul 14, 2026
4f76ab8
M7 design doc: §5.2 Mermin cost-ordering + §5.3 Trustees corridors + …
MaxGhenis Jul 14, 2026
2ba927c
M7 design doc: §6 proposed-not-locked gate_m7 (internal-identity) blo…
MaxGhenis Jul 14, 2026
545ebb0
M7 design doc: §7 what M7 does NOT certify (certification-scope voice…
MaxGhenis Jul 14, 2026
f81ce3e
M7 design doc: §8 open decisions for the referee (12 under-determined…
MaxGhenis Jul 14, 2026
16782db
M7 design doc: §9 design-parameters JSON provenance block; doc complete
MaxGhenis Jul 14, 2026
75c7073
M7 fixes: S1 CPI-W/COLA is a present pe-us node (gov/ssa/uprating.yam…
MaxGhenis Jul 14, 2026
eb82e69
M7 fixes: §2.5 COLA is present-but-unwired (S1 cross-ref); candidate-…
MaxGhenis Jul 14, 2026
d3a7381
M7 fixes: S2 decision 1 — roadmap #113 amendment ratification path + …
MaxGhenis Jul 14, 2026
62ced18
M7 fixes: S3 sex-dimension coupling to m6-sex-patch (§2.1 + decision …
MaxGhenis Jul 14, 2026
8a95a5d
M7 fixes: §9 JSON provenance rev-2 (A/B/C bindings, decision 13, rati…
MaxGhenis Jul 14, 2026
6ed5df9
M7 fixes: §4.3 B — CPI-W actuals run through 2025 (2026 is first CBO-…
MaxGhenis Jul 14, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading