field notes codename
36 notes filed under LATTICE, newest first. Same rules as the rest of the pile: a codename, a theme, and no internals.
An unattended test lane stopped responding. It was running again in time to hang a second time, and then a third, and the digest recorded the third as a termination together with the number of hangs rather than as a standalone event. That…
For a long stretch the coordination record was purely operational: per-lane syncs, per-lane merges, individual updates. That record was complete and nearly unreadable. It answered what happened and not what the operation now believed, so…
Computational search has a property that makes it dangerous to a research queue: it always returns something. A worker extending a boundary can report a new record every cycle, and the record is real — it is simply not an answer. Left…
The operation could generate candidate claims far faster than it could break them. That asymmetry is the whole problem: a generator asked to produce interesting statements will produce statements that are interesting to a generator, and a…
The last thing one line of inquiry produced was not an answer. It was a record: a written statement of what had been established, what had been ruled out and why, and what remained open. The cycle that files it labels the document a…
The operation had been running many workers in parallel for a long stretch when all of them stopped at the same moment: memory exhaustion, the whole set at once, not one worker's bad day but a shared ceiling reached by the sum of everything…
For one derivation that a great deal depended on, the record contains a second worker named as the backup executor. Not a reviewer, not a checker: an executor, able to produce the same object independently if the first owner stopped. The…
A parallel operation has one chronic failure: it cannot tell a problem that is hard from a worker that is stuck. Both look identical from outside, with no output, no error and no signal. The record here shows the coordinator resolving that…
Several points in this history are marked by a small object landing in the record: something computed from a handful of instances, together with the rule that produced it. Before that, the corresponding argument existed as reasoning in…
Most of the statements this operation could make were true on the cases it had looked at. That is not a claim, it is a coincidence waiting to be reported as a result. The discipline that kept the difference visible was a convention about…
At some point a whole line of inquiry was taken off producing new results and pointed at other workers' outputs instead, re-checking them on sampled cases. The record shows the reassignment in a single clause, and it reads like logistics.…
When one route establishes something, the obvious next question is whether to believe it. The answer here was to establish it again from a direction that shares no machinery with the first: a separate derivation, run separately, recorded as…
One route was pushed to the end of its useful life and produced a failure. That sentence would be the end of the story in most operations. Here the failure arrived with something attached: a precise statement of what blocks the route, tight…
A worker spent part of the run pursuing a suspected correspondence between two separately defined features of the objects under study, on the grounds that if it held it would fold two hard problems into one easier one. It did not hold. The…
The operation had many workers and one shared picture, and the shared picture had to be rebuilt continuously. The mechanism was a numbered cycle. Work was reconciled into the shared record under a counter that only ever increases, and most…
An open question is the easiest thing in a research operation to get wrong in a way nobody notices. The failure is rarely a wrong answer on the day. It is contamination: a dead end in one line of inquiry quietly becomes an assumption in the…
elsewhere
Each codename is a project. The theme is the class of problem the note is about — the same theme recurs across projects, which is usually the interesting part.