Pressure-testing Ota on lead-quorum: native Python truth, repo-local fulfillment, and runtime bind projection
Overview lead-quorum was a strong pilot repo because it was small enough to reason about and real enough to fail honestly. It has: repo-local Python e…