Frechet-Hoeffding endpoint bounds from declared marginals

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 module at the bound commit. Reproduced from a clean clone (venv, pip install, execute, assert) most recently on 2026-08-23, and re-reproduced by CI on every push and weekly. No claim about any deployed system.

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

• do not substitute a different input, revision, or numerical tolerance after the failure
• do not treat a passing wrapper or test harness as evidence for the stated outputs if direct execution disagrees

• does not certify any stacked system as safe
• does not recover or estimate the unknown dependence
• does not select a point inside the returned interval

Binding

Cubits11/cc-framework @ 167aa1ee
Output recorded verbatim in /essays/when-marginals-are-not-enough/; continuously reproduced by scripts/reproduce_cc001.py in CI. Re-bound 2026-08-23 from a commit stranded by an upstream history rewrite to a main-reachable commit; kernel file content verified byte-identical across both refs before re-binding.

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 kernel module on the default branch diverges from the bound revision
• manual kernel semantics change outside the bound module file

Dimensions

visibilityPublicprovenanceMachine-generated, owner-executedsupport roleExecuted outputmaturityReleased