📓 The Separation Bound, as Lexon

term · shared · knowledge

Trust T2 — the model's central claim, that the two agents cannot learn one another's outputs — expressed as pure topology: the proposal reaches the prover only through the Gap, the verdict flows to the First Person, and no clause routes anything back to the Mage. The claim {absence: to Mage} is checkable: the separation is not a promise either agent makes but a route that does not exist in the structure. 'Cannot, by design', written into the harness's own law.

Edges out

• proves → Privacy as a checkable absence
• references → Dual-Agent Harness

Navigation

← Welcome Visitors · Term Nodes