Skip to content

Verify partial-evidence scoring against actual Inspect SQLite tools - #5

Merged
YusefSyed merged 2 commits into
mainfrom
codex/real-tool-v3-evidence
Oct 3, 2026
Merged

YusefSyed merged 2 commits into
mainfrom
codex/real-tool-v3-evidence

Conversation

@YusefSyed

@YusefSyed YusefSyed commented Oct 3, 2026 •

Copy link
Copy Markdown
Owner

The partial-evidence scorer previously had synthetic evidence but no native Inspect execution path. Add a separate integration that runs the existing 13 SQLite tool fixtures in restricted Docker sandboxes, captures private producer-side receipts, seals scores before reading the independent database oracle, and verifies uncertainty when receipts, effect records or entire actions are withheld.

The scorer receives no privileged database history, fixture labels or tool/model prose. Two fresh scripted runs must reproduce normalized observations, predictions, reports and database bytes. Native logs and source hashes support offline verification; this is finite scripted integration evidence, not live-model or production validation.

Validation: 73 bridge tests, 40 legacy tests, Ruff, strict projection mypy, all 17 frozen core artifacts and the unchanged actual-tool baseline passed in CI. All 13 new Docker scenarios ran twice, and the downloaded raw evidence passed local offline verification. The normalized observations, predictions, reports and DB bytes match across runs. Core Python 3.12/3.13/3.14 checks passed. Versioned evidence and reproduction instructions are in artifacts/inspect-v3-bridge/v1/REPORT.md.

Each execution yields five related evidence views: 21 binary decisions agree with the independent DB oracle and 44 abstain per run. These are not independent model samples. The committed evidence verifier is also required in CI. Core, legacy registry and prior frozen artifacts remain unchanged.

@YusefSyed
YusefSyed marked this pull request as ready for review October 3, 2026 07:20
@YusefSyed
YusefSyed merged commit 3f3387b into main Oct 3, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant