Repository navigation

Import Pure Nock semantics, trace certificates and fingerprints - #623

Merged

Vilin97 merged 7 commits into

mainfrom

codex/daily-pure-nock-20261009

Oct 9, 2026

Merged

Import Pure Nock semantics, trace certificates and fingerprints#623
Vilin97 merged 7 commits into
mainfrom
codex/daily-pure-nock-20261009

Commits on Oct 9, 2026
- Stage Pure Nock port for measured optimization
  Vilin97
  committed
  91d8641
- Optimize and validate Pure Nock release closure
  Vilin97
  committed
  0afa239
- Restrict denotation monotonicity simplification
  Vilin97
  committed
  35ed847
- Keep recursive evaluator calls folded in cost proofs
  Vilin97
  committed
  a5824ee
- Retain the lower-cost evaluator cost proofs
  Vilin97
  committed
  ba2297d
- Generalize the standalone Horner evaluator to semirings
  Vilin97
  committed
  bafd5a4
- Correct the trace certificate headline and documentation
  Vilin97
  committed
  b213402