Skip to content

Fix authoritative verification documentation #37

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
batbrainy merged 1 commit into from
Jul 31, 2026
Merged

Fix authoritative verification documentation #37

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/SUBMISSION_CHECKLIST.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -329,7 +329,7 @@ particular, read the erratum atop

```bash
claim_pattern='exactly[ -]?once|effectively[ -]?once|once-only[[:space:]]+(execution|processing|delivery)|(complete|full|exhaustive)[[:space:]]+(upstream[[:space:]]+)?(event[[:space:]]+)?capture|captur(e|es|ed|ing)[[:space:]]+(all|every)[[:space:]]+(upstream[[:space:]]+|public[[:space:]]+|GitHub[[:space:]]+)?events?|(complete|full|exhaustive)[[:space:]]+enrichment([[:space:]]+coverage)?|enrich(es|ed|ing)?[[:space:]]+(all|every)[[:space:]]+(actors?|repositories|entities)|sampling[[:space:]]+becomes[[:space:]]+coverage|100%[[:space:]]+(capture|enrichment|coverage)'
git grep -nEI "$claim_pattern" -- .
git grep -nI -i -E "$claim_pattern" -- .
```

**The rule: every prose hit must explicitly reject the guarantee.** The regex assignment
Expand Down
5 changes: 3 additions & 2 deletions script/verify_recovery.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,8 +44,9 @@
# to, and a container-killing tool there invites someone to wire it into compose or CI.
#
# COST: kills and restarts the running db, web and worker containers, and writes to the
# *development* databases. It never touches the test databases, never removes a volume, and
# never runs db:drop or db:reset. Do not run it against a stack someone else is using.
# *development* databases. Its test-isolation phase prepares and exercises only the isolated
# test databases; the verifier's own SQL never targets them. It never removes a volume or runs
# db:drop or db:reset. Do not run it against a stack someone else is using.
#
# Nothing in the repository executes this file. spec/docker_compose_spec.rb asserts that, so
# "CI never runs the verification" is a red test rather than a promise.
Expand Down
Loading