@cratis/pi 7.29.1 → 7.31.0

package/package/corpus/skills/cratis-screenplay-toolchain/references/production-routes-and-filters.md

@@ -0,0 +1,119 @@
+<!-- Copyright (c) Cratis. All rights reserved. -->
+<!-- Licensed under the MIT license. See LICENSE file in the project root for full license information. -->
+
+# Per-production routes and observer filters (released ESM v10)
+
+## Contents
+
+- Command defaults and complete overrides
+- Observer selection
+- Checked source form
+- Admission and evidence
+
+## Command defaults and complete overrides
+
+Named event sources/streams and command routes bind as ESM v8 (verified at 4.125.0).
+A routed command's identifier and known destinations must match the source's nominal
+identifier type (PLAY0504). Allocation uses the generated identifier's type, or
+without one requires a UUID-based source. Composite `streamId` routes map every
+named part exactly once; scalar `streamId T` and `streamId = x` remain valid.
+See [sources and streams](sources-and-streams.md) for declarations and encoding.
+
+A command's plain, conditional or inline event production can carry its own
+`stream Source.Stream` plus scalar or composite `streamId` mappings. This replaces
+the **whole source, stream and stream id**, for that production only. Other
+productions inherit the command route. Overrides do not supply `for`: state the
+destination explicitly and keep its type compatible with the override's source.
+There is no `no stream` override. A payload `stream = value` remains payload.
+Reaction and refusal-branch productions cannot carry routes (PLAY0663).
+
+Resolve the command route and every override eagerly after validation/requirements
+and before generation. An invalid route in a skipped conditional production still
+rejects the command atomically as Contract, leaving no new facts or allocation.
+Mappings accept required nongenerated direct scalar command inputs or literals;
+property paths remain PLAY0268 (#574), generated inputs PLAY0273. A portable
+unkeyed override replaces a keyed command id, never inherits it; a renderer must
+refuse that form if its adapter cannot clear inherited metadata.
+
+## Observer selection
+
+A reaction or reducer has at most one leaf `from Source` or `from Source.Stream`.
+It matches stored source/stream names, not stream ids. Unrouted facts never match;
+without a filter, existing observation behavior is unchanged. Direct reaction
+productions, captures and public publication are unrouted. A filtered reaction may
+only have `when Event` triggers on declared events, not clock/application triggers.
+Filters are not available on projections or captures.
+
+PLAY0665 rejects malformed, duplicate, child-bearing, unresolved/ambiguous filters
+and non-event triggers. PLAY0666 warns when all statically known producers lie
+outside the filter: include effective production overrides in this check. Handler
+commands and foreign origins are unknown and suppress this C#-only warning.
+A filtered opaque reducer returns typed Unsupported when matching given history
+or the when-step reaches a transition; ignoring its body cannot prove absence.
+
+## Checked source form
+
+The override and filter select ESM v10. The second production keeps the command
+default, while Booked is routed to Notes and can trigger Follow:
+
+```screenplay
+concept AccountId : String
+eventsource Account
+  identifier AccountId
+  stream Base
+    streamId String
+  stream Notes
+    streamId String
+module Accounts
+  feature Booking
+    slice StateChange Book
+      command Book
+        accountId AccountId identifier
+        period String
+        stream Account.Base
+          streamId = period
+        produces event Booked
+          for accountId
+          stream Account.Notes
+            streamId = period
+        produces event BookRecorded
+          for accountId
+    slice Automation FollowBooking
+      event Followed
+      reaction Follow
+        from Account.Notes
+        when Booked
+          produces Followed
+      specification RoutedReaction
+        when append Booked
+          for "account-1"
+          stream Account.Notes
+            streamId = "2026-10"
+        then Followed
+          no stream
+```
+
+For a composite override, the child form is `streamId` followed by every
+`part = inputOrLiteral`. Mapping order does not change part correspondence.
+Specification routes describe effective facts, not only the command default.
+Cover inherited versus overridden routes, atomic skipped-route failure, matching
+and wrong source/stream, and unrouted input. Read [specification route forms](sources-and-streams.md).
+
+## Admission and evidence
+
+ESM v10 was first published in 4.125.0 (reaction system identity). Production
+routes and observer filters shipped in 4.129.0. Decision 0066 records that already
+shipped extension as a retroactive exception; all three are now one frozen v10
+contract. A consumer admitting v10 must include all three, not just identity.
+Composite **read-model** keys are separate and remain unadmitted (PLAY0268, #599).
+
+Previous CLI 3.46.1/Stage 4.52.0 refused versions above v7 before planning.
+CLI 3.50.0/Stage 4.67.0 admits through v10 to construct checks: production overrides
+still refuse STAGE-ESM-036 and reaction filters STAGE-ESM-035; reducer filters render.
+A supported version number alone never proves target support or a passing render.
+
+Source: Screenplay `v4.135.0:Documentation/screenplay/{event-sources,readmodels,reactions,diagnostics}.md`,
+decisions 0061–0063/0066 and canonical corpus
+`Source/DotNET/Screenplay.CanonicalCorpus/Corpus/EventRoutes/{production-routes,observer-filters}/source/`.
+Stage `v4.67.0:Source/Rendering.Cratis/Semantics/{SemanticVersionFeatures,SemanticVersionFeatureAdmission}.cs`;
+CLI `v3.50.0:Source/Cli/Commands/Render/RenderedSemanticVersions.cs`.

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

@@ -28,7 +28,14 @@ is adapted with the agreement of Martin Dilger and Nebulit GmbH.
 
 ## Sources read for facts
 
-- Current pin update: Screenplay `v4.131.0` (`71f3ef37`), published
+- Current public/keys/routes/version update: Screenplay `v4.135.0` (`b4e46130`),
+  unchanged release contract, `Semantics/Versions.cs`, `Documentation/screenplay/{events,slices,captures,readmodels,queries,event-sources,diagnostics,interoperability}.md`,
+  decisions 0049–0051 and 0060–0066. Composite view keys remain PLAY0268 (#599);
+  v11 literal lowering is admitted despite interoperability's unreleased label.
+  CLI `v3.50.0` (`546dea12`) pins Stage 4.67.0 and Screenplay 4.131.0;
+  `RenderedSemanticVersions.cs` and Stage's version-feature admission were read,
+  not executed as a new render/browser vector.
+- Previous pin update: Screenplay `v4.131.0` (`71f3ef37`), published
   `screenplay-contract.json`, `Source/DotNET/Screenplay.Mcp/{McpRevisionDiff,McpWorkspaces.Comparison,McpToolSchemas}.cs`
   and `Documentation/screenplay/mcp/reference.md`; CLI `v3.46.1` (`73578fbf`)
   `Directory.Packages.props`, `RenderedSemanticVersions.cs`, `RenderSettings.cs`,

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

@@ -7,13 +7,19 @@
 - Ownership, publication and recovery
 - Reading V5
 
-Current pins: standalone Screenplay 4.131.0; CLI 3.46.1 bundles Screenplay
-4.130.0 and Stage 4.52.0 (`versions.md`). CLI admits ESM v7 to Stage planning;
-above v7 is CLI-RENDER-004. The historical v7 canonical-corpus check got
+Current pins: standalone Screenplay 4.135.0; CLI 3.50.0 bundles Screenplay
+4.131.0 and Stage 4.67.0 (`versions.md`). CLI/Stage admit through v10 to construct
+checks, not blanket rendering; above v10 is CLI-RENDER-004 (direct Stage:
+STAGE-ESM-016). v9 publication/foreign facts and v10 reaction identity,
+reaction filters and production overrides still refuse STAGE-ESM-032–036;
+reducer filters render. v8 routes reach specific checks (including routed
+read-model/query replay refusal STAGE-ESM-030). Case tables and v8+ `long`
+whole numbers apply to the current default. Previous CLI 3.46.1/Stage 4.52.0
+admitted only through v7 and applied neither newer rule. The historical v7 canonical-corpus check got
 STAGE-ESM-028/029 for generated values/responses
 (`v3.41.0:Source/Cli.Specs/for_ScreenplayPlanning/when_planning_an_esm_v7_model.cs`).
 The following detailed Stage 4.24.x results are **historical**, not reverified
-4.52.0 claims. Run the bundled renderer before asserting current renderability.
+4.67.0 claims. Run the bundled renderer before asserting current renderability.
 
 Historical sources, all read at tags: Stage v4.24.1 `Source/Rendering.Cratis/Semantics/SemanticSurfaceLedger.cs`
 (an exhaustive map of every ESM member to Rendered, Rejected(code) or Ignored),
@@ -61,7 +67,7 @@ accepted with PLAY0565 information); either still refuses binding. Identity bloc
 purposes and event `subject` are authoring metadata, not provider realization;
 executing identity detail reads still refuses PLAY0268. Current source/stream
 routes are admitted as v8, including composite ids, not the historical binding
-refusal above; CLI 3.46.1 still refuses versions above v7. Never split hand-joined
+refusal above; current CLI 3.50.0 reaches Stage's v8 route checks. Never split hand-joined
 legacy ids or drop protected ids into routing to fit a renderer (PLAY0515).
 
 ## Authoring consequences in renderable mode