From e7b4d9a68b3337c304653d0ad46f775c1c45126d Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 03:45:49 +0000
Subject: [PATCH 1/9] RunStores is the one public producer of TrainItems and
 EncoderOffer: a run pins its corpus and entity stores by digest

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>
---
 crates/weksa/src/context.rs                  |  85 +++-
 crates/weksa/src/lib.rs                      |   1 +
 crates/weksa/src/run.rs                      | 433 +++++++++++++++++++
 crates/weksa/src/schema.rs                   |   3 +
 crates/weksa/src/score/mod.rs                |   4 +-
 crates/weksa/src/split.rs                    |  13 +-
 crates/weksa/src/store.rs                    |   2 +-
 crates/weksa/tests/cli.rs                    |   2 +
 crates/weksa/tests/common/mod.rs             |  22 +
 crates/weksa/tests/context.rs                | 105 +++--
 crates/weksa/tests/golf_loop.rs              | 145 +++++++
 schemas/cultnet/weksa.loop_round.schema.json | 227 ++++++++++
 schemas/cultnet/weksa.loop_run.schema.json   |  58 +++
 13 files changed, 1029 insertions(+), 71 deletions(-)
 create mode 100644 crates/weksa/src/run.rs
 create mode 100644 crates/weksa/tests/golf_loop.rs
 create mode 100644 schemas/cultnet/weksa.loop_round.schema.json
 create mode 100644 schemas/cultnet/weksa.loop_run.schema.json

diff --git a/crates/weksa/src/context.rs b/crates/weksa/src/context.rs
index a4f2749..2936d7a 100644
--- a/crates/weksa/src/context.rs
+++ b/crates/weksa/src/context.rs
@@ -3,8 +3,14 @@
 //! [`TrainItems`] or by encoding one item an [`EncoderOffer`] holds: Train-only
 //! minting and per-item encoding (leak-owned-by-flow-and-scorer-3,
 //! loop-context-builder-2). Instruction text is [`MINT_INSTRUCTIONS`] and
-//! [`ENCODE_INSTRUCTIONS`], consts in this module, and nothing else: `mint` and
-//! `encode` take none, so no run-time text can become instructions.
+//! [`ENCODE_INSTRUCTIONS`], consts in this module; an encode prompt also lists
+//! the inventory at the run's revision.
+//!
+//! Item blocks are data from the run's pinned corpus, reached only through
+//! `RunStores`, the one public producer of `TrainItems` and `EncoderOffer`
+//! (forged-item-text-in-prompt). A forged item in a scratch store is a different
+//! run with a different corpus digest, visible in its record; nothing inside a
+//! process its forger controls can stop it.
 
 use std::marker::PhantomData;
 
@@ -25,9 +31,12 @@ pub const ENCODE_INSTRUCTIONS: &str = "Encode the line below.";
 /// item.
 ///
 /// ```
-/// let dir = tempfile::tempdir().unwrap();
-/// let store = weksa::CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-/// let t = weksa::context::TrainItems::from_corpus(&store).unwrap();
+/// # let dir = tempfile::tempdir().unwrap();
+/// # let p = |n: &str| dir.path().join(n);
+/// # for n in ["c.cc", "i.cc", "e.cc"] { std::fs::write(p(n), [0x90]).unwrap(); }
+/// # let paths = weksa::run::RunPaths { corpus: &p("c.cc"), inventory: &p("i.cc"), entities: &p("e.cc") };
+/// # let run = weksa::run::RunStores::create(&p("run"), "t", paths, "m", "e").unwrap();
+/// let t = run.train().unwrap();
 /// assert!(t.is_empty());
 /// ```
 ///
@@ -36,17 +45,23 @@ pub const ENCODE_INSTRUCTIONS: &str = "Encode the line below.";
 /// ```
 ///
 /// ```compile_fail
-/// let dir = tempfile::tempdir().unwrap();
-/// let store = weksa::CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-/// let t = weksa::context::TrainItems::from_corpus(&store).unwrap();
+/// # let dir = tempfile::tempdir().unwrap();
+/// # let p = |n: &str| dir.path().join(n);
+/// # for n in ["c.cc", "i.cc", "e.cc"] { std::fs::write(p(n), [0x90]).unwrap(); }
+/// # let paths = weksa::run::RunPaths { corpus: &p("c.cc"), inventory: &p("i.cc"), entities: &p("e.cc") };
+/// # let run = weksa::run::RunStores::create(&p("run"), "t", paths, "m", "e").unwrap();
+/// let t = run.train().unwrap();
 /// let _u = t.clone();
 /// ```
 ///
 /// ```compile_fail
 /// fn s<T: serde::Serialize>(_: &T) {}
