@cratis/pi 7.72.1 → 7.73.0

package/package/corpus/product-sync.json

@@ -171,9 +171,9 @@
         }
       ],
       "synced": {
-        "version": "4.207.0",
+        "version": "4.211.1",
         "date": "2026-10-17",
-        "by": "Cratis/AI#752"
+        "by": "Cratis/AI#762"
       },
       "covers": {
         "skills": [
@@ -201,7 +201,7 @@
         ],
         "rules": []
       },
-      "notes": "Standalone 4.205.0 and byte-identical compiler contract pinned. Cratis/AI#746: Uuid ==/!= in command require and produces when (ESM v28): same-concept rule, bare Uuid against a concept, canonical literals, protected read paths in require only; PLAY0268 (different concepts, ordering, Uuid validation and concept rules, read paths in produces when) and PLAY0273 (non-canonical literal) checked against the 4.205.0 compiler, v28 selection read from the MCP executable-model view; Stage admits exact v1-v21 and v23-v26 pairs so v28 is refused STAGE-ESM-016, not probed against a Stage image; CLI 3.74.0 renders through v26. Prior: Standalone 4.204.0 and byte-identical compiler contract pinned. Cratis/AI#702 and #691: PLAY0690 reducer identity (Screenplay 4.170.0, native compiler only) and the screenplay.json validation gate (Screenplay 4.165.0; cratis screenplay validate reads it from CLI 3.65.0) are taught and probed against the 4.204.0 compiler. Cratis/AI#743: flat composite read-model keys (ESM v27): untyped projection key blocks on root from and remove with, equality-filter lists, single-instance by blocks and per-part fixtures, with PLAY0661/PLAY0662/PLAY0268 refusals checked against the 4.204.0 compiler; Stage origin/main still refuses v27 with STAGE-ESM-016 (stage-rendering.md); Stage v4.135.0 v26 admission (Host and executor run date comparisons; renderer STAGE-ESM-046) was source-checked for this sync; no render or runtime probe. Prior: Standalone 4.201.0 and byte-identical compiler contract pinned. Cratis/AI#733: the ui profile root template, shell options, appearance and new screens default (PLAY0788-PLAY0799, quick fix for the legacy layout line, ui-profiles MCP tool, 44 tools). Cratis/AI#735: chronological Date/DateTime ordering in command conditions and command/property literal validation (ESM v26), UTC tick precision and pre-rule offset validation; then matching remains ordinal. Source-checked Screenplay v4.199.0 commands, diagnostics, interoperability and specifications documentation plus decision 0087. Stage v4.127.1 still refuses v26 with STAGE-ESM-016 (stage-rendering.md and SemanticVersionFeatures.Supports); no render/runtime probe. Cratis/AI#576: prior mechanical compiler catch-up. Language batch #717/#722/#723/#724/#720/#728/#734 teaches atomic reaction batches (v22), described payload handlers (v23), portable linear matching, ordinal text rules (v24), protected command reads (v25), diagnostic arguments and event-source invokes mappings. Facts read at Screenplay v4.198.0 and introducing tags; Stage v4.127.0 admits exact v1-v21 and v23-v25 pairs but refuses v22/v26 and mixed pairs (STAGE-ESM-016), protected reads (044), atomic mode (043) and described handlers (STAGE-IMPL-002), even Stub mode. Stage text rules execute/render; no new renderer/runtime probe or Stage pin uplift. Cratis/AI#706: application navigation regions (module inherit, extend or override), toolbar slice buttons, blueprint template references and sample data packs in cratis-screenplay-ui-composition (references/application-shell.md), with the canonical shell vector and the rejection codes PLAY0710-PLAY0722 and PLAY0740-PLAY0765. Examples moved to the executable-state rules since 4.164: translator reactions in an Automation slice beside the Translate slice (PLAY0694) and the first record of a capture key appended with `when added`. Earlier: Standalone 4.164.0 and byte-identical compiler contract pinned. Cratis/AI#663: one origin per capture (PLAY0687). #668: executable no-event/redelivery v17. #684: concept query-argument validation in every version and query-error assertions v18. #681: executable refusal branches and refusal values v19. #666: proposal summary/severity counts and exact structural source proposals. Generated-concept rules select v20 with PLAY0688/0689 proofs and derived-matches repair; generated secrets and preview strategies remain refused. Release-baseline from-esm admission reads storedName. Standalone binding is not renderer admission: Stage 4.103.0 admits v1-v17 and v19; CLI 3.62.0 bundles Screenplay 4.159.0 / Stage 4.99.0 and renders through v16. Prior evidence remains unless superseded; no new renderer, Docker or browser probe."
+      "notes": "Cratis/AI#762 and #761: source-checked v4.210.0 and v4.211.0 contracts for PLAY0800 CommandHandlerRequiresAttachment (required typed subject, permanent code-attachment requirement, other PLAY0268 families unchanged), independent reference remove/add batches, located same-text ambiguity conflicts and string MCP conflict/move-report document fields. v4.211.1 mapping changes inspected but excluded from this guidance update at the user's request; no typed PLAY0273 property/type arguments are claimed. Standalone Screenplay 4.211.1 and its compiler contract pinned; the contract is a byte-identical copy of the v4.211.1 release asset. No new render/runtime probe. Prior: Standalone 4.205.0 and byte-identical compiler contract pinned. Cratis/AI#746: Uuid ==/!= in command require and produces when (ESM v28): same-concept rule, bare Uuid against a concept, canonical literals, protected read paths in require only; PLAY0268 (different concepts, ordering, Uuid validation and concept rules, read paths in produces when) and PLAY0273 (non-canonical literal) checked against the 4.205.0 compiler, v28 selection read from the MCP executable-model view; Stage admits exact v1-v21 and v23-v26 pairs so v28 is refused STAGE-ESM-016, not probed against a Stage image; CLI 3.74.0 renders through v26. Prior: Standalone 4.204.0 and byte-identical compiler contract pinned. Cratis/AI#702 and #691: PLAY0690 reducer identity (Screenplay 4.170.0, native compiler only) and the screenplay.json validation gate (Screenplay 4.165.0; cratis screenplay validate reads it from CLI 3.65.0) are taught and probed against the 4.204.0 compiler. Cratis/AI#743: flat composite read-model keys (ESM v27): untyped projection key blocks on root from and remove with, equality-filter lists, single-instance by blocks and per-part fixtures, with PLAY0661/PLAY0662/PLAY0268 refusals checked against the 4.204.0 compiler; Stage origin/main still refuses v27 with STAGE-ESM-016 (stage-rendering.md); Stage v4.135.0 v26 admission (Host and executor run date comparisons; renderer STAGE-ESM-046) was source-checked for this sync; no render or runtime probe. Prior: Standalone 4.201.0 and byte-identical compiler contract pinned. Cratis/AI#733: the ui profile root template, shell options, appearance and new screens default (PLAY0788-PLAY0799, quick fix for the legacy layout line, ui-profiles MCP tool, 44 tools). Cratis/AI#735: chronological Date/DateTime ordering in command conditions and command/property literal validation (ESM v26), UTC tick precision and pre-rule offset validation; then matching remains ordinal. Source-checked Screenplay v4.199.0 commands, diagnostics, interoperability and specifications documentation plus decision 0087. Stage v4.127.1 still refuses v26 with STAGE-ESM-016 (stage-rendering.md and SemanticVersionFeatures.Supports); no render/runtime probe. Cratis/AI#576: prior mechanical compiler catch-up. Language batch #717/#722/#723/#724/#720/#728/#734 teaches atomic reaction batches (v22), described payload handlers (v23), portable linear matching, ordinal text rules (v24), protected command reads (v25), diagnostic arguments and event-source invokes mappings. Facts read at Screenplay v4.198.0 and introducing tags; Stage v4.127.0 admits exact v1-v21 and v23-v25 pairs but refuses v22/v26 and mixed pairs (STAGE-ESM-016), protected reads (044), atomic mode (043) and described handlers (STAGE-IMPL-002), even Stub mode. Stage text rules execute/render; no new renderer/runtime probe or Stage pin uplift. Cratis/AI#706: application navigation regions (module inherit, extend or override), toolbar slice buttons, blueprint template references and sample data packs in cratis-screenplay-ui-composition (references/application-shell.md), with the canonical shell vector and the rejection codes PLAY0710-PLAY0722 and PLAY0740-PLAY0765. Examples moved to the executable-state rules since 4.164: translator reactions in an Automation slice beside the Translate slice (PLAY0694) and the first record of a capture key appended with `when added`. Earlier: Standalone 4.164.0 and byte-identical compiler contract pinned. Cratis/AI#663: one origin per capture (PLAY0687). #668: executable no-event/redelivery v17. #684: concept query-argument validation in every version and query-error assertions v18. #681: executable refusal branches and refusal values v19. #666: proposal summary/severity counts and exact structural source proposals. Generated-concept rules select v20 with PLAY0688/0689 proofs and derived-matches repair; generated secrets and preview strategies remain refused. Release-baseline from-esm admission reads storedName. Standalone binding is not renderer admission: Stage 4.103.0 admits v1-v17 and v19; CLI 3.62.0 bundles Screenplay 4.159.0 / Stage 4.99.0 and renders through v16. Prior evidence remains unless superseded; no new renderer, Docker or browser probe."
     },
     {
       "id": "scene",

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

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

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

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

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

@@ -33,8 +33,12 @@ module Invoices
 A pending `implementation` has no `file` or fence. Bare `implementation` is valid;
 optional `hint` lines are ordered, nonblank quoted strings, decoded without trimming.
 One wrapper and at most one payload are permitted. Attaching a file or fence stops
-being a described command: attached handlers still fail binding with PLAY0268 and
-cannot coexist with `produces`.
+being a described command: attached handlers fail binding with PLAY0800
+(`CommandHandlerRequiresAttachment`) and cannot coexist with `produces`.
+This permanent limitation requires a constrained implementation attachment:
+gap-fill the slice in code, not by waiting for a supported ESM version.
+
+Requires Screenplay 4.210.0 (`screenplay --version`) for PLAY0800 and its required typed `subject` declaration argument naming the command; older binders use PLAY0268. Hosts switch on the code and read `arguments.subject`, never parse the message.
 
 ## Result contract v1
 
@@ -57,6 +61,7 @@ explicitly admit this version, never silently drop the body.
 
 | Diagnostic | Meaning and action |
 | --- | --- |
+| PLAY0800 (error) | File/inline handler requires a constrained implementation attachment; `subject` identifies the command to gap-fill |
 | PLAY0695 (information) | Described command admitted; command and RequirementId name the missing body |
 | PLAY0696 (error) | No productions, including response-only; add unconditional productions |
 | PLAY0697 (error) | Conditional productions; result v1 needs unconditional events |

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

@@ -79,8 +79,10 @@ validate
 
 A bodied rule or fenced block on a validation, rule or policy binds as opaque code
 (ESM v3): the reference runner reports it unsupported, and a target must supply the
-implementation. Attached command handlers and `file` constraints remain PLAY0268
-(only `unique` constraints bind). Pending command handlers beside unconditional
+implementation. Attached command handlers refuse PLAY0800 and require constrained
+implementation attachments; `file` constraints retain PLAY0268 (only `unique`
+constraints bind). Requires Screenplay 4.210.0 (`screenplay --version`) for the
+handler's PLAY0800; older binders use PLAY0268. Pending command handlers beside unconditional
 `produces` instead bind as described commands; see [described handlers](described-handlers.md).
 Literal text rules, portable patterns and Studio desugaring: [text and match rules](text-and-match-rules.md).
 Stage renders pure reducer transitions and opaque policy bodies, but refuses command and

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

@@ -179,5 +179,8 @@ resolved adapter version, diagnostic, retained/withheld form and open question:
 with SP0073 and dependent values/responses/mappings with SP0052; pins against them
 withhold scenarios with SP0039. Below v7 responses/return expectations are withheld.
 A cap describes less behavior, not an equivalent implementation. Handler references
-compile but refuse executable binding (PLAY0268); record that verdict separately.
+compile but refuse executable binding (PLAY0800 for file/inline command handlers);
+record that verdict separately and gap-fill the slice with a constrained implementation
+attachment, not by waiting for ESM admission.
+Requires Screenplay 4.210.0 (`screenplay --version`); older binders use PLAY0268 for these handlers.
 Never remove protection, required payloads or loss rows to obtain a green result.

package/package/corpus/skills/cratis-screenplay-model-authoring/SKILL.md

@@ -21,12 +21,6 @@ same model root or workspace export to all checks. Workflow:
 `references/screen-authoring-workflow.md`; syntax/support:
 `cratis-screenplay-ui-composition`.
 
-## Verified product sources
-
-Source: `Cratis/Screenplay`, `Documentation/screenplay/` and `Documentation/screenplay/mcp/`
-(notes, property planner, compliance, concept generation, release baseline). Discover
-installed schemas; bundles differ. Tool versions: toolchain `SKILL.md`.
-
 Record open modeling questions as `question` notes in committed
 `.screenplay/notes.json`, not chat or `description` text. Never put secrets or
 personal data in notes. Read [model notes](references/model-notes.md) when
@@ -147,7 +141,10 @@ Others send an edit request ([MCP loop](references/mcp-loop.md)).
    `screenplay --version`); read `references/mcp-loop.md` when choosing formatting.
 5. Keep reference policy `Safe`. Use `Draft` only for deliberately requested
    unresolved model debt and report that debt; it does not waive structural,
