Itch · Level zero

What Nearly Got Past Us

○○○○○itch

This is the aggregate of everything that's caught our attention while building the rest of this site and the game underneath it: a moment where something looked fine and wasn't quite, or looked wrong and turned out to be a bigger question than the thing that surfaced it. Nothing here is a finished thought. Each one goes on in the order it was caught, and stays, struck through, once it's been dealt with. Nothing is ever deleted.

A rule can be well-formed and describe nothing that can exist. Are there others?

One classification rule turned out to be arithmetically impossible to satisfy: two of the features it checked were secretly derived from the same underlying number, so the combination it asked for could never occur. It passed every type check going. Nobody has since audited the other forty-two rules for the same failure mode, and there's no obvious way to check for it other than reading each one and asking whether its condition is actually reachable.

Does a dormant code path accumulate evidence about itself just by sitting there unused?

A piece of logic survived years of review not because it was correct, but because it never fired, so nothing ever tested it and no measurement ever contradicted it. Silence looked like confidence. It wasn't. Worth asking whether there's anything else in the codebase currently getting a pass for the same reason.

Can a vocabulary audit ever catch a concept that's been split, or merged, without meaning to?

An audit that compares only like-named things measures the vocabulary, not the model underneath it. The one that got run was blind to exactly the failures that matter most: one concept quietly living under two different names, and two genuinely different concepts sharing one name without anybody noticing.

When a new axis gets added, what did its older siblings quietly assume instead?

Adding a new property to how an object is described forced a question none of the existing properties had ever explicitly answered: which physical state is this actually describing? Six existing properties turned out to have been recorded against the finished object by default, not by any conscious decision, because nobody had been forced to ask the question before. A new axis seems to work less like an addition and more like a probe.

A field's documented intent isn't a claim about what it actually enforces. How many other fields are like that?

A field documented as "ordering along the primary axis" turned out to just be a traversal index, meaning an object's parts could genuinely be recorded back to front. Three separate workarounds had been quietly written elsewhere in the code to route around an absence nobody had actually gone looking for.

Is a task's own brief ever wrong about what it's asking for?

A task specified a particular fix shape in advance. When the actual measurement got done, four out of five cases turned out not to want that shape at all. The brief had encoded whatever understanding existed at the point it was written, and nobody had gone back to check whether that understanding still held once real data was in hand.

Almost nothing reads how an object's own parts relate to each other. Should more?

Of forty-three scoring rules, exactly one is genuinely relational: it looks at how two parts of an object relate rather than reading one property in isolation. The connection graph between an object's own parts is fully populated. Almost nothing consults it.

Some properties are recorded as words with no number underneath them at all. Does that ever go wrong quietly?

Wall thickness is currently three words, thin, medium, thick, with nothing underneath them. One culture's "thick" could be physically thinner than another culture's "thin", and there's no baseline of any kind that could catch that, because there's no number to compare.

A distribution guard can only ever catch a generator moving. What about one that was never right to begin with?

A calibration suite is recorded from the generator's own behaviour at the point it's written. That means it can flag a regression perfectly well and be structurally incapable of ever flagging a defect that was present from the very first commit, because there was never a correct baseline for it to diverge from.

When is leaving a field blank in authored data actually a hidden opinion?

An author handed sixteen boxes to fill in will often default several of them to the same safe value without really deciding anything, which reads later as a stated position rather than the shrug it actually was. Silence in an authored table only seems legitimate when the thing being left out genuinely couldn't have been reached in the first place, not merely when nobody got around to it.

Where it lives Doc: docs/12-propagation-register.md · Spikes: docs/spikes/2GN.66, 2GN.87, 2GN.97, 2GN.108, 2GN.110, 2GN.111, 2GN.118, 2GN.127