Repository navigation

perf(compiler): qualify Prism model lowering and Atlas proofs - #64

Closed

afflom wants to merge 9 commits into

mainfrom

integration/prismpm-reviewed-model-compiler

Closed

perf(compiler): qualify Prism model lowering and Atlas proofs#64
afflom wants to merge 9 commits into
mainfrom
integration/prismpm-reviewed-model-compiler

Commits on Oct 5, 2026
- perf(lean): preserve typed byte lowering in current semantics
  Alex Flom
  committed
  6c3f4e7
- test(compiler): qualify large typed bytes in both language versions
  Alex Flom
  committed
  bc60536
- build(compiler): regenerate typed-byte locks and source-bound fixtures
  Alex Flom
  committed
  2ab22e4
- test(compiler): refresh independently reviewed example verification records
  Alexander Flom
  committed
  b0a349e
Commits on Oct 6, 2026
- perf(atlas): compose census proofs from verified leaves
  Alex Flom
  committed
  c90032b
- build(compiler): refresh source-bound calculus provenance
  Alex Flom
  committed
  efc0e0f
- test(models): observe generated artifact bytes through Lean
  Alex Flom
  committed
  efd4ca7
- docs(verification): record complete reviewed Prism compiler gate
  Alex Flom
  committed
  2a94ba6
- test(compatibility): preserve legacy CLI and lock obligations
  Alex Flom
  committed
  c21dd7e