[woksin]

Added

• Semantic models written by a newer Screenplay version are now read without failing on unknown members. Unknown fields are preserved, known fields are decided by each document's major version, and malformed wire versions are refused with a clear contract error (Read newer semantic models without failing on unknown members (unknown-preserving admission) #1067)
• CompileAdmissible exclusions distinguish root errors from dependent exclusions and identify their immediate dependencies (CompileAdmissible: type exclusion causes as root or dependent #1095)
• Live collection query performers expose a versioned binding contract for observable read-model updates (Define the binding contract for observable (live) query performer bodies (0113 item 4) #1077)
• Policy predicates with implementation bodies are evaluated through the host-supplied body-execution provider, with explicit allow, deny or unsupported outcomes in authored order (part of Extend the body-execution provider to every implementation kind #1099)
• Command handlers with implementation bodies run through the body-execution provider and return one payload per declared produces line. Execution faults are reported separately from unsupported bodies and commit no events (part of Extend the body-execution provider to every implementation kind #1099)
• Command handlers may declare a may produce set of possible events, each optionally routed for <property> or for one of <collection> with stream and tag metadata. The set is parsed, printed and published in the language contract; binding it is still refused with PLAY0800 until the next event-model schema version (part of Design a handler result contract with a declared set of possible events #1102)

Changed

• PLAY0800 refusals for command handlers now say which condition failed (conditional produces, hints, or an empty body) and how to write a handler Screenplay accepts. Reactions that read a read model and also produce directly now point to invoking a command instead (Explain PLAY0800 and reaction-read refusals, and fix the ProcessInvoiceBatch sample #1101)
• Handler, implementation and diagnostic records gain new init members, so their equality, hashing, ToString and serialization now include those members (part of Design a handler result contract with a declared set of possible events #1102)
• The generated-values documentation now has a support matrix showing which generated-value forms each compiler, the MCP tools, Arc, Stage and Studio support (part of Generated values: concept generation strategies and [GeneratedValue] across Screenplay, Arc, Stage and Studio #614)

Fixed

• A read-model member whose type names another read model now reports a consistent error at the member in the compiler, CLI, MCP and editors, with guidance to use a supported value type (screenplay test: PLAY0273 for slice-local type used as read model member type #1079)

[woksin]

Reviewer notes (not part of the release note)

• Local Tier 1 (Debug/Release builds, all spec projects, JS lint/compile/test/build, package verification, contract golden) green at c8568f8.
• Review workflow (deep, security) passed at c8568f8 with no blocking findings.
• Deliveries and owners: MCP worktree spec setup times out under load (10 s git WaitForExit) #1059 spec-only (no bullet; closed manually after merge), CompileAdmissible: type exclusion causes as root or dependent #1095 (L35), Read newer semantic models without failing on unknown members (unknown-preserving admission) #1067 (L67, decision 0118; related Document Screenplay's unknown-preserving semantic model reader in the corpus AI#957, Render semantic models received as ESM bytes, including newer minors Stage#844), Explain PLAY0800 and reaction-read refusals, and fix the ProcessInvoiceBatch sample #1101 (L58), Design a handler result contract with a declared set of possible events #1102 decision 0119 + S1/S2 (L58), Generated values: concept generation strategies and [GeneratedValue] across Screenplay, Arc, Stage and Studio #614 docs (L73), screenplay test: PLAY0273 for slice-local type used as read model member type #1079 (L67), Define the binding contract for observable (live) query performer bodies (0113 item 4) #1077 decision 0120 (L35; Stage#834 consumer), Extend the body-execution provider to every implementation kind #1099 S4/S5 (L59).

[woksin]

Corpus impact: Cratis/AI#958 (and Cratis/AI#957 for #1067)