mosaicstack/stack
1
0
Fork 1
Code Issues 139 Pull Requests 5 Actions Packages Projects Releases 15 Wiki Activity

RM-61: CI-contract exemption for the #1000 ci-postgres teardown artifact, signature-scoped + discrimination-proven #1034

New Issue
Closed
opened 2026-08-01 14:46:09 +00:00 by mos-dt-0 · 0 comments
mos-dt-0 commented 2026-08-01 14:46:09 +00:00
Collaborator
Copy Link
Copy Source

Delivery issue for RM-61 (mission: mos-remediation).

Scope: a named, signature-scoped terminal-green exemption for the issue #1000 ci-postgres teardown artifact, with the evidence bound to the PR head.

Delivered by PR #1033:

  • Named exemption WP-K8S-1000-CI-POSTGRES-TEARDOWN, requiring workflow success AND exactly one matching service failure AND exit_code 0 AND the exact ULID pod-not-found shape.
  • Discrimination proven against two REAL controls, not asserted: pipeline #2189 (PostgreSQL startup failure, ci-postgres exit 1) and #2191 (post-readiness postmaster kill, exit 137 with dependent probe exit 61). Both stay terminal red with exempted_steps 0.
  • Evidence bound to the subject: --expect-commit <full-40-PR-head> is required; missing/malformed exits 2, missing-or-mismatched record commit exits 1.
  • Type-strict discriminator: exit_code accepted only as a real int (bool and float excluded), closing a wrong-ACCEPT hole where false and 0.0 satisfied == 0.
  • No fetch, trigger, retry or re-roll behaviour — the coin flip is removed, not codified.
  • 17-case contract harness.

This issue does NOT close #1000. The teardown DEFECT stays open: the exemption is a bounded workaround, and #1000 remains the tracked provider-seam closure and the exemption's retirement trigger.

Refs #1000

Delivery issue for RM-61 (mission: mos-remediation). Scope: a named, signature-scoped terminal-green exemption for the issue #1000 `ci-postgres` teardown artifact, with the evidence bound to the PR head. Delivered by PR #1033: - Named exemption `WP-K8S-1000-CI-POSTGRES-TEARDOWN`, requiring workflow success AND exactly one matching service failure AND `exit_code` 0 AND the exact ULID pod-not-found shape. - Discrimination proven against two REAL controls, not asserted: pipeline #2189 (PostgreSQL startup failure, `ci-postgres` exit 1) and #2191 (post-readiness postmaster kill, exit 137 with dependent probe exit 61). Both stay terminal red with `exempted_steps 0`. - Evidence bound to the subject: `--expect-commit <full-40-PR-head>` is required; missing/malformed exits 2, missing-or-mismatched record commit exits 1. - Type-strict discriminator: `exit_code` accepted only as a real `int` (bool and float excluded), closing a wrong-ACCEPT hole where `false` and `0.0` satisfied `== 0`. - No fetch, trigger, retry or re-roll behaviour — the coin flip is removed, not codified. - 17-case contract harness. **This issue does NOT close #1000.** The teardown DEFECT stays open: the exemption is a bounded workaround, and #1000 remains the tracked provider-seam closure and the exemption's retirement trigger. Refs #1000
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
Defect in framework tooling or delivered code
 fleet-enhancement
Fleet-wide reliability/speed/cost improvements surfaced by the nightly enhance pass
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
coder-mos1 coder-mos2 f10-coder jason.woltje mos-dt-0 pepper rev-974 (Rev-974 (Mosaic reviewer seat, web1))
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: mosaicstack/stack#1034