Checkpoint gate: Test readings need a Checkpoint nobody outside tests can declare; fixed instructions; context lows #27

Merged

weksa merged 6 commits from weksa-lowering/checkpoint-gate into main

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

weksa commented

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

Member

Cut cut-checkpoint-gate.r2, reports h1-h3, Soul s1,s2 held (Lows deferred to checkpoint-gate-lows).

🤖 Generated with Claude Code

Cut cut-checkpoint-gate.r2, reports h1-h3, Soul s1,s2 held (Lows deferred to checkpoint-gate-lows). 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 6 commits

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

Cut: Checkpoint has no public constructor; instruction text is consts 469e46cbc5

Checkpoint::declare becomes cfg(test) for_test; Checkpoint-using tests move
into src unit tests over split::fixture; Prompt::mint and encode lose the
instructions parameter (MINT_INSTRUCTIONS, ENCODE_INSTRUCTIONS in context.rs).

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

Checkpoint offers each item once; prior turns print the held Train text d5b11088ad

for_checkpoint takes &mut Checkpoint and refuses a repeated key
(OfferedAtCheckpoint) after the gate; TrainItems::held replaces holds and block
prints the matched Train item's text; the text-key fold is pinned against the
store's own S6 refusal.

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

Map: checkpoint-gate lines (7a, 7, 11) 3d83ba5fd2

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

Checkpoint: offers borrow it; door pinned by source shape; doc states the real guard 43f2e118f2

EncoderOffer<'cp> borrows its Checkpoint so a Test offer cannot be encoded
after the reading spends it. tests/checkpoint_door.rs scans split.rs for any
public minting item under any name. The split.rs doc says operator tools read
corpus text and the guarded invariant is the round path.

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

Map: say what the Checkpoint gate guards (7a) 7a33a8d70f

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

Door scan: say it is a line-based tripwire and what it misses 62059337a3

Docs only; no behaviour change.

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

weksa merged commit 7a8ffbea1e into main

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

weksa referenced this pull request from a commit

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

Merge pull request 'Checkpoint gate: Test readings need a Checkpoint nobody outside tests can declare; fixed instructions; context lows' (#27) from weksa-lowering/checkpoint-gate into main

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

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!27

No description provided.

Rows
Columns