# Correction ledger for *The Verdict as Axiom* v1.6

**Status:** final-release-candidate corrections applied after the final Claude Code review stage.  
**Rule:** no mathematical or technical audit was rerun. Frozen scripts, outputs, and review originals remain identified by their original hashes.

| Item | v1.5 state | v1.6 correction | Evidentiary effect |
|---|---|---|---|
| `MoonUnit97` first-comment timing | Said nineteen seconds after account creation | Corrected to earliest surviving comment 5 h 10 m 23 s after creation; deleted earlier comments cannot be excluded | Correction adverse to the paper's earlier detail; same-day-new and controversy-confinement findings remain |
| X-to-HN relay | Approximately six minutes from screenshots | Added snowflake/timestamp calculation of 5.4 minutes | Strengthens the separate synchronization datum |
| Exact-arithmetic output | Editorially relabeled block introduced as “the script obtained” | Restored verbatim captured output and disclosed that frozen labels retain the retracted overbar interpretation | Applies the paper's receipt standard to its own artifact |
| Overbar interpretation | Paper retracted the “bar is typo” claim, but frozen script comments still said it | Explicitly records that the artifact was frozen before the retraction and was not rewritten or rerun | Preserves original evidence rather than laundering the correction into the receipt |
| Ioana `(diamond)` | Called a nearby displayed “summary” | Corrected to “displayed assumption `(diamond)`” | Citation precision only |
| Cartan/full-image point | Explained as a quantifier mismatch | Added Nielsen's own full-image Case (II) formulation before the switch to Cartan verification | Strengthens the source-level argument |
| Component injectivity | Trace mismatch showed circularity | Added uniqueness-of-trace closure for unital normal maps of II1 factors | Closes the visible non-trace-preserving escape |
| Coarse correspondence | Universal containment rejected via amenability | Added the internal contradiction in Nielsen's own paragraph | Additional source-internal support |
| B2 Stage 22 wording | “Independent verification” could imply an independent party | Clarified same-host, separate-program and separate-stage meaning | Prevents status inflation |
| Versions 18, 22, 46 | Transition claims stated without a distribution boundary | Identified them as Codex-inventory/documentary claims; direct S1 endpoint objects are v17, v47, and v50 | Aligns reader-operability claims with the actual public packet |
| Falsifier 14 | Archive hash and manifest verification labeled fully public hard falsifier | Split public report/receipt testing from the retained-archive documentary limb | Makes falsifiability operable at the stated access level |
| Falsifier 12 | Screenshot “inauthenticity” phrased as broadly public | Reframed around alteration or material misreading of the frozen image object | Keeps a public artifact-level test without pretending platform records are supplied |
| “Confabulated paper” | Structural definition excluded intent but lacked an explicit clinical disclaimer at first definition | Added NIST generative-AI sense and explicit nonclinical/nonpsychiatric boundary | Preserves the term while preventing person-level diagnostic reading |
| `pdftotext` digest | Presented without tool-version caveat | Added Poppler/tool-version dependency; controlling claim is within-toolchain text identity | Prevents false discrepancy from renderer variation |
| Review status | Final Claude review pending | Integrated Sonnet review of record and deliberate Fable/Opus verdict-exposed probes | Closes the review cycle without manufacturing consensus |
| Review intent | Opus described prior-verdict exposure as operator error | Final lineage records that exposure was deliberate, while preserving its non-clean-context status | Corrects intent without erasing protocol deviation |
| Public screenshot privacy | Raw `1000188521.jpg` contained unrelated third-party material | Public S1 uses a cropped derivative; original digest retained privately and documented | Removes irrelevant third-party exposure |