golf-loop-model-lowerer: a Claude session lowers each packet behind the model port; the template lowerer leaves the loop #36

Merged

weksa merged 3 commits from weksa-lowering/golf-loop-model-lowerer into main

2026-11-10 09:47:43 +00:00

weksa commented

2026-11-10 09:47:43 +00:00

Member

Spec cut-golf-loop-model-lowerer.r1; reports h1, h2. Soul s1 (2 Medium, 6 Low) fixed in h2; Soul s2 (verdict cut-golf-loop-model-lowerer.s2): all eight fixed, two new Lows, no Medium.

Deletes LOWERER_SOURCE_DIGEST, DriftOf::Lowerer and the round's call to lower::lower; PROMPT_SOURCE_DIGEST covers context.rs, split.rs, lower.rs, packet.rs. New Prompt::lower sees no item text; lowered text never enters run.cc, RoundRecord, Decision or EditFeedback. RunRecord key 12 LowererReach set by required --lowerer-reach; briefed-subagent runs are labelled smoke-round only (ruling lowerer-call-reach-toolless-relay).

Hands' tests: 338 passed, 0 failed, 1 ignored; Soul s2 full suite at b569028 green. Clippy -D warnings clean (Hands). Mutants: 24 generated, 20 caught, 4 unviable, 0 survived (Hands). Not done: the operator step (a scored round); older run.cc files no longer open (scratch runs, off git). Dao numbers mean 'the pipe works'.

🤖 Generated with Claude Code

Spec cut-golf-loop-model-lowerer.r1; reports h1, h2. Soul s1 (2 Medium, 6 Low) fixed in h2; Soul s2 (verdict cut-golf-loop-model-lowerer.s2): all eight fixed, two new Lows, no Medium. Deletes LOWERER_SOURCE_DIGEST, DriftOf::Lowerer and the round's call to lower::lower; PROMPT_SOURCE_DIGEST covers context.rs, split.rs, lower.rs, packet.rs. New Prompt::lower sees no item text; lowered text never enters run.cc, RoundRecord, Decision or EditFeedback. RunRecord key 12 LowererReach set by required --lowerer-reach; briefed-subagent runs are labelled smoke-round only (ruling lowerer-call-reach-toolless-relay). Hands' tests: 338 passed, 0 failed, 1 ignored; Soul s2 full suite at b569028 green. Clippy -D warnings clean (Hands). Mutants: 24 generated, 20 caught, 4 unviable, 0 survived (Hands). Not done: the operator step (a scored round); older run.cc files no longer open (scratch runs, off git). Dao numbers mean 'the pipe works'. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 3 commits

2026-11-10 09:47:43 +00:00

Retire the lowerer source pin: one prompt pin over context, split and lower 3b7a6803bc

Deletes LOWERER_SOURCE_DIGEST, DriftOf::Lowerer, RunRecord key 7 and
RoundRecord key 3 (retired, never reused). PROMPT_SOURCE_DIGEST now covers
lower.rs, which the lowering prompt will read. Schemas regenerated.

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

The round lowers through the ModelPort: Prompt::lower over a LoweringInput, two answer phases 74ebafbc65

run::score_round no longer calls lower::lower. Prompt::lower prints the
meaning of an admitted view, en-US entity forms and the inventory at the
view's revision, and no item text, key, group, speaker or packet key. The
answer is a LoweringDraft {text}, held in score_round's locals and scored,
never written to run.cc, a RoundRecord, a Decision or EditFeedback. A round
or cycle asks every encode prompt, then every lowering prompt, all or
nothing. An entry an edit adds can now be lowered.

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

Soul s1 fixes: pin the lowerer reach, bound lowering text, pin the build refusal and the I/O discard b569028f48

RunRecord key 12 LowererReach set by a required --lowerer-reach flag and
shown in round and cycle lines. PROMPT_SOURCE_DIGEST covers packet.rs.
Lowering text is refused when blank, over 4096 bytes or holding a control
character. Unanswered lowering digests are listed once. Tests for the
Prompt::lower build refusal and the packets.cc discard after a port error.

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

weksa merged commit 23bfb02593 into main

2026-11-10 09:47:43 +00:00

weksa referenced this pull request from a commit

2026-11-10 09:47:45 +00:00

Merge pull request 'golf-loop-model-lowerer: a Claude session lowers each packet behind the model port; the template lowerer leaves the loop' (#36) from weksa-lowering/golf-loop-model-lowerer 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!36

No description provided.

Rows
Columns