golf-loop-round: the smallest loop that scores one round end to end

weksa commented

2026-11-10 04:05:59 +00:00

Member

Cut cut-golf-loop-round.r1, report h1. ModelPort + AnswerFiles, PacketDraft, RunStores (offer-unbound-to-store), round record with Validation numbers only, weksa loop open|round. Soul pending; draft until it holds.

🤖 Generated with Claude Code

Cut cut-golf-loop-round.r1, report h1. ModelPort + AnswerFiles, PacketDraft, RunStores (offer-unbound-to-store), round record with Validation numbers only, weksa loop open|round. Soul pending; draft until it holds. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 5 commits

2026-11-10 04:05:59 +00:00

RunStores is the one public producer of TrainItems and EncoderOffer: a run pins its corpus and entity stores by digest e7b4d9a68b

TrainItems::from_corpus and EncoderOffer::for_round become pub(crate). RunStores
(run.rs) creates a run over three stores, records their canonical paths and
FNV-1a 64 digests plus the prompt and lowerer source digests in run.cc, and
reopens only from that record, refusing on drift. RunRecord and RoundRecord are
published CultCache types. tests/context.rs and the context.rs doctests move to
RunStores; the two mutated-clone gate cases become a unit test.

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

ModelPort and AnswerFiles; the encode prompt lists the live inventory and has a digest 77d8b13952

The encoder's instructions are written, Prompt::encode takes the run inventory
and revision, and Prompt::digest names a prompt for AnswerFiles: a prompt with
no answer file is written to <digest>.prompt and nothing else happens.

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

run::round: a pinned run encodes Train and Validation, admits, lowers, scores and records the round 49879000f7

encode.rs reads a model answer into a PacketDraft (the one JSON door for
models) and the encoder step sets everything the model does not write. round
asks every offer first and writes nothing while any prompt is unanswered, then
admits into the round's own packets.cc, lowers, scores in one call and keeps a
RoundRecord with Train rows and Validation only as means and refusal counts.
The Dao stores reproduce the base scores (Train 44.18, Validation 78.56).

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

weksa loop open|round: pin a run's stores, run one round, print one line db543840a6

Round reads its stores only from the run record; prompts without answers are
written to the round directory and the command exits 3. Map line 7b records
what landed and what the follow-ups still own.

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

Kill the mutation survivors: error texts, unreadable files, the second round's number 8ac92f5af3

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

weksa added 3 commits

2026-11-10 04:17:48 +00:00

Round: means count a refused item as 0, a failed round discards its packets, the round line is pinned fd0c3b0edb

Validation and Train means are over every item of the split with scored counts
beside them, so refusing a weak item cannot raise a mean. A round that fails
before its record is put (embedder down) removes its packets.cc, and a round
starts from none, so a rerun with revised answers is not refused as a changed
packet. RoundRecord::summary_line owns the printed line and is pinned with exact
values. The RoundRecord compile_fail doctest gives every field and fails on
E0451, with its twin literal in a lib unit test.

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

Fix the golf_loop test that did not compile in the previous commit 3e1e1a07da

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

Pin the scored counts of the Dao round a014fc3f87

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

weksa added 1 commit

2026-11-10 04:42:46 +00:00

Pin the round-start discard: a stale packets.cc and lock in an unrecorded round dir do not refuse a revised draft 2425030fe3

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

weksa changed title from ~~WIP: golf-loop-round: the smallest loop that scores one round end to end~~ to golf-loop-round: the smallest loop that scores one round end to end

2026-11-10 04:42:53 +00:00

weksa merged commit 7b407fdd13 into main

2026-11-10 04:42:53 +00:00

weksa referenced this pull request from a commit

2026-11-10 04:42:56 +00:00

Merge pull request 'golf-loop-round: the smallest loop that scores one round end to end' (#28) from weksa-lowering/golf-loop-round into main

Rows
Columns

golf-loop-round: the smallest loop that scores one round end to end #28