@cratis/pi 7.57.0 → 7.58.0

package/package/corpus/product-sync.json

@@ -170,9 +170,9 @@
         }
       ],
       "synced": {
-        "version": "4.164.0",
-        "date": "2026-10-14",
-        "by": "Cratis/AI#668"
+        "version": "4.188.0",
+        "date": "2026-10-16",
+        "by": "Cratis/AI#706"
       },
       "covers": {
         "skills": [
@@ -200,7 +200,7 @@
         ],
         "rules": []
       },
-      "notes": "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": "Standalone 4.188.0 and byte-identical compiler contract pinned. 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-screenplay-automations-and-translations/references/translate-example.md

@@ -57,7 +57,7 @@ module Exams
         then denied
 
     slice Translate ImportProctorResults
-      description "Per external field: reference -> correlation key (our attempt id, echoed); outcome -> translated to our enum; score -> kept; examinerNote -> ignored (free text, may hold personal data, no consumer). Repeated delivery: this example compares outcome only. An unchanged outcome appends nothing, even if the score changed, so it does not implement score corrections. OneResultPerAttempt refuses a second local result. Changed outcomes and score-only corrections need an explicit correction policy (open decision, recorded in STATE.md, not an overwrite) before this is a complete integration."
+      description "Per external field: reference -> correlation key (our attempt id, echoed); outcome -> translated to our enum; score -> kept; examinerNote -> ignored (free text, may hold personal data, no consumer). Repeated delivery: the first record of a key appends once (`when added`, Chronicle's first-observation rule); a later delivery of the same key appends nothing, even if the outcome or score changed, so it does not implement corrections. OneResultPerAttempt refuses a second local result. Changed outcomes and score-only corrections need an explicit correction policy (open decision, recorded in STATE.md, not an overwrite) before this is a complete integration."
       capture ProctorResults
         source webhook
           path /webhooks/proctoring/results
@@ -67,21 +67,9 @@ module Exams
             "P" => passed
             "F" => failed
         append ProctorResultReceived
-          when outcome
+          when added
             outcome = $.outcome
             score   = $.score
-      reaction PassTranslator
-        when ProctorResultReceived
-          outcome
-          score
-          produces ExamPassed
-            score = score
-        where outcome == "passed"
-      reaction FailTranslator
-        when ProctorResultReceived
-          outcome
-          produces ExamFailed
-        where outcome == "failed"
       event ProctorResultReceived
         outcome ProctorOutcome
         score   Int
@@ -112,12 +100,26 @@ module Exams
           outcome = "failed"
           score   = 40
         then error "Constraint 'OneResultPerAttempt' is violated: the event source already has the constrained event."
