# Measured runs (exit codes are the real ones)

run timestamp (UTC): 2026-10-25T22:55:08Z

## 1. offline verifier -- `python3 verify_ledger.py`
```
verifying ledger at /root/.hermes/wizard-outputs/sphinx/archive-lcmm-token-ledger-2026-10-26
  [PASS] A1 ledger.json present and parses
  [PASS] A2 schema tag -- sphinx.lcmm-token-ledger/1
  [PASS] A3 n_entries matches list length -- 15 vs 15
  [PASS] A4 at least 10 entries -- 15
  [PASS] A5 manifest.json present
  [PASS] A6 REPORT.md present
  [PASS] B1 ids unique
  [PASS] B2 ids canonical (NNNN.NNNNNvN)
  [PASS] B3 roles from allowed set
  [PASS] B4 >=4 distinct roles (not a one-trick ledger) -- ['benchmark_input_lengths', 'evaluated_input_length', 'method_context_window', 'model_context_window', 'scaling_claim', 'training_length']
  [PASS] B5 >=5 model_context_window entries
  [PASS] B6 claim_note non-empty everywhere
  [PASS] C1 pinned Atom XML present
  [PASS] C:2410.07073v2 pinned source hashes
  [PASS] D:2410.07073v2 claim sentence verbatim in pinned abstract
  [PASS] E:2410.07073v2 figure inside claim sentence
  [PASS] E:2410.07073v2 parsed figure == context_tokens -- 128000 vs 128000
  [PASS] E:2410.07073v2 context >= 32000 tokens (32K) -- 128000
  [PASS] F:2410.07073v2 title matches Atom
  [PASS] F:2410.07073v2 published matches Atom -- 2024-10-09T17:16:22Z
  [PASS] F:2410.07073v2 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2410.07073v2 version matches Atom id URL
  [PASS] G:2410.07073v2 claim verbatim on pinned abs page
  [PASS] C:2412.09616v2 pinned source hashes
  [PASS] D:2412.09616v2 claim sentence verbatim in pinned abstract
  [PASS] E:2412.09616v2 figure inside claim sentence
  [PASS] E:2412.09616v2 parsed figure == context_tokens -- 1000000 vs 1000000
  [PASS] E:2412.09616v2 context >= 32000 tokens (32K) -- 1000000
  [PASS] F:2412.09616v2 title matches Atom
  [PASS] F:2412.09616v2 published matches Atom -- 2024-12-12T18:59:46Z
  [PASS] F:2412.09616v2 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2412.09616v2 version matches Atom id URL
  [PASS] G:2412.09616v2 claim verbatim on pinned abs page
  [PASS] C:2502.05177v3 pinned source hashes
  [PASS] D:2502.05177v3 claim sentence verbatim in pinned abstract
  [PASS] E:2502.05177v3 figure inside claim sentence
  [PASS] E:2502.05177v3 parsed figure == context_tokens -- 1000000 vs 1000000
  [PASS] E:2502.05177v3 context >= 32000 tokens (32K) -- 1000000
  [PASS] F:2502.05177v3 title matches Atom
  [PASS] F:2502.05177v3 published matches Atom -- 2025-02-07T18:59:56Z
  [PASS] F:2502.05177v3 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2502.05177v3 version matches Atom id URL
  [PASS] G:2502.05177v3 claim verbatim on pinned abs page
  [PASS] C:2504.16083v2 pinned source hashes
  [PASS] D:2504.16083v2 claim sentence verbatim in pinned abstract
  [PASS] E:2504.16083v2 figure inside claim sentence
  [PASS] E:2504.16083v2 parsed figure == context_tokens -- 1000000 vs 1000000
  [PASS] E:2504.16083v2 context >= 32000 tokens (32K) -- 1000000
  [PASS] F:2504.16083v2 title matches Atom
  [PASS] F:2504.16083v2 published matches Atom -- 2025-04-22T17:59:51Z
  [PASS] F:2504.16083v2 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2504.16083v2 version matches Atom id URL
  [PASS] G:2504.16083v2 claim verbatim on pinned abs page
  [PASS] C:2505.10610v3 pinned source hashes
  [PASS] D:2505.10610v3 claim sentence verbatim in pinned abstract
  [PASS] E:2505.10610v3 figure inside claim sentence
  [PASS] E:2505.10610v3 parsed figure == context_tokens -- 128000 vs 128000
  [PASS] E:2505.10610v3 context >= 32000 tokens (32K) -- 128000
  [PASS] F:2505.10610v3 title matches Atom
  [PASS] F:2505.10610v3 published matches Atom -- 2025-05-15T17:52:54Z
  [PASS] F:2505.10610v3 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2505.10610v3 version matches Atom id URL
  [PASS] G:2505.10610v3 claim verbatim on pinned abs page
  [PASS] C:2507.01006v6 pinned source hashes
  [PASS] D:2507.01006v6 claim sentence verbatim in pinned abstract
  [PASS] E:2507.01006v6 figure inside claim sentence
  [PASS] E:2507.01006v6 parsed figure == context_tokens -- 128000 vs 128000
  [PASS] E:2507.01006v6 context >= 32000 tokens (32K) -- 128000
  [PASS] F:2507.01006v6 title matches Atom
  [PASS] F:2507.01006v6 published matches Atom -- 2025-07-01T17:55:04Z
  [PASS] F:2507.01006v6 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2507.01006v6 version matches Atom id URL
  [PASS] G:2507.01006v6 claim verbatim on pinned abs page
  [PASS] C:2507.02001v1 pinned source hashes
  [PASS] D:2507.02001v1 claim sentence verbatim in pinned abstract
  [PASS] E:2507.02001v1 figure inside claim sentence
  [PASS] E:2507.02001v1 parsed figure == context_tokens -- 32000 vs 32000
  [PASS] E:2507.02001v1 context >= 32000 tokens (32K) -- 32000
  [PASS] F:2507.02001v1 title matches Atom
  [PASS] F:2507.02001v1 published matches Atom -- 2025-07-01T18:39:26Z
  [PASS] F:2507.02001v1 primary_category matches Atom -- cs.LG vs cs.LG
  [PASS] F:2507.02001v1 version matches Atom id URL
  [PASS] G:2507.02001v1 claim verbatim on pinned abs page
  [PASS] C:2510.13276v2 pinned source hashes
  [PASS] D:2510.13276v2 claim sentence verbatim in pinned abstract
  [PASS] E:2510.13276v2 figure inside claim sentence
  [PASS] E:2510.13276v2 parsed figure == context_tokens -- 128000 vs 128000
  [PASS] E:2510.13276v2 context >= 32000 tokens (32K) -- 128000
  [PASS] F:2510.13276v2 title matches Atom
  [PASS] F:2510.13276v2 published matches Atom -- 2025-10-15T08:22:03Z
  [PASS] F:2510.13276v2 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2510.13276v2 version matches Atom id URL
  [PASS] G:2510.13276v2 claim verbatim on pinned abs page
  [PASS] C:2511.21631v2 pinned source hashes
  [PASS] D:2511.21631v2 claim sentence verbatim in pinned abstract
  [PASS] E:2511.21631v2 figure inside claim sentence
  [PASS] E:2511.21631v2 parsed figure == context_tokens -- 256000 vs 256000
  [PASS] E:2511.21631v2 context >= 32000 tokens (32K) -- 256000
  [PASS] F:2511.21631v2 title matches Atom
  [PASS] F:2511.21631v2 published matches Atom -- 2025-11-26T17:59:08Z
  [PASS] F:2511.21631v2 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2511.21631v2 version matches Atom id URL
  [PASS] G:2511.21631v2 claim verbatim on pinned abs page
  [PASS] C:2602.00746v1 pinned source hashes
  [PASS] D:2602.00746v1 claim sentence verbatim in pinned abstract
  [PASS] E:2602.00746v1 figure inside claim sentence
  [PASS] E:2602.00746v1 parsed figure == context_tokens -- 1000000 vs 1000000
  [PASS] E:2602.00746v1 context >= 32000 tokens (32K) -- 1000000
  [PASS] F:2602.00746v1 title matches Atom
  [PASS] F:2602.00746v1 published matches Atom -- 2026-01-31T14:23:51Z
  [PASS] F:2602.00746v1 primary_category matches Atom -- cs.SE vs cs.SE
  [PASS] F:2602.00746v1 version matches Atom id URL
  [PASS] G:2602.00746v1 claim verbatim on pinned abs page
  [PASS] C:2604.08644v1 pinned source hashes
  [PASS] D:2604.08644v1 claim sentence verbatim in pinned abstract
  [PASS] E:2604.08644v1 figure inside claim sentence
  [PASS] E:2604.08644v1 parsed figure == context_tokens -- 256000 vs 256000
  [PASS] E:2604.08644v1 context >= 32000 tokens (32K) -- 256000
  [PASS] F:2604.08644v1 title matches Atom
  [PASS] F:2604.08644v1 published matches Atom -- 2026-04-09T17:51:11Z
  [PASS] F:2604.08644v1 primary_category matches Atom -- cs.CL vs cs.CL
  [PASS] F:2604.08644v1 version matches Atom id URL
  [PASS] G:2604.08644v1 claim verbatim on pinned abs page
  [PASS] C:2605.14906v1 pinned source hashes
  [PASS] D:2605.14906v1 claim sentence verbatim in pinned abstract
  [PASS] E:2605.14906v1 figure inside claim sentence
  [PASS] E:2605.14906v1 parsed figure == context_tokens -- 256000 vs 256000
  [PASS] E:2605.14906v1 context >= 32000 tokens (32K) -- 256000
  [PASS] F:2605.14906v1 title matches Atom
  [PASS] F:2605.14906v1 published matches Atom -- 2026-05-14T14:41:17Z
  [PASS] F:2605.14906v1 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2605.14906v1 version matches Atom id URL
  [PASS] G:2605.14906v1 claim verbatim on pinned abs page
  [PASS] C:2608.08630v1 pinned source hashes
  [PASS] D:2608.08630v1 claim sentence verbatim in pinned abstract
  [PASS] E:2608.08630v1 figure inside claim sentence
  [PASS] E:2608.08630v1 parsed figure == context_tokens -- 120000 vs 120000
  [PASS] E:2608.08630v1 context >= 32000 tokens (32K) -- 120000
  [PASS] F:2608.08630v1 title matches Atom
  [PASS] F:2608.08630v1 published matches Atom -- 2026-08-09T10:31:03Z
  [PASS] F:2608.08630v1 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2608.08630v1 version matches Atom id URL
  [PASS] G:2608.08630v1 claim verbatim on pinned abs page
  [PASS] C:2610.15542v1 pinned source hashes
  [PASS] D:2610.15542v1 claim sentence verbatim in pinned abstract
  [PASS] E:2610.15542v1 figure inside claim sentence
  [PASS] E:2610.15542v1 parsed figure == context_tokens -- 262144 vs 262144
  [PASS] E:2610.15542v1 context >= 32000 tokens (32K) -- 262144
  [PASS] F:2610.15542v1 title matches Atom
  [PASS] F:2610.15542v1 published matches Atom -- 2026-10-11T11:34:43Z
  [PASS] F:2610.15542v1 primary_category matches Atom -- cs.CL vs cs.CL
  [PASS] F:2610.15542v1 version matches Atom id URL
  [PASS] G:2610.15542v1 claim verbatim on pinned abs page
  [PASS] C:2607.14548v1 pinned source hashes
  [PASS] D:2607.14548v1 claim sentence verbatim in pinned abstract
  [PASS] E:2607.14548v1 figure inside claim sentence
  [PASS] E:2607.14548v1 parsed figure == context_tokens -- 32000 vs 32000
  [PASS] E:2607.14548v1 context >= 32000 tokens (32K) -- 32000
  [PASS] F:2607.14548v1 title matches Atom
  [PASS] F:2607.14548v1 published matches Atom -- 2026-07-16T04:12:42Z
  [PASS] F:2607.14548v1 primary_category matches Atom -- cs.CV vs cs.CV
  [PASS] F:2607.14548v1 version matches Atom id URL
  [PASS] G:2607.14548v1 claim verbatim on pinned abs page
  [PASS] G-all abs pages carry their claim -- 15/15 pages checked
  [PASS] H1 REPORT.md cites every arxiv id -- missing []
  [PASS] H2 REPORT.md cites every context figure -- missing []
  [PASS] H3 REPORT.md cites every token count -- missing []
  [PASS] I1 manifest covers every file -- unlisted=[] extra=[]
  [PASS] I2 manifest hashes match bytes -- mismatch []

169 passed, 0 failed, 169 checks
VERDICT: LEDGER HOLDS
```