-   identity or binding-protection checks.
+   identity or binding-protection checks. Batch independent reference removals/additions;
+   unmatched same-text pairs refuse as ambiguous. Preserve moves with `propose-move`
+   or semantic migrations. String `conflicts[].document`/`path` locate refusals:
+   [reference continuity and version gate](references/mcp-loop.md#reference-continuity-and-located-conflicts).
 6. Report `summary`, inspect severity errors/codes rather than counts
    (Requires Screenplay 4.156.0, `screenplay --version`); read `references/mcp-loop.md`
    when reviewing PLAY0288, comment loss or introduced executable errors. Inspect `read-proposal` before/after bytes and diagnostics, including the

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

@@ -274,7 +274,8 @@ See read-surface `references/named-keys.md` for the collection-key exclusion alg
 | Protected command reads (ESM v25) | Root `command reads protected`; eligible read paths in requirements and production mappings, absence Validation, concurrent matching facts Conflict; Stage admits v25 and, in a new enough bundle, renders protected reads as Arc read protection, refusing unpreservable shapes and every older bundle with STAGE-ESM-044; semantic Host/executor execute admitted reads with non-Error protected requirements refused STAGE-ESM-045 |
 | Chronological command dates (ESM v26) | Same-primitive Date/DateTime `==`, `!=`, `>`, `>=`, `<`, `<=` in require/produces-when (property or literal RHS) and command/property rules (literal RHS only). DateTime uses UTC ticks, participating offset-less inputs reject Validation before rules; then matching stays ordinal. Requires Screenplay 4.199.0 (`screenplay --version`); older binders refuse PLAY0268. The Stage Host and executor run v26 (older Stage refuses STAGE-ESM-016); the renderer and legacy engines refuse STAGE-ESM-046 (toolchain `language-admission.md`). Read command-surface `references/date-comparisons.md`. |
 | Current routing and actor admission | Sources/streams and command/specification routes bind and reference-execute as v8; reaction `runs as system role` supplies the invocation actor as v10. Whole-workspace binding determines executable availability; CLI/Stage realization remains separate |
-| Blocks binding (`PLAY0268`) | enum/identity compliance and events combining personal or explicitly subject-scoped secret values with explicit subject marks; a compiler that stops before v13 refuses all `pii`/`secret` concepts ("compliance attributes require portable data-subject semantics"), while v13 binds them and Stage renders protection; attached command `handler` (PLAY0035 beside productions; pending described intent instead binds v23), bare `rule <Name>`, read paths without protected opt-in or in unsupported positions such as `produces when`, date comparisons with mixed primitives, optional condition operands, `$context`, protected read paths or `today`, date rules on concepts or reaction `where`, `$context.tenant`/claims/roles/causation in `produces`, `$env` conditions, `file` constraints, unquoted `import` of an external contract, a read model with neither explicit `key` nor unambiguous query-based identity as described above (several key marks bind as v27; older binders refuse PLAY0268; toolchain `language-admission.md`), queries with context `from` sources (typed query context is unadmitted), single-result filters (collections only), `scoped to` (opaque scope), `performer` (opaque implementation) or a `by` block on a list query or non-optional single result; optional keyed and collection queries, including caller-supplied equality filters and observable delivery, bind, `$causedBy` and templates in projections |
+| Blocks binding (`PLAY0268`) | enum/identity compliance and events combining personal or explicitly subject-scoped secret values with explicit subject marks; a compiler that stops before v13 refuses all `pii`/`secret` concepts ("compliance attributes require portable data-subject semantics"), while v13 binds them and Stage renders protection; bare `rule <Name>`, read paths without protected opt-in or in unsupported positions such as `produces when`, date comparisons with mixed primitives, optional condition operands, `$context`, protected read paths or `today`, date rules on concepts or reaction `where`, `$context.tenant`/claims/roles/causation in `produces`, `$env` conditions, `file` constraints, unquoted `import` of an external contract, a read model with neither explicit `key` nor unambiguous query-based identity as described above (several key marks bind as v27; older binders refuse PLAY0268; toolchain `language-admission.md`), queries with context `from` sources (typed query context is unadmitted), single-result filters (collections only), `scoped to` (opaque scope), `performer` (opaque implementation) or a `by` block on a list query or non-optional single result; optional keyed and collection queries, including caller-supplied equality filters and observable delivery, bind, `$causedBy` and templates in projections |
+| Blocks binding (`PLAY0800`, permanent attachment requirement) | Attached file/inline command `handler`: gap-fill the slice with a constrained implementation attachment, not by waiting for ESM admission. PLAY0035 beside productions; pending described intent instead binds v23. Read required typed `arguments.subject` for the command, never parse the message. Compiler prerequisite and older PLAY0268 attribution: [diagnostic arguments](../../cratis-screenplay-toolchain/references/diagnostic-arguments.md) |
 | Blocks binding (`PLAY0271`, legacy meaning) | Command reads without protected opt-in and `concurrency`; combined protected reads/concurrency is PLAY0783 |
 | Deferred (`PLAY0269`, information) | Screens, layouts, templates, forms, contributions, UI profiles, themes, behaviors and `on`/`uses` |
 | Metadata only (`PLAY0270`, information) | `domain`, `seed`, `persona`, trigger and other descriptions, and `file` provenance on declarations |

package/package/corpus/skills/cratis-screenplay-model-authoring/references/mcp-loop.md

@@ -9,6 +9,7 @@
 - Who owns the connection
 - The loop
 - One edit strategy
+- Reference continuity and located conflicts
 - Self-describing identity migration refusals
 - Identity state (`.screenplay/identities.json`)
 - Read-only views worth knowing
@@ -236,6 +237,33 @@ uses; uniqueness changes append-time behavior. Derived regex, matches/checksum
 repairs and rule-proof status await phase 2b-2; details and source citations are in
 [concept generation](mcp-tools.md#concept-generation).
 
+## Reference continuity and located conflicts
+
+Requires Screenplay 4.211.0 (`screenplay --version`) for independent reference-edit batches and string document/path fields; older servers can refuse independent remove/add batches and emit object-shaped fields. Upgrade before relying on this contract.
+
+Batch independent reference removals and additions with different text in one
+proposal, just as in sequential proposals. For example, removing a constraint's
+`OrderRecalled` reference and adding a specification's `OrderLost` reference is
+accepted when the remaining checks pass. Occurrence identity follows exact
+correspondence, verified relocation pairing or trusted `propose-move` lineage;
+unmatched references are removals/additions, not inferred moves.
+
+Unmatched removed and added references with exactly the same text refuse as
+ambiguous, even across owners/documents and under `Draft`. Comparison is ordinal:
+qualification and case are not normalized; equal tail names alone are not identity.
+Preserve a moved reference with `propose-move` or explicit semantic migrations.
+`Safe` still refuses new unresolved references; matched references cannot lose a
+resolved target, silently rebind unchanged text or capture existing debt.
+
+On refusal, read `conflicts[].document` (document identity), `path` and `otherPath`
+as plain strings when present, not objects with nested values. A conflict without
+a document reports null. The message locates the reference text, member/role,
+portable document path and line:column; ambiguous batches list disappeared and
+introduced occurrences, capped at ten with a remaining count. Use these locations
+instead of bisecting the batch. `candidates` stays empty for reference-validator
+refusals; it is reserved for property-planner evidence. `propose-move` report
+document fields are strings too.
+
 ## Self-describing identity migration refusals
 
 Read `identityMigrationIssues` on rejected proposals

package/package/corpus/skills/cratis-screenplay-model-authoring/references/mcp-tools.md

@@ -59,7 +59,18 @@ the [MCP loop](mcp-loop.md).
 | Reference execution | `run-specifications` | Run the workspace or a retained proposal candidate read-only; not attached code or target tests |
 | Effects | `apply`, `recover-workspace` | Apply an accepted plan or explicitly recover an interrupted write |
 
-`propose-move` moves a slice to another feature, or a feature to another module or feature, keeping identities: copy the `target` and `newParent` `{kind, parts}` addresses from the identity inventory and pass `expectedRevision` and `expectedCatalogRevision`. It repairs qualified references and `depends on`, and refuses identity loss, capture, collisions, descendant destinations, inherited authorization or screen-interaction changes and glob imports; review `moveReport` (`identityMigrations`, `referenceRepairs`, `fragmentsMoved`). It does not rename events, change pins or move files, and declaration moves between slices are deferred. Use it for legacy re-slicing instead of retyping declarations.
+`propose-move` moves a slice to another feature, or a feature to another module or feature, keeping identities: copy the `target` and `newParent` `{kind, parts}` addresses from the identity inventory and pass `expectedRevision` and `expectedCatalogRevision`. It repairs qualified references and `depends on`, and refuses identity loss, capture, collisions, descendant destinations, inherited authorization or screen-interaction changes and glob imports; review `moveReport` (`identityMigrations`, `referenceRepairs`, `fragmentsMoved`). It does not rename events, change pins or move files, and declaration moves between slices are deferred. Use it for legacy re-slicing instead of retyping declarations. Its report document fields are plain strings, not nested identity objects.
+
+Requires Screenplay 4.211.0 (`screenplay --version`) for string conflict/move-report document fields and independent reference-edit batches; older servers can emit objects and refuse independent remove/add batches. Upgrade before relying on this contract.
+
+Independent reference removals and additions with different text may share one
+`propose-source` or `propose-ast` batch. Only unmatched same-text removals/additions
+are refused for ambiguous correspondence, including under `Draft`; other reference
+safety and identity checks still apply. Preserve genuine moves with `propose-move`
+or semantic migrations. Read the refusal's `conflicts[].document`, `path` and
+`otherPath` as strings when present and inspect its located disappeared/introduced
+occurrences instead of bisecting the batch. Details and example:
+[reference continuity](mcp-loop.md#reference-continuity-and-located-conflicts).
 
 `propose` is the executable-only whole-document interface. Prefer `propose-source`
 for whole `.play` text, `propose-ast` for focused typed edits, and `propose-rename`

package/package/corpus/skills/cratis-screenplay-render-and-gap-fill/SKILL.md

@@ -39,6 +39,14 @@ for v22–v25: Stage rendering refuses atomic batches, described bodies (even St
 and protected reads. Semantic Host/executor support is not generated-app protection.
 Preserve contracts; reference success is not target realization.
 
+File/inline command handlers refuse PLAY0800 (`CommandHandlerRequiresAttachment`):
+a permanent requirement for a constrained implementation attachment. Gap-fill the
+slice in code rather than wait for a new ESM version. Hosts identify the command
+through the required typed `arguments.subject`, not message text. Requires
+Screenplay 4.210.0 (`screenplay --version`); older binders use PLAY0268 for these
+handlers. Other PLAY0268 families still mean not representable in a supported ESM
+version yet; triage details: [renderability gate](references/renderability-gate.md).
+
 ## Interview phase
 **Skip if** the request names the model root, the application name, the destination and the
 decision on non-renderable scope. Otherwise ask only what is missing:
@@ -105,7 +113,7 @@ model still compiles and binds) and its V5 states the scope.
    against the destination without writing (exit 6 changes pending) and `--scope <Module.Feature.Slice>`
    (repeatable) to render an admitted part. Classify every
    diagnostic with `references/renderability-gate.md`: model fix in the chosen mode,
-   capability gap, tool skew or environment. Group by code and count; do not paste the list.
+   capability gap, permanent implementation-attachment requirement, tool skew or environment. Group by code and count; do not paste the list.
 3. **When admission fails** (case A) present the options, the user decides:
    (a) keep design mode and record the gaps; (b) narrow to renderable mode, where the modeler
    changes the model for business reasons and **without** removing protection (`pii`,

package/package/corpus/skills/cratis-screenplay-render-and-gap-fill/references/renderability-gate.md

@@ -10,7 +10,11 @@ probe reports and choosing what to do. Do not copy the code table here.
 1. The CLI compiles and binds the **whole** model with its **bundled** Screenplay (the ESM level it renders is bounded by the bundle; older bundles bound less). Binding is never scoped:
    any binding error blocks even a `--scope` render. Binding errors are `PLAY0268` (outside the admitted vertical), `PLAY0269`
    (deferred), `PLAY0270` (report-only information), `PLAY0271` (legacy semantics) and `PLAY0273`
-   (a specification shape).
+   (a specification shape). File/inline command handlers instead report PLAY0800
+   (`CommandHandlerRequiresAttachment`), a permanent constrained-attachment requirement.
+   Requires Screenplay 4.210.0 (`screenplay --version`); older bundled binders use
+   PLAY0268 for these handlers. Hosts read the required typed `arguments.subject`
+   to identify the command, never the message.
 2. Execution planning builds the plan and can emit `PLAN-*` diagnostics before Stage runs.
 3. Stage plans the target and admits or rejects each member: `STAGE-ESM-0xx`; profile and path
    problems `STAGE-CRATIS-0xx`. An evolved event is reported with Stage's own `STAGE-ESM-026`
@@ -31,7 +35,8 @@ ESM). Only the probe answers renderability. `PLAY0270` entries are information,
 | Class | Meaning | Typical examples (each verified in `admission.md`) | Action |
 | --- | --- | --- | --- |
 | **Model fix (in mode)** | the model is in, or the user chose, renderable mode and breaks its own subset in a way that has a renderable equivalent with the same meaning | a `produces` whose `for` is not the command identifier; two projections for one read model (`-007`); a policy Stage cannot express portably (`-015`; role-only and opaque pure policies render) | edit request to the modeler session with address, change and rationale |
-| **Capability gap** | the intended meaning needs a construct Stage does not render yet | DateTime equality filters and required parameters after optional filters (`-010`); context/single-result filters, opaque `scoped to`/`performer` and a list-query `by` block remain PLAY0268; a read model with several key parts or a projection keyed by parts (v27) refuses `STAGE-ESM-048` and a single-instance query by parts `STAGE-ESM-047` (Chronicle#4265); Translate, clocks, captures, non-event triggers and opaque reaction bodies (`-024`); claim-reading/opaque `runs as` gates (`-034`), legacy `from` (`-035`), mixed effects in one handler (`-037`, retries can duplicate events; keep it whole), unsupported reaction mappings (`-039`); unsupported generated types/result combinations (`-028`/`-038`); `then no readmodel` (`-027`); evolved events (`STAGE-ESM-026`); unsupported expression/enum production conditions (`-006`; supported conditional productions render); legacy reads (`PLAY0271`), protected reads the renderer cannot preserve, or any protected read in an older CLI bundle (STAGE-ESM-044 despite v25 admission; semantic Host/executor support is separate); code validation (`-005`); protected identities/enums (`-040`) or unadmitted explicit subject lineage (`PLAY0268`); attached command handlers (PLAY0268), described handlers (v23, STAGE-IMPL-002 even Stub mode), atomic mode (STAGE-ESM-016 for v22, STAGE-ESM-043 in admitted v23–v27) | keep the model; fallback record entry; options a to c in `SKILL.md`; link the Stage issue |
+| **Capability gap** | the intended meaning needs a construct Stage does not render yet | DateTime equality filters and required parameters after optional filters (`-010`); context/single-result filters, opaque `scoped to`/`performer` and a list-query `by` block remain PLAY0268; a read model with several key parts or a projection keyed by parts (v27) refuses `STAGE-ESM-048` and a single-instance query by parts `STAGE-ESM-047` (Chronicle#4265); Translate, clocks, captures, non-event triggers and opaque reaction bodies (`-024`); claim-reading/opaque `runs as` gates (`-034`), legacy `from` (`-035`), mixed effects in one handler (`-037`, retries can duplicate events; keep it whole), unsupported reaction mappings (`-039`); unsupported generated types/result combinations (`-028`/`-038`); `then no readmodel` (`-027`); evolved events (`STAGE-ESM-026`); unsupported expression/enum production conditions (`-006`; supported conditional productions render); legacy reads (`PLAY0271`), protected reads the renderer cannot preserve, or any protected read in an older CLI bundle (STAGE-ESM-044 despite v25 admission; semantic Host/executor support is separate); code validation (`-005`); protected identities/enums (`-040`) or unadmitted explicit subject lineage (`PLAY0268`); described handlers (v23, STAGE-IMPL-002 even Stub mode), atomic mode (STAGE-ESM-016 for v22, STAGE-ESM-043 in admitted v23–v27) | keep the model; fallback record entry; options a to c in `SKILL.md`; link the Stage issue |
+| **Implementation attachment** | a permanent limitation, not future ESM admission | file/inline command handlers (PLAY0800; typed `subject` names the command) | keep the model contract and gap-fill the slice in code with a constrained implementation attachment; do not wait for a new ESM version |
 | **Tool skew** | the bundled compiler disagrees with documented semantics | the false `PLAY0285` on reaction cascades from an older bundle; codes the standalone compiler does not raise | record in the session state and the fallback record; never "fix" a correct model |
 | **Environment** | not the model | restore failures, missing SDK, a destination that is not writable | fix the environment or report blocked |
 

package/package/corpus/skills/cratis-screenplay-scenario-coverage/references/spec-forms-by-mode.md

@@ -1,5 +1,11 @@
 # Specification forms by mode
 
+## Contents
+
+- Design mode
+- Executable mode
+- Renderable mode
+
 The subsets themselves (what binds, what renders) are owned by `cratis-screenplay-toolchain`
 (its executable and renderable subset references); installed versions by its `SKILL.md`. This file
 says what that means for writing specs. A form outside the chosen mode is never deleted from a
@@ -38,10 +44,13 @@ Typed example/override forms: `cratis-screenplay-specifications`
 | Date rules using `today`, `$context`, mixed `Date`/`DateTime`, concept or reaction-`where` positions; nested paths | spec them in design | rule does not bind: `recorded` | `recorded` |
 | Bodied rules, code policies | spec them | spec reported **unsupported**, never passed | no |
 | Pending described command handlers (v23) | specify intent | binds; denial/validation execute, body-reaching specs Unsupported ImplementationBody; all-Unsupported is not green | STAGE-IMPL-002 even Stub mode |
-| Attached command handlers, `file` constraints, query `performer`s | spec them in design | blocked: PLAY0268 at binding, no spec runs (V3 blocked) | no |
+| Attached command handlers | spec them in design | blocked: PLAY0800, no spec runs (V3 blocked); permanent constrained-attachment requirement, gap-fill in code | no |
+| `file` constraints, query `performer`s | spec them in design | blocked: PLAY0268 at binding, no spec runs (V3 blocked) | no |
 | Atomic reaction mode (v22) | declare for new models | failed batch adds no facts or view changes; earlier batches/commands remain; `then error` alone is insufficient | v22 STAGE-ESM-016; mode in admitted v23–v27 STAGE-ESM-043 |
 | Protected command reads (v25) | declare opt-in for eligible reads | absence Validation; matching intervening facts Conflict; race vectors are not a new spec construct | Cratis C# rendering in a new enough bundle (STAGE-ESM-044 before, or for unpreservable shapes); semantic Host/executor execute admitted reads, non-Error protected requirements STAGE-ESM-045; v25 pair admitted |
 
+Requires Screenplay 4.210.0 (`screenplay --version`) for attached handlers to report PLAY0800; older binders use PLAY0268. Other PLAY0268 families are unchanged.
+
 Requires Screenplay 4.105.0 or later (`screenplay --version`) for list-query specifications, and 4.143.0 or later for collection equality filters (ESM v14).
 
 Requires Screenplay 4.157.0 for v17, 4.160.0 for v19 and 4.161.0 for query validation/error assertions (`screenplay --version`); older compilers refuse those forms.

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

@@ -109,7 +109,10 @@ changes with the root folder name.
   filters, opaque `scoped to`/`performer` and a `by` block on a list query remain PLAY0268. 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 handlers remain PLAY0268.
+  but reached bodies are Unsupported; attached file/inline handlers refuse PLAY0800
+  and require constrained implementation attachments (code gap-fill, not future ESM
+  admission).
+  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`);
   generated values and `returns` responses bind (ESM v7, `references/generated-responses-example.md`). Read [references/executable-example.md](references/executable-example.md) when you need a small StateChange and StateView model that binds executable, [references/pdl-example.md](references/pdl-example.md) when writing projection forms that bind and run, and [references/automation-translate-example.md](references/automation-translate-example.md) when writing Automation and Translate slices (ESM v6).

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

@@ -60,11 +60,14 @@ a separate `case` names an expansion. Argument order is immaterial.
 | PLAY0795 | `profile`, `template`, `blueprint?`, `outlet` |
 | PLAY0796 | `profile`, `template`, `blueprint?`, `option` |
 | PLAY0797 | `profile`, `value` |
+| PLAY0800 | `subject` (required declaration: command) |
 
 PLAY0781–PLAY0785 need Screenplay 4.207.0; earlier compilers omit these arguments. `read` is the alias when the
 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.
+
 For PLAY0524, `step` is given, given readmodel, when, when append or then.
 `stepIndex` counts every authored given/when/then clause once across all forms,
 not nested lines, synthesized callers or defaults. Example/case expansion retains

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

@@ -376,9 +376,13 @@ keys (STAGE-ESM-048/-047). Read
 Requires Stage 4.129.0 for semantic Host/executor protected reads; older engines refuse -044.
 
 ## 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.
+
 | Code | Meaning | Fix |
 |---|---|---|
-| PLAY0268 | construct the ESM cannot represent; read the message for the construct (`executable-subset.md` lists attached handlers, 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 |
+| 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 |
 | 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

@@ -313,8 +313,9 @@ v22–v28 and [described handlers](../../cratis-screenplay-command-surface/refer
 for the result contract. Attached handlers remain unbound.
 
 Inline fences (`csharp`, `typescript`, `react`, `html`, `sql`) and `file <path>` attach
-code to an owner. Three kinds block binding (PLAY0268, V3 blocked, no specification runs):
-the attached command `handler`, the `file` constraint (see below) and a query `performer`
+code to an owner. Three kinds block binding (V3 blocked, no specification runs):
+the attached command `handler` (PLAY0800), the `file` constraint (PLAY0268, see below)
+and a query `performer` (PLAY0268)
 ("uses delivery, filtering, scope, or implementation behavior outside the first ESM v1
 vertical"). Everything else binds as an **opaque requirement** that needs a target to
 execute: reducer transitions, rule predicates, command and concept code validation, policy
@@ -327,8 +328,12 @@ 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` remains PLAY0268, wrapped or direct. A pending
-  intent instead selects v23 with unconditional productions (PLAY0695 information).
+- 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 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.
 - A command property named rule also accepts an `implementation` block (ordered
@@ -362,7 +367,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) | PLAY0268 | pending described handlers instead bind v23; body execution and rendering remain gaps |
+| File/inline `handler` (see above) | PLAY0800 | permanent attachment requirement: gap-fill in code; pending described handlers instead 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/renderable-subset.md

@@ -69,7 +69,7 @@ with STAGE-IMPL-002 (even Stub mode), and atomic mode in admitted pairs with
 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 PLAY0268. Protected reads bind v25. Non-Error protected requirements
+attached handlers PLAY0800 (PLAY0268 before Screenplay 4.210.0). 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.
@@ -98,7 +98,10 @@ ids into routing to fit a renderer (PLAY0515).
   older renderers refuse snapshot lists with STAGE-ESM-010.
   context/single-result filters, opaque `scoped to` and `performer` block binding. 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 handlers remain PLAY0268. Pending handlers beside unconditional
+- 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.
+  Pending handlers beside unconditional
   productions bind v23 but Stage refuses their bodies (STAGE-IMPL-002), even Stub mode;
   deliver as authorized gap-fill, never as implemented generated stubs.
 - Descriptions and documentation render only as XML doc comments, never as

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

@@ -32472,7 +32472,21 @@
       ],
       "title": "Source syntax carries portable behavior that ESM v1 cannot represent.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "subject",
+          "kind": "declaration",
+          "optional": true,
+          "meaning": "The innermost declaration that contains the refused construct; absent for document-level refusals."
+        },
+        {
+          "name": "issue",
+          "kind": "text",
+          "optional": true,
+          "meaning": "The tracking issue named by the refusal, such as Cratis/Screenplay#600, when it cites one."
+        }
+      ]
     },
     {
       "code": "PLAY0269",
@@ -33465,7 +33479,33 @@
       ],
       "title": "A quoted match pattern is not a valid ECMAScript regular expression.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "subject",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command or concept that owns the match rule."
+        },
+        {
+          "name": "property",
+          "kind": "text",
+          "optional": true,
+          "meaning": "The constrained command property; absent for a concept\u0027s own value."
+        },
+        {
+          "name": "pattern",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The decoded match pattern."
+        },
+        {
+          "name": "offset",
+          "kind": "index",
+          "optional": false,
+          "meaning": "The zero-based UTF-16 offset in the pattern where the problem starts."
+        }
+      ]
     },
     {
       "code": "PLAY0368",
@@ -36804,7 +36844,33 @@
       ],
       "title": "A match pattern uses a construct outside the portable linear dialect.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "subject",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command or concept that owns the match rule."
