[woksin]

Added

• The event model board in VS Code and the MCP App marks a slice that uses an event or read model from a slice drawn after it, showing the PLAY0516 or PLAY0517 finding on the slice header (Show when a slice uses events from later in the timeline #413)
• Selecting a slice, feature or module on the event model board in VS Code and the MCP App highlights what it depends on and what depends on it, and draws links between the slices (Show how modules and features depend on each other #415)
• New Information diagnostic PLAY0824 for redundant braces around composite keys, with a repair and quick fix that removes them (Information diagnostics and repairs for redundant existing spellings #953)
• New Information diagnostic PLAY0825 for authorize A B without and, with a repair and quick fix that writes and (Information diagnostics and repairs for redundant existing spellings #953)
• The semantic evaluator runs result-v2 command handlers. A handler's returned items are checked against its declared possible events, destinations and payloads, then produced in order. Typed contexts describe the handler result shape. Public binding still refuses these handlers until the next event-model schema version (part of Design a handler result contract with a declared set of possible events #1102)
• Proposed design record 0123 for store-backed sequences through a Chronicle allocator; sequence stays reserved (part of Design: store-backed sequences via a Chronicle allocator (deferred) #619)

Changed

• SemanticCommandBodyResult and SemanticTypedContextDescriptor gain new init members, so record equality, hashing and ToString now include them (part of Design a handler result contract with a declared set of possible events #1102)

Fixed

• Admissible compilation now attributes protected-read failures (PLAY0781, PLAY0784) to the reading slice when its views come from an unnamed or variant projection, and excludes that slice instead of refusing the whole model (Admissible compilation: attribute protected-read failures instead of refusing (Samples/Invoicing) #1094)

[woksin]

Reviewer notes (not part of the release note)

• Deliveries and owners:
  • Show when a slice uses events from later in the timeline #413/Show how modules and features depend on each other #415 board dependency overlay (L73)
  • Admissible compilation: attribute protected-read failures instead of refusing (Samples/Invoicing) #1094 admissible protected-read attribution (L73); the remaining Samples/Invoicing refusal is followed up in Admissible compilation: prune failing top-level triggers instead of refusing (Samples/Invoicing PLAY0268) #1106
  • Design a handler result contract with a declared set of possible events #1102 S4 result-v2 handler execution (L58), internal; PLAY0800 still refuses at public bind; S3 follows
  • Information diagnostics and repairs for redundant existing spellings #953 PLAY0824/0825 Information diagnostics, decision 0122 (L73)
  • Design: store-backed sequences via a Chronicle allocator (deferred) #619 decision record 0123, proposed only (L73)
• woksin: record 0123 (decisions/0123-store-backed-sequences-through-a-chronicle-allocator.md) ends with five open questions for you. The key one: Chronicle re-checks scopes on a storage retry but does not re-run unique constraints, so uniqueness rests on the scope.
• Review: full round 1 found one blocker (MCP result descriptor serialized SemanticId as {"isSet":true}); fixed in 6c45e15; delta round 2 passed with no findings.
• Corpus impact: Screenplay skills: may produce, PLAY0800 guidance, body execution and read-surface changes (Screenplay#1105) AI#958
• Local Tier 1 at 6694d79 green (Debug+Release builds, all spec projects incl. Mcp 3477/0 failed, vectors Release, pack + package verify, JS build/compile/lint/test). One Mcp FIFO-deadline spec timed out under machine load avg ~60 on the first run and passed on the rerun; not touched by this train.