Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
19 changes: 10 additions & 9 deletions docs/progress.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

# Development progress

*Snapshot as of 2026-09-05T10:27:00Z (UTC); updated at least daily while the evidence campaign is active. The data behind this page is committed at [`docs/progress/progress.json`](progress/progress.json).*
*Snapshot as of 2026-09-05T16:40:00Z (UTC); updated at least daily while the evidence campaign is active. The data behind this page is committed at [`docs/progress/progress.json`](progress/progress.json).*

Dynamics builds Social Security earnings histories from the PSID, and the corrected covered-earnings series is only as credible as the reading of the source documentation beneath it. Before that series ships, every piece of documentation the construction relies on is independently verified by the three arms below; the design is pre-registered and ratifies only when they complete. (Internally: the evidence campaign behind Amendment 20 (two-arm evidence charter for the covered-earnings correction design), under review in PR #405, open; draft ratified through round 6.2; next step, the A4 evidence freeze, then the C20 ratification chain toward revision 22.)

Expand All @@ -27,14 +27,14 @@ The foundations below are complete and in the repository today; the campaign tra
align-items: baseline;">
<strong>Prompt-purpose census</strong>
<span style="font-variant-numeric: tabular-nums;">
19,749 / 20,815 &middot; 94.9%</span>
20,815 / 20,815 &middot; 100.0%</span>
</div>
<div style="background: #e9ecef; border-radius: 6px; height: 14px;
margin: 0.35em 0;">
<div style="background: #2c6496; border-radius: 6px; height: 14px;
width: 94.9%;"></div>
width: 100.0%;"></div>
</div>
<div style="font-size: 0.9em; color: #555;">prompts adopted (contiguous R1–R19749).
<div style="font-size: 0.9em; color: #555;">prompts adopted (contiguous R1–R20815 — ARM COMPLETE, terminal fold v1.97).
Establishing what each of the ~21,000 remaining items in the PSID's 1968–2023 questionnaires and codebooks is actually asking, so the model only uses variables whose meaning has been adjudicated rather than assumed. Each block runs a full pass, an independent dense audit, and a correction sweep before its entries are adopted into the governing ledger.</div>
</div>

Expand Down Expand Up @@ -68,7 +68,7 @@ The foundations below are complete and in the repository today; the campaign tra
<div style="background: #2c6496; border-radius: 6px; height: 14px;
width: 24.5%;"></div>
</div>
<div style="font-size: 0.9em; color: #555;">documents sealed — 63 of the 81 annotated questionnaires (77.8%); the 257 denominator is the fixed PSID source-documentation domain, of which 43 can never seal and 176 are unstarted.
<div style="font-size: 0.9em; color: #555;">documents sealed — 63 of the 81 annotated questionnaires (77.8%); the 257 denominator is the fixed PSID source-documentation domain: every survey instrument is annotated, and the other 176 are non-instrument files (setups, codebooks, raw data), 43 of them classed Semantic N/A by the coverage audit (not a law term).
Verifying which survey questions connect to which data fields, document by document across the PSID questionnaire corpus: two independent annotators per document, then a reconciliation that seals its table of record.</div>
</div>

Expand Down Expand Up @@ -132,10 +132,10 @@ The three drill-down tables below decompose each arm's progress bar row by row.
| q2015 KL + q2017 complete (final-tranche block 4) | R18,839–R19,111 | 273 | adopted | — | pass 273/273 -> dense audit CALIBRATED (sampled 144/144; full-vector replay 273/273; row contradictions 0; family concentration none); folded v1.90 | 2026-09-04 |
| q2019 complete + q2021 A (final-tranche block 5) | R19,112–R19,384 | 273 | adopted | — | pass staged -> dense audit CALIBRATED 100% (sample 144/144; 273/273 rows examined); folded v1.91 (terminal identity 317,298 B, SHA 014aeb13…) | 2026-09-04 |
| q2021 BC (final-tranche block 6) | R19,385–R19,749 | 365 | adopted | APPLY 267 / UNCOVERED 98 (12 proposal entries) | pass 365/365 -> dense audit CALIBRATED with a closed three-row manifest (R19623–R19625, BC60A over-fire -> ALL.DIRECT_EXPOSURE; eight of nine charges refuted; EHC recall 25/25); folded v1.92 | 2026-09-05 |
| q2021 G (final-tranche block 7) | R19,750–R20,006 | 257 | pending | — | — | — |
| q2021 P/KL/IMMIG (final-tranche block 8) | R20,007–R20,311 | 305 | pending | — | — | — |
| q2021 ADDRPAYMENT + q2023 BC (final-tranche block 9) | R20,312–R20,618 | 307 | pending | — | — | — |
| q2023 G/P/KL (final-tranche block 10) | R20,619–R20,815 | 197 | pending | — | — | — |
| q2021 G (final-tranche block 7) | R19,750–R20,006 | 257 | adopted | APPLY 203 / UNCOVERED 54 (8 proposal entries) | pass 257/257 -> dense audit CALIBRATED 163/163, zero-row manifest (fifth consecutive calibrated audit); EHC fired 18 times and was upheld 18/18 on precision and recall; folded v1.93 | 2026-09-05 |
| q2021 P/KL/IMMIG (final-tranche block 8) | R20,007–R20,311 | 305 | adopted | 305 ranks in two passes: R20007–R20247 APPLY 153 / UNCOVERED 88; R20248–R20311 APPLY 27 / UNCOVERED 37 | q2021 §P audit (136/241 sampled = 56.4%; manifest rebuilt in both directions with zero discrepancies; era discipline clean) folded v1.94 under a 'block closed' heading that covered only the §P part — an orchestrator scope error (brief cut from the per-section table); the KL+IMMIG remainder (64 ranks) ran as an 8b completion pass, audited CALIBRATED 64/64 = 100.00% with zero corrections, and folded v1.95 | 2026-09-05 |
| q2021 ADDRPAYMENT + q2023 BC (final-tranche block 9) | R20,312–R20,618 | 307 | adopted | APPLY 270 / UNCOVERED 37 (closes q2021 incl. ADDRPAYMENT; opens q2023 §BC) | pass 307/307 -> dense audit CALIBRATED: 161/307 sampled (52.4%), agreement 161/161 = 100.00%, correction manifest empty of rows (three documentary items); adopted as issued; folded v1.96 (99.05%). One 63-character rubric digest in the pass's assertion object traced to the dispatch brief -> standing correction adopted (recompute every emitted digest from the named file) | 2026-09-05 |
| q2023 G/P/KL (final-tranche block 10) | R20,619–R20,815 | 197 | adopted | APPLY 169 / UNCOVERED 28 (G 156, P 17, KL 24; by_construction_exclusions = [Q21822]); the corpus closes at R20815 | pass 197/197 (APPLY 169 / UNCOVERED 28) -> dense audit CALIBRATED, reported as 102/102 = 100% (51.8% sampled) with 101 distinct ranks (one rank counted twice; 51.3% of ranks); DISAGREE set empty; correction manifest empty of rows and items; charge 9 confirmed the Poppler pdftotext 26.04.0 pin and argument equivalence over all 523 pages of q2023; charge 10 upheld the pass's form-feed frame-recipe correction with no row moved; charge 8 swept all 20,815 index lines end to end with zero gaps or duplicates; the ninth consecutive CALIBRATED block; folded v1.97 (379,534 B / ebe3d2b9…) — the corpus closes at R20815 | 2026-09-05 |

### A3 classification, block by block

Expand Down Expand Up @@ -320,6 +320,7 @@ From the pre-registered timeline ledger, entry 22 (registered 2026-09-03). Dates

## Recent milestones

- **2026-09-05** — The purpose census is COMPLETE: 20,815 of 20,815 prompts adopted (100.00%) at the terminal fold, ledger v1.97 (ebe3d2b9…). Blocks 7–10 of the final tranche folded through the day (v1.93–v1.97), every audit CALIBRATED; block 8 was folded in two parts after an orchestrator scope error (the brief was cut from the per-section table, leaving 64 ranks unadjudicated until an 8b completion pass) and block 9 closed the 2021 questionnaire entirely. A standing correction now requires every lane to recompute each digest it emits from the named file and run its own 64-hex self-check, after a 63-character digest was copied forward from a dispatch brief. A compile-only decision package (twelve decisions the package orders by how much work each blocks, against 63 sealed, 17 held and 1 withdrawn of the 81 annotated documents, although an errata compile finds that order does not consistently follow its own criterion) is staged for ruling; it lists five items it says the commissioning brief missed, the sharpest being that the worktree the lanes run in is two ratified design revisions behind master (19 vs 21), although the slot-catalog section the top decision turns on is byte-identical at both. Two figures already in front of the ruling were corrected: the atomisation coverage gap is 331 of 447 enumerated Social Security, pension, annuity and retirement items in no atom (74.05%, not the 72.7% the census printed and its replication reproduced without recomputing), and the corpus's page and frame digests are reproducible under the pinned Poppler pdftotext 26.04.0, which the design, the inventory code and the stage-1 replay artifact all name and the code enforces (cross-host determinism untested) (a Chronicle cross-check with pypdf 6.11.0 reproduced 0 of 101 pages, the pinned recipe 101 of 101); the final-tranche pass reports did not restate the build until the block-10 audit did. Q5 stands at 63/257, which is 77.8% of the 81 annotated questionnaires; the remaining 176 files in the fixed domain are setups, codebooks and raw data, not instruments. The open questions are recorded for ruling; the compiler ruled on none of them.
- **2026-09-05** — Overnight the purpose census reaches 94.88% (final-tranche block 6 folded as ledger v1.92, the fourth consecutive CALIBRATED audit and the first to carry a correction), and the sixteen-document 1968–1982 family back-catalogue is fully annotated and reconciled: six documents sealed, one seal withdrawn on adversarial review, nine held pending rulings (Q5 63/257, which is 77.8% of the 81 annotated questionnaires — the 257 denominator is the fixed source-documentation domain, 43 of which can never seal; a counter reconciliation confirmed the figure across three instruments). A compile-only dossier found the design fixes seven sentinel identifiers (four job-slot, three component-slot) in a section outside every span the briefs had pinned, overturning the campaign's three-sentinel reading and its bar on the seventh literal; a supersession audit reduced whether the tier-1 minting bar is in force to a single unresolved sentence about Amendment 13's recording act; and a full-corpus atomisation census, replicated by an independent method, found that 331 of 447 enumerated questionnaire items naming Social Security, pensions, annuities or retirement lie in no atom of the sealed evidence base (66 of 81 documents). Materialization closed with 83 tables of record on disk and exactly two documents provably unrecoverable. All open questions are recorded for ruling, not resolved locally.
- **2026-09-04** — Final-tranche blocks 4 and 5 close (ledger v1.91; purpose reaches 93.13%), both dense audits CALIBRATED at 100% on full 273-row replays; 1,431 ranks remain across blocks 6–10. Q5 seals q2009, fam2013, q2019 and fam1968 (58/257); fam1968 is the first of a sixteen-document back-catalogue of 1968–1982 family volumes found never briefed and now opened. Five reconciled documents are held and q2023 stays unsealed on the campaign's first 'Q5 status does not pass' verdict, pending five law rulings raised for decision rather than resolved locally: the identifier-minting remedy under §26.5.1, two evidence-integrity classes (digest-only and corrupt sealed payloads), the H-object scope of the pinned law extract, and a minting-clause precondition naming a field that nine artifacts lack. A prepare-only materialization sweep of all 69 reconcile reports writes every reproducible table of record to disk as a first-class artifact with provenance marked decoded or reconstructed (64 tables at last count), and recovery runs prove two of the three corrupt payloads (1995q, 1994f) reproducible from surviving emissions.
- **2026-09-04** — Final-tranche blocks 1–3 close (ledger v1.89; purpose reaches 90.50%): block 1 on its regeneration sweep, block 2 CALIBRATED at 99.66% on a one-row manifest, block 3 CALIBRATED at 100% with an empty contradiction set. Q5 seals 2003q, 2005f, 2005q, 2007f, 2007q and 2009f (54/257), the last five on Opus reconciliations; the first Opus/Opus pairs measure common-mode rates of 0.4%, 1.8%, 0.0% and 2.9%. The C20 ceremony-kit correction reaches its fifth round as a Sol-written change that an independent Opus review ACCEPTS, clearing the last precondition on the A4 evidence freeze other than the census itself. Six Claude accounts run Opus lanes in parallel after subfleet's false month-long parks are found and cleared.
Expand Down
40 changes: 20 additions & 20 deletions docs/progress/detail.json
Original file line number Diff line number Diff line change
Expand Up @@ -588,47 +588,47 @@
"rank_start": 19750,
"rank_end": 20006,
"ranks": 257,
"status": "pending",
"dispositions": null,
"audit": null,
"adopted_on": null,
"source": "sol-ce-purpose-ledger-e5final-build-report.md"
"status": "adopted",
"dispositions": "APPLY 203 / UNCOVERED 54 (8 proposal entries)",
"audit": "pass 257/257 -> dense audit CALIBRATED 163/163, zero-row manifest (fifth consecutive calibrated audit); EHC fired 18 times and was upheld 18/18 on precision and recall; folded v1.93",
"adopted_on": "2026-09-05",
"source": "sol-ce-purpose-audit-R19750-20006-report.md"
},
{
"document": "q2021 P/KL/IMMIG (final-tranche block 8)",
"era": "Final tranche (R17889–R20815: fam2013/q2013 through q2023; E5 through 2015, E6 from 2017)",
"rank_start": 20007,
"rank_end": 20311,
"ranks": 305,
"status": "pending",
"dispositions": null,
"audit": null,
"adopted_on": null,
"source": "sol-ce-purpose-ledger-e5final-build-report.md"
"status": "adopted",
"dispositions": "305 ranks in two passes: R20007–R20247 APPLY 153 / UNCOVERED 88; R20248–R20311 APPLY 27 / UNCOVERED 37",
"audit": "q2021 §P audit (136/241 sampled = 56.4%; manifest rebuilt in both directions with zero discrepancies; era discipline clean) folded v1.94 under a 'block closed' heading that covered only the §P part — an orchestrator scope error (brief cut from the per-section table); the KL+IMMIG remainder (64 ranks) ran as an 8b completion pass, audited CALIBRATED 64/64 = 100.00% with zero corrections, and folded v1.95",
"adopted_on": "2026-09-05",
"source": "sol-ce-purpose-audit-R20248-20311-report.md"
},
{
"document": "q2021 ADDRPAYMENT + q2023 BC (final-tranche block 9)",
"era": "Final tranche (R17889–R20815: fam2013/q2013 through q2023; E5 through 2015, E6 from 2017)",
"rank_start": 20312,
"rank_end": 20618,
"ranks": 307,
"status": "pending",
"dispositions": null,
"audit": null,
"adopted_on": null,
"source": "sol-ce-purpose-ledger-e5final-build-report.md"
"status": "adopted",
"dispositions": "APPLY 270 / UNCOVERED 37 (closes q2021 incl. ADDRPAYMENT; opens q2023 §BC)",
"audit": "pass 307/307 -> dense audit CALIBRATED: 161/307 sampled (52.4%), agreement 161/161 = 100.00%, correction manifest empty of rows (three documentary items); adopted as issued; folded v1.96 (99.05%). One 63-character rubric digest in the pass's assertion object traced to the dispatch brief -> standing correction adopted (recompute every emitted digest from the named file)",
"adopted_on": "2026-09-05",
"source": "sol-ce-purpose-audit-R20312-20618-report.md"
},
{
"document": "q2023 G/P/KL (final-tranche block 10)",
"era": "Final tranche (R17889–R20815: fam2013/q2013 through q2023; E5 through 2015, E6 from 2017)",
"rank_start": 20619,
"rank_end": 20815,
"ranks": 197,
"status": "pending",
"dispositions": null,
"audit": null,
"adopted_on": null,
"source": "sol-ce-purpose-ledger-e5final-build-report.md"
"status": "adopted",
"dispositions": "APPLY 169 / UNCOVERED 28 (G 156, P 17, KL 24; by_construction_exclusions = [Q21822]); the corpus closes at R20815",
"audit": "pass 197/197 (APPLY 169 / UNCOVERED 28) -> dense audit CALIBRATED, reported as 102/102 = 100% (51.8% sampled) with 101 distinct ranks (one rank counted twice; 51.3% of ranks); DISAGREE set empty; correction manifest empty of rows and items; charge 9 confirmed the Poppler pdftotext 26.04.0 pin and argument equivalence over all 523 pages of q2023; charge 10 upheld the pass's form-feed frame-recipe correction with no row moved; charge 8 swept all 20,815 index lines end to end with zero gaps or duplicates; the ninth consecutive CALIBRATED block; folded v1.97 (379,534 B / ebe3d2b9…) — the corpus closes at R20815",
"adopted_on": "2026-09-05",
"source": "sol-ce-purpose-audit-R20619-20815.md"
}
]
},
Expand Down
Loading