+        },
+        {
+          "name": "property",
+          "kind": "text",
+          "optional": true,
+          "meaning": "The constrained command property; absent for a concept\u0027s own value."
+        },
+        {
+          "name": "pattern",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The decoded match pattern."
+        },
+        {
+          "name": "offset",
+          "kind": "index",
+          "optional": false,
+          "meaning": "The zero-based UTF-16 offset in the pattern where the problem starts."
+        }
+      ]
     },
     {
       "code": "PLAY0700",
@@ -37244,7 +37310,49 @@
       ],
       "title": "A command decision read cannot be protected, with a closed refusal reason describing its shape or key.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "command",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command declaring the read."
+        },
+        {
+          "name": "read",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The read model name or alias as the command reads it."
+        },
+        {
+          "name": "readModel",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The read model declaration that cannot be protected."
+        },
+        {
+          "name": "reason",
+          "kind": "keyword",
+          "optional": false,
+          "meaning": "The closed refusal reason, the name of the decision-read refusal.",
+          "values": [
+            "reducer",
+            "join",
+            "children",
+            "open-subscription",
+            "payload-key",
+            "by-parts",
+            "no-removal",
+            "empty-handled-set",
+            "named-source-or-stream",
+            "singleton",
+            "key-type",
+            "generated-key",
+            "optional-key",
+            "collection-key"
+          ]
+        }
+      ]
     },
     {
       "code": "PLAY0782",
@@ -37255,7 +37363,21 @@
       ],
       "title": "A protected command read omits its lookup property and the command has no declared identifier.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "command",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command declaring the read."
