Validate, then run the scenario.
01 DungeonQ product direction
Divert the session.
Keep origin out of reach.
DungeonQ is a defensive deception runtime. At a designated entry, it routes an admitted human or AI session into a persistent synthetic world, gives the participant useful world-only resources, and lets an operator observe and adapt that world within an approved policy.
Browser-local Proof Kernel. It does not perform host diversion, create a persistent world, or prove production protection.
CANONICAL PRODUCT / DECEPTION RUNTIME
A continuing world for the diverted participant
The participant keeps working inside an artificial world. A useful Wrong Ticket has authority only inside that world. Activity becomes operator evidence; a separately approved finite policy may add follow-up records. Independent read-back checks where the participant's authority stopped.
- 01Designated entryTrusted adapter
- 02DIVERTFail closed
- 03Persistent worldRead · write · return
- 04Wrong TicketWorld-only authority
- 05Observe + adaptFinite policy
ARCHIVED / WEBMCP COMPETITION PROFILE
Exercise the Proof Kernel
Give an agent a bounded synthetic Scenario Pack. dungeonq_scenario_admit uses the same strict
validator as the UI and CLI, then the page exposes only the tools allowed by the current proof state.
- 01Pack admittedStrict contract
- 02Kernel decidesPure decision
- 03Agent requestsBound review
- 04Human approvesNo agent tool
- 05Evidence retainedApply · verify · recover
B / DECISION
Deterministic proof
—
Canonical SHA-256
UI and WebMCP will replay the same pack independently.
Input digest + decision + proposal digest
Governed lifecycle
Agent proposes · Human approves · Broker applies- 1SimulatePure decision
- 2RequestBound digest
- 3ApproveHuman only
- 4ApplyLocal effect
- 5VerifyRead-back
- 6CompensateAppend only
LIVE NEGATIVE PROOF
Challenge the guardrails
Run a prohibited action against a clone. The original session and evidence must remain unchanged.
Capability envelope
0 failures- Run simulation to inspect
- —
Invariant checks
—- Awaiting deterministic evaluation
C / EVIDENCE
Receipts & audit chain
- No events yet.
Evidence appears after the first simulation.