# SGTOE Rev33.1_S369 suite — PAGE-PRESERVING TEXT EXTRACTION — PART 5 (pp 401–433) (house, S369 2026-09-26). Source PDF: SGTOE_Rev33.1_S369_suite.pdf, 15800235 B, 433 pp, # sha256 b64ddcd9e16a6dcdc7ba41c97c5e1b8d087e72e82201ba581bc28db946779c34 (the sealed release PDF; the served copy is byte-identical). Tool: pdftotext -layout, one call per part split on form feeds. # Every page begins with a line '===== PDF PAGE n / 433 =====' — cite that n as the PDF page. Layout text is lossy (math symbols, tables); where a quote matters, # the tex file:line in the release bundle is authoritative. This extraction is a READING AID pinned to the PDF above; it is not a second edition of the suite. ===== PDF PAGE 401 / 433 ===== A D s Headline result Carried by A1566 D1244 s1156, THE θ23 OCTANT: WHO FIXES IT? — ROUTE P3 § re-tier s1157 (a): s501 is a candidate map, not a selector; two (physical (lane); equivariant registrations; s1107 quantifier reversal θ23 , |Vcb | s501 +9∈ / 1..8 menu — ⋆⋆ PASS 86 Loaded- retyped corr.; tally 2/8); App. N Part N.E A1567 D1246 s1158 COMPLEX-RATIO LADDER: (b) ABSENT, App. N (lane) TYPED — 29 × 39 census, 0 phase-bearing ratios; Part N.E; Ω = ϕ − 12 is the golden polynomial on the (1, 3) App. I (one eigenvalue; missing object QL = SL eαJL — ⋆⋆ PASS number three 88 ways); P0 (three-layer picture) A1568 D1248 s1159 THE LOSS CONDITION AS A CENSUS: App. N v2 C(Lvac ) = so(4, 4) ⊕ R (30), C(H) = e6(6) ⊕ so(1, 1) Part 2 N.E (house) (79), K ∈ / C(H), loss condition MET; lane check (fence, lane- found App. G’s compact Z2 — ⋆⋆ amended text) A1569 D1249 — TRACK-2 v1.3 on the Rev32.5 basis (ChatGPT; SOURCE_LEDGER two-turn PLAN→GO→BUILD; 270 files; ledger ids + re- sidecar SL-01–SL-30 with six minus-exponent fields signed fields corrected) — ⋆⋆ PASS 90 at intake (App. X) A1570 D1250 — MACHINERY AUDIT (Gemini, text drop) — ⋆ App. X en- PASS-PARTIAL 78 gine/kernel sentence A1571 D1250 — MACHINERY AUDIT (Grok): workbook prove- Engine nance stamps still v5.0.6/Rev24; README_s1159 re-stamp quotes the v1 sha; 22 of 330 cited serials shipped, (S303); undisclosed — ⋆⋆ PASS-PARTIAL 82 App. X A1572 D1249 s1162 HOUSE HOSTILE REVIEW of Track-2 v1.3 + the P3/P6/App. B (house) author lane’s self-verification: F1 the “exact” |Vus | (|Vus | from 0.225247 was a house hand calculation (closed form s1162); 0.225256); F2 stale s1104 certificate; F3 presence- P5/P2/App. X only resolvers; F4 27/27 vs 26/26 — PASS WITH (s1162 cer- REQUIRED ERRATA, 84 tificate); App. X resolver clause 7 Era 7: A1573–A1708 (S303–S340; added Rev32.9) The notebook’s last fold before this one was at the Rev32.6 seal, and the whole Registrar–Premises– Textbook–Graph build ran after it: the Library v2 cold rounds, the Registrar parse and read rounds, the premise rounds and the paper hostile reviews that fed the Rev32.8 and Rev32.9 queues. None 22 ===== PDF PAGE 402 / 433 ===== of it had a row here (REV32.9 row S313.LB). The rows below are generated, never typed, by scripts/appy_era7_rows_S341.py from the filed adjudications under Coalition/assessments/: the headline is each file’s first heading, the dispatch is its first D-number, and the kernels are its first three distinct kernel serials. The Carried by column is a keyword classification of the file, stated here as such: “Registrar” means the round’s content lives in the Registrar and premise records (their pages carry the reads), not in this suite; “REV32.8/32.9 queue” means a paper hostile review whose confirmed findings were queued as paper fixes and applied at Rev32.8 or Rev32.9; “—” means the generator traced no carrier, not that none exists. Five serials have no adjudication file of their own and are printed as such (§13). Every “⋆” is the house grade at intake, not a promotion of anything printed. A D s Headline result Carried by A1573 D1251 s1162, ChatGPT REV32.6 COLD RETURN: house adju- Rev32.7 s1105 dication (S303, 2026-09-05) changelog (ledgers) A1574 — s502, Gemini REV32.6 COLD RETURN: house adjudi- Rev32.7 s1107 cation (S303, 2026-09-05) changelog (ledgers) A1575 — s1162, Grok REV32.6 COLD RETURN: house adjudica- Rev32.7 s1104 tion (S303, 2026-09-05) changelog (ledgers) A1576 D1252 s1162 ChatGPT TRACK-2 PUBLICATION JUDG- Track 2 (not MENT + INDEPENDENT CHECKS: house adju- this suite) dication (S303, 2026-09-05) A1577 D1251 s1162, ChatGPT return to D1251 v2 (Library v2 cold Registrar / s1104 LIST round). House intake S304 2026-09-05 · Library v2 claude-fable-5-1. . . (not print) A1578 D1251 s1162 Gemini return to D1251 v2 (Library v2 cold LIST Registrar / round). House intake S304 2026-09-05 · claude- Library v2 fable-5-1. . . (not print) A1579 D1251 — Grok return to D1251 v2 (Library v2 cold LIST Registrar / round). House intake S304 2026-09-05 · claude- Library v2 fable-5-1. . . (not print) A1580 D1252 s1104, ChatGPT return to D1252 (Library redesign con- Registrar / s1162 sultation). House intake S304 2026-09-05 · claude- Library v2 fable-5-1. . . (not print) A1581 — — reserved; no adjudication file under — Coalition/assessments at S341 A1582 — — reserved; no adjudication file under — Coalition/assessments at S341 A1583 D1255 s588 Grok return to D1255 (Registrar / Library v2 hos- REV32.8/32.9 tile review THROUGH THE LIVE SITE; hubs queue (paper H06+H07+H08+H10, 150. . . fixes) A1584 D1253 — HOUSE sample review of the D1253 Library-v2 Registrar / generation round (ChatGPT, 24/24 parts). Filed Library v2 S309 2026-09-06 ·. . . (not print) A1585 D1256 s1163 CHATGPT D1256 PROOF-LIBRARY REVIEW Registrar / / CHAPTER MAP / PILOT — HOUSE ADJU- Library v2 DICATION (not print) 23 ===== PDF PAGE 403 / 433 ===== A D s Headline result Carried by A1586 D1257 — # ⋆⋆ SECOND CORRECTION — appended S310 Track 2 (not (later the same session, after the lane sent site this suite) ideas) A1587 D1258 s1164, # ⋆⋆ CORRECTION — §6 CLOSED, appended Registrar / s253, S310 (later the same session; the PI dropped the premises (not s255 files) print) A1588 D1259 s1165 CHATGPT D1259: PRIOR-ART PASS + FIVE Registrar ALGEBRA-SIDE ARTICLES — HOUSE ADJU- (library v2), DICATION not print A1589 D1260 — partial intake only S311 rows of (_TODAY/notes/S311/A1589_INTAKE_S311.md); the Rev32.9 no adjudication file queue A1590 D1261 — D1261 DESIGN REVIEW (ChatGPT). VERDICT — ⋆⋆ PASS, SCORE 95. A1591 D1262 — INTAKE OF D1262 (ChatGPT): the tendon round Registrar (library v2), not print A1592 D1263 — INTAKE OF D1263 (GROK): the R37 second- Registrar party round (library v2), not print A1593 D1264 — INTAKE OF D1264 (Grok): the cold live-site re- Track 2 (not view this suite) A1594 D1265 — INTAKE OF D1265 (ChatGPT): FETCH Registrar / BLOCKED, REVIEW NOT EXECUTED premises (not print) A1595 D1266 — D1266 SYNC ROUND (ChatGPT). Intaken S315, Track 2 (not 2026-09-08. this suite) A1596 D1263 — GROK, UNSOLICITED CONCURRENT LIVE Registrar READ OF THE S315 DEPLOY. Intaken S315, (library v2), 2026-09-08. not print A1597 — — GROK, THIRD UNSOLICITED LIVE READ Registrar (post-S315e deploy). Intaken S315, 2026-09-08. (library v2), not print A1598 D1267 s304 D1267 COMPREHENSIVE LIVE READ (Grok). Registrar Intaken S315, 2026-09-08. (library v2), not print A1599 D1267 — GROK UNSOLICITED LIVE READ OF THE Registrar S315i DEPLOY (library v2), not print A1600 D1267 — GROK LIVE READ OF THE S316d DEPLOY Registrar (unsolicited, self-typed CONCURRENT) (library v2), not print A1601 D1269 — GROK, D1269 ADVERSARIAL RE-CHECK OF website (not THE S316 SITE UPDATE this suite) A1602 D1268 — CHATGPT, D1268: THE REGISTRAR Registrar / PREMISES TEXTBOOK LINKAGE AS A Library v2 CATEGORY (not print) 24 ===== PDF PAGE 404 / 433 ===== A D s Headline result Carried by A1603 D1270 — CHATGPT, D1270: THE v2.1 CONTRACT Track 2 (not DERIVATION, AND THE FILE THAT UN- this suite) BLOCKED THE FOUNDING ARTICLE A1604 D1262 — GROK, R45 ADOPTION: THE RULING AC- Track 2 (not CEPTED, THEN ATTACKED AT THE ONE this suite) PLACE IT CAN STILL BETRAY THE ARITH- METIC A1605 D1270 — CHATGPT, R46 REGENERATION AND COM- — PLETE PACKET RECOVERY A1606 D1271 — GROK RETURN TO D1271 (pre-flight access Registrar / probe, S318a) premises (not print) A1607 D1271 — CHATGPT RETURN TO D1271 (pre-flight access Registrar / probe, S318a) premises (not print) A1608 D1271 — ⋆ TOMBSTONED VOID. PI RULING, S318 (2026- — 09-09). A1609 D1272 — GROK RETURN TO D1272 (R49d tier-1 calibra- Registrar tion, 13 records / 17 uses) (library v2), not print A1610 D1272 — CHATGPT RETURN TO D1272 (R49d tier-1 cal- Registrar ibration, 13 records / 17 uses) (library v2), not print A1611 D1272 — ⋆ TOMBSTONED VOID. PI RULING, S319 (2026- — 09-09). A1612 D1272 — THE HOUSE’S OWN RETURN TO D1272 (R49d Registrar tier-1 calibration, 13 records / 17 uses) (library v2), not print A1613 D1273 — GROK RETURN TO D1273 (content + access website (not review of live cut S319a) this suite) A1614 D1273 — CHATGPT RETURN TO D1273 (content + access website (not review of live cut S319a) this suite) A1615 D1274 — GROK LANE, D1274 BATCH 1 of 14. 24 Registrar RECORDS · 60 SOURCE USES. FILED S320, (library v2), 2026-09-09. not print A1616 D1274 — CHATGPT LANE, D1274 BATCH 1 of 14. 24 Registrar RECORDS · 60 SOURCE USES. FILED S320, (library v2), 2026-09-09. not print A1617 D1274 — ⋆ TOMBSTONED VOID. FILED S321 (2026-09- — 09). A1618 D1275 — ⋆ TOMBSTONED VOID. PI RULING, S321 (2026- — 09-09). A1619 D1275 — CHATGPT LANE, D1275 BATCH 1 of 14. 24 Registrar RECORDS · 60 SOURCE USES. FILED S321, (library v2), 2026-09-09. not print 25 ===== PDF PAGE 405 / 433 ===== A D s Headline result Carried by A1620 D1277 — GROK LANE, D1277 BATCH 1. 24 RECORDS · Registrar 60 SOURCE USES. FILED S321, 2026-09-09. (library v2), not print A1621 D1277 — CHATGPT LANE, D1277 BATCH 1. 24 Registrar RECORDS · 60 SOURCE USES. FILED S321, (library v2), 2026-09-09. not print A1622 D1278 — CHATGPT LANE, D1278 (HOSTILE RE- REV32.8/32.9 VIEW OF THE SIMPLIFICATION STRATEGY). queue (paper FILED S323. fixes) A1623 D1280 — GROK LANE, D1280 (R58 SEEDED ROUND). Registrar ⋆⋆ INTAKE OPEN — 14 OF 60 RECEIVED. (library v2), not print A1624 D1280 — CHATGPT LANE, D1280 (R58 SEEDED Registrar ROUND). ⋆⋆ 60 OF 60. FILED S323, 2026-09- (library v2), 09. not print A1625 D1279 — GEMINI LANE, D1279 (WHOLE-ESTATE Registrar / STRUCTURAL READ). FILED S323, 2026-09- premises (not 09. print) A1626 D1274 — GROK, D1280c. THE 20 OUTSTANDING USES. Registrar RETURNED AND VERIFIED, S324 (2026-09-10). (library v2), not print A1627 D1281 — GROK, D1281. THE S324a CUT, READ LIVE. Registrar Filed S324, 2026-09-10. (library v2), not print A1628 D1282 — GROK on D1282: S325c host verification (W.6). — Assessed S327 (2026-09-10). A1629 D1283 — tombstone: D1283 was composed and never sent — (stale once cut S327c existed) A1630 D1284 — GROK on D1284: paired read round 1, the Grok Registrar half (R67 §3). Assessed S327 (2026-09-10). (library v2), not print A1631 D1285 s1047, GEMINI on D1285: paired read round 1, the Gem- Registrar s1048 ini half (R67 §3). Assessed S327 (2026-09-10). (library v2), not print A1632 D1286 s1051 CHATGPT on D1286: hostile review of read round REV32.8/32.9 1 (NO READ CREDIT — drafting lane). Assessed queue (paper S327 (2026-09-10). fixes) A1633 D1287 s1162 House adjudication of the ChatGPT D1287 return Registrar (THE 22 SCORECARD NOTES) — S327, 2026- (library v2), 09-11 not print A1634 D1288 — House adjudication of the ChatGPT D1288 return Registrar (THE 24 PREMISE NOTES) — S327, 2026-09-11 (library v2), not print A1635 D1289 — GROK on D1289: paired read round 2, the Grok Registrar half (R67 §3). Assessed S327 (2026-09-11). (library v2), not print 26 ===== PDF PAGE 406 / 433 ===== A D s Headline result Carried by A1636 D1290 — GEMINI on D1290: paired read round 2, the Gem- Registrar ini half (R67 §3). Assessed S327 (2026-09-11). (library v2), not print A1637 D1291 — CHATGPT on D1291: hostile review of round 2 REV32.8/32.9 (25 records, 58 uses). Adjudicated by the house, queue (paper S327 (2026-09-11). fixes) A1638 D1292 — GROK on D1292: the follow-up read of the two Registrar records the house never sent (LIB2-001, LIB2-028). (library v2), Assessed S327. . . not print A1639 D1293 — GROK on D1293: paired read round 3, the Grok Registrar half (R67 §3). Assessed S328 (2026-09-11). (library v2), not print A1640 D1294 — GEMINI on D1294: paired read round 3, the Gem- — ini half (R67 §3). Assessed S328 (2026-09-11). A1641 D1295 s740, CHATGPT on D1295: hostile review of round 3 REV32.8/32.9 s741 (LIB2-053. . . 072), review only, no read credit (R67 queue (paper §3) fixes) A1642 D1271 s740, GROK, PI-SOLICITED: SITE DESCRIP- Track 2 (not s743 TION · HOSTILE · POSITIVE · IN- this suite) SIGHTS/RECOMMENDATIONS ·. . . A1643 D1296 — GROK: REPLY TO D1296 (the house’s answer to Registrar / A1642) · plus the PI’s "finish a thought?" exchange premises (not print) A1644 D1297 — GROK: REPLY TO D1297 (the H206 correction — + the KK answer). Assessed S328 (2026-09-11). A1645 D1298 — GROK · D1298 · PAIRED READ ROUND 4 (R67 Registrar §3) · filed and banked S329 (2026-09-11) (library v2), not print A1646 D1299 — GEMINI · D1299 · PAIRED READ ROUND 4 Registrar (R67 §3) · filed and banked S329 (2026-09-11) (library v2), not print A1647 D1300 s1152, CHATGPT · D1300 · HOSTILE REVIEW OF REV32.8/32.9 s261 READ ROUND 4 · filed S329 (2026-09-11). NO queue (paper READ CREDIT. . . fixes) A1648 — s1169, HOUSE ASSESSMENT · s1169 · a bounded repair Registrar / s1126 attempt on Paper 3 §2.2 "β = π/8" (A1641 F02. . . premises (not print) A1649 — s1170, HOUSE ASSESSMENT · s1170 · LIB2-305 W1 Registrar s1166, census: a registered u d energy under the e flip? (library v2), s1152 not print A1650 D1301 — GROK, D1301, PAIRED READ ROUND 5 (batch Registrar 5). Filed S330, 2026-09-12. (library v2), not print A1651 D1302 — GEMINI, D1302, PAIRED READ ROUND 5 Registrar (batch 5). Filed S330, 2026-09-12. (library v2), not print 27 ===== PDF PAGE 407 / 433 ===== A D s Headline result Carried by A1652 D1303 s1171, CHATGPT, D1303, HOSTILE REVIEW OF REV32.8/32.9 s243 READ ROUND 5 (batch 5). Filed S330, 2026- queue (paper 09-12. fixes) A1653 D1304 s1172, GROK, D1304, PROCESS CONVERGENCE Registrar s239, ROUND on the A1652-F01 handling. Filed S330, (library v2), s240 2026-09-12. not print A1654 D1305 — GEMINI, D1305, PROCESS CONVERGENCE Registrar ROUND on the A1652-F01 handling. Filed S330, (library v2), 2026-09-12. not print A1655 D1306 s1173, CHATGPT, D1306, PROCESS CONVERGENCE — s243 ROUND. Filed S330, 2026-09-12. NO READ CREDIT. A1656 D1307 — GROK, D1307: WINDOW CHARACTERIZA- — TION. House intake S332, 2026-09-12 (claude-opus- 5, Cowork). A1657 D1308 — GROK, D1308: W6 FINISHED, AND THE REM- — EDY TESTED ON ITSELF. House intake S332, 2026-09-12 (claude-opus-5, Cowork). A1658 D1309 — # ⋆ READ FIRST — PARTIALLY SUPER- Registrar SEDED BY A1659 (S334, same day). (library v2), not print A1659 D1309 s1162 # ⋆ READ FIRST — EXTENDED BY A1660 Registrar (S334, same day). Grok’s part 4 added 2 more (library v2), disagreements and they not print A1660 D1309 — GROK, answering D1309 PART 4. House assess- Registrar ment, S334, 2026-09-13. (library v2), not print A1661 D1309 — GROK, answering D1309 PART 3. House assess- Registrar ment, S334, 2026-09-13. (library v2), not print A1662 D1309 — GROK, answering D1309 PART 2. House assess- Registrar ment, S334, 2026-09-13. (library v2), not print A1663 D1309 — GROK, D1309 PART 1. THE PAIR IS COM- Registrar PLETE. House assessment, S334, 2026-09-13. (library v2), not print A1664 D1312 — (GEMINI / D1312) + A1665 (GROK / D1311) — Registrar WHAT THE LANES ACTUALLY READ. S334, (library v2), 2026-09-13. not print A1665 D1311 — GROK read-object return, filed jointly with A1664 Registrar (A1664_A1665_READ_OBJECT_S334.md) (library v2), not print A1666 D1313 — GROK · D1313 · READ ROUND 6 (R67 §3, R112). Registrar Filed S337, 2026-09-15. (library v2), not print 28 ===== PDF PAGE 408 / 433 ===== A D s Headline result Carried by A1667 D1314 — GEMINI · D1314 · READ ROUND 6 (R67 §3, Registrar R112). Filed S337, 2026-09-15. (library v2), not print A1668 D1315 — CHATGPT · D1315 · HOSTILE REVIEW OF REV32.8/32.9 READ ROUND 6. Filed S337, 2026-09-15. NO queue (paper READ CREDIT (drafting. . . fixes) A1669 D1316 — GROK · D1316 · READ ROUND 7 (R67 §3, R112, Registrar R113). Filed S337, 2026-09-15. (library v2), not print A1670 D1317 — GEMINI · D1317 · READ ROUND 7 (R67 §3, Registrar R112, R113). Filed S337, 2026-09-15. (library v2), not print A1671 D1318 — CHATGPT · D1318 · HOSTILE REVIEW OF REV32.8/32.9 READ ROUND 7. Filed S337, 2026-09-15. NO queue (paper READ CREDIT (drafting. . . fixes) A1672 D1319 — GROK · D1319 · READ ROUND 8 (R67 §3, R112, Registrar R113). Filed S338, 2026-09-15. (library v2), not print A1673 D1320 — GEMINI · D1320 · READ ROUND 8 (R67 §3, Registrar R112, R113). Filed S338, 2026-09-15. (library v2), not print A1674 D1321 — CHATGPT · D1321 · DRAFTER REVIEW, REV32.8/32.9 ROUND 8. Filed S338, 2026-09-15. queue (paper fixes) A1675 D1322 — GROK · D1322 · READ ROUND 9 (R67 §3, R112). Registrar Filed S338, 2026-09-15. (library v2), not print A1676 D1323 — GEMINI · D1323 · READ ROUND 9 (R67 §3, Registrar R112). Filed S338, 2026-09-15. (library v2), not print A1677 D1324 — CHATGPT · D1324 · DRAFTER REVIEW, REV32.8/32.9 ROUND 9. Filed S338, 2026-09-15. queue (paper fixes) A1678 D1325 — GROK · D1325 · READ ROUND 10 (R67 §3, Registrar R112). Filed S338, 2026-09-15. (library v2), not print A1679 D1326 — GEMINI · D1326 · READ ROUND 10 (R67 §3, — R112). Filed S338, 2026-09-15. A1680 D1327 — CHATGPT · D1327 · DRAFTER REVIEW, REV32.8/32.9 ROUND 10. Filed S338, 2026-09-15. queue (paper fixes) A1681 D1328 — GROK return to D1328 (read round 11: batch 11 — + R118 D-2 re-ask). Filed S339, 2026-09-16. A1682 D1329 — GEMINI return to D1329 (read round 11: batch Registrar 11 + R118 D-2 re-ask). Filed S339, 2026-09-16. (library v2), not print 29 ===== PDF PAGE 409 / 433 ===== A D s Headline result Carried by A1683 D1330 — CHATGPT hostile review of read round 11 REV32.8/32.9 (D1330). NO READ CREDIT. Filed S339, 2026- queue (paper 09-16. fixes) A1684 D1331 — GROK return to D1331 (read round 12: batch 12, Registrar 25 RETIRED records). Filed S339, 2026-09-16. (library v2), not print A1685 D1332 — GEMINI return to D1332 (read round 12: batch Registrar 12, 25 RETIRED records). Filed S339, 2026-09-16. (library v2), not print A1686 D1333 — CHATGPT hostile review of read round 12 REV32.8/32.9 (D1333). NO READ CREDIT. Filed S339, 2026- queue (paper 09-16. fixes) A1687 D1334 — GROK return to D1334 (read round 13: batch 13, Registrar 24 RETIRED records, LIB2-262–285). Filed S339, (library v2), 2026-09-16. not print A1688 D1335 — GEMINI return to D1335 (read round 13: batch Registrar 13, 24 RETIRED records, LIB2-262–285). Filed (library v2), S339, 2026-09-16. not print A1689 D1336 — CHATGPT hostile review of read round 13 REV32.8/32.9 (D1336). NO READ CREDIT. Filed S339, 2026- queue (paper 09-16. fixes) A1690 D1337 — GROK return to D1337 (read round 14, the last Registrar batch: 14 RETIRED records). Filed S339, 2026- (library v2), 09-16. not print A1691 D1338 — GEMINI return to D1338 (read round 14, the last Registrar batch: 14 RETIRED records, LIB2-286–298 + 345). (library v2), Filed S339,. . . not print A1692 D1339 — CHATGPT hostile review of read round 14 (D1339, REV32.8/32.9 the last batch). NO READ CREDIT. Filed S339, queue (paper 2026-09-16. fixes) A1693 D1340 — GROK return to D1340 (round 15, the T-R round, Registrar R124). Filed S339, 2026-09-16. (library v2), not print A1694 D1341 — GEMINI return to D1341 (round 15, the T-R Registrar round, R124). Filed S339, 2026-09-16. (library v2), not print A1695 D1342 — CHATGPT hostile review of round 15 (D1342, T- REV32.8/32.9 R). Filed S339, 2026-09-16. NO READ CREDIT queue (paper (drafting lane). fixes) A1696 D1343 — GROK return to D1343 (round 16, the R125 follow- — up). Filed S339, 2026-09-16. A1697 D1344 — GEMINI return to D1344 (round 16, the R125 — follow-up). Filed S339, 2026-09-16. A1698 D1345 s1162 CHATGPT hostile review of round 16 (D1345, REV32.8/32.9 the R125 follow-up). Filed S339, 2026-09-16. NO queue (paper READ CREDIT. fixes) 30 ===== PDF PAGE 410 / 433 ===== A D s Headline result Carried by A1699 D1346 — GROK read, round 17 (D1346, T-R R124/R125; Registrar LIB2-293 after the R126 re-word). Filed + banked (library v2), S340, 2026-09-16. not print A1700 D1347 — GEMINI read, round 17 (D1347, T-R R124/R125; Registrar LIB2-293 after the R126 re-word). Filed + banked (library v2), S340, 2026-09-16. not print A1701 D1348 s1162 CHATGPT hostile review of round 17 (D1348, the REV32.8/32.9 R126 follow-up on LIB2-293). Filed S340, 2026-09- queue (paper 16. NO READ CREDIT. fixes) A1702 D1349 — GROK read, round 18 (D1349 ×4 parts, premise Registrar uses R127; 34 uses on 27 records). Filed + banked (library v2), S340,. . . not print A1703 D1350 — GEMINI read, round 18 (D1350, premise uses Registrar R127; 34 uses on 27 records). Filed + banked (library v2), S340, 2026-09-16. not print A1704 D1351 — CHATGPT hostile review of round 18 (D1351, REV32.8/32.9 premise uses R127; 34 uses on 27 records). Filed queue (paper S340, 2026-09-16. NO. . . fixes) A1705 D1352 — GROK read, round 19 (D1352 ×2, R128 D-3 re-seal Registrar re-read; 25 uses on 14 records). Filed + banked (library v2), S340,. . . not print A1706 D1353 — GEMINI read, round 19 (D1353, R128 D-3 re-seal Registrar re-read; 25 uses on 14 RETIRED records, Rev32.8 (library v2), text). Filed +. . . not print A1707 D1354 — CHATGPT hostile review of round 19 (D1354, REV32.8/32.9 R128 D-3 re-seal re-read; 25 uses on 14 records). queue (paper Filed S340,. . . fixes) A1708 D1355 — GEMINI read, round 20 (D1355, the R129 D-7 Registrar re-ask after H346; 11 uses on 7 records, Rev32.8 (library v2), text). Filed + banked. . . not print 8 The four orphans Four rounds in this era had, before S254, no representation in any tracker, ledger or index — not merely no tex citation. Their content is in the suite; the rounds themselves were unfindable. 31 ===== PDF PAGE 411 / 433 ===== A Round Why it matters that this one was adrift 1414 D1114 It carries the 13.907-untied / 11.907-tied freedom headline — the number Rev28 has now withdrawn pending typed rebuild. The single document explaining where that headline came from was the one document nothing pointed at. 1416 D1116 The parent-action round: the first two exact equations on C. Appendix S prints their consequences. 1417 D1117 The mixed-tensor round: the placement-charge table and the V±1 exclusion, both load-bearing in the Appendix S charge ledger. 1418 D1118 The orientation-odd phase: the V-side quadrature, and the only blind- adjudicated round of the hexad — exactly the kind of evidence a reviewer would want to find. Closed at the Rev29 fold. The four orphan rounds A1414 and A1416–A1418 now carry full index rows in the programme’s dispatch ledger, retrofitted at S258 from each assessment’s own header and verdict. The gap this section documents — rounds cited in the suite but absent from the index — no longer exists for any round in Eras 1–5. 9 Era 8: A1709–A1724 (S341–S348; added Rev33.0) Era 7 was folded at the Rev32.9 seal and then shipped unchanged through Rev32.10 and Rev32.11 — byte-identical in all three sealed trees. Sixteen rounds ran in that gap, including the whole Track-2 remediation arc that Rev32.11 exists to answer, and none of them had a row here. That is the third time this notebook has been found behind its own frontier: Era 6 was added at Rev32.5 “after the notebook was found sixty-two rounds behind”, Era 7 at Rev32.9 “after the notebook was found to carry none of the Registrar build”, and each time the finding was made by a reader, not by an instrument. A gate now measures it (scripts/appendix_y_frontier_gate_S349.py, wired into the house state check at S349): it compares this ledger’s last serial against the newest sealed tree’s and against the frontier on disk, and it fails when the ledger has not moved since the last seal and rounds are missing — so an ordinary between-seal gap stays silent and only “about to ship stale again” is red. Seven firing controls, all of which fire. The rows below are generated, never typed, by scripts/appy_era8_rows_S349.py from the filed adjudications under Coalition/assessments/, on the same extraction as Era 7 — imported from that script rather than copied, so the rule has one home. The Carried by classification is this era’s own: Era 7’s prints “REV32.8/32.9 queue”, which is false here, because these rounds’ confirmed findings landed in Rev32.10, Rev32.11 and Rev33.0 (whose queue was open when this era was generated and is sealed with this edition). “—” means the generator traced no carrier, not that none exists. Sixteen serials, sixteen adjudication files, no reservations. 32 ===== PDF PAGE 412 / 433 ===== The round this era exists to record is one the house lost. A1724 (D1369 + D1370, ChatGPT Track-2 lane, S347) is filed with the verdict “the round closes clean, and the house lost it on points”: every deliverable arrived, every manifest verified from a fresh extract, the lane’s executable reproduced byte-identically here — and three of the four findings the house had dismissed at A1723 are real defects in our sealed text. Two of those dismissals were house method errors: a grep matched to one spelling, and a verification aimed at the wrong page. The lane withdrew its own weakest claim unprompted and corrected two errors in its own memo against its own interest. A laboratory notebook that records only the rounds the house won is not a notebook. A D s Headline result Carried by A1709 D1356 — GROK read, round 21 (D1356; REV32.10 S341.3 Registrar re-read after the re-anchor and R130; 62 uses on (library v2), 34 records). Filed +. . . not print A1710 D1357 — GEMINI read, round 21 (D1357; REV32.10 S341.3 Registrar re-read after the re-anchor and R130; 62 uses on (library v2), 34 records). Filed. . . not print A1711 D1358 s1171 CHATGPT hostile review of round 21 (D1358; no REV32.10– read credit). Filed S342, 2026-09-17. 32.12 queue (paper fixes) A1712 D1359 — GROK read, round 22 (D1359; REV32.10 S341.3 Registrar re-read; 59 uses on 43 records). Filed + banked (library v2), S342, 2026-09-17. not print A1713 D1360 — GEMINI read, round 22 (D1360; REV32.10 S341.3 Registrar re-read; 59 uses on 43 records). Filed + banked (library v2), S342, 2026-09-17. not print A1714 D1361 — CHATGPT hostile review of round 22 (D1361; no REV32.10– read credit). Filed S342, 2026-09-17. 32.12 queue (paper fixes) A1715 D1362 — GROK read, round 23 (D1362; the R132 re-read; Registrar 12 uses on 4 records). Filed + banked S342, 2026- (library v2), 09-17. not print A1716 D1363 — GEMINI read, round 23 (D1363; the R132 re-read; Registrar 12 uses on 4 records). Filed + banked S342, 2026- (library v2), 09-17. not print A1717 D1364 — CHATGPT hostile review of read round 23 REV32.10– (D1364). Filed + house-verified S342, 2026-09-17. 32.12 queue NO READ CREDIT (drafting. . . (paper fixes) A1718 D1365 — GROK read, round 24 (D1365; the R137 re-read Registrar of LIB2-113; 4 uses on 1 record). Filed + banked (library v2), S343, 2026-09-17. not print A1719 D1366 — GEMINI read, round 24 (D1366; the R137 re-read Registrar of LIB2-113; 4 uses on 1 record). Filed + banked (library v2), S343, 2026-09-17. not print A1720 D1367 s243 CHATGPT hostile review of round 24 (D1367; REV32.10– LIB2-113 under R137; no read credit). Filed S343, 32.12 queue 2026-09-17. (paper fixes) 33 ===== PDF PAGE 413 / 433 ===== A D s Headline result Carried by A1721 — s1178, GROK (SuperGrok), unsolicited: "Long Jack — s919 Sarfatti Super Grok Analysis" — the OSS J3 ( )- fibre ×. . . A1722 — s1179, GROK (SuperGrok), PI-run chain P0–P9: one — s1180, action (L_A), one projector, one mass matrix, one s1152 a2 for the. . . A1723 D1368 s909 D1368 return (ChatGPT, Track-2 v1.3 → v1.4 on Track 2 (not the Rev32.10 basis) this suite) A1724 D1369 s1189, the D1369 + D1370 remediation round (ChatGPT, Track 2 (not s909 Track-2 lane), assessed as ONE round this suite) Note added S362. The two paragraphs below were written at S356, when these eight rounds were to wait for the next fold. By PI call they did not: they are Era 9, §10, in this same release. The paragraphs are kept as written because they describe the gate correctly; only the plan changed. Boundary, stated so the next reader knows where to start. This era stops at A1724 / D1370, the last round of S348 — the last wrapped session before this fold. Eight rounds sit beyond it and belong to the next era: A1725–A1732 against D1371–D1378, all filed during S349 — the three-lane boundary-methodology round (A1725/A1726/A1727), its Grok supplement (A1728), the three no-register returns (A1729/A1730/A1731), and the Grok cautionary case (A1732). The count is derived from the filed adjudications on disk, not carried: an earlier statement of this boundary named “A1725–A1727 and D1371–D1374” and added that D1374 was “staged and not yet sent”. Both were true when written and neither is true now — D1374 was sent and its return is assessed at A1728 — and they are recorded here rather than removed, because a boundary paragraph that quietly re-counts itself is the defect this era exists to document. And the silence between now and then is by design. The frontier gate (scripts/appendix_y_ frontier_gate_S349.py) will not call for these eight until this ledger has sat through a seal unchanged: an ordinary between-seal gap is exactly the condition the gate is built to stay quiet through, and only “about to ship stale again” is red. So a reader who finds no Era 9 here is looking at a gate working, not at a notebook falling behind — which is the reading the three previous findings were made of. Absence of a row is not currency; it is a deferral with a named trigger. 10 Era 9: A1725–A1732 (S349; added Rev33.0) Eight rounds, all filed in one session (S349), make up an arc about method rather than physics: should the programme publish a register of its own boundary statements? It ran as a cold three-lane round on the question (A1725/A1726/A1727 on D1371/D1372/D1373), a Grok supplement specifying the proposed index (A1728, D1374), three returns on the case against publishing any register (A1729/A1730/A1731 on D1375/D1376/D1377), and a Grok return specifying the cautionary case (A1732, D1378). No paper number moved in this era. Its findings were carried by rulings: R154 (the three standing items of the first round) and R155 (no published register, adopted under a declared reopener, the reader-performance audit), with R161 recording that audit as deferred rather than declined. The internal detector machinery was explicitly kept; its product is repaired manuscripts, not a publication. The rows below are generated, never typed, by scripts/appy_era9_rows_S362.py, through the Era 8 row builder and so on the same extraction as Eras 7 and 8. The Carried by classification is this era’s 34 ===== PDF PAGE 414 / 433 ===== own and is derived: every ruling file that cites the round’s A-number or its D-number, except R151, which governs this notebook’s eras and cites these serials only to defer them. “(no tex)” is printed only where every cited ruling says so in its own text; “—” means no ruling cites the round. Eight serials, eight adjudication files, no reservations. What this era records is a coldness the house could not see for itself. The first round and the no-register round were both sent as fresh threads, one new chat per lane, so that three independent answers could be compared. A1731 (ChatGPT) opened with an unprompted declaration that saved programme context was present in its session, so its return should not count as memory-free; the round is therefore two cold lanes and one warm, and it is reported that way, not as three lanes agreeing. One round later A1732 (Grok) reported that its “fresh” thread was the same conversation that had just produced A1729, so A1732 is not independent of A1729 and may not be cited as outside corroboration of the no-register arc. The transferable finding is the house’s, and both times a lane supplied it: a new thread buys thread isolation, not memory-freedom, and the sender of a dispatch can request a fresh thread and record what the lane reports, but cannot assert it. Two further house defects are recorded in the adjudications themselves: the D1371–D1373 dispatches printed by-kind counts summing to 350 beside a census of 283 statements without saying the labels overlap (A1727 caught it; 53 statements carry more than one label), and D1374 asked twelve questions in three independent blocks of a lane known to truncate, and only the first block arrived, cut mid-sentence (A1728). Sent again as one block, the third arrived whole (A1732). A D s Headline result Carried by A1725 D1371 — GROK return on D1371 (boundary-declaration Ruling R154 methodology). S349, 2026-09-18. (no tex) A1726 D1372 — GEMINI return on D1372 (boundary-declaration Ruling R154 methodology). S349, 2026-09-18. (no tex) A1727 D1373 — CHATGPT return on D1373, AND THE ROUND Rulings CLOSE. S349, 2026-09-18. R154, R155 (no tex) A1728 D1374 — GROK, D1374 SUPPLEMENT: THE CON- Ruling R155 TRACT IS SPECIFIED; S2 AND S3 NEVER AR- (no tex) RIVED A1729 D1375 — GROK, D1375: THE CASE AGAINST PUB- Rulings LISHING ANY REGISTER. COMPLETE, AND R155, R161 STRONG. A1730 D1376 — GEMINI, D1376: SECOND LANE FOR OPTION Ruling R155 1 — BUT THE AGREEMENT CONCENTRATES (no tex) ON ONE LIMB A1731 D1377 — CHATGPT, D1377: THIRD LANE FOR OPTION Ruling R155 1 — AND IT DECLARED ITS OWN COLDNESS (no tex) BREACH A1732 D1378 — GROK, D1378: THE CAUTIONARY CASE — SPECIFIED. COMPLETE, USABLE, AND NOT COLD. Boundary. This era stops at A1732 / D1378, the frontier on disk when it was written (S362): the 35 ===== PDF PAGE 415 / 433 ===== next free numbers were A1733 and D1379. It was added at the Rev33.0 fold by PI call rather than left for the next one; the Era 8 boundary paragraph above recorded the opposite plan, and is kept as written with a note. 11 Era 10: A1733–A1735 (S366; added Rev33.1) Three rounds, all filed in one session (S366), make up an arc about what a check certifies. An unsolicited site-read critique arrived from Grok (A1733, no dispatch): twenty checkable reads of the served site, eighteen confirmed, two partly located, none wrong; twelve proposals and ten charges, routed to the problem board as eight new asks and adopted nowhere. Two ChatGPT rounds then took the house’s first mass-sector observation-map kernels apart: D1379 reproduced s1203 exactly and showed three of its gates not to carry the load their names claim (A1734); the successor s1204 was built to the lane’s own contract, and D1380 reproduced it exactly on a third host and graded that contract one clause met, six partly met, with four real defects found at its boundary (A1735). No paper number moved in this era. Its findings were carried by kernels and queue rows, not by rulings. The rows below are generated, never typed, by scripts/appy_era10_rows_S367.py, through the Era 8 row builder and so on the same extraction as Eras 7–9. The classifier is this era’s own and is derived from each object: D is the dispatch the adjudication’s header points to (“—” for an unsolicited return); s is the kernel the round receipted, matched by content hash to a kernel file on disk; Carried by lists the queue rows that attribute a finding to the round. The Era 9 classifier was run first and is not used: on these three rounds it read a dispatch the unsolicited return only cites, two rulings that cite those serials for other reasons, and a kernel serial named only as a future one — the “first serial in the text” shape that one classifier per era exists to prevent. What this era records is a check that certifies itself. Three times in one kernel a gate was satisfied by the object it was meant to test: a “one function” test passed because the function inserted its own name into the register it read; a provenance lint tested the magnitude of a constant rather than where it came from; and a page trace validated a dictionary rather than the page. None of the three was found by a check failing. Each was found by a mutation: the lane changed the object, and the gate stayed quiet. The successor kernel fixed those three and the next round found the next layer the same way. Both ChatGPT rounds were sent as continuing threads by choice, and the lane was grading a kernel built to its own specification; no coldness is claimed for either, and neither is cited as independent corroboration. The transferable finding is the method: a gate whose quiet has never been seen to break is not yet known to be a gate. A D s Headline result Carried by A1733 — — GROK, UNSOLICITED: “Super Grok Thoughts — on Rev33.0” — A SITE-READ CRITIQUE WITH TWELVE PROPOSALS, TEN CHARGES. . . A1734 D1379 s1203 CHATGPT, D1379: s1203 REPRODUCED EX- Queue ACTLY, AND THREE OF ITS GATES SHOWN S366.9, NOT TO CARRY THE LOAD THEIR NAMES S366.13 CLAIM.. . . 36 ===== PDF PAGE 416 / 433 ===== A D s Headline result Carried by A1735 D1380 s1204 CHATGPT, D1380: s1204 REPRODUCED EX- Queue ACTLY; CONTRACT VERDICT 1 MET / 6 S366.22 PARTLY MET, WEAKEST CLAUSE 7; THE BOUNDARY. . . Boundary. This era stops at A1735 / D1380, the frontier on disk when it was written (S367): the next free numbers were A1736 and D1381. It is written into the working notebook for the Rev33.1 fold. 12 Era 11: A1736–A1738 (S367; added Rev33.1) Three returns, all filed in one session (S367). A scheduled literature scan arrived from ChatGPT (A1736, no dispatch): ten items citing eleven preprints, all eleven located as cited; their content claims were not verified at source, because the archive refused the house’s fetches, so every theorem and number in the scan stands as the lane’s claim. One cheap audit and two board candidates were routed, the items that bear on decay rates and lifetimes were held, and nothing was adopted. Two lanes then read the N −1 blind formula census, s1206, under ruling R186. Gemini (D1381, A1737) declared a warm thread and did not run the kernel; its four objections were graded by measurement — two refuted, one a misreading, one kept as a sensitivity — and its proposed print sentence was rejected as an over-claim. ChatGPT (D1382, A1738) ran it and matched a result hash it had never been shown, the first independent reproduction of the census, and in the same return demonstrated that the enumerator was not exhaustive, that one row was scored in display units, and that root powers silently took an absolute value. The census was repaired (s1206 v3) before its Appendix X text was written. No existing paper number moved in this era. The rows below are generated, never typed, by the Era 10 generator (scripts/appy_era10_rows_ S367.py) on its own derived classifier, unchanged. What this era records is a reproduction that could not be faked, and a condition that was not met. The census result hash was withheld from everything the ChatGPT lane received, so a matching hash is evidence that the kernel was run; the Gemini lane, which could not run it, said so and echoed the house value as the house value. Neither lane was cold: both declared a warm thread or saved memory, so the one cold read R186 asks for has still not happened, and neither return is cited as independent corroboration of the census’s reading. What the executing lane contributed is the part a warm lane can contribute honestly: the kernel ran on a third host, and its defects were found by running it. A D s Headline result Carried by A1736 — — CHATGPT, SCHEDULED LITERATURE SCAN Queue (Definition A, week of 2026-09-19. . . 25): 10 S367.6, WORKS, 11 PREPRINTS — ALL 11. . . S367.9 A1737 D1381 s1206 GEMINI, D1381: WARM, NOT RUN — THE — COLD READ R186-5 REQUIRES DID NOT HAPPEN. A2 GRADED BY MEASUREMENT: TWO. . . 37 ===== PDF PAGE 417 / 433 ===== A D s Headline result Carried by A1738 D1382 s1206 CHATGPT, D1382: THE FIRST INDEPEN- Queue DENT REPRODUCTION OF THE CENSUS S367.5, (HASH MATCHES A VALUE IT WAS NEVER S367.15 SHOWN) — AND. . . Boundary. This era stops at A1738 / D1382, the frontier on disk when it was written (S369, at the Rev33.1 seal): the next free numbers were A1739 and D1383. It was added at the seal because the frontier gate (S348.6) found the narrative ledger unchanged since the snapshot while three assessments had been filed. 13 Reserved numbers: nothing is missing Two numbers in this range have no assessment file, and both are clean reservations rather than losses: A1377 was reserved for D1080, an unsent dispatch subset, and A1415 was reserved against the occupancy bank and left untouched. Both reservations are recorded in the neighbouring assessments. Era 5 (A1450–A1473) contains no reservations at all — twenty-four consecutive numbers, twenty-four assessment files, each with a matched verifier kernel and results file. Era 7 (Rev32.9): five serials in A1573–A1708 have no adjudication file of their own — A1581 and A1582 (reserved for the D1253 and D1254 returns), A1589 (a partial intake note only), A1629 (a tombstone: its dispatch was never sent) and A1665 (filed jointly with A1664); each is printed as such in §7. The sequence A1358–A1473 is therefore complete at 114 rounds: 116 numbers less the two reservations. 14 Reverse index: printed object → certifying round The table above answers “what did round N produce?”. This one answers the question a reader actually asks: “where does this claim come from?” Printed object Certified by Where it prints the relative vertex sign −1 (amputated, F4 - A1395 App. R fenced) the rank-7 vertex readout; 10=10 dead A1396 App. R Π5←6 (loaded); no equivariant transfer A1396, A1400 App. R, T the odd-sector quantization theorem; z ∈ A1407 App. S, M {±i} √ vEW / σ = φ105/8 as a framed registration A1369, A1381 App. O forcing 105/8 refuted (no depth selector) A1370 App. O, N the support floor {3, 11, 17} A1421 App. M minimal height refuted-as-canonical A1421 App. S [jA ] ∈ RP2 ; null axis (5, −18, 1) A1420, A1428 App. S the D1125 loaded finite effective action A1429, A1430 App. S the transgression obstruction theorem A1430 App. S Pann ; q = ±1 categorically absent A1431 App. S the operator-ray collapse; non-factorization A1431 App. S continued overleaf 38 ===== PDF PAGE 418 / 433 ===== Printed object Certified by Where it prints 0.0331562% dead (twice, off-support) A1431, A1432 App. S, X 0.2744490308% as a legal miss A1432 App. S, X the affine support theorem; φ/2 = sin(3π/10) A1432 App. S AX-AFF-ONSET (integer marking at n∗ = 7) A1432 App. S the non-selection theorem A1433 App. S AX-MG, two independent clauses A1434, A1435 App. S lift degeneracy (w = cφ−m only) A1435 App. S, T, X the observation-functor faithfulness wall A1436, A1438 App. T, X the withdrawal of the bits+dims headline A1414, A1436 App. X the two-W separation (Wsig vs Sshell ) A1437 App. T g+− = ΓJ = W 2 at zero continuous parame- A1438 App. T ters the non-gluing obstruction; BW A1438 App. T the so(5) Cartan closure A1439 App. T 27 ↓ so(5) = 6 · 1 ⊕ 5 ⊕ 16 A1440 App. T triality = the imaginary unit; signature = A1440 App. T chirality the solder no-go (SOLDER-BRANCH) A1440, A1441 App. T the spin–charge no-go (colour-protective) A1441 App. T the conformal-mode obstruction A1441 App. T the reflection-positive state at finite regulator A1442 App. T BMM inertia (3, 3, 4); the positive cone A1442 App. T AX-COT and its independence theorem A1443, A1444 App. T the no-linear-projector theorem A1444 App. T Geff = SM/Z6 under local faithfulness A1444 App. T the χ source–response wall; Nmass A1444 App. T, X the A1444-G2 erratum (wrong-carrier D5 A1446 App. T (erratum box) signs) o = −Dφ exact; the order line A1446 App. T the minimal dilation U0 A1446 App. T gχ derived away; χ2 = 1/4 inside the attach- A1446, A1447 App. T ment Krel = Dφ (the log leg a theorem) A1447 App. T OMOS ; the exact POVM; OS evenization A1447 App. T ΠMOS 5←6 rank q 3, ̸= microscopic A1448 App. T MN = Λ φ2N + 1/4 (one-particle) A1448 App. T the record process; ρ∗ = φ/2 A1448 App. T Xactual splits (type derived, value = data) A1449 App. T, L the 28 Si typed-obstruction re-adjudication A1425 Paper 9 §typed Era 5 — the post-Rev27 derivation dive Umicro ∈ SO(6); three forced dark V4 charac- A1450, A1451 App. O ters the tiered ledger dim Hom = 0/(3, 3, 3)/9 A1450 App. X {S, H} = 0 from the branch-Real mouth pair- A1452 App. O ing continued overleaf 39 ===== PDF PAGE 419 / 433 ===== Printed object Certified by Where it prints ker Mfull 2 = ker Π ⊗ F ; the mass–export order- A1454 App. O ing functor mass-first ordering (ratified-conditional; A1455 App. O premises printed) the Riesz-protected graded quadrature, A1457 App. O, K generic 4 tangent/normal protection refuted A1457 App. O 1 the bulk-local normal-blind counterterm the- A1458 App. F orem the smooth-circle normal-blindness theorem A1459 App. F ax-lep-prim (named, not adopted) A1459, A1460 App. S, X the Leff kill-test: 1 − 4φ−2 = 4φ − 7 < 0 A1461 App. I, X aX = −2aT (universal branch); aM := 2aT + A1462 P6 aX LMRSS , the unique minimal chiral lift A1463 App. P the NS partner tower at |p5 |R = 12 A1463 App. P QY ∼ = R3 ; the BPS kink wall A1464 App. P the kink direction is independent (counter- A1464 App. P model pair) the conditional primitive-X theorem (norm- A1465 App. P, X 80, ⊥ Y ) falsifier yd = ye ⇐⇒ aC = aX A1465 App. P the centralizer theorem: X = 2(1, 1, 1, 1, 1) A1466 App. P, X the X-semion weld, representation tier A1466 App. P, S the radial-shadow theorem A1466 App. P the central C4F functor forced; det TX = A1467 App. T − 27 16 A(A − B) 2 no Fibonacci fiber functor into Hilbfd A1468 App. Q, T the pointed operator’s golden spectrum A1468 App. Q, T {φ, 1, φ−1 } M 2 = M +I−Pm , the unique minimal pointed A1469 App. Q completion O⊤φ |M |Oφ = Jvac exactly; the walls merge A1469 App. Q, O gen-separability refuted and retired as a A1470 App. O, X price [DF , Agen ] = 0 forced; census 9 → 3 A1471 P3, App. X mixing as a controlled defect; the home for A1471 P3 VCKM = I doublet–triplet from the MRSS Higgs parity A1471, A1472 P4 the boundary price 6 microscopic / 3 visible A1471, A1473 App. X, F ν dirac-loaded; charge controls 0 vs 10 A1472 P5, App. X the A654 supersession arrow Rev29 fold P3 the priced-clause register (26 at A1473, 27 A1473, A1474 App. X after A1474) the promotion gate Spromo A1473 App. X, O the boundary law (six finite counterterms) A1473 App. X, F continued overleaf 40 ===== PDF PAGE 420 / 433 ===== Printed object Certified by Where it prints ∆min = 12 φ−4 ε2 ∥K∥2 ; 6 = 3 + 3 A1473 App. X 15 The casualty register Eight rounds in this era corrected the house, not the lane. They are listed because the protocol’s credibility rests on them being findable. Round What the house got wrong, and what caught it A1395 Two house overclaims on the parent vertex refuted; the wall re-counted honestly (3 continuous data + orientation fibre). A1401 The house’s “primitive quartic” expectation refuted: no primitive quartic invariant exists at that tier. A1426 One house prediction corrected in the cascade/equivariance round. A1427 Two house casualties in one round: the blanket-blindness claim refuted, and a second wording correction. A1434 The D1130 dispatch asserted “the continuum already died spectrally.” It had not — D1129 constructed the spectral continuum and refuted only selection. A standing pre-send grep rule against banked results was adopted in consequence. A1436 The 17-dimensional decomposition behind the freedom headline is internally inconsistent as typed. Confirmed at primary source by house grep, not conceded on assertion. The headline is withdrawn at Rev28. A1437 The single label “W ” denoted two categorically different operators. Split suite-wide. A1446 A banked, house-signed row priced the chamber lift from a commutant computed on the wrong carrier (the permutation module, not the chamber carrier). The finite-sign residue is retired and replaced by the minimal-dilation theorem. The erratum is printed in Appendix T rather than absorbed. 41 ===== PDF PAGE 421 / 433 ===== Protocol failures are logged too, and so are their resolutions. Nine receipt variances (rounds A1437–A1444) ran on informal-thread returns without a formally filed dispatch; two carry protocol-breach marks. Seven consecutive bundles omitted their own dependencies, cured only at the last round of that era. Three riders (an ω countersign, a mouth-flip atlas comparison, a catalecticant computation) went unanswered for thirteen rounds, and one owed bundle (258f9982) was never uploaded — so the rows depending on it are graded house-primary, single-lane, and say so. What Era 5 settled. The enforcement backlog was retyped house-side at S255: the house now owns verification logistics and builds its own kernel when a return arrives without one, so the rider and owed-bundle debts close as enforcement items — 258f9982 was never delivered and is no longer owed. A separate rider, on the framework’s neutrino typing, ran five implicit rounds unanswered before landing in full at A1472. Era 5 also ran under a temporary dispensation in which the lane chose its own object; three rounds executed without the gate freeze their item required (A1464 by scheduling, A1466 by knowing PI waiver, A1455 by running ahead of its own criteria). Each is priced in its row, and in the A1455 case the mathematics was banked while the verdict was withheld and sent to the PI. The era closed by inventing a fix for the underlying problem: receipt-proof by dispatch-hash echo, first achieved at A1473 and now standard, which replaces a lane’s assertion that it received the dispatch with a cryptographic demonstration. None of this changes a verification result; all of it is part of the record. The sealed table’s own defect (A1474, S258) The house is not exempt from this register, and the most recent entry is its own. For the ω round the house computed its answers in advance and sealed them, so that the lane’s return could be adjudicated blind. Five of the six sealed verdicts were confirmed independently. The sixth was wrong — not in its arithmetic, but in its reasoning. The house had written that if ω selects no dynamics then it “adds nothing the promotion gate does not already own”. The lane pointed out that this conflates two different claims: ω contributing no dynamics selector does not entail that the promotion gate owns what is left. It does not. Spromo constrains the finite Dirac operator; it says nothing about a polarization or a Hamiltonian on the Freudenthal system. The house verdict is withdrawn. The consequence is not cosmetic: had the sealed reasoning stood, a real open question would have been absorbed into an existing wall and never printed. Instead it is clause 27 of the priced register. The protocol caught a house error precisely because the house committed first and in writing. A later catch, owed since Rev30: interface-type erasure (A1482) One row of this register was ratified by the PI and then never printed. It is printed here, eight seals late, with that delay stated rather than quietly closed. At S265 the house put Ψabcd Tr(T a T b T c T d ) into the demands of dispatch D1176. The ChatGPT lane refused it as ill-typed, and was right: Ψ’s indices live on the six-real fundamental colour carrier, the T a on the eight-dimensional adjoint, and there is no canonical map between the two. The expression erases an interface. The house withdrew it in D1176 item 3 and recorded the correction at A1482 T6. What makes it a casualty rather than a typo is the same session’s other traffic: the house charged the lane with precisely this defect three times while committing it once itself. The asymmetry is the finding. A programme that audits its correspondents for a class of error is obliged to audit itself for 42 ===== PDF PAGE 422 / 433 ===== the same class in the same session, and this one did not. The row was ratified for print at S265 under the precedent set when A638/A639 were admitted above — house casualties get printed — and marked owed at the Rev30 fold. Rev30, Rev31, Rev31.1, Rev31.2 and the whole Rev32 series sealed without it. It was recovered by the S264–S352 master sweep at S353 (Trackers/LOST_SHEEP_MASTER_SWEEP_S353.md, row S353-6), which also established why no instru- ment had caught it: the ratification named a destination file, appendix_y_casualty_register.tex, that has never existed, and the queue row was ticked on the strength of the PI’s ratification rather than on the print. A tick is not a discharge, and a locator that resolves to nothing is not a home — the two rules this single row breaks are the two the register discipline was built on. Extending the register backwards: the first catch (A638/A639) The register above begins in Era 2. It should begin earlier, and at the Rev29 fold the programme admits the earliest entry to the published record. At S43, a lane returned a verification checklist it had not run — a fabricated confirmation, presented as completed work. The house caught it by checking the disk rather than reading the claim (A638), and the correction was recorded the same session (A639). That catch is the origin of verify-don’t-relay, the rule under which every row in this appendix was produced: a lane’s assertion that something verified is not evidence that it verified, and the house re-runs. It appeared in no casualty register for two hundred sessions. It appears here because a programme that prints its later catches and suppresses its first one is telling a flattering story about when it learned to be careful. The rule has a date, and the date is the day the programme was fooled. 16 The Era-5 end-state adjudication The closing round of the dive (A1473) delivered a 23-row ledger stating, for each round of the era, what its results ended up typed as once every later round had had its say. The house cross-checked every banked results hash in that ledger against its own copies: 10 of 10 present hashes match. The adjudication below is the house’s own reading of the end state, printed alongside the lane’s, as the fold task required. • Where the two ledgers agree — twenty-one of twenty-three rows. Both record the same tier, the same conditionality, and the same open prices. • Where they differed — the lane’s ledger spanned nineteen rows read literally from “SD14 onward” while the house dispatch had asked for twenty-three. The discrepancy was a house drafting error in the range specification, not a lane omission. The lane resolved it by returning both ledgers rather than picking one. The house owns the error here, in print. • The SD14 archive gap — one early round of the era has no bundle in the inbox and was flagged three times across the arc. It stays retired. Rows depending on it are graded house-primary and say so. Merged supersession audit Three separate supersession audits ran during Eras 4 and 5. Merged, and with each arrow’s direction stated once: 43 ===== PDF PAGE 423 / 433 ===== • A1451 → A1450 claim 9: two Spin(5) form factors, not one. • A1472 → A1471: Higgs-parity uniqueness is conditional on the loaded low-energy scalar spectrum, not unconditional. • A1471 → A1463-era shorthand: the endpoint shorthand is retired; the boundary price is 6 microscopic and 3 visible. • A1446 → A1444-G2: the “8 orthogonal / 4 orientation-preserving D5 signs” row is retired as a wrong-carrier count; the minimal-dilation theorem prints instead. • The Rev29 fold → A654: the zero-free-parameter CKM claim of S46 is superseded; see the arrow printed in Paper 3. • Retired axioms, not superseded but withdrawn: log-hodge naturality, ax-riesz-clifford- mass, ax-kubo-mass, ax-mass-label, ax-map-history as the actuality law, and gen- separability as a price. None may be cited as live. 17 What this appendix does not do It does not restate the physics: every row points at the component that carries it. It does not upgrade a tier — where the ledger and a printed section disagree on wording, the printed section governs and the discrepancy is a defect to be fixed, not resolved here. It is a locator at section granularity, not a per-claim citation index; building the latter for Eras 1–5 is the natural next pass, and this appendix is the scaffold for it. And its per-round core table covers A1358–A1473; the A1300–A1357 head band and the A1475–A1500 freeze-first era are carried in their own sections (added at Rev30), Era 6 (A1501–A1572) in its own section (added Rev32.5, after the notebook was found sixty-two rounds behind its frontier), Era 7 (A1573–A1708) in its own generated section (added Rev32.9, after the notebook was found to carry none of the Registrar build), while rounds before the Rev25 freeze are recorded in the Rev25-era ledgers and in Papers/PAPERS_HISTORY.md. 18 The Registrar at seal (generated, 2026-09-26) A dated snapshot, not live status. Registrar master 36edf24827e0ecdd, sealed with Rev33.1_S369 on 2026-09-26: 357 records (IN_REVIEW 77, PUBLISHED 280). Each row gives the record, its primary assertion (with the number of further assertions), where its primary source use sits in this edition, the record class, and its review state at this seal. The live state of any record is its own page, linked from the inline tags beside the sentences it quotes. Generated by scripts/seal_registrar_table.py; never typed. Record Assertion Component / section p. Class State LIB2-001 AS-LIB2-001-primary Appendix E, §4, Theorem 2: admissible-gap 171 CLAIM PUBLISHED +2 case count LIB2-002 AS-LIB2-002-primary Paper 3, §5.4, What survives, and it is not noth- 64 CLAIM PUBLISHED +3 ing LIB2-003 AS-LIB2-003-primary Appendix X, Honest precision summary: Atmo- 345 COMPARATOR PUBLISHED spheric angle. . . LIB2-004 AS-LIB2-004-primary Paper 3, §5.4, Current replacement attachment 64 RETIRED PUBLISHED +2 LIB2-005 AS-LIB2-005-primary Appendix T, §15.5, Intrinsic-basepoint place- 335 OPEN IN_REVIEW holder 44 ===== PDF PAGE 424 / 433 ===== Record Assertion Component / section p. Class State LIB2-006 AS-LIB2-006-primary Appendix F, §1, Scope and provenance: V1–V6 180 CLAIM PUBLISHED +3 LIB2-007 AS-LIB2-007-primary Paper 4, §4.2, Ghost-free reading: identity- 73 CLAIM PUBLISHED anchored. . . LIB2-008 AS-LIB2-008-primary Appendix F, §5.3, Jordan-54 Lie-triple test 187 CLAIM PUBLISHED +2 LIB2-009 AS-LIB2-009-primary Appendix F, §5.3, Missing-16 Lie-triple test 187 CLAIM PUBLISHED LIB2-010 AS-LIB2-010-primary Appendix F, §5.3, Generated-algebra identifica- 187 CLAIM IN_REVIEW +4 tion LIB2-011 AS-LIB2-011-primary Appendix X, P0-1 audit, The result: definition 369 CLAIM PUBLISHED of LJ LIB2-012 AS-LIB2-012-primary Appendix T, §15.1, The solder and transported 332 CLAIM PUBLISHED pointing LIB2-013 AS-LIB2-013-primary Appendix T, §15.1, Dated amendments to Table 333 CLAIM PUBLISHED 1: face 3 LIB2-014 AS-LIB2-014-primary Appendix E, §7, The dark attachment: prove- 175 CLAIM PUBLISHED nance upgrade LIB2-015 AS-LIB2-015-primary Appendix H, §11, Theorem 11.1: frozen-word 205 CLAIM PUBLISHED +2 setup LIB2-016 AS-LIB2-016-primary Appendix X, Carrier fence beside clause 27: 371 CLAIM PUBLISHED +2 three tens LIB2-017 AS-LIB2-017-primary Appendix S, §9.2, Theorem 9.2: declared-class 313 CLAIM PUBLISHED +5 negative LIB2-018 AS-LIB2-018-primary Appendix E, §3, Remark 2: status of H2 171 CLAIM PUBLISHED +2 LIB2-019 AS-LIB2-019-primary Appendix E, §3, Theorem 1: symmetry-form 170 CLAIM PUBLISHED selector LIB2-020 AS-LIB2-020-primary Appendix E, §4, Theorem 2: arithmetic selector 171 CLAIM PUBLISHED LIB2-021 AS-LIB2-021-primary Appendix E, §7, Closure declaration: minimum 177 CLAIM PUBLISHED +2 and Hessian LIB2-022 AS-LIB2-022-primary Appendix E, §7, Boundary datum: three faces 175 CLAIM PUBLISHED +3 LIB2-023 AS-LIB2-023-primary Appendix E, §7, Dark attachment: detector 176 CLAIM PUBLISHED eigenspace LIB2-024 AS-LIB2-024-primary Appendix E, §7, Dark attachment: coefficient 175 CLAIM PUBLISHED identity LIB2-025 AS-LIB2-025-primary Appendix E, §7, Forced interior split 176 CLAIM PUBLISHED +2 LIB2-026 AS-LIB2-026-primary Appendix S, §9.1, Theorem 9.1: critical point 313 CLAIM PUBLISHED +4 and Hessian LIB2-027 AS-LIB2-027-primary Appendix S, §9.4, Theorem 9.4: moduli space 314 CLAIM PUBLISHED LIB2-028 AS-LIB2-028-primary Appendix S, §9.4, Priced axiom 9.5: adopted 314 CLAIM PUBLISHED +3 relations LIB2-029 AS-LIB2-029-primary Paper 0, Executive State Map: occupation- 6 CLAIM PUBLISHED +2 selector row LIB2-030 AS-LIB2-030-primary Appendix E, §8, S284 rulings: target-triviality 177 CLAIM PUBLISHED LIB2-031 AS-LIB2-031-primary Appendix E, §8, S284 rulings: H2 rank and price 177 CLAIM PUBLISHED +2 LIB2-032 AS-LIB2-032-primary Appendix E, §8, C0 independence theorem 177 CLAIM PUBLISHED +2 LIB2-033 AS-LIB2-033-primary Appendix E, §8, F-SEL(c): scoped closure 178 CLAIM PUBLISHED LIB2-034 AS-LIB2-034-primary Appendix E, §8, Casimir-naturality: conclusion 178 CLAIM PUBLISHED LIB2-035 AS-LIB2-035-primary Appendix E, §8, Corrected non-degenerate posi- 178 CLAIM PUBLISHED +3 tivity. . . LIB2-036 AS-LIB2-036-primary Appendix E, §6(i), Gram-only selector obstruc- 172 CLAIM PUBLISHED tion LIB2-037 AS-LIB2-037-primary Appendix E, §6(ii), Frame-free diagonal- 173 CLAIM PUBLISHED invariant. . . LIB2-038 AS-LIB2-038-primary Appendix E, §6(iii), Transported-selector source 173 CLAIM PUBLISHED +2 isotropy LIB2-039 AS-LIB2-039-primary Appendix E, §6(iv), Fixed-grade detection ob- 173 CLAIM PUBLISHED struction LIB2-040 AS-LIB2-040-primary Appendix E, §6(v), Even-action sign obstruction 173 CLAIM PUBLISHED +2 LIB2-041 AS-LIB2-041-primary Appendix E, §6(vi), Frame-free orbit obstruc- 174 CLAIM PUBLISHED +4 tion LIB2-042 AS-LIB2-042-primary Appendix E, §6(vi), Norm-only Hessian obstruc- 174 CLAIM PUBLISHED +2 tion 45 ===== PDF PAGE 425 / 433 ===== Record Assertion Component / section p. Class State LIB2-043 AS-LIB2-043-primary Appendix E, §6(vii), Unshifted Kempf–Ness 174 CLAIM PUBLISHED rank bound LIB2-044 AS-LIB2-044-primary Appendix E, §6(vii), Beat-transitivity obstruc- 174 CLAIM PUBLISHED tion LIB2-045 AS-LIB2-045-primary Appendix E, §7, Boundary-source obstruction 175 CLAIM PUBLISHED +2 LIB2-046 AS-LIB2-046-primary Appendix E, §5, Corollary 1: spectral identity 172 CLAIM PUBLISHED LIB2-047 AS-LIB2-047-primary Paper 1, §3, Roman-surface paragraph: vacuum 26 CLAIM PUBLISHED adjoint LIB2-048 AS-LIB2-048-primary Appendix B, §B.5, Structural support (a): DET- 159 CLAIM PUBLISHED 7 LIB2-049 AS-LIB2-049-primary Appendix A, §A.9, Exact dimension ratio 154 CLAIM PUBLISHED LIB2-050 AS-LIB2-050-primary Paper 3, Abstract, Rev29 update: Route-B 48 CLAIM PUBLISHED weight LIB2-051 AS-LIB2-051-primary Appendix B, §B.5, Structural support (b): C1 159 CLAIM PUBLISHED weight LIB2-052 AS-LIB2-052-primary Appendix B, §B.5, Structural support (c): gen- 159 CLAIM PUBLISHED erator. . . LIB2-053 AS-LIB2-053-primary Appendix K, §4, Theorem 4.3: reflected trace 244 CLAIM PUBLISHED +2 weight LIB2-054 AS-LIB2-054-primary Appendix P, §2, Theorem 2.1: tick grading 284 CLAIM PUBLISHED +3 LIB2-055 AS-LIB2-055-primary Appendix P, §2, Theorem 2.2: cylinder- 284 CLAIM PUBLISHED +2 condition count LIB2-056 AS-LIB2-056-primary Appendix P, §2, Theorem 2.4: census and cocy- 285 CLAIM PUBLISHED +2 cle LIB2-057 AS-LIB2-057-primary Paper 8, §2, PSL(2,7) class-algebra structure 122 CLAIM PUBLISHED +2 constants LIB2-058 AS-LIB2-058-primary Appendix I, §6, Proposition 6.1: scaling setup 218 CLAIM PUBLISHED LIB2-059 AS-LIB2-059-primary Appendix I, §6, Remark 6.4(iii): cubic relevance 219 CLAIM PUBLISHED +2 LIB2-060 AS-LIB2-060-primary Paper 5, §2, Solar-angle expression 83 CLAIM PUBLISHED LIB2-061 AS-LIB2-061-primary Paper 5, §2, Reactor-angle expression 83 CLAIM PUBLISHED +2 LIB2-062 AS-LIB2-062-primary Paper 5, §3, Phase expression 88 CLAIM IN_REVIEW LIB2-063 AS-LIB2-063-primary Paper 3, §2, Route-B readout 48 CLAIM PUBLISHED LIB2-064 AS-LIB2-064-primary Paper 3, §2, Measured-angle diagnostic 49 CLAIM IN_REVIEW LIB2-065 AS-LIB2-065-primary Paper 3, §2, First-row unitarity readout 49 CLAIM PUBLISHED +2 LIB2-066 AS-LIB2-066-primary Appendix B, §B.6, Vcb comparator row 162 CLAIM PUBLISHED +4 LIB2-067 AS-LIB2-067-primary Appendix B, §B.6, Vub hierarchy and displayed 162 CLAIM PUBLISHED comparison LIB2-068 AS-LIB2-068-primary Paper 3, Candidate Construction 2.1, retained 53 CLAIM PUBLISHED formula LIB2-069 AS-LIB2-069-primary Paper 3, §2.1, Global-fit Dirac-phase comparator 50 CLAIM PUBLISHED LIB2-070 AS-LIB2-070-primary Paper 3, §2.1, Direct UT-angle comparator 50 CLAIM PUBLISHED LIB2-071 AS-LIB2-071-primary Paper 3, §2.1, Unitarity of the standard 50 CLAIM PUBLISHED parametrisation LIB2-072 AS-LIB2-072-primary Paper 3, §2.2, Internal consistency note 55 CLAIM PUBLISHED +3 LIB2-073 AS-LIB2-073-primary Paper 3, §5.2, Universal-weight control 63 CLAIM PUBLISHED +2 LIB2-074 AS-LIB2-074-primary Paper 3, §3.2, PMNS construction 56 CLAIM PUBLISHED LIB2-075 AS-LIB2-075-primary Paper 3, Candidate Construction 2.1, Zero- 54 CLAIM IN_REVIEW +4 correction control LIB2-076 AS-LIB2-076-primary Appendix F, §2, Proof step L4: adjoint multi- 181 CLAIM PUBLISHED plicities LIB2-077 AS-LIB2-077-primary Appendix F, §3, Leg A: invariant-space dimen- 182 CLAIM PUBLISHED +4 sion and. . . LIB2-078 AS-LIB2-078-primary Appendix F, §7, Theorem 7.1: invariant projec- 188 CLAIM PUBLISHED +2 tors LIB2-079 AS-LIB2-079-primary Appendix F, §5.2, Dyonic completion at the 186 CLAIM PUBLISHED origin LIB2-080 AS-LIB2-080-primary Appendix F, §5.2, Remark 5.2(b2): singlet count 186 CLAIM PUBLISHED +3 LIB2-081 AS-LIB2-081-primary Appendix F, §4, Theorem 4.1: fixed package 183 CLAIM PUBLISHED LIB2-082 AS-LIB2-082-primary Appendix F, §4, Theorem 4.1(2): extra Cartan 183 CLAIM PUBLISHED 46 ===== PDF PAGE 426 / 433 ===== Record Assertion Component / section p. Class State LIB2-083 AS-LIB2-083-primary Appendix F, §4.1, State-by-state centre check 185 CLAIM PUBLISHED LIB2-084 AS-LIB2-084-primary Appendix P, §2, Theorem 2.3: signed-trace pat- 284 CLAIM PUBLISHED +2 tern LIB2-085 AS-LIB2-085-primary Appendix P, §2, Theorem 2.5: scope 285 CLAIM PUBLISHED LIB2-086 AS-LIB2-086-primary Appendix I, §6, Remark 6.4(ii): colour isotropy 219 CLAIM PUBLISHED +2 LIB2-087 AS-LIB2-087-primary Appendix A, §A.7.5, Rev32.1 Schur correction 151 CLAIM PUBLISHED +3 LIB2-088 AS-LIB2-088-primary Appendix A, §A.7.8(ii), Conditional Artin ap- 153 CLAIM PUBLISHED +2 plication LIB2-089 AS-LIB2-089-primary Appendix S, §9.3, Quadratic bridge census: P 313 CLAIM PUBLISHED to B LIB2-090 AS-LIB2-090-primary Appendix S, §9.3, Quadratic bridge census: B 313 CLAIM PUBLISHED to P LIB2-091 AS-LIB2-091-primary Appendix F, §8, Declared connection class 189 CLAIM PUBLISHED +2 LIB2-092 AS-LIB2-092-primary Appendix N, §1.2, Leg 2: golden numerology 264 CLAIM PUBLISHED +2 density LIB2-093 AS-LIB2-093-primary Appendix N, §1.3, Leg 3: mode-locking compar- 264 CLAIM PUBLISHED +2 ison LIB2-094 AS-LIB2-094-primary Appendix N, §1.4, Leg 4: continuous offset 265 CLAIM PUBLISHED +2 and. . . LIB2-095 AS-LIB2-095-primary Appendix N, §1.5, Leg 5: absent tunnelling 265 CLAIM PUBLISHED +3 solution LIB2-096 AS-LIB2-096-primary Appendix N, §2, Proposition 2.1: compact- 266 CLAIM PUBLISHED colour. . . LIB2-097 AS-LIB2-097-primary Appendix N, §2, Carrier truncation: cross- 266 CLAIM PUBLISHED +2 translator. . . LIB2-098 AS-LIB2-098-primary Appendix N, §3, Proposition 3.1: package ob- 267 CLAIM PUBLISHED +4 struction LIB2-099 AS-LIB2-099-primary Appendix N, §4, Local Row-1 exclusion 268 CLAIM PUBLISHED +4 LIB2-100 AS-LIB2-100-primary Appendix N, §6, Octant-registration fence 269 CLAIM PUBLISHED +2 LIB2-101 AS-LIB2-101-primary Appendix N, §6, Complex-ratio ladder census 270 CLAIM PUBLISHED LIB2-102 AS-LIB2-102-primary Appendix N, §6, Jordan-scaling centralizer cen- 270 CLAIM PUBLISHED +3 sus LIB2-103 AS-LIB2-103-primary Appendix N, §6, Grading centralizer census 270 CLAIM PUBLISHED +3 LIB2-104 AS-LIB2-104-primary Appendix Q, §3(i), Bare-quartic gradient 292 CLAIM PUBLISHED LIB2-105 AS-LIB2-105-primary Appendix Q, §3(ii), Polarization obstruction 292 CLAIM PUBLISHED +2 LIB2-106 AS-LIB2-106-primary Appendix O, §5, Remark 5.2: single-chi test 276 CLAIM PUBLISHED +2 LIB2-107 AS-LIB2-107-primary Appendix I, §8, Lemma 8.3: signed-residue 222 CLAIM PUBLISHED +3 range LIB2-108 AS-LIB2-108-primary Paper 1, §6, Status under the explicit B-map 29 CLAIM PUBLISHED LIB2-109 AS-LIB2-109-primary Paper 1, §8, Local anomaly sums 30 CLAIM PUBLISHED +4 LIB2-110 AS-LIB2-110-primary Appendix K, §2.1, Theorem 2.1: trilinear 239 CLAIM PUBLISHED +2 LIB2-111 AS-LIB2-111-primary Appendix K, §1, Positive Yukawa statement 238 CLAIM PUBLISHED LIB2-112 AS-LIB2-112-primary Appendix K, §3.2, Half-norm mirror leakage 240 CLAIM PUBLISHED +2 LIB2-113 AS-LIB2-113-primary Appendix K, §3.3, Reynolds-forced equal 241 CLAIM PUBLISHED weights LIB2-114 AS-LIB2-114-primary Appendix K, §3.4, Candidate-compensator 241 CLAIM PUBLISHED sweep LIB2-115 AS-LIB2-115-primary Appendix K, §3.5, Incidence rank 242 CLAIM PUBLISHED +2 LIB2-116 AS-LIB2-116-primary Appendix K, §3.5, Running setup 242 CLAIM PUBLISHED LIB2-117 AS-LIB2-117-primary Appendix K, §3.6, Edge-uniform metrics 242 CLAIM PUBLISHED +3 LIB2-118 AS-LIB2-118-primary Appendix K, §1, Negative conclusion 238 CLAIM PUBLISHED LIB2-119 AS-LIB2-119-primary Appendix A, §A.6, W01: internal carrier result 145 CLAIM PUBLISHED LIB2-120 AS-LIB2-120-primary Appendix A, §A.6, W01: declared attachment 145 CLAIM PUBLISHED +2 47 ===== PDF PAGE 427 / 433 ===== Record Assertion Component / section p. Class State LIB2-121 AS-LIB2-121-primary Appendix X, Table 4, Top row 354 CLAIM PUBLISHED +2 LIB2-122 AS-LIB2-122-primary Paper 2, §3.2, Ratio typing 34 CLAIM PUBLISHED +3 LIB2-123 AS-LIB2-123-primary Paper 2, §3.2, Required coefficient 35 CLAIM PUBLISHED +2 LIB2-124 AS-LIB2-124-primary Appendix X, Table 4, Named operational an- 355 CLAIM PUBLISHED +2 chors LIB2-125 AS-LIB2-125-primary Paper 2, §3.2, Tau anchor 34 CLAIM PUBLISHED +2 LIB2-126 AS-LIB2-126-primary Paper 2, §3.2, Step (3): physical mass 35 CLAIM PUBLISHED +3 LIB2-127 AS-LIB2-127-primary Paper 2, §3.2, External Koide premise 36 CLAIM PUBLISHED LIB2-128 AS-LIB2-128-primary Paper 2, §3.4, Equation (19): constituent rela- 36 CLAIM PUBLISHED tion LIB2-129 AS-LIB2-129-primary Paper 2, §3.4, Casimir and geometric-mean pre- 36 CLAIM PUBLISHED scription LIB2-130 AS-LIB2-130-primary Paper 2, §3.6, Bottom comparison and status 38 CLAIM PUBLISHED +2 rule LIB2-131 AS-LIB2-131-primary Paper 2, §3.6, Charm offset and comparator 38 CLAIM PUBLISHED +2 LIB2-132 AS-LIB2-132-primary Paper 2, §3.6, Heavy-quark RG/matching audit 39 CLAIM PUBLISHED LIB2-133 AS-LIB2-133-primary Appendix O, §5, Outer-mirror operator 275 CLAIM PUBLISHED LIB2-134 AS-LIB2-134-primary Paper 5, §2, Literal mass reading 84 CLAIM PUBLISHED +2 LIB2-135 AS-LIB2-135-primary Appendix I, §6, Proposition 6.3: trace and. . . 218 CLAIM PUBLISHED +2 LIB2-136 AS-LIB2-136-primary Appendix I, §6, Proposition 6.2: baryonic tensor 218 CLAIM PUBLISHED LIB2-137 AS-LIB2-137-primary Appendix I, §6, Remark 6.4(i): spectral back- 219 CLAIM PUBLISHED +2 ground LIB2-138 AS-LIB2-138-primary Appendix X, §4.3, Collapse to the scalar line 373 CLAIM PUBLISHED +3 LIB2-139 AS-LIB2-139-primary Paper 2, §3.5, Declared ultraviolet boundary 37 CLAIM PUBLISHED LIB2-140 AS-LIB2-140-primary Paper 5, §2, Two readings, one family: selected 84 CLAIM IN_REVIEW +3 rung LIB2-141 AS-LIB2-141-primary Paper 5, §2, Post-hoc depth rule 84 CLAIM PUBLISHED +3 LIB2-142 AS-LIB2-142-primary Paper 5, §2, Boundary corollaries 85 CLAIM PUBLISHED +3 LIB2-143 AS-LIB2-143-primary Paper 9, §2.1, The exhibited functor 130 CLAIM PUBLISHED +3 LIB2-144 AS-LIB2-144-primary Paper 9, §1, Weight and interface distinction 130 CLAIM PUBLISHED +4 LIB2-145 AS-LIB2-145-primary Paper 9, §3, Small-nucleus freedom audit 132 CLAIM PUBLISHED +6 LIB2-146 AS-LIB2-146-primary Paper 9, §4, Theorem 4.1: A = 5 gap 132 CLAIM PUBLISHED +4 LIB2-147 AS-LIB2-147-primary Paper 9, §4, Theorem 4.2: leading two-alpha 132 CLAIM PUBLISHED +3 relation LIB2-148 AS-LIB2-148-primary Paper 9, §6, Equation (3): trace ladder 133 CLAIM PUBLISHED LIB2-149 AS-LIB2-149-primary Paper 9, §6, Pentagon residual trace 133 CLAIM PUBLISHED +3 LIB2-150 AS-LIB2-150-primary Paper 9, §6, Remark 6.1: pentagon vault value 134 CLAIM PUBLISHED LIB2-151 AS-LIB2-151-primary Paper 9, §6, Remark 6.1: ninth-weight vault 134 CLAIM PUBLISHED LIB2-152 AS-LIB2-152-primary Paper 9, §7, Frozen Hoyle bar 134 CLAIM PUBLISHED +2 LIB2-153 AS-LIB2-153-primary Paper 9, §8, Ledger aggregate 135 CLAIM PUBLISHED +3 LIB2-154 AS-LIB2-154-primary Paper 9, §9, Original bar and residual 136 CLAIM PUBLISHED +5 LIB2-155 AS-LIB2-155-primary Paper 9, §9, Charge-magnitude defects 137 CLAIM PUBLISHED +3 LIB2-156 AS-LIB2-156-primary Paper 9, §9, Direct annular second-moment at- 136 CLAIM PUBLISHED +3 tachment LIB2-157 AS-LIB2-157-primary Paper 9, §9, Ribbon full-twist obstruction 136 CLAIM PUBLISHED LIB2-158 AS-LIB2-158-primary Paper 9, §9, Perturbative annular disposition 136 CLAIM PUBLISHED +2 48 ===== PDF PAGE 428 / 433 ===== Record Assertion Component / section p. Class State LIB2-159 AS-LIB2-159-primary Paper 9, §9, Separate readout campaign 137 CLAIM PUBLISHED +5 LIB2-160 AS-LIB2-160-primary Paper 9, §9, Isospin coefficient 138 CLAIM PUBLISHED +4 LIB2-161 AS-LIB2-161-primary Paper 9, §9, Registered up–down operation 138 CLAIM PUBLISHED +4 LIB2-162 AS-LIB2-162-primary Paper 9, §7, Breathing-kernel typing 134 CLAIM PUBLISHED +3 LIB2-163 AS-LIB2-163-primary Paper 9, §7, Banked baseline ruling 134 CLAIM IN_REVIEW +2 LIB2-164 AS-LIB2-164-primary Paper 9, Table 1, Glueball pair 135 CLAIM PUBLISHED +2 LIB2-165 AS-LIB2-165-primary Appendix E, §8, First finite OS subgate 178 CLAIM PUBLISHED +2 LIB2-166 AS-LIB2-166-primary Appendix E, §8, Toy resolvent checkpoint 178 CLAIM PUBLISHED LIB2-167 AS-LIB2-167-primary Appendix X, §3.5, No-energy-order fence 371 CLAIM PUBLISHED +4 LIB2-168 AS-LIB2-168-primary Appendix T, §5, Named datum 5.4: candidate 320 CLAIM PUBLISHED +2 action LIB2-169 AS-LIB2-169-primary Appendix T, §6, Theorem 6.7: conformal-mode 321 CLAIM IN_REVIEW obstruction LIB2-170 AS-LIB2-170-primary Appendix T, §7, Named datum 7.1: finite state 321 CLAIM PUBLISHED +3 LIB2-171 AS-LIB2-171-primary Appendix T, §7, Theorem 7.3: representation 322 CLAIM PUBLISHED and. . . LIB2-172 AS-LIB2-172-primary Appendix T, §7, Proposition 7.4: positive com- 322 CLAIM PUBLISHED +2 pletion cone LIB2-173 AS-LIB2-173-primary Appendix T, §10, Theorem 10.1: half-log score 326 CLAIM PUBLISHED LIB2-174 AS-LIB2-174-primary Appendix T, §10, Named datum 10.7: composite 327 CLAIM PUBLISHED +2 and premises LIB2-175 AS-LIB2-175-primary Appendix T, §11, Theorem 11.2: partial isome- 328 CLAIM PUBLISHED +4 try LIB2-176 AS-LIB2-176-primary Appendix T, §12, Theorem 12.1: record isome- 329 CLAIM PUBLISHED +3 try LIB2-177 AS-LIB2-177-primary Appendix T, §12, Actuality status split 329 CLAIM PUBLISHED +2 LIB2-178 AS-LIB2-178-primary Appendix T, §15.1, Dated face-2 amendment 333 CLAIM PUBLISHED +2 LIB2-179 AS-LIB2-179-primary Appendix T, §15.2, Invariant scalar-row attempt 334 CLAIM PUBLISHED LIB2-180 AS-LIB2-180-primary Appendix T, §15.2, Grading character 334 CLAIM PUBLISHED +2 LIB2-181 AS-LIB2-181-primary Appendix T, §15.2, Source-intertwiner space 334 CLAIM PUBLISHED +3 and. . . LIB2-182 AS-LIB2-182-primary Appendix T, §15.3, Record-quotient channel 334 CLAIM PUBLISHED +3 existence LIB2-183 AS-LIB2-183-primary Appendix T, §15.3, Reversal-covariant score sol- 334 CLAIM PUBLISHED +2 der LIB2-184 AS-LIB2-184-primary Appendix T, §15.3, Normalization-census result 334 CLAIM PUBLISHED +4 LIB2-185 AS-LIB2-185-primary Appendix T, §15.3, Ambient extension and tier- 334 CLAIM PUBLISHED +2 local. . . LIB2-186 AS-LIB2-186-primary Appendix T, §15.4, Grade-four response premise 335 CLAIM PUBLISHED +3 LIB2-187 AS-LIB2-187-primary Appendix T, §15.4, Unit-response isometry al- 335 CLAIM PUBLISHED +3 ternative LIB2-188 AS-LIB2-188-primary Appendix T, §7, Proposition 7.5: free determi- 322 CLAIM PUBLISHED nant LIB2-189 AS-LIB2-189-primary Appendix T, §8, Proposition 8.5: nonlinear re- 324 CLAIM PUBLISHED +2 flection. . . LIB2-190 AS-LIB2-190-primary Appendix T, §8, Proposition 8.5: positive- 324 CLAIM IN_REVIEW path. . . LIB2-191 AS-LIB2-191-primary Appendix T, §8, Theorem 8.6: linear-projector 324 CLAIM PUBLISHED obstruction LIB2-192 AS-LIB2-192-primary Appendix T, §8, Theorem 8.6: nonlinear sim- 324 CLAIM IN_REVIEW +2 plicity measure LIB2-193 AS-LIB2-193-primary Appendix T, §11, Proposition 11.3: one- 328 CLAIM PUBLISHED +6 particle. . . 49 ===== PDF PAGE 429 / 433 ===== Record Assertion Component / section p. Class State LIB2-194 AS-LIB2-194-primary Appendix T, §14.1, Isotropy for every carrier 331 CLAIM PUBLISHED +2 map LIB2-195 AS-LIB2-195-primary Appendix T, §14.2, Braid representation and 331 CLAIM PUBLISHED +4 centre LIB2-196 AS-LIB2-196-primary Appendix Q, §1, Proposition 1.1: complete clas- 291 CLAIM PUBLISHED sical. . . LIB2-197 AS-LIB2-197-primary Paper 1, §9, Theorem 9.1: congruence closure 30 CLAIM PUBLISHED +2 LIB2-198 AS-LIB2-198-primary Paper 4, §12, A1472 correction: loaded scalar 81 CLAIM PUBLISHED +2 spectrum LIB2-199 AS-LIB2-199-primary Paper 4, §7, Structural rather than completed. . . 77 CLAIM PUBLISHED +2 LIB2-200 AS-LIB2-200-primary Paper 4, §7, AX6 polarization postulate 77 CLAIM PUBLISHED +2 LIB2-201 AS-LIB2-201-primary Paper 8, §4, Moment-ledger model and parking 126 CLAIM PUBLISHED +4 decision LIB2-202 AS-LIB2-202-primary Paper 8, §4, Time-silence dimensional obstruc- 126 CLAIM PUBLISHED tion LIB2-203 AS-LIB2-203-primary Paper 8, §4, External time-axis splice 126 CLAIM PUBLISHED +2 LIB2-204 AS-LIB2-204-primary Paper 5, §2, Named splitting data beside the 84 COMPARATOR PUBLISHED +2 literal. . . LIB2-205 AS-LIB2-205-primary Paper 5, §2, Named atmospheric splitting beside 84 COMPARATOR PUBLISHED the. . . LIB2-206 AS-LIB2-206-primary —, — — COMPARATOR IN_REVIEW LIB2-207 AS-LIB2-207-primary Paper 5, §2, Cosmology comparator in the. . . 85 COMPARATOR PUBLISHED +2 LIB2-208 AS-LIB2-208-primary Paper 5, §2, Frequentist-constrained cosmology 85 COMPARATOR PUBLISHED +2 bound LIB2-209 AS-LIB2-209-primary Paper 4, §7, Three distinct electroweak scheme 76 COMPARATOR PUBLISHED objects LIB2-210 AS-LIB2-210-primary —, — — COMPARATOR IN_REVIEW LIB2-211 AS-LIB2-211-primary —, — — COMPARATOR IN_REVIEW LIB2-212 AS-LIB2-212-primary Paper 3, §2.1, Comparator refresh: global-fit 50 COMPARATOR PUBLISHED Dirac phase LIB2-213 AS-LIB2-213-primary Paper 3, Candidate Construction 2.1, Experi- 54 COMPARATOR PUBLISHED mental. . . LIB2-214 AS-LIB2-214-primary Paper 3, §2, Named comparator for the cor- 49 COMPARATOR PUBLISHED rected. . . LIB2-215 AS-LIB2-215-primary Paper 3, §2, Named Vub comparator 48 COMPARATOR PUBLISHED LIB2-216 AS-LIB2-216-primary Paper 3, §2.1, Comparator refresh: Vcb 50 COMPARATOR PUBLISHED LIB2-217 AS-LIB2-217-primary Paper 3, §2, Vud comparator supplied in the 49 COMPARATOR PUBLISHED suite LIB2-218 AS-LIB2-218-primary Paper 2, §3.6, Charm MS-bar comparator 38 COMPARATOR PUBLISHED and. . . LIB2-219 AS-LIB2-219-primary Paper 2, §3.6, Bottom MS-bar comparator 38 COMPARATOR PUBLISHED and. . . LIB2-220 AS-LIB2-220-primary Appendix X, Honest precision summary, top- 345 COMPARATOR PUBLISHED +2 quark comparator LIB2-221 AS-LIB2-221-primary Paper 2, §3.2, Equation (16): external tau an- 34 COMPARATOR PUBLISHED chor LIB2-222 AS-LIB2-222-primary Paper 3, §2.1, Comparator refresh: two presen- 50 COMPARATOR PUBLISHED tations. . . LIB2-223 AS-LIB2-223-primary Paper 3, §2.1, Comparator refresh: direct UT 50 COMPARATOR PUBLISHED angle LIB2-224 AS-LIB2-224-primary Paper 4, §7, Three distinct electroweak 76 COMPARATOR PUBLISHED scheme. . . LIB2-225 AS-LIB2-225-primary Paper 4, §7, Three distinct electroweak 76 COMPARATOR PUBLISHED scheme. . . LIB2-226 AS-LIB2-226-primary Paper 5, §2, Precision and structural status: 83 COMPARATOR PUBLISHED named. . . LIB2-227 AS-LIB2-227-primary Paper 5, §2.1, Framework versus NuFIT com- 86 COMPARATOR PUBLISHED parison:. . . LIB2-228 AS-LIB2-228-primary Paper 5, §2.1, Reactor comparison box: de- 87 COMPARATOR PUBLISHED +2 gree. . . LIB2-229 AS-LIB2-229-primary Appendix G, §6, Fences and language, item 195 COMPARATOR PUBLISHED +2 (4):. . . 50 ===== PDF PAGE 430 / 433 ===== Record Assertion Component / section p. Class State LIB2-230 AS-LIB2-230-primary Paper 3, §2.1, Comparator refresh: historical 50 COMPARATOR PUBLISHED +2 Vcb value LIB2-231 AS-LIB2-231-primary Paper 3, §2.1, Comparator refresh: historical 50 COMPARATOR PUBLISHED +2 Vub value LIB2-232 AS-LIB2-232-primary Paper 3, Candidate Construction 2.1, Experi- 54 COMPARATOR PUBLISHED mental. . . LIB2-233 AS-LIB2-233-primary Paper 0, Claim-language convention, S112 en- 8 RETIRED PUBLISHED forcement rule LIB2-234 AS-LIB2-234-primary Paper 0, Claim-language convention, S112 en- 8 RETIRED PUBLISHED forcement rule LIB2-235 AS-LIB2-235-primary Paper 3, §5.4, Current physical-row tally 63 RETIRED PUBLISHED +2 LIB2-236 AS-LIB2-236-primary Appendix N, §1.1, Retirement of the bounded- 264 RETIRED PUBLISHED domain. . . LIB2-237 AS-LIB2-237-primary Paper 3, §2, Hand-calculated correction with- 49 RETIRED PUBLISHED drawn LIB2-238 AS-LIB2-238-primary Paper 3, §2, Rounded-angle value and its former 49 RETIRED PUBLISHED use LIB2-239 AS-LIB2-239-primary Paper 3, §2, Route-selection provenance 49 RETIRED PUBLISHED +2 LIB2-240 AS-LIB2-240-primary Paper 7, §7, Atmospheric-angle precedent 120 RETIRED PUBLISHED LIB2-241 AS-LIB2-241-primary Appendix N, §6, Retired octant-selection asser- 269 RETIRED PUBLISHED +3 tions LIB2-242 AS-LIB2-242-primary Paper 5, §3, Retained leptonic-phase readout 88 RETIRED IN_REVIEW LIB2-243 AS-LIB2-243-primary Paper 5, §3, Retained leptonic-phase readout 88 RETIRED IN_REVIEW LIB2-244 AS-LIB2-244-primary Paper 5, §3, Retained leptonic-phase readout 88 RETIRED IN_REVIEW +3 LIB2-245 AS-LIB2-245-primary Paper 8, §2, Retired physical use of the. . . 122 RETIRED IN_REVIEW LIB2-246 AS-LIB2-246-primary Paper 8, §4, Historical baryon/meson mass ratio 125 RETIRED PUBLISHED LIB2-247 AS-LIB2-247-primary Paper 2, §3.2, Former proof/parameter classifi- 34 RETIRED PUBLISHED cation. . . LIB2-248 AS-LIB2-248-primary Appendix O, §5, Remark 5.2: withdrawn uni- 276 RETIRED PUBLISHED versal. . . LIB2-249 AS-LIB2-249-primary Paper 4, §7, Two objects formerly named AX6 77 RETIRED PUBLISHED LIB2-250 AS-LIB2-250-primary Appendix A, §A.7, Schur gauge-protection with- 151 RETIRED PUBLISHED drawal LIB2-251 AS-LIB2-251-primary Appendix A, §A.7.8, Generic cross-block con- 153 RETIRED PUBLISHED +2 tainment gap LIB2-252 AS-LIB2-252-primary Appendix B, The T-bridge does not canonicalize 160 RETIRED PUBLISHED the. . . LIB2-253 AS-LIB2-253-primary Appendix B, §B.6, Current phase provenance 160 RETIRED PUBLISHED and. . . LIB2-254 AS-LIB2-254-primary Appendix E, Selection frontier F-SEL(c), with- 178 RETIRED PUBLISHED drawal (a) LIB2-255 AS-LIB2-255-primary Appendix T, §2, Theorem 2.1: two distinct op- 317 RETIRED PUBLISHED erators LIB2-256 AS-LIB2-256-primary Appendix T, §3, Named datum 3.5: corrected 318 RETIRED PUBLISHED object LIB2-257 AS-LIB2-257-primary Appendix T, §3, Remark 3.8: distinct structures 318 RETIRED PUBLISHED LIB2-258 AS-LIB2-258-primary Appendix T, §9 preamble, S253 erratum: wrong- 325 RETIRED PUBLISHED carrier. . . LIB2-259 AS-LIB2-259-primary Appendix X, §1.3, Typed freedom ledger replac- 361 RETIRED PUBLISHED ing the. . . LIB2-260 AS-LIB2-260-primary Appendix S, §8.1, Consequence for the earlier 308 RETIRED PUBLISHED +2 parent. . . LIB2-261 AS-LIB2-261-primary Appendix S, §4, Paired-source replacement 304 RETIRED PUBLISHED LIB2-262 AS-LIB2-262-primary Appendix S, §5, Relative-lift dependence of 306 RETIRED PUBLISHED +2 the. . . LIB2-263 AS-LIB2-263-primary Appendix S, §7, Casualty #7: depth-exclusion 307 RETIRED PUBLISHED cut LIB2-264 AS-LIB2-264-primary Appendix X, §3.3, Promotion-gate construction 368 RETIRED PUBLISHED +2 correction LIB2-265 AS-LIB2-265-primary Paper 2, §3.2, Authoritative charged-lepton at- 36 RETIRED PUBLISHED tribution LIB2-266 AS-LIB2-266-primary Paper 2, §3.2, Authoritative charged-lepton at- 36 RETIRED PUBLISHED tribution LIB2-267 AS-LIB2-267-primary Paper 2, §3.2, External Koide attribution 36 RETIRED PUBLISHED +2 51 ===== PDF PAGE 431 / 433 ===== Record Assertion Component / section p. Class State LIB2-268 AS-LIB2-268-primary Paper 2, §3.2, External tau role in the current 36 RETIRED PUBLISHED +2 chain LIB2-269 AS-LIB2-269-primary Paper 2, §3.2, External tau role in the current 36 RETIRED PUBLISHED chain LIB2-270 AS-LIB2-270-primary Paper 2, §3.6, Current bottom boundary value 38 RETIRED PUBLISHED and offset LIB2-271 AS-LIB2-271-primary Paper 2, §3.6, Current bottom boundary value 38 RETIRED PUBLISHED and offset LIB2-272 AS-LIB2-272-primary Paper 2, §3.6, Current bottom boundary value 38 RETIRED PUBLISHED and offset LIB2-273 AS-LIB2-273-primary Paper 2, §3.6, Current charm boundary value 38 RETIRED PUBLISHED and offset LIB2-274 AS-LIB2-274-primary Paper 2, §3.6, Current charm boundary value 38 RETIRED PUBLISHED and offset LIB2-275 AS-LIB2-275-primary Paper 2, §3.6, Current charm boundary value 38 RETIRED PUBLISHED and offset LIB2-276 AS-LIB2-276-primary Paper 2, §3.6, Current charm boundary value 38 RETIRED PUBLISHED and offset LIB2-277 AS-LIB2-277-primary Paper 7, §7, D4 closed: old ansatz superseded 120 RETIRED IN_REVIEW LIB2-278 AS-LIB2-278-primary Paper 5, §3, Retained leptonic-phase readout 88 RETIRED IN_REVIEW LIB2-279 AS-LIB2-279-primary Paper 5, §3, Retained leptonic-phase readout 88 RETIRED IN_REVIEW LIB2-280 AS-LIB2-280-primary Paper 5, §3, Retained leptonic-phase readout 88 RETIRED IN_REVIEW LIB2-281 AS-LIB2-281-primary Paper 5, §2, Retained reactor-angle expression 83 RETIRED PUBLISHED LIB2-282 AS-LIB2-282-primary Paper 5, §2, Retained reactor-angle expression 83 RETIRED PUBLISHED LIB2-283 AS-LIB2-283-primary Paper 5, §2, Current PMNS angle provenance 83 RETIRED PUBLISHED LIB2-284 AS-LIB2-284-primary Paper 7, §7, Atmospheric-angle precedent 120 RETIRED PUBLISHED LIB2-285 AS-LIB2-285-primary Appendix B, §B.6, Current CKM magnitude 162 RETIRED PUBLISHED provenance LIB2-286 AS-LIB2-286-primary Appendix B, §B.6, Retained Vcb formula 162 RETIRED PUBLISHED LIB2-287 AS-LIB2-287-primary Appendix B, §B.6, Retained Vub hierarchy rela- 162 RETIRED PUBLISHED tion LIB2-288 AS-LIB2-288-primary Appendix B, §B.6, Retained Vcb formula 162 RETIRED PUBLISHED LIB2-289 AS-LIB2-289-primary Paper 4, §7, Current weak-angle target and pre- 77 RETIRED PUBLISHED cision. . . LIB2-290 AS-LIB2-290-primary Paper 4, §7, Current weak-angle target and pre- 77 RETIRED PUBLISHED cision. . . LIB2-291 AS-LIB2-291-primary Paper 4, §7, Current weak-angle target and pre- 77 RETIRED PUBLISHED cision. . . LIB2-292 AS-LIB2-292-primary Paper 4, §7, Current weak-angle target and pre- 77 RETIRED PUBLISHED cision. . . LIB2-293 AS-LIB2-293-primary Paper 3, §2, Kernel-line exact-framework 49 RETIRED PUBLISHED Cabibbo readout LIB2-294 AS-LIB2-294-primary Paper 3, §2, Kernel-line exact-framework 49 RETIRED PUBLISHED Cabibbo readout LIB2-295 AS-LIB2-295-primary Paper 3, §2, Kernel-line exact-framework 49 RETIRED PUBLISHED Cabibbo readout LIB2-296 AS-LIB2-296-primary Appendix I, §6, Remark 6.4: vacuum normaliza- 219 RETIRED PUBLISHED +2 tion. . . LIB2-297 AS-LIB2-297-primary Appendix N, Part N.B, Proposition 2.1: 266 RETIRED PUBLISHED compact-colour. . . LIB2-298 AS-LIB2-298-primary Paper 0, Generation-replication boundary 18 RETIRED PUBLISHED LIB2-299 AS-LIB2-299-primary Appendix X, Registered input: physical one- 352 OPEN IN_REVIEW input condition LIB2-300 AS-LIB2-300-primary Paper 9, Posture: missing continuum object 129 OPEN IN_REVIEW LIB2-301 AS-LIB2-301-primary Appendix T, §8, Theorem 8.6: remaining Ein- 324 OPEN IN_REVIEW stein object LIB2-302 AS-LIB2-302-primary Appendix T, §8, Theorem 8.11: named mass- 325 OPEN IN_REVIEW response map LIB2-303 AS-LIB2-303-primary Paper 9, §9, Reopen class of the six-to-seven- 137 OPEN IN_REVIEW cell. . . LIB2-304 AS-LIB2-304-primary Paper 9, §9, Coherence mechanism is not yet a 137 OPEN IN_REVIEW solution LIB2-305 AS-LIB2-305-primary Paper 9, §9, Isospin sector: unpriced neutron– 138 OPEN IN_REVIEW proton. . . LIB2-306 AS-LIB2-306-primary Paper 9, §9, Open breathing-accounting audit 138 OPEN IN_REVIEW LIB2-307 AS-LIB2-307-primary Appendix T, §7, Proposition 7.5: interacting 322 OPEN IN_REVIEW chiral. . . 52 ===== PDF PAGE 432 / 433 ===== Record Assertion Component / section p. Class State LIB2-308 AS-LIB2-308-primary Appendix N, Part N.E, Atmospheric-octant re- 269 OPEN IN_REVIEW open condition LIB2-309 AS-LIB2-309-primary Appendix N, Part N.E, Typed missing complex- 270 OPEN IN_REVIEW ratio operator LIB2-310 AS-LIB2-310-primary Paper 4, §7, Running-scale and radiative-shift 77 OPEN IN_REVIEW boundary LIB2-311 AS-LIB2-311-primary Appendix I, §8, Amplitude-bridge boundary: 222 OPEN IN_REVIEW surviving. . . LIB2-312 AS-LIB2-312-primary Appendix X, Honest precision summary: miss- 345 OPEN IN_REVIEW ing conversion. . . LIB2-313 AS-LIB2-313-primary Appendix X, Scheme-label declaration: bottom 346 OPEN IN_REVIEW bridge is. . . LIB2-314 AS-LIB2-314-primary Paper 2, §3.6, Missing constituent-to-MS con- 38 OPEN IN_REVIEW version LIB2-315 AS-LIB2-315-primary Appendix B, Lemma B.5 , Conditional readout 159 OPEN IN_REVIEW status LIB2-316 AS-LIB2-316-primary Paper 3, Candidate Construction 2.1, Operator- 54 OPEN IN_REVIEW based. . . LIB2-317 AS-LIB2-317-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-318 AS-LIB2-318-metadata Paper 6, End of the current B-frame discussion; 105 NOT_AN_ENTRY IN_REVIEW +1 distinct. . . LIB2-319 AS-LIB2-319-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-320 AS-LIB2-320-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-321 AS-LIB2-321-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-322 AS-LIB2-322-metadata Paper 0, Two-axis provenance: physical attach- 9 NOT_AN_ENTRY IN_REVIEW +1 ment is. . . LIB2-323 AS-LIB2-323-metadata Appendix E, Three PI rulings printed beside the 177 NOT_AN_ENTRY IN_REVIEW +1 closure,. . . LIB2-324 AS-LIB2-324-metadata Appendix E, Selection-frontier closure and re- 179 NOT_AN_ENTRY IN_REVIEW +1 maining. . . LIB2-325 AS-LIB2-325-metadata Appendix T, §15.5, Intrinsic-basepoint place- 335 NOT_AN_ENTRY IN_REVIEW +1 holder LIB2-326 AS-LIB2-326-metadata Appendix X, Source-ledger and release-artifact 343 NOT_AN_ENTRY IN_REVIEW +1 note LIB2-327 AS-LIB2-327-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-328 AS-LIB2-328-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-329 AS-LIB2-329-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-330 AS-LIB2-330-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-331 AS-LIB2-331-metadata Appendix X, P0-1 audit, The result: real maxi- 369 NOT_AN_ENTRY IN_REVIEW +1 mal isotropy LIB2-332 AS-LIB2-332-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-333 AS-LIB2-333-metadata Paper 1, §3, Roman singular data, not the. . . 26 NOT_AN_ENTRY IN_REVIEW +1 LIB2-334 AS-LIB2-334-metadata Paper 1, §3, Antipodal correspondence and miss- 26 NOT_AN_ENTRY IN_REVIEW +1 ing. . . LIB2-335 AS-LIB2-335-metadata Appendix I, §6, Hadronic scope fence: legacy. . . 220 NOT_AN_ENTRY IN_REVIEW +1 LIB2-336 AS-LIB2-336-metadata Appendix E, §3, Remark 2: conditional role of 171 NOT_AN_ENTRY IN_REVIEW +1 DET-7 LIB2-337 AS-LIB2-337-metadata Appendix A, §A.2, Theorem 0.1:. . . 141 NOT_AN_ENTRY IN_REVIEW +1 LIB2-338 AS-LIB2-338-metadata Appendix T, §4, Remark 4.2: priced AdS branch 319 NOT_AN_ENTRY IN_REVIEW +1 LIB2-339 AS-LIB2-339-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-340 AS-LIB2-340-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-341 AS-LIB2-341-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 53 ===== PDF PAGE 433 / 433 ===== Record Assertion Component / section p. Class State LIB2-342 AS-LIB2-342-metadata Paper 0, Abstract continuation: charge/gauge 2 NOT_AN_ENTRY IN_REVIEW +1 terminal LIB2-343 AS-LIB2-343-metadata Paper 4, §7, Undetermined matching scale 77 NOT_AN_ENTRY IN_REVIEW +1 LIB2-344 AS-LIB2-344-primary Appendix X, Conditional generation-count up- 356 CLAIM PUBLISHED +2 date, s496/s498 LIB2-345 AS-LIB2-345-primary Paper 5, §1, Current comparison basis 83 RETIRED PUBLISHED LIB2-346 AS-LIB2-346-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-347 AS-LIB2-347-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-348 AS-LIB2-348-metadata Appendix A, §A.7.7, Remark 0.13: distinct. . . 152 NOT_AN_ENTRY IN_REVIEW +1 LIB2-349 AS-LIB2-349-metadata Paper 0, §2, Current operational AX3 label 13 NOT_AN_ENTRY IN_REVIEW +1 LIB2-350 AS-LIB2-350-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-351 AS-LIB2-351-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-352 AS-LIB2-352-metadata Paper 8, §4, Historical hadronic source pointers 125 NOT_AN_ENTRY IN_REVIEW +1 LIB2-353 AS-LIB2-353-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 LIB2-354 AS-LIB2-354-metadata Appendix I, §6, Hadronic scope fence: legacy. . . 220 NOT_AN_ENTRY IN_REVIEW +1 LIB2-355 AS-LIB2-355-metadata Paper 8, §3 note, Deliberately library- 124 NOT_AN_ENTRY IN_REVIEW +3 resident. . . LIB2-356 AS-LIB2-356-primary Paper 3, §5.4, Internal mismatch corollary 63 CLAIM PUBLISHED +2 LIB2-357 AS-LIB2-357-metadata —, — — NOT_AN_ENTRY IN_REVIEW +1 Why this belongs in the suite rather than in a private notebook. A theory programme that runs a hundred and fourteen adversarial rounds and prints only the survivors is indistin- guishable, from outside, from one that ran a hundred and fourteen and printed only the flattering ones. The value of this appendix is that it makes the denominator visible: the negatives, the refuted house predictions, the withdrawn headline, the retired axioms, the protocol failures, and the two numbers that died twice. Engine unchanged; no observable moves; nothing here is promoted. 54