@cratis/pi 7.27.3 → 7.28.0

package/package/corpus/skills/cratis-screenplay-toolchain/references/screenplay-contract.json

@@ -1212,6 +1212,74 @@
             }
           ]
         },
+        {
+          "source": "eventsource Account\n  identifier String\n  stream All\nmodule M\n  feature F\n    slice StateChange S\n      command Record\n        id String identifier\n        produces event Recorded\n          stream Account.All\n",
+          "minimumSemanticVersion": "10.0",
+          "diagnostic": null,
+          "diagnostics": [],
+          "admission": [
+            {
+              "esmVersion": 1,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 2,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 3,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 4,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 5,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 6,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 7,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 8,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 9,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 10,
+              "status": "admitted",
+              "diagnostic": null,
+              "issue": null
+            }
+          ]
+        },
         {
           "source": "system Outside\nmodule M\n  feature F\n    slice StateChange S\n      operation External\n        uses Outside\n        execute\n          implementation\n            hint \u0022External work\u0022\n      command Run\n        produces External\n",
           "minimumSemanticVersion": null,
@@ -1305,7 +1373,8 @@
             2,
             3,
             4,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1317,7 +1386,8 @@
             1,
             3,
             4,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1329,7 +1399,8 @@
             1,
             3,
             4,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1341,7 +1412,8 @@
             1,
             3,
             4,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1353,7 +1425,8 @@
             1,
             3,
             4,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1365,7 +1438,8 @@
             1,
             3,
             4,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1375,7 +1449,8 @@
           "issue": null,
           "condition": [
             1,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1385,7 +1460,8 @@
           "issue": null,
           "condition": [
             1,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1395,7 +1471,8 @@
           "issue": null,
           "condition": [
             1,
-            5
+            5,
+            6
           ]
         },
         {
@@ -1405,7 +1482,7 @@
           "issue": null,
           "condition": [
             1,
-            5
+            6
           ]
         }
       ]
@@ -6174,6 +6251,74 @@
               "issue": null
             }
           ]
