Repository navigation

Make the repo verify end to end: one entry point, real-data checks, sharper README - #71

Merged

jadenfix merged 9 commits into

mainfrom

Oct 18, 2026

Merged

Make the repo verify end to end: one entry point, real-data checks, sharper README#71
jadenfix merged 9 commits into
mainfrom
sharpen

Commits on Oct 18, 2026
- claims: cite a passing test for every non-open claim
  
  jadenfix
  and
  claude
  committed
  d459ae2
- docs: repair escape-damaged LaTeX and drop em dashes
  
  jadenfix
  and
  claude
  committed
  1c9f6fb
- real data: recompute the Delft 2015 Bell statistic and test NIST beacon bits
  
  jadenfix
  and
  claude
  committed
  9f37fb4
- verify: one entry point for every check, on a locked uv environment
  
  jadenfix
  and
  claude
  committed
  09783cc
- readme: state the core result plainly and map results by type
  
  jadenfix
  and
  claude
  committed
  4cb08de
- real data: move the real-data claims to free IDs
  
  jadenfix
  and
  claude
  committed
  6fed364
- verify: validate paper claim ledgers and report them against their tests
  
  jadenfix
  and
  claude
  committed
  99baee3
- docs: drop em dashes from the audit headings
  
  jadenfix
  and
  claude
  committed
  73e6fc7
- readme: map the merged research lanes and the paper ledger
  
  jadenfix
  and
  claude
  committed
  ac8e07d