Repository navigation

Decouple nf-benchmark from the live repo: isolation + pinned SUT + self-contained fixtures - #4

Merged

jobordu merged 11 commits into

mainfrom

benchmark/decouple-architecture

Jun 29, 2026

Merged

Decouple nf-benchmark from the live repo: isolation + pinned SUT + self-contained fixtures#4
jobordu merged 11 commits into
mainfrom
benchmark/decouple-architecture

Commits on Jun 29, 2026
- fix(runner): serial path runs in an ephemeral isolated root (never mutate live repo)
  
  open-swe
  and
  claude
  committed
  401de4e
- feat(runner): pin/configurable SUT + fix isolation write-through (2)
  
  open-swe
  and
  claude
  committed
  5d0e46c
- feat(fixtures): self-contained fixture architecture — foundation (3)
  
  open-swe
  and
  claude
  committed
  035e834
- chore(solve): update formal verification artifacts
  open-swe
  committed
  c057ae7
- feat(fixtures): residual_reduction flavor — real nf-solve validated on a self-contained fixture (b)
  
  open-swe
  and
  claude
  committed
  f79ae6f
- fix(runner): make serial isolation opt-in (--isolate) — keep legacy benchmark green
  
  open-swe
  and
  claude
  committed
  49e9fbb
- chore(solve): update formal verification artifacts
  open-swe
  committed
  179aa32
- chore(solve): update formal verification artifacts
  open-swe
  committed
  280c5d8
- feat(sut): npm: SUT spec — complete decoupling from the QGSD repo
  
  open-swe
  and
  claude
  committed
  41e87d8
- feat(ci): decoupled fixture corpus runner + CI job (no QGSD checkout)
  
  open-swe
  and
  claude
  committed
  4bf7844
- feat(fixtures): add orphaned-formal-model exemplar; purge solve-runtime pollution; demote legacy gate
  
  open-swe
  and
  claude
  committed
  77fd6c0