Round lows: split.rs joins the prompt source digest, stores re-checked after open #33

Merged

weksa merged 1 commit from weksa-lowering/golf-loop-round-lows into main 2026-11-10 08:36:13 +00:00

Conversation 0 Commits 1 Files changed 3 +127 -25

weksa commented 2026-11-10 08:36:12 +00:00

Member

Copy link

Follow-up golf-loop-round-lows. Report cut-golf-loop-round.h4; Soul pass admitted, no blocking findings.

Fixed: split.rs in PROMPT_SOURCE_DIGEST; check_pins re-checks corpus, entities and head inventory after the stores open (TOCTOU window refused). Already on main: non-UTF-8 answer is a per-item Parse refusal. Not done: collision-resistant digest, no digest crate in Cargo.lock or the offline registry (idea crypto-digest stays Recorded).

Deviations: every existing run root now reopens as Drift(Prompts) (scratch runs, off git). Soul lows left: concatenation has no length framing, create leaves the store's lock sidecar, drift text does not say split.rs counts.

Tests 317 passed on branch.

🤖 Generated with Claude Code

Follow-up golf-loop-round-lows. Report cut-golf-loop-round.h4; Soul pass admitted, no blocking findings. Fixed: split.rs in PROMPT_SOURCE_DIGEST; check_pins re-checks corpus, entities and head inventory after the stores open (TOCTOU window refused). Already on main: non-UTF-8 answer is a per-item Parse refusal. Not done: collision-resistant digest, no digest crate in Cargo.lock or the offline registry (idea crypto-digest stays Recorded). Deviations: every existing run root now reopens as Drift(Prompts) (scratch runs, off git). Soul lows left: concatenation has no length framing, create leaves the store's lock sidecar, drift text does not say split.rs counts. Tests 317 passed on branch. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 1 commit 2026-11-10 08:36:12 +00:00

Run pins: prompt digest covers split.rs; stores are re-pinned after they open, so digest and open cannot straddle a change ... c1c19cc848

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

weksa merged commit e93862a57f into main 2026-11-10 08:36:13 +00:00

weksa referenced this pull request from a commit 2026-11-10 08:36:14 +00:00

Merge pull request 'Round lows: split.rs joins the prompt source digest, stores re-checked after open' (#33) from weksa-lowering/golf-loop-round-lows into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/Weksa!33

No description provided.