speaker-scene: weksa.speaker and weksa.scene documents, with_scene reads the store #26

Merged

weksa merged 6 commits from weksa-lowering/speaker-scene into main

2026-11-10 03:26:05 +00:00

weksa commented

2026-11-10 02:42:12 +00:00

Member

Cut weksa-lowering:cut_spec:cut-speaker-scene.r1, report cut-speaker-scene.h1. Soul pass pending; draft until it holds.

🤖 Generated with Claude Code

Cut weksa-lowering:cut_spec:cut-speaker-scene.r1, report cut-speaker-scene.h1. Soul pass pending; draft until it holds. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 2 commits

2026-11-10 02:42:13 +00:00

Retire V13 and with_scene's raw door; Stance and Scene features sit in one slot 0b62d2f3b4

with_scene is removed until it takes a Scene document (next commit); V13 goes
with it. Slot exclusivity becomes a rule of InventoryEntry::well_formed, so
FEAT_ALL leaves Stance and its stance duplicate case goes (ANGER pins V11 in
Stance). tests/scene.rs is deleted and rewritten on Scene documents later.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Speaker and Scene documents, SpeakerStateStore, with_scene on a Scene document 6ef1b7e034

Slot Speaker, weksa.speaker and weksa.scene append-only revisions in one
store, V16, feature_refusals as the one feature check, speaker_scene_revision
(Speaker features 22-24), schemas, docs and map lines. Part 1 of map cut 4b.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

weksa added 1 commit

2026-11-10 02:51:37 +00:00

with_scene reads the item's speaker and group scene from the store; V17 addressee names a referent 71e6058b64

The view keeps its corpus item's speaker and group (LoweringInput::of takes
the item; admissible is gone), and with_scene takes the SpeakerStateStore, so
neither speaker nor scene comes from the caller and only admitted scenes
reach a view. An addressee that names a predication is refused as V17.
Pins scene numbering per group and the no-fallback case for a named
addressee outside the participants; tests/scene.rs fixture now speaks as the
item's speaker.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

weksa added 2 commits

2026-11-10 03:10:26 +00:00

Merge origin/main (checkpoint-gate) into weksa-lowering/speaker-scene e96acf97a5

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

with_scene records what it read: SceneRead says no scene, no addressee, self-addressed, no relation or selected at a revision bb152d02ce

The view no longer collapses five cases into one empty feature list. Scene::relation
returns None for an absent relation. Pins the item speaker over the first
participant and V16 without an addressee.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

weksa added 1 commit

2026-11-10 03:25:47 +00:00

Pin LoweringInput::of's privacy with the right arity; scene() doc points to scene_read() eff94fb4af

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

weksa changed title from ~~WIP: speaker-scene: weksa.speaker and weksa.scene documents, with_scene takes a Scene~~ to speaker-scene: weksa.speaker and weksa.scene documents, with_scene reads the store

2026-11-10 03:26:04 +00:00

weksa merged commit 2be0a35ae7 into main

2026-11-10 03:26:05 +00:00

weksa referenced this pull request from a commit

2026-11-10 03:26:06 +00:00

Merge pull request 'speaker-scene: weksa.speaker and weksa.scene documents, with_scene reads the store' (#26) from weksa-lowering/speaker-scene into main