@cratis/pi 7.127.0 → 7.129.0

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

@@ -1,9 +1,22 @@
+## Contents
+
+- Reactions and cascades (ESM v6)
+  - An automation states the commands it invokes (ESM v34)
+  - The public event is stated in the publishing slice
+  - Version skew and `PLAY0285`
+
 ## Reactions and cascades (ESM v6)
 
 From ESM v6 every action sets reactions off: after a command, an append, a clock
 tick, a trigger or a capture record, each new fact runs the reactions to its event,
-and what those append or invoke runs more, until nothing is left. `then` events
-compare every new fact, the action's and the reactions'.
+and what those append or invoke runs more, until nothing is left.
+
+A specification runs only the slice that declares it (Screenplay decision 0115, every
+model and version from Screenplay 4.246.0). Only that slice's reactions, captures and
+outbound publications run; another slice's never do, so their facts cannot appear in
+`then`, read-model or query assertions. `then` events compare the new facts of the
+specification's own slice. A chain across slices is proved link by link: each slice's
+specification states its own link.
 
 ```screenplay expect PLAY0469
 concept InvoiceId : Uuid
@@ -17,16 +30,12 @@ module Collections
           invoiceId = invoiceId
       event InvoiceSent
         invoiceId InvoiceId
-      specification SendingAnInvoiceSchedulesAReminder
-        given clock "2026-10-02T09:00:00Z"
+      specification SendingAnInvoice
         when SendInvoice
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
         then InvoiceSent
           for "9c858901-8a57-4791-81fe-4c455b099bc9"
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
-        then ReminderScheduled
-          for "9c858901-8a57-4791-81fe-4c455b099bc9"
-          scheduledAt = "2026-10-02T09:00:00Z"
     slice Automation Reminders
       reaction ReminderScheduler
         description "Schedules a reminder when an invoice is sent"
@@ -37,11 +46,25 @@ module Collections
             scheduledAt = $context.occurred
       event ReminderScheduled
         scheduledAt DateTime
+      specification SendingAnInvoiceSchedulesAReminder
+        given clock "2026-10-02T09:00:00Z"
+        when append InvoiceSent
+          for "9c858901-8a57-4791-81fe-4c455b099bc9"
+          invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
+        then ReminderScheduled
+          for "9c858901-8a57-4791-81fe-4c455b099bc9"
+          scheduledAt = "2026-10-02T09:00:00Z"
 ```
 
 - A specification whose action is a command goes in the slice that declares that
   command, here `SendInvoice`, not in the `Automation` slice that reacts: a command
   from another slice is `PLAY0273` "command is unresolved in its slice" at binding.
+  It states the command's own events. The reminder is the `Reminders` slice's link,
+  stated there with `when append InvoiceSent`.
+- Stating another slice's event in a command specification is `PLAY0285` (the
+  outcome is unreachable from the specification's slice) and fails at run time with
+  "Expected N fact(s), got M". Move the expectation to the slice that produces it;
+  never delete the reaction.
 - A reaction invocation without a declared actor has no caller and a gated
   command denies. Reaction `runs as system role "<Role>"` supplies the
   authenticated system actor (ESM v10); `given caller` does not. Each command is
@@ -59,21 +82,47 @@ module Collections
   or mixed effects (`-037`). Single-hop reaction append specs render; deeper appends and
   command specs cascading into reactions remain `-011`. Keep refused scope as gap-fill against this contract: `cratis-screenplay-render-and-gap-fill`.
 
-### A command specification states the public event its slice publishes
+### An automation states the commands it invokes (ESM v34)
+
+When a slice's reaction invokes a command another slice owns, that command is decided
+against the world, so the reaction's `on refused` branches behave as before, but its
+facts belong to the other slice and are not kept. The automation states the hand-over
+with `then invokes`, the command and the values it passes (the complete model is the
+`Reminders` slice in captures-and-reactions `references/complete-examples.md`):
+
+```screenplay excerpt
+specification ClosingAPaidInvoice
+  when trigger PaymentFileArrived
+    invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
+    amount = 120
+  then invokes CloseInvoice
+    invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
+    reason = "paid"
+```
+
+- When a specification states at least one `then invokes`, the invocations the slice's
+  reactions made must match them exactly in count and order (any order under
+  `then events in any order`), comparing only the stated values. A refused invocation
+  counts too. A specification that states none does not compare invocations.
+- `then invokes` selects ESM v34. The Stage spec runner compares it; the Cratis
+  renderer refuses models after v33 with `STAGE-ESM-016`.
+- The invoked command's own events are proved by that command's slice, in its own
+  `when <Command>` specification.
+
+### The public event is stated in the publishing slice
 
