Repository navigation

Close C2 helper custody handoff contract - #793

Merged

yihanzhu merged 39 commits into

mainfrom

codex/spec/eval-candidate-history-20261028

Oct 31, 2026

Merged

Close C2 helper custody handoff contract#793
yihanzhu merged 39 commits into
mainfrom
codex/spec/eval-candidate-history-20261028

Commits on Oct 28, 2026
- spec: define fixed candidate history handoff
  ci
  committed
  b05d12d
- Merge commit '69857cc790c3096394cb0bb1822b6fc5b9ea6adb' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  e60a307
- spec: bind existing regression fixtures to accepted source
  ci
  committed
  eb5904e
- Merge commit 'b69b0f780ded1f91cadce327c62e077d81549b8d' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  bf318b0
- spec: bind the existing reproduction value helper closure
  ci
  committed
  19408a8
- Merge commit 'db0cd73e1c42e8fc40f282cf2449db7a060b0878' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  9fb1812
- spec: preserve Reader fixture construction and private backing
  ci
  committed
  a105edc
- Merge commit 'ac4acbbeb08a4e9962147e9bff24543be3d96c8d' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  4afa956
- spec: bind the close-failure retained-owner postcondition
  ci
  committed
  578c43d
- Merge commit 'a93313055d873b398c29fee5cfad8601c6703fcb' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  9e4034f
- spec: close capture fixture and qualifier namespace compatibility
  ci
  committed
  ea5a275
- spec: bind marker parser and environment fixture prerequisites
  ci
  committed
  62284f6
Commits on Oct 29, 2026
- Merge commit '511fbb5b0c16c48639ffc3852d74cdfa19716bb3' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  aca72d2
- spec: bind recording isolation and complete owned cleanup
  ci
  committed
  8fbd195
- spec: bind cleanup frame and failure regressions
  ci
  committed
  f41bb89
- Merge commit '03275ea60f002918c6326ddf76f1531922b123ba' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  22a3cc4
- spec: bind existing recorder fixture callers
  ci
  committed
  a89639c
- spec: preserve original acquisition locators in fixtures
  ci
  committed
  20b5ae3
- Merge commit 'ad6e4539fd39a23de5fc019866a595801d539816' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  a972820
- spec: bound final scope failure evidence
  ci
  committed
  5e514fa
Commits on Oct 30, 2026
- Merge commit '9e8b329ece9febf976fba877c0803d18f7d97735' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  e42e0fe
- docs(spec): bound original retention failure facts
  ci
  committed
  955b839
- Merge commit 'd10d234ed960be347eb404131df706aa456c5ec3' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  78855ba
- Specify fixed ordinary regression compatibility contacts
  ci
  committed
  1cac6a3
- Merge commit '2c86bf8e5c4f98e7c2d5f913f79b63853ad5682e' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  3cb0a5d
- Specify complete foreground cleanup fixture ownership
  ci
  committed
  c8cdc95
- Merge accepted foreground-finally spec base
  ci
  committed
  3b75bb3
- spec: initialize the existing non-inherited guard proof owner
  ci
  committed
  83f4032
- Merge accepted two-owner plan before ordinary observer spec update
  ci
  committed
  d4c402e
- spec: preserve ordinary metadata exception events across wrappers
  ci
  committed
  f486c83
- Merge commit '5edbd3f6a21078ab9d0e24c98fa19a17b80ae08d' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  cb4b355
- Specify existing ordinary test failure propagation
  ci
  committed
  816f0cb
Commits on Oct 31, 2026
- Merge commit '417f1719f484cc47bde2859967aed1887d871b1a' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  4e4ff99
- Clarify existing receiver assertion failures
  ci
  committed
  48f912a
- Merge commit 'ec68ada78dd031e37b9daee5a694bc4e18a4d69d' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  79cd65b
- Align existing C2 helper fixture contract
  ci
  committed
  1014cad
- Align existing C2 helper and AST fixture contracts
  ci
  committed
  833e355
- Merge commit '389c86eab8cefa6d7088bd3557cd6995c2c30f82' into codex/spec/eval-candidate-history-20261028
  ci
  committed
  1b1ecd4
- Close C2 helper custody handoff contract
  ci
  committed
  c2c44f3

Commits

Commits on Oct 28, 2026

Commits on Oct 29, 2026

Commits on Oct 30, 2026

Commits on Oct 31, 2026