Repository navigation

fix(verifier): derive capture obligation manifest from context coverage - #3831

Merged

stranske merged 36 commits into

mainfrom

codex/issue-3820-capture-obligation-manifest

Oct 14, 2026

Merged

fix(verifier): derive capture obligation manifest from context coverage#3831
stranske merged 36 commits into
mainfrom
codex/issue-3820-capture-obligation-manifest

Commits on Oct 11, 2026
- Add capture obligation manifest helper for expanded verifier context.
  
  stranske
  and
  cursoragent
  committed
  fe0f9f3
- chore(codex-keepalive): apply updates (PR #3831)
  github-actions[bot]
  committed
  7cd30a8
- fix(verifier): reject incomplete capture obligation inventories
  closer-lane
  committed
  f28d16f
- chore(codex-keepalive): apply updates (PR #3831)
  github-actions[bot]
  committed
  819a2d3
- chore(codex-keepalive): apply updates (PR #3831)
  github-actions[bot]
  committed
  df6869f
- fix(verifier): emit structured FAIL when capture validation fails
  
  closer-lane
  and
  cursoragent
  committed
  cfa85c7
- fix(tests): sort imports in capture obligation failure tests
  
  closer-lane
  and
  cursoragent
  committed
  67480f3
- fix(verifier): align capture failure tests and consumer template
  closer-lane
  committed
  a535921
- fix(verifier): bind supplied raw diff to frozen snapshot
  closer-lane
  committed
  1c6fe32
- fix(verifier): bind lossless captured byte range inventories
  closer-lane
  committed
  d197f5c
- fix(verifier): freeze capture obligation dependency contract
  closer-lane
  committed
  2b94fa6
- fix(verifier): retain patch text from comparison artifacts
  closer-lane
  committed
  8a62831
- docs(verifier): archive raw mutation console without whitespace drift
  closer-lane
  committed
  613fa9e
- docs(verifier): bind final raw-console archive documentation
  closer-lane
  committed
  0991467
- style(verifier): format bounded artifact recovery replay
  closer-lane
  committed
  9842fe2
- docs(verifier): preserve raw RED transcripts in archive
  closer-lane
  committed
  bdff059
- chore(codex-keepalive): apply updates (PR #3831)
  github-actions[bot]
  committed
  bf56264
- chore(codex-keepalive): apply updates (PR #3831)
  github-actions[bot]
  committed
  763e6dc
- fix(verifier): retain input identities on early partition rejection
  closer-lane
  committed
  044c2c4
- chore(codex-keepalive): apply updates (PR #3831)
  github-actions[bot]
  committed
  a42303e
- fix(verifier): retain original gaps and archive member identities
  closer-lane
  committed
  cdd2427
- fix(verifier): account full original proof extraction before admission
  closer-lane
  committed
  70d498a
- fix: exempt offline provenance validation from API call guard
  closer-lane
  committed
  4f4f537
- fix(verifier): preserve configured FAIL across incomplete comparison arms
  closer-lane
  committed
  3e8053c
- test: retain raw verifier FAIL preservation transcripts
  closer-lane
  committed
  6077e45
- Merge remote-tracking branch 'origin/main' into HEAD
  closer-lane
  committed
  1dfee08
- fix(verifier): reject incomplete acceptance-source discovery
  closer-lane
  committed
  2778d06
- evidence: retain discovery guard raw RED GREEN logs
  closer-lane
  committed
  289a632
- feat: recover exact historical all-arms source and proof chain
  closer-lane
  committed
  82f154b
- feat: bind recovered proof to governing note and original obligations
  closer-lane
  committed
  d575209
Commits on Oct 14, 2026
- merge: recover verifier capture branch against current main
  closer-lane
  committed
  14eabc0
- feat(verifier): admit complete native semantic executions
  closer-lane
  committed
  9dd35cf
- fix(verifier): execute reviewed closed packages without native retries
  closer-lane
  committed
  795fe42
- fix(sync): regenerate ownership for all verifier managed paths
  closer-lane
  committed
  2e78feb
- test(sync): apply owner exclusions to Renovate ownership checks
  closer-lane
  committed
  9f8fceb
- fix(verifier): preserve exact captured input bytes
  closer-lane
  committed
  0f37f79

Commits

Commits on Oct 11, 2026

Commits on Oct 14, 2026