@cratis/pi 7.24.0 → 7.26.0

package/package/corpus/skills/cratis-screenplay-specifications/references/reactions-and-cascades.md

@@ -5,7 +5,7 @@ tick, a trigger or a capture record, each new fact runs the reactions to its eve
 and what those append or invoke runs more, until nothing is left. `then` events
 compare every new fact, the action's and the reactions'.
 
-```screenplay
+```screenplay expect PLAY0469
 concept InvoiceId : Uuid
 module Collections
   feature Invoices

package/package/corpus/skills/cratis-screenplay-specifications/verification.json

@@ -3,6 +3,7 @@
   "input": "Write given/when/then specifications for a Screenplay slice.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "main `fd18129`"

package/package/corpus/skills/cratis-screenplay-streams-and-consistency/references/streams-example.md

@@ -9,7 +9,7 @@ The model compiles at 4.127.0 (V1, warnings as errors) but is not binding-ready
 concept fails binding (PLAY0268), `reads` and the `concurrency` block are PLAY0271, and
 `require` over a view is PLAY0268. Keep those lines: they state real intent.
 
-```screenplay
+```screenplay expect PLAY0516 test=unbound
 // cratis-screenplay-streams-and-consistency: complete design-mode example (V1 with --warnings-as-errors).
 // Shows: one business identity per stream, cross-stream references as payload, uniqueness
 // constraints (single, composite with release, unique event), a recorded state-dependent rule

package/package/corpus/skills/cratis-screenplay-streams-and-consistency/verification.json

@@ -3,6 +3,7 @@
   "input": "Review the stream identities in our Screenplay model, tell me whether two people can enrol in the last seat at once, and what happens when a client retries after a lost reply.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "one business identity per stream" },
     { "kind": "skill-contains", "value": "NOT enforced in the model today" },
     { "kind": "skill-contains", "value": "#3744" },

package/package/corpus/skills/cratis-screenplay-toolchain/SKILL.md

@@ -20,7 +20,7 @@ files is one application: always check the folder, never one file of it.
 
 ## Verified product sources
 
-When choosing or upgrading a tool, or checking version-specific capabilities, read `references/versions.md`; it is the only version table, and other skills point to it.
+When choosing or upgrading a tool, or checking version-specific capabilities, read `references/versions.md`; it is the only version table, and other skills point to it. For exact diagnostic codes, MCP names/parameters and standalone CLI options, search the large published [references/screenplay-contract.json](references/screenplay-contract.json), pinned by [references/screenplay-contract.version](references/screenplay-contract.version), rather than loading it in full. Locate a diagnostic by its exact `code` (for example `"code": "PLAY0029"`), a tool by its exact `name` (for example `"name": "read-workspace"`), or a command in `cliCommands`; read the matched object for retirement, parameters or options. [references/screenplay-contract-exceptions.json](references/screenplay-contract-exceptions.json) records reasoned exceptions for historical statements; it does not change the current contract.
 
 The standalone pin is Screenplay 4.127.0. CLI 3.41.0 bundles Screenplay 4.114.0,
 Stage 4.51.3 and Cratis.Arc.Screenplay 22.54.0. The single version table records

package/package/corpus/skills/cratis-screenplay-toolchain/references/cheat-sheet-example.md

@@ -4,7 +4,7 @@ One complete document with every construct family. Design mode, not executable.
 
 Binding blockers: unquoted import, `pii`, `reads` (PLAY0271), `starts with`, observable/list/filter query. Executable shapes are in the sibling examples. The bare-marker fence compiles warning-free on standalone 4.127.0; the earlier legacy-marker version compiled on 4.66.0 and CLI 3.28.2. `RecordingAPayment` lists the `InvoiceClosed` cascade, which the cratis 3.27.1 bundle (4.60.1) rejected with a false PLAY0285 ("outcome cannot be produced by 'RecordPayment'"); 3.28.2 accepts it.
 
