---
name: literal-count-floor-is-a-fossil-of-the-old-subject
description: "A hardcoded count floor in an instrument-soundness check fossilises the subject's old shape and reds a correct change — re-derive the expected count by an independent route instead."
metadata: 
  node_type: memory
  type: feedback
  originSessionId: c91b4116-10ae-4fd8-b1fa-4cc34de3a871
  modified: 2026-08-19T07:42:44.427Z
---

An instrument-soundness check ("the walk found at least N things, so it inspected something") that
hardcodes N is a fossil of whatever the subject looked like when it was written. Measured 2026-08-19
(KEYSTONE #182 W3): `the_briefing_prescribes_only_verbs_the_grammar_has` asserted
`checked.len() >= 3`. A ruled partition moved the engine room's capability menu out of the briefing
and into its durable role, leaving the briefing prescribing exactly ONE command — correct by
construction, and the cell went red on a briefing that was exactly right.

Replacement: count the extractor's own SPLIT TOKEN directly (`text.matches("spt ").count()`) and
assert `walked.len() == occurrences`, plus `occurrences > 0` so the walk can never agree with itself
about an empty set. That is a route the walk does not take, so it is a real re-derivation rather
than a restatement.

**Why:** the floor was standing in for "the walk is not vacuous", but it ENCODES a second claim
nobody meant to make — how big the subject is. When the subject legitimately shrinks, the check
reports a defect in the change rather than in the instrument, and the temptation is to lower the
number, which quietly retires the soundness check. Same family as
[[expectation-derived-from-code-under-test]] (the expectation must not be derived from the thing
under test) and [[stale-carried-forward-sentence]], in test form.

**How to apply:** whenever you want "the instrument saw something", derive the expected count from
the input by a DIFFERENT mechanism than the instrument uses, and assert equality plus non-zero.
Reserve literal counts for populations a requirement actually fixes. If you meet a bare `>= N` while
changing a subject's shape, treat the red as a question about the floor before treating it as a
question about your change.