Repository navigation

feat(p014): add opt-in project-aware binding coverage - #423

Merged

PhysShell merged 9 commits into

mainfrom

feat/p014-prod0-coverage

Oct 21, 2026

Merged

feat(p014): add opt-in project-aware binding coverage#423
PhysShell merged 9 commits into
mainfrom
feat/p014-prod0-coverage

Commits on Oct 21, 2026
- docs(evidence): P-014 PROD0 coverage-only — pre-registration
  
  PhysShell
  and
  claude
  committed
  6ec551f
- feat(extractor): P-014 PROD0 opt-in --binding-coverage sidecar (observation only)
  
  PhysShell
  and
  claude
  committed
  771bca5
- docs(evidence): P-014 PROD0 — PASS-P014-PROD0 (coverage only)
  
  PhysShell
  and
  claude
  committed
  02ae4f7
- docs(evidence): P-014 PROD0 — full Python suite with cargo; one host-only CRLF module, same on main
  
  PhysShell
  and
  claude
  committed
  f84943d
- docs(evidence): P-014 PROD0 — review falsifiers pre-registered (F-PROD0-1..3)
  
  PhysShell
  and
  claude
  committed
  b446be4
- docs(evidence): P-014 PROD0 — KILL-P014-PROD0 for f84943d after review; FIX0 gate proposed
  
  PhysShell
  and
  claude
  committed
  b693a62
- docs(evidence): P-014 FIX0 — pre-registration and F-PROD0-4 fixture
  
  PhysShell
  and
  claude
  committed
  f60f35f
- fix(extractor): P-014 FIX0 — fail closed on #if/#elif and unreadable sources; probes off in production
  
  PhysShell
  and
  claude
  committed
  af18f0b
- docs(evidence): P-014 FIX0 — PASS-P014-FIX0 locally (F-PROD0-1..4 fixed; G0-G3 re-run)
  
  PhysShell
  and
  claude
  committed
  4b0321e