-/// let dir = tempfile::tempdir().unwrap();
-/// let store = weksa::CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-/// let t = weksa::context::TrainItems::from_corpus(&store).unwrap();
+/// # let dir = tempfile::tempdir().unwrap();
+/// # let p = |n: &str| dir.path().join(n);
+/// # for n in ["c.cc", "i.cc", "e.cc"] { std::fs::write(p(n), [0x90]).unwrap(); }
+/// # let paths = weksa::run::RunPaths { corpus: &p("c.cc"), inventory: &p("i.cc"), entities: &p("e.cc") };
+/// # let run = weksa::run::RunStores::create(&p("run"), "t", paths, "m", "e").unwrap();
+/// let t = run.train().unwrap();
 /// s(&t);
 /// ```
 pub struct TrainItems {
@@ -54,7 +69,7 @@ pub struct TrainItems {
 }
 
 impl TrainItems {
-    pub fn from_corpus(corpus: &CorpusStore) -> anyhow::Result<Self> {
+    pub(crate) fn from_corpus(corpus: &CorpusStore) -> anyhow::Result<Self> {
         let items = corpus
             .all()?
             .into_iter()
@@ -134,8 +149,9 @@ pub struct EncoderOffer<'cp> {
 }
 
 impl<'cp> EncoderOffer<'cp> {
-    /// A round offers Train and Validation items.
-    pub fn for_round(item: &CorpusItem) -> Result<EncoderOffer<'static>, OfferRefusal> {
+    /// A round offers Train and Validation items. `RunStores::offer` and
+    /// `RunStores::offers` are the public producers.
+    pub(crate) fn for_round(item: &CorpusItem) -> Result<EncoderOffer<'static>, OfferRefusal> {
         match Self::gate(item)? {
             Split::Test => Err(OfferRefusal::TestBeforeCheckpoint),
             _ => Ok(Self::of(item)),
@@ -188,9 +204,12 @@ impl<'cp> EncoderOffer<'cp> {
 /// constructors are [`Prompt::mint`] and [`Prompt::encode`].
 ///
 /// ```
-/// let dir = tempfile::tempdir().unwrap();
-/// let store = weksa::CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-/// let t = weksa::context::TrainItems::from_corpus(&store).unwrap();
+/// # let dir = tempfile::tempdir().unwrap();
+/// # let p = |n: &str| dir.path().join(n);
+/// # for n in ["c.cc", "i.cc", "e.cc"] { std::fs::write(p(n), [0x90]).unwrap(); }
+/// # let paths = weksa::run::RunPaths { corpus: &p("c.cc"), inventory: &p("i.cc"), entities: &p("e.cc") };
+/// # let run = weksa::run::RunStores::create(&p("run"), "t", paths, "m", "e").unwrap();
+/// let t = run.train().unwrap();
 /// let p = weksa::context::Prompt::mint(&t);
 /// assert_eq!(p.text(), weksa::context::MINT_INSTRUCTIONS);
 /// ```
@@ -198,17 +217,23 @@ impl<'cp> EncoderOffer<'cp> {
 /// Instructions are not a parameter:
 ///
 /// ```compile_fail
-/// let dir = tempfile::tempdir().unwrap();
-/// let store = weksa::CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-/// let t = weksa::context::TrainItems::from_corpus(&store).unwrap();
+/// # let dir = tempfile::tempdir().unwrap();
+/// # let p = |n: &str| dir.path().join(n);
+/// # for n in ["c.cc", "i.cc", "e.cc"] { std::fs::write(p(n), [0x90]).unwrap(); }
+/// # let paths = weksa::run::RunPaths { corpus: &p("c.cc"), inventory: &p("i.cc"), entities: &p("e.cc") };
+/// # let run = weksa::run::RunStores::create(&p("run"), "t", paths, "m", "e").unwrap();
+/// let t = run.train().unwrap();
 /// let p = weksa::context::Prompt::mint("x", &t);
 /// ```
 ///
 /// ```compile_fail
 /// fn s<T: serde::Serialize>(_: &T) {}
-/// let dir = tempfile::tempdir().unwrap();
-/// let store = weksa::CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-/// let t = weksa::context::TrainItems::from_corpus(&store).unwrap();
+/// # let dir = tempfile::tempdir().unwrap();
+/// # let p = |n: &str| dir.path().join(n);
+/// # for n in ["c.cc", "i.cc", "e.cc"] { std::fs::write(p(n), [0x90]).unwrap(); }
+/// # let paths = weksa::run::RunPaths { corpus: &p("c.cc"), inventory: &p("i.cc"), entities: &p("e.cc") };
+/// # let run = weksa::run::RunStores::create(&p("run"), "t", paths, "m", "e").unwrap();
+/// let t = run.train().unwrap();
 /// let p = weksa::context::Prompt::mint(&t);
 /// s(&p);
 /// ```
@@ -303,6 +328,20 @@ mod tests {
         assert_eq!(check(&both), Some(OfferRefusal::Withdrawn));
     }
 
+    #[test]
+    fn round_offer_gate_precedence() {
+        let round = |i: &CorpusItem| EncoderOffer::for_round(i).err();
+        let mut no_split = item("item:c:2", "m", &group_in(Split::Test), true);
+        no_split.withdrawn = true;
+        // Withdrawn wins over NoSplit.
+        assert_eq!(round(&no_split), Some(OfferRefusal::Withdrawn));
+        // A withdrawn Test item is Withdrawn, not TestBeforeCheckpoint.
+        let mut test = item("item:c:1", "x", &group_in(Split::Test), false);
+        assert_eq!(round(&test), Some(OfferRefusal::TestBeforeCheckpoint));
+        test.withdrawn = true;
+        assert_eq!(round(&test), Some(OfferRefusal::Withdrawn));
+    }
+
     #[test]
     fn checkpoint_offers_each_item_once() {
         let mut cp = Checkpoint::for_test(1);
diff --git a/crates/weksa/src/lib.rs b/crates/weksa/src/lib.rs
index f8043a3..1b8c3c8 100644
--- a/crates/weksa/src/lib.rs
+++ b/crates/weksa/src/lib.rs
@@ -12,6 +12,7 @@ pub mod inventory;
 pub mod lower;
 pub mod packet;
 pub mod phones;
+pub mod run;
 pub mod schema;
 pub mod score;
 pub mod speaker;
diff --git a/crates/weksa/src/run.rs b/crates/weksa/src/run.rs
new file mode 100644
index 0000000..8b892d0
--- /dev/null
+++ b/crates/weksa/src/run.rs
@@ -0,0 +1,433 @@
+//! One golf-loop run: the stores it pinned at open, the rounds it has recorded,
+//! and the one writer of both (`RunStores::create` and, for rounds, `round`).
+//!
+//! A run pins its corpus and entity store files by canonical path and FNV-1a 64
+//! digest of their bytes. Every round reopens them only from that record and
+//! refuses on drift, and every round record carries the digests. Nothing inside
+//! a process whose writer controls the code can stop an item faked into a
+//! scratch store; what this makes true is that a run over a scratch store is a
+//! different run with a different corpus digest, visible in its record, and a
+//! later reader compares the rounds of one run only. `RunStores` is the one
+//! public producer of [`TrainItems`] and [`EncoderOffer`]: the CLI paths that
+//! take caller stores (`validate`, `packet proof|dao`, `lower`) are unchanged.
+
+use std::fmt;
+use std::io::ErrorKind;
+use std::path::{Path, PathBuf};
+
+use cultcache_rs::{CultCache, DatabaseEntry};
+use schemars::JsonSchema;
+use serde::{Deserialize, Serialize};
+
+use crate::context::{EncoderOffer, TrainItems};
+use crate::form::{is_attestation, is_slug};
+use crate::score::{CHRF_VERSION, SplitMean};
+use crate::split::{fnv1a64, hex16};
+use crate::store::{CorpusStore, EntityStore, InventoryStore, open_cache};
+
+/// The digest of the prompt builder's source. Any edit to `context.rs`,
+/// comments included, ends a run; code outside that file is not covered.
+pub const PROMPT_SOURCE_DIGEST: u64 = fnv1a64(include_bytes!("context.rs"));
+
+/// The digest of the lowerer's source. Any edit to `lower.rs`, comments
+/// included, ends a run; code outside that file is not covered.
+pub const LOWERER_SOURCE_DIGEST: u64 = fnv1a64(include_bytes!("lower.rs"));
+
+/// What a run pinned at open. Key `run:<label>`.
+#[derive(Clone, Debug, PartialEq, Eq, JsonSchema, DatabaseEntry)]
+#[cultcache(type = "weksa.loop_run")]
+pub struct RunRecord {
+    #[cultcache(key = 0)]
+    pub label: String,
+    /// Canonical absolute path of the corpus store.
+    #[cultcache(key = 1)]
+    pub corpus: String,
+    #[cultcache(key = 2)]
+    pub inventory: String,
+    #[cultcache(key = 3)]
+    pub entities: String,
+    /// 16 hex of the corpus file's bytes.
+    #[cultcache(key = 4)]
+    pub corpus_digest: String,
+    #[cultcache(key = 5)]
+    pub entity_digest: String,
+    #[cultcache(key = 6)]
+    pub prompt_digest: String,
+    #[cultcache(key = 7)]
+    pub lowerer_digest: String,
+    /// The answering model.
+    #[cultcache(key = 8)]
+    pub model: String,
+    /// The embedder's model.
+    #[cultcache(key = 9)]
+    pub embedder: String,
+    #[cultcache(key = 10)]
+    pub chrf_version: String,
+}
+
+/// Where a round refused: the first stage that did.
+#[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+pub enum Stage {
+    Parse,
+    Admit,
+    Lower,
+}
+
+#[derive(Clone, Debug, PartialEq, Serialize, Deserialize, JsonSchema)]
+pub enum Outcome {
+    Scored { chrf: f64, meaning: Option<f64> },
+    Refused(Stage),
+}
+
+/// One model call: the prompt's digest and the item keys it held.
+#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+pub struct Call {
+    pub prompt: String,
+    pub items: Vec<String>,
+}
+
+/// A Train item's row. Validation has no rows.
+#[derive(Clone, Debug, PartialEq, Serialize, Deserialize, JsonSchema)]
+pub struct TrainRow {
+    pub item: String,
+    pub packet: Option<String>,
+    pub outcome: Outcome,
+}
+
+#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Serialize, Deserialize, JsonSchema)]
+pub struct RefusalCounts {
+    pub parse: u32,
+    pub admit: u32,
+    pub lower: u32,
+}
+
+/// One scored round. It holds no text and no Test reading: per-item rows for
+/// Train only, Validation only as means and refusal counts by stage. Only
+/// `run::round` builds one.
+///
+/// ```
+/// fn f(r: &weksa::run::RoundRecord) -> u32 { r.n() }
+/// ```
+///
+/// ```compile_fail
+/// fn f() -> weksa::run::RoundRecord {
+///     weksa::run::RoundRecord { n: 1 }
+/// }
+/// ```
+#[derive(Clone, Debug, PartialEq, JsonSchema, DatabaseEntry)]
+#[cultcache(type = "weksa.loop_round")]
+pub struct RoundRecord {
+    #[cultcache(key = 0)]
+    n: u32,
+    #[cultcache(key = 1)]
+    inventory_rev: u32,
+    #[cultcache(key = 2)]
+    prompt_digest: String,
+    #[cultcache(key = 3)]
+    lowerer_digest: String,
+    #[cultcache(key = 4)]
+    corpus_digest: String,
+    #[cultcache(key = 5)]
+    entity_digest: String,
+    #[cultcache(key = 6)]
+    model: String,
+    #[cultcache(key = 7)]
+    embedder: String,
+    #[cultcache(key = 8)]
+    chrf_version: String,
+    #[cultcache(key = 9)]
+    calls: Vec<Call>,
+    #[cultcache(key = 10)]
+    train: Vec<TrainRow>,
+    #[cultcache(key = 11)]
+    train_mean: SplitMean,
+    #[cultcache(key = 12)]
+    validation_mean: SplitMean,
+    #[cultcache(key = 13)]
+    validation_refused: RefusalCounts,
+}
+
+impl RoundRecord {
+    pub fn n(&self) -> u32 {
+        self.n
+    }
+    pub fn inventory_rev(&self) -> u32 {
+        self.inventory_rev
+    }
+    pub fn prompt_digest(&self) -> &str {
+        &self.prompt_digest
+    }
+    pub fn lowerer_digest(&self) -> &str {
+        &self.lowerer_digest
+    }
+    pub fn corpus_digest(&self) -> &str {
+        &self.corpus_digest
+    }
+    pub fn entity_digest(&self) -> &str {
+        &self.entity_digest
+    }
+    pub fn model(&self) -> &str {
+        &self.model
+    }
+    pub fn embedder(&self) -> &str {
+        &self.embedder
+    }
+    pub fn chrf_version(&self) -> &str {
+        &self.chrf_version
+    }
+    pub fn calls(&self) -> &[Call] {
+        &self.calls
+    }
+    pub fn train(&self) -> &[TrainRow] {
+        &self.train
+    }
+    pub fn train_mean(&self) -> &SplitMean {
+        &self.train_mean
+    }
+    pub fn validation_mean(&self) -> &SplitMean {
+        &self.validation_mean
+    }
+    pub fn validation_refused(&self) -> RefusalCounts {
+        self.validation_refused
+    }
+}
+
+/// What a pinned store or id drifted from.
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub enum DriftOf {
+    Corpus,
+    Entities,
+    Prompts,
+    Lowerer,
+    Model,
+    Embedder,
+}
+
+/// A run's failure. Display and Debug name a kind, never a path, key, label or
+/// any other value the caller supplied.
+#[derive(Clone, Copy, PartialEq, Eq)]
+pub enum RunError {
+    /// `run.cc` already holds a run.
+    Exists,
+    /// `run.cc` holds no run.
+    NoRun,
+    /// A field that cannot be a run's: `label`, `model`, `embedder`, `path`.
+    Malformed(&'static str),
+    Drift(DriftOf),
+    /// The inventory store holds no revision.
+    NoInventory,
+    Io(ErrorKind),
+    /// A store or the run file would not read or write.
+    Store,
+    /// The embedder failed.
+    Embed,
+}
+
+impl fmt::Display for RunError {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        match self {
+            RunError::Exists => f.write_str("the root already holds a run"),
+            RunError::NoRun => f.write_str("the root holds no run"),
+            RunError::Malformed(what) => write!(f, "malformed {what}"),
+            RunError::Drift(of) => write!(f, "drift in {of:?}"),
+            RunError::NoInventory => f.write_str("the inventory holds no revision"),
+            RunError::Io(kind) => write!(f, "io error {kind:?}"),
+            RunError::Store => f.write_str("a store would not read or write"),
+            RunError::Embed => f.write_str("the embedder failed"),
+        }
+    }
+}
+
+impl fmt::Debug for RunError {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        fmt::Display::fmt(self, f)
+    }
+}
+
+impl std::error::Error for RunError {}
+
+/// The three stores a run pins.
+#[derive(Clone, Copy)]
+pub struct RunPaths<'a> {
+    pub corpus: &'a Path,
+    pub inventory: &'a Path,
+    pub entities: &'a Path,
+}
+
+/// A run's open stores, reopened only from its record. The one public producer
+/// of [`TrainItems`] and [`EncoderOffer`], and the only writer of `run.cc`.
+pub struct RunStores {
+    root: PathBuf,
+    cache: CultCache,
+    record: RunRecord,
+    corpus: CorpusStore,
+    inventory: InventoryStore,
+    entities: EntityStore,
+}
+
+fn file_digest(path: &str) -> Option<String> {
+    std::fs::read(path).ok().map(|b| hex16(fnv1a64(&b)))
+}
+
+fn canonical(path: &Path) -> Result<String, RunError> {
+    std::fs::canonicalize(path)
+        .map_err(|e| RunError::Io(e.kind()))?
+        .into_os_string()
+        .into_string()
+        .map_err(|_| RunError::Malformed("path"))
+}
+
+fn run_cache(root: &Path) -> Result<CultCache, RunError> {
+    open_cache(&root.join("run.cc"), |c| {
+        c.register_entry_type::<RunRecord>()?;
+        c.register_entry_type::<RoundRecord>()
+    })
+    .map_err(|_| RunError::Store)
+}
+
+fn one_run(cache: &CultCache) -> Result<Option<RunRecord>, RunError> {
+    Ok(cache
+        .get_all::<RunRecord>()
+        .map_err(|_| RunError::Store)?
+        .into_iter()
+        .next())
+}
+
+impl RunStores {
+    /// Pins the three stores at `root`, which must hold no run. A store file
+    /// that does not exist is `Io(NotFound)`.
+    pub fn create(
+        root: &Path,
+        label: &str,
+        paths: RunPaths<'_>,
+        model: &str,
+        embedder: &str,
+    ) -> Result<Self, RunError> {
+        if !is_slug(label) {
+            return Err(RunError::Malformed("label"));
+        }
+        if !is_attestation(model) {
+            return Err(RunError::Malformed("model"));
+        }
+        if !is_attestation(embedder) {
+            return Err(RunError::Malformed("embedder"));
+        }
+        let mut cache = run_cache(root)?;
+        if one_run(&cache)?.is_some() {
+            return Err(RunError::Exists);
+        }
+        let record = RunRecord {
+            label: label.to_string(),
+            corpus: canonical(paths.corpus)?,
+            inventory: canonical(paths.inventory)?,
+            entities: canonical(paths.entities)?,
+            corpus_digest: String::new(),
+            entity_digest: String::new(),
+            prompt_digest: hex16(PROMPT_SOURCE_DIGEST),
+            lowerer_digest: hex16(LOWERER_SOURCE_DIGEST),
+            model: model.to_string(),
+            embedder: embedder.to_string(),
+            chrf_version: CHRF_VERSION.to_string(),
+        };
+        let record = RunRecord {
+            corpus_digest: file_digest(&record.corpus).ok_or(RunError::Store)?,
+            entity_digest: file_digest(&record.entities).ok_or(RunError::Store)?,
+            ..record
+        };
+        cache
+            .put(format!("run:{label}"), &record)
+            .map_err(|_| RunError::Store)?;
+        Self::with(root, cache, record)
+    }
+
+    /// Reopens the run at `root` from its record, refusing when a pinned store
+    /// or the prompt or lowerer source no longer matches.
+    pub fn open(root: &Path) -> Result<Self, RunError> {
+        if !root.join("run.cc").is_file() {
+            return Err(RunError::NoRun);
+        }
+        let cache = run_cache(root)?;
+        let record = one_run(&cache)?.ok_or(RunError::NoRun)?;
+        if record.prompt_digest != hex16(PROMPT_SOURCE_DIGEST) {
+            return Err(RunError::Drift(DriftOf::Prompts));
+        }
+        if record.lowerer_digest != hex16(LOWERER_SOURCE_DIGEST) {
+            return Err(RunError::Drift(DriftOf::Lowerer));
+        }
+        if file_digest(&record.corpus).as_ref() != Some(&record.corpus_digest) {
+            return Err(RunError::Drift(DriftOf::Corpus));
+        }
+        if file_digest(&record.entities).as_ref() != Some(&record.entity_digest) {
+            return Err(RunError::Drift(DriftOf::Entities));
+        }
+        Self::with(root, cache, record)
+    }
+
+    fn with(root: &Path, cache: CultCache, record: RunRecord) -> Result<Self, RunError> {
+        let store = |_| RunError::Store;
+        Ok(Self {
+            root: root.to_path_buf(),
+            corpus: CorpusStore::open(Path::new(&record.corpus)).map_err(store)?,
+            inventory: InventoryStore::open(Path::new(&record.inventory)).map_err(store)?,
+            entities: EntityStore::open(Path::new(&record.entities)).map_err(store)?,
+            cache,
+            record,
+        })
+    }
+
+    pub fn record(&self) -> &RunRecord {
+        &self.record
+    }
+
+    pub fn inventory(&self) -> &InventoryStore {
+        &self.inventory
+    }
+
+    /// The pinned entity store, for lowering and admission.
+    pub fn entities(&self) -> &EntityStore {
+        &self.entities
+    }
+
+    /// The live Train items of the pinned corpus.
+    pub fn train(&self) -> anyhow::Result<TrainItems> {
+        TrainItems::from_corpus(&self.corpus)
+    }
+
+    /// The offer for `key`; the inner error is the gate's refusal. An absent
+    /// key is an error that names no key.
+    pub fn offer(
+        &self,
+        key: &str,
+    ) -> anyhow::Result<Result<EncoderOffer<'static>, crate::context::OfferRefusal>> {
+        let item = self
+            .corpus
+            .get(key)?
+            .ok_or_else(|| anyhow::anyhow!("no such item"))?;
+        Ok(EncoderOffer::for_round(&item))
+    }
+
+    /// The live Train and Validation offers, in key order. Items the gate
+    /// refuses are skipped and read no further.
+    pub fn offers(&self) -> anyhow::Result<Vec<EncoderOffer<'static>>> {
+        Ok(self
+            .corpus
+            .all()?
+            .iter()
+            .filter_map(|item| EncoderOffer::for_round(item).ok())
+            .collect())
+    }
+
+    /// The recorded rounds, in order.
+    pub fn rounds(&self) -> anyhow::Result<Vec<RoundRecord>> {
+        let mut rounds = self.cache.get_all::<RoundRecord>()?;
+        rounds.sort_by_key(RoundRecord::n);
+        Ok(rounds)
+    }
+
+    /// `<root>/round-<n>` for the next unrecorded round `n`.
+    pub fn next_round_dir(&self) -> anyhow::Result<PathBuf> {
+        Ok(self
+            .root
+            .join(format!("round-{}", self.rounds()?.len() + 1)))
+    }
+}
diff --git a/crates/weksa/src/schema.rs b/crates/weksa/src/schema.rs
index 883f44a..14a6953 100644
--- a/crates/weksa/src/schema.rs
+++ b/crates/weksa/src/schema.rs
@@ -5,6 +5,7 @@ use crate::corpus::CorpusItem;
 use crate::entity::Entity;
 use crate::inventory::{InventoryEntry, InventoryRevision};
 use crate::packet::Packet;
+use crate::run::{RoundRecord, RunRecord};
 use crate::speaker::{Scene, Speaker};
 use cultcache_rs::DatabaseEntry;
 use schemars::{JsonSchema, schema_for};
@@ -24,5 +25,7 @@ pub fn published() -> Vec<(String, String)> {
         published_for::<Entity>(),
         published_for::<Speaker>(),
         published_for::<Scene>(),
+        published_for::<RunRecord>(),
+        published_for::<RoundRecord>(),
     ]
 }
diff --git a/crates/weksa/src/score/mod.rs b/crates/weksa/src/score/mod.rs
index 2b55f3b..c1033a4 100644
--- a/crates/weksa/src/score/mod.rs
+++ b/crates/weksa/src/score/mod.rs
@@ -12,6 +12,8 @@ mod embed;
 mod words;
 
 use anyhow::{Result, ensure};
+use schemars::JsonSchema;
+use serde::{Deserialize, Serialize};
 
 pub use chrf::{CHRF_VERSION, chrf};
 pub use diagnostics::{OrderCoverage, PairChrf, SplitLeak, WorstItem, leak_diagnostic};
@@ -102,7 +104,7 @@ impl<E: Embedder> Scorer<E> {
 }
 
 /// Mean scores of one derived split.
-#[derive(Clone, Debug, PartialEq, Default)]
+#[derive(Clone, Debug, PartialEq, Default, Serialize, Deserialize, JsonSchema)]
 pub struct SplitMean {
     pub count: usize,
     /// `None` when the split has no items.
diff --git a/crates/weksa/src/split.rs b/crates/weksa/src/split.rs
index 7bfdd47..82f23e6 100644
--- a/crates/weksa/src/split.rs
+++ b/crates/weksa/src/split.rs
@@ -24,15 +24,22 @@ pub enum SplitScheme {
     V1,
 }
 
-pub fn fnv1a64(bytes: &[u8]) -> u64 {
+pub const fn fnv1a64(bytes: &[u8]) -> u64 {
     let mut h: u64 = 0xcbf2_9ce4_8422_2325;
-    for b in bytes {
-        h ^= u64::from(*b);
+    let mut i = 0;
+    while i < bytes.len() {
+        h ^= bytes[i] as u64;
         h = h.wrapping_mul(0x0000_0100_0000_01b3);
+        i += 1;
     }
     h
 }
 
+/// 16 lowercase hex digits, zero-padded: how a digest is written everywhere.
+pub(crate) fn hex16(n: u64) -> String {
+    format!("{n:016x}")
+}
+
 impl SplitScheme {
     /// 0..100, FNV-1a 64 of `weksa-split-v1:` + group, mod 100.
     pub fn bucket(self, group: &str) -> u64 {
diff --git a/crates/weksa/src/store.rs b/crates/weksa/src/store.rs
index 67f8f1a..dafdc6e 100644
--- a/crates/weksa/src/store.rs
+++ b/crates/weksa/src/store.rs
@@ -199,7 +199,7 @@ fn malformed(key: &str, why: &'static str) -> StoreError {
     .into()
 }
 
-fn open_cache(
+pub(crate) fn open_cache(
     path: &Path,
     register: impl FnOnce(&mut CultCache) -> anyhow::Result<()>,
 ) -> anyhow::Result<CultCache> {
diff --git a/crates/weksa/tests/cli.rs b/crates/weksa/tests/cli.rs
index 4b439b0..1203d78 100644
--- a/crates/weksa/tests/cli.rs
+++ b/crates/weksa/tests/cli.rs
@@ -309,6 +309,8 @@ fn schema_writes_the_published_files() {
             "weksa.interlingua_packet.schema.json",
             "weksa.inventory_entry.schema.json",
             "weksa.inventory_revision.schema.json",
+            "weksa.loop_round.schema.json",
+            "weksa.loop_run.schema.json",
             "weksa.scene.schema.json",
             "weksa.speaker.schema.json"
         ]
diff --git a/crates/weksa/tests/common/mod.rs b/crates/weksa/tests/common/mod.rs
index 9368227..ccf7774 100644
--- a/crates/weksa/tests/common/mod.rs
+++ b/crates/weksa/tests/common/mod.rs
@@ -114,6 +114,28 @@ pub fn entities_in(dir: &std::path::Path) -> EntityStore {
     store
 }
 
+/// A run over the stores `world()` and `corpus()` keep in `dir`: `c.cc`,
+/// `i.cc` and `entities.cc`. Read at the call, so create it after the items.
+pub fn run_over(dir: &std::path::Path) -> weksa::run::RunStores {
+    for name in ["c.cc", "i.cc", "entities.cc"] {
+        if !dir.join(name).exists() {
+            std::fs::write(dir.join(name), [0x90]).unwrap();
+        }
+    }
+    weksa::run::RunStores::create(
+        &dir.join("run"),
+        "t",
+        weksa::run::RunPaths {
+            corpus: &dir.join("c.cc"),
+            inventory: &dir.join("i.cc"),
+            entities: &dir.join("entities.cc"),
+        },
+        "fake-model",
+        "bag",
+    )
+    .unwrap()
+}
+
 pub fn item_in(key: &str, text: &str, group: &str, source: Source) -> CorpusItem {
     CorpusItem {
         id: key.into(),
diff --git a/crates/weksa/tests/context.rs b/crates/weksa/tests/context.rs
index 8fcad16..88e65c3 100644
--- a/crates/weksa/tests/context.rs
+++ b/crates/weksa/tests/context.rs
@@ -1,10 +1,10 @@
 mod common;
 
-use common::{cast, ent, entities_in, group_in_bucket, item_in, model, world};
+use common::{cast, ent, entities_in, group_in_bucket, item_in, model, run_over, world};
 use weksa::context::{
-    ENCODE_INSTRUCTIONS as ENCODE, EncoderOffer, MINT_INSTRUCTIONS as MINT, OfferRefusal, Prompt,
-    TrainItems,
+    ENCODE_INSTRUCTIONS as ENCODE, MINT_INSTRUCTIONS as MINT, OfferRefusal, Prompt,
 };
+use weksa::run::RunStores;
 use weksa::{
     CorpusItem, CorpusItemId, CorpusStore, NameSpan, PacketId, PacketStore, StoreError,
     StoreRefusal, Turn,
@@ -13,6 +13,7 @@ use weksa::{
 struct Corpus {
     _dir: tempfile::TempDir,
     store: CorpusStore,
+    run: RunStores,
 }
 
 /// One live item per split, a withdrawn Train item and a model-written
@@ -69,7 +70,12 @@ fn corpus() -> Corpus {
         &group_in_bucket(90),
         model(),
     ));
-    Corpus { _dir: dir, store }
+    let run = run_over(dir.path());
+    Corpus {
+        _dir: dir,
+        store,
+        run,
+    }
 }
 
 fn get(c: &Corpus, key: &str) -> CorpusItem {
@@ -79,7 +85,7 @@ fn get(c: &Corpus, key: &str) -> CorpusItem {
 #[test]
 fn train_items_hold_only_live_train() {
     let c = corpus();
-    let t = TrainItems::from_corpus(&c.store).unwrap();
+    let t = c.run.train().unwrap();
     assert_eq!(t.keys().collect::<Vec<_>>(), ["item:a:1"]);
     assert_eq!((t.len(), t.is_empty()), (1, false));
 }
@@ -98,15 +104,14 @@ fn train_items_are_in_key_order() {
             .add(item_in(key, text, &group_in_bucket(10), cast()), &entities)
             .unwrap();
     }
-    let t = TrainItems::from_corpus(&store).unwrap();
+    let t = run_over(dir.path()).train().unwrap();
     assert_eq!(
         t.keys().collect::<Vec<_>>(),
         ["item:a:1", "item:m:1", "item:z:1"]
     );
     assert_eq!((t.len(), t.is_empty()), (3, false));
     let dir = tempfile::tempdir().unwrap();
-    let none = CorpusStore::open(&dir.path().join("c.cc")).unwrap();
-    let none = TrainItems::from_corpus(&none).unwrap();
+    let none = run_over(dir.path()).train().unwrap();
     assert_eq!((none.len(), none.is_empty()), (0, true));
     assert_eq!(Prompt::mint(&none).text(), MINT);
     assert!(Prompt::mint(&none).item_keys().is_empty());
@@ -115,7 +120,7 @@ fn train_items_are_in_key_order() {
 #[test]
 fn mint_prompt_holds_train_text_only() {
     let c = corpus();
-    let t = TrainItems::from_corpus(&c.store).unwrap();
+    let t = c.run.train().unwrap();
     let p = Prompt::mint(&t);
     assert!(p.text().starts_with(MINT));
     assert!(p.text().contains("alphamarker"));
@@ -142,7 +147,8 @@ fn prompts_render_deterministically() {
             &entities,
         )
         .unwrap();
-    let t = TrainItems::from_corpus(&store).unwrap();
+    let run = run_over(dir.path());
+    let t = run.train().unwrap();
     assert_eq!(
         Prompt::mint(&t).text(),
         format!(
@@ -151,7 +157,7 @@ fn prompts_render_deterministically() {
     );
     assert_eq!(Prompt::mint(&t).item_keys(), ["item:a:1", "item:a:2"]);
 
-    let offer = EncoderOffer::for_round(&store.get("item:a:2").unwrap().unwrap()).unwrap();
+    let offer = run.offer("item:a:2").unwrap().unwrap();
     assert_eq!(
         Prompt::encode(&offer, &t).text(),
         format!("{ENCODE}\n\n[item:a:2] entity:nibu: Second line.\n\nentities: entity:nibu")
@@ -162,28 +168,28 @@ fn prompts_render_deterministically() {
 #[test]
 fn encoder_offer_split_gate() {
     let c = corpus();
-    let train = get(&c, "item:a:1");
-    let validation = get(&c, "item:b:1");
-    let test = get(&c, "item:c:1");
-    let no_split = get(&c, "item:c:2");
-    let withdrawn = get(&c, "item:a:2");
-    assert!(withdrawn.withdrawn);
-    let round = |i: &CorpusItem| EncoderOffer::for_round(i).err();
+    let round = |key: &str| c.run.offer(key).unwrap().err();
+    assert_eq!(round("item:a:1"), None);
+    assert_eq!(round("item:b:1"), None);
+    assert_eq!(round("item:c:1"), Some(OfferRefusal::TestBeforeCheckpoint));
+    assert_eq!(round("item:c:2"), Some(OfferRefusal::NoSplit));
+    assert_eq!(round("item:a:2"), Some(OfferRefusal::Withdrawn));
+    assert!(get(&c, "item:a:2").withdrawn);
+    let absent = c.run.offer("item:z:9").err().unwrap().to_string();
+    assert!(!absent.contains("item:z:9"), "an absent key is not echoed");
+}
 
-    assert_eq!(round(&train), None);
-    assert_eq!(round(&validation), None);
-    assert_eq!(round(&test), Some(OfferRefusal::TestBeforeCheckpoint));
-    assert_eq!(round(&no_split), Some(OfferRefusal::NoSplit));
-    assert_eq!(round(&withdrawn), Some(OfferRefusal::Withdrawn));
-
-    // Withdrawn wins over NoSplit.
-    let mut both = no_split.clone();
-    both.withdrawn = true;
-    assert_eq!(round(&both), Some(OfferRefusal::Withdrawn));
-    // A withdrawn Test item is Withdrawn, not TestBeforeCheckpoint.
-    let mut test_gone = test.clone();
-    test_gone.withdrawn = true;
-    assert_eq!(round(&test_gone), Some(OfferRefusal::Withdrawn));
+#[test]
+fn offers_are_the_live_train_and_validation_items_in_key_order() {
+    let c = corpus();
+    let keys: Vec<String> = c
+        .run
+        .offers()
+        .unwrap()
+        .iter()
+        .map(|o| o.key().to_string())
+        .collect();
+    assert_eq!(keys, ["item:a:1", "item:b:1"]);
 }
 
 fn span(slug: &str, start: u32, end: u32) -> NameSpan {
@@ -219,13 +225,22 @@ fn cited_world() -> (Corpus, CorpusItem, CorpusItem) {
     sibling.names = vec![span("someone", 0, 7)];
     store.add(mine.clone(), &entities).unwrap();
     store.add(sibling.clone(), &entities).unwrap();
-    (Corpus { _dir: dir, store }, mine, sibling)
+    let run = run_over(dir.path());
+    (
+        Corpus {
+            _dir: dir,
+            store,
+            run,
+        },
+        mine,
+        sibling,
+    )
 }
 
 #[test]
 fn encoder_offer_entities_are_the_items_own() {
-    let (c, mine, sibling) = cited_world();
-    let t = TrainItems::from_corpus(&c.store).unwrap();
+    let (c, mine, _sibling) = cited_world();
+    let t = c.run.train().unwrap();
     assert_eq!(
         mine.cited_entities()
             .map(|e| e.as_str())
@@ -238,7 +253,7 @@ fn encoder_offer_entities_are_the_items_own() {
         ],
         "names, speaker, prior-turn speakers, repeats kept"
     );
-    let offer = EncoderOffer::for_round(&mine).unwrap();
+    let offer = c.run.offer("item:a:1").unwrap().unwrap();
     let ids: Vec<&str> = offer.entities().iter().map(|e| e.as_str()).collect();
     assert_eq!(ids, ["entity:brokkr", "entity:hero", "entity:kay"]);
     assert!(
@@ -254,7 +269,7 @@ fn encoder_offer_entities_are_the_items_own() {
     assert!(p.text().contains("[item:a:1]"));
     assert!(!p.text().contains("item:a:2") && !p.text().contains("Someone waits"));
     assert_eq!(p.item_keys(), ["item:a:1"]);
-    let sib = EncoderOffer::for_round(&sibling).unwrap();
+    let sib = c.run.offer("item:a:2").unwrap().unwrap();
     assert_eq!(sib.entities().len(), 2);
 }
 
@@ -275,7 +290,10 @@ fn offer_and_store_agree() {
         text: "Where?".into(),
     }];
     w.corpus.add(item.clone(), &w.entities).unwrap();
-    let offer = EncoderOffer::for_round(&item).unwrap();
+    let offer = run_over(w.dir.path())
+        .offer("item:nibu:2")
+        .unwrap()
+        .unwrap();
 
     let mut packets = PacketStore::open(&w.dir.path().join("p.cc")).unwrap();
     let all = ["nibu", "hero", "kay", "brokkr", "player", "s", "someone"];
@@ -348,7 +366,8 @@ fn prior_turns_print_only_text_a_live_train_item_holds() {
     add("item:c:1", "testsecret line", &group_in_bucket(90), vec![]);
     store.withdraw("item:a:1").unwrap();
 
-    let t = TrainItems::from_corpus(&store).unwrap();
+    let run = run_over(dir.path());
+    let t = run.train().unwrap();
     let mint = Prompt::mint(&t);
     for secret in ["withdrawnsecret", "testsecret", "validation reply"] {
         assert!(!mint.text().contains(secret), "mint printed {secret}");
@@ -359,8 +378,7 @@ fn prior_turns_print_only_text_a_live_train_item_holds() {
     );
 
     let encode = |key: &str| {
-        let item = store.get(key).unwrap().unwrap();
-        Prompt::encode(&EncoderOffer::for_round(&item).unwrap(), &t)
+        Prompt::encode(&run.offer(key).unwrap().unwrap(), &t)
             .text()
             .to_string()
     };
@@ -397,8 +415,9 @@ fn encode_with_prior(train_text: &str, prior_text: &str) -> (String, Result<(),
         text: prior_text.into(),
     }];
     store.add(reply.clone(), &entities).unwrap();
-    let t = TrainItems::from_corpus(&store).unwrap();
-    let p = Prompt::encode(&EncoderOffer::for_round(&reply).unwrap(), &t);
+    let run = run_over(dir.path());
+    let t = run.train().unwrap();
+    let p = Prompt::encode(&run.offer("item:a:2").unwrap().unwrap(), &t);
     let text = p.text().to_string();
     // The store's own rule, as the oracle for key equality; after the prompt is
     // built, because an admitted probe would itself become a held line.
diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
new file mode 100644
index 0000000..695559b
--- /dev/null
+++ b/crates/weksa/tests/golf_loop.rs
@@ -0,0 +1,145 @@
+//! The golf loop: a pinned run encodes Train and Validation through a
+//! `ModelPort`, admits, lowers, scores, and keeps a typed round record.
+
+mod common;
+
+use std::path::{Path, PathBuf};
+
+use common::{ent, run_over, world};
+use cultcache_rs::{CultCache, SingleFileMessagePackBackingStore};
+use weksa::run::{DriftOf, RunError, RunPaths, RunRecord, RunStores};
+use weksa::split::fnv1a64;
+
+/// Rewrites the stored run record, as only a test (or a stale file) can.
+fn rewrite_run(root: &Path, change: impl FnOnce(&mut RunRecord)) {
+    let mut cache = CultCache::new();
+    cache.register_entry_type::<RunRecord>().unwrap();
+    cache
+        .add_generic_backing_store(SingleFileMessagePackBackingStore::new(root.join("run.cc")))
+        .unwrap();
+    cache.pull_all_backing_stores().unwrap();
+    let mut record = cache.get_all::<RunRecord>().unwrap().remove(0);
+    change(&mut record);
+    cache.put(format!("run:{}", record.label), &record).unwrap();
+}
+
+fn paths(dir: &Path) -> (PathBuf, PathBuf, PathBuf) {
+    (dir.join("c.cc"), dir.join("i.cc"), dir.join("entities.cc"))
+}
+
+fn hex(path: &Path) -> String {
+    format!("{:016x}", fnv1a64(&std::fs::read(path).unwrap()))
+}
+
+#[test]
+fn a_run_pins_its_stores_and_refuses_drift() {
+    let mut w = world();
+    let dir = w.dir.path().to_path_buf();
+    let root = dir.join("run");
+    let (c, i, e) = paths(&dir);
+    let at = |label: &str, model: &str| {
+        RunStores::create(
+            &root,
+            label,
+            RunPaths {
+                corpus: &c,
+                inventory: &i,
+                entities: &e,
+            },
+            model,
+            "bag",
+        )
+    };
+
+    // Opening a root with no run makes none.
+    assert_eq!(RunStores::open(&root).err(), Some(RunError::NoRun));
+    assert!(!root.join("run.cc").exists(), "open must not create run.cc");
+    assert_eq!(
+        at("Bad Label", "m").err(),
+        Some(RunError::Malformed("label"))
+    );
+    assert_eq!(at("t", "").err(), Some(RunError::Malformed("model")));
+    assert!(
+        !root.join("run.cc").exists(),
+        "a refused create writes nothing"
+    );
+
+    let run = at("t", "fake-model").unwrap();
+    let r = run.record();
+    assert_eq!((r.label.as_str(), r.model.as_str()), ("t", "fake-model"));
+    assert_eq!(
+        r.corpus,
+        std::fs::canonicalize(&c).unwrap().to_str().unwrap()
+    );
+    assert_eq!(r.corpus_digest, hex(&c));
+    assert_eq!(r.entity_digest, hex(&e));
+    assert_eq!(r.chrf_version, weksa::score::CHRF_VERSION);
+    assert_eq!(at("u", "fake-model").err(), Some(RunError::Exists));
+
+    // The record is all open reads: the same run, from the same digests.
+    assert_eq!(RunStores::open(&root).unwrap().record(), run.record());
+
+    // A corpus written after the pin is another corpus.
+    let item = common::item_in(
+        "item:nibu:2",
+        "Another line.",
+        &common::group_in_bucket(10),
+        common::cast(),
+    );
+    w.corpus.add(item, &w.entities).unwrap();
+    assert_eq!(
+        RunStores::open(&root).err(),
+        Some(RunError::Drift(DriftOf::Corpus))
+    );
+}
+
+#[test]
+fn open_checks_each_pin_by_name() {
+    let mut w = world();
+    let dir = w.dir.path().to_path_buf();
+    let root = dir.join("run");
+    let drift = |change: &dyn Fn(&mut RunRecord)| {
+        let _ = std::fs::remove_dir_all(&root);
+        run_over(&dir);
+        rewrite_run(&root, change);
+        RunStores::open(&root).err()
+    };
+    assert_eq!(
+        drift(&|r| r.prompt_digest = "0".repeat(16)),
+        Some(RunError::Drift(DriftOf::Prompts))
+    );
+    assert_eq!(
+        drift(&|r| r.lowerer_digest = "0".repeat(16)),
+        Some(RunError::Drift(DriftOf::Lowerer))
+    );
+    assert_eq!(
+        drift(&|r| r.corpus_digest = "0".repeat(16)),
+        Some(RunError::Drift(DriftOf::Corpus))
+    );
+    assert_eq!(
+        drift(&|r| r.entity_digest = "0".repeat(16)),
+        Some(RunError::Drift(DriftOf::Entities))
+    );
+    assert_eq!(drift(&|_| {}), None, "the unchanged record opens");
+
+    // An entity put after the pin is another entity store.
+    let _ = std::fs::remove_dir_all(&root);
+    run_over(&dir);
+    w.entities.put(ent("kay", "en-US", &["Kay"])).unwrap();
+    assert_eq!(
+        RunStores::open(&root).err(),
+        Some(RunError::Drift(DriftOf::Entities))
+    );
+}
+
+#[test]
+fn source_digests_cover_their_files() {
+    let src = Path::new(env!("CARGO_MANIFEST_DIR")).join("src");
+    let digest = |name: &str| fnv1a64(&std::fs::read(src.join(name)).unwrap());
+    assert_eq!(weksa::run::PROMPT_SOURCE_DIGEST, digest("context.rs"));
+    assert_eq!(weksa::run::LOWERER_SOURCE_DIGEST, digest("lower.rs"));
+    assert_ne!(
+        weksa::run::PROMPT_SOURCE_DIGEST,
+        weksa::run::LOWERER_SOURCE_DIGEST
+    );
+}
diff --git a/schemas/cultnet/weksa.loop_round.schema.json b/schemas/cultnet/weksa.loop_round.schema.json
new file mode 100644
index 0000000..cb94831
--- /dev/null
+++ b/schemas/cultnet/weksa.loop_round.schema.json
@@ -0,0 +1,227 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "RoundRecord",
+  "description": "One scored round. It holds no text and no Test reading: per-item rows for\nTrain only, Validation only as means and refusal counts by stage. Only\n`run::round` builds one.\n\n```\nfn f(r: &weksa::run::RoundRecord) -> u32 { r.n() }\n```\n\n```compile_fail\nfn f() -> weksa::run::RoundRecord {\n    weksa::run::RoundRecord { n: 1 }\n}\n```",
+  "type": "object",
+  "properties": {
+    "calls": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/Call"
+      }
+    },
+    "chrf_version": {
+      "type": "string"
+    },
+    "corpus_digest": {
+      "type": "string"
+    },
+    "embedder": {
+      "type": "string"
+    },
+    "entity_digest": {
+      "type": "string"
+    },
+    "inventory_rev": {
+      "type": "integer",
+      "format": "uint32",
+      "minimum": 0
+    },
+    "lowerer_digest": {
+      "type": "string"
+    },
+    "model": {
+      "type": "string"
+    },
+    "n": {
+      "type": "integer",
+      "format": "uint32",
+      "minimum": 0
+    },
+    "prompt_digest": {
+      "type": "string"
+    },
+    "train": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/TrainRow"
+      }
+    },
+    "train_mean": {
+      "$ref": "#/$defs/SplitMean"
+    },
+    "validation_mean": {
+      "$ref": "#/$defs/SplitMean"
+    },
+    "validation_refused": {
+      "$ref": "#/$defs/RefusalCounts"
+    }
+  },
+  "required": [
+    "n",
+    "inventory_rev",
+    "prompt_digest",
+    "lowerer_digest",
+    "corpus_digest",
+    "entity_digest",
+    "model",
+    "embedder",
+    "chrf_version",
+    "calls",
+    "train",
+    "train_mean",
+    "validation_mean",
+    "validation_refused"
+  ],
+  "$defs": {
+    "Call": {
+      "description": "One model call: the prompt's digest and the item keys it held.",
+      "type": "object",
+      "properties": {
+        "items": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "prompt": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "prompt",
+        "items"
+      ]
+    },
+    "Outcome": {
+      "oneOf": [
+        {
+          "type": "object",
+          "properties": {
+            "Scored": {
+              "type": "object",
+              "properties": {
+                "chrf": {
+                  "type": "number",
+                  "format": "double"
+                },
+                "meaning": {
+                  "type": [
+                    "number",
+                    "null"
+                  ],
+                  "format": "double"
+                }
+              },
+              "required": [
+                "chrf"
+              ]
+            }
+          },
+          "additionalProperties": false,
+          "required": [
+            "Scored"
+          ]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "Refused": {
+              "$ref": "#/$defs/Stage"
+            }
+          },
+          "additionalProperties": false,
+          "required": [
+            "Refused"
+          ]
+        }
+      ]
+    },
+    "RefusalCounts": {
+      "type": "object",
+      "properties": {
+        "admit": {
+          "type": "integer",
+          "format": "uint32",
+          "minimum": 0
+        },
+        "lower": {
+          "type": "integer",
+          "format": "uint32",
+          "minimum": 0
+        },
+        "parse": {
+          "type": "integer",
+          "format": "uint32",
+          "minimum": 0
+        }
+      },
+      "required": [
+        "parse",
+        "admit",
+        "lower"
+      ]
+    },
+    "SplitMean": {
+      "description": "Mean scores of one derived split.",
+      "type": "object",
+      "properties": {
+        "chrf": {
+          "description": "`None` when the split has no items.",
+          "type": [
+            "number",
+            "null"
+          ],
+          "format": "double"
+        },
+        "count": {
+          "type": "integer",
+          "format": "uint",
+          "minimum": 0
+        },
+        "meaning": {
+          "description": "Mean over the items that have a meaning score; `None` when none do.",
+          "type": [
+            "number",
+            "null"
+          ],
+          "format": "double"
+        }
+      },
+      "required": [
+        "count"
+      ]
+    },
+    "Stage": {
+      "description": "Where a round refused: the first stage that did.",
+      "type": "string",
+      "enum": [
+        "Parse",
+        "Admit",
+        "Lower"
+      ]
+    },
+    "TrainRow": {
+      "description": "A Train item's row. Validation has no rows.",
+      "type": "object",
+      "properties": {
+        "item": {
+          "type": "string"
+        },
+        "outcome": {
+          "$ref": "#/$defs/Outcome"
+        },
+        "packet": {
+          "type": [
+            "string",
+            "null"
+          ]
+        }
+      },
+      "required": [
+        "item",
+        "outcome"
+      ]
+    }
+  }
+}
diff --git a/schemas/cultnet/weksa.loop_run.schema.json b/schemas/cultnet/weksa.loop_run.schema.json
new file mode 100644
index 0000000..b04b8b4
--- /dev/null
+++ b/schemas/cultnet/weksa.loop_run.schema.json
@@ -0,0 +1,58 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "RunRecord",
+  "description": "What a run pinned at open. Key `run:<label>`.",
+  "type": "object",
+  "properties": {
+    "chrf_version": {
+      "type": "string"
+    },
+    "corpus": {
+      "description": "Canonical absolute path of the corpus store.",
+      "type": "string"
+    },
+    "corpus_digest": {
+      "description": "16 hex of the corpus file's bytes.",
+      "type": "string"
+    },
+    "embedder": {
+      "description": "The embedder's model.",
+      "type": "string"
+    },
+    "entities": {
+      "type": "string"
+    },
+    "entity_digest": {
+      "type": "string"
+    },
+    "inventory": {
+      "type": "string"
+    },
+    "label": {
+      "type": "string"
+    },
+    "lowerer_digest": {
+      "type": "string"
+    },
+    "model": {
+      "description": "The answering model.",
+      "type": "string"
+    },
+    "prompt_digest": {
+      "type": "string"
+    }
+  },
+  "required": [
+    "label",
+    "corpus",
+    "inventory",
+    "entities",
+    "corpus_digest",
+    "entity_digest",
+    "prompt_digest",
+    "lowerer_digest",
+    "model",
+    "embedder",
+    "chrf_version"
+  ]
+}
-- 
2.47.3


From 77d8b1395266f6a7ff2f2ecde1a989ab5c93b3a9 Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 03:47:24 +0000
Subject: [PATCH 2/9] ModelPort and AnswerFiles; the encode prompt lists the
 live inventory and has a digest

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>
---
 crates/weksa/src/context.rs     |  85 +++++++++++++++---
 crates/weksa/src/lib.rs         |   1 +
 crates/weksa/src/model.rs       |  78 ++++++++++++++++
 crates/weksa/tests/context.rs   |  23 +++--
 crates/weksa/tests/golf_loop.rs | 155 ++++++++++++++++++++++++++++++++
 5 files changed, 321 insertions(+), 21 deletions(-)
 create mode 100644 crates/weksa/src/model.rs

diff --git a/crates/weksa/src/context.rs b/crates/weksa/src/context.rs
index 2936d7a..4dd5e30 100644
--- a/crates/weksa/src/context.rs
+++ b/crates/weksa/src/context.rs
@@ -15,16 +15,30 @@
 use std::marker::PhantomData;
 
 use crate::corpus::CorpusItem;
+use crate::inventory::{Inventory, InventoryEntry, OptionLabel, ValueKind};
 use crate::packet::EntityId;
-use crate::split::{Checkpoint, Split, SplitScheme};
+use crate::split::{Checkpoint, Split, SplitScheme, fnv1a64, hex16};
 use crate::store::{CorpusStore, normalized};
 
 /// The instructions a mint prompt starts with. golf-loop-en edits the wording
 /// here.
 pub const MINT_INSTRUCTIONS: &str = "Mint glosses from the lines below.";
 
-/// The instructions an encode prompt starts with.
-pub const ENCODE_INSTRUCTIONS: &str = "Encode the line below.";
+/// The instructions an encode prompt starts with: the encoder's whole brief.
+/// Fixed per run by `PROMPT_SOURCE_DIGEST`.
+pub const ENCODE_INSTRUCTIONS: &str = "\
+Encode the line below as one packet draft, the meaning of the line and nothing else.
+Answer with one JSON object and nothing else: no code fence, no commentary.
+Fields:
+- confidence: 0 to 1000.
+- context: {setting, medium, participants, audience}; setting and medium are concept ids or null, participants and audience are lists of node ids.
+- discourse: {speech_act, addressee, addressee_consent, features}; speech_act is a speech_act id, addressee a node id or null, addressee_consent always null.
+- referents: a list of {id, kind, concept, entity, features}; kind is a referent_kind id, concept a concept id, entity an entity id from the entities line or null.
+- predications: a list of {id, concept, frame, roles, features}; roles is a list of {role, filler}, filler a node id.
+- relations: a list of {relation, from, to, features}.
+- stance: {features}; the speaker's felt affect and restraint, never the affect the line displays.
+Node ids are n1, n2, and so on, one per referent and predication. Every other id comes from the inventory listed below and must be live at its revision. An entity comes only from the entities line.
+A feature is {feature, value}; value is {\"Grade\": 0 to 1000}, {\"Option\": label} or {\"Flag\": true or false}, as the inventory lists the feature's kind.";
 
 /// The live Train items of a corpus, in key order. The only input minting
 /// reads; it cannot be built from a slice, and no accessor returns text or an
@@ -124,9 +138,9 @@ pub enum OfferRefusal {
 /// use weksa::context::{EncoderOffer, TrainItems};
 /// use weksa::split::Checkpoint;
 /// use weksa::{CorpusItem, score::TestReadings};
-/// fn f(mut c: Checkpoint, i: &CorpusItem, t: &TrainItems) {
+/// fn f(mut c: Checkpoint, i: &CorpusItem, t: &TrainItems, inv: &weksa::Inventory) {
 ///     if let Ok(o) = EncoderOffer::for_checkpoint(i, &mut c) {
-///         let _ = weksa::context::Prompt::encode(&o, t);
+///         let _ = weksa::context::Prompt::encode(&o, t, inv, 1);
 ///     }
 ///     let _ = TestReadings::at_checkpoint(c, &[], &[], &[]);
 /// }
@@ -136,10 +150,10 @@ pub enum OfferRefusal {
 /// use weksa::context::{EncoderOffer, TrainItems};
 /// use weksa::split::Checkpoint;
 /// use weksa::{CorpusItem, score::TestReadings};
-/// fn f(mut c: Checkpoint, i: &CorpusItem, t: &TrainItems) {
+/// fn f(mut c: Checkpoint, i: &CorpusItem, t: &TrainItems, inv: &weksa::Inventory) {
 ///     let o = EncoderOffer::for_checkpoint(i, &mut c).unwrap();
 ///     let _ = TestReadings::at_checkpoint(c, &[], &[], &[]);
-///     let _ = weksa::context::Prompt::encode(&o, t);
+///     let _ = weksa::context::Prompt::encode(&o, t, inv, 1);
 /// }
 /// ```
 pub struct EncoderOffer<'cp> {
@@ -263,6 +277,32 @@ fn block(item: &CorpusItem, prior: Option<&TrainItems>) -> String {
     lines.join("\n")
 }
 
+/// One inventory line: the id and gloss, and for a feature or extension its
+/// value kind (with the labels of an options feature) and the slots it sits in.
+fn entry_line(entry: &InventoryEntry) -> String {
+    let mut line = format!("{}: {}", entry.id, entry.gloss);
+    let kind = entry.value_kind.as_ref().map(|kind| match kind {
+        ValueKind::Grade => "grade".to_string(),
+        ValueKind::Flag => "flag".to_string(),
+        ValueKind::Options(set) => {
+            let labels: Vec<String> = Vec::<OptionLabel>::from(set.clone())
+                .iter()
+                .map(OptionLabel::to_string)
+                .collect();
+            format!("options {}", labels.join("|"))
+        }
+    });
+    if let Some(kind) = kind {
+        let slots: Vec<String> = entry.applies_to.iter().map(|s| format!("{s:?}")).collect();
+        line.push_str(&format!(" [{kind}"));
+        if !slots.is_empty() {
+            line.push_str(&format!("; slots {}", slots.join(",")));
+        }
+        line.push(']');
+    }
+    line
+}
+
 /// Printed in place of a prior turn whose text no live Train item holds.
 const ELIDED: &str = "[elided]";
 
@@ -278,19 +318,36 @@ impl Prompt {
     }
 
     /// [`ENCODE_INSTRUCTIONS`], the one offered item with its prior turns resolved
-    /// against `train`, and the entities a packet for it may cite.
-    pub fn encode(offer: &EncoderOffer, train: &TrainItems) -> Prompt {
+    /// against `train`, the entities a packet for it may cite, and the entries
+    /// of `inventory` live at `rev`.
+    pub fn encode(
+        offer: &EncoderOffer,
+        train: &TrainItems,
+        inventory: &Inventory,
+        rev: u32,
+    ) -> Prompt {
         let ids: Vec<&str> = offer.entities.iter().map(EntityId::as_str).collect();
+        let mut text = format!(
+            "{ENCODE_INSTRUCTIONS}\n\n{}\n\nentities: {}\n\ninventory rev:{rev}",
+            block(&offer.item, Some(train)),
+            ids.join(", ")
+        );
+        for entry in inventory.entries().filter(|e| e.live_at(rev)) {
+            text.push('\n');
+            text.push_str(&entry_line(entry));
+        }
         Prompt {
-            text: format!(
-                "{ENCODE_INSTRUCTIONS}\n\n{}\n\nentities: {}",
-                block(&offer.item, Some(train)),
-                ids.join(", ")
-            ),
+            text,
             items: vec![offer.item.id.clone()],
         }
     }
 
+    /// 16 lowercase hex digits of FNV-1a 64 of the text: the name of the prompt
+    /// in files and records.
+    pub fn digest(&self) -> String {
+        hex16(fnv1a64(self.text.as_bytes()))
+    }
+
     pub fn text(&self) -> &str {
         &self.text
     }
diff --git a/crates/weksa/src/lib.rs b/crates/weksa/src/lib.rs
index 1b8c3c8..20a41db 100644
--- a/crates/weksa/src/lib.rs
+++ b/crates/weksa/src/lib.rs
@@ -10,6 +10,7 @@ pub mod entity;
 pub mod form;
 pub mod inventory;
 pub mod lower;
+pub mod model;
 pub mod packet;
 pub mod phones;
 pub mod run;
diff --git a/crates/weksa/src/model.rs b/crates/weksa/src/model.rs
new file mode 100644
index 0000000..2f83176
--- /dev/null
+++ b/crates/weksa/src/model.rs
@@ -0,0 +1,78 @@
+//! The loop's only door to a model. A model is the Claude session: it reads a
+//! prompt file and writes an answer file, and a rerun picks the answer up. No
+//! subprocess, network or binary lives here (golf-loop-in-claude).
+
+use std::fmt;
+use std::io::ErrorKind;
+use std::path::PathBuf;
+
+use crate::context::Prompt;
+
+/// A model answering [`Prompt`]s and nothing else.
+pub trait ModelPort {
+    /// The id of the answering model, pinned by the run.
+    fn model(&self) -> &str;
+    fn answer(&mut self, prompt: &Prompt) -> Result<String, PortError>;
+}
+
+/// Why a prompt got no answer. Display names the kind only.
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub enum PortError {
+    /// Nobody has answered yet.
+    Unanswered,
+    Io(ErrorKind),
+}
+
+impl fmt::Display for PortError {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        match self {
+            PortError::Unanswered => f.write_str("the prompt is unanswered"),
+            PortError::Io(kind) => write!(f, "io error {kind:?}"),
+        }
+    }
+}
+
+impl std::error::Error for PortError {}
+
+/// Answers from files in one directory: `<digest>.answer` is the reply to the
+/// prompt whose digest is `<digest>`; a prompt with no answer is written to
+/// `<digest>.prompt` for whoever answers.
+pub struct AnswerFiles {
+    dir: PathBuf,
+    model: String,
+}
+
+impl AnswerFiles {
+    pub fn new(dir: PathBuf, model: String) -> Self {
+        Self { dir, model }
+    }
+}
+
+impl ModelPort for AnswerFiles {
+    fn model(&self) -> &str {
+        &self.model
+    }
+
+    fn answer(&mut self, prompt: &Prompt) -> Result<String, PortError> {
+        let io = |e: std::io::Error| PortError::Io(e.kind());
+        let digest = prompt.digest();
+        match std::fs::read(self.dir.join(format!("{digest}.answer"))) {
+            Ok(bytes) => {
+                return String::from_utf8(bytes).map_err(|_| PortError::Io(ErrorKind::InvalidData));
+            }
+            Err(e) if e.kind() == ErrorKind::NotFound => {}
+            Err(e) => return Err(io(e)),
+        }
+        std::fs::create_dir_all(&self.dir).map_err(io)?;
+        let path = self.dir.join(format!("{digest}.prompt"));
+        match std::fs::read(&path) {
+            Ok(held) if held == prompt.text().as_bytes() => {}
+            Ok(_) => return Err(PortError::Io(ErrorKind::AlreadyExists)),
+            Err(e) if e.kind() == ErrorKind::NotFound => {
+                std::fs::write(&path, prompt.text()).map_err(io)?
+            }
+            Err(e) => return Err(io(e)),
+        }
+        Err(PortError::Unanswered)
+    }
+}
diff --git a/crates/weksa/tests/context.rs b/crates/weksa/tests/context.rs
index 88e65c3..e38b2fa 100644
--- a/crates/weksa/tests/context.rs
+++ b/crates/weksa/tests/context.rs
@@ -158,11 +158,17 @@ fn prompts_render_deterministically() {
     assert_eq!(Prompt::mint(&t).item_keys(), ["item:a:1", "item:a:2"]);
 
     let offer = run.offer("item:a:2").unwrap().unwrap();
+    let inv = run.inventory().inventory().unwrap();
     assert_eq!(
-        Prompt::encode(&offer, &t).text(),
-        format!("{ENCODE}\n\n[item:a:2] entity:nibu: Second line.\n\nentities: entity:nibu")
+        Prompt::encode(&offer, &t, &inv, 0).text(),
+        format!(
+            "{ENCODE}\n\n[item:a:2] entity:nibu: Second line.\n\nentities: entity:nibu\n\ninventory rev:0"
+        )
+    );
+    assert_eq!(
+        Prompt::encode(&offer, &t, &inv, 0).item_keys(),
+        ["item:a:2"]
     );
-    assert_eq!(Prompt::encode(&offer, &t).item_keys(), ["item:a:2"]);
 }
 
 #[test]
@@ -261,10 +267,11 @@ fn encoder_offer_entities_are_the_items_own() {
         "a sibling's entity is not the item's"
     );
     assert_eq!(offer.key(), "item:a:1");
-    let p = Prompt::encode(&offer, &t);
+    let inv = c.run.inventory().inventory().unwrap();
+    let p = Prompt::encode(&offer, &t, &inv, 0);
     assert!(
         p.text()
-            .ends_with("entities: entity:brokkr, entity:hero, entity:kay")
+            .ends_with("entities: entity:brokkr, entity:hero, entity:kay\n\ninventory rev:0")
     );
     assert!(p.text().contains("[item:a:1]"));
     assert!(!p.text().contains("item:a:2") && !p.text().contains("Someone waits"));
@@ -377,8 +384,9 @@ fn prior_turns_print_only_text_a_live_train_item_holds() {
         "mint prints no prior turns"
     );
 
+    let inv = run.inventory().inventory().unwrap();
     let encode = |key: &str| {
-        Prompt::encode(&run.offer(key).unwrap().unwrap(), &t)
+        Prompt::encode(&run.offer(key).unwrap().unwrap(), &t, &inv, 0)
             .text()
             .to_string()
     };
@@ -417,7 +425,8 @@ fn encode_with_prior(train_text: &str, prior_text: &str) -> (String, Result<(),
     store.add(reply.clone(), &entities).unwrap();
     let run = run_over(dir.path());
     let t = run.train().unwrap();
-    let p = Prompt::encode(&run.offer("item:a:2").unwrap().unwrap(), &t);
+    let inv = run.inventory().inventory().unwrap();
+    let p = Prompt::encode(&run.offer("item:a:2").unwrap().unwrap(), &t, &inv, 0);
     let text = p.text().to_string();
     // The store's own rule, as the oracle for key equality; after the prompt is
     // built, because an admitted probe would itself become a held line.
diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index 695559b..d44eb57 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -143,3 +143,158 @@ fn source_digests_cover_their_files() {
         weksa::run::LOWERER_SOURCE_DIGEST
     );
 }
+
+/// The encode prompt of `item:nibu:1` over `world()` at revision 4.
+fn prompt() -> weksa::context::Prompt {
+    let w = world();
+    let run = run_over(w.dir.path());
+    let inv = run.inventory().inventory().unwrap();
+    weksa::context::Prompt::encode(
+        &run.offer("item:nibu:1").unwrap().unwrap(),
+        &run.train().unwrap(),
+        &inv,
+        4,
+    )
+}
+
+#[test]
+fn encode_prompt_lists_the_live_inventory() {
+    let w = world();
+    let run = run_over(w.dir.path());
+    let inv = run.inventory().inventory().unwrap();
+    let train = run.train().unwrap();
+    let offer = run.offer("item:nibu:1").unwrap().unwrap();
+    let at = |rev| weksa::context::Prompt::encode(&offer, &train, &inv, rev);
+    let listed = |text: &str| -> Vec<String> {
+        let (_, tail) = text.split_once("\n\ninventory rev:").unwrap();
+        tail.lines().skip(1).map(str::to_string).collect()
+    };
+    let ids = |lines: &[String]| -> Vec<String> {
+        lines
+            .iter()
+            .map(|l| l.split(':').take(2).collect::<Vec<_>>().join(":"))
+            .collect()
+    };
+
+    let p4 = at(4);
+    assert!(p4.text().contains("\n\ninventory rev:4\n"));
+    let lines4 = listed(p4.text());
+    let live4: Vec<String> = inv
+        .entries()
+        .filter(|e| e.live_at(4))
+        .map(|e| e.id.to_string())
+        .collect();
+    assert_eq!(ids(&lines4), live4, "every live entry, in id order");
+    assert!(live4.contains(&common::CONCEPT_LATE.to_string()));
+    assert!(
+        !live4.contains(&common::CONCEPT_RETIRED.to_string()),
+        "retired at 3"
+    );
+
+    let ids2 = ids(&listed(at(2).text()));
+    assert!(
+        ids2.contains(&common::CONCEPT_RETIRED.to_string()),
+        "live at 2"
+    );
+    assert!(
+        !ids2.contains(&common::CONCEPT_LATE.to_string()),
+        "not yet introduced"
+    );
+
+    // A line carries the gloss; a feature its kind and slots, an options feature its labels.
+    let line = |id: &str| {
+        lines4
+            .iter()
+            .find(|l| l.starts_with(&format!("{id}: ")))
+            .unwrap()
+            .clone()
+    };
+    assert_eq!(
+        line(common::CONCEPT_A),
+        format!("{}: {}", common::CONCEPT_A, common::CONCEPT_A)
+    );
+    assert!(
+        line(common::HEDGE).contains("[grade; slots "),
+        "{}",
+        line(common::HEDGE)
+    );
+    assert!(
+        line(common::MODALITY).contains("[options "),
+        "{}",
+        line(common::MODALITY)
+    );
+    assert!(
+        line(common::MODALITY).contains("potential"),
+        "{}",
+        line(common::MODALITY)
+    );
+    assert!(
+        line(common::EXT).ends_with("[grade]"),
+        "an extension has a kind and no slots: {}",
+        line(common::EXT)
+    );
+    assert!(
+        at(4)
+            .text()
+            .starts_with(weksa::context::ENCODE_INSTRUCTIONS)
+    );
+    assert_eq!(at(4).digest().len(), 16);
+    assert_eq!(at(4).digest(), p4.digest());
+    assert_ne!(at(4).digest(), at(2).digest());
+    assert_eq!(
+        p4.digest(),
+        format!("{:016x}", fnv1a64(p4.text().as_bytes()))
+    );
+}
+
+#[test]
+fn answer_files_write_the_prompt_and_read_the_answer() {
+    use std::io::ErrorKind;
+    use weksa::model::{AnswerFiles, ModelPort, PortError};
+    let p = prompt();
+    let dir = tempfile::tempdir().unwrap();
+    let round = dir.path().join("round-1");
+    let mut files = AnswerFiles::new(round.clone(), "answerer".into());
+    assert_eq!(files.model(), "answerer");
+
+    // No answer: the prompt is written under its digest, and nothing else.
+    assert_eq!(files.answer(&p), Err(PortError::Unanswered));
+    let prompt_file = round.join(format!("{}.prompt", p.digest()));
+    assert_eq!(std::fs::read_to_string(&prompt_file).unwrap(), p.text());
+    assert_eq!(std::fs::read_dir(&round).unwrap().count(), 1);
+    // Asking again leaves the equal file alone.
+    let before = std::fs::metadata(&prompt_file).unwrap().modified().unwrap();
+    assert_eq!(files.answer(&p), Err(PortError::Unanswered));
+    assert_eq!(
+        std::fs::metadata(&prompt_file).unwrap().modified().unwrap(),
+        before
+    );
+    // A different file under the digest is refused, not overwritten.
+    std::fs::write(&prompt_file, "other").unwrap();
+    assert_eq!(
+        files.answer(&p),
+        Err(PortError::Io(ErrorKind::AlreadyExists))
+    );
+    assert_eq!(std::fs::read_to_string(&prompt_file).unwrap(), "other");
+
+    // The answer is read as it was written, whitespace and all.
+    let answer = round.join(format!("{}.answer", p.digest()));
+    std::fs::write(&answer, " {\"x\": 1}\n").unwrap();
+    assert_eq!(files.answer(&p).unwrap(), " {\"x\": 1}\n");
+    std::fs::write(&answer, [0xff, 0xfe]).unwrap();
+    assert_eq!(files.answer(&p), Err(PortError::Io(ErrorKind::InvalidData)));
+
+    // A directory that cannot be made is an io error of its kind.
+    std::fs::write(dir.path().join("file"), "").unwrap();
+    let mut blocked = AnswerFiles::new(dir.path().join("file").join("round"), "m".into());
+    assert!(matches!(blocked.answer(&p), Err(PortError::Io(_))));
+
+    assert_eq!(
+        PortError::Unanswered.to_string(),
+        "the prompt is unanswered"
+    );
+    assert_eq!(
+        PortError::Io(ErrorKind::InvalidData).to_string(),
+        "io error InvalidData"
+    );
+}
-- 
2.47.3


From 49879000f70b0ed0fe923e41df7cf8b4008ce937 Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 03:50:04 +0000
Subject: [PATCH 3/9] run::round: a pinned run encodes Train and Validation,
 admits, lowers, scores and records the round

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>
---
 crates/weksa/src/encode.rs       | 229 +++++++++++++
 crates/weksa/src/lib.rs          |   4 +
 crates/weksa/src/run.rs          | 181 +++++++++-
 crates/weksa/tests/common/mod.rs |  22 ++
 crates/weksa/tests/golf_loop.rs  | 561 +++++++++++++++++++++++++++++++
 crates/weksa/tests/score.rs      |  24 +-
 6 files changed, 994 insertions(+), 27 deletions(-)
 create mode 100644 crates/weksa/src/encode.rs

diff --git a/crates/weksa/src/encode.rs b/crates/weksa/src/encode.rs
new file mode 100644
index 0000000..c0404e9
--- /dev/null
+++ b/crates/weksa/src/encode.rs
@@ -0,0 +1,229 @@
+//! The encoder step: what a model's answer becomes. This is the one place JSON
+//! is read (the xenos boundary): a model answers in JSON, `PacketDraft::parse`
+//! reads it, and nothing is stored as JSON. The model writes meaning only;
+//! `into_packet` sets the id, schema version, inventory revision, kind,
+//! provenance, constraints and extensions, and an empty trace, so a model that
+//! saw a Validation item cannot hand its words to whoever reads packets.
+
+use std::fmt;
+
+use serde::{Deserialize, Serialize};
+
+use crate::corpus::CorpusItemId;
+use crate::packet::{
+    Constraints, Context, Discourse, EncoderId, Grade, Packet, PacketId, PacketKind, Predication,
+    Provenance, ProvenanceSource, Referent, Relation, SCHEMA_VERSION, Stance, Trace,
+};
+use crate::split::{fnv1a64, hex16};
+
+/// The meaning fields of a packet, as a model writes them.
+#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
+#[serde(deny_unknown_fields)]
+pub struct PacketDraft {
+    pub confidence: Grade,
+    #[serde(default)]
+    pub context: Context,
+    pub discourse: Discourse,
+    pub referents: Vec<Referent>,
+    pub predications: Vec<Predication>,
+    #[serde(default)]
+    pub relations: Vec<Relation>,
+    #[serde(default)]
+    pub stance: Stance,
+}
+
+/// Where an answer stopped being a draft. Position only: a parse message would
+/// quote the offending token.
+#[derive(Clone, Copy, PartialEq, Eq)]
+pub struct DraftError {
+    pub line: usize,
+    pub column: usize,
+}
+
+impl fmt::Display for DraftError {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        write!(
+            f,
+            "not a packet draft at line {} column {}",
+            self.line, self.column
+        )
+    }
+}
+
+impl fmt::Debug for DraftError {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        fmt::Display::fmt(self, f)
+    }
+}
+
+impl std::error::Error for DraftError {}
+
+impl PacketDraft {
+    pub fn parse(answer: &str) -> Result<Self, DraftError> {
+        serde_json::from_str(answer.trim()).map_err(|e| DraftError {
+            line: e.line(),
+            column: e.column(),
+        })
+    }
+
+    /// The draft that says what `packet` says.
+    pub fn of(packet: &Packet) -> Self {
+        Self {
+            confidence: packet.provenance.confidence,
+            context: packet.context.clone(),
+            discourse: packet.discourse.clone(),
+            referents: packet.referents.clone(),
+            predications: packet.predications.clone(),
+            relations: packet.relations.clone(),
+            stance: packet.stance.clone(),
+        }
+    }
+
+    /// The packet this draft becomes for `item` at inventory revision `rev`.
+    pub(crate) fn into_packet(self, item: &CorpusItemId, rev: u32, encoder: &EncoderId) -> Packet {
+        Packet {
+            id: packet_id(item, rev, encoder),
+            schema_version: SCHEMA_VERSION,
+            inventory_rev: rev,
+            kind: PacketKind::CorpusExample,
+            provenance: Provenance {
+                source: ProvenanceSource::ModelDecomposition,
+                corpus_item: item.clone(),
+                encoder: encoder.clone(),
+                confidence: self.confidence,
+            },
+            context: self.context,
+            discourse: self.discourse,
+            referents: self.referents,
+            predications: self.predications,
+            relations: self.relations,
+            constraints: Constraints::default(),
+            extensions: vec![],
+            trace: Trace::default(),
+            stance: self.stance,
+        }
+    }
+}
+
+/// `encoder:<hex16>`, a digest of the model id and the prompt digest.
+pub fn encoder_id(model: &str, prompt_digest: &str) -> EncoderId {
+    let digest = fnv1a64(format!("weksa-encoder-v1:{model}:{prompt_digest}").as_bytes());
+    EncoderId::parse(&format!("encoder:{}", hex16(digest))).expect("an encoder id is well formed")
+}
+
+/// `packet:<hex16>`, a digest of the item, the inventory revision and the encoder.
+pub fn packet_id(item: &CorpusItemId, rev: u32, encoder: &EncoderId) -> PacketId {
+    let digest = fnv1a64(format!("weksa-packet-v1:{item}:{rev}:{encoder}").as_bytes());
+    PacketId::parse(&format!("packet:{}", hex16(digest))).expect("a packet id is well formed")
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use crate::daodejing::packets;
+
+    fn item() -> CorpusItemId {
+        CorpusItemId::parse("item:daodejing:1").unwrap()
+    }
+
+    #[test]
+    fn ids_are_pinned_digests_of_their_inputs() {
+        let encoder = encoder_id("fake-model", "abcd");
+        assert_eq!(encoder.as_str(), "encoder:4d35f2befb3108ec");
+        let encoder = EncoderId::parse("encoder:0123456789abcdef").unwrap();
+        assert_eq!(
+            packet_id(&item(), 3, &encoder).as_str(),
+            "packet:888ba17103e21a9d"
+        );
+        // Each input moves the id.
+        assert_ne!(
+            encoder_id("other", "abcd"),
+            encoder_id("fake-model", "abcd")
+        );
+        assert_ne!(
+            encoder_id("fake-model", "abce"),
+            encoder_id("fake-model", "abcd")
+        );
+        let other = CorpusItemId::parse("item:daodejing:2").unwrap();
+        let base = packet_id(&item(), 3, &encoder);
+        assert_ne!(packet_id(&other, 3, &encoder), base);
+        assert_ne!(packet_id(&item(), 4, &encoder), base);
+        assert_ne!(packet_id(&item(), 3, &encoder_id("m", "d")), base);
+    }
+
+    #[test]
+    fn the_encoder_step_sets_everything_the_model_does_not_write() {
+        // A source packet with every non-meaning field set to something loud.
+        let mut source = packets().remove(0);
+        source.trace.notes = vec!["a note a model must not hand on".into()];
+        source.constraints.deterministic = true;
+        source.extensions = vec![crate::packet::Extension {
+            key: "extension:1".parse().unwrap(),
+            value: crate::packet::FeatValue::Flag(true),
+        }];
+        let draft = PacketDraft::of(&source);
+        let encoder = encoder_id("m", "d");
+        let made = draft.clone().into_packet(&item(), 9, &encoder);
+        assert_eq!(made.id, packet_id(&item(), 9, &encoder));
+        assert_eq!(made.schema_version, SCHEMA_VERSION);
+        assert_eq!(made.inventory_rev, 9);
+        assert_eq!(made.kind, PacketKind::CorpusExample);
+        assert_eq!(made.provenance.source, ProvenanceSource::ModelDecomposition);
+        assert_eq!(made.provenance.corpus_item, item());
+        assert_eq!(made.provenance.encoder, encoder);
+        assert_eq!(made.provenance.confidence, source.provenance.confidence);
+        assert_eq!(made.constraints, Constraints::default());
+        assert!(made.extensions.is_empty());
+        assert_eq!(made.trace, Trace::default());
+        // The meaning is the draft's, whole.
+        assert_eq!(PacketDraft::of(&made), draft);
+    }
+
+    #[test]
+    fn parse_reads_a_draft_and_trims() {
+        let draft = PacketDraft::of(&packets()[0]);
+        let json = serde_json::to_string(&draft).unwrap();
+        assert_eq!(PacketDraft::parse(&format!("\n {json} \n")).unwrap(), draft);
+        // The optional fields default.
+        let minimal = r#"{"confidence":500,"discourse":{"speech_act":null,"addressee":null,"addressee_consent":null,"features":[]},"referents":[],"predications":[]}"#;
+        let d = PacketDraft::parse(minimal).unwrap();
+        assert_eq!(d.context, Context::default());
+        assert!(d.relations.is_empty());
+        assert_eq!(d.stance, Stance::default());
+    }
+
+    #[test]
+    fn parse_refuses_what_a_model_must_not_write() {
+        let draft = PacketDraft::of(&packets()[0]);
+        let mut value = serde_json::to_value(&draft).unwrap();
+        for field in [
+            "id",
+            "provenance",
+            "trace",
+            "inventory_rev",
+            "kind",
+            "extensions",
+        ] {
+            value[field] = serde_json::json!(null);
+            assert!(PacketDraft::parse(&value.to_string()).is_err(), "{field}");
+            value.as_object_mut().unwrap().remove(field);
+        }
+        value["confidence"] = serde_json::json!(1001);
+        assert!(PacketDraft::parse(&value.to_string()).is_err());
+        value.as_object_mut().unwrap().remove("confidence");
+        assert!(
+            PacketDraft::parse(&value.to_string()).is_err(),
+            "confidence is required"
+        );
+    }
+
+    #[test]
+    fn a_draft_error_is_a_position_and_echoes_no_token() {
+        let err = PacketDraft::parse("{\n  \"confidence\": CANARYTOKEN").unwrap_err();
+        assert_eq!((err.line, err.column), (2, 17));
+        let err = PacketDraft::parse(r#"{"confidence":500,"CANARYKEY":1}"#).unwrap_err();
+        for text in [err.to_string(), format!("{err:?}")] {
+            assert!(!text.contains("CANARY"), "{text}");
+        }
+    }
+}
diff --git a/crates/weksa/src/lib.rs b/crates/weksa/src/lib.rs
index 20a41db..f61a9b6 100644
--- a/crates/weksa/src/lib.rs
+++ b/crates/weksa/src/lib.rs
@@ -6,6 +6,7 @@
 pub mod context;
 pub mod corpus;
 pub mod daodejing;
+pub mod encode;
 pub mod entity;
 pub mod form;
 pub mod inventory;
@@ -22,6 +23,7 @@ pub mod store;
 pub mod validate;
 
 pub use corpus::{CorpusItem, CorpusItemId, NameSpan, Source, Turn};
+pub use encode::PacketDraft;
 pub use entity::{Entity, EntityOrigin, LanguageForms, Pronunciation};
 pub use form::FormError;
 pub use inventory::{
@@ -29,10 +31,12 @@ pub use inventory::{
     Slot, ValueKind,
 };
 pub use lower::{EntityForms, LowerError, PhoneLine, TARGET_LANGUAGE, lower, phones, pronounce};
+pub use model::{AnswerFiles, ModelPort};
 pub use packet::{
     EncoderId, EntityId, Grade, NodeId, Packet, PacketId, PacketKind, SCHEMA_VERSION, Stance,
 };
 pub use phones::{Phone, PhoneInventory, SegmentError, Stress};
+pub use run::{RoundRecord, RunStores, round};
 pub use score::{Embedder, ItemScore, OllamaEmbedder, Scorer, chrf};
 pub use speaker::{Annotator, PairRelation, Party, Scene, Speaker};
 pub use split::{Split, SplitScheme};
diff --git a/crates/weksa/src/run.rs b/crates/weksa/src/run.rs
index 8b892d0..a73cadf 100644
--- a/crates/weksa/src/run.rs
+++ b/crates/weksa/src/run.rs
@@ -19,11 +19,15 @@ use cultcache_rs::{CultCache, DatabaseEntry};
 use schemars::JsonSchema;
 use serde::{Deserialize, Serialize};
 
-use crate::context::{EncoderOffer, TrainItems};
+use crate::context::{EncoderOffer, Prompt, TrainItems};
+use crate::corpus::{CorpusItem, CorpusItemId};
+use crate::encode::{PacketDraft, encoder_id};
 use crate::form::{is_attestation, is_slug};
-use crate::score::{CHRF_VERSION, SplitMean};
-use crate::split::{fnv1a64, hex16};
-use crate::store::{CorpusStore, EntityStore, InventoryStore, open_cache};
+use crate::lower::lower;
+use crate::model::{ModelPort, PortError};
+use crate::score::{CHRF_VERSION, Embedder, ItemScore, ScoreInput, Scorer, SplitMean, aggregate};
+use crate::split::{Split, SplitScheme, fnv1a64, hex16};
+use crate::store::{CorpusStore, EntityStore, InventoryStore, PacketStore, open_cache};
 
 /// The digest of the prompt builder's source. Any edit to `context.rs`,
 /// comments included, ends a run; code outside that file is not covered.
@@ -431,3 +435,172 @@ impl RunStores {
             .join(format!("round-{}", self.rounds()?.len() + 1)))
     }
 }
+
+/// What a round came to.
+#[derive(Debug)]
+pub enum RoundOutcome {
+    /// Prompts nobody has answered; nothing was written to the run or admitted.
+    Unanswered {
+        prompts: Vec<String>,
+    },
+    Recorded(RoundRecord),
+}
+
+/// How one item fared: where it was refused, or the text it lowered to, with
+/// the key of the packet that was admitted for it.
+enum Fate {
+    Refused(Stage, Option<String>),
+    Lowered(String, String),
+}
+
+/// One round: encodes every live Train and Validation item of the run's pinned
+/// corpus through `model`, admits each packet into the round's own
+/// `<root>/round-<n>/packets.cc`, lowers, scores, and records the round. The
+/// round is all or nothing: while any prompt is unanswered, nothing is written.
+pub fn round<M: ModelPort, E: Embedder>(
+    run: &mut RunStores,
+    model: &mut M,
+    scorer: &Scorer<E>,
+) -> Result<RoundOutcome, RunError> {
+    let store = |_| RunError::Store;
+    if model.model() != run.record.model {
+        return Err(RunError::Drift(DriftOf::Model));
+    }
+    if scorer.embedder().model() != run.record.embedder {
+        return Err(RunError::Drift(DriftOf::Embedder));
+    }
+    let inventory = run.inventory.inventory().map_err(store)?;
+    let rev = inventory.latest().ok_or(RunError::NoInventory)?.n;
+
+    let train = run.train().map_err(store)?;
+    let mut calls = Vec::new();
+    let mut answers = Vec::new();
+    let mut unanswered = Vec::new();
+    for offer in run.offers().map_err(store)? {
+        let prompt = Prompt::encode(&offer, &train, &inventory, rev);
+        match model.answer(&prompt) {
+            Ok(answer) => answers.push((offer.key().to_string(), answer)),
+            Err(PortError::Unanswered) => unanswered.push(prompt.digest()),
+            Err(PortError::Io(kind)) => return Err(RunError::Io(kind)),
+        }
+        calls.push(Call {
+            prompt: prompt.digest(),
+            items: prompt.item_keys().to_vec(),
+        });
+    }
+    if !unanswered.is_empty() {
+        return Ok(RoundOutcome::Unanswered {
+            prompts: unanswered,
+        });
+    }
+
+    let dir = run.next_round_dir().map_err(store)?;
+    std::fs::create_dir_all(&dir).map_err(|e| RunError::Io(e.kind()))?;
+    let mut packets = PacketStore::open(&dir.join("packets.cc")).map_err(store)?;
+    let encoder = encoder_id(model.model(), &run.record.prompt_digest);
+    let mut items: Vec<CorpusItem> = Vec::new();
+    let mut fates: Vec<Fate> = Vec::new();
+    for (key, answer) in &answers {
+        let item = run.corpus.get(key).map_err(store)?.ok_or(RunError::Store)?;
+        let id = CorpusItemId::parse(key).map_err(|_| RunError::Store)?;
+        let fate = match PacketDraft::parse(answer) {
+            Err(_) => Fate::Refused(Stage::Parse, None),
+            Ok(draft) => {
+                let packet = draft.into_packet(&id, rev, &encoder);
+                let packet_key = packet.id.to_string();
+                match packets.admit(packet, &run.inventory, &run.corpus, &run.entities) {
+                    Err(_) => Fate::Refused(Stage::Admit, None),
+                    Ok(view) => match lower(&view, &inventory, &run.entities) {
+                        Err(_) => Fate::Refused(Stage::Lower, Some(packet_key)),
+                        Ok(text) => Fate::Lowered(text, packet_key),
+                    },
+                }
+            }
+        };
+        items.push(item);
+        fates.push(fate);
+    }
+
+    // One score call over what lowered; none when nothing did.
+    let lowered: Vec<(usize, &str)> = fates
+        .iter()
+        .enumerate()
+        .filter_map(|(i, fate)| match fate {
+            Fate::Lowered(text, _) => Some((i, text.as_str())),
+            Fate::Refused(..) => None,
+        })
+        .collect();
+    let inputs: Vec<ScoreInput> = lowered
+        .iter()
+        .map(|(i, text)| ScoreInput {
+            reference: &items[*i].text,
+            output: text,
+        })
+        .collect();
+    let scores = if inputs.is_empty() {
+        Vec::new()
+    } else {
+        scorer.score(&inputs).map_err(|_| RunError::Embed)?
+    };
+    let mut score_at: Vec<Option<ItemScore>> = vec![None; items.len()];
+    for ((i, _), score) in lowered.iter().zip(scores) {
+        score_at[*i] = Some(score);
+    }
+    let scored: Vec<(&CorpusItem, ItemScore)> = items
+        .iter()
+        .zip(&score_at)
+        .filter_map(|(item, score)| score.clone().map(|s| (item, s)))
+        .collect();
+    let means = aggregate(&scored);
+
+    let mut train_rows = Vec::new();
+    let mut refused = RefusalCounts::default();
+    for ((item, fate), score) in items.iter().zip(&fates).zip(&score_at) {
+        let (outcome, packet) = match (fate, score) {
+            (Fate::Lowered(_, key), Some(score)) => (
+                Outcome::Scored {
+                    chrf: score.chrf,
+                    meaning: score.meaning,
+                },
+                Some(key.clone()),
+            ),
+            (Fate::Refused(stage, key), _) => (Outcome::Refused(*stage), key.clone()),
+            (Fate::Lowered(..), None) => return Err(RunError::Store),
+        };
+        match (SplitScheme::V1.live(item), fate) {
+            (Some(Split::Train), _) => train_rows.push(TrainRow {
+                item: item.id.clone(),
+                packet,
+                outcome,
+            }),
+            (Some(Split::Validation), Fate::Refused(stage, _)) => match stage {
+                Stage::Parse => refused.parse += 1,
+                Stage::Admit => refused.admit += 1,
+                Stage::Lower => refused.lower += 1,
+            },
+            _ => {}
+        }
+    }
+
+    let n = run.rounds().map_err(store)?.len() as u32 + 1;
+    let record = RoundRecord {
+        n,
+        inventory_rev: rev,
+        prompt_digest: run.record.prompt_digest.clone(),
+        lowerer_digest: run.record.lowerer_digest.clone(),
+        corpus_digest: run.record.corpus_digest.clone(),
+        entity_digest: run.record.entity_digest.clone(),
+        model: run.record.model.clone(),
+        embedder: run.record.embedder.clone(),
+        chrf_version: run.record.chrf_version.clone(),
+        calls,
+        train: train_rows,
+        train_mean: means.train,
+        validation_mean: means.validation,
+        validation_refused: refused,
+    };
+    run.cache
+        .put(format!("run:{}:round:{n}", run.record.label), &record)
+        .map_err(store)?;
+    Ok(RoundOutcome::Recorded(record))
+}
diff --git a/crates/weksa/tests/common/mod.rs b/crates/weksa/tests/common/mod.rs
index ccf7774..3bff6d2 100644
--- a/crates/weksa/tests/common/mod.rs
+++ b/crates/weksa/tests/common/mod.rs
@@ -353,3 +353,25 @@ pub fn good() -> Packet {
         },
     }
 }
+
+/// A deterministic bag-of-letters embedder, so cosine differs with the text.
+pub struct Bag;
+
+impl weksa::Embedder for Bag {
+    fn model(&self) -> &str {
+        "bag"
+    }
+    fn embed(&self, texts: &[&str]) -> anyhow::Result<Vec<Vec<f32>>> {
+        Ok(texts
+            .iter()
+            .map(|t| {
+                let mut v = vec![0.0; 27];
+                v[26] = 1.0;
+                for c in t.chars().filter(char::is_ascii_alphabetic) {
+                    v[(c.to_ascii_lowercase() as u8 - b'a') as usize] += 1.0;
+                }
+                v
+            })
+            .collect())
+    }
+}
diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index d44eb57..7f9fe99 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -298,3 +298,564 @@ fn answer_files_write_the_prompt_and_read_the_answer() {
         "io error InvalidData"
     );
 }
+
+// ---- rounds over the Dao De Jing test bed ----
+
+use std::collections::HashMap;
+
+use common::Bag;
+use weksa::context::{ENCODE_INSTRUCTIONS, Prompt};
+use weksa::daodejing::packets;
+use weksa::model::{AnswerFiles, ModelPort, PortError};
+use weksa::run::{Outcome, RoundOutcome, RoundRecord, Stage, round};
+use weksa::{Embedder, PacketDraft, PacketStore, Scorer};
+
+/// Answers by the item the prompt holds; panics on an item it was not given,
+/// and records every prompt it was shown.
+struct FakeModel {
+    name: &'static str,
+    answers: HashMap<String, String>,
+    seen: Vec<(String, String)>,
+}
+
+impl ModelPort for FakeModel {
+    fn model(&self) -> &str {
+        self.name
+    }
+    fn answer(&mut self, prompt: &Prompt) -> Result<String, PortError> {
+        let key = prompt.item_keys()[0].clone();
+        self.seen.push((prompt.digest(), prompt.text().to_string()));
+        match self.answers.get(&key) {
+            Some(answer) => Ok(answer.clone()),
+            None => panic!("the model was asked about {key}"),
+        }
+    }
+}
+
+fn draft_of(item: usize) -> PacketDraft {
+    PacketDraft::of(&packets()[item - 1])
+}
+
+fn json(draft: &PacketDraft) -> String {
+    serde_json::to_string(draft).unwrap()
+}
+
+/// A fake that answers the Dao packets for the Train and Validation items.
+fn fake(answers: &[(usize, String)]) -> FakeModel {
+    FakeModel {
+        name: "fake-model",
+        answers: answers
+            .iter()
+            .map(|(n, a)| (format!("item:daodejing:{n}"), a.clone()))
+            .collect(),
+        seen: vec![],
+    }
+}
+
+fn good_answers() -> Vec<(usize, String)> {
+    (1..=3).map(|n| (n, json(&draft_of(n)))).collect()
+}
+
+struct Dao {
+    _dir: tempfile::TempDir,
+    root: PathBuf,
+    corpus: PathBuf,
+    run: RunStores,
+}
+
+/// A run over copies of `data/daodejing/{corpus,inventory,entity}.cc`.
+fn dao() -> Dao {
+    let src = Path::new(env!("CARGO_MANIFEST_DIR")).join("../../data/daodejing");
+    let dir = tempfile::tempdir().unwrap();
+    let copy = |from: &str, to: &str| {
+        std::fs::copy(src.join(from), dir.path().join(to)).unwrap();
+        dir.path().join(to)
+    };
+    let (corpus, inventory, entities) = (
+        copy("corpus.cc", "c.cc"),
+        copy("inventory.cc", "i.cc"),
+        copy("entity.cc", "e.cc"),
+    );
+    let root = dir.path().join("run");
+    let run = RunStores::create(
+        &root,
+        "dao",
+        RunPaths {
+            corpus: &corpus,
+            inventory: &inventory,
+            entities: &entities,
+        },
+        "fake-model",
+        "bag",
+    )
+    .unwrap();
+    Dao {
+        _dir: dir,
+        root,
+        corpus,
+        run,
+    }
+}
+
+fn recorded(outcome: RoundOutcome) -> RoundRecord {
+    match outcome {
+        RoundOutcome::Recorded(r) => r,
+        RoundOutcome::Unanswered { prompts } => panic!("unanswered: {prompts:?}"),
+    }
+}
+
+fn two_dp(x: f64) -> f64 {
+    (x * 100.0).round() / 100.0
+}
+
+#[test]
+fn round_over_the_dao_stores_scores_train_and_validation() {
+    let mut dao = dao();
+    let mut model = fake(&good_answers());
+    let r = recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    let pinned = dao.run.record().clone();
+
+    assert_eq!((r.n(), r.inventory_rev()), (1, 3));
+    let items: Vec<&[String]> = r.calls().iter().map(|c| c.items.as_slice()).collect();
+    assert_eq!(
+        items,
+        [
+            ["item:daodejing:1"],
+            ["item:daodejing:2"],
+            ["item:daodejing:3"]
+        ]
+    );
+    for (call, (digest, _)) in r.calls().iter().zip(&model.seen) {
+        assert_eq!(&call.prompt, digest);
+    }
+
+    // Train: a row per item, with the packet that was admitted and its score.
+    assert_eq!(r.train().len(), 1);
+    let row = &r.train()[0];
+    assert_eq!(row.item, "item:daodejing:1");
+    let Outcome::Scored { chrf, meaning } = row.outcome else {
+        panic!("{:?}", row.outcome)
+    };
+    assert_eq!(two_dp(chrf), 44.18);
+    assert!(meaning.is_some());
+    assert_eq!((r.train_mean().count, r.train_mean().chrf), (1, Some(chrf)));
+
+    // Validation: means and refusal counts only.
+    let v = r.validation_mean();
+    assert_eq!(v.count, 2);
+    assert!((v.chrf.unwrap() - 78.56).abs() < 0.01, "{:?}", v.chrf);
+    assert!(v.meaning.is_some());
+    assert_eq!(r.validation_refused(), Default::default());
+
+    // The record carries the run's pins.
+    assert_eq!(r.prompt_digest(), pinned.prompt_digest);
+    assert_eq!(r.lowerer_digest(), pinned.lowerer_digest);
+    assert_eq!(r.corpus_digest(), pinned.corpus_digest);
+    assert_eq!(r.entity_digest(), pinned.entity_digest);
+    assert_eq!(r.model(), "fake-model");
+    assert_eq!(r.embedder(), "bag");
+    assert_eq!(r.chrf_version(), weksa::score::CHRF_VERSION);
+
+    // It is stored, and the packets are in the round's own store, made by the encoder step.
+    assert_eq!(
+        RunStores::open(&dao.root).unwrap().rounds().unwrap(),
+        std::slice::from_ref(&r)
+    );
+    let packets = PacketStore::open(&dao.root.join("round-1/packets.cc")).unwrap();
+    let all = packets.all().unwrap();
+    assert_eq!(all.len(), 3);
+    let encoder = weksa::encode::encoder_id("fake-model", &pinned.prompt_digest);
+    for p in &all {
+        assert_eq!(p.provenance.encoder, encoder);
+        assert_eq!(p.inventory_rev, 3);
+        assert_eq!(p.trace, Default::default());
+    }
+    assert_eq!(
+        row.packet.as_deref(),
+        Some(
+            all.iter()
+                .find(|p| p.provenance.corpus_item.as_str() == "item:daodejing:1")
+                .unwrap()
+                .id
+                .as_str()
+        )
+    );
+    assert!(!dao.root.join("round-2").exists());
+}
+
+#[test]
+fn round_never_offers_or_records_test() {
+    let mut dao = dao();
+    // The fake panics if asked about item 4 or 5.
+    let mut model = fake(&good_answers());
+    recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    assert!(
+        model
+            .seen
+            .iter()
+            .all(|(_, t)| !t.contains("item:daodejing:4") && !t.contains("item:daodejing:5"))
+    );
+
+    let corpus = weksa::CorpusStore::open(&dao.corpus).unwrap();
+    let mut files = vec![dao.root.join("run.cc")];
+    for entry in std::fs::read_dir(dao.root.join("round-1")).unwrap() {
+        files.push(entry.unwrap().path());
+    }
+    let mut needles: Vec<String> = vec!["item:daodejing:4".into(), "item:daodejing:5".into()];
+    needles.extend(
+        ["item:daodejing:4", "item:daodejing:5"].map(|k| corpus.get(k).unwrap().unwrap().text),
+    );
+    for file in files {
+        let bytes = std::fs::read(&file).unwrap();
+        for needle in &needles {
+            assert!(
+                !bytes.windows(needle.len()).any(|w| w == needle.as_bytes()),
+                "{} holds a Test key or text",
+                file.display()
+            );
+        }
+    }
+    // Nor does the record hold any Train or Validation text.
+    let run_cc = std::fs::read(dao.root.join("run.cc")).unwrap();
+    for k in ["item:daodejing:1", "item:daodejing:2", "item:daodejing:3"] {
+        let text = corpus.get(k).unwrap().unwrap().text;
+        assert!(
+            !run_cc.windows(text.len()).any(|w| w == text.as_bytes()),
+            "{k} text in run.cc"
+        );
+    }
+}
+
+/// The key and prompt of every item a round offers, as a round would build them.
+fn prompts(run: &RunStores) -> Vec<(String, Prompt)> {
+    let inv = run.inventory().inventory().unwrap();
+    let rev = inv.latest().unwrap().n;
+    let train = run.train().unwrap();
+    run.offers()
+        .unwrap()
+        .iter()
+        .map(|o| (o.key().to_string(), Prompt::encode(o, &train, &inv, rev)))
+        .collect()
+}
+
+#[test]
+fn unanswered_round_writes_nothing() {
+    let mut dao = dao();
+    let run_cc = std::fs::read(dao.root.join("run.cc")).unwrap();
+    let expected = prompts(&dao.run);
+    assert_eq!(expected.len(), 3);
+
+    let mut files = AnswerFiles::new(dao.run.next_round_dir().unwrap(), "fake-model".into());
+    let RoundOutcome::Unanswered { prompts: digests } =
+        round(&mut dao.run, &mut files, &Scorer::new(Bag)).unwrap()
+    else {
+        panic!("answered from nothing")
+    };
+    let want: Vec<String> = expected.iter().map(|(_, p)| p.digest()).collect();
+    assert_eq!(digests, want);
+    let round1 = dao.root.join("round-1");
+    for (_, p) in &expected {
+        assert_eq!(
+            std::fs::read_to_string(round1.join(format!("{}.prompt", p.digest()))).unwrap(),
+            p.text()
+        );
+    }
+    assert_eq!(
+        std::fs::read_dir(&round1).unwrap().count(),
+        3,
+        "prompts only: no packets.cc"
+    );
+    assert!(dao.run.rounds().unwrap().is_empty());
+    assert_eq!(std::fs::read(dao.root.join("run.cc")).unwrap(), run_cc);
+
+    // Two of three answers is still nothing written.
+    let answers: HashMap<String, String> = good_answers()
+        .into_iter()
+        .map(|(n, a)| (format!("item:daodejing:{n}"), a))
+        .collect();
+    for (key, p) in &expected[..2] {
+        std::fs::write(round1.join(format!("{}.answer", p.digest())), &answers[key]).unwrap();
+    }
+    let mut files = AnswerFiles::new(dao.run.next_round_dir().unwrap(), "fake-model".into());
+    let RoundOutcome::Unanswered { prompts: digests } =
+        round(&mut dao.run, &mut files, &Scorer::new(Bag)).unwrap()
+    else {
+        panic!("answered from two of three")
+    };
+    assert_eq!(digests, [want[2].clone()]);
+    assert!(!round1.join("packets.cc").exists());
+    assert_eq!(std::fs::read(dao.root.join("run.cc")).unwrap(), run_cc);
+
+    // The last answer completes round 1; the next round is round 2 and asks again.
+    let (key, p) = &expected[2];
+    std::fs::write(round1.join(format!("{}.answer", p.digest())), &answers[key]).unwrap();
+    let mut files = AnswerFiles::new(dao.run.next_round_dir().unwrap(), "fake-model".into());
+    let r = recorded(round(&mut dao.run, &mut files, &Scorer::new(Bag)).unwrap());
+    assert_eq!(r.n(), 1);
+    let mut files = AnswerFiles::new(dao.run.next_round_dir().unwrap(), "fake-model".into());
+    assert!(dao.root.join("round-2").parent().is_some());
+    let RoundOutcome::Unanswered { prompts: again } =
+        round(&mut dao.run, &mut files, &Scorer::new(Bag)).unwrap()
+    else {
+        panic!("round 2 answered from round 1's files")
+    };
+    assert_eq!(again.len(), 3);
+    assert_eq!(
+        std::fs::read_dir(dao.root.join("round-2")).unwrap().count(),
+        3
+    );
+    assert_eq!(dao.run.rounds().unwrap().len(), 1);
+}
+
+struct OtherEmbedder;
+
+impl Embedder for OtherEmbedder {
+    fn model(&self) -> &str {
+        "other-embedder"
+    }
+    fn embed(&self, texts: &[&str]) -> anyhow::Result<Vec<Vec<f32>>> {
+        Bag.embed(texts)
+    }
+}
+
+#[test]
+fn drift_refuses_the_round() {
+    let mut dao = dao();
+    let mut other = fake(&good_answers());
+    other.name = "other-model";
+    assert_eq!(
+        round(&mut dao.run, &mut other, &Scorer::new(Bag)).err(),
+        Some(RunError::Drift(DriftOf::Model))
+    );
+    let mut model = fake(&good_answers());
+    assert_eq!(
+        round(&mut dao.run, &mut model, &Scorer::new(OtherEmbedder)).err(),
+        Some(RunError::Drift(DriftOf::Embedder))
+    );
+    assert!(
+        other.seen.is_empty() && model.seen.is_empty(),
+        "drift is found before any call"
+    );
+    assert!(dao.run.rounds().unwrap().is_empty() && !dao.root.join("round-1").exists());
+
+    // An inventory with no revision has no round.
+    let w = world();
+    std::fs::write(w.dir.path().join("i.cc"), [0x90]).unwrap();
+    let mut empty = run_over(w.dir.path());
+    let mut model = fake(&[]);
+    assert_eq!(
+        round(&mut empty, &mut model, &Scorer::new(Bag)).err(),
+        Some(RunError::NoInventory)
+    );
+}
+
+/// `n`'s good draft, edited.
+fn edited(n: usize, edit: impl FnOnce(&mut PacketDraft)) -> String {
+    let mut d = draft_of(n);
+    edit(&mut d);
+    json(&d)
+}
+
+fn unknown_concept(d: &mut PacketDraft) {
+    d.referents[0].concept = "concept:999".parse().unwrap();
+}
+
+fn with_relation(d: &mut PacketDraft) {
+    d.relations.push(weksa::packet::Relation {
+        relation: "relation:1".parse().unwrap(),
+        from: d.referents[0].id.clone(),
+        to: d.referents[1].id.clone(),
+        features: vec![],
+    });
+}
+
+#[test]
+fn refusal_stages_are_counted() {
+    let run = |answers: [String; 3]| {
+        let mut dao = dao();
+        let mut model = fake(
+            &answers
+                .into_iter()
+                .enumerate()
+                .map(|(i, a)| (i + 1, a))
+                .collect::<Vec<_>>(),
+        );
+        recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap())
+    };
+    let junk = "not json at all".to_string();
+
+    // Train refused at each stage; Validation refused at the other two.
+    let r = run([
+        junk.clone(),
+        edited(2, unknown_concept),
+        edited(3, with_relation),
+    ]);
+    assert_eq!(r.train()[0].outcome, Outcome::Refused(Stage::Parse));
+    assert_eq!(r.train()[0].packet, None);
+    assert_eq!((r.train_mean().count, r.train_mean().chrf), (0, None));
+    assert_eq!(r.validation_refused().parse, 0);
+    assert_eq!(
+        (r.validation_refused().admit, r.validation_refused().lower),
+        (1, 1)
+    );
+    assert_eq!(
+        (r.validation_mean().count, r.validation_mean().chrf),
+        (0, None)
+    );
+
+    let r = run([
+        edited(1, unknown_concept),
+        junk.clone(),
+        good_answers()[2].1.clone(),
+    ]);
+    assert_eq!(r.train()[0].outcome, Outcome::Refused(Stage::Admit));
+    assert_eq!(r.train()[0].packet, None, "a refused packet is not stored");
+    let v = r.validation_refused();
+    assert_eq!((v.parse, v.admit, v.lower), (1, 0, 0));
+    assert_eq!(
+        r.validation_mean().count,
+        1,
+        "only the scored item is counted"
+    );
+    assert_eq!(two_dp(r.validation_mean().chrf.unwrap()), 74.99);
+
+    let r = run([edited(1, with_relation), good_answers()[1].1.clone(), junk]);
+    assert_eq!(r.train()[0].outcome, Outcome::Refused(Stage::Lower));
+    assert!(
+        r.train()[0].packet.is_some(),
+        "a packet that lowers badly was admitted"
+    );
+    assert_eq!(r.validation_refused().parse, 1);
+    assert_eq!(two_dp(r.validation_mean().chrf.unwrap()), 82.12);
+}
+
+#[test]
+fn errors_echo_no_input() {
+    let canary = "CANARYBYTES";
+    let tmp = tempfile::tempdir().unwrap();
+    let mut all: Vec<String> = Vec::new();
+    let mut note = |e: &dyn std::fmt::Debug, d: &dyn std::fmt::Display| {
+        all.push(format!("{e:?}"));
+        all.push(d.to_string());
+    };
+
+    // A draft error, from canary bytes in an answer.
+    let e = PacketDraft::parse(&format!("{{\"confidence\": {canary}}}")).unwrap_err();
+    note(&e, &e);
+    let e = PacketDraft::parse(&format!("{{\"{canary}\": 1}}")).unwrap_err();
+    note(&e, &e);
+    // Run errors, from a canary root, label and store path.
+    let root = tmp.path().join("canaryroot");
+    let e = RunStores::open(&root).err().unwrap();
+    note(&e, &e);
+    let missing = tmp.path().join("canarystore.cc");
+    let stores = RunPaths {
+        corpus: &missing,
+        inventory: &missing,
+        entities: &missing,
+    };
+    let e = RunStores::create(&root, "ok", stores, "m", "bag")
+        .err()
+        .unwrap();
+    note(&e, &e);
+    let e = RunStores::create(&root, &format!("{canary}!"), stores, "m", "bag")
+        .err()
+        .unwrap();
+    note(&e, &e);
+    let e = RunStores::create(&root, "ok", stores, &format!("{canary}\n"), "bag")
+        .err()
+        .unwrap();
+    note(&e, &e);
+    let w = world();
+    let run = run_over(w.dir.path());
+    let e = run.offer(&format!("item:{canary}:1")).err().unwrap();
+    note(&e, &e);
+    // A port error, from a canary directory.
+    let blocker = tmp.path().join("canaryfile");
+    std::fs::write(&blocker, "").unwrap();
+    let mut files = AnswerFiles::new(blocker.join("canarydir"), "m".into());
+    let e = files.answer(&prompt()).err().unwrap();
+    note(&e, &e);
+    // A round over canary answers records refusals, not the answers.
+    let mut dao = dao();
+    let mut model = fake(&[
+        (1, canary.into()),
+        (2, format!("{{\"{canary}\":1}}")),
+        (3, canary.into()),
+    ]);
+    let r = recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    all.push(format!("{r:?}"));
+
+    for text in &all {
+        assert!(!text.to_uppercase().contains("CANARY"), "{text}");
+    }
+    assert!(all.len() >= 12);
+}
+
+#[test]
+fn prompts_come_only_from_context() {
+    let mut dao = dao();
+    let mut model = fake(&good_answers());
+    let r = recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    assert_eq!(model.seen.len(), r.calls().len());
+    for ((digest, text), call) in model.seen.iter().zip(r.calls()) {
+        assert!(text.starts_with(ENCODE_INSTRUCTIONS));
+        assert_eq!(call.items.len(), 1);
+        assert_eq!(text.matches("[item:").count(), 1);
+        assert!(text.contains(&format!("[{}]", call.items[0])));
+        assert_eq!(&call.prompt, digest);
+        assert_eq!(*digest, format!("{:016x}", fnv1a64(text.as_bytes())));
+    }
+}
+
+/// Tripwires over the source, with the limits stated: they read text, so they
+/// catch a spelling and not an alias.
+#[test]
+fn source_tripwires() {
+    let src = Path::new(env!("CARGO_MANIFEST_DIR")).join("src");
+    let read = |rel: &str| std::fs::read_to_string(src.join(rel)).unwrap();
+    for file in ["run.rs", "model.rs", "encode.rs"] {
+        let text = read(file);
+        for banned in ["Split::Test", "Checkpoint"] {
+            assert!(!text.contains(banned), "{file} names {banned}");
+        }
+    }
+    let mut all = Vec::new();
+    let mut stack = vec![src.clone()];
+    while let Some(dir) = stack.pop() {
+        for entry in std::fs::read_dir(dir).unwrap() {
+            let path = entry.unwrap().path();
+            if path.is_dir() {
+                stack.push(path);
+            } else if path.extension().is_some_and(|e| e == "rs") {
+                all.push((
+                    path.strip_prefix(&src)
+                        .unwrap()
+                        .to_str()
+                        .unwrap()
+                        .to_string(),
+                    std::fs::read_to_string(&path).unwrap(),
+                ));
+            }
+        }
+    }
+    for (file, text) in &all {
+        let code: String = text
+            .lines()
+            .filter(|l| !l.trim_start().starts_with("//"))
+            .collect::<Vec<_>>()
+            .join("\n");
+        if file != "main.rs" {
+            assert!(!code.contains("std::process"), "{file}");
+        }
+        // The Ollama reply is the other xenos boundary: JSON read from a server.
+        if file != "encode.rs" && file != "score/embed.rs" {
+            assert!(!code.contains("serde_json::from_str"), "{file}");
+        }
+        if file != "context.rs" {
+            assert!(!code.contains("Prompt {"), "{file}");
+        }
+    }
+    let context = read("context.rs");
+    assert!(!context.contains("pub fn from_corpus") && !context.contains("pub fn for_round"));
+}
diff --git a/crates/weksa/tests/score.rs b/crates/weksa/tests/score.rs
index ae20bce..cd23eb9 100644
--- a/crates/weksa/tests/score.rs
+++ b/crates/weksa/tests/score.rs
@@ -6,7 +6,7 @@ use std::net::TcpListener;
 use std::sync::{Arc, Mutex};
 
 use anyhow::Result;
-use common::{cast, group_in_bucket, item_in, model};
+use common::{Bag, cast, group_in_bucket, item_in, model};
 use serde_json::Value;
 use weksa::CorpusItem;
 use weksa::score::{
@@ -71,28 +71,6 @@ impl Embedder for Recorder {
     }
 }
 
-/// A deterministic bag-of-letters embedder, so cosine differs with the text.
-struct Bag;
-
-impl Embedder for Bag {
-    fn model(&self) -> &str {
-        "bag"
-    }
-    fn embed(&self, texts: &[&str]) -> Result<Vec<Vec<f32>>> {
-        Ok(texts
-            .iter()
-            .map(|t| {
-                let mut v = vec![0.0; 27];
-                v[26] = 1.0;
-                for c in t.chars().filter(char::is_ascii_alphabetic) {
-                    v[(c.to_ascii_lowercase() as u8 - b'a') as usize] += 1.0;
-                }
-                v
-            })
-            .collect())
-    }
-}
-
 fn score_one<E: Embedder>(scorer: &Scorer<E>, reference: &str, output: &str) -> ItemScore {
     scorer
         .score(&[ScoreInput { reference, output }])
-- 
2.47.3


From db543840a6e20aa1176488e228435a06cb1e2bfe Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 03:51:18 +0000
Subject: [PATCH 4/9] weksa loop open|round: pin a run's stores, run one round,
 print one line

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>
---
 crates/weksa/src/main.rs                 |  99 +++++++++++++++-
 crates/weksa/tests/cli.rs                | 142 +++++++++++++++++++++++
 docs/targets/interlingua-lowering-map.md |   5 +-
 3 files changed, 242 insertions(+), 4 deletions(-)

diff --git a/crates/weksa/src/main.rs b/crates/weksa/src/main.rs
index d6832e7..6ec2ce8 100644
--- a/crates/weksa/src/main.rs
+++ b/crates/weksa/src/main.rs
@@ -11,10 +11,11 @@ use weksa::corpus::{CorpusItem, ModelFamily, NameSpan, Source, Turn};
 use weksa::entity::{Entity, EntityOrigin, LanguageForms, Pronunciation};
 use weksa::inventory::{proof_revision, seed};
 use weksa::packet::proof_packet;
+use weksa::run::{Outcome, RoundOutcome, RoundRecord, RunPaths, RunStores, round};
 use weksa::score::ScoreInput;
 use weksa::{
-    CorpusStore, EntityId, EntityStore, InventoryStore, OllamaEmbedder, PacketStore, Scorer,
-    SplitScheme, StoreError, lower, pronounce, validate,
+    AnswerFiles, CorpusStore, EntityId, EntityStore, InventoryStore, OllamaEmbedder, PacketStore,
+    Scorer, SplitScheme, StoreError, lower, pronounce, validate,
 };
 
 #[derive(Parser)]
@@ -66,6 +67,8 @@ enum Command {
     Score(ScoreArgs),
     /// Print the split of a corpus item.
     Split { item_key: String },
+    #[command(subcommand)]
+    Loop(LoopCommand),
     /// Write the published JSON Schemas.
     Schema {
         #[arg(long, default_value = "schemas/cultnet")]
@@ -73,6 +76,30 @@ enum Command {
     },
 }
 
+#[derive(Subcommand)]
+enum LoopCommand {
+    /// Pin the global --corpus, --inventory and --entities as a run at ROOT.
+    Open {
+        root: PathBuf,
+        #[arg(long)]
+        label: String,
+        /// The id of the model that answers prompts.
+        #[arg(long)]
+        answerer: String,
+        #[arg(long, default_value = "qwen3-embedding:0.6b")]
+        embed_model: String,
+    },
+    /// Run one round of the run at ROOT. The stores are read only from the
+    /// run's record: the global --corpus, --inventory and --entities are not
+    /// read. Prompts without answers are written to the round's directory and
+    /// the command exits 3; rerun after the `.answer` files exist.
+    Round {
+        root: PathBuf,
+        #[arg(long, default_value = "http://127.0.0.1:11434")]
+        ollama_url: String,
+    },
+}
+
 #[derive(Subcommand)]
 enum PacketCommand {
     /// Admit the nibu-proof-001 packet through `PacketStore::admit`.
@@ -495,6 +522,35 @@ fn refused(e: StoreError) -> anyhow::Error {
     anyhow::anyhow!("{e}")
 }
 
+/// `none` for an absent mean.
+fn mean_text(value: Option<f64>, places: usize) -> String {
+    value.map_or("none".to_string(), |v| format!("{v:.places$}"))
+}
+
+/// The one line a recorded round prints.
+fn round_line(r: &RoundRecord) -> String {
+    let refused = r
+        .train()
+        .iter()
+        .filter(|row| matches!(row.outcome, Outcome::Refused(_)))
+        .count();
+    let (t, v, x) = (r.train_mean(), r.validation_mean(), r.validation_refused());
+    format!(
+        "round {} rev {} train n={} chrf={} meaning={} refused={refused} validation n={} chrf={} meaning={} refused parse={} admit={} lower={}",
+        r.n(),
+        r.inventory_rev(),
+        t.count,
+        mean_text(t.chrf, 2),
+        mean_text(t.meaning, 4),
+        v.count,
+        mean_text(v.chrf, 2),
+        mean_text(v.meaning, 4),
+        x.parse,
+        x.admit,
+        x.lower,
+    )
+}
+
 fn main() -> Result<()> {
     let cli = parse_cli();
     match cli.command {
@@ -692,6 +748,45 @@ fn main() -> Result<()> {
                 .context("no such item")?;
             println!("{}", split_text(&item));
         }
+        Command::Loop(LoopCommand::Open {
+            root,
+            label,
+            answerer,
+            embed_model,
+        }) => {
+            let run = RunStores::create(
+                &root,
+                &label,
+                RunPaths {
+                    corpus: &cli.corpus,
+                    inventory: &cli.inventory,
+                    entities: &cli.entities,
+                },
+                &answerer,
+                &embed_model,
+            )?;
+            println!("opened run:{}", run.record().label);
+        }
+        Command::Loop(LoopCommand::Round { root, ollama_url }) => {
+            let unreadable = |_| anyhow::anyhow!("a store would not read");
+            let mut run = RunStores::open(&root)?;
+            let mut files = AnswerFiles::new(
+                run.next_round_dir().map_err(unreadable)?,
+                run.record().model.clone(),
+            );
+            let scorer = Scorer::new(OllamaEmbedder::new(&ollama_url, &run.record().embedder));
+            match round(&mut run, &mut files, &scorer)? {
+                RoundOutcome::Unanswered { prompts } => {
+                    for digest in &prompts {
+                        println!("unanswered {digest}");
+                    }
+                    let asked = run.offers().map_err(unreadable)?.len();
+                    println!("unanswered {} of {asked}", prompts.len());
+                    std::process::exit(3);
+                }
+                RoundOutcome::Recorded(r) => println!("{}", round_line(&r)),
+            }
+        }
         Command::Schema { out } => {
             std::fs::create_dir_all(&out)?;
             for (name, json) in weksa::schema::published() {
diff --git a/crates/weksa/tests/cli.rs b/crates/weksa/tests/cli.rs
index 1203d78..0fae4df 100644
--- a/crates/weksa/tests/cli.rs
+++ b/crates/weksa/tests/cli.rs
@@ -1315,3 +1315,145 @@ fn pronunciation_language_is_never_echoed() {
     );
     assert!(!text.to_lowercase().contains("sentinel"), "{text}");
 }
+
+/// Copies of the Dao De Jing stores where `weksa()` looks for them.
+fn dao_stores(dir: &std::path::Path) {
+    let src = std::path::Path::new(env!("CARGO_MANIFEST_DIR")).join("../../data/daodejing");
+    for (from, to) in [
+        ("corpus.cc", "c.cc"),
+        ("inventory.cc", "i.cc"),
+        ("entity.cc", "e.cc"),
+    ] {
+        std::fs::copy(src.join(from), dir.join(to)).unwrap();
+    }
+}
+
+#[test]
+fn loop_open_and_unanswered_round() {
+    let d = tempfile::tempdir().unwrap();
+    dao_stores(d.path());
+    let open = |root: &str| {
+        weksa(
+            d.path(),
+            &[
+                "loop",
+                "open",
+                root,
+                "--label",
+                "smoke",
+                "--answerer",
+                "fake-model",
+            ],
+        )
+    };
+    let o = open("canaryroot");
+    assert!(o.status.success(), "{}", out(&o));
+    assert_eq!(out(&o), "opened run:smoke\n");
+
+    // A second open fails and names neither the root nor a path.
+    let again = open("canaryroot");
+    assert!(!again.status.success());
+    let text = out(&again);
+    assert!(text.contains("already holds a run"), "{text}");
+    for echoed in ["canaryroot", d.path().to_str().unwrap()] {
+        assert!(!text.contains(echoed), "{text}");
+    }
+
+    // Round 1 is unanswered: three digests, a count, exit 3, no round recorded.
+    let round = || weksa(d.path(), &["loop", "round", "canaryroot"]);
+    let first = round();
+    assert_eq!(first.status.code(), Some(3), "{}", out(&first));
+    let text = out(&first);
+    let digests: Vec<&str> = text
+        .lines()
+        .filter_map(|l| l.strip_prefix("unanswered "))
+        .filter(|d| d.len() == 16)
+        .collect();
+    assert_eq!(digests.len(), 3, "{text}");
+    assert!(text.ends_with("unanswered 3 of 3\n"), "{text}");
+    assert!(!text.contains("canaryroot"), "{text}");
+    for digest in &digests {
+        assert!(
+            d.path()
+                .join(format!("canaryroot/round-1/{digest}.prompt"))
+                .is_file()
+        );
+    }
+
+    // Answers that are not drafts record a round of refusals, with no embed call.
+    for digest in &digests {
+        std::fs::write(
+            d.path().join(format!("canaryroot/round-1/{digest}.answer")),
+            "not json",
+        )
+        .unwrap();
+    }
+    let second = round();
+    assert!(second.status.success(), "{}", out(&second));
+    assert_eq!(
+        out(&second),
+        "round 1 rev 3 train n=0 chrf=none meaning=none refused=1 validation n=0 chrf=none meaning=none refused parse=2 admit=0 lower=0\n"
+    );
+
+    // The global store flags are not read by loop round: a drifted store is refused.
+    let mut entities = EntityStore::open(&d.path().join("e.cc")).unwrap();
+    entities.put(common::ent("kay", "en-US", &["Kay"])).unwrap();
+    let drifted = round();
+    assert!(!drifted.status.success());
+    assert!(
+        out(&drifted).contains("drift in Entities"),
+        "{}",
+        out(&drifted)
+    );
+}
+
+#[test]
+fn loop_errors_echo_no_input() {
+    let d = tempfile::tempdir().unwrap();
+    dao_stores(d.path());
+    let o = weksa(d.path(), &["loop", "round", "canaryroot"]);
+    assert!(!o.status.success());
+    assert!(out(&o).contains("holds no run"), "{}", out(&o));
+    for args in [
+        vec![
+            "loop",
+            "open",
+            "canaryroot",
+            "--label",
+            "CANARYLABEL",
+            "--answerer",
+            "m",
+        ],
+        vec![
+            "loop",
+            "open",
+            "canaryroot",
+            "--label",
+            "ok",
+            "--answerer",
+            "CANARY\n",
+        ],
+    ] {
+        let o = weksa(d.path(), &args);
+        assert!(!o.status.success());
+        assert!(!out(&o).to_uppercase().contains("CANARY"), "{}", out(&o));
+    }
+    // A store path that does not exist.
+    let o = Command::new(env!("CARGO_BIN_EXE_weksa"))
+        .current_dir(d.path())
+        .args([
+            "--corpus",
+            "./canarystore.cc",
+            "loop",
+            "open",
+            "canaryroot",
+            "--label",
+            "ok",
+            "--answerer",
+            "m",
+        ])
+        .output()
+        .unwrap();
+    assert!(!o.status.success());
+    assert!(!out(&o).to_uppercase().contains("CANARY"), "{}", out(&o));
+}
diff --git a/docs/targets/interlingua-lowering-map.md b/docs/targets/interlingua-lowering-map.md
index 0a598ca..a0b3302 100644
--- a/docs/targets/interlingua-lowering-map.md
+++ b/docs/targets/interlingua-lowering-map.md
@@ -403,8 +403,9 @@ One line per cut; specs exist for the cuts about to run (2d and 4, siblings on `
 4b. `speaker-scene` (spec r1; `speaker-scene-seeds` is its cut 4c: CLI, inventory revision 3, cast speakers and scenes; `Party::Unnamed` covers an addressee with no entity; Speaker and Scene share one `SpeakerStateStore`): slots `Speaker` and `Scene` with their seed features; `weksa.speaker` (`speaker:<entity-slug>@<n>`) and `weksa.scene` (`scene:<group>@<n>`, participants and ordered-pair relations) documents with `Annotator` `Operator` and `Model { family, generator }`, validated by the packet's shared feature check, append-only per key; their stores, `weksa speaker` and `weksa scene` commands, published schemas; Model-annotated cast speakers and scenes for the committed items. Waits on 2d and 4; `pd-speaker-annotation` blocks only the public-domain annotator. Part 1 landed (branch `weksa-lowering/speaker-scene`): `speaker.rs`, `SpeakerStateStore`, slots `Speaker` and `Scene` exclusive to their own feature lists, `speaker_scene_revision()` (Speaker features 22-24), `with_scene` on the store, schemas. The CLI, the committed inventory revision 3 and the seeds stay with 4c.
 5. `language-ontology`: `weksa.community` from `data/cultural-ontology/` (owns follow-up `edda-referent-yaml-parse`), `weksa.ontology_entry` for en-US and ja-JP from `data/target-language-ontology/` (YAML deleted), speaker communities, deterministic `select`, the lowering view (packet without trace, speaker, scene, selected entries). Waits on 4.
 6. `pd-importer`: public-domain play and fiction dialogue into the corpus with speaker, scene group, edition provenance, and Speaker and Scene annotations by the ruled annotator. Waits on 4, follow-up `gutenberg-terms` and question `pd-speaker-annotation`.
-7a. `loop-context-builder`: `context.rs` (`TrainItems`, `EncoderOffer`, `Prompt`: corpus text reaches a model call only through `Prompt::mint` over live Train items or `Prompt::encode` over one offered item; instructions are the consts `MINT_INSTRUCTIONS` and `ENCODE_INSTRUCTIONS` in `context.rs`; `Checkpoint` has no public constructor, offers each item once, and its offers borrow it (the gate is typed `TestReadings` and Test offers on the round path; operator tools such as `weksa corpus dump` and `weksa score` still read corpus text of any split); prior turns print the held Train text), `SplitScheme::live`, `CorpusItem::cited_entities` (one owner of the id set `PacketStore::admit` and the offer share), and checkpoint-only Test readings (`Checkpoint`, `TestReadings`; `Aggregate` and `leak_diagnostic` carry no Test). Library only. Merges follow-ups `loop-context-builder-2` and `scorer-test-readings-type`. (spec r1)
-7. `golf-loop-en`: the loop driver, the template wording in `context.rs` with its digest pinned per run (follow-up `template-digest-in-round-record`), the packet store bound to one inventory store (`packet-store-inventory-binding`), `ModelPort` with the `claude -p` adapter (it takes only `&Prompt`), encoder (packet with stance) and lowerer prompts, round records, Score documents, the composite and accept rule, `weksa score`, the detached unit on Yggdrasil. Waits on 3, 5, 6 and follow-up `claude-on-yggdrasil`.
+7a. `loop-context-builder`: `context.rs` (`TrainItems`, `EncoderOffer`, `Prompt`: corpus text reaches a model call only through `Prompt::mint` over live Train items or `Prompt::encode` over one offered item; instructions are the consts `MINT_INSTRUCTIONS` and `ENCODE_INSTRUCTIONS` in `context.rs`; `Checkpoint` has no public constructor, offers each item once, and its offers borrow it (the gate is typed `TestReadings` and Test offers on the round path; operator tools such as `weksa corpus dump` and `weksa score` still read corpus text of any split); prior turns print the held Train text), `SplitScheme::live`, `CorpusItem::cited_entities` (one owner of the id set `PacketStore::admit` and the offer share), and checkpoint-only Test readings (`Checkpoint`, `TestReadings`; `Aggregate` and `leak_diagnostic` carry no Test). Library only; since 7b `TrainItems::from_corpus` and `EncoderOffer::for_round` are crate-private and `RunStores` is their one public producer. Merges follow-ups `loop-context-builder-2` and `scorer-test-readings-type`. (spec r1)
+7b. `golf-loop-round` (spec r1; branch `weksa-lowering/golf-loop-round`): the smallest loop that scores one round. `run.rs`: `RunStores` pins the corpus and entity stores of a run by canonical path and FNV-1a 64 digest at `create`, reopens only from `<root>/run.cc` and refuses drift (corpus, entities, `PROMPT_SOURCE_DIGEST` of `context.rs`, `LOWERER_SOURCE_DIGEST` of `lower.rs`, model, embedder); `round` encodes every live Train and Validation item through a `ModelPort` (`model.rs`; the one adapter `AnswerFiles` writes `<digest>.prompt` and reads `<digest>.answer`, so the model is the Claude session), reads each answer into a `PacketDraft` (`encode.rs`, the one place a model's JSON is read), admits through `PacketStore::admit` into `<root>/round-<n>/packets.cc`, lowers, scores once, and keeps a `RoundRecord` (`weksa.loop_round`, no text, no Test; Train rows, Validation only as means and refusal counts). `weksa loop open|round`. Not here: the spec-edit step, accept rule and composite, noise floor, Score and lowering documents, a subprocess adapter, the checkpoint door, a model lowerer (follow-ups `golf-loop-spec-edit`, `golf-loop-accept-rule`, `golf-loop-score-documents`, `golf-loop-subprocess-adapter`, `golf-loop-checkpoint-door-bound`, `golf-loop-model-lowerer`). `packet-store-inventory-binding` is met for loop packets only (`RunStores` admits with the run's inventory); `validate`, `packet proof|dao` and `lower` still take caller stores. Waits on 7a, `checkpoint-gate`, 4b.
+7. `golf-loop-en` (7b landed its round, `ModelPort`, encoder prompt, template digest and round records; the rest remains): the loop driver, the packet store bound to one inventory store everywhere (`packet-store-inventory-binding`), a subprocess adapter, lowerer prompts, Score documents, the composite and accept rule, `weksa score`, the detached unit on Yggdrasil. Waits on 3, 5, 6 and follow-up `claude-on-yggdrasil`.
 8. `style-axis`: a style-embedding score behind the scorer port. Waits on 3.
 9. `ja-panel`: ja-JP into the loop's panel. Waits on 7.
 10. `conlang-lexicon`: the first conlang's lexicon placed at concept embeddings, its morphology data, its ontology entries and the gloss reader. Waits on 3, 5 and question `first-conlang`.
-- 
2.47.3


From 8ac92f5af337ffb7a44a8b24907d6f73ba0ae455 Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 04:04:36 +0000
Subject: [PATCH 5/9] Kill the mutation survivors: error texts, unreadable
 files, the second round's number

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 crates/weksa/src/encode.rs      |  2 ++
 crates/weksa/tests/golf_loop.rs | 46 +++++++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+)

diff --git a/crates/weksa/src/encode.rs b/crates/weksa/src/encode.rs
index c0404e9..430f360 100644
--- a/crates/weksa/src/encode.rs
+++ b/crates/weksa/src/encode.rs
@@ -221,6 +221,8 @@ mod tests {
     fn a_draft_error_is_a_position_and_echoes_no_token() {
         let err = PacketDraft::parse("{\n  \"confidence\": CANARYTOKEN").unwrap_err();
         assert_eq!((err.line, err.column), (2, 17));
+        assert_eq!(err.to_string(), "not a packet draft at line 2 column 17");
+        assert_eq!(format!("{err:?}"), err.to_string());
         let err = PacketDraft::parse(r#"{"confidence":500,"CANARYKEY":1}"#).unwrap_err();
         for text in [err.to_string(), format!("{err:?}")] {
             assert!(!text.contains("CANARY"), "{text}");
diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index 7f9fe99..5cba1c3 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -289,6 +289,30 @@ fn answer_files_write_the_prompt_and_read_the_answer() {
     let mut blocked = AnswerFiles::new(dir.path().join("file").join("round"), "m".into());
     assert!(matches!(blocked.answer(&p), Err(PortError::Io(_))));
 
+    // A reply or prompt file that cannot be read is an io error, never "unanswered".
+    use std::os::unix::fs::PermissionsExt;
+    let unreadable = |path: &Path| {
+        std::fs::write(path, "x").unwrap();
+        std::fs::set_permissions(path, std::fs::Permissions::from_mode(0o200)).unwrap();
+    };
+    unreadable(&answer);
+    assert_eq!(
+        files.answer(&p),
+        Err(PortError::Io(ErrorKind::PermissionDenied))
+    );
+    std::fs::remove_file(&answer).unwrap();
+    unreadable(&prompt_file);
+    assert_eq!(
+        files.answer(&p),
+        Err(PortError::Io(ErrorKind::PermissionDenied))
+    );
+    std::fs::set_permissions(&prompt_file, std::fs::Permissions::from_mode(0o600)).unwrap();
+    assert_eq!(
+        std::fs::read_to_string(&prompt_file).unwrap(),
+        "x",
+        "an unreadable prompt file is not rewritten"
+    );
+
     assert_eq!(
         PortError::Unanswered.to_string(),
         "the prompt is unanswered"
@@ -605,6 +629,22 @@ fn unanswered_round_writes_nothing() {
         3
     );
     assert_eq!(dao.run.rounds().unwrap().len(), 1);
+
+    // Answered, round 2 is recorded as round 2, after round 1.
+    for (key, p) in &expected {
+        std::fs::write(
+            dao.root.join(format!("round-2/{}.answer", p.digest())),
+            &answers[key],
+        )
+        .unwrap();
+    }
+    let mut files = AnswerFiles::new(dao.run.next_round_dir().unwrap(), "fake-model".into());
+    let second = recorded(round(&mut dao.run, &mut files, &Scorer::new(Bag)).unwrap());
+    assert_eq!(second.n(), 2);
+    let ns: Vec<u32> = dao.run.rounds().unwrap().iter().map(|r| r.n()).collect();
+    assert_eq!(ns, [1, 2]);
+    assert!(dao.root.join("round-2/packets.cc").is_file());
+    assert_eq!(dao.run.next_round_dir().unwrap(), dao.root.join("round-3"));
 }
 
 struct OtherEmbedder;
@@ -790,6 +830,12 @@ fn errors_echo_no_input() {
         assert!(!text.to_uppercase().contains("CANARY"), "{text}");
     }
     assert!(all.len() >= 12);
+    // Debug names the same kind Display does.
+    assert_eq!(format!("{:?}", RunError::NoRun), "the root holds no run");
+    assert_eq!(
+        format!("{:?}", RunError::Drift(DriftOf::Model)),
+        "drift in Model"
+    );
 }
 
 #[test]
-- 
2.47.3


From fd0c3b0edb4e4835f2386f2b3644f02efcbd6d51 Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 04:14:39 +0000
Subject: [PATCH 6/9] Round: means count a refused item as 0, a failed round
 discards its packets, the round line is pinned

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>
---
 crates/weksa/src/main.rs                     |  33 +---
 crates/weksa/src/run.rs                      | 154 +++++++++++++++++--
 crates/weksa/tests/cli.rs                    |   2 +-
 crates/weksa/tests/golf_loop.rs              | 143 ++++++++++++++---
 schemas/cultnet/weksa.loop_round.schema.json |  18 ++-
 5 files changed, 286 insertions(+), 64 deletions(-)

diff --git a/crates/weksa/src/main.rs b/crates/weksa/src/main.rs
index 6ec2ce8..5e7eb28 100644
--- a/crates/weksa/src/main.rs
+++ b/crates/weksa/src/main.rs
@@ -11,7 +11,7 @@ use weksa::corpus::{CorpusItem, ModelFamily, NameSpan, Source, Turn};
 use weksa::entity::{Entity, EntityOrigin, LanguageForms, Pronunciation};
 use weksa::inventory::{proof_revision, seed};
 use weksa::packet::proof_packet;
-use weksa::run::{Outcome, RoundOutcome, RoundRecord, RunPaths, RunStores, round};
+use weksa::run::{RoundOutcome, RunPaths, RunStores, round};
 use weksa::score::ScoreInput;
 use weksa::{
     AnswerFiles, CorpusStore, EntityId, EntityStore, InventoryStore, OllamaEmbedder, PacketStore,
@@ -522,35 +522,6 @@ fn refused(e: StoreError) -> anyhow::Error {
     anyhow::anyhow!("{e}")
 }
 
-/// `none` for an absent mean.
-fn mean_text(value: Option<f64>, places: usize) -> String {
-    value.map_or("none".to_string(), |v| format!("{v:.places$}"))
-}
-
-/// The one line a recorded round prints.
-fn round_line(r: &RoundRecord) -> String {
-    let refused = r
-        .train()
-        .iter()
-        .filter(|row| matches!(row.outcome, Outcome::Refused(_)))
-        .count();
-    let (t, v, x) = (r.train_mean(), r.validation_mean(), r.validation_refused());
-    format!(
-        "round {} rev {} train n={} chrf={} meaning={} refused={refused} validation n={} chrf={} meaning={} refused parse={} admit={} lower={}",
-        r.n(),
-        r.inventory_rev(),
-        t.count,
-        mean_text(t.chrf, 2),
-        mean_text(t.meaning, 4),
-        v.count,
-        mean_text(v.chrf, 2),
-        mean_text(v.meaning, 4),
-        x.parse,
-        x.admit,
-        x.lower,
-    )
-}
-
 fn main() -> Result<()> {
     let cli = parse_cli();
     match cli.command {
@@ -784,7 +755,7 @@ fn main() -> Result<()> {
                     println!("unanswered {} of {asked}", prompts.len());
                     std::process::exit(3);
                 }
-                RoundOutcome::Recorded(r) => println!("{}", round_line(&r)),
+                RoundOutcome::Recorded(r) => println!("{}", r.summary_line()),
             }
         }
         Command::Schema { out } => {
diff --git a/crates/weksa/src/run.rs b/crates/weksa/src/run.rs
index a73cadf..de6d846 100644
--- a/crates/weksa/src/run.rs
+++ b/crates/weksa/src/run.rs
@@ -113,9 +113,31 @@ pub struct RefusalCounts {
 /// fn f(r: &weksa::run::RoundRecord) -> u32 { r.n() }
 /// ```
 ///
-/// ```compile_fail
-/// fn f() -> weksa::run::RoundRecord {
-///     weksa::run::RoundRecord { n: 1 }
+/// Every field is given, so the literal below fails only on privacy; its twin
+/// is the same literal in the unit test `a_round_record_literal_compiles_in_the_lib`.
+///
+/// ```compile_fail,E0451
+/// use weksa::run::{RefusalCounts, RoundRecord};
+/// use weksa::score::SplitMean;
+/// fn f() -> RoundRecord {
+///     RoundRecord {
+///         n: 1,
+///         inventory_rev: 1,
+///         prompt_digest: String::new(),
+///         lowerer_digest: String::new(),
+///         corpus_digest: String::new(),
+///         entity_digest: String::new(),
+///         model: String::new(),
+///         embedder: String::new(),
+///         chrf_version: String::new(),
+///         calls: vec![],
+///         train: vec![],
+///         train_mean: SplitMean::default(),
+///         train_scored: 0,
+///         validation_mean: SplitMean::default(),
+///         validation_scored: 0,
+///         validation_refused: RefusalCounts::default(),
+///     }
 /// }
 /// ```
 #[derive(Clone, Debug, PartialEq, JsonSchema, DatabaseEntry)]
@@ -149,6 +171,15 @@ pub struct RoundRecord {
     validation_mean: SplitMean,
     #[cultcache(key = 13)]
     validation_refused: RefusalCounts,
+    /// Train items that lowered and scored; `train_mean` is over all of them
+    /// and counts a refused item as 0.
+    #[cultcache(key = 14)]
+    train_scored: u32,
+    /// Validation items that lowered and scored; `validation_mean` is over all
+    /// of them and counts a refused item as 0, so refusing a weak item cannot
+    /// raise it.
+    #[cultcache(key = 15)]
+    validation_scored: u32,
 }
 
 impl RoundRecord {
@@ -194,6 +225,46 @@ impl RoundRecord {
     pub fn validation_refused(&self) -> RefusalCounts {
         self.validation_refused
     }
+    pub fn train_scored(&self) -> u32 {
+        self.train_scored
+    }
+    pub fn validation_scored(&self) -> u32 {
+        self.validation_scored
+    }
+
+    /// The one line a recorded round prints. `n` is every item of the split,
+    /// `scored` those that lowered; a mean counts a refused item as 0.
+    pub fn summary_line(&self) -> String {
+        let mean = |value: Option<f64>, places: usize| {
+            value.map_or("none".to_string(), |v| format!("{v:.places$}"))
+        };
+        let refused = self
+            .train
+            .iter()
+            .filter(|row| matches!(row.outcome, Outcome::Refused(_)))
+            .count();
+        let (t, v, x) = (
+            &self.train_mean,
+            &self.validation_mean,
+            self.validation_refused,
+        );
+        format!(
+            "round {} rev {} train n={} scored={} chrf={} meaning={} refused={refused} validation n={} scored={} chrf={} meaning={} refused parse={} admit={} lower={}",
+            self.n,
+            self.inventory_rev,
+            t.count,
+            self.train_scored,
+            mean(t.chrf, 2),
+            mean(t.meaning, 4),
+            v.count,
+            self.validation_scored,
+            mean(v.chrf, 2),
+            mean(v.meaning, 4),
+            x.parse,
+            x.admit,
+            x.lower,
+        )
+    }
 }
 
 /// What a pinned store or id drifted from.
@@ -456,7 +527,11 @@ enum Fate {
 /// One round: encodes every live Train and Validation item of the run's pinned
 /// corpus through `model`, admits each packet into the round's own
 /// `<root>/round-<n>/packets.cc`, lowers, scores, and records the round. The
-/// round is all or nothing: while any prompt is unanswered, nothing is written.
+/// round is all or nothing: while any prompt is unanswered, nothing is written,
+/// and a round that fails before its record is put (the embedder down) leaves no
+/// `packets.cc` behind, so a rerun with revised answers starts clean. A mean
+/// counts an item that was refused or did not lower as 0, so refusing a weak
+/// item cannot raise it; `scored` counts beside it say how many were real.
 pub fn round<M: ModelPort, E: Embedder>(
     run: &mut RunStores,
     model: &mut M,
@@ -496,6 +571,8 @@ pub fn round<M: ModelPort, E: Embedder>(
 
     let dir = run.next_round_dir().map_err(store)?;
     std::fs::create_dir_all(&dir).map_err(|e| RunError::Io(e.kind()))?;
+    // The directory of an unrecorded round holds only a failed attempt's packets.
+    discard_packets(&dir);
     let mut packets = PacketStore::open(&dir.join("packets.cc")).map_err(store)?;
     let encoder = encoder_id(model.model(), &run.record.prompt_digest);
     let mut items: Vec<CorpusItem> = Vec::new();
@@ -540,21 +617,33 @@ pub fn round<M: ModelPort, E: Embedder>(
     let scores = if inputs.is_empty() {
         Vec::new()
     } else {
-        scorer.score(&inputs).map_err(|_| RunError::Embed)?
+        match scorer.score(&inputs) {
+            Ok(scores) => scores,
+            Err(_) => {
+                discard_packets(&dir);
+                return Err(RunError::Embed);
+            }
+        }
     };
     let mut score_at: Vec<Option<ItemScore>> = vec![None; items.len()];
     for ((i, _), score) in lowered.iter().zip(scores) {
         score_at[*i] = Some(score);
     }
+    // An item that did not lower scores 0 in every mean.
+    let nothing = ItemScore {
+        chrf: 0.0,
+        meaning: Some(0.0),
+    };
     let scored: Vec<(&CorpusItem, ItemScore)> = items
         .iter()
         .zip(&score_at)
-        .filter_map(|(item, score)| score.clone().map(|s| (item, s)))
+        .map(|(item, score)| (item, score.clone().unwrap_or_else(|| nothing.clone())))
         .collect();
     let means = aggregate(&scored);
 
     let mut train_rows = Vec::new();
     let mut refused = RefusalCounts::default();
+    let (mut train_scored, mut validation_scored) = (0, 0);
     for ((item, fate), score) in items.iter().zip(&fates).zip(&score_at) {
         let (outcome, packet) = match (fate, score) {
             (Fate::Lowered(_, key), Some(score)) => (
@@ -568,11 +657,15 @@ pub fn round<M: ModelPort, E: Embedder>(
             (Fate::Lowered(..), None) => return Err(RunError::Store),
         };
         match (SplitScheme::V1.live(item), fate) {
-            (Some(Split::Train), _) => train_rows.push(TrainRow {
-                item: item.id.clone(),
-                packet,
-                outcome,
-            }),
+            (Some(Split::Train), fate) => {
+                train_scored += u32::from(matches!(fate, Fate::Lowered(..)));
+                train_rows.push(TrainRow {
+                    item: item.id.clone(),
+                    packet,
+                    outcome,
+                });
+            }
+            (Some(Split::Validation), Fate::Lowered(..)) => validation_scored += 1,
             (Some(Split::Validation), Fate::Refused(stage, _)) => match stage {
                 Stage::Parse => refused.parse += 1,
                 Stage::Admit => refused.admit += 1,
@@ -598,9 +691,48 @@ pub fn round<M: ModelPort, E: Embedder>(
         train_mean: means.train,
         validation_mean: means.validation,
         validation_refused: refused,
+        train_scored,
+        validation_scored,
     };
     run.cache
         .put(format!("run:{}:round:{n}", run.record.label), &record)
         .map_err(store)?;
     Ok(RoundOutcome::Recorded(record))
 }
+
+/// Removes a round directory's packet store and its lock.
+fn discard_packets(dir: &Path) {
+    for name in ["packets.cc", "packets.cc.lock"] {
+        let _ = std::fs::remove_file(dir.join(name));
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    /// The twin of the `RoundRecord` literal in its compile_fail doctest: the
+    /// same fields, compiling here because the fields are private to this module.
+    #[test]
+    fn a_round_record_literal_compiles_in_the_lib() {
+        let r = RoundRecord {
+            n: 1,
+            inventory_rev: 1,
+            prompt_digest: String::new(),
+            lowerer_digest: String::new(),
+            corpus_digest: String::new(),
+            entity_digest: String::new(),
+            model: String::new(),
+            embedder: String::new(),
+            chrf_version: String::new(),
+            calls: vec![],
+            train: vec![],
+            train_mean: SplitMean::default(),
+            train_scored: 0,
+            validation_mean: SplitMean::default(),
+            validation_scored: 0,
+            validation_refused: RefusalCounts::default(),
+        };
+        assert_eq!(r.n(), 1);
+    }
+}
diff --git a/crates/weksa/tests/cli.rs b/crates/weksa/tests/cli.rs
index 0fae4df..8b0dd30 100644
--- a/crates/weksa/tests/cli.rs
+++ b/crates/weksa/tests/cli.rs
@@ -1392,7 +1392,7 @@ fn loop_open_and_unanswered_round() {
     assert!(second.status.success(), "{}", out(&second));
     assert_eq!(
         out(&second),
-        "round 1 rev 3 train n=0 chrf=none meaning=none refused=1 validation n=0 chrf=none meaning=none refused parse=2 admit=0 lower=0\n"
+        "round 1 rev 3 train n=1 scored=0 chrf=0.00 meaning=0.0000 refused=1 validation n=2 scored=0 chrf=0.00 meaning=0.0000 refused parse=2 admit=0 lower=0\n"
     );
 
     // The global store flags are not read by loop round: a drifted store is refused.
diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index 5cba1c3..5037622 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -732,41 +732,146 @@ fn refusal_stages_are_counted() {
     ]);
     assert_eq!(r.train()[0].outcome, Outcome::Refused(Stage::Parse));
     assert_eq!(r.train()[0].packet, None);
-    assert_eq!((r.train_mean().count, r.train_mean().chrf), (0, None));
+    // A refused item is in the mean as 0: n counts every item, scored the real ones.
+    let m = r.train_mean();
+    assert_eq!((m.count, m.chrf, m.meaning), (1, Some(0.0), Some(0.0)));
+    assert_eq!((r.train_scored(), r.validation_scored()), (0, 0));
     assert_eq!(r.validation_refused().parse, 0);
     assert_eq!(
         (r.validation_refused().admit, r.validation_refused().lower),
         (1, 1)
     );
-    assert_eq!(
-        (r.validation_mean().count, r.validation_mean().chrf),
-        (0, None)
-    );
+    let m = r.validation_mean();
+    assert_eq!((m.count, m.chrf, m.meaning), (2, Some(0.0), Some(0.0)));
 
-    let r = run([
+    // Validation items 2 and 3 score a and b when both lower (the Dao bed:
+    // 82.12 and 74.99). Refusing one halves the mean; it cannot raise it.
+    let full = run(good_answers().map(|(_, a)| a).try_into().unwrap());
+    let b_only = run([
         edited(1, unknown_concept),
         junk.clone(),
         good_answers()[2].1.clone(),
     ]);
-    assert_eq!(r.train()[0].outcome, Outcome::Refused(Stage::Admit));
-    assert_eq!(r.train()[0].packet, None, "a refused packet is not stored");
-    let v = r.validation_refused();
+    assert_eq!(b_only.train()[0].outcome, Outcome::Refused(Stage::Admit));
+    assert_eq!(
+        b_only.train()[0].packet,
+        None,
+        "a refused packet is not stored"
+    );
+    let v = b_only.validation_refused();
     assert_eq!((v.parse, v.admit, v.lower), (1, 0, 0));
     assert_eq!(
-        r.validation_mean().count,
-        1,
-        "only the scored item is counted"
+        b_only.validation_mean().count,
+        2,
+        "every Validation item counts"
     );
-    assert_eq!(two_dp(r.validation_mean().chrf.unwrap()), 74.99);
-
-    let r = run([edited(1, with_relation), good_answers()[1].1.clone(), junk]);
-    assert_eq!(r.train()[0].outcome, Outcome::Refused(Stage::Lower));
+    assert_eq!(b_only.validation_scored(), 1);
+    let b_half = b_only.validation_mean().chrf.unwrap();
     assert!(
-        r.train()[0].packet.is_some(),
+        (b_half - 74.99 / 2.0).abs() < 0.01,
+        "(74.99 + 0) / 2 = {b_half}"
+    );
+
+    let a_only = run([edited(1, with_relation), good_answers()[1].1.clone(), junk]);
+    assert_eq!(a_only.train()[0].outcome, Outcome::Refused(Stage::Lower));
+    assert!(
+        a_only.train()[0].packet.is_some(),
         "a packet that lowers badly was admitted"
     );
-    assert_eq!(r.validation_refused().parse, 1);
-    assert_eq!(two_dp(r.validation_mean().chrf.unwrap()), 82.12);
+    assert_eq!(a_only.validation_refused().parse, 1);
+    let a_half = a_only.validation_mean().chrf.unwrap();
+    assert!(
+        (a_half - 82.12 / 2.0).abs() < 0.01,
+        "(82.12 + 0) / 2 = {a_half}"
+    );
+    // The halves add to the full mean: (a + 0) / 2 + (0 + b) / 2 = (a + b) / 2.
+    let whole = full.validation_mean().chrf.unwrap();
+    assert!(
+        (a_half + b_half - whole).abs() < 1e-9,
+        "{a_half} + {b_half} vs {whole}"
+    );
+    assert!(
+        b_half < whole && a_half < whole,
+        "refusing never raises the mean"
+    );
+    assert_eq!(full.validation_scored(), 2);
+}
+
+/// An embedder that is down.
+struct Down;
+
+impl Embedder for Down {
+    fn model(&self) -> &str {
+        "bag"
+    }
+    fn embed(&self, _: &[&str]) -> anyhow::Result<Vec<Vec<f32>>> {
+        anyhow::bail!("down")
+    }
+}
+
+#[test]
+fn a_failed_round_leaves_nothing_a_rerun_collides_with() {
+    let mut dao = dao();
+    let mut model = fake(&good_answers());
+    assert_eq!(
+        round(&mut dao.run, &mut model, &Scorer::new(Down)).err(),
+        Some(RunError::Embed)
+    );
+    assert!(dao.run.rounds().unwrap().is_empty());
+    assert!(
+        !dao.root.join("round-1/packets.cc").exists(),
+        "the failed attempt's packets are discarded"
+    );
+
+    // The session revises item 1's answer and reruns: its packet is admitted
+    // as the revised one, not refused as a changed packet under the same key.
+    let mut revised = draft_of(1);
+    revised.confidence = weksa::packet::Grade::new(123).unwrap();
+    let mut answers = good_answers();
+    answers[0].1 = json(&revised);
+    let mut model = fake(&answers);
+    let r = recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    assert!(
+        matches!(r.train()[0].outcome, Outcome::Scored { .. }),
+        "{:?}",
+        r.train()[0]
+    );
+    assert_eq!(r.validation_refused(), Default::default());
+    let stored = PacketStore::open(&dao.root.join("round-1/packets.cc"))
+        .unwrap()
+        .all()
+        .unwrap();
+    assert_eq!(stored.len(), 3);
+    assert!(stored.iter().any(|p| p.provenance.confidence.get() == 123));
+}
+
+#[test]
+fn the_round_line_prints_each_split_under_its_own_name() {
+    let mut dao = dao();
+    let mut model = fake(&good_answers());
+    let r = recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    let line = r.summary_line();
+    // Train is item 1 alone, Validation items 2 and 3; the numbers differ.
+    let (t, v) = (r.train_mean(), r.validation_mean());
+    assert_eq!(
+        line,
+        format!(
+            "round 1 rev 3 train n=1 scored=1 chrf={:.2} meaning={:.4} refused=0 validation n=2 scored=2 chrf={:.2} meaning={:.4} refused parse=0 admit=0 lower=0",
+            t.chrf.unwrap(),
+            t.meaning.unwrap(),
+            v.chrf.unwrap(),
+            v.meaning.unwrap()
+        )
+    );
+    assert!(
+        line.contains("train n=1 scored=1 chrf=44.18 meaning=0."),
+        "{line}"
+    );
+    assert!(
+        line.contains("validation n=2 scored=2 chrf=78.56 meaning=0."),
+        "{line}"
+    );
+    assert_ne!(t.meaning, v.meaning);
 }
 
 #[test]
diff --git a/schemas/cultnet/weksa.loop_round.schema.json b/schemas/cultnet/weksa.loop_round.schema.json
index cb94831..7cde9c2 100644
--- a/schemas/cultnet/weksa.loop_round.schema.json
+++ b/schemas/cultnet/weksa.loop_round.schema.json
@@ -1,7 +1,7 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "title": "RoundRecord",
-  "description": "One scored round. It holds no text and no Test reading: per-item rows for\nTrain only, Validation only as means and refusal counts by stage. Only\n`run::round` builds one.\n\n```\nfn f(r: &weksa::run::RoundRecord) -> u32 { r.n() }\n```\n\n```compile_fail\nfn f() -> weksa::run::RoundRecord {\n    weksa::run::RoundRecord { n: 1 }\n}\n```",
+  "description": "One scored round. It holds no text and no Test reading: per-item rows for\nTrain only, Validation only as means and refusal counts by stage. Only\n`run::round` builds one.\n\n```\nfn f(r: &weksa::run::RoundRecord) -> u32 { r.n() }\n```\n\nEvery field is given, so the literal below fails only on privacy; its twin\nis the same literal in the unit test `a_round_record_literal_compiles_in_the_lib`.\n\n```compile_fail,E0451\nuse weksa::run::{RefusalCounts, RoundRecord};\nuse weksa::score::SplitMean;\nfn f() -> RoundRecord {\n    RoundRecord {\n        n: 1,\n        inventory_rev: 1,\n        prompt_digest: String::new(),\n        lowerer_digest: String::new(),\n        corpus_digest: String::new(),\n        entity_digest: String::new(),\n        model: String::new(),\n        embedder: String::new(),\n        chrf_version: String::new(),\n        calls: vec![],\n        train: vec![],\n        train_mean: SplitMean::default(),\n        train_scored: 0,\n        validation_mean: SplitMean::default(),\n        validation_scored: 0,\n        validation_refused: RefusalCounts::default(),\n    }\n}\n```",
   "type": "object",
   "properties": {
     "calls": {
@@ -50,11 +50,23 @@
     "train_mean": {
       "$ref": "#/$defs/SplitMean"
     },
+    "train_scored": {
+      "description": "Train items that lowered and scored; `train_mean` is over all of them\nand counts a refused item as 0.",
+      "type": "integer",
+      "format": "uint32",
+      "minimum": 0
+    },
     "validation_mean": {
       "$ref": "#/$defs/SplitMean"
     },
     "validation_refused": {
       "$ref": "#/$defs/RefusalCounts"
+    },
+    "validation_scored": {
+      "description": "Validation items that lowered and scored; `validation_mean` is over all\nof them and counts a refused item as 0, so refusing a weak item cannot\nraise it.",
+      "type": "integer",
+      "format": "uint32",
+      "minimum": 0
     }
   },
   "required": [
@@ -71,7 +83,9 @@
     "train",
     "train_mean",
     "validation_mean",
-    "validation_refused"
+    "validation_refused",
+    "train_scored",
+    "validation_scored"
   ],
   "$defs": {
     "Call": {
-- 
2.47.3


From 3e1e1a07da8872561564755cbbe4a83845d0344a Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 04:15:00 +0000
Subject: [PATCH 7/9] Fix the golf_loop test that did not compile in the
 previous commit

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 crates/weksa/tests/golf_loop.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index 5037622..39fe9b7 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -746,7 +746,11 @@ fn refusal_stages_are_counted() {
 
     // Validation items 2 and 3 score a and b when both lower (the Dao bed:
     // 82.12 and 74.99). Refusing one halves the mean; it cannot raise it.
-    let full = run(good_answers().map(|(_, a)| a).try_into().unwrap());
+    let full = run([
+        good_answers()[0].1.clone(),
+        good_answers()[1].1.clone(),
+        good_answers()[2].1.clone(),
+    ]);
     let b_only = run([
         edited(1, unknown_concept),
         junk.clone(),
-- 
2.47.3


From a014fc3f87a5e0a54d10fdd8b7c1484e9fabf4aa Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 04:15:57 +0000
Subject: [PATCH 8/9] Pin the scored counts of the Dao round

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 crates/weksa/tests/golf_loop.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index 39fe9b7..eca3edb 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -470,6 +470,7 @@ fn round_over_the_dao_stores_scores_train_and_validation() {
     assert!((v.chrf.unwrap() - 78.56).abs() < 0.01, "{:?}", v.chrf);
     assert!(v.meaning.is_some());
     assert_eq!(r.validation_refused(), Default::default());
+    assert_eq!((r.train_scored(), r.validation_scored()), (1, 2));
 
     // The record carries the run's pins.
     assert_eq!(r.prompt_digest(), pinned.prompt_digest);
-- 
2.47.3


From 2425030fe3437bf153559fb475bbe19f26ea3fcb Mon Sep 17 00:00:00 2001
From: Weksa <weksa@minds.weksa.gamecult.org>
Date: Tue, 10 Nov 2026 04:41:02 +0000
Subject: [PATCH 9/9] Pin the round-start discard: a stale packets.cc and lock
 in an unrecorded round dir do not refuse a revised draft

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 crates/weksa/tests/golf_loop.rs | 49 +++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)

diff --git a/crates/weksa/tests/golf_loop.rs b/crates/weksa/tests/golf_loop.rs
index eca3edb..6631861 100644
--- a/crates/weksa/tests/golf_loop.rs
+++ b/crates/weksa/tests/golf_loop.rs
@@ -850,6 +850,55 @@ fn a_failed_round_leaves_nothing_a_rerun_collides_with() {
     assert!(stored.iter().any(|p| p.provenance.confidence.get() == 123));
 }
 
+#[test]
+fn a_stale_packet_store_in_an_unrecorded_round_dir_is_discarded_at_start() {
+    // A previous attempt that died after admitting (a crash, a kill) left its
+    // packets and lock in the next round's directory.
+    let mut first = dao();
+    let mut model = fake(&good_answers());
+    recorded(round(&mut first.run, &mut model, &Scorer::new(Bag)).unwrap());
+
+    let mut dao = dao();
+    let dir = dao.root.join("round-1");
+    std::fs::create_dir_all(&dir).unwrap();
+    std::fs::copy(
+        first.root.join("round-1/packets.cc"),
+        dir.join("packets.cc"),
+    )
+    .unwrap();
+    std::fs::write(dir.join("packets.cc.lock"), "stale").unwrap();
+
+    // The session revised item 1's answer; the stale packet for it is the old one.
+    let mut revised = draft_of(1);
+    revised.confidence = weksa::packet::Grade::new(321).unwrap();
+    let mut answers = good_answers();
+    answers[0].1 = json(&revised);
+    let mut model = fake(&answers);
+    let r = recorded(round(&mut dao.run, &mut model, &Scorer::new(Bag)).unwrap());
+    assert!(
+        matches!(r.train()[0].outcome, Outcome::Scored { .. }),
+        "the revised draft is not refused as a changed packet: {:?}",
+        r.train()[0]
+    );
+    assert_eq!(r.validation_refused(), Default::default());
+    let stored = PacketStore::open(&dir.join("packets.cc"))
+        .unwrap()
+        .all()
+        .unwrap();
+    assert_eq!(stored.len(), 3);
+    assert!(stored.iter().any(|p| p.provenance.confidence.get() == 321));
+    assert!(
+        !stored.iter().any(|p| p.provenance.confidence.get() == 600
+            && p.provenance.corpus_item.as_str() == "item:daodejing:1"),
+        "the stale packet is gone"
+    );
+    assert_ne!(
+        std::fs::read(dir.join("packets.cc.lock")).unwrap_or_default(),
+        b"stale",
+        "the stale lock was removed"
+    );
+}
+
 #[test]
 fn the_round_line_prints_each_split_under_its_own_name() {
     let mut dao = dao();
-- 
2.47.3