Audit oracle portfolio and gate offline success on outbox deletion - #1968

Merged

KyleAMathews merged 18 commits into

mainfrom

codex/oracle-guide-audit

Oct 1, 2026

Commits on Sep 30, 2026

docs: require boundary witnesses and premise handoffs in oracle reviews
Isaac
committed
a1d7572
test: audit oracle portfolio against guide requirements
Isaac
committed
7e4266b
docs: record oracle guide portfolio audit
Isaac
committed
c1d8678
test: close bounded oracle review gaps
Isaac
committed
18d3ad9
docs: record bounded oracle follow-up evidence
Isaac
committed
167fccd
fix: settle offline work after outbox deletion
Isaac
committed
9b6b831
docs: record offline deletion settlement evidence
Isaac
committed
bf55f82
fix: address oracle review findings
Isaac
committed
e5707b8
Merge remote-tracking branch 'origin/main' into codex/oracle-guide-audit
Isaac
committed
cc25b38
docs: record oracle review follow-up and offline release note
Isaac
committed
d092c5a
docs: fix oracle evidence links for site checks
Isaac
committed
5367084
fix: publish aggregate and single-result QueryRefs correctly
Isaac
committed
a5fb460
docs: record QueryRef publication repair evidence
Isaac
committed
400d8d8

Commits on Oct 1, 2026

fix: harden oracle replay checks
Isaac
committed
837658a
fix: stop offline execution on outbox storage failure
Isaac
committed
d3d00a6
docs: record offline fail-stop review evidence
Isaac
committed
e419b6a
docs: correct offline deletion failure promise behavior
Isaac
committed
b1e6573
Merge origin/main into codex/oracle-guide-audit
Isaac
committed
3f7685c