-When an outbound Translate slice publishes an event from the private events a command produces, the command's specification
-lists the public event after the private ones (`then ProductPriceChanged` after `then ProductPriceSet`). `PLAY0285` follows the
-outbound projection (decision 0098); the accepted path is proven where the command is. An exact fact count
-fails without it.
+An outbound Translate slice that publishes a public event from private events states it
+in its own `when append <PrivateEvent>` specification. The command that produces the
+private event states only its own events (decision 0115 replaces the earlier rule that
+the command's specification listed the public event).
 
-### Version skew: cascades and the false `PLAY0285`
+### Version skew and `PLAY0285`
 
-`PLAY0285` (a specification's expected event contradicts every producer of its
-`when` command) runs in the syntax pass, with no binding. An older compiler does not trace
-reachability through reactions and `invokes`, so the example above passes `screenplay` (and is
-executable-ready over its MCP server) but fails an older `cratis screenplay validate` with
-`PLAY0285` "Specification outcome 'ReminderScheduled' cannot be produced by 'SendInvoice'",
-exit 5. If an older bundle still reports it, it is a tool skew, not a
-modeling error: do not delete the `then` line or move the event to make `cratis`
-green. Validate with the standalone tool or a current `cratis`, record which tool gave which
+`PLAY0285` (a specification's expected event contradicts every possible producer of its
+`when` command) follows the reactions, invocations and publications declared in the
+specification's own slice. From Screenplay 4.246.0 it refuses another slice's event as
+unreachable, and that is a modeling error: move the expectation to the slice that
+produces the event. A compiler older than ESM v6 does not trace reactions at all and
+can report `PLAY0285` on a reaction in the specification's own slice; that is tool skew.
+Validate with the standalone tool or a current `cratis`, record which tool gave which
 verdict, and see `cratis-screenplay-toolchain`.

package/package/corpus/skills/cratis-screenplay-specifications/references/vocabulary.md

@@ -33,7 +33,8 @@ This reference holds the given/when/then construct table and the enumeration and
 | `then error` | a validation or constraint rejection, reason unnamed |
 | `then denied` | an authorization denial (`Unauthorized`) |
 | `for <value>` | the event source of a `given`/`then` event, or of the `when` command or appended event |
-| `<property> = <value>` | a literal, `null`, or a one-line JSON-shaped object or list: `lines = [{"sku":"A-1","quantity":2}]` |
+| `<property> = <value>` | a scalar literal or `null` |
+| `<property>` with an indented block | an object (`member = value` lines) or a list (one `item` line per element); `<property> none` is an empty list. Screenplay has no JSON: `lines = [...]` is PLAY0833 |
 
 ## Composite-keyed read models
 
@@ -42,7 +43,7 @@ read model with two or more `key` marks, and every specification over it, with P
 
 - `given readmodel` and `then readmodel` state every key part (missing part PLAY0351,
   repeated part PLAY0519).
-- `then no readmodel <Type> for {"part":"value",...}` names every part (missing PLAY0661,
+- `then no readmodel <Type> for`, with one indented `part = value` line per part, names every part (missing PLAY0661,
   unknown PLAY0662, repeated member PLAY0294).
 - `when query` or `then query … arguments` supplies every `by` part of a single-instance
   query, or the equality filters of a list query (missing, unknown or repeated PLAY0468).

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

@@ -77,11 +77,11 @@
     },
     {
       "kind": "skill-contains",
-      "value": "Version skew: cascades and the false `PLAY0285`"
+      "value": "Version skew and `PLAY0285`"
     },
     {
       "kind": "skill-contains",
-      "value": "Specification outcome 'ReminderScheduled' cannot be produced", "file": "references/reactions-and-cascades.md"
+      "value": "never delete the reaction", "file": "references/reactions-and-cascades.md"
     },
     { "kind": "skill-contains", "value": "Examples typed from another document", "file": "references/examples-and-routes.md" },
     { "kind": "skill-contains", "value": "`PLAY0520`", "file": "references/examples-and-routes.md" }

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

@@ -114,9 +114,9 @@ with ordered imports means future files need explicit imports.
   filters, opaque `scoped to` and a `by` block on a list query remain PLAY0268; a `performer` query is an opaque read left out of the executable model (PLAY0270; [version gate](references/executable-subset.md#code-attachments-what-binds-what-never-does)). Read
   read-surface [equality filters](../cratis-screenplay-read-surface/references/equality-filters.md).
   Pending handlers beside unconditional productions bind as described commands (v23),
-  but reached bodies are Unsupported; attached file/inline handlers refuse PLAY0800
-  and require constrained implementation attachments (code gap-fill, not future ESM
-  admission).
+  but reached bodies are Unsupported; attached file/inline handlers bind the same way
+  beside unconditional `produces` with a resolved body and otherwise
+  refuse PLAY0800.
   Requires Screenplay 4.210.0 (`screenplay --version`); older binders use PLAY0268 for this refusal. Read `arguments.subject`, not the message, for the command.
   Eligible protected reads opt into v25; legacy reads and `concurrency` retain PLAY0271.
   Concept compliance binds as v13 (precise refusals: command-surface `references/compliance.md`);

package/package/corpus/skills/cratis-screenplay-toolchain/references/automation-translate-example.md

@@ -1,6 +1,6 @@
 # Automation and Translate example (ESM v6)
 
-Executable Automation and Translate slices. Binds as `executableReady` on the standalone tool and on the compiler bundled in the CLI; see [executable-subset.md](executable-subset.md) for what renders. Shows a reaction `produces` cascade, `invokes`, `where`, clock `at`, an application trigger, a capture with translate and a transition `when`, and v6 specifications.
+Executable Automation and Translate slices. Binds as `executableReady` (ESM v34, for `then invokes`) on the standalone tool and on a CLI whose bundled compiler is Screenplay 4.246.0 or later; see [executable-subset.md](executable-subset.md) for what renders. Shows a reaction `produces` cascade, `invokes`, `where`, clock `at`, an application trigger, a capture with translate and a transition `when`, and v6 specifications. Each specification states only its own slice (Screenplay decision 0115); the automation states the command it invokes with `then invokes` (ESM v34).
 
 The `Renew` command is ungated so that the reaction can invoke it: this is a syntax demonstration, not a safe production design. Reactions invoke with no caller, so a real model needs a trusted path (see [cratis-screenplay-automations-and-translations](../../cratis-screenplay-automations-and-translations/SKILL.md)).
 
@@ -23,12 +23,9 @@ module Membership
         given clock "2026-10-05T09:00:00Z"
         when Subscribe
           memberId = "5b6c1f7e-2d3a-4e8b-9c0d-1a2b3c4d5e6f"
-        then MemberSubscribed                             // v6: cascades are part of `then`
+        then MemberSubscribed                             // its own slice only: Onboarding states WelcomeSent
           for "5b6c1f7e-2d3a-4e8b-9c0d-1a2b3c4d5e6f"
           subscribedAt = "2026-10-05T09:00:00Z"
-        then WelcomeSent
-          for "5b6c1f7e-2d3a-4e8b-9c0d-1a2b3c4d5e6f"
-          sentAt = "2026-10-05T09:00:00Z"
 
     slice StateChange Renew
       command Renew                                       // ungated for the demo only: reactions invoke with no caller
@@ -78,9 +75,9 @@ module Membership
         when trigger RenewalFileArrived
           memberId = "5b6c1f7e-2d3a-4e8b-9c0d-1a2b3c4d5e6f"
           months   = 12
-        then MembershipRenewed
-          for "5b6c1f7e-2d3a-4e8b-9c0d-1a2b3c4d5e6f"
-          months = 12
+        then invokes Renew                                // ESM v34: the hand-over; Renew's slice proves MembershipRenewed
+          memberId = "5b6c1f7e-2d3a-4e8b-9c0d-1a2b3c4d5e6f"
+          months   = 12
       specification IssuingTheWeeklyReport
         given clock "2026-10-05T07:00:00Z"
         when clock "2026-10-05T07:30:00Z"

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 in this legacy control without protected-read opt-in: unquoted
 import, legacy `reads` (PLAY0271), condition-only `starts with` (PLAY0268).
-Property/concept text rules bind v24; eligible protected reads bind v25. Caller-supplied collection equality filters bind as ESM v14; context and single-result filters remain blocked. Executable shapes are in the sibling examples. `RecordingAPayment` lists the `InvoiceClosed` cascade; an older bundled compiler rejected it with a false PLAY0285 ("outcome cannot be produced by 'RecordPayment'").
+Property/concept text rules bind v24; eligible protected reads bind v25. Caller-supplied collection equality filters bind as ESM v14; context and single-result filters remain blocked. Executable shapes are in the sibling examples. `RecordingAPayment` states only `PaymentRecorded`: a specification runs only its own slice (Screenplay decision 0115), so `ReconcilingAPayment` states the hand-over with `then invokes CloseInvoice` and `ClosingAnInvoice` states `InvoiceClosed`.
 
 Concept compliance itself binds as ESM v13; reasons remain report-only PLAY0270. Stage renders v13 concept
 protection. Binder-only PLAY0268 refusals and subject-lineage limits: command-surface `references/compliance.md`.
@@ -91,7 +91,10 @@ module Billing
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           number    = "INV-000123"
           contact   = "ada@example.com"
-          lines     = [{"sku": "A-1", "quantity": 2}]
+          lines
+            item
+              sku      = "A-1"
+              quantity = 2
         then InvoiceRegistered
           for "9c858901-8a57-4791-81fe-4c455b099bc9"
           number       = "INV-000123"
@@ -105,7 +108,7 @@ module Billing
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           number    = "INV-000000"
           contact   = "ada@example.com"
-          lines     = []
+          lines none
         then error "Reserved number"
 
       specification RefusingAGuest
@@ -116,7 +119,7 @@ module Billing
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           number    = "INV-000123"
           contact   = "ada@example.com"
-          lines     = []
+          lines none
         then denied
 
       specification RejectingAnEmptyEmail          // one concept rejection spec, through this command
@@ -127,7 +130,7 @@ module Billing
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           number    = "INV-000123"
           contact   = ""
-          lines     = []
+          lines none
         then error "An email is required"
 
     slice StateChange CancelInvoice
@@ -170,7 +173,7 @@ module Billing
         data InvoiceRow[] via query ListInvoices
         table InvoiceRow
           column number label "Number"
-        action RegisterInvoice
+        action RegisterInvoice for screen
           label "Register invoice"
       specification ListingAnInvoice
         given caller                                  // module + feature gates apply to the query too
@@ -226,9 +229,7 @@ module Billing
         then PaymentRecorded
           for "0b6f3f7e-3c1e-4a53-9f7e-2a1c3b4d5e6f"
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
-          amount    = 100
-        then InvoiceClosed                            // ESM v6: the Reconciler cascade (amount > 0)
-          for "9c858901-8a57-4791-81fe-4c455b099bc9"
+          amount    = 100                             // the Reconciler's InvoiceClosed is another slice's fact (decision 0115)
 
 module Housekeeping                                   // no gates: this reaction declares no `runs as`, so its `invokes` has no caller
   description "Background follow-up"
@@ -286,8 +287,8 @@ module Housekeeping                                   // no gates: this reaction
           for "0b6f3f7e-3c1e-4a53-9f7e-2a1c3b4d5e6f"
           invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
           amount    = 100
-        then InvoiceClosed
-          for "9c858901-8a57-4791-81fe-4c455b099bc9"
+        then invokes CloseInvoice                     // ESM v34: the hand-over; CloseInvoice's slice proves InvoiceClosed
+          invoiceId = "9c858901-8a57-4791-81fe-4c455b099bc9"
 
     slice Translate LegacySync
       capture LegacyInvoices

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

@@ -49,7 +49,7 @@ examples belong to `cheat-sheet-example.md` and its siblings.
 
 | File | Mode | V1, warnings as errors | V3 (binds) |
 | --- | --- | --- | --- |
-| `cheat-sheet-example.md` | design: every construct family | 0 diagnostics, both tools (an older bundled compiler reported a false PLAY0285 on the `RecordingAPayment` cascade spec) | not ready by design (its header lists why; fewer blockers on the standalone tool) |
+| `cheat-sheet-example.md` | design: every construct family | 0 diagnostics, both tools | not ready by design (its header lists why; fewer blockers on the standalone tool) |
 | `executable-example.md` | executable, StateChange and StateView | 0 diagnostics, both tools | ready, both tools |
 | `pdl-example.md` | executable projections | 0 diagnostics, both tools | ready, both tools |
 | `automation-translate-example.md` | executable Automation and Translate (ESM v6) | 0 diagnostics, both tools (an older bundled compiler could not bind it) | ready, both tools |

package/package/corpus/skills/cratis-screenplay-toolchain/references/diagnostic-arguments.md

@@ -66,7 +66,7 @@ PLAY0781–PLAY0785 need Screenplay 4.207.0; earlier compilers omit these argume
 command gives one, else the read model name. The PLAY0781 `reason` keywords are listed in command-surface
 [protected reads](../../cratis-screenplay-command-surface/references/protected-reads.md); each refused read gets its own PLAY0781.
 
-Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800 (`CommandHandlerRequiresAttachment`) and its `subject`; older binders report attached command handlers as PLAY0268. `arguments.subject.kind` is `command` and `path` names the command. Treat the refusal as permanent: deliver a constrained implementation attachment by code gap-fill, not by waiting for ESM admission. Switch on the code and navigate the subject, never match message text.
+Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800 (`CommandHandlerRequiresAttachment`) and its `subject`; older binders report attached command handlers as PLAY0268. `arguments.subject.kind` is `command` and `path` names the command. From Screenplay 4.250.0 the code fires only when the handler lacks unconditional `produces` or a resolved, nonempty body; fix that shape or gap-fill in code. Switch on the code and navigate the subject, never match message text.
 
 For PLAY0524, `step` is given, given readmodel, when, when append or then.
 `stepIndex` counts every authored given/when/then clause once across all forms,

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

@@ -443,12 +443,12 @@ Requires Stage 4.129.0 for semantic Host/executor protected reads; older engines
 
 ## Binding (V2 and V3) - see `executable-subset.md` for the full table
 
-Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800 and its required typed `subject`; older binders attribute attached command handlers to PLAY0268. Other PLAY0268 refusal families are unchanged.
+Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800 and its required typed `subject`; older binders attribute attached command handlers to PLAY0268. From Screenplay 4.250.0 an attached handler beside unconditional `produces` with a resolved body binds instead. Other PLAY0268 refusal families are unchanged.
 
 | Code | Meaning | Fix |
 |---|---|---|
 | PLAY0268 | construct not representable in a supported ESM version yet (`executable-subset.md` lists unsupported query shapes, protected enum/identity concepts, read paths without opt-in or in `produces when`, Uuid ordering, different Uuid concepts and Uuid rules, and older bundled-compiler limits) | stay in design mode, or change the construct if the domain allows; never strip `pii`/authorization |
-| PLAY0800 | error `CommandHandlerRequiresAttachment`: a file/inline command handler requires a constrained implementation attachment; required typed `subject` identifies the command | permanent limitation: gap-fill the slice in code, not by waiting for ESM admission; hosts switch on the code and read `arguments.subject`, never match the message |
+| PLAY0800 | error `CommandHandlerRequiresAttachment`: a file/inline command handler has no unconditional `produces` result contract or no resolved, nonempty, language-tagged body; required typed `subject` identifies the command | declare unconditional `produces` beside a resolved body, split variable outcomes into separate commands, or gap-fill the slice in code; hosts switch on the code and read `arguments.subject`, never match the message |
 | PLAY0269 / 0270 | UI deferred / authoring metadata (I) | none |
 | PLAY0271 | legacy `reads` or a `concurrency` block keeps its legacy meaning and cannot bind (error) | opt eligible command reads into v25 with reviewed preamble repair; `concurrency` remains unbound; uniqueness uses a constraint, target realization stays separate |
 | PLAY0273 | incoherent: ambiguous `for`, property not on event revision, operand type mismatch, derived `$eventContext` path, unparsable date literal or offset-less DateTime literal in an admitted v26 comparison, or a Uuid comparison literal that is not lowercase hyphenated (v28) | fix the reference or literal; DateTime needs offset/Z; Uuid literals are lowercase hyphenated |

package/package/corpus/skills/cratis-screenplay-toolchain/references/executable-subset.md

@@ -328,7 +328,8 @@ for the result contract. Attached handlers remain unbound.
 
 Inline fences (`csharp`, `typescript`, `react`, `html`, `sql`, `java`) and `file <path>` attach
 code to an owner. Two kinds block binding (V3 blocked, no specification runs):
-the attached command `handler` (PLAY0800) and the `file` constraint (PLAY0268, see below).
+an attached command `handler` without unconditional `produces` or a resolved body
+(PLAY0800) and the `file` constraint (PLAY0268, see below).
 A query `performer` does not block: it is an opaque read, reported as information
 `PLAY0270` and left out of the executable model; a specification that reads it is left
 out, and every other specification still runs with `screenplay test`. That is the compiler fact only; Stage renders the body separately ([performer bodies](../../cratis-screenplay-read-surface/SKILL.md#performer-bodies-are-rendered)).
@@ -344,11 +345,13 @@ bodies still leave their owner non-executable.
   can only declare uniqueness: declare it with `unique ...`, and put other rules in command
   validation or a `require` condition.
 
-- A file/fenced command `handler` refuses PLAY0800, wrapped or direct: a permanent
-  requirement for a constrained implementation attachment, not future ESM admission.
-  Gap-fill the slice in code; hosts read the required typed `arguments.subject` for
-  the command rather than matching message text.
-  Requires Screenplay 4.210.0 (`screenplay --version`); older binders use PLAY0268.
+- A file/fenced command `handler`, wrapped or direct, binds as the v23 result contract
+  beside unconditional `produces` with a resolved, nonempty, language-tagged body:
+  `produces` fixes the events, the body owns their
+  values, and a reached body is Unsupported (`ImplementationBody`). With no `produces`,
+  with `produces ... when` or with an unresolved body it refuses PLAY0800; hosts read the
+  required typed `arguments.subject` for the command rather than matching message text.
+  Requires Screenplay 4.250.0 or later (`screenplay --version`) for an attached handler beside `produces` to bind; 4.210.0 to 4.249.x refuse every attached handler with PLAY0800 and older binders use PLAY0268.
   A pending intent instead selects v23 with unconditional productions (PLAY0695 information).
   Missing productions use PLAY0696, conditional ones PLAY0697, duplicate handlers PLAY0698.
   Hints are not executable code, locks or confirmation.
@@ -383,7 +386,7 @@ bodies still leave their owner non-executable.
 | Uuid comparison with `<`, `>`, different concepts, optional operands, a validation rule or a concept rule | PLAY0268 | v28 admits `==`/`!=` in command conditions only, between the same concept or a bare Uuid and a concept |
 | Legacy `reads <View> ...` on a command | PLAY0271 (error) | `command reads protected` opts eligible views into v25; see command-surface protected reads |
 | `concurrency` block on a command | PLAY0271 (error) | "concurrency metadata keeps its legacy meaning and cannot bind to ESM v1" |
-| File/inline `handler` (see above) | PLAY0800 | permanent attachment requirement: gap-fill in code; pending described handlers instead bind v23, with body execution/rendering separate |
+| File/inline `handler` without unconditional `produces` or a resolved body (see above) | PLAY0800 | declare unconditional `produces` beside a resolved body or gap-fill in code; pending and attached handlers beside `produces` bind v23, with body execution/rendering separate |
 | `$context.tenant`, roles, claims, causation | PLAY0268 | no portable scalar counterpart |
 | Arithmetic or raw expression in a `produces` mapping | PLAY0268 | |
 | Template `` `${x}` `` or `$causedBy` in a projection | PLAY0268 | |

package/package/corpus/skills/cratis-screenplay-toolchain/references/language-admission.md

@@ -30,8 +30,11 @@ exact language/semantic pairs; binding, reference execution and rendering are se
 | v31 | A policy `require anonymous` for a public command or query | A deliberately public surface; the policy is the whole effective authorization | v31 refused until Stage admits it |
 | v32 | A `source events` capture whose key is a typed scalar (for example a concept over Uuid) | The appended event's event-source identity keeps the key's type instead of Text (see the compiler minimums); other models keep their version and bytes | Stage admits v32 through a direct caller of the reviewed baseline; see [Stage admission](#stage-admission-and-execution) |
 | v33 | `key <property> is event source` on a single-property `source events` capture (Screenplay 4.242.0; PLAY0809) | Serializes `keyIsEventSource` beside `sourceEvents`. Promises every incoming event is sourced by that key; explicit fixture `for` must equal it, while omission takes the key before projections/reactions. Checks also run on givens without an action. Unmarked captures keep earlier behavior/version/bytes | An admitting renderer may narrow history reads by event source id; binding alone does not prove target realization |
+| v34 | A specification `then invokes <Command>` (decision 0115; PLAY0815/PLAY0816) | Writes `thenInvocations` only when present. When one is stated, the slice's recorded invocations must match in count and order, comparing only stated values; a refused invocation counts | Stage spec runner compares it; the Cratis renderer refuses models after v33 with `STAGE-ESM-016` |
+| v35 | Reserved for handler result contract v2 (decision 0119); no construct selects it | | |
+| v36 | `statemachine` and `workflow` declarations (decision 0124; PLAY0834-PLAY0851) | Serializes `stateMachines` and `workflows`; specifications run them; earlier models keep their version and bytes | Stage refuses v36 models with `STAGE-ESM-016` |
 
-Constructs of decision 0098 with no executable-model content need no version: application-level toolbar buttons in the layout's `navigation topbar` region (`button <id> title "..." slice <Slice>` with an optional indented `authorize <Policy>`), a command specification that states the public event its outbound Translate slice publishes (no more false `PLAY0285`), and a capture over events that copies a list (`lines = $.lines`) or fans out with `children lines identified by sku`. Check `screenplay --version` against the release that admitted v29 and v30 before relying on them.
+Constructs of decision 0098 with no executable-model content need no version: application-level toolbar buttons in the layout's `navigation topbar` region (`button <id> title "..." slice <Slice>` with an optional indented `authorize <Policy>`), and a capture over events that copies a list (`lines = $.lines`) or fans out with `children lines identified by sku`. Check `screenplay --version` against the release that admitted v29 and v30 before relying on them. Decision 0115 withdrew 0098's command specification that states the public event its outbound Translate slice publishes: a specification runs only its own slice, so the Translate slice states the public event in its own `when append` specification.
 
 ## Compiler and target minimums
 

package/package/corpus/skills/cratis-screenplay-toolchain/references/preferred-syntax.md

@@ -5,7 +5,7 @@
 
 Use these forms when writing or reviewing `.play`. Acceptance of an older
 spelling is not a recommendation to teach it. Information diagnostics do not
-fail `--warnaserror`; the corpus verification gate rejects the twelve style codes
+fail `--warnaserror`; the corpus verification gate rejects the thirteen style codes
 below even when a fence declares `expect`, unless an exact, reasoned migration
 exception exists in the verifier's preferred-syntax allowlist. That allowlist also
 covers deliberate legacy explanations in prose; stale entries fail.
@@ -24,8 +24,11 @@ covers deliberate legacy explanations in prose; stale entries fail.
 | Interaction guard | Block-form `when` alternatives | Opaque interaction `where` on click, double click or select (a `change` keeps it) | PLAY0564 (warning or information) |
 | Projection transition cardinality | Source binding emits `One` | Constructed/deserialized ESM v1–v3 `ZeroOrOne` / `Many` | PLAY0445 (warning; ESM-only, not a source spelling) |
 | Command decision reads | `command reads protected` after reviewing every read's admission, absence and conflict semantics | Eligible legacy command reads without the application-root preamble | PLAY0786 (information; individual typed repair review, never fix-all) |
+| Combined policies | `authorize A and B` | `authorize A B` (adjacent policies mean `and`) | PLAY0825 (information; repair writes `and`) |
+| Composite key | Indented key parts under `key` | `key {` ... `}` around parts the indentation already groups | PLAY0824 (information; repair removes the braces) |
 | Profile shell | `root template <Name>` in a `ui profile` | `layout <Name>` in a `ui profile` | PLAY0791 (warning; quick fix) |
 | Literal text rules | `starts with`, `ends with`, `contains`, `not contains` or equality, preserving message and severity | Exact deprecated Studio `matches` shapes | PLAY0787 (warning; not arbitrary regex rewriting) |
+| Objects and lists | An indented block under the name: `member = value` lines, one `item` line per element, `<name> none` for an empty list | Inline JSON (`= {...}`, `= [...]`) - not accepted; Screenplay has no JSON | PLAY0833 (error; quick fix, and printing converts) |
 
 `query Q => observable?` is not a legacy optional type suffix and has no keyword
 replacement. Reaction/Translate `where` is current syntax, not an interaction

package/package/corpus/skills/cratis-screenplay-toolchain/references/renderable-subset.md

@@ -80,7 +80,7 @@ query performers have a separate explicit gap contract, not completed behavior.
 renders; multiple same-event triggers and routed productions retain STAGE-ESM-043. Literal
 text rules execute/render ordinal UTF-16 comparisons. Read [language admission](language-admission.md).
 A CLI's older bundled compiler may fail first: legacy reads/concurrency PLAY0271,
-attached handlers PLAY0800 (PLAY0268 before Screenplay 4.210.0). Protected reads bind v25. Non-Error protected requirements
+attached handlers PLAY0800 (every attached handler, before the result-contract admission; PLAY0268 on the oldest binders). Protected reads bind v25. Non-Error protected requirements
 refuse STAGE-ESM-045, including reaction invocations; this is not a rendering result.
 Requires Stage 4.129.0 for semantic Host/executor protected reads (older engines refuse -044) and Stage 4.138.0 for the Cratis renderer to render them.
 Response-name authoring scopes are not rendered and Scene runtime does not supply them.
@@ -109,9 +109,9 @@ ids into routing to fit a renderer (PLAY0515).
   older renderers refuse snapshot lists with STAGE-ESM-010.
   context/single-result filters, and opaque `scoped to` block binding; a `performer` query is left out of the executable model ([version gate](executable-subset.md#code-attachments-what-binds-what-never-does)). Keep a list the domain needs and report
   the capability gap; marking it `observable` or keying it is a modeling decision for the user.
-- Attached file/inline handlers refuse PLAY0800 and require constrained implementation
-  attachments: gap-fill in code, not by waiting for ESM admission.
-  Requires Screenplay 4.210.0 (`screenplay --version`); older binders use PLAY0268.
+- Attached file/inline handlers bind beside unconditional `produces` with a resolved body
+  and Stage renders a C# body; otherwise they refuse PLAY0800 (version gate:
+  [executable subset](executable-subset.md)).
   Pending handlers beside unconditional
   productions bind v23 but Stage still refuses rendering STAGE-IMPL-002 even in
   Stub mode. Semantic execution reports ImplementationBody only when reached

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

@@ -26,75 +26,5 @@
     "kind": "diagnostic",
     "value": "PLAY0686",
     "reason": "Explicit retirement notice, not an active diagnostic or repair recommendation. The published contract marks PLAY0686 retired. Remove when this notice is removed or replaced."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/SKILL.md",
-    "text": "screenplay environment ./model                 # one key per line, secrets marked \"(secret)\"",
-    "kind": "cliCommand",
-    "value": "environment",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/SKILL.md",
-    "text": "screenplay environment ./model --format json   # key, secret, source, owner, description",
-    "kind": "cliCommand",
-    "value": "environment",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/SKILL.md",
-    "text": "screenplay environment ./model --format json   # key, secret, source, owner, description",
-    "kind": "cliOption",
-    "value": "--format",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0826` | The `onboarding` line carries more than the keyword. | Move content into the body. |",
-    "kind": "diagnostic",
-    "value": "PLAY0826",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0827` | More than one `onboarding` block. | Merge them. |",
-    "kind": "diagnostic",
-    "value": "PLAY0827",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0828` | `onboarding` without `authentication`. | Declare the providers. Draft authoring reports a warning until the folder is assembled. |",
-    "kind": "diagnostic",
-    "value": "PLAY0828",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0829` | A line is not a directive, or one is malformed or incomplete. | Use the forms above. |",
-    "kind": "diagnostic",
-    "value": "PLAY0829",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0830` | A directive stated twice. | Keep one. |",
-    "kind": "diagnostic",
-    "value": "PLAY0830",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0831` | An invitation names a persona nothing declares. | Declare it with `persona`. |",
-    "kind": "diagnostic",
-    "value": "PLAY0831",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
-  },
-  {
-    "file": ".cratis/ai/skills/cratis-screenplay-authentication-and-onboarding/references/onboarding-directives.md",
-    "text": "| `PLAY0832` | `emails` names an email onboarding does not send. | Use `invitation`, `welcome` or `signupDeclined`. |",
-    "kind": "diagnostic",
-    "value": "PLAY0832",
-    "reason": "Documents the onboarding and environment-key surface of Screenplay 4.259.0, which the pinned 4.245.0 contract predates. Remove when the pinned contract moves to 4.259.0 or later (the check then reports it unnecessary)."
   }
 ]