ABACUS
·
reproducibility
·
2 min read
The requirement was absolute: a replayed stream had to be byte-identical to what the live system emitted, or nothing built on the replay could be believed. It nearly was. A full-scale comparison across millions of records showed a small…
ABACUS
·
latency diagnosis
·
2 min read
A live path produced nothing for a stretch of hours. The obvious readings were that there were no qualifying candidates, or that the feed was broken. Both were wrong, and the way the truth was found is the useful part: rather than guessing,…
ABACUS
·
fail-closed gating
·
2 min read
Every guard added to a live path is itself a risk. A guard that misfires under load takes the system down more reliably than the fault it was built for. So a new live cost gate was added the other way round from the obvious one: it ships…
ABACUS
·
adapter archaeology
·
2 min read
The archive had to be pulled incrementally — a day at a time, resumable, verifiable — and the only description of the wire encoding was that it existed. Published notes covered the container and the field order. They did not cover how the…
ABACUS
·
data legitimacy
·
2 min read
The archive is the ground truth for every later measurement, so the way it fails matters more than the way it works. The failure found was quiet. The upstream service would occasionally answer a data request with a successful, well-formed,…
ABACUS
·
audit finding
·
2 min read
An independent reviewer went through a family of published result tables looking for internal inconsistency rather than wrong arithmetic. They found one that mattered. The worst-case column carried no sign. A minimum had been formatted…
ABACUS
·
pre-registration
·
2 min read
Any interesting question in a long research programme can be asked a dozen ways. Ask it a dozen ways and one will look good; that is arithmetic, not discovery. The programme's answer costs a little time every single day: a measurement is…
ABACUS
·
cost-model verification
·
2 min read
The system had a number it liked. It came from a cost model assembled out of a small table of assumed per-transaction costs — reasonable when written, never checked against what the system actually paid. Every optimisation downstream…
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…