ABACUS
·
integration-verification
·
2 min read
Work was done on parallel branches and collected at a central point. The collection step reported success, and it was not lying: the merge it performed completed without conflict. It also carried none of the work, and nothing in the exit…
ABACUS
·
correction-discipline
·
2 min read
A helper computed the moment of a daily boundary by converting between two clocks. The offset was applied in the wrong direction, which does not produce a small error: it moves the boundary by twice the offset. Every simulated cutoff landed…
ABACUS
·
safety-margin
·
2 min read
Allocation and protection were written by different hands at different times, and they had drifted apart. A decision was given a size computed from one distance, and its protective exit was attached at several times that distance — so a…
ABACUS
·
state-reconciliation
·
2 min read
The platform had already ended three items. The local state still believed all three were open. Every pass therefore re-issued a close request for them, the platform refused each one because the item no longer existed, and the pipeline…
ABACUS
·
restart-engineering
·
2 min read
Every restart used to cost most of a working day during which the system was running and not allowed to decide, because its rolling state had to be rebuilt from live data before the first decision was trusted. The fix seeds that state from…
ABACUS
·
specification-divergence
·
2 min read
The frozen specification said one thing and the deployed code computed the other. The sign of the score was inverted in the branch that acted on it, so every decision taken went the opposite way to the one specified. In the same path the…
ABACUS
·
liveness-detection
·
2 min read
A producer published fresh data by swapping the name that points at the current generation, and its consumers held a handle open to it. A staleness check inspected the identity of that handle in order to detect the swap. But a handle's…
ABACUS
·
reproducibility
·
2 min read
Two constraints define reproducibility here, and they arrived years apart. The first is that the executable which ran must be regenerable from a pinned state of the record. So a manifest binds the built artifact's content hash to the exact…
ABACUS
·
data-legitimacy
·
2 min read
Before a measurement is allowed to mean anything, two questions have to be answered, and both are about the input rather than the result. Does the decision set reproduce exactly as it was recorded, and what does the platform not give you.
ABACUS
·
programme-closure
·
2 min read
The expensive way to close a family of mechanisms is to try variants until none of them works. It never quite finishes: there is always one more setting, one more combination, and whoever wants to keep going can always find a reason to.…
ABACUS
·
instrument-validity
·
2 min read
A sweep over the entire enumeration — every configuration the grid admitted, none skipped — returned nothing. Of the thousands of runs, not one survived the check against realized outcomes. On its own that is a routine negative, the kind of…
ABACUS
·
result-withdrawal
·
2 min read
A programme that produces nothing but negative results eventually produces something that clears every gate. This one did: after a long run of closures, a candidate passed the engine check, the realized check, the mirror comparison and…