spb/firc0001_uqo

Thu, Nov 5, 2026 2

1. Stage F B1-B2 N1-N14

   …

   Verification sign-off (Agent 11) corrections, no new analysis, no LLM call.
   
   B1 construct.tex §5.1: financing-class amounts printed in trillions (\SPIDfinAmountT / \SPIDfinAmountDenomT; source matched_amount_gusd is in billions), consistent with the Table 5 note and §7.3.
   B2 make_tables.py Table 16 note: key read from results/resolver/example_provenance_keys.csv ("san patricio county, texas"), cluster sizes (8 / 1 / 176) from spec_curve.csv at the release threshold; Table 9 note defines "Cheniere cluster size" as the size of the cluster containing the example mention.
   N1 data/documented_inputs.json: the six pipeline constants (chunk words/overlap, max file MB, cooldown, SEC rate limit, gateway divisor) recorded with snapshot path + SHA-256; make_tables.py reads them there and cross-checks the archive when reachable; verified in a git-archive copy outside the review tree (844 macros, tables/figures/inline numbers identical, 22/22 tests, latexmk 0 errors).
   N2 Table 8 Panel B: retryable lines 94,593 = 94,465 inside the window + 128 in the 20 s tail (no double count); §5.5 prose aligned (\SPIDllmRetryableInsideWindow).
   N3 Table 17 note + §8.2: normalisation stated (case-fold, punctuation to spaces, alias list, whole-word search); results/grounding/partners_normalisation_check.json (read-only re-derivation on M3U96b: 99.3 % under the rule vs 96.1 % plain case-fold on a 20,000-mention sample).
   N4 abstract: "every structured field verbatim ... for 88.2 % of mentions" (150 words).
   N5 Table 6 headers shortened: overfull 20.07 pt removed (max overfull now 3.3 pt).
   N6 §5.5 / Table 8 Panel C: log vs ledger bases labelled (5,198 / 4,769 rows; 34 / 30 mentions); the 504 outage-window rows verified productive (results/ledger/outage_window_rows_check.json, 0 zero-mention rows).
   N7 Table 9 note prints the branch count 229 as in §6.1 and explains the 286 keys ending in "general".
   N8 Appendix E: pooled shares 12.4 / 12.7 % vs per-issuer means 11.9 / 12.5 % (paired 0.6 pp, SE 1.3); stored vs ledger mention bases named once.
   N9 cost basis: 775 USD stated as recorded against the October run, alternative per-call figure if both runs (0.0011 USD over 703,725 calls), author to confirm (documented_inputs.json source updated).
   N12 reproducibility/validation_report.md: gate regex has 25 alternatives.
   N10, N11, N13, N14: no change (author decisions / engine limitation), recorded in improvements/FIRC-0001/unresolved_issues.md.
   
   Build: latexmk 0 errors, 0 undefined references, 0 overfull > 5 pt, 0 bibtex warnings, 84 pages; pytest 22/22.
   
   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 21 h ago · 1 file +14
   0ceee29
2. N1: ledger reconciliation (gate pass / true call count, backfilled block, outage, collisions, logs, throughput)

   …

   Items: FIRC0001-EDIT-02 EDIT-03 EDIT-18 ADVE-03 ADVE-05 ADVE-07 AI_C-01 AI_C-07 DATA-02 DATA-03 DATA-14
   ECON-11 ECON-12 THEO-02 THEO-05 THEO-16 EDIT-05 ADVE-06 AI_C-08 DATA-04 ECON-06 LITE-07 THEO-10 DATA-08 ADVE-12 EDIT-15.
   Read-only DuckDB on M3U96b (12 s). 703,725 of 1,123,098 ledger rows pass the gate (true calls);
   backfilled block 154,964 = 153,894 + 1,070 rows < 30 words; 0 ledger rows inside the 5.25 h outage gap;
   304 sections / 412 collided mentions; 14 silent JSON-decode failures outside the outage plus one
   anomalous post-resume batch (2,686 calls, 23 productive vs 536 expected); 149,352 reconciled from the log.
   
   Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

   Simon-Pierre Boucher 23 h ago · 21 files +2,704
   1d2705d