CASE FILE
the boundary-crossing capstone

THE DOSSIER

One case file from many findings. It folds what forward-observers, surfacing, and hearsay return into a single honest verdict — and refuses to overclaim it. Independent membranes add up; a gated finding counts zero; a fired control voids the file; the words proof and theft never appear except to be denied.

Verify first · the control arm, live

Compile the case — try to make it lie

Set each membrane's finding and press compile. This is dossier.py ported faithfully: independent bits add, a gated finding contributes nothing, a silence carries its silence-gauge weight, a fired control invalidates everything, and the verdict is capped no matter how many bits pile up. Try to force a false "proven" — you can't.

◎ compile_dossier, ported verbatim — the real folding, client-side (no network)
prior P(taken up) before any finding50%
emission rate weights a silence (silence-gauge)0.05
Verbatim from dossier.py: counted bits = Σ over CLEAN positive/negative findings; gated → 0; a control that fired → INVALID; posterior = odds·2bits/(1+odds·2bits); verdict capped to "a strong lead across N membranes — evidence, NOT proof of theft." Positive bits here are illustrative per-detector figures; real bits come from each detector's own run.
Why it folds this way

Honest combination has rules

What it does

Independent membranes add bits. A published hit, a weights surface, and a relayed lead are different routes — so their evidence multiplies (bits add). Three clean-but-modest crossings can make a strong case.

It shows its work: every counted finding and every explained-away one is listed, so the number is auditable.

What it refuses

Gated stays gated. A contaminated or impossible finding, explained away at its detector, contributes zero here — it can't be smuggled back in.

One fired control voids the file. A held-out marker lighting up anywhere invalidates the whole run. And the verdict is capped — never "proof," never "theft," never a legal finding, however many bits accumulate.

SOURCE · github.com/DavidWise01/the-dossier · dossier.py (compile_dossier + capped verdict) · selftest.py (independence adds bits, gated counts zero, all-silence insufficient, fired control invalid, verdict never claims proof). The capstone of the membrane map.
⧉ the code (GitHub) ⊞ the membrane map ◎ forward-observers ▽ surfacing “” hearsay ◔ silence-gauge