-```screenplay
+```screenplay test=unbound
 // Design-mode cheat-sheet: every construct family; compiles warning-free on the standalone tool.
 domain Acme.Invoicing                      // optional; first line when present
 import Customers.CustomerRegistered        // unquoted = another bounded context's contract

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

@@ -0,0 +1,44 @@
+[
+  {
+    "file": ".cratis/ai/skills/cratis-screenplay-model-authoring/references/mcp-loop.md",
+    "text": "4.63.1. Cratis CLI 3.28.2 bundles Screenplay 4.66.0 (probed: 29 tools and the same views);",
+    "kind": "toolCount",
+    "value": "29",
+    "reason": "Historical Screenplay 4.66.0 probe. Remove when this older probe is removed or replaced by a current-release probe."
+  },
+  {
+    "file": ".cratis/ai/skills/cratis-screenplay-model-authoring/references/provenance.md",
+    "text": "| Connection facts (29/30 tools, `notifications/initialized`, 16 connection-local proposals, fixed root) | Screenplay `v4.66.0` `Source/DotNET/Screenplay.Mcp/McpToolCatalog.cs`, `McpConnection.cs`, `McpWorkspaces.cs`, `Documentation/screenplay/mcp/reference.md`, `install.md` | Read at the tag and probed against the standalone 4.66.0 tool (4.63.1 for the roots behavior) |",
+    "kind": "toolCount",
+    "value": "29",
+    "reason": "Historical 4.66.0 catalog without visualization. Remove when this provenance statement is removed or replaced."
+  },
+  {
+    "file": ".cratis/ai/skills/cratis-screenplay-model-authoring/references/provenance.md",
+    "text": "| Connection facts (29/30 tools, `notifications/initialized`, 16 connection-local proposals, fixed root) | Screenplay `v4.66.0` `Source/DotNET/Screenplay.Mcp/McpToolCatalog.cs`, `McpConnection.cs`, `McpWorkspaces.cs`, `Documentation/screenplay/mcp/reference.md`, `install.md` | Read at the tag and probed against the standalone 4.66.0 tool (4.63.1 for the roots behavior) |",
+    "kind": "toolCount",
+    "value": "30",
+    "reason": "Historical 4.66.0 catalog with visualization. Remove when this provenance statement is removed or replaced."
+  },
+  {
+    "file": ".cratis/ai/skills/cratis-screenplay-model-authoring/references/screen-authoring-workflow.md",
+    "text": "  remains on disk. On CLI 3.40.7: 9 requests and 9 responses, 37 tools,",
+    "kind": "toolCount",
+    "value": "37",
+    "reason": "Historical CLI 3.40.7 transcript, not the standalone pin. Remove when this probe is removed or replaced."
+  },
+  {
+    "file": ".cratis/ai/skills/cratis-screenplay-model-review/SKILL.md",
+    "text": "| Screenplay | `v4.66.0` (`c89198b`) | MCP catalog (29 tools: `describe-application`, `search-declarations`, `dependencies`, `find-assertion-gaps`, `read-workspace`, `declaration-details`) in `Source/DotNET/Screenplay.Mcp/McpToolCatalog.cs`; diagnostics PLAY0029, PLAY0191, PLAY0268, PLAY0271, PLAY0350, PLAY0381, PLAY0469 in `Source/DotNET/Screenplay/Diagnostics/DiagnosticCodes.cs`; decision 0008 (one data subject per event) |",
+    "kind": "toolCount",
+    "value": "29",
+    "reason": "Source evidence explicitly pinned to v4.66.0. Remove when this older source vector is removed or replaced."
+  },
+  {
+    "file": ".cratis/ai/skills/cratis-screenplay-toolchain/SKILL.md",
+    "text": "and the stdio transcript exposed 37 tools; standalone language 4.122.0 was",
+    "kind": "toolCount",
+    "value": "37",
+    "reason": "Historical CLI 3.40.7 / standalone 4.122.0 transcript (version vector in preceding lines). Remove when this probe is removed or replaced."
+  }
+]