@cratis/pi 7.24.0 → 7.26.0

package/package/corpus/skills/cratis-application-slice-conformance/verification.json

@@ -3,6 +3,9 @@
   "input": "The marina berth model changed: RegisterBerth now rejects lengths over 25 metres and a new BerthRetired event removes a berth from the list. Re-deliver the slice code against the updated .play slice and tell me whether it is done.",
   "fixtures": [],
   "assertions": [
+    {
+      "kind": "play-compiles"
+    },
     {
       "kind": "skill-contains",
       "value": "Executable parts of the contract beat prose"

package/package/corpus/skills/cratis-arc-react-page/verification.json

@@ -0,0 +1,14 @@
+{
+  "skill": "cratis-arc-react-page",
+  "input": "Build a list page with an Add command dialog for a .play screen.",
+  "fixtures": [],
+  "assertions": [
+    {
+      "kind": "play-compiles"
+    },
+    {
+      "kind": "skill-contains",
+      "value": "DataPage"
+    }
+  ]
+}

package/package/corpus/skills/cratis-screenplay-automations-and-translations/assets/pending-certificates.play

@@ -0,0 +1,10 @@
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+
+// Minimal parent for the queue query excerpt; the complete behavior remains in todo-list-example.md.
+module Certificates
+  feature Sending
+    slice StateView CertificatesToSend
+      readmodel PendingCertificate
+        enrolmentId Uuid
+      // @excerpt

package/package/corpus/skills/cratis-screenplay-automations-and-translations/assets/retry-sweep.play

@@ -0,0 +1,11 @@
+// Copyright (c) Cratis. All rights reserved.
+// Licensed under the MIT license. See LICENSE file in the project root for full license information.
+
+// Minimal parent for the retry sweep excerpt; it checks source, not opaque code execution.
+module Certificates
+  feature Sending
+    slice StateView CertificatesToSend
+      readmodel PendingCertificate
+        enrolmentId Uuid
+    slice Automation SendCertificates
+      // @excerpt

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

@@ -28,7 +28,7 @@ What the model proves and what it does not:
   `runs as system role` on 4.125.0 (ESM v10), with separate CLI/Stage refusal.
 - Report reference outcomes only after executing the selected scenarios.
 
-```screenplay
+```screenplay expect PLAY0469,PLAY0516
 // Todo-list automation. Shape: CoursePassed opens an item -> CertificateSender invokes
 // SendCertificate -> CertificateSent closes the item. The once-only FACT is
 // `unique event CertificateSent`; the external send is NOT proven once-only by this model.
@@ -196,12 +196,12 @@ above: a list query (the visible queue) and a retry sweep that reads the whole v
 (Screenplay#286). Keep them in the model only when the document is the deliverable and say so
 in the verdict.
 
-```screenplay excerpt
+```screenplay excerpt parent=assets/pending-certificates.play
 // Parent: the complete document above, slice StateView CertificatesToSend.
 query PendingCertificates => PendingCertificate[]
 ```
 
-```screenplay excerpt
+```screenplay excerpt parent=assets/retry-sweep.play
 // Parent: the complete document above, slice Automation SendCertificates, after CertificateSender.
 // The sweep reads the whole view (a clock trigger takes no `by`); iterating items needs code.
 reaction CertificateRetrySweep

package/package/corpus/skills/cratis-screenplay-automations-and-translations/verification.json

@@ -3,6 +3,7 @@
   "input": "Our payment provider sends webhooks when invoices are paid or refunded, and we must email a receipt afterwards. Model the integration and the follow-up in the Screenplay model.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "`[ExecuteCommandsAsSystem(\"<role>\")]`" },
     { "kind": "skill-contains", "value": "ESM v10" },
     { "kind": "skill-contains", "value": "STAGE-ESM-024" },

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

@@ -197,7 +197,7 @@ event, on a trigger (with `where` and `invokes`), on a view read and on the cloc
 a capture with its specifications. The excerpts later in this skill have their own
 complete parent documents in `references/complete-examples.md`.
 
-```screenplay
+```screenplay expect PLAY0469
 concept InvoiceId : Uuid
 trigger PaymentFileArrived
   description "The bank's payment file listed a payment for an invoice"

package/package/corpus/skills/cratis-screenplay-captures-and-reactions/references/refusals-and-redelivery.md

@@ -61,7 +61,7 @@ The complete authoring model below compiles without warnings on 4.125.0;
 `screenplay test` intentionally returns 3/unbound with PLAY0268 for redelivery
 and no-event assertion, not a recovery pass:
 
-```screenplay
+```screenplay test=unbound
 module Billing
   feature Claims
     slice Automation Recovery

package/package/corpus/skills/cratis-screenplay-captures-and-reactions/verification.json

@@ -3,6 +3,7 @@
   "input": "Translate external data into events and declare a reaction.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "main `fd18129`"

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

@@ -87,7 +87,7 @@ commands reference; use `concept` for a single wrapped primitive.
 Excerpt: the concepts, the `InvoiceLine` type, the policy and the event are
 declared elsewhere in the model.
 
-```screenplay
+```screenplay excerpt
 command RegisterInvoice
   description "Registers a new invoice with its lines and payment terms"
   invoiceId      InvoiceId identifier
@@ -138,7 +138,7 @@ something whose identity the caller does not supply).
 Excerpt: the `Account` read model, its projection and its keyed query are
 declared elsewhere.
 
-```screenplay
+```screenplay excerpt
 command TransferFunds
   sourceId      AccountId
   destinationId AccountId
@@ -200,7 +200,7 @@ a rule that travels is worth more than one that is repeated.
 
 Excerpt: the policies are declared at the top of the model.
 
-```screenplay
+```screenplay excerpt
 authorize IsAccountant
           or IsCustomerSelf
 
@@ -252,7 +252,7 @@ choosing or omitting `for` on a production, or fixing `PLAY0469`-`PLAY0478`.
   must bind on an older version.
   Excerpt:
 
-```screenplay
+```screenplay excerpt
 produces when isProForma == true
   ProFormaInvoiceIssued
     for invoiceId
@@ -309,7 +309,7 @@ Read `cratis-screenplay-toolchain/references/sources-and-streams.md` when author
 Chronicle's constraints enforce **uniqueness only**. Excerpt: the events are
 declared in the same model.
 
-```screenplay
+```screenplay excerpt
 constraint UniqueInvoiceNumber
   unique invoiceNumber on InvoiceRegistered
   released by InvoiceCancelled

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

@@ -172,7 +172,7 @@ A template is backticked with `${}` substitutions. It parses in mappings but doe
 not bind to the executable model in `produces` or projections. Excerpt, one
 mapping line inside a `produces` block:
 
-```screenplay
+```screenplay excerpt
 fullName = `${firstName} ${lastName}`
 ```
 
@@ -181,7 +181,7 @@ Literals are `true` / `false`, `"quoted text"`, numbers (`42`, `-3.14`), and
 rather than a property path — that is how a constant key is written. Excerpt,
 inside a `projection`:
 
-```screenplay
+```screenplay excerpt
 from UserLoggedIn key literal "site-stats"
   count totalLogins
 ```

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

@@ -47,7 +47,7 @@ This complete authoring-only model compiles with `--warnaserror` at 4.125.0.
 `screenplay test` intentionally returns exit 3/unbound with PLAY0268; it proves
 no failure/compensation behavior today:
 
-```screenplay
+```screenplay test=unbound
 system Accounting
 concept ProjectId : Uuid
 module Projects

package/package/corpus/skills/cratis-screenplay-command-surface/references/policy-persona-seed.md

@@ -55,7 +55,7 @@ Source: `v4.125.0:Documentation/screenplay/policies.md`.
 
 Excerpt: `CustomerRegistered` is declared in a slice.
 
-```screenplay
+```screenplay excerpt
 seed
   for "3fa85f64-5717-4562-b3fc-2c963f66afa6"
     CustomerRegistered

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

@@ -21,7 +21,7 @@ has no portable meaning (`PLAY0268`). Give it a body when the logic can live in
 model — a `file` or a tagged ` ```csharp ` fence indented under the rule, or a
 fenced `validate` block for cross-field rules. Excerpt, inside a command:
 
-```screenplay
+```screenplay excerpt
 validate
   orgNumber rule BeAValidOrganizationNumber message "Must be a valid organization number"
     file Validations/BeAValidOrganizationNumber.cs

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

@@ -3,6 +3,7 @@
   "input": "Declare a Screenplay command with validation, authorization, a uniqueness constraint and a state-dependent rule.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "PLAY0653" },
     { "kind": "skill-contains", "value": "personal` is an alias of `pii", "file": "references/compliance.md" },
     { "kind": "skill-contains", "value": "report-only (PLAY0270)", "file": "references/compliance.md" },

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

@@ -3,6 +3,7 @@
   "input": "We are starting a new model for a marina that hands out seasonal berths. Here are rough notes from the harbourmaster. Find the events, the roles and the story, and put them straight into the .play model.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "## Interview phase" },
     { "kind": "skill-contains", "value": "Unattended: assume visibly" },
     { "kind": "skill-contains", "value": "Does / Reads / Cannot" },

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

@@ -113,7 +113,7 @@ identity), `authorize`, and `produces`. Excerpt: the complete document is
 fact, and fenced Markdown `documentation` when its meaning needs elaboration.
 Alternatively, declare it in the command with `produces event` and typed mappings.
 
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-example.md#1
 // Parent: references/invoicing-example.md (complete document), slice RegisterInvoice
 slice StateChange RegisterInvoice
   command RegisterInvoice
@@ -164,7 +164,7 @@ A `from` without a key never inherits another `from`'s key, and a projection-lev
 `key` routes nothing (`PLAY0381`). Excerpt: the complete document is
 [invoicing-example.md](invoicing-example.md); both events target the invoice's event source.
 
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-example.md#1
 // Parent: references/invoicing-example.md (complete document), slice InvoiceList
 slice StateView InvoiceList
   readmodel InvoiceListReadModel

package/package/corpus/skills/cratis-screenplay-event-modeling/verification.json

@@ -3,6 +3,7 @@
   "input": "Facilitate an event modeling session and land the model as .play source.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "main `fd18129`"

package/package/corpus/skills/cratis-screenplay-legacy-extraction/SKILL.md

@@ -24,7 +24,7 @@ then hands off to review (P5) and acceptance (P6).
 ## When to use / when not
 
 - Use: understanding an inherited system, planning a modernization or migration, documenting
-  behaviour as Screenplay, reconciling `screenplay generate` or Prologue output, planning a
+  behaviour as Screenplay, reconciling `cratis screenplay generate` or Prologue output, planning a
   side-car next to a frozen system (`references/side-car-migration.md`).
 - Not for: greenfield modeling, reviewing the candidate, diagnosing a running Chronicle system,
   rendering or delivering code, or changing code-first application code (routes below).

package/package/corpus/skills/cratis-screenplay-legacy-extraction/references/intent-example.md

@@ -20,7 +20,7 @@ What to notice:
 - The nightly hook reset (E4) is unexplained, so it is not modeled; it stays an open question
   (Q5) in the loss report.
 
-```screenplay
+```screenplay test=unbound
 // An intentional candidate re-sliced from as-is evidence. DESIGN MODE.
 // Evidence ids refer to rows like those in evidence-table-template.md: the legacy
 // POST /api/checkins inserted Checkins and updated Hooks (E1); here that becomes one

package/package/corpus/skills/cratis-screenplay-legacy-extraction/verification.json

@@ -3,6 +3,7 @@
   "input": "We inherited a legacy ASP.NET application with a SQL Server database and no documentation. Help us turn it into a Screenplay model before we modernize it.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "loss report"

package/package/corpus/skills/cratis-screenplay-model-authoring/verification.json

@@ -3,6 +3,7 @@
   "input": "Author and organize a Screenplay model in a repository.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "Screenplay v4.127.0"

package/package/corpus/skills/cratis-screenplay-model-review/verification.json

@@ -3,6 +3,7 @@
   "input": "Review the marina berth .play model before we accept it: check the model and report findings, do not change anything.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "PASS WITH WARNINGS" },
     { "kind": "skill-contains", "value": "Every finding is pinned to one declaration" },
     { "kind": "skill-contains", "value": "edit request" },

package/package/corpus/skills/cratis-screenplay-modeling-lifecycle/verification.json

@@ -3,6 +3,7 @@
   "input": "Add a berth allocation feature to this Cratis application that already has a Screenplay model. How should the work be done and verified?",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "Model first" },
     { "kind": "skill-contains", "value": "`Outcome:`" },
     { "kind": "skill-contains", "value": "V3 binding-ready" },

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

@@ -51,7 +51,7 @@ compiles can still mean something other than it seems: read the warnings.
 Excerpt: the concepts and the three events (each carrying `invoiceId`) are
 declared elsewhere in the model.
 
-```screenplay
+```screenplay excerpt
 readmodel InvoiceDetailsReadModel
   invoiceId     InvoiceId
   invoiceNumber InvoiceNumber
@@ -182,7 +182,7 @@ must be numeric.
 Excerpt, inside a `projection` whose read model has `customerId` and
 `customerName`:
 
-```screenplay
+```screenplay excerpt
 join customer on customerId
   with CustomerCreated
     customerName = name
@@ -206,7 +206,7 @@ A join cannot declare its own key or trigger removal — that is
 
 Excerpt, inside a `projection`:
 
-```screenplay
+```screenplay excerpt
 children lineItems identified by lineNumber
   from InvoiceLineItemAdded key lineNumber
     parent invoiceId
@@ -232,7 +232,7 @@ nested billingContact
 
 Excerpt, inside a `projection`:
 
-```screenplay
+```screenplay excerpt
 remove with InvoiceCancelled key invoiceId
 remove via join on CustomerAccountClosed
 ```
@@ -252,7 +252,7 @@ Excerpt: the events and the three read models (each with a keyed query) are
 declared elsewhere. Every event about an issue is appended with the issue's
 identifier as its event source.
 
-```screenplay
+```screenplay excerpt
 projection WorkItem
   from TitleChanged
     title = title
@@ -288,7 +288,7 @@ a single `status` field.
 
 Excerpt: the events and the `AccountBalance` read model are declared elsewhere.
 
-````screenplay
+````screenplay excerpt
 reducer Balance => AccountBalance
   on AmountDeposited
     ```csharp

package/package/corpus/skills/cratis-screenplay-projections/references/pdl-grammar.md

@@ -181,7 +181,7 @@ that contains them; a target must run their specifications.
 
 ### Composite key with event context
 
-```screenplay
+```screenplay excerpt
 projection LineItems => LineItemReadModel
   from LineItemAdded
     key LineItemKey
@@ -194,7 +194,7 @@ projection LineItems => LineItemReadModel
 
 ### Global counter with a literal key
 
-```screenplay
+```screenplay excerpt
 projection SiteStats => SiteStatsReadModel
   from UserLoggedIn key literal "site-stats"
     count totalLogins
@@ -205,7 +205,7 @@ Every `UserLoggedIn` updates the same instance, whatever its event source.
 
 ### System-wide audit with `all` alongside `from`
 
-```screenplay
+```screenplay excerpt
 projection ActivityFeed => ActivityFeedModel
   all
     count totalSystemEvents
@@ -221,7 +221,7 @@ and its own count; `all` takes no key of its own.
 
 ### Children with a join and scoped removal
 
-```screenplay
+```screenplay excerpt
 projection Group => GroupReadModel
   from GroupCreated
     name = name
@@ -238,7 +238,7 @@ projection Group => GroupReadModel
 
 ### `every` that ignores child activity
 
-```screenplay
+```screenplay excerpt
 projection Group => GroupReadModel
   every
     lastActivity = $eventContext.occurred
@@ -255,7 +255,7 @@ Group-level events bump `lastActivity`; member events do not.
 
 ### Nested nullable object
 
-```screenplay
+```screenplay excerpt
 projection Slice => SliceReadModel
   from SliceCreated
     name = name
@@ -273,7 +273,7 @@ projection Slice => SliceReadModel
 
 ### Several projections in one slice
 
-```screenplay
+```screenplay excerpt
 slice StateView CustomerPortalReport
   readmodel PortalReportReadModel
     invitedAt DateTime

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

@@ -3,6 +3,7 @@
   "input": "Build a read model from events with the Projection Declaration Language.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "main `fd18129`" },
     { "kind": "skill-contains", "value": "it changes no projection contract" },
     { "kind": "skill-contains", "value": "map the read-model identity from `$eventSourceId`" },

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

@@ -43,7 +43,7 @@ newer main commit above; do not attribute their verification to the old tag.
 
 Excerpt, inside a `StateView` slice:
 
-```screenplay
+```screenplay excerpt
 readmodel AccountBalance
   description "What the account is worth right now"
   balance   Decimal
@@ -70,7 +70,7 @@ cannot select an instance of it.
 
 Excerpt: the concepts, the read model and the policy are declared elsewhere.
 
-```screenplay
+```screenplay excerpt
 query ListInvoices => InvoiceListReadModel[]
   description "Every invoice the caller may see, narrowed by status and customer"
   filter status     InvoiceStatus optional
@@ -114,7 +114,7 @@ query enforces it. A compiling query is not evidence that access control works.
 
 Excerpt, inside a `StateView` slice:
 
-```screenplay
+```screenplay excerpt
 query Mine => Timesheet[]
   scoped to identity
 query Everyones => Timesheet[]
@@ -186,7 +186,7 @@ commands and screens it names are declared elsewhere.
 
 **Level 1 — intent.** Data and actions; the tool generates the component.
 
-```screenplay
+```screenplay excerpt
 screen InvoiceList
   data InvoiceListReadModel[] via query ListInvoices
   action RegisterInvoice
@@ -197,7 +197,7 @@ screen InvoiceList
 **Level 2 — structure.** Named sections, tables and summaries filling a template's
 slots.
 
-```screenplay
+```screenplay excerpt
 screen InvoiceDetails
   template MasterDetail
     sidebar
@@ -263,7 +263,7 @@ real application declares 76 queries under 37 distinct names, with `All` appeari
 Reach across slices by qualifying with **any trailing part** of the scope.
 Excerpt: `Queue` and `Deviations` are sibling slices that each declare `All`.
 
-```screenplay
+```screenplay excerpt
 screen OverviewScreen
   data QueueReadModel[]     via query Queue.All
   data DeviationReadModel[] via query Preparation.Deviations.All

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

@@ -3,6 +3,7 @@
   "input": "Declare a Screenplay query and the screen that binds to it.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "main `fd18129`" },
     { "kind": "skill-contains", "value": "filter status     InvoiceStatus optional" },
     { "kind": "skill-contains", "value": "query Q => observable?" },

package/package/corpus/skills/cratis-screenplay-render-and-gap-fill/verification.json

@@ -3,6 +3,7 @@
   "input": "The marina .play model is accepted. Render it with cratis render, tell me whether it builds and its generated specs pass, and say what to do about anything Stage cannot render.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "A. Admission failure"

package/package/corpus/skills/cratis-screenplay-scenario-coverage/references/berth-reservations.md

@@ -2,7 +2,7 @@
 
 Complete, compiled design-mode model (marina guest berths) showing a coverage matrix turned into specifications: happy path, one rejection per rule, authorization denial, duplicate and retry, competing claim, state violation, alternative branches, compensation and a view lifecycle family. The matrix for it is in `coverage-matrix.md`; the catalogue (`scenario-catalogue.md`) names its specifications.
 
-```screenplay
+```screenplay test=unbound
 // Scenario coverage worked example: guest berths at a marina (complete document).
 // Shows a coverage matrix turned into specifications: happy path, one rejection per rule,
 // authorization denial, duplicate/retry, concurrent claim, state violation, alternative branches,

package/package/corpus/skills/cratis-screenplay-scenario-coverage/references/invoicing-dues-design.md

@@ -18,7 +18,7 @@ scaffold. Stage 4.51.3 pins Arc 22.50.5/Chronicle 19.32.0: protected-read APIs a
 available to gap-fill, not emitted protection or `.play` rule admission. The
 original compiled source is retained unchanged.
 
-```screenplay
+```screenplay expect PLAY0516 test=unbound
 // Scenario coverage design-mode example: stored-state rules of invoicing club dues (complete document).
 // Design mode: `reads` is PLAY0271 and `require` over a view is PLAY0268 at binding (the only
 // blockers), so this model compiles but is not executable; the specifications below do not run. The runnable counterpart

package/package/corpus/skills/cratis-screenplay-scenario-coverage/references/scenario-examples.md

@@ -33,7 +33,7 @@ Screenplay specifications.
 
 ## 1. Command: success, rule rejection and denial
 One spec for the success, one per rule (varying only the value the rule checks), one denial.
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-example.md#1
 specification IssuingAnInvoice
   given caller
     authenticated
@@ -71,7 +71,7 @@ specification RefusingACallerWithoutTheAccountsRole
 After which earlier facts must the command be refused? Establish the wrong state with its real
 facts, not a description of it. Settling a voided invoice and voiding a settled one are different
 questions: one spec each.
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-example.md#1
 specification RejectingSettlementOfAVoidedInvoice
   given caller
     authenticated
@@ -103,7 +103,7 @@ in `invoicing-dues-design.md`; it is never prose and never a spec that pretends
 Two separate obligations. First, the **capture specification**: concrete external input in, our
 facts out. The provider's refusal is a fact (never a `then error`), kept in the provider's
 vocabulary and then translated.
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-example.md#1
 specification TranslatingADeclinedCardResult
   when capture PaymentGatewayResults
     reference = "9c1f0a52-6a4e-4b1c-9f55-0d2c7b8e1a01"
@@ -121,7 +121,7 @@ Second, the **retry**. `PaymentRequested` only says we asked the gateway; it is
 After the decline, requesting again is an ordinary accepted command, and its exact declared
 outcome is `PaymentRequested`, not `PaymentReceived`: the eventual success is a later external
 fact that arrives through the capture, not something this command produces.
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-example.md#1
 specification RetryingPaymentAfterADecline
   given caller
     authenticated
@@ -149,7 +149,7 @@ lists the declared consequence (`RefundRequested`); the reaction is also specifi
 `RefundRequested` is a recorded request, not proof that money moved, and there is no
 `then <Command>` form. What the target must do to deliver the refund is a requirement, not a spec.
 From `invoicing-dues-design.md` (design mode; the specs do not run at 4.66.0):
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-design.md#1 expect PLAY0516 test=unbound
 specification ReversingAReceivedPayment
   given caller
     authenticated
@@ -185,7 +185,7 @@ ask. Voiding an issued invoice that is not yet paid is the other compensation (t
 A repeated event type can matter as much as a multi-event lifecycle. Two top-ups of 40 and 70
 walk a balance to 110; give the second occurrence as the action so the accumulation is what is
 tested.
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-example.md#1
 specification MemberCreditAccumulatesTopUps
   given caller
     authenticated

package/package/corpus/skills/cratis-screenplay-scenario-coverage/references/view-and-story-specs.md

@@ -62,7 +62,7 @@ both that the stored row is gone and that the keyed query returns nothing. The w
 (no key) is a design-mode expectation here: a list-query collection check does not run on the
 reference route, so record it in the matrix rather than asserting it.
 The source document also asserts the other terminal outcomes (`InvoiceVoided`, `InvoiceSettled`) the same way; they are not copied here.
-```screenplay excerpt
+```screenplay excerpt parent=references/invoicing-dues-example.md#1
 specification OpenInvoicesLifecycle1Empty
   given caller
     authenticated

package/package/corpus/skills/cratis-screenplay-scenario-coverage/verification.json

@@ -3,6 +3,7 @@
   "input": "Write the specifications for a ReserveBerth command and its read model, and tell me what coverage is missing.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     { "kind": "skill-contains", "value": "Coverage matrix before any spec" },
     { "kind": "skill-contains", "value": "Once, idempotent, exactly once are different claims" },
     { "kind": "skill-contains", "value": "Unauthorized is never `then error`" },

package/package/corpus/skills/cratis-screenplay-slice-design/references/slicing.md

@@ -89,7 +89,7 @@ Example: Payroll declares Timesheets; its Handover feature declares
 Timesheets.Approval and sibling Runs. These are dependency inventories, not
 actual references or execution dependencies:
 
-```screenplay
+```screenplay expect PLAY0553
 module Payroll
   depends on Timesheets
   feature Handover

package/package/corpus/skills/cratis-screenplay-slice-design/references/worked-example.md

@@ -23,7 +23,7 @@ Stage 4.51.3 pins Arc 22.50.5/Chronicle 19.32.0, so protected-read APIs are avai
 to gap-fill; this neither admits these `.play` rules nor proves target protection.
 The original compiled excerpt is retained unchanged.
 
-```screenplay
+```screenplay expect PLAY0516 test=unbound
 domain Parcelpoint.Lockers
 
 concept LockerId : Uuid

package/package/corpus/skills/cratis-screenplay-slice-design/verification.json

@@ -3,6 +3,7 @@
   "input": "Design the slices for a new capability in a Screenplay model: commands, rules, read models and screens.",
   "fixtures": [],
   "assertions": [
+    { "kind": "play-compiles" },
     {
       "kind": "skill-contains",
       "value": "NOT enforced in the model today"

package/package/corpus/skills/cratis-screenplay-specifications/references/examples-and-routes.md

@@ -120,7 +120,7 @@ is optional but typed against the routed source when present.
 This complete syntax-only model validates on 4.127.0; `screenplay test` reports
 PLAY0268 for redelivery, not a passing scenario:
 
-```screenplay
+```screenplay test=unbound
 eventsource Account
   identifier String
   stream Transactions