Repository navigation

docs: Proven/Witnessed/Trusted ladder; correct believe_me and annotation claims - #344

Merged

hyperpolymath merged 2 commits into

mainfrom

docs/proof-honesty-ladder

Oct 6, 2026

Merged

docs: Proven/Witnessed/Trusted ladder; correct believe_me and annotation claims#344
hyperpolymath merged 2 commits into
mainfrom
docs/proof-honesty-ladder

Commits on Oct 6, 2026
- docs: Proven/Witnessed/Trusted ladder; correct believe_me and hint claims
  
  hyperpolymath
  and
  claude
  committed
  44cbd3b
- docs: link the typecheck caveat to #343
  
  hyperpolymath
  and
  claude
  committed
  e747484