Repository navigation

Isolate pruning state between independent precondition solves - #145

Merged

Essoz merged 4 commits into

codex/parallel-infer-integrationfrom

codex/precondition-state-isolation

Oct 26, 2026

Merged

Isolate pruning state between independent precondition solves#145
Essoz merged 4 commits into
codex/parallel-infer-integrationfrom
codex/precondition-state-isolation

Commits on Oct 25, 2026
- Isolate pruning state between independent precondition solves
  Essoz
  committed
  1b5aedf
- Document pruning-state replay output changes
  Essoz
  committed
  64af67b
- test: type pruning-state regression contracts
  Essoz
  committed
  aec748e
Commits on Oct 26, 2026
- Merge reconciled parallel-infer-integration base into PR #145
  Essoz
  committed
  d705073