@cratis/pi 7.128.0 → 7.129.0

package/package/corpus/product-sync.json

@@ -171,9 +171,9 @@
         }
       ],
       "synced": {
-        "version": "4.245.0",
-        "date": "2026-10-25",
-        "by": "Cratis/AI#820"
+        "version": "5.1.0",
+        "date": "2026-11-02",
+        "by": "Cratis/AI#975"
       },
       "covers": {
         "skills": [
@@ -201,7 +201,7 @@
         ],
         "rules": []
       },
-      "notes": "Cratis/AI#820: reviewed v4.245.0 release; protected-read constraint precedence preserved. Review correction: removed unsupported parser-repair and inbound-public refusal release attributions and the incorrect PLAY0136 event-key claim, restoring prior teaching. Published contract asset is byte-identical to the previous snapshot; pin and compatibility entry advanced together. Prior: Cratis/AI#779: reference-runner capability refusals taught as scoped per specification (introduced in v4.213.2, Cratis/Screenplay#897) from the v4.216.0 tool and MCP documentation and plan source: an unadmitted projection (UnsupportedEventContext, UnsupportedProjectionBlock) marks unsupported only the specifications that reach it or its read model, the others run and planIssues lists deferred issues; application-level issues still block every selected specification; no new render/runtime probe. Prior: Cratis/AI#776: PLAY0802 ReservedStoredName (introduced in v4.213.3, Cratis/Screenplay#893) taught from the v4.216.0 compilers and documentation: stored event source `Default` and stored event stream `All` (ordinal, name or `id` pin) refused at authoring time, a pin away from the reserved name valid, PLAY0273 kept as the binding backstop; no new render/runtime probe. Prior: Cratis/AI#784: standalone Screenplay 4.216.0 pinned; compiler contract replaced by the v4.216.0 release asset (adds the propose-repair destinationIntent v1 schema and PLAY0802 ReservedStoredName). Source-checked decision 0096 and the MCP reference for the explicit author-intent PLAY0470 repair: repair-intents discovery, intentActions feature detection, complete per-production selections, retained production-destination report and identity views, explicit apply and refusals. No new render/runtime probe. Prior: Cratis/AI#771: standalone Screenplay 4.213.0 pinned; regenerated compiler contract is byte-identical to the v4.213.0 release asset and unchanged from 4.212.4. Reviewed the full v4.212.4-v4.213.0 delta against tagged decision 0093 and MCP reference: pre-binding container identities and stable binding/migration continuity, own-slice member substitutions, containerIdentities completeness/ambiguity/collision refusals, retained ambiguous notes, explicit semanticRenames/retirements, binding fixes through MCP, exact reopen exception, notes/identity rollback and exact-ID re-add anchoring. No grammar, binder, ESM or diagnostic-code changes; no new render/runtime probe. Prior: Cratis/AI#772: standalone Screenplay 4.212.4 pinned; regenerated compiler contract is byte-identical to the v4.212.4 release asset. Source-checked joined-event automap/no automap overrides and level fallback in executable binding; PLAY0380 covers only all inside children/nested. No new render/runtime probe. Prior: Cratis/AI#769: standalone Screenplay 4.212.3 pinned; regenerated compiler contract is byte-identical to the v4.212.3 release asset. Source-checked both compilers and projection documentation for PLAY0801 DuplicateEventInProjectionScope: shared from/removal/clear set, separate join set, fresh sets per children/nested/variant level, and no two-row update through repeated from blocks with different keys. No new render/runtime probe. Prior: Cratis/AI#768: standalone Screenplay 4.212.2 pinned; regenerated compiler contract is byte-identical to the v4.212.2 release asset (unchanged from the previous contract). Source-checked v4.212.0 split-model dotted note targets, open-workspace applicationIdentity and complete add/reanchor substitutions; unbound container identities are not claimed. v4.212.1 aligns PLAY0535 collection fields, optional parameters and single-result identity inference. v4.212.2 counts read-only query denials for SPEC004, not SPEC006. No new render/runtime probe. Prior: Cratis/AI#762 and #761: source-checked v4.210.0 and v4.211.0 contracts for PLAY0800 CommandHandlerRequiresAttachment (required typed subject, permanent code-attachment requirement, other PLAY0268 families unchanged), independent reference remove/add batches, located same-text ambiguity conflicts and string MCP conflict/move-report document fields. v4.211.1 mapping changes inspected but excluded from this guidance update at the user's request; no typed PLAY0273 property/type arguments are claimed. Standalone Screenplay 4.211.1 and its compiler contract pinned; the contract is a byte-identical copy of the v4.211.1 release asset. No new render/runtime probe. Prior: Standalone 4.205.0 and byte-identical compiler contract pinned. Cratis/AI#746: Uuid ==/!= in command require and produces when (ESM v28): same-concept rule, bare Uuid against a concept, canonical literals, protected read paths in require only; PLAY0268 (different concepts, ordering, Uuid validation and concept rules, read paths in produces when) and PLAY0273 (non-canonical literal) checked against the 4.205.0 compiler, v28 selection read from the MCP executable-model view; Stage admits exact v1-v21 and v23-v26 pairs so v28 is refused STAGE-ESM-016, not probed against a Stage image; CLI 3.74.0 renders through v26. Prior: Standalone 4.204.0 and byte-identical compiler contract pinned. Cratis/AI#702 and #691: PLAY0690 reducer identity (Screenplay 4.170.0, native compiler only) and the screenplay.json validation gate (Screenplay 4.165.0; cratis screenplay validate reads it from CLI 3.65.0) are taught and probed against the 4.204.0 compiler. Cratis/AI#743: flat composite read-model keys (ESM v27): untyped projection key blocks on root from and remove with, equality-filter lists, single-instance by blocks and per-part fixtures, with PLAY0661/PLAY0662/PLAY0268 refusals checked against the 4.204.0 compiler; Stage origin/main still refuses v27 with STAGE-ESM-016 (stage-rendering.md); Stage v4.135.0 v26 admission (Host and executor run date comparisons; renderer STAGE-ESM-046) was source-checked for this sync; no render or runtime probe. Prior: Standalone 4.201.0 and byte-identical compiler contract pinned. Cratis/AI#733: the ui profile root template, shell options, appearance and new screens default (PLAY0788-PLAY0799, quick fix for the legacy layout line, ui-profiles MCP tool, 44 tools). Cratis/AI#735: chronological Date/DateTime ordering in command conditions and command/property literal validation (ESM v26), UTC tick precision and pre-rule offset validation; then matching remains ordinal. Source-checked Screenplay v4.199.0 commands, diagnostics, interoperability and specifications documentation plus decision 0087. Stage v4.127.1 still refuses v26 with STAGE-ESM-016 (stage-rendering.md and SemanticVersionFeatures.Supports); no render/runtime probe. Cratis/AI#576: prior mechanical compiler catch-up. Language batch #717/#722/#723/#724/#720/#728/#734 teaches atomic reaction batches (v22), described payload handlers (v23), portable linear matching, ordinal text rules (v24), protected command reads (v25), diagnostic arguments and event-source invokes mappings. Facts read at Screenplay v4.198.0 and introducing tags; Stage v4.127.0 admits exact v1-v21 and v23-v25 pairs but refuses v22/v26 and mixed pairs (STAGE-ESM-016), protected reads (044), atomic mode (043) and described handlers (STAGE-IMPL-002), even Stub mode. Stage text rules execute/render; no new renderer/runtime probe or Stage pin uplift. Cratis/AI#706: application navigation regions (module inherit, extend or override), toolbar slice buttons, blueprint template references and sample data packs in cratis-screenplay-ui-composition (references/application-shell.md), with the canonical shell vector and the rejection codes PLAY0710-PLAY0722 and PLAY0740-PLAY0765. Examples moved to the executable-state rules since 4.164: translator reactions in an Automation slice beside the Translate slice (PLAY0694) and the first record of a capture key appended with `when added`. Earlier: Standalone 4.164.0 and byte-identical compiler contract pinned. Cratis/AI#663: one origin per capture (PLAY0687). #668: executable no-event/redelivery v17. #684: concept query-argument validation in every version and query-error assertions v18. #681: executable refusal branches and refusal values v19. #666: proposal summary/severity counts and exact structural source proposals. Generated-concept rules select v20 with PLAY0688/0689 proofs and derived-matches repair; generated secrets and preview strategies remain refused. Release-baseline from-esm admission reads storedName. Standalone binding is not renderer admission: Stage 4.103.0 admits v1-v17 and v19; CLI 3.62.0 bundles Screenplay 4.159.0 / Stage 4.99.0 and renders through v16. Prior evidence remains unless superseded; no new renderer, Docker or browser probe."
+      "notes": "Cratis/AI#975: reviewed every release v4.246.0 through v5.1.0. Standalone 5.1.0 and its byte-identical contract pinned; the onboarding/environment contract exceptions are gone. v5.0.0: objects and lists are indented blocks (`member = value`, `item`, `none`, `empty`), inline JSON is PLAY0833, and every skill example uses the block form. v4.246.0 (decision 0115): a specification runs only its own slice; command specifications state their own events, automations state cross-slice hand-overs with `then invokes` (ESM v34), and every cross-slice expectation in the examples moved to the producing slice. v4.248.0: action subjects `for item`/`for screen` with PLAY0817-PLAY0821; every example action states its subject by intent. v4.250.0 (decision 0117): attached handlers beside unconditional produces with a resolved body bind as the v23 result contract; PLAY0800 only for the remaining shapes; PLAY0035 retired. v4.254.0: `$eventContext.occurred` runs in scoped projections for facts appended under `given clock` (probed on the 5.1.0 tool; a `given` fact carries none). v4.257.0: PLAY0824/PLAY0825 preferred-syntax rows. v5.1.0: `statemachine` and `workflow` (ESM v36) taught with a compiled, passing example; Stage 4.214.0 refuses v36. Cratis.Orleans engine hosting remains Cratis/AI#972. Editor-only, host-provider and board releases need no teaching change. Prior: Cratis/AI#820: reviewed v4.245.0 release; protected-read constraint precedence preserved. Review correction: removed unsupported parser-repair and inbound-public refusal release attributions and the incorrect PLAY0136 event-key claim, restoring prior teaching. Published contract asset is byte-identical to the previous snapshot; pin and compatibility entry advanced together. Prior: Cratis/AI#779: reference-runner capability refusals taught as scoped per specification (introduced in v4.213.2, Cratis/Screenplay#897) from the v4.216.0 tool and MCP documentation and plan source: an unadmitted projection (UnsupportedEventContext, UnsupportedProjectionBlock) marks unsupported only the specifications that reach it or its read model, the others run and planIssues lists deferred issues; application-level issues still block every selected specification; no new render/runtime probe. Prior: Cratis/AI#776: PLAY0802 ReservedStoredName (introduced in v4.213.3, Cratis/Screenplay#893) taught from the v4.216.0 compilers and documentation: stored event source `Default` and stored event stream `All` (ordinal, name or `id` pin) refused at authoring time, a pin away from the reserved name valid, PLAY0273 kept as the binding backstop; no new render/runtime probe. Prior: Cratis/AI#784: standalone Screenplay 4.216.0 pinned; compiler contract replaced by the v4.216.0 release asset (adds the propose-repair destinationIntent v1 schema and PLAY0802 ReservedStoredName). Source-checked decision 0096 and the MCP reference for the explicit author-intent PLAY0470 repair: repair-intents discovery, intentActions feature detection, complete per-production selections, retained production-destination report and identity views, explicit apply and refusals. No new render/runtime probe. Prior: Cratis/AI#771: standalone Screenplay 4.213.0 pinned; regenerated compiler contract is byte-identical to the v4.213.0 release asset and unchanged from 4.212.4. Reviewed the full v4.212.4-v4.213.0 delta against tagged decision 0093 and MCP reference: pre-binding container identities and stable binding/migration continuity, own-slice member substitutions, containerIdentities completeness/ambiguity/collision refusals, retained ambiguous notes, explicit semanticRenames/retirements, binding fixes through MCP, exact reopen exception, notes/identity rollback and exact-ID re-add anchoring. No grammar, binder, ESM or diagnostic-code changes; no new render/runtime probe. Prior: Cratis/AI#772: standalone Screenplay 4.212.4 pinned; regenerated compiler contract is byte-identical to the v4.212.4 release asset. Source-checked joined-event automap/no automap overrides and level fallback in executable binding; PLAY0380 covers only all inside children/nested. No new render/runtime probe. Prior: Cratis/AI#769: standalone Screenplay 4.212.3 pinned; regenerated compiler contract is byte-identical to the v4.212.3 release asset. Source-checked both compilers and projection documentation for PLAY0801 DuplicateEventInProjectionScope: shared from/removal/clear set, separate join set, fresh sets per children/nested/variant level, and no two-row update through repeated from blocks with different keys. No new render/runtime probe. Prior: Cratis/AI#768: standalone Screenplay 4.212.2 pinned; regenerated compiler contract is byte-identical to the v4.212.2 release asset (unchanged from the previous contract). Source-checked v4.212.0 split-model dotted note targets, open-workspace applicationIdentity and complete add/reanchor substitutions; unbound container identities are not claimed. v4.212.1 aligns PLAY0535 collection fields, optional parameters and single-result identity inference. v4.212.2 counts read-only query denials for SPEC004, not SPEC006. No new render/runtime probe. Prior: Cratis/AI#762 and #761: source-checked v4.210.0 and v4.211.0 contracts for PLAY0800 CommandHandlerRequiresAttachment (required typed subject, permanent code-attachment requirement, other PLAY0268 families unchanged), independent reference remove/add batches, located same-text ambiguity conflicts and string MCP conflict/move-report document fields. v4.211.1 mapping changes inspected but excluded from this guidance update at the user's request; no typed PLAY0273 property/type arguments are claimed. Standalone Screenplay 4.211.1 and its compiler contract pinned; the contract is a byte-identical copy of the v4.211.1 release asset. No new render/runtime probe. Prior: Standalone 4.205.0 and byte-identical compiler contract pinned. Cratis/AI#746: Uuid ==/!= in command require and produces when (ESM v28): same-concept rule, bare Uuid against a concept, canonical literals, protected read paths in require only; PLAY0268 (different concepts, ordering, Uuid validation and concept rules, read paths in produces when) and PLAY0273 (non-canonical literal) checked against the 4.205.0 compiler, v28 selection read from the MCP executable-model view; Stage admits exact v1-v21 and v23-v26 pairs so v28 is refused STAGE-ESM-016, not probed against a Stage image; CLI 3.74.0 renders through v26. Prior: Standalone 4.204.0 and byte-identical compiler contract pinned. Cratis/AI#702 and #691: PLAY0690 reducer identity (Screenplay 4.170.0, native compiler only) and the screenplay.json validation gate (Screenplay 4.165.0; cratis screenplay validate reads it from CLI 3.65.0) are taught and probed against the 4.204.0 compiler. Cratis/AI#743: flat composite read-model keys (ESM v27): untyped projection key blocks on root from and remove with, equality-filter lists, single-instance by blocks and per-part fixtures, with PLAY0661/PLAY0662/PLAY0268 refusals checked against the 4.204.0 compiler; Stage origin/main still refuses v27 with STAGE-ESM-016 (stage-rendering.md); Stage v4.135.0 v26 admission (Host and executor run date comparisons; renderer STAGE-ESM-046) was source-checked for this sync; no render or runtime probe. Prior: Standalone 4.201.0 and byte-identical compiler contract pinned. Cratis/AI#733: the ui profile root template, shell options, appearance and new screens default (PLAY0788-PLAY0799, quick fix for the legacy layout line, ui-profiles MCP tool, 44 tools). Cratis/AI#735: chronological Date/DateTime ordering in command conditions and command/property literal validation (ESM v26), UTC tick precision and pre-rule offset validation; then matching remains ordinal. Source-checked Screenplay v4.199.0 commands, diagnostics, interoperability and specifications documentation plus decision 0087. Stage v4.127.1 still refuses v26 with STAGE-ESM-016 (stage-rendering.md and SemanticVersionFeatures.Supports); no render/runtime probe. Cratis/AI#576: prior mechanical compiler catch-up. Language batch #717/#722/#723/#724/#720/#728/#734 teaches atomic reaction batches (v22), described payload handlers (v23), portable linear matching, ordinal text rules (v24), protected command reads (v25), diagnostic arguments and event-source invokes mappings. Facts read at Screenplay v4.198.0 and introducing tags; Stage v4.127.0 admits exact v1-v21 and v23-v25 pairs but refuses v22/v26 and mixed pairs (STAGE-ESM-016), protected reads (044), atomic mode (043) and described handlers (STAGE-IMPL-002), even Stub mode. Stage text rules execute/render; no new renderer/runtime probe or Stage pin uplift. Cratis/AI#706: application navigation regions (module inherit, extend or override), toolbar slice buttons, blueprint template references and sample data packs in cratis-screenplay-ui-composition (references/application-shell.md), with the canonical shell vector and the rejection codes PLAY0710-PLAY0722 and PLAY0740-PLAY0765. Examples moved to the executable-state rules since 4.164: translator reactions in an Automation slice beside the Translate slice (PLAY0694) and the first record of a capture key appended with `when added`. Earlier: Standalone 4.164.0 and byte-identical compiler contract pinned. Cratis/AI#663: one origin per capture (PLAY0687). #668: executable no-event/redelivery v17. #684: concept query-argument validation in every version and query-error assertions v18. #681: executable refusal branches and refusal values v19. #666: proposal summary/severity counts and exact structural source proposals. Generated-concept rules select v20 with PLAY0688/0689 proofs and derived-matches repair; generated secrets and preview strategies remain refused. Release-baseline from-esm admission reads storedName. Standalone binding is not renderer admission: Stage 4.103.0 admits v1-v17 and v19; CLI 3.62.0 bundles Screenplay 4.159.0 / Stage 4.99.0 and renders through v16. Prior evidence remains unless superseded; no new renderer, Docker or browser probe."
     },
     {
       "id": "scene",

package/package/corpus/skills/cratis-application-slice-conformance/SKILL.md

@@ -44,7 +44,7 @@ This skill is a method: it names no API of its own. When the Screenplay skills a
 | --- | --- |
 | Where each rule lives (validator, `Provide()`, handler result, constraint, exception) | `rules/vertical-slices.md` "The decision matrix"  |
 | A customization never makes a rejected model renderable; managed output is never hand-edited | Stage (`Customizations/` is the unmanaged seam; managed output is regenerated) |
-| Attached file or inline command handlers are refused with PLAY0800, a permanent requirement for a code implementation attachment (Requires Screenplay 4.210.0; older binders report PLAY0268); pending handlers with unconditional productions bind v23 as described commands, but reached bodies are Unsupported ImplementationBody and Stage refuses STAGE-IMPL-002 even in Stub mode | Screenplay and Stage; use the model as the gap-fill contract |
+| Attached file or inline command handlers bind beside unconditional `produces` with a resolved body (Screenplay 4.250.0) and are otherwise refused with PLAY0800 (4.210.0 to 4.249.x refuse every attached handler; older binders report PLAY0268); pending handlers with unconditional productions bind v23 as described commands, but reached bodies are Unsupported ImplementationBody and Stage refuses STAGE-IMPL-002 even in Stub mode | Screenplay and Stage; use the model as the gap-fill contract |
 
 ## Procedure
 

package/package/corpus/skills/cratis-arc-react-page/references/from-screenplay.md

@@ -83,9 +83,9 @@ module Marina
       screen BerthListScreen
         title "Berths"
         data BerthListView[] via query ListBerths
-        action BookBerth
+        action BookBerth for screen
           label "Book a berth"
-        action CancelBerth
+        action CancelBerth for item
         table BerthListView
           column boatName label "Boat"
           on row-click navigate to BerthDetailsScreen by berthId
@@ -94,7 +94,7 @@ module Marina
         data BerthListView via query GetBerth by berthId
         summary BerthListView
           field boatName label "Boat"
-        action CancelBerth
+        action CancelBerth for item
           navigate to BerthListScreen
 
   form BookBerthForm for BookBerth
@@ -119,8 +119,8 @@ field because `berthId` is the identifier, not something the user types.
 | `table BerthListView` with `column boatName label "Boat"` | `<DataPage.Columns><Column field='boatName' header='Boat' /></DataPage.Columns>`; one `Column` per modeled `column`, no extras | Verified |
 | A second `table` on one screen | `DataTableForQuery` / `DataTableForObservableQuery` ([data-tables.md](data-tables.md)) | Verified |
 | `summary BerthListView` with `field boatName label "Boat"` | Plain markup in the page or in `detailsComponent` (`{ item }`), one labelled line per modeled `field` | Gap: this skill's verified sources name no summary component |
-| `action BookBerth` with `label "Book a berth"` | `<MenuItem label='Book a berth' icon={...} command={() => showBookBerth()} />` plus `CommandDialog` and `useDialog` | Verified |
-| `action CancelBerth` on a list with a table | `MenuItem` with `disableOnUnselected`; the selected row supplies the identifier | Verified prop |
+| `action BookBerth for screen` with `label "Book a berth"` | `<MenuItem label='Book a berth' icon={...} command={() => showBookBerth()} />` plus `CommandDialog` and `useDialog`; no row fills its inputs | Verified |
+| `action CancelBerth for item` on a list with a table | `MenuItem` with `disableOnUnselected`; the selected row supplies the identifier | Verified prop |
 | `action` with no `label` | The model gives no text. Use the command name, spaced, and report it | Gap |
 | `action X` with `navigate to S [by p]` | Navigate to the page for `S` after the command succeeds, in `onSuccess`; pass `p` from the response or the row | Assumption: `screens.md` does not say when it navigates. The form's `on submit` is defined as "after a successful submit"; confirm with the model owner |
 | `on row-click navigate to S by p` | `DataPage` and `DataTableForQuery` forward no row-click prop (only `DataTableCore` has `onRowClick`, and it takes rows, not a query). Use controlled `selection` and `onSelectionChange` to navigate, or a link in a `Column` `body` | Gap: selection is not a click; report which you chose |

package/package/corpus/skills/cratis-screenplay-automations-and-translations/SKILL.md

@@ -95,7 +95,12 @@ another version behaves the same.
 
 ## When / when not
 - Use: "when X happens, then ...", schedules, retries, work queues, notifications, webhooks, APIs,
-  files or message feeds, events imported from another context, legacy sync.
+  files or message feeds, events imported from another context, legacy sync, lifecycles and
+  longer processes.
+- A lifecycle (where one thing is and what moves it on) is a `statemachine`; a process that
+  sends several commands, waits, asks for approval or gives up after a deadline is a
+  `workflow` (ESM v36). Read
+  [state machines and workflows](references/statemachines-and-workflows.md) before modeling either.
 - Not for: reaction, trigger or CDL grammar (`cratis-screenplay-captures-and-reactions`); stream
   identity and invariants (`cratis-screenplay-streams-and-consistency`); UI interactions such as
   `on click` (`cratis-screenplay-ui-composition`); hand-written reactors (`cratis-chronicle-reactor`).

package/package/corpus/skills/cratis-screenplay-automations-and-translations/references/automation-patterns.md

@@ -13,7 +13,7 @@
 - 9. Fan-out
 - 10. Long-running process shapes
 
-Complete compiled example: `todo-list-example.md` (binds as ESM v6; the list query
+Complete compiled example: `todo-list-example.md` (binds as ESM v34 for `then invokes`; the list query
 excerpt binds too, and the retry sweep that needs code is shown as a marked excerpt).
 
 ## 1. Deciding whether it is an automation

package/package/corpus/skills/cratis-screenplay-automations-and-translations/references/cases-to-specify.md

@@ -63,11 +63,11 @@ One spec in the slice does not cover the others.
 - Current admitted Automation/Translate specifications run through standalone
   `screenplay test` or MCP `run-specifications`. Validate/render alone is not V4;
   report unsupported/unbound separately from passing scenarios.
-- A command spec lists the cascade (v6 semantics: after
-  `when <Command>`, `then` lists every new fact, including reaction appends). Only when the V1
-  tool's compiler stops before v6 does it report a false PLAY0285 on a cascade:
-  then keep the cascade out of the command spec, specify it in the Automation slice
-  (`when append <Trigger>`) and record the expectation. See `cratis-screenplay-scenario-coverage`.
+- A specification runs only its own slice (Screenplay decision 0115). A command spec
+  states the command's own events; the Automation states what its reaction appends in
+  its own `when append <Trigger>` spec, and a command it invokes in another slice with
+  `then invokes <Command>` (ESM v34). Another slice's event in a spec is PLAY0285
+  (unreachable). See `cratis-screenplay-scenario-coverage`.
 - `given capture` never persists between specs: state the baseline in each record
   update spec. First records (root, child, nested) are added only; field-change
   `and`/`or` and transitions need previous state. Expressions/maps/unguarded record

package/package/corpus/skills/cratis-screenplay-automations-and-translations/references/statemachines-and-workflows.md

@@ -0,0 +1,164 @@
+# State machines and workflows (ESM v36)
+
+## Contents
+
+- Which construct
+- Complete example
+- Specifications
+- Diagnostics and targets
+
+Requires Screenplay 5.1.0 or later (`screenplay --version`). Sources: Screenplay
+`Documentation/screenplay/statemachines.md`, `workflows.md` and decision 0124.
+
+## Which construct
+
+| The domain says | Model |
+| --- | --- |
+| "When X happens, do Y", one step | An `Automation` slice with a reaction |
+| Where one thing is in its lifecycle, and what moves it on | A `statemachine` that follows the thing's read model |
+| A longer process: several commands, a choice, a wait for a fact or a person, a deadline, a fan-out | A `workflow` with one run per subject |
+
+A state machine never decides on commands: it follows facts that already happened. Entering
+a state may `send` a command or `start` a workflow; both may run again on redelivery, so the
+command or workflow must be safe to repeat. A workflow is how a process waits, retries, asks
+for approval and gives up; do not chain reactions across slices to imitate one.
+
+Both are top-level declarations, siblings of `trigger` and `policy`. They name commands,
+events, read models and personas declared in slices of any module. A model that declares one
+selects ESM v36.
+
+## Complete example
+
+This model compiles with `--warnaserror` and its three specifications pass with
+`screenplay test`:
+
+```screenplay
+concept InvoiceId : Uuid
+persona FinanceController
+module Billing
+  feature Invoices
+    slice StateChange SendInvoice
+      command SendInvoice
+        invoiceId InvoiceId identifier
+        produces event InvoiceSent
+    slice StateChange MarkOverdue
+      command MarkOverdue
+        invoiceId InvoiceId identifier
+        produces event InvoiceMarkedOverdue
+    slice StateChange PayInvoice
+      command PayInvoice
+        invoiceId InvoiceId identifier
+        produces event InvoicePaid
+    slice StateChange SendReminder
+      command SendReminder
+        invoiceId InvoiceId identifier
+        produces event ReminderSent
+    slice StateChange WriteOffInvoice
+      command WriteOffInvoice
+        invoiceId InvoiceId identifier
+        produces event InvoiceWrittenOff
+    slice StateView InvoiceStatus
+      readmodel Invoice
+        invoiceId InvoiceId key
+        status String
+      projection Invoices => Invoice
+        from InvoiceSent
+          invoiceId = $eventSourceId
+          status = "sent"
+        from InvoiceMarkedOverdue
+          status = "overdue"
+        from InvoicePaid
+          status = "paid"
+      query InvoiceById => Invoice optional
+        by invoiceId InvoiceId
+
+statemachine InvoiceLifecycle
+  description "Where an invoice is, from sent to settled"
+  follows Invoice
+  state Sent initial
+    on InvoiceMarkedOverdue -> Overdue
+    on InvoicePaid -> Paid
+  state Overdue
+    entering start CollectOverdue
+    on InvoicePaid -> Paid
+    on InvoiceWrittenOff -> WrittenOff
+  state Paid final
+  state WrittenOff final
+
+  specification GoingOverdueStartsCollection
+    given InvoiceSent
+      for "9c858901-8a57-4791-81fe-4c455b099bc9"
+    when append InvoiceMarkedOverdue
+      for "9c858901-8a57-4791-81fe-4c455b099bc9"
+    then is Overdue
+    then starts CollectOverdue
+
+workflow CollectOverdue
+  description "Reminds the customer, waits for payment and asks finance before writing off"
+  for Invoice
+  trigger when InvoiceLifecycle enters Overdue
+    -> Remind
+  action Remind sends SendReminder
+    next -> AwaitPayment
+  wait AwaitPayment for InvoicePaid expires after 14 days
+    expired -> ApproveWriteOff
+  approval ApproveWriteOff by FinanceController expires after 7 days
+    approved -> WriteOff
+  action WriteOff sends WriteOffInvoice
+
+  specification AnUnpaidInvoiceIsWrittenOff
+    given InvoiceSent
+      for "9c858901-8a57-4791-81fe-4c455b099bc9"
+    when append InvoiceMarkedOverdue
+      for "9c858901-8a57-4791-81fe-4c455b099bc9"
+    outcome AwaitPayment expired
+    outcome ApproveWriteOff approved
+    then sends SendReminder
+    then sends WriteOffInvoice
+    then completes
+
+  specification TheRunWaitsForPayment
+    given InvoiceSent
+      for "9c858901-8a57-4791-81fe-4c455b099bc9"
+    when append InvoiceMarkedOverdue
+      for "9c858901-8a57-4791-81fe-4c455b099bc9"
+    then sends SendReminder
+    then waits at AwaitPayment
+```
+
+- `follows Invoice` / `for Invoice`: the read model whose key is one instance (one run per
+  invoice). A transition condition (`on E when <condition> -> S`) reads that read model after
+  the event; a condition over an optional property is refused at binding.
+- Exactly one `initial` state; a `final` state has no transitions. An event takes the first
+  transition on it, in declaration order across the whole machine, whose condition holds and
+  whose target the current state allows. Anything else is ignored, not an error.
+- Workflow nodes: `trigger` (`on <Event>`, `when <StateMachine> enters <State>`, `every`,
+  `at`, `manual`), `action <Name> sends <Command> [attempts n] [timeout] [retry after]`,
+  `decide <Name> when <condition>` with exactly two outlets, `wait` for an event or a
+  duration, `approval <Name> by <Persona or Policy>`, `foreach <Name> over <collection>` and
+  `join all|any|at least n`. Edges are `<outlet> -> <Node>` under their node.
+- An unconnected negative outlet (`failed`, `rejected`, `expired`) fails the run; an
+  unconnected positive outlet ends that branch. Give every event wait and approval an
+  `expires after` (PLAY0849 warns otherwise).
+
+## Specifications
+
+| Construct | Lines |
+| --- | --- |
+| `statemachine` | `given <Event>`, `when append <Event>`, `then is <State>`, `then sends <Command>`, `then starts <Workflow>` (every command and workflow, in order) |
+| `workflow` | `given <Event>`, `when append <Event>` or `when start <key>`, `outcome <Node> <outlet>`, `then sends <Command>` (every one, in order), `then completes`, `then fails at <Node>`, `then waits at <Node>` |
+
+The reference evaluator steps the run deterministically. A wait or approval with no stated
+`outcome` suspends the run (`then waits at`); an action defaults to `next`; a wait for a
+duration resumes at once.
+
+## Diagnostics and targets
+
+- State machines: PLAY0834-PLAY0842 (missing or duplicate `initial` is PLAY0835, an
+  unreachable state warns PLAY0836, an undeclared reference is PLAY0840).
+- Workflows: PLAY0843-PLAY0851 (no trigger is PLAY0844, a bad outlet PLAY0847, a decision
+  without exactly two outlets PLAY0848, an undeclared reference PLAY0851); PLAY0839 and
+  PLAY0841 are shared.
+- Stage refuses ESM v36 models with `STAGE-ESM-016`; every other model renders as
+  before. The durable engine is Cratis.Orleans; its hosting and adapters are outside this
+  reference.

package/package/corpus/skills/cratis-screenplay-automations-and-translations/references/todo-list-example.md

@@ -5,14 +5,15 @@
 - Design-only additions
 
 A complete model: a result opens a work item, a reaction invokes a command, the command's fact
-closes the item. It binds as ESM v6 (`executableReady: true`), standalone and through `cratis screenplay mcp`.
-Stage renders supported event reactions, but this model's clock/cascade specs remain
-refused (`-024`/`-011`); keep them intact. A compiler that stops before v6 rejects the
-Automation slice at binding with PLAY0285 or PLAY0268. Versions: `cratis-screenplay-toolchain` `SKILL.md`.
-
-The first spec lists the whole cascade (`then` names every new fact: `CoursePassed`, and
-`CertificateSent` through the reaction), and `given clock` supplies the instant that
-`$context.occurred` needs. Both tools accept that cascade when they admit v6; an older compiler reports a false PLAY0285 on it.
+closes the item. `then invokes` selects ESM v34 (`executableReady: true` from Screenplay 4.246.0),
+standalone and through `cratis screenplay mcp`. The Stage spec runner compares `then invokes`, but the
+Cratis renderer refuses models after v33 with `STAGE-ESM-016`; keep the specifications intact. A compiler
+that stops before v34 refuses `then invokes`. Versions: `cratis-screenplay-toolchain` `SKILL.md`.
+
+Each specification states only its own slice (Screenplay decision 0115): `RecordingAPass`
+states `CoursePassed`, `SendingAfterAPass` states the hand-over with `then invokes
+SendCertificate` (ESM v34), and `SendingACertificate` states `CertificateSent`. `given clock`
+supplies the instant that `$context.occurred` needs.
 Current admitted scenarios can be run with
 standalone `screenplay test` or MCP `run-specifications`.
 
@@ -58,7 +59,7 @@ module Courses
           CoursePassed
             for enrolmentId
             enrolmentId = enrolmentId          // copied on purpose: the reaction selects it as a value
-            completedAt = $context.occurred    // carried on the fact: a projection cannot read $eventContext.occurred
+            completedAt = $context.occurred    // carried on the fact, so every reader sees the same instant
         produces when passed == false
           CourseFailed
             for enrolmentId
@@ -81,9 +82,6 @@ module Courses
           for "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
           enrolmentId = "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
           completedAt = "2026-10-05T08:00:00Z"
-        then CertificateSent
-          for "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
-          sentAt = "2026-10-05T08:00:00Z"
       specification RefusingANonCoordinator
         given caller
           authenticated
@@ -180,9 +178,8 @@ module Certification
           for "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
           enrolmentId = "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
           completedAt = "2026-10-05T08:00:00Z"
-        then CertificateSent
-          for "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
-          sentAt = "2026-10-05T08:00:00Z"
+        then invokes SendCertificate
+          enrolmentId = "0d3b9e2a-6c4f-4f1e-8b7a-5e2d1c3b4a01"
 ```
 
 ## Design-only additions

package/package/corpus/skills/cratis-screenplay-automations-and-translations/references/translate-example.md

@@ -93,9 +93,6 @@ module Exams
           for "7e9d1c2b-4a3f-4e5d-8c6b-1a2b3c4d5e06"
           outcome = "passed"
           score   = 87
-        then ExamPassed
-          for "7e9d1c2b-4a3f-4e5d-8c6b-1a2b3c4d5e06"
-          score = 87
     slice Automation RecordExamResult
       reaction PassTranslator
         when ProctorResultReceived
@@ -115,6 +112,14 @@ module Exams
       constraint OneResultPerAttempt
         unique event ExamPassed
         unique event ExamFailed
+      specification RecordingAPass
+        when append ProctorResultReceived
+          for "7e9d1c2b-4a3f-4e5d-8c6b-1a2b3c4d5e06"
+          outcome = "passed"
+          score   = 87
+        then ExamPassed
+          for "7e9d1c2b-4a3f-4e5d-8c6b-1a2b3c4d5e06"
+          score = 87
       specification RefusingASecondResult
         given ExamPassed
           for "7e9d1c2b-4a3f-4e5d-8c6b-1a2b3c4d5e06"
@@ -131,7 +136,8 @@ module Exams
 - Keep the capture and its appended event in Translate; put reactions to that local
   event in a separate Automation. Co-location in a directionless Translate warns
   PLAY0694 and fails `--warnaserror`; explicit inbound refuses it with PLAY0616.
-  `then` lists every new fact, so `TranslatingAPass` includes the Automation result.
+  A specification runs only its own slice (Screenplay decision 0115), so `TranslatingAPass`
+  states the Translate slice's fact and `RecordingAPass` states the Automation's result.
 - `when added` records first sight; the separate `when outcome` append handles
   later changes. For an update spec, seed the same reference with `given capture`.
   Requires Screenplay 4.175.0 or later (`screenplay --version`); older evaluators

package/package/corpus/skills/cratis-screenplay-captures-and-reactions/references/complete-examples.md

@@ -289,8 +289,8 @@ module Collections
         when trigger PaymentFileArrived
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           amount = 120
-        then InvoiceClosed
-          for "9c858901-8a57-4791-81fe-4c455b099bc9"
+        then invokes CloseInvoice
+          invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           reason = "paid"
       specification IssuingTheWeeklyDigest
         given clock "2026-10-05T07:00:00Z"

package/package/corpus/skills/cratis-screenplay-captures-and-reactions/references/invocation-identity.md

@@ -54,10 +54,16 @@ module Work
       specification ProcessingRequestedWork
         when append WorkRequested
           workId = "work-1"
-        then WorkRecorded
-          for "work-1"
+        then invokes RecordWork
+          workId = "work-1"
 ```
 
+The automation states the hand-over with `then invokes` (ESM v34). `RecordWork` is
+decided under the declared system identity, so a denial would reach the reaction's
+refusal branches, but `WorkRecorded` belongs to the `RecordWork` slice and is not kept
+in this specification (Screenplay decision 0115). `RecordWork`'s own slice proves the
+event with a `when RecordWork` specification.
+
 ## Diagnostics and target boundaries
 
 - PLAY0647: malformed, repeated or misplaced identity, including duplicate/empty roles.

package/package/corpus/skills/cratis-screenplay-command-surface/SKILL.md

@@ -105,11 +105,12 @@ fix to migrate. `--warnaserror` does not reject information diagnostics.
 properties, `reads`, `authorize`, `validate`, `produces`/`handler`, `concurrency`.
 Keep to it.
 
-A file/code `handler` cannot coexist with `produces` and fails binding
-with PLAY0800 (`CommandHandlerRequiresAttachment`): gap-fill the slice in code
-with a constrained implementation attachment, not by waiting for a new ESM version.
+A file/code `handler` beside unconditional `produces`, with a resolved nonempty body,
+binds as the v23 result contract: `produces` fixes the
+events and the body owns their property values. Without `produces`, with `produces ... when`,
+or with an unresolved body it fails binding with PLAY0800 (`CommandHandlerRequiresAttachment`).
 Read the required typed `subject` argument for the command, never parse the message.
-Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800; older binders use PLAY0268 for this refusal. A pending `handler implementation` beside unconditional `produces`
+Requires Screenplay 4.250.0 (`screenplay --version`); 4.210.0 to 4.249.x refuse every attached handler with PLAY0800 and older binders use PLAY0268. A pending `handler implementation` beside unconditional `produces`
 is a described command (ESM v23): the body owns payload values only. Prefer plain
 `produces` for declarative logic. Read [described handlers](references/described-handlers.md)
 when logic needs prose, for the result contract, PLAY0695–0698, Unsupported

package/package/corpus/skills/cratis-screenplay-command-surface/references/described-handlers.md

@@ -32,13 +32,17 @@ module Invoices
 
 A pending `implementation` has no `file` or fence. Bare `implementation` is valid;
 optional `hint` lines are ordered, nonblank quoted strings, decoded without trimming.
-One wrapper and at most one payload are permitted. Attaching a file or fence stops
-being a described command: attached handlers fail binding with PLAY0800
-(`CommandHandlerRequiresAttachment`) and cannot coexist with `produces`.
-This permanent limitation requires a constrained implementation attachment:
-gap-fill the slice in code, not by waiting for a supported ESM version.
-
-Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800 and its required typed `subject` declaration argument naming the command; older binders use PLAY0268. Hosts switch on the code and read `arguments.subject`, never parse the message.
+One wrapper and at most one payload are permitted. Attaching a file or fence makes it
+an attached handler. Beside unconditional `produces`, with a resolved, nonempty,
+language-tagged body, it binds with the same v23 result contract (Screenplay 4.250.0,
+decision 0117): the productions fix event types, count, order and destinations, and
+the body owns property values. Reaching the body in reference execution is Unsupported
+(`ImplementationBody`) and appends nothing. An attached handler with no `produces`,
+with `produces ... when`, or with an empty or unresolved body fails binding with PLAY0800
+(`CommandHandlerRequiresAttachment`): declare unconditional `produces`, split variable
+outcomes into separate commands, or attach a resolved body.
+
+Requires Screenplay 4.250.0 (`screenplay --version`) for attached handlers beside `produces` to bind; 4.210.0 to 4.249.x refuse every attached handler with PLAY0800, and older binders use PLAY0268. Hosts switch on the code and read `arguments.subject`, never parse the message.
 
 ## Result contract v1
 
@@ -61,7 +65,7 @@ explicitly admit this version, never silently drop the body.
 
 | Diagnostic | Meaning and action |
 | --- | --- |
-| PLAY0800 (error) | File/inline handler requires a constrained implementation attachment; `subject` identifies the command to gap-fill |
+| PLAY0800 (error) | File/inline handler without unconditional `produces` or a resolved, nonempty body; `subject` identifies the command |
 | PLAY0695 (information) | Described command admitted; command and RequirementId name the missing body |
 | PLAY0696 (error) | No productions, including response-only; add unconditional productions |
 | PLAY0697 (error) | Conditional productions; result v1 needs unconditional events |

package/package/corpus/skills/cratis-screenplay-command-surface/references/validate-rules.md

@@ -98,11 +98,11 @@ validate
 
 A bodied rule or fenced block on a validation, rule or policy binds as opaque code
 (ESM v3): the reference runner reports it unsupported, and a target must supply the
-implementation. Attached command handlers refuse PLAY0800 and require constrained
-implementation attachments; `file` constraints retain PLAY0268 (only `unique`
-constraints bind). Requires Screenplay 4.210.0 (`screenplay --version`) for the
-handler's PLAY0800; older binders use PLAY0268. Pending command handlers beside unconditional
-`produces` instead bind as described commands; see [described handlers](described-handlers.md).
+implementation. Attached command handlers bind beside unconditional `produces` with a
+resolved body (Screenplay 4.250.0) and otherwise refuse PLAY0800; `file` constraints
+retain PLAY0268 (only `unique` constraints bind). Pending and attached command handlers
+beside unconditional `produces` share the v23 result contract; see
+[described handlers](described-handlers.md).
 Literal text rules, portable patterns and Studio desugaring: [text and match rules](text-and-match-rules.md).
 Stage renders pure reducer transitions and opaque policy bodies, but refuses command and
 concept code validations and rule predicates (STAGE-ESM-005): those are gap-fill code. Prefer a

package/package/corpus/skills/cratis-screenplay-command-surface/verification.json

@@ -52,7 +52,7 @@
     },
     {
       "kind": "skill-contains",
-      "value": "A file/code `handler` cannot coexist with `produces`"
+      "value": "A file/code `handler` beside unconditional `produces`, with a resolved nonempty body,"
     },
     {
       "kind": "skill-contains",

package/package/corpus/skills/cratis-screenplay-event-modeling/references/nine-steps.md

@@ -274,11 +274,14 @@ module Invoicing
       specification IssuingOnMonday
         given clock "2026-10-05T07:00:00Z"
         when clock "2026-10-05T07:30:00Z"
-        then CollectionsDigestIssued
-          for "weekly"
-          issuedAt = "2026-10-05T07:30:00Z"
+        then invokes IssueCollectionsDigest
+          period = "weekly"
 ```
 
+Each slice proves its own link (Screenplay decision 0115): the automation states the
+command it invokes with `then invokes` (ESM v34), and `IssuingTheDigest` in the command's
+slice states `CollectionsDigestIssued`.
+
 At the example's verified Screenplay version, iterating the overdue items needs code (a clock trigger reads the whole view and takes
 no `by`); see `cratis-screenplay-automations-and-translations`. A reaction that `produces`
 directly while it `reads` fails binding (`PLAY0268`): decide in a command instead.

package/package/corpus/skills/cratis-screenplay-legacy-extraction/references/generated-recovery.md

@@ -178,9 +178,9 @@ resolved adapter version, diagnostic, retained/withheld form and open question:
 `MaximumExecutableModelVersion` below v15 withholds non-default concept generation
 with SP0073 and dependent values/responses/mappings with SP0052; pins against them
 withhold scenarios with SP0039. Below v7 responses/return expectations are withheld.
-A cap describes less behavior, not an equivalent implementation. Handler references
-compile but refuse executable binding (PLAY0800 for file/inline command handlers);
-record that verdict separately and gap-fill the slice with a constrained implementation
-attachment, not by waiting for ESM admission.
+A cap describes less behavior, not an equivalent implementation. A file/inline command
+handler binds only beside unconditional `produces` with a resolved body (Screenplay
+4.250.0); otherwise it refuses executable binding with PLAY0800. Record that verdict
+separately and gap-fill the slice in code.
 Requires Screenplay 4.210.0 (`screenplay --version`); older binders use PLAY0268 for these handlers.
 Never remove protection, required payloads or loss rows to obtain a green result.

package/package/corpus/skills/cratis-screenplay-model-authoring/references/language-reference.md

@@ -257,7 +257,7 @@ See read-surface `references/named-keys.md` for the collection-key exclusion alg
 | Disposition | Constructs |
 | --- | --- |
 | Binds and runs in the reference runner | `StateChange`/`StateView` slices; `produces` including `when` conditions over command properties and literal tags; the portable validation rules, `matches email`, quoted `matches` patterns and `require` over command properties; declarative policies and `authorize` on modules, features, commands and keyed queries; `unique` constraints; projections as Chronicle lowers them, including variants, except the projection constructs in the next row; specifications, including `given caller`, `then denied` and `when append` |
-| Binds, but the reference execution plan refuses it | A projection-level `remove via join`; `all` beside removals, `children` or `nested`; a `join`, `children` or `remove via join` inside `nested`; any event-context value other than the event source identity in a projection mapping or key, such as `$eventContext.occurred`, `$eventContext.sequenceNumber` or `$eventContext.causedBy.subject` (`$eventSourceId` and `$eventContext.eventSourceId` run) |
+| Binds, but the reference execution plan refuses it | A projection-level `remove via join`; `all` beside removals, `children` or `nested`; a `join`, `children` or `remove via join` inside `nested`; any event-context value other than the event source identity and occurrence time in a projection mapping or key, such as `$eventContext.sequenceNumber` or `$eventContext.causedBy.subject` (`$eventSourceId` and `$eventContext.eventSourceId` run; `$eventContext.occurred` runs in `from`, `every` and `children` blocks for facts appended during the run under `given clock`, while a `given` fact carries no occurrence time and reports Unsupported) |
 | Binds as ESM v6 (`PLAY0268` on a compiler that stops before v6) | `Automation` and `Translate` slices, reactions that produce or invoke, captures, top-level `trigger`, clock, trigger and capture specifications. The standalone `screenplay test`/MCP reference route evaluates admitted v6 actions; Stage renders supported event-triggered Automation, with remaining refusals in the Stage skill's `references/admission.md` |
 | Reaction with trigger `reads` | Direct-producing (or code-bodied) reaction with `reads`: `PLAY0268` ("ESM v6 cannot protect that decision dependency"), non-executable. Invokes-only reaction with `reads`: information only; the invoked command must declare and protect its own decision reads. Keep the `reads`; never remove them to obtain binding |
 | Binds as opaque code (v3); reference runner reports unsupported | Bodied reducers, bodied named rules, fenced `validate` blocks, code or file policies. A pure reducer body is the only attachment Stage admits |
@@ -279,7 +279,7 @@ See read-surface `references/named-keys.md` for the collection-key exclusion alg
 | Chronological command dates (ESM v26) | Same-primitive Date/DateTime `==`, `!=`, `>`, `>=`, `<`, `<=` in require/produces-when (property or literal RHS) and command/property rules (literal RHS only). DateTime uses UTC ticks, participating offset-less inputs reject Validation before rules; then matching stays ordinal. Requires Screenplay 4.199.0 (`screenplay --version`); older binders refuse PLAY0268. The Stage Host and executor run v26 (older Stage refuses STAGE-ESM-016); the renderer and legacy engines refuse STAGE-ESM-046 (toolchain `language-admission.md`). Read command-surface `references/date-comparisons.md`. |
 | Current routing and actor admission | Sources/streams and command/specification routes bind and reference-execute as v8; reaction `runs as system role` supplies the invocation actor as v10. Whole-workspace binding determines executable availability; CLI/Stage realization remains separate |
 | Blocks binding (`PLAY0268`) | enum/identity compliance and events combining personal or explicitly subject-scoped secret values with explicit subject marks; a compiler that stops before v13 refuses all `pii`/`secret` concepts ("compliance attributes require portable data-subject semantics"), while v13 binds them and Stage renders protection; bare `rule <Name>`, read paths without protected opt-in or in unsupported positions such as `produces when`, date comparisons with mixed primitives, optional condition operands, `$context`, protected read paths or `today`, date rules on concepts or reaction `where`, `$context.tenant`/claims/roles/causation in `produces`, `$env` conditions, `file` constraints, unquoted `import` of an external contract, a read model with neither explicit `key` nor unambiguous query-based identity as described above (several key marks bind as v27; older binders refuse PLAY0268; toolchain `language-admission.md`), queries with context `from` sources (typed query context is unadmitted), single-result filters (collections only), `scoped to` (opaque scope) or a `by` block on a list query or non-optional single result (a `performer` query is not refused: it is an opaque read, PLAY0270, left out of the executable model; [version gate](../../cratis-screenplay-toolchain/references/executable-subset.md#code-attachments-what-binds-what-never-does)); optional keyed and collection queries, including caller-supplied equality filters and observable delivery, bind, `$causedBy` and templates in projections |
-| Blocks binding (`PLAY0800`, permanent attachment requirement) | Attached file/inline command `handler`: gap-fill the slice with a constrained implementation attachment, not by waiting for ESM admission. PLAY0035 beside productions; pending described intent instead binds v23. Read required typed `arguments.subject` for the command, never parse the message. Compiler prerequisite and older PLAY0268 attribution: [diagnostic arguments](../../cratis-screenplay-toolchain/references/diagnostic-arguments.md) |
+| Blocks binding (`PLAY0800`) | Attached file/inline command `handler` with no unconditional `produces`, with `produces ... when`, or with an unresolved body. Beside unconditional `produces` with a resolved body it binds as the v23 result contract, and pending described intent also binds v23 (command-surface `references/described-handlers.md` has the compiler gate). Read required typed `arguments.subject` for the command, never parse the message. Compiler prerequisite and older PLAY0268 attribution: [diagnostic arguments](../../cratis-screenplay-toolchain/references/diagnostic-arguments.md) |
 | Blocks binding (`PLAY0271`, legacy meaning) | Command reads without protected opt-in and `concurrency`; combined protected reads/concurrency is PLAY0783 |
 | Deferred (`PLAY0269`, information) | Screens, layouts, templates, forms, contributions, UI profiles, themes, behaviors and `on`/`uses` |
 | Metadata only (`PLAY0270`, information) | `domain`, `seed`, `persona`, trigger and other descriptions, and `file` provenance on declarations |

package/package/corpus/skills/cratis-screenplay-read-surface/references/named-keys.md

@@ -183,7 +183,9 @@ module Billing
         when append PaymentRemoved
           invoice = "INV-1"
           method = "card"
-        then no readmodel PaymentTotals for {"invoiceId":"INV-1","method":"card"}
+        then no readmodel PaymentTotals for
+          invoiceId = "INV-1"
+          method    = "card"
         then readmodel PaymentTotals
           invoiceId = "INV-1"
           method = "cash"

package/package/corpus/skills/cratis-screenplay-read-surface/references/screen-patterns.md

@@ -83,7 +83,7 @@ module Berths
           berth BerthName = berth
       screen BookBerthScreen
         title "Book a berth"
-        action BookBerth
+        action BookBerth for screen
           navigate to OpenBookingsScreen
       specification BookingABerth
         given caller
@@ -115,7 +115,7 @@ module Berths
       screen OpenBookingsScreen
         title "Open bookings"
         data OpenBooking[] via query ListOpenBookings
-        action BookBerth
+        action BookBerth for screen
 ```
 
 ## What a screen pattern is not