Repository navigation

docs(r3): clarify heuristic cost audit substrate state - #1686

Merged

briansrls merged 2 commits into

mainfrom

codex/heuristic-cost-testgen-audit-followup

May 4, 2026

Merged

docs(r3): clarify heuristic cost audit substrate state#1686
briansrls merged 2 commits into
mainfrom
codex/heuristic-cost-testgen-audit-followup

Commits on May 4, 2026
- docs(r3): cite symbolic cost zero-law retirement
  briansrls
  committed
  d0e8e36
- docs(r3): distinguish symbolic cost semiring edge
  briansrls
  committed
  6b56ea0