Repository navigation

Enforce the Formalize execution-notes contract - #124

Closed

Deicyde wants to merge 9 commits into

mainfrom

fix/execution-notes-contract

Closed

Enforce the Formalize execution-notes contract#124
Deicyde wants to merge 9 commits into
mainfrom
fix/execution-notes-contract

Commits on Oct 5, 2026
- Enforce the Formalize execution-notes contract
  Deicyde
  committed
  2c66c52
- Merge current main into execution notes contract
  Deicyde
  committed
  4633876
- Merge README baseline fix into execution notes
  Deicyde
  committed
  5c7663b
Commits on Oct 6, 2026
- Merge open-statement contract into execution notes
  Deicyde
  committed
  97a8d9a
- Stack execution notes on formalized-work validation
  Deicyde
  committed
  953a00c
- Allow structured final execution notes
  Deicyde
  committed
  fe79697
- Keep subheaded prose in the statement span
  Deicyde
  committed
  7241490
- Merge remote-tracking branch 'upstream/main' into codex/pr124-local-fix-20261006
  Deicyde
  committed
  1d707d7
- State the formalized proof assertion invariant
  Deicyde
  committed
  27c05b3