Skip to content

experiment: real agent-done-or-not v2 receipt handoff - #166

Draft
hippoley wants to merge 1 commit into
mainfrom
experiment/agent-done-v2-real-handoff
Draft

experiment: real agent-done-or-not v2 receipt handoff#166
hippoley wants to merge 1 commit into
mainfrom
experiment/agent-done-v2-real-handoff

Conversation

@hippoley

@hippoley hippoley commented Oct 8, 2026

Copy link
Copy Markdown
Owner

Purpose

Preserve the first real producer-generated v2 execution receipt from
mohamedzhioua/[email protected] against CounterProof.

This PR is not intended to merge.

Frozen boundary

  • producer: [email protected]
  • workload: current CounterProof branch under test
  • verifier identity: CounterProof
  • producer owns execution receipt semantics
  • CounterProof will later decide only what claim scope, if any, the receipt can support

First-run discipline

The workflow:

  1. installs CounterProof;
  2. fetches the frozen producer tag;
  3. asks the producer to actually re-run two CounterProof unit suites;
  4. preserves the generated v2 receipt;
  5. uploads the receipt as an Actions artifact.

No adapter or new CounterProof receipt schema is introduced.

A successful Action run does not by itself mean the handoff is accepted by
agent-done-or-not or that the evidence proves a fix.

@hippoley
hippoley marked this pull request as draft October 8, 2026 01:07
@hippoley ChatGPT Codex Connector

hippoley commented Oct 8, 2026

Copy link
Copy Markdown
Owner Author

First real producer-generated v2 receipt is preserved.

Workflow run:
https://github.com/hippoley/CounterProof/actions/runs/37711284061

Artifact:
https://github.com/hippoley/CounterProof/actions/runs/37711284061/artifacts/11521298222

Artifact digest:
sha256:487ca437f8f32499ec1f686e11f3cf26069852a48d4e2df2495a4735df9e535c

Frozen producer provenance:

mohamedzhioua/agent-done-or-not
tag: v0.13.1
annotated tag object:
34bb41a35e96d544a9a17365d694214b1e75e413

resolved producer commit:
4a801bf056519af5a845e773260ef23796eea3ff

done-gate.sh sha256:
6f8a6fd1dad47d806d3be0ba98ca5723be4b7569c08c01e821a3eff63fb4eb2c

proof.schema.json sha256:
865db35fd05cc89de305022427cd9f6e96cdefde9ee2fd112059da323b4091ef

Observed receipt boundary:

schema_version: 2
producer: [email protected]
verifier: CounterProof
disposition: reexecuted
repo: https://github.com/hippoley/CounterProof
commit: a3e1ed55ba84f2cde64c328d682fff54b2770017
tree: 3d57261469e3dcaa7df865740ece9b6aa8412ffc
dirty: false
exit_code: 0
output_sha256:
f4a46ed95fa04eca41f7b2bd877f244e2ed1aa01e4528f1866895ed48c0ce9f9

The producer actually re-ran 14 CounterProof tests; all 14 passed.

Important boundary: this is a preserved external execution receipt. It does not by itself establish correctness, a fix, oracle sufficiency, mergeability, adoption, or maintainer qualification.

CounterProof consumer work is separate in #167 so the first producer output remains immutable as an experiment record.

This was referenced Oct 8, 2026
Open
Merged

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@hippoley