The argument in text
For marginals (0.10, 0.10) the both-fail probability is identified only to [0.0, 0.10]; both endpoints are attained by explicit joint distributions that satisfy the marginals; independence names 0.01, a point inside that set it was never entitled to.
Identical to the master film's: a declared illustrative input (CC-001) and the kernel's bounds and witnesses (CC-001, CC-004), reproduced from a clean clone in CI. The population and which items each guard misses are illustrative constructions (the master's seed); no measured system appears. The cut removes the per-world atom vectors, the endpoint-witness stamps, the ledger tags and the registry locator; each is one click away at /try/.
What this does not establish
- does not certify any stacked system as safe, and shows no measured system
- does not estimate or recover the true dependence between any two guards
- does not select a point inside the interval; the amber point is what one assumption would select
- the population and the arrangement are illustrations of feasible worlds, not data
What would require a correction
A clean-clone execution of the bound kernel on marginals (0.10, 0.10) returns AND bounds other than [0.0, 0.10], or a witness that fails a marginal check at tolerance 1e-9 (CC-001 / CC-004, REJECT); or any rendered frame shows a readout other than 10/100 for either guard while the BOTH counter moves — checkable frame by frame.
Sources and render record
Film manifest · Render receipt · First site deployment record
Current render: 2026-09-15. The receipt records the rendered inputs and output hash. It checks provenance, not scientific validity.