+        },
+        {
+          "source": "eventsource Account\n  identifier String\n  stream All\nmodule M\n  feature F\n    slice Automation S\n      event Recorded\n        value String\n      reaction FollowUp\n        from Account.All\n        when Recorded\n",
+          "minimumSemanticVersion": "10.0",
+          "diagnostic": null,
+          "diagnostics": [],
+          "admission": [
+            {
+              "esmVersion": 1,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 2,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 3,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 4,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 5,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 6,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 7,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 8,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 9,
+              "status": "refused",
+              "diagnostic": null,
+              "issue": null
+            },
+            {
+              "esmVersion": 10,
+              "status": "admitted",
+              "diagnostic": null,
+              "issue": null
+            }
+          ]
         }
       ],
       "admission": [
@@ -6209,27 +6354,39 @@
         },
         {
           "esmVersion": 6,
-          "status": "admitted",
+          "status": "conditional",
           "diagnostic": null,
-          "issue": null
+          "issue": null,
+          "condition": [
+            1
+          ]
         },
         {
           "esmVersion": 7,
-          "status": "admitted",
+          "status": "conditional",
           "diagnostic": null,
-          "issue": null
+          "issue": null,
+          "condition": [
+            1
+          ]
         },
         {
           "esmVersion": 8,
-          "status": "admitted",
+          "status": "conditional",
           "diagnostic": null,
-          "issue": null
+          "issue": null,
+          "condition": [
+            1
+          ]
         },
         {
           "esmVersion": 9,
-          "status": "admitted",
+          "status": "conditional",
           "diagnostic": null,
-          "issue": null
+          "issue": null,
+          "condition": [
+            1
+          ]
         },
         {
           "esmVersion": 10,
@@ -15245,6 +15402,83 @@
       "title": "A concept header repeats a compliance marker with the same wire identity.",
       "reserved": false,
       "retired": false
+    },
+    {
+      "code": "PLAY0660",
+      "name": "InvalidReadModelKey",
+      "severity": "error",
+      "severities": [
+        "error"
+      ],
+      "title": "A key modifier has an invalid owner, type or modifier combination.",
+      "reserved": false,
+      "retired": false
+    },
+    {
+      "code": "PLAY0661",
+      "name": "IncompleteReadModelKey",
+      "severity": "error",
+      "severities": [
+        "error"
+      ],
+      "title": "A single-instance lookup omits declared read-model key parts.",
+      "reserved": false,
+      "retired": false
+    },
+    {
+      "code": "PLAY0662",
+      "name": "InvalidReadModelKeyLookup",
+      "severity": "error",
+      "severities": [
+        "error"
+      ],
+      "title": "A read-model lookup has invalid parts, shape or sources.",
+      "reserved": false,
+      "retired": false
+    },
+    {
+      "code": "PLAY0663",
+      "name": "ProductionRouteOutsideCommand",
+      "severity": "error",
+      "severities": [
+        "error"
+      ],
+      "title": "A route is declared on a production outside a command.",
+      "reserved": false,
+      "retired": false
+    },
+    {
+      "code": "PLAY0664",
+      "name": "RedundantProductionRoute",
+      "severity": "warning",
+      "severities": [
+        "warning"
+      ],
+      "title": "A production route repeats its command\u0027s route.",
+      "reserved": false,
+      "retired": false
+    },
+    {
+      "code": "PLAY0665",
+      "name": "InvalidObserverFilter",
+      "severity": "error",
+      "severities": [
+        "error"
+      ],
+      "title": "An observer filter is malformed, unresolved or used with a non-event trigger.",
+      "reserved": false,
+      "retired": false
+    },
+    {
+      "code": "PLAY0666",
+      "name": "ObserverFilterExcludesEveryProducer",
+      "severity": "warning",
+      "severities": [
+        "warning"
+      ],
+      "title": "An observer filter excludes every statically known producer.",
+      "reserved": false,
+      "retired": false
     }
   ],
   "mcpTools": [
@@ -19755,11 +19989,12 @@
     },
     {
       "name": "semantic-diff",
-      "requiredParameters": [
-        "afterWorkspaceJson",
-        "beforeWorkspaceJson"
-      ],
+      "requiredParameters": [],
       "optionalParameters": [
+        "after",
+        "afterWorkspaceJson",
+        "before",
+        "beforeWorkspaceJson",
         "expectedSourceRevision",
         "limit",
         "offset"
@@ -19767,6 +20002,80 @@
       "inputSchema": {
         "type": "object",
         "properties": {
+          "before": {
+            "type": "object",
+            "properties": {
+              "workspace": {
+                "type": "string",
+                "enum": [
+                  "active"
+                ]
+              },
+              "path": {
+                "type": "string"
+              },
+              "workspaceJson": {
+                "type": "string"
+              }
+            },
+            "required": [],
+            "additionalProperties": false,
+            "description": "Select exactly one source: the open workspace, a read-only model folder/worktree path admitted like open-workspace, or a complete canonical export. Relative paths use the server working directory; Git refs are not resolved.",
+            "oneOf": [
+              {
+                "required": [
+                  "workspace"
+                ]
+              },
+              {
+                "required": [
+                  "path"
+                ]
+              },
+              {
+                "required": [
+                  "workspaceJson"
+                ]
+              }
+            ]
+          },
+          "after": {
+            "type": "object",
+            "properties": {
+              "workspace": {
+                "type": "string",
+                "enum": [
+                  "active"
+                ]
+              },
+              "path": {
+                "type": "string"
+              },
+              "workspaceJson": {
+                "type": "string"
+              }
+            },
+            "required": [],
+            "additionalProperties": false,
+            "description": "Select exactly one source: the open workspace, a read-only model folder/worktree path admitted like open-workspace, or a complete canonical export. Relative paths use the server working directory; Git refs are not resolved.",
+            "oneOf": [
+              {
+                "required": [
+                  "workspace"
+                ]
+              },
+              {
+                "required": [
+                  "path"
+                ]
+              },
+              {
+                "required": [
+                  "workspaceJson"
+                ]
+              }
+            ]
+          },
           "beforeWorkspaceJson": {
             "type": "string",
             "description": "Complete canonical UTF-8 export-workspace JSON for the baseline, decoded and reassembled from export pages; not a Git ref or path."
@@ -19786,14 +20095,41 @@
           },
           "expectedSourceRevision": {
             "type": "string",
-            "description": "Echo the ordered-pair sourceRevision on continuation. Both snapshot revisions are pinned, including catalogs and exact source."
+            "description": "Echo the ordered-pair sourceRevision on continuation. Both source revisions are pinned, including catalogs and exact source; sources reload on each page and a change refuses continuation as stale."
           }
         },
-        "required": [
-          "beforeWorkspaceJson",
-          "afterWorkspaceJson"
-        ],
-        "additionalProperties": false
+        "required": [],
+        "additionalProperties": false,
+        "allOf": [
+          {
+            "oneOf": [
+              {
+                "required": [
+                  "before"
+                ]
+              },
+              {
+                "required": [
+                  "beforeWorkspaceJson"
+                ]
+              }
+            ]
+          },
+          {
+            "oneOf": [
+              {
+                "required": [
+                  "after"
+                ]
+              },
+              {
+                "required": [
+                  "afterWorkspaceJson"
+                ]
+              }
+            ]
+          }
+        ]
       }
     },
     {

package/package/corpus/skills/cratis-screenplay-toolchain/references/screenplay-contract.version

@@ -1 +1 @@
-4.127.0
+4.131.0

package/package/corpus/skills/cratis-screenplay-toolchain/references/sources-and-streams.md

@@ -15,7 +15,7 @@ Sources, streams and command/specification routes bind and reference-execute as
 `specifications.md`, `Versions.cs`; the complete example below compiled with
 `--warnaserror` and passed `screenplay test` on 4.125.0.
 
-CLI 3.41.0 renders only model versions up to v7: routed v8 models receive
+CLI 3.46.1 renders only model versions up to v7: routed v8 models receive
 `CLI-RENDER-004` before planning/publication. This is not a source-validation or
 binder refusal. Keep the routed model as contract and gap-fill its realization;
 never remove routing to obtain a render. Pins: `versions.md`.

package/package/corpus/skills/cratis-screenplay-toolchain/references/traps.md

@@ -1,6 +1,6 @@
 # Traps (one line each, with the fix)
 
-Current pins: Screenplay 4.127.0 / CLI 3.41.0 (`versions.md`). Unless explicitly
+Current pins: Screenplay 4.131.0 / CLI 3.46.1 (`versions.md`). Unless explicitly
 updated below, [probed]/[source] rows retain their historical v4.66.0/CLI 3.28.2
 scope; negative capability claims there are not current verdicts. Current routes
 bind as v8, v7 reaches Stage planning, reference tests have CLI/MCP routes, and
@@ -15,7 +15,7 @@ exact numbers are documented in the grammar. Compiler syntax: `cheat-sheet.md`.
 7. Current V1 warns on absent projection/children/nested targets (PLAY0514) and unknown removal/capture events (PLAY0166). Opt-in field-origins checks find unmapped declared fields (PLAY0534) where coverage is known; still walk lineage for skipped/opaque shapes.
 8. Severity does not soften a rule: `severity warning` still rejects the command.
 9. Authorization (module AND feature AND construct) runs before validation; unauthorized is `then denied`, never `then error`.
-10. Without a declared actor an invocation is caller-less. At 4.125.0 declare reaction `runs as system role "<Role>"` (ESM v10), keep its gate, and reference-test the trusted path. CLI 3.41.0's 4.114.0 parser rejects this syntax (PLAY0137); Stage 4.51.3 audits through v7 only. Arc gap-fill uses `[ExecuteCommandsAsSystem]` for returned commands, not a fictional `given caller`.
+10. Without a declared actor an invocation is caller-less. At 4.125.0 declare reaction `runs as system role "<Role>"` (ESM v10), keep its gate, and reference-test the trusted path. The historical CLI 3.41.0/4.114.0 parser rejected this syntax (PLAY0137); current CLI 3.46.1 instead refuses its v10 at render admission (CLI-RENDER-004), and Stage 4.52.0 audits through v7 only. Arc gap-fill uses `[ExecuteCommandsAsSystem]` for returned commands, not a fictional `given caller`.
 11. A reaction `produces` without `for` lands on the trigger's event source; clock and application triggers need an explicit `for`.
 12. Read-model identity comes from its keyed queries, which must all use the same `by` property: `query XById => RM optional` + `by xId XId` with `xId` a read-model property, and the identifier equals the projection's effective key (table in slice-design `references/read-model-design.md`; full rule, including Stage's narrower admission and `STAGE-ESM-017`, in `cratis-stage-rendering-and-sandbox` `references/admission.md`). Never mark a read-model property `identifier`. (PLAY0268 when the keyed queries do not share one `by` property; PLAY0351 when a `given`/`then` readmodel block omits that property.)
 13. Projection `key` routes only on `from` (projection-level: PLAY0381). `all` is per event source. Joins never create instances and match the joined event's source id. [probed]
@@ -31,7 +31,7 @@ exact numbers are documented in the grammar. Compiler syntax: `cheat-sheet.md`.
 23. `@` escapes are mandatory for `tag`, `authorize`, `produces`, `reads`, `file`, `validate`, `sequence`, `occurred`, `causedBy`, `namespace`, `correlation`, `causation`, and projection `key`/`parent`/`with` as names.
 24. Canonicalizing edits can drop unplaceable comments (PLAY0288; inspect `droppedCommentCount`); keep durable rationale in fenced Markdown `documentation`, not `//`, and summaries in `description`. Documentation survives canonical printing but changes neither executable bytes nor `modelRevision`; it is not rendered code.
 25. MCP writes: propose, review, approval, apply by the identity owner (the session that owns the MCP connection); other subagents return edit requests; proposals are connection-local, at most 16 (`cratis-screenplay-model-authoring`).
-26. Operations/systems and exact numbers remain unadmitted. Sources/streams/routes bind and reference-execute as ESM v8 at 4.125.0; generated values/responses bind as v7. CLI 3.41.0 renders through v7 only, with construct-specific Stage refusals. Consult released grammar rather than inventing syntax from decisions.
+26. Operations/systems and exact numbers remain unadmitted. Sources/streams/routes bind and reference-execute as ESM v8 at 4.125.0; generated values/responses bind as v7. CLI 3.46.1 renders through v7 only, with construct-specific Stage refusals. Consult released grammar rather than inventing syntax from decisions.
 27. Translate vs Automation is semantic: external facts become local facts in `Translate`; in-app event-to-event goes in `Automation`.
 28. Personas drive the board: a persona must list every policy on the path, including module-level `IsAuthenticated`.
 29. A sample's source check is not execution. Run selected admitted specifications through `screenplay test`/MCP; given==when clock still fires no scheduled occurrence.
@@ -46,7 +46,7 @@ exact numbers are documented in the grammar. Compiler syntax: `cheat-sheet.md`.
 37. Personas remain outside ESM bytes, but 4.127.0 specifications accept `given caller as <Persona>`: one authenticated deterministic policy witness, not every matching caller. Inspect the chosen `or` branch; use explicit callers when synthesis is refused.
 38. A rule that depends on stored state is `reads <View>` + `require <expr> message "..."` (stated intent; PLAY0268/0271 at binding are expected in design mode). The slice `description` must mark it NOT enforced in the model today (Screenplay#129/#209) and name the target: Arc `[ProtectedDecision]` + `DecisionRead<T>` (Arc v22.39.0 and later; available to gap-fill on Stage 4.51.3's Arc 22.50.5/Chronicle 19.32.0, not emitted protection), Chronicle DCB (`concurrency` scope), or a constraint where one fits. Forbidden: caller-supplied copies of state in `require`, boolean attestation inputs (`confirmsX == true`), rules hidden in `handler`/implementation-hint prose. An unguarded materialized read is unsafe for a protected decision.
 
-Current identity/compliance traps (v4.127.0 `identity.md`, `concepts.md`, `events.md`,
+Identity/compliance traps checked at v4.127.0 (`identity.md`, `concepts.md`, `events.md`,
 `purposes.md`, `diagnostics.md`):
 - `$identity` built-ins alias `$context.identity`; declared detail reads are PLAY0268,
   while an identity block alone does not block readiness. `scoped to` is opaque,

package/package/corpus/skills/cratis-screenplay-toolchain/references/verdicts.md

@@ -28,7 +28,7 @@ V3 are read from the MCP server or from a render, V1 and V5 from the CLIs.
 
 | Tool | Command | Pass | Fail |
 | --- | --- | --- | --- |
-| Standalone 4.127.0 (preferred) | `screenplay <model-root> --warnaserror --no-color` | exit 0 and a nonzero compiled file count | exit 1 defects; exit 2 could not run/invalid arguments or input |
+| Standalone 4.131.0 (preferred) | `screenplay <model-root> --warnaserror --no-color` | exit 0 and a nonzero compiled file count | exit 1 defects; exit 2 could not run/invalid arguments or input |
 | cratis (fallback) | `cratis screenplay validate <model-folder> --warnings-as-errors -o json-compact` | exit 0 | exit 5; exit 1 means missing path or no files |
 
 - Validate the complete application root, not an independently selected fragment.
@@ -85,7 +85,7 @@ never "specifications pass".
   `secret`, authorization, list queries, automations or rules to reach V3; record the
   slice and the code in the gap list.
 - A model is executable only on the compiler that bound it. V3 does not carry
-  to render admission: CLI 3.41.0 passes up to ESM v7 to Stage, refuses newer
+  to render admission: CLI 3.46.1 passes up to ESM v7 to Stage, refuses newer
   models with CLI-RENDER-004, and its v7 corpus receives STAGE-ESM-028/029.
   The old 3.28.x/Stage 4.24.x probes remain historical in the subset references.
 
@@ -151,9 +151,9 @@ source change makes earlier verdicts stale.
 
 Historical corpus fences were checked with standalone 4.68.0 and CLI 3.28.2.
 Do not promote those results to current pins without rerunning. Check each changed
-complete fence with standalone 4.125.0 `--warnaserror`; run `screenplay test` for
+complete fence with standalone 4.131.0 `--warnaserror`; run `screenplay test` for
 specification examples, and verify expected-diagnostic examples against their
-claimed codes. Where bundle compatibility matters, also check CLI 3.41.0.
+claimed codes. Where bundle compatibility matters, also check CLI 3.46.1.
 The `// Needs the standalone screenplay compiler (ESM v6)` first-line marker belonged to cratis
 before 3.28.2, which could not validate those fences; no fence carries it now, and a
 checker that still skips marked fences under `cratis` skips nothing. Examples meant to execute are also opened through MCP and