Record the play agent rulings: six forks, Ruled facts, minted loot

The operator accepted the map's recommendation on PA-Q1, Q3, Q7, Q10, Q12
and Q13 on 2026-09-22. The operator also ruled PA-Q15: the play authority's
facts stand as Ruled, and it mints quantity without evidence ("if the agent
can invent people, it can invent loot"). Only Play gains either;
elaborators, consumers and the seed keep the evidence gate.

The target now lists the library's fourth piece (the table vocabulary and
inference seams) and the affordance grants. Invariant 5 gains Ruled facts
and minting, and invariant 8 shows the kernel's refusal of the player's own
act. Cut 3 still specifies the superseded PlayCarriesEvidence refusal and
is being respecified.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

docs/architecture/ghostlight-play-agent-cut.md

@@ -183,7 +183,9 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
   true by construction. C remains the path for credentialed third-party
   endpoints and is recorded as PA.f1.
 - **Depends on it:** Cut 2.
-- **Ruling:** —
+- **Ruling:** A, as recommended.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
 
 ### PA-Q2 What a Persona perceived
 
@@ -235,7 +237,9 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
   it; in-flight inference on a local machine is the cheap thing to lose. One
   owner for turn state.
 - **Depends on it:** Cut 6.
-- **Ruling:** —
+- **Ruling:** A, as recommended.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
 
 ### PA-Q4 Exercising on an actor's behalf
 
@@ -352,7 +356,9 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
 - **Recommendation: B**, measured at the gate against A on the same turn
   script; the list is one constant and widening it is a one-line change.
 - **Depends on it:** Cut 7 (the library takes a name list), Cut 8 (the list).
-- **Ruling:** —
+- **Ruling:** B, as recommended.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
 
 ### PA-Q8 The turn lifecycle, and what survives a restart
 
@@ -424,7 +430,9 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
     invariant 3.
 - **Recommendation: A.**
 - **Depends on it:** Cut 5.
-- **Ruling:** —
+- **Ruling:** A, as recommended.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
 
 ### PA-Q11 The player's prose
 
@@ -474,7 +482,9 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
   library piece the target did not list; the target's Ownership section
   should name it when this is ruled.
 - **Depends on it:** Cut 7, Cut 8.
-- **Ruling:** —
+- **Ruling:** A, as recommended.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
 
 ### PA-Q13 How the player sees why an act was refused
 
@@ -500,7 +510,9 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
 - **Recommendation: A.**
 - **Depends on it:** Cut 7 (`describe_refusal`), Cut 8 (`refusal` on the turn),
   Cut 9 (the line).
-- **Ruling:** —
+- **Ruling:** A, as recommended.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
 
 ### PA-Q14 L1.f13 and the gate
 
@@ -516,6 +528,25 @@ four more tests there (`#[cfg(target_os = "linux")]`, see the stock-lenses map).
 - **Ruling:** finding.
 - **Authority:** self-under-standing-go.
 
+### PA-Q15 What the play authority may assert and mint
+
+- **Asked:** 2026-09-22, from PA.f7: the play authority could state no fact
+  of its own (a fact is `Canonical` with an evidence receipt, or `Claimed`
+  by a subject) and could mint no quantity (`Admit` requires evidence), so
+  the residue rule (anything untyped becomes a fact) had no standing for the
+  agent's rulings.
+- **Ruling:** the play authority's facts stand as `Ruled` by it, and the
+  play authority mints quantity. The operator: "shackling the Ghostlight
+  Dungeon agent to Njordr's invariants is crazy, if the agent can invent
+  people, it can invent loot." Only `Play` gains either. Elaborators,
+  consumers and the seed keep the evidence gate, so a consumer feeding
+  Njordr keeps quantity provenance.
+- **Authority:** operator.
+- **Ruled:** 2026-09-22.
+- **Supersedes:** PA-Q5's `PlayCarriesEvidence` refusal ("so it cannot
+  mint quantity") and PA.f7. Cut 3 is respecified to match.
+- **Depends on it:** Cut 3.
+
 ## Order, and why
 
 Subtraction first, then library, then Dungeon's table. The automatic cover
@@ -1117,7 +1148,7 @@ Interpreter, the elaborator sweep and lenses.
 - **PA.f6 (pre-existing, low, recorded):** the Projector's stimulus is every
   row the subject has ever held; it grows without bound over a long session.
   The recency marker does not bound it.
-- **PA.f7 (pre-existing, low, recorded):** the play authority cannot create
+- **PA.f7 (pre-existing, superseded by PA-Q15's ruling):** the play authority cannot create
   quantity (no evidence) and cannot state a canonical fact; the agent rules
   with structure and claimed facts only. Enough for the gate; a table that
   hands out coin needs a ruling on quantity provenance.

docs/architecture/ghostlight-play-agent.md

@@ -51,10 +51,17 @@ Persona changes.
 - **Dungeon** owns the play agent: its loop, its prompt, its tool catalog, the
   turn lifecycle, and the Eve surface. None of it enters the library
   vocabulary.
-- **The library** gains only consumer-neutral pieces. These are one author
-  capability for a play authority, a retire primitive, and a callable Persona
-  turn (Projector then Persona) that does not require the controller runner. A
-  consumer other than Dungeon could run its own table on them.
+- **The library** gains only consumer-neutral pieces:
+  - one author capability for a play authority;
+  - retirement, and granting and revoking affordances;
+  - a callable Persona turn (Projector then Persona) that does not require
+    the controller runner;
+  - the table vocabulary (`table.rs`: the world view, named tool subsets and
+    their decoders, and refusal text), plus the public inference seams a
+    consumer needs to build and read a request.
+
+  A consumer other than Dungeon could run its own table on them. (Cut map
+  PA-Q10 and PA-Q12, ruled 2026-09-22.)
 - The library keeps everything the play path stops using: cover, grouped
   cells, action catalogs, the controller runner, the Interpreter, the elaborator
   sweep, and lenses. Offline consumers and simulation still own them.
@@ -107,7 +114,14 @@ Persona changes.
    consumer-neutral author capability. Its holder may:
    - declare in Active without answering elaboration demand;
    - reach the whole world, unconfined to a ground;
-   - advance time.
+   - advance time;
+   - state facts that stand as `Ruled` by it;
+   - mint quantity without an evidence receipt.
+
+   Only the play authority gains the last two. Elaborators, consumers and the
+   seed keep the evidence gate, so a consumer feeding Njordr keeps quantity
+   provenance. The operator: "if the agent can invent people, it can invent
+   loot." (Cut map PA-Q15.)
 
    The elaborator gate is unchanged: elaborator sessions still answer a
    boundary or deficit. The agent is Dungeon's detail demand: when the player
@@ -124,8 +138,11 @@ Persona changes.
 8. **The player's view is a projection.** The Projector renders the player's
    narration from committed state, as it does for every Persona (operator
    ruling, open question 11). Nothing the player is shown is world truth
-   unless it was committed. The agent's questions are the one thing shown
-   that is not derived from state.
+   unless it was committed. The surface also shows the kernel's refusal of
+   the player's own act, rendered from the refusal and the affordance's
+   preconditions. That is the world's verdict, derived from state, not a
+   claim of world truth (cut map PA-Q13). The agent's questions are the one
+   thing shown that is not derived from state.
 
 ## Playtest gate