Speaker-scene lows: with_scene enforces scene coverage at read, one owner

weksa commented

2026-11-10 08:54:49 +00:00

Member

Follow-up speaker-scene-lows (coverage half). Scene::uncovered is the single rule used by put_scene and with_scene (now takes the CorpusStore). Report cut-speaker-scene.h5. Soul verdict: Hold, three Lows (read-side mutants unpinned, V16 text, map prose), fixed in 7a803f5 with Hands' hand-reverts; that fix batch had no second Soul pass.

Tests 322 passed, 0 failed, 1 ignored; clippy clean. Not done: Annotator::Operator, deferred to cut 4c (attestation design).

🤖 Generated with Claude Code

Follow-up speaker-scene-lows (coverage half). Scene::uncovered is the single rule used by put_scene and with_scene (now takes the CorpusStore). Report cut-speaker-scene.h5. Soul verdict: Hold, three Lows (read-side mutants unpinned, V16 text, map prose), fixed in 7a803f5 with Hands' hand-reverts; that fix batch had no second Soul pass. Tests 322 passed, 0 failed, 1 ignored; clippy clean. Not done: Annotator::Operator, deferred to cut 4c (attestation design). 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 2 commits

2026-11-10 08:54:49 +00:00

Scene coverage has one owner, Scene::uncovered, applied at put and at with_scene da407e23af

with_scene now takes the corpus store and refuses (V16) a scene that no longer
lists the speaker of every live item of its group.

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

Pin the read-side coverage filters; V16 says the scene covers every live speaker of the group 7a803f5cb5

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

weksa merged commit 69e1f0dda3 into main

2026-11-10 08:54:49 +00:00

weksa referenced this pull request from a commit

2026-11-10 08:54:51 +00:00

Merge pull request 'Speaker-scene lows: with_scene enforces scene coverage at read, one owner' (#34) from weksa-lowering/speaker-scene-lows into main

Rows
Columns

Speaker-scene lows: with_scene enforces scene coverage at read, one owner #34