Repository navigation

fix(checker): replay what the kernel proves in user programs - #215

Merged

the-homeless-god merged 7 commits into

devfrom

a/4573-checker-reads-module-types-and-dependency-sets

Oct 1, 2026

Merged

fix(checker): replay what the kernel proves in user programs#215
the-homeless-god merged 7 commits into
devfrom
a/4573-checker-reads-module-types-and-dependency-sets

Commits on Oct 1, 2026
- fix(checker): replay what the kernel proves in user programs
  
  the-homeless-god
  and
  claude
  committed
  3824e3e
- docs(tasks): record task 2748 results and its print batch entry
  
  the-homeless-god
  and
  claude
  committed
  e8a9d3d
- fix(checker): read module types and dependency sets as the linker does
  
  the-homeless-god
  and
  claude
  committed
  db7159c
- chore(numbers): sync counts, ledger lines and file name words
  
  the-homeless-god
  and
  claude
  committed
  c86b63a
- chore(numbers): sync counts after rebase and raise the probe ratchet
  
  the-homeless-god
  and
  claude
  committed
  b04c20b
- docs(site): name 288 theorems after the new probes
  
  the-homeless-god
  and
  claude
  committed
  043076e
- chore(numbers): sync measured counts after rebase
  
  the-homeless-god
  and
  claude
  committed
  be7b87e