Skip to content

test(oracles): add calibrated semantic final outputs - #35

Merged
Dhi13man merged 70 commits into
mainfrom
test/semantic-final-output-oracles
Aug 7, 2026
Merged

test(oracles): add calibrated semantic final outputs#35
Dhi13man merged 70 commits into
mainfrom
test/semantic-final-output-oracles

Conversation

@Dhi13man

@Dhi13man Dhi13man commented Aug 5, 2026

Copy link
Copy Markdown
Owner

Why

The consumed diagnostic exposed valid final answers that phrase-bound oracles rejected, while final-output verifiers could not prove that an agent obeyed a read-only instruction when it restored changed bytes before completion. Skivolve owns both gaps because it defines the artifact boundary and public calibration corpus.

This is a development regression corpus, not a general agent-capability benchmark or replacement holdout.

What changed

  • Add compatibility-decision, root-cause-diagnosis, surgical-plan, and evidence-gap cases with seven independently worded valid answer forms each.
  • Replace answer allowlists with contract predicates and add targeted adversarial variants whose expected partitions independently falsify critical assertions.
  • Detect transient final-output workspace writes at the execution boundary, including writes whose final bytes and permissions are restored.
  • Let public verifier-only runs preflight without loading comparator authority that they do not use.
  • Run checked-in final-output artifacts through the production verifier smoke path; workspace-diff cases continue to apply their known-good edits.
  • Length-frame calibration fingerprint fields so distinct trees cannot collide through concatenation ambiguity.
  • Prevent provider-created Python bytecode and refresh the exact comparator/plain-language release locks.
  • Update the public corpus to 21 cases: 14 engineering and 7 testing.

Research basis and claim limits

  • SWE-bench Verified and its annotation rubric require sufficiently specified prompts and tests that match the request without rejecting reasonable implementations.
  • OpenAI's SWE-bench audit documents narrow tests, underspecified prompts, and weak coverage as common benchmark defects, and uses independent investigation plus expert adjudication to find them.
  • METR's task QA protocol calls for independent skilled review and documented invalid, partial, and best-known solutions.
  • Terminal-Bench pairs isolated terminal tasks with executable tests and reference solutions.

This PR adopts isolated fixtures, prompt-aligned executable oracles, varied positive forms, single-assertion adversarial partitions, production-path smoke tests, and mutation sensitivity. It does not supply independent human annotation, human time baselines, a fresh non-public holdout, broad real-world task diversity, multi-model repeated trials, or task-level statistical reliability. Its public cases therefore support regression claims only; they are deliberately not presented as sufficient or perfect evaluation of agent quality.

Evidence

  • Exact head 1e5e67d: Ruff, formatting, compile, duplicate-key JSON validation, static-site validation, Prettier, Markdownlint, and diff hygiene pass.
  • Local suites: 424 harness tests, 74 comparator tests, and 31 shared-verifier tests pass.
  • Software calibration: all 14 cases pass. The new semantic matrices pass 33 compatibility, 32 root-cause, 30 surgical-plan, and 33 evidence-gap variants with every bad/exploit partition rejected.
  • Testing calibration: 14 good variants are accepted; all 7 bad and 17 adversarial variants are rejected across 7 cases.
  • Production verifier smoke: 63/63 pairs and 126/126 arms pass with zero failures and objective stability true.
  • Release-lock generators emit byte-identical files on consecutive exact-tree runs.
  • GitHub: all 11 exact-head CI, CodeQL, package, dependency, fuzz, and security checks pass; no unresolved review thread remains.
  • Two independent holistic reviews, including Claude Code Opus, were consolidated into requirement-traceable fixes. A fresh GitHub Codex exact-head review was requested and returned the account usage-limit response rather than a finding.

Trust and scope

  • The four cases remain public regression gates, not hidden release evidence.
  • Final-output verification receives a pristine read-only fixture plus explicit generation-time mutation evidence.
  • Source bindings, isolation, spend accounting, blinding, and release authority remain intact.
  • No compatibility shim, legacy branch, runtime dependency, private holdout content, cache, or host-specific path was added.
  • Every review-fix hunk traces to an observed false positive, false negative, trust-boundary gap, or stale public claim.

Review guide

Review skivolve/runner.py and cases/software/calibrate.py first for the verifier-only, transient-mutation, and fingerprint boundaries. Then review the four oracle/verify.py files beside their positive and adversarial calibration partitions. The remaining risk is construct coverage; live repeated trials and a protected holdout are still required to estimate agent behavior.