+        },
+        {
+          "name": "read",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The read model name or alias as the command reads it."
+        }
+      ]
     },
     {
       "code": "PLAY0783",
@@ -37266,7 +37388,15 @@
       ],
       "title": "A command declares both protected reads and concurrency, making its consistency boundary ambiguous.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "command",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command declaring both reads and concurrency."
+        }
+      ]
     },
     {
       "code": "PLAY0784",
@@ -37277,7 +37407,27 @@
       ],
       "title": "A read path does not name a declared command read or alias.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "path",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The authored read path that resolves to no declared read and view property."
+        },
+        {
+          "name": "read",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The first path segment, the read name or alias that resolves to no declared read."
+        },
+        {
+          "name": "command",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command whose read path is unknown."
+        }
+      ]
     },
     {
       "code": "PLAY0785",
@@ -37288,7 +37438,27 @@
       ],
       "title": "A read path names a view read more than once instead of a distinguishing alias.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "path",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The authored read path that names a repeated read model."
+        },
+        {
+          "name": "read",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The read model name read more than once."
+        },
+        {
+          "name": "command",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command whose read path is ambiguous."
+        }
+      ]
     },
     {
       "code": "PLAY0786",
@@ -37310,7 +37480,27 @@
       ],
       "title": "A Studio text-rule pattern has an equivalent first-class ordinal rule.",
       "reserved": false,
