docs(verification): record acceptance evidence for the strip of process-only artifacts - #260
Merged
Merged
Conversation
…ss-only artifacts Verification phase for 8b80f2d (PR #258), which was merged without evidence, so gate G4 did not hold and the issue stayed open. All eight criteria were driven here; nothing routed to needs-uat. The three strip variants were run against pristine exports of 8b80f2d and each stripped tree passes pub get, analyze, test and check_docs with zero broken links. Two counterfactuals back the claims that an assertion alone cannot: strip-smoke.yml's assertion step, extracted verbatim, exits 1 on an unstripped tree while audit_template.sh exits 0 on that same tree; and an unbalanced process-only marker aborts the strip with exit 2 before any deletion, with before/after sentinels showing all 1003 docs/verification files intact. Refs #259 Co-Authored-By: Claude Opus 5 (1M context) <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
1 participant
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.
Verification phase for #259. The change itself merged as 8b80f2d (#258); this pull request adds only the evidence that gate G4 requires, under
docs/verification/issue-259/.All eight criteria driven, nothing routed to
needs-uat, no criterion resting on a golden (this change renders nothing).Measured in this session on pristine
git archiveexports of 8b80f2d:--apply--remove-tasks--remove-feature-flagsAll three stripped trees pass
flutter pub get,flutter analyze,flutter testanddart run tool/check_docs.dart(506 links, 0 broken).Two counterfactuals, because an assertion that never fails proves nothing:
strip-smoke.yml's assertion step, extracted verbatim, exits 1 on an unstripped tree naming 9 survivors, and 0 on the stripped tree. On that same unstripped tree./scripts/dev/audit_template.shexits 0 - format, analyze and test cannot catch a strip that silently stops removing.<!-- strip:process-only end -->marker makes--applyabort with exit 2 andCLAUDE.md:104: start marker inside the region opened at line 32, before any deletion; before/after sentinels show all 1003docs/verificationfiles and both sample features still present.Refs #259
🤖 Generated with Claude Code