Checkpoint-gate lows: pin the once rule and the elide branch, escape line breaks in item text #32

Merged

weksa merged 3 commits from weksa-lowering/checkpoint-gate-lows into main 2026-11-10 08:23:34 +00:00

Conversation 0 Commits 3 Files changed 1 +158 -2

weksa commented 2026-11-10 08:23:33 +00:00

Member

Copy link

Follow-up checkpoint-gate-lows. Findings once-rule-pins-thin, elide-branch-unpinned, forged-item-text-in-prompt (cut-checkpoint-gate.s1).

Soul s3 falsified the first fix (non-revert mutants survived; the forgery was real through CorpusStore::add + Prompt::mint). Fix batch: indented() in context.rs escapes every line break in item text and held prior-turn text; tests for interleaved re-offers, near-prefix rows and each separator. Soul s4 (verdict cut-golf-loop-edit-accept.s4, the door misfiled it under h7) held the producer fix at 0b2f6ce; its one new Low (separators-unpinned) is fixed in af35f72 with Hands' per-separator hand-reverts, which had no further Soul pass.

Tests 318 passed, 0 failed, 1 ignored; clippy clean. Corpus bytes carry no line breaks, so existing prompts are unchanged. Not touched: checkpoint-gate-map.test-reads-bounded (convergence-freeze), for_checkpoint stays pub (golf-loop-checkpoint-door-bound).

🤖 Generated with Claude Code

Follow-up checkpoint-gate-lows. Findings once-rule-pins-thin, elide-branch-unpinned, forged-item-text-in-prompt (cut-checkpoint-gate.s1). Soul s3 falsified the first fix (non-revert mutants survived; the forgery was real through CorpusStore::add + Prompt::mint). Fix batch: indented() in context.rs escapes every line break in item text and held prior-turn text; tests for interleaved re-offers, near-prefix rows and each separator. Soul s4 (verdict cut-golf-loop-edit-accept.s4, the door misfiled it under h7) held the producer fix at 0b2f6ce; its one new Low (separators-unpinned) is fixed in af35f72 with Hands' per-separator hand-reverts, which had no further Soul pass. Tests 318 passed, 0 failed, 1 ignored; clippy clean. Corpus bytes carry no line breaks, so existing prompts are unchanged. Not touched: checkpoint-gate-map.test-reads-bounded (convergence-freeze), for_checkpoint stays pub (golf-loop-checkpoint-door-bound). 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 3 commits 2026-11-10 08:23:33 +00:00

context: pin the once rule per key and for Train, the held-turn key equality, and item text inside its block ... 60e9cfca87

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

context: item text cannot forge a prompt line or block; pin interleaved re-offers, long shared-prefix ids, near-prefix held turns ... 0b2f6ce43b

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

context: pin every line separator in item text with its own splitter ... af35f72004

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

weksa merged commit 5a125fef4e into main 2026-11-10 08:23:34 +00:00

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

Merge pull request 'Checkpoint-gate lows: pin the once rule and the elide branch, escape line breaks in item text' (#32) from weksa-lowering/checkpoint-gate-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!32

No description provided.