← All proofs

Claim

CROWD BENCHMARK DOES NOT FEED HOUSE PREDICTION

Status

PROVEN_IN_CI

Law

The crowd and the house are separate one-way doors — player calls are never imported by the probability or emit path, and the crowd is served only as a benchmark.

Implementation

scripts/honesty-grep.sh 'calls never imported by the probability/emit path (the one-way door)'; crowd served via dedicated read model; D16 benchmark-only

Test

honesty-grep (clean) + packages/priors import isolation

Limitation

a future intentional fusion must ship as a versioned release with methodology

Last verified

2026-10-17 · build edd6a6f (edd6a6f35dcab81b178a2e1ef1a31c2901aa67b8)

Reproduction

bash scripts/honesty-grep.sh