Repository navigation
test: record the v0.5.0 Layer B evidence - #26
Merged
Merged
Conversation
All seven gate scenarios (F1, F2, F11, F14a, F14b, F18, F27) pass on a real host: claude -p 2.1.193 with the passdown plugin pinned to release/v0.5.0, the owner attesting every stop by hand. The gate found two protocol gaps, fixed in #24 and #25 before those scenarios were run again; the failing runs are kept as F1-fail-1 and F2-fail-1. docs/evidence/v0.5.0/README.md summarizes the runs, the findings, the harness changes and what was observed but not blocking. Two harness changes come with the evidence: - oracle.sh judges must-not-project on the interrupted attempt. The first oracle failed F14a because the host, correctly, redid the changed task in a new attempt and projected that one; the interrupted verdict must still never be projected, and a tick must be backed by a projected attempt on the current task revision. The first judgment is kept in F14a/oracle.first.txt. - sanitize.sh prepares a run for publication: local paths, the operator's e-mail, the init, hook and rate-limit events, thinking counters and signatures. oracle.sh gives the same verdict on the sanitized records, and they pass the workspace's boundary denylist. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
All seven gate scenarios (F1, F2, F11, F14a, F14b, F18, F27) pass on a
real host: claude -p 2.1.193 with the passdown plugin pinned to
release/v0.5.0, the owner attesting every stop by hand. The gate found
two protocol gaps, fixed in #24 and #25 before those scenarios were run
again; the failing runs are kept as F1-fail-1 and F2-fail-1.
docs/evidence/v0.5.0/README.md summarizes the runs, the findings, the
harness changes and what was observed but not blocking.
Two harness changes come with the evidence:
first oracle failed F14a because the host, correctly, redid the
changed task in a new attempt and projected that one; the interrupted
verdict must still never be projected, and a tick must be backed by a
projected attempt on the current task revision. The first judgment is
kept in F14a/oracle.first.txt.
operator's e-mail, the init, hook and rate-limit events, thinking
counters and signatures. oracle.sh gives the same verdict on the
sanitized records, and they pass the workspace's boundary denylist.
Part of PDN-0004 (S7).
🤖 Generated with Claude Code