+
+    slice Automation TranslateProctorResults
+      description "Our facts from the provider's: the translators react to the external fact the Translate slice records"
+      reaction PassTranslator
+        when ProctorResultReceived
+          outcome
+          score
+          produces ExamPassed
+            score = score
+        where outcome == "passed"
+      reaction FailTranslator
+        when ProctorResultReceived
+          outcome
+          produces ExamFailed
+        where outcome == "failed"
 ```
 
 Notes for the reader:
 
-- A capture, the translator reactions and the events they append stay in one `Translate`
-  slice. `then` lists every new fact, so `TranslatingAPass` names both the external fact and ours.
+- A capture and the external fact it appends stay in the `Translate` slice; the translator reactions that answer that fact sit in an `Automation` slice beside it (a reaction in the capture's own directionless `Translate` slice is `PLAY0694`). `then` lists every new fact, so `TranslatingAPass` names both the external fact and ours.
 - The unauthenticated-booking spec needs an explicit `given caller` (empty means no caller);
   an authorized command exercised without one is PLAY0389 at binding.
 - Authenticity of the webhook, tenant ownership and a score-correction policy are not in the

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

@@ -244,7 +244,7 @@ Never invent commands, parameters, syntax nodes or downstream capabilities.
 | Commands, events, validation and concurrency | `cratis-screenplay-command-surface` |
 | Projections and reducers | `cratis-screenplay-projections` |
 | Read models, queries and screens | `cratis-screenplay-read-surface` |
-| Layouts, forms, contributions, component bindings, toolbars, outlets, themes and localization | `cratis-screenplay-ui-composition` |
+| Layouts, forms, contributions, navigation regions, slice buttons, template references, sample data, component bindings, toolbars, outlets, themes and localization | `cratis-screenplay-ui-composition` |
 | Captures, reactions and triggers | `cratis-screenplay-captures-and-reactions` |
 | Behavioral examples and assertions | `cratis-screenplay-specifications` |
 | Rendering/running an admitted model | `cratis-stage-rendering-and-sandbox` |

package/package/corpus/skills/cratis-screenplay-model-authoring/references/screen-authoring-workflow.md

@@ -11,6 +11,7 @@
 - 3. Review and apply with revision checks
 - 4. Validate authoring and executable readiness
 - 5. Run/render using the same configuration
+- Edit the application shell
 - 6. Use Screenplay-owned fixtures
 - Replay the workflow in CI without a Screenplay checkout
 - Edit, render, run and see it in the browser
@@ -148,6 +149,30 @@ represented in the generated plan or runtime diagnostics. A consumer that cannot
 implement one reports a blocking diagnostic. Silent fallback to the default screen
 composition is a failure.
 
+## Edit the application shell
+
+Navigation regions, toolbar buttons, blueprint template references and sample data are typed nodes and follow the same
+open, read, propose, review, apply, reopen loop; the syntax and rules are in
+`cratis-screenplay-ui-composition` (`references/application-shell.md`). The vectors to replay against are the
+`screen-shell-navigation-positive` source case and its rejection vectors in `Cratis.Screenplay.CanonicalCorpus`.
+
+1. `read-ast` with `kind` `NavigationRegionSyntax`, `NavigationItemSyntax`, `ToolbarButtonSyntax`,
+   `TemplateAssignmentSyntax`, `ScreenTemplateReferenceSyntax` or `SampleDataPackSyntax`, `includeContent: true`.
+   Select the occurrence by its parent: a region belongs to the `LayoutSyntax` or a `ModuleSyntax`, and the same item id
+   can appear in several regions.
+2. `propose-ast` with `replace` (copy the returned node, change `mode`, `items`, `slice`, `version` or a row value),
+   `add` to a member the node kind declares (`navigation`, `items`, `children`, `buttons`) or `remove`. A member that
+   holds nothing is not in the node JSON; `add` still accepts it.
+3. Read the proposal's diagnostics before applying. A refusal such as `PLAY0750` (a module item targeting another
+   module), `PLAY0762` (a button on a State View slice), `PLAY0722` (a blueprint no profile lists) or `PLAY0714` (an
+   unknown active pack) is the answer; change the proposal, not the rule.
+4. `apply` with both revisions. A `StaleRevision` means the model moved: reopen, re-read the nodes and propose again.
+5. Switching a module from inherit to override copies the application's items; retarget each copy to the module's own
+   features first or the proposal is refused.
+
+Requires Screenplay 4.188.0 or later (`screenplay --version`) to `add` the first region, button or sub-item to a member
+the node JSON omits while empty; an older MCP server answers "Unknown typed syntax member".
+
 ## 6. Use Screenplay-owned fixtures
 
 The canonical multi-file application belongs to the Screenplay/conformance corpus,

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

@@ -317,6 +317,6 @@ Read [screen patterns](references/screen-patterns.md) when deciding whether a sc
 Attribution and licences: `references/provenance.md`.
 
 - How events fill the read model: `cratis-screenplay-projections`.
-- Layouts, templates, forms, component bindings, toolbars, outlets, contributions, packages and themes: `cratis-screenplay-ui-composition`.
+- Layouts, templates, forms, component bindings, toolbars and slice buttons, outlets, contributions, navigation regions, sample data, packages and themes: `cratis-screenplay-ui-composition`.
 - Asserting query results: `cratis-screenplay-specifications`.
 - Deciding which read models exist: `cratis-screenplay-event-modeling`.

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

@@ -93,15 +93,18 @@ module Invoicing
           when outcome
             outcome = $.outcome
             reason  = $.reason
+      event PaymentGatewayResultReceived
+        outcome GatewayOutcome
+        reason  String
+      event PaymentReceived
+
+    slice Automation TranslatePaymentGatewayResults
+      description "Gives PaymentReceived its producer: the translator reacts to the provider's external fact"
       reaction ReceivedTranslator
         when PaymentGatewayResultReceived
           outcome
           produces PaymentReceived
         where outcome == "captured"
-      event PaymentGatewayResultReceived
-        outcome GatewayOutcome
-        reason  String
-      event PaymentReceived
 
     slice StateChange SettleOrVoidInvoice
       description "An invoice ends either settled or voided, never both (SettleOrVoid, enforced at append). NOT enforced in the model today: that the invoice exists and is still open (settling) and that only an open, unpaid invoice may be voided. Stated as `reads OpenInvoice` + `require` (PLAY0271/PLAY0268 at binding; Screenplay#129). Target: Arc [ProtectedDecision] with DecisionRead, or a Chronicle DCB. Requirements to test in the target: settling an unknown invoice is rejected; voiding a paid invoice is rejected; voiding an open invoice succeeds."

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

@@ -205,9 +205,18 @@ module Invoicing
             "C" => captured
             "D" => declined
         append PaymentGatewayResultReceived
-          when outcome
+          when added
             outcome = $.outcome
             reason  = $.reason
+      event PaymentGatewayResultReceived
+        outcome GatewayOutcome
+        reason  String
+      event PaymentReceived
+      event PaymentDeclined
+        reason String
+
+    slice Automation TranslatePaymentGatewayResults
+      description "Our facts from the provider's: the translators react to the external fact the Translate slice records"
       reaction ReceivedTranslator
         when PaymentGatewayResultReceived
           outcome
@@ -220,12 +229,6 @@ module Invoicing
           produces PaymentDeclined
             reason = reason
         where outcome == "declined"
-      event PaymentGatewayResultReceived
-        outcome GatewayOutcome
-        reason  String
-      event PaymentReceived
-      event PaymentDeclined
-        reason String
 
       specification TranslatingADeclinedCardResult
         when capture PaymentGatewayResults