The sharp interval for the both-fail query

This is the condition and consequence recorded in the registry. The vocabulary this is published in defines what each consequence commits the author to.

The kernel identification module at the bound commit, re-verified by CI on every push and weekly in the witness stage of scripts/reproduce_cc001.py. No claim about any deployed system.

Repairs declared unavailable in advance; using one after a failure would breach the recorded commitment.

• do not replace a failed endpoint witness with an interior distribution or a loose approximate candidate
• do not waive a failed sum, nonnegativity, marginal, or attainment constraint by changing the tolerance after the outcome

• endpoint witnesses are feasible mathematical worlds, not observed systems
• attainment does not select a point inside the interval or estimate the true dependence

Binding

Cubits11/cc-framework @ 167aa1ee
Shares CC-001's bound commit so a single clean-clone checkout reproduces both claims; the reproduction script enforces that the two bindings stay equal.

Reviewed

2026-08-24 · window 120 days

Expires

2026-12-22 — after this date the recorded review is overdue; this does not make the claim false

Triggers

• executable fires when the identification module on the default branch diverges from the bound revision
• manual witness API change outside the bound module file

Dimensions

visibilityPublicprovenanceMachine-generated, owner-executedsupport roleExecuted outputmaturityReleased