RM-61: prove ci-postgres teardown discrimination #1033

Merged
mos-dt-0 merged 10 commits from fix/rm-61-ci-contract-exemption into main 2026-08-01 14:54:05 +00:00
Showing only changes of commit 878bf3d589 - Show all commits
@@ -1,7 +1,8 @@
# RM-61 — CI contract exemption for #1000 teardown artifact
**Tracking:** RM-61 / issue #1000
**Branch:** `fix/rm-61-ci-contract-exemption`
**Tracking:** RM-61 / issue #1000
**Branch:** `fix/rm-61-ci-contract-exemption`
**Owner:** `coder-mos1`
## Objective
@@ -90,7 +91,10 @@ The nine-case contract harness was written before the verifier. First execution
- Unit harness: 9/9 cases pass after the red-first checkpoint.
- Test-membership guard: PASS, population 45; 26 enumerated, 19 signed exclusions; all 39 surface paths present.
- Python compile: PASS.
- Changed-file Prettier check: PASS after formatting the Woodpecker README.
- `pnpm typecheck`: PASS, 45/45 tasks.
- `pnpm lint`: PASS, 25/25 tasks.
- `pnpm format:check`: PASS after moving local evidence outside the repository tree.
- `test:framework-shell`: RM-61 and all preceding suites passed, then the pre-existing wake assertion aborted with exit 97 because this host's Bash 5.2.15 reports `BASH_LINENO [3 5]` where that suite requires `[3 4]`. RM-61 does not modify the wake suite; the command is not fully runnable on this host as written and no substitute result is claimed.
## Documentation checklist