## 2. falsifiability harness -- `python3 mutation_battery.py`
```
scratch: /root/.hermes/profiles/sphinx/cache/scratch/lcmm-mut-b83ud2_l
  [PASS] control (pristine copy must verify) -> rc=0 VERDICT: LEDGER HOLDS
  [PASS] M1 context_tokens inflated by 1 -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M2 title word altered -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M3 claim sentence edited (token -> token!) -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M4 pinned source sha256 flipped -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M5 published date shifted -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M6 primary_category swapped -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M7 entry dropped (n_entries kept in sync) -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M8 bogus claim_role -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M9 REPORT.md citation removed -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M10 pinned abs page bytes tampered -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M11 manifest entry deleted -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M12 manifest hash stale -> rc=1 VERDICT: LEDGER BROKEN
  [PASS] M13 claim_note emptied (honesty field) -> rc=1 VERDICT: LEDGER BROKEN

13/13 mutations caught
VERDICT: FALSIFIABLE
```

## 3. live re-fetch -- `python3 run_verdict.py` (network; arXiv re-fetched)
```
  [PASS] live Atom bytes identical to pinned (7e2add7e0d3e vs 7e2add7e0d3e)
  claims present live: 15/15
  abs pages identical live: 15/15
  [PASS] all claims present in live abstracts
  [PASS] all abs pages byte-identical live
VERDICT: LIVE ARXIV MATCHES LEDGER
```

## summary

- entries in ledger: 15
- offline checks: 169, all passing (A/B/C/D/E/F/G/H/I groups)
- mutations: 13/13 caught, control copy passed
- live: Atom bytes sha256-identical to the pinned snapshot; 15/15 claim sentences
  present in the live abstracts; 15/15 abstract pages byte-identical

