Skip to content

Require durable proof machinery to justify its seam - #3

Merged
CodingCossack merged 10 commits into
mainfrom
agent/incident-proof-machinery-rules
Aug 20, 2026
Merged

Require durable proof machinery to justify its seam#3
CodingCossack merged 10 commits into
mainfrom
agent/incident-proof-machinery-rules

Conversation

@CodingCossack

@CodingCossack CodingCossack commented Aug 19, 2026

Copy link
Copy Markdown
Owner

What changed

Adds one proof-portfolio rule: before a higher proof seam creates durable apparatus, name the residual risk missed by the cheaper seam. Disproportionate apparatus means the proof seam is wrong.

Records the paired baseline/candidate pressure scenarios in docs/testing.md.

Why

A production-equivalent proof can otherwise self-justify as a permanent release gate even when its false-failure and maintenance surface exceed the risk it covers.

Impact

This is an additive instruction change. Skill discovery, invocation policy, profiles, and packaging are unchanged. Rollback is a one-commit revert of the payload plus its testing-log entry.

Checks

  • Repository validator passed
  • Official skill validator passed
  • skills@1.5.23 add . --list found exactly change-with-proof
  • Local Codex, Agents, and Claude mirrors are byte-identical
  • Independent baseline/candidate pressure test rejected an unjustified permanent browser harness while retaining a justified deterministic gate-logic test

CodingCossack and others added 10 commits August 19, 2026 18:02
Body 1,121 -> 615 words; total payload ~3,450 -> 615 (-82%). Every retained
rule traces to an observed failure or measured delta; the v3 battery on
gpt-5.6-sol (isolated no-skill/current/candidate conditions) and a ~3,300-
session trace analysis are recorded in docs/testing.md and
docs/design-rationale.md. New: 'accidental behaviour is not a contract'
(counters an observed compatibility-alias failure); sharpened activation
description (30/30 positives, 0/30 near-miss fires).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@CodingCossack
CodingCossack marked this pull request as ready for review August 20, 2026 07:24
@CodingCossack
CodingCossack merged commit 3af9f53 into main Aug 20, 2026
2 checks passed
@CodingCossack
CodingCossack deleted the agent/incident-proof-machinery-rules branch August 20, 2026 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant