feat(tournament): independent out-of-band re-execution watcher gating real slashing#26
Merged
Merged
Conversation
…ionship CLAUDE.md predated 5.3.0's unfakable-done work. Adds: - the two-axis "done" (Gate 5 re-execution oracle + Gate 6 reachability) as the trust backbone, incl. binding skel/ship-check.py vs non-binding shipcheck.py - the prd_taskmaster/tournament/ package (commit-reveal, anti-sybil, goose racer) and its enforced invariants (shadow-slash only, refund losers, AtlasCoin conserved) - the atlas-protocol spine relationship + ATLAS_ORACLE_CMD / tsx for the e2e gates - gate/tournament/e2e commands in the Commands block (corrected to the real skipif-gated e2e invocation, not a non-existent -m e2e marker) Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
… real slashing
The precondition for real (--enforce-slash) forfeiture. An independent watcher
re-adjudicates settled submissions from PRIMARY EVIDENCE (re-runs the oracle,
re-derives sha256(diff base..HEAD) to catch diff-copy), ABSTAINS when it cannot
verify (inability is never counted as grounds to slash), and engine-gates real
slashing: run_tournament downgrades --enforce-slash to shadow unless the
fail-closed permit_enforce_slash confirms the WHOLE job (no discrepancy/abstain
anywhere) behind a concordance track record over real slash decisions.
- watcher.py: re_adjudicate_{submission,job}, permit_enforce_slash, concordance_summary
- CLI: watcher-run / watcher-status; run_tournament Step 5b shadow-until-permitted gate
- 36 tests (TDD red->green); read-only (pure non-card-writing sweep), stdlib-only, reachability-WIRED
- Two adversarial-review passes; all 5 confirmed findings closed + 3 hardenings
Co-Authored-By: Claude Opus 4.8 <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
2 participants
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.
Builds the independent out-of-band re-execution watcher — the precondition for ever enabling real (`--enforce-slash`) forfeiture (roadmap slice from the handoff PRD).
What it does
Invariants preserved
Shadow-slash by default; AtlasCoin never burned without an independent positive confirmation; read-only (uses the pure non-card-writing sweep; writes only its own ledger); stdlib-only; reachability-WIRED.
Tests / review
🤖 Generated with Claude Code