Unsaved mapping draft
The broken thing under review. Your edits land here — and invalidate proofs that depended on them. Text that does not parse stays local to its box and is not part of the shown revision.
· session-only; no save path connected · synthetic personas only, no real identities
| target field | expression (draft) | winning sources |
|---|
Pinned invariants
Rules currently in force. The WebMCP tools can stage proposals; confirmation happens through this page control.
- none pinned yet — the human states these; the agent stages them
Pending rules (agent-staged — not yet in force)
Counterexample matrix
The minimum persona ids appear above the table; the table lists every violation row, including alternate witnesses.
| persona | invariant | field | detail |
|---|
Select a violation row to view its field provenance
Provenance rail
For the selected person and field: which source supplied each input, and which branch of the expression produced the value.
Review packet
Bundles fresh evidence for human review. Refuses stale evidence. Apply is not exposed as a WebMCP tool and, in this demo, is a simulated final gate — no save path is connected.
no packet
GREEN — packet from fresh evidence at the current revision · STALE — a dependency changed; the old proof is dead · Pending — agent-proposed, awaiting your Confirm