NYM · A10 · A9 · ISCProof
A memory should
earn its place.
Give NYM a fact. Introduce a possibility. Make an explicit correction. Follow what the real system writes—and what it leaves alone.
YOUR THREE MOVES
One software rule.
Three kinds of statement.
- Record a decisionThe software must use a cache.
- Introduce a possibilityA cache might help. No decision yet.
- Correct explicitlyWithdraw the cache requirement.
Nothing has run yet. Each move makes a real request.
OBSERVED EXECUTION
Extract a candidate from the statement
Assess and bind write authority
Commit or deny the state transition
Seal the outcome and verify its timestamp
YOUR SESSION ONLY
What actually happened.
RECORDED EVIDENCE
Follow the identifiers.
A9 outcomes & proof lifecycle
Memory state history
What this demonstration establishes
This runs the existing NYM answer route and language write orchestrator. Only this demo's requests use active writing in a dedicated schema and per-session namespace. The normal NYM write-mode setting is unchanged.
A10 here checks authority to write a memory state. It is not an assessment that a real-world purchase is safe or that the user's assertion is true. The model can produce no candidate, reject a statement, or fail. Those results stay visible.
Assessments and outcomes below are read from the database. “Replacement demonstrated” requires both the initial and replacement A10 authorities to be consumed, matching A9 commits, the old SUPERSEDED state linked as predecessor of the new ACTIVE state, opposite rule values, an unchanged hypothetical step and two outcome proofs rechecked by the service. This browser does not independently verify cryptography. Signer identity trust and strict verification are not implied.
A resolution case is not an A9 denial. Pending proof, failed finalization and missing evidence are never labelled completed. This bounded demonstration does not cover every A9/A10 conformance case. Demo records are retained; this page does not offer deletion.
The current extractor has a narrow predefined rule vocabulary. This example uses its supported cache requirement; it does not demonstrate arbitrary facts such as project cities. Prompts use Turkish for the existing language runtime. A visit can make three model requests and multiple timestamp requests. A request timeout can leave a completed operation behind: refresh before taking another step.