-      "retired": false
+      "retired": false,
+      "arguments": [
+        {
+          "name": "subject",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command or concept that owns the match rule."
+        },
+        {
+          "name": "property",
+          "kind": "text",
+          "optional": true,
+          "meaning": "The constrained command property; absent for a concept\u0027s own value."
+        },
+        {
+          "name": "pattern",
+          "kind": "text",
+          "optional": false,
+          "meaning": "The decoded match pattern."
+        }
+      ]
     },
     {
       "code": "PLAY0788",
@@ -37629,6 +37819,25 @@
           "meaning": "The blueprint the template comes from."
         }
       ]
+    },
+    {
+      "code": "PLAY0800",
+      "name": "CommandHandlerRequiresAttachment",
+      "severity": "error",
+      "severities": [
+        "error"
+      ],
+      "title": "A command handler requires a constrained implementation attachment.",
+      "reserved": false,
+      "retired": false,
+      "arguments": [
+        {
+          "name": "subject",
+          "kind": "declaration",
+          "optional": false,
+          "meaning": "The command whose handler requires a constrained implementation attachment."
+        }
+      ]
     }
   ],
   "mcpTools": [

package/package/corpus/skills/cratis-screenplay-toolchain/references/screenplay-contract.version

@@ -1 +1 @@
-4.205.0
+4.211.1

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

@@ -62,7 +62,7 @@ Identity and compliance traps (`identity.md`, `concepts.md`, `events.md`, `purpo
   unknown, not safe. Arc needs `[ExecuteCommandsAsSystem]` to supply a principal.
 
 Traps 39 to 44 are tool traps.
-39. Attached handlers remain PLAY0268; pending `handler implementation` beside unconditional productions binds as a described v23 command (PLAY0695). Body-reaching specs are Unsupported ImplementationBody; Stage refuses STAGE-IMPL-002, including Stub mode. `implementation` and `hint` are accepted on a command handler, an operation execute/compensate phase and a command property named rule, and are rejected on concept rules, built-in property rules and whole-command `require`/`validate` bodies; hints do not execute, lock or confirm a body. A handler slice is gap-fill, not a customization of a rendered slice.
+39. Attached file/inline command handlers refuse PLAY0800 (`CommandHandlerRequiresAttachment`): permanent constrained-attachment requirement, so gap-fill in code rather than wait for ESM admission. Read required typed `arguments.subject`, not the message; older binders use PLAY0268 (version gate: [diagnostic arguments](diagnostic-arguments.md)). Pending `handler implementation` beside unconditional productions binds as a described v23 command (PLAY0695). Body-reaching specs are Unsupported ImplementationBody; Stage refuses STAGE-IMPL-002, including Stub mode. `implementation` and `hint` are accepted on a command handler, an operation execute/compensate phase and a command property named rule, and are rejected on concept rules, built-in property rules and whole-command `require`/`validate` bodies; hints do not execute, lock or confirm a body. A handler slice is gap-fill, not a customization of a rendered slice.
 40. `numbers exact` (the source mode) parses but never binds (PLAY0268; "not admitted by any supported executable model (ESM) version yet") and is PLAY0001 on older compilers; it is absent from `grammar.md`. Exact lowering of qualifying Double-mode literals is separate (v11). Never use it in a model or example meant to execute.
 41. MCP roots bug: a dynamic-root server on an old tool answers the roots request with an `id: null` error right after `notifications/initialized`; hosts treat it as fatal, and `open-workspace.path` does not help. Start with a fixed root (`screenplay mcp <folder>`, `cratis screenplay mcp` in a project with `.cratis/ai.json`).
     Requires Screenplay 4.63.2 or later (`screenplay --version`) for a dynamic-root server; the compiler bundled in older cratis releases lacks it.

package/package/corpus/skills/cratis-screenplay-ui-composition/references/file-references.md

@@ -6,8 +6,9 @@ This reference holds the three meanings of `file` and the rules for paths and lo
 
 Three meanings, one word:
 
-- **Backend implementation attachment.** On an attached command `handler` (still
-  PLAY0268; pending described handlers instead bind v23 without a file), a validation
+- **Backend implementation attachment.** On an attached command `handler`
+  (PLAY0800: permanent constrained-attachment requirement, gap-filled in code;
+  pending described handlers instead bind v23 without a file), a validation
   rule predicate, a query `performer`, a reducer rule, a reaction trigger, a
   `constraint` and a `policy`, `file` stands in for the inline body: the
   implementation lives there. These are the files a host inventories.
@@ -21,6 +22,8 @@ Three meanings, one word:
   `readmodel`, `projection`, `slice`, `specification`, top-level `trigger` — it
   only records which file realizes it.
 
+Requires Screenplay 4.210.0 (`screenplay --version`) for the file/inline handler's PLAY0800; older binders use PLAY0268. Read its required typed `arguments.subject` to identify the command, never the message.
+
 The rules:
 
 - **Repository relative, never absolute** (an absolute path is warning `PLAY0264`).

package/package/corpus/skills/cratis-stage-rendering-and-sandbox/SKILL.md

@@ -134,8 +134,13 @@ One blocker publishes nothing. Codes, limits and fixes: [references/admission.md
   unsupported conditional productions, composite read-model keys (`STAGE-ESM-048`, and `-047` for a single-instance query by parts) and unsupported `all` shapes.
   Protected reads render as Arc read protection in a new enough bundle; shapes it cannot preserve, and every protected read in an older bundle, refuse `STAGE-ESM-044` (see admission.md). The renderer refuses described handlers `STAGE-IMPL-002`
   (even Stub mode), and atomic mode in admitted pairs `STAGE-ESM-043`.
-- **Binding refusals (`PLAY0268`/`PLAY0271`):** legacy reads, `concurrency`, attached
-  handlers, context/single-result filters, opaque scope/performer, a list-query `by` block,
+- **Attached command handlers (`PLAY0800`):** file/inline handlers permanently require
+  constrained implementation attachments: gap-fill the slice in code, not by waiting
+  for ESM admission. Read the required typed `arguments.subject` for the command,
+  never match message text. Requires Screenplay 4.210.0 (`screenplay --version`);
+  older bundled binders use PLAY0268 for these handlers.
+- **Binding refusals (`PLAY0268`/`PLAY0271`):** legacy reads, `concurrency`,
+  context/single-result filters, opaque scope/performer, a list-query `by` block,
   enum/identity compliance and subject lineage. Eligible protected reads bind v25;
   pending handlers with unconditional productions bind v23, but neither renders. A read model with several key parts (v27) is admitted but refuses rendering (`STAGE-ESM-048`).
   Never drop protection.

package/package/corpus/skills/cratis-stage-rendering-and-sandbox/references/admission.md

@@ -264,7 +264,11 @@ pure expressions, and no generated type shadowing a referenced one. Anything els
 `STAGE-ESM-019`, `-021` or `-022`. A reducer needs a `StateView` slice, its read model in the
 same slice, a required Guid or text identifier and a matching keyed query. Code validation
 (`STAGE-ESM-005`) is refused outright (opaque pure policies render). Attached
-command handlers remain `PLAY0268`; a pending handler beside unconditional
+command handlers refuse `PLAY0800` and permanently require constrained implementation
+attachments: gap-fill in code, not by waiting for ESM admission. Requires Screenplay
+4.210.0 (`screenplay --version`); older bundled binders use PLAY0268 for these handlers.
+Read the required typed `arguments.subject` for the command rather than the message.
+A pending handler beside unconditional
 productions binds as a described v23 command, but Stage refuses it with
 `STAGE-IMPL-002`, even in Stub mode.
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cratis/pi",
-  "version": "7.72.1",
+  "version": "7.73.0",
   "description": "Configuration-aware Cratis AI integration for Pi",
   "type": "module",
   "files": [