@cratis/pi 7.128.0 → 7.129.0

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)."
   }
 ]