Generated with Dhiman's Agentic Suite

Dhi13man and others added 8 commits August 3, 2026 10:43
Bring the published PR branch onto current main without rewriting its qualified collaboration milestones.

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Regenerate binary, runtime-bundle, and protocol-schema attestations against the current standalone Codex release.

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Add four calibrated read-only decision cases, verifier-visible workspace mutation evidence, and isolated mutants for every critical assertion.

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man Dhi13man added the python Pull requests that update python code label Aug 5, 2026
@Dhi13man Dhi13man self-assigned this Aug 5, 2026
Dhi13man and others added 2 commits August 5, 2026 16:28
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 6fee3cb077

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread cases/software/evidence-gap/oracle/verify.py Outdated
Comment thread skivolve/runner.py Outdated
Comment thread cases/software/root-cause-diagnosis/oracle/verify.py Outdated
Dhi13man and others added 5 commits August 6, 2026 03:28
Reject drift from pinned model settings while keeping child failures scoped to their own turns.

Refs #28

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Keep message mandatory while accepting the protocol-defined optional error metadata. Cover omitted optional fields without weakening shape or scope validation.

Refs #28

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Reject multiple receivers in every spawn lifecycle state before pending or child scope changes. Preserve the exactly-one invariant for successful completion.

Refs #28

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Validate evidence claims against their cited sources, reject negated verification, and include directory and permission state in final-output workspace mutation evidence. Add calibrated exploit vectors and refresh deterministic runner bindings.

Refs #35

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Carry the fully qualified provider review fixes into the stacked semantic-oracle branch before changed-head verification.

Refs #35

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: b73547a6b7

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread cases/software/evidence-gap/oracle/verify.py Outdated
Comment thread cases/software/compatibility-decision/oracle/verify.py Outdated
Comment thread skivolve/runner.py Outdated
Comment thread cases/software/root-cause-diagnosis/oracle/verify.py Outdated
Dhi13man and others added 3 commits August 6, 2026 04:50
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4b4ec7b402

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread cases/software/surgical-plan/oracle/verify.py Outdated
Comment thread cases/software/evidence-gap/oracle/verify.py Outdated
Comment thread cases/software/compatibility-decision/oracle/verify.py Outdated
Comment thread cases/software/root-cause-diagnosis/oracle/verify.py Outdated
Comment thread skivolve/runner.py Outdated
Dhi13man and others added 4 commits August 6, 2026 05:11
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Dhi13man and others added 2 commits August 6, 2026 09:31
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 7377cfb59f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread cases/software/evidence-gap/oracle/verify.py
Comment thread tests/test_calibrators.py Outdated
Dhi13man and others added 2 commits August 6, 2026 09:39
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

Dhi13man and others added 6 commits August 6, 2026 10:09
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

Dhi13man and others added 2 commits August 6, 2026 19:40
Terminal collaboration history can accumulate model-controlled items, so retaining each raw prompt permits evaluator memory exhaustion. Store fixed-size SHA-256 digests while preserving lifecycle equality checks.

Refs #28

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
PR #35 is stacked on #28; record the reviewed prompt-retention fix in the descendant branch without rewriting shared history.

Refs #28, #35

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
@Dhi13man

Dhi13man commented Aug 6, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

Dhi13man and others added 2 commits August 7, 2026 02:28
Codex 0.146 emits partial wait completions and pre-close child states that the prior validator could reject or misclassify. Bind lifecycle fields to their starts, preserve bounded child evidence, and make runtime cleanup iterative so valid deep trees cannot strand residue.

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Base automatically changed from feature/codex-collaboration-protocol to main August 7, 2026 02:57
Dhi13man and others added 2 commits August 7, 2026 02:58
Replace phrase-bound final-output checks with calibrated semantic predicates, close verifier-only and transient-mutation gaps, and refresh the exact profile evidence.

Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>
Co-Authored-By: Dhiman's Agentic Suite <dhiman.seal@hotmail.com>

# Conflicts:
#	CHANGELOG.md
@Dhi13man

Dhi13man commented Aug 7, 2026

Copy link
Copy Markdown
Owner Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

@Dhi13man Dhi13man changed the title test: add calibrated semantic final-output gates test(oracles): add calibrated semantic final outputs Aug 7, 2026
@Dhi13man
Dhi13man merged commit 93e5652 into main Aug 7, 2026
11 checks passed
@Dhi13man
Dhi13man deleted the test/semantic-final-output-oracles branch August 7, 2026 03:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

python Pull requests that update python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant