Commit graph

1513 commits

Author SHA1 Message Date
29d1b8981a Drop the redrive route from the wiped-verdict row, since a redrive deletes the row it was supposed to overwrite, and admit that the hung-shutdown row promised a cheap fix its own criterion forbids. 2026-09-11 00:54:02 +03:00
5357b00c68 Withdraw the claim that a session misremembered a number: both counts were right and measured different things. 2026-09-11 00:28:48 +03:00
d61469fddf Close both sessions of the cancelled packs: the engine tree is back at the line it started from and the platform keeps one flag with the pin that earns it. 2026-09-11 00:26:34 +03:00
560ca2070a Stop asking systemd to wait for a unit to be gone, and pin the property that made asking twice safe: a second stop neither signals again nor moves the kill deadline. 2026-09-11 00:25:16 +03:00
7af35daf96 Move the closed chronicle of a landed pack into an archive slice, and give the three claims it carried alone a home that is not the archive. 2026-09-11 00:24:20 +03:00
ab7b3c44a4 Take the engine zone's inventory of where cancellation is created and read, and its own statement of what this shift proved and what it only read. 2026-09-11 00:08:47 +03:00
77b571f3df Say in the tracker that two comments declare a single source of cancellation the tree contradicts, and make relayed findings verifiable at their source before they become rows. 2026-09-11 00:05:39 +03:00
cb3c9674bf Correct the log where it blamed a write deadline the API listener does not set, and give four leftovers of an interrupted run their own rows. 2026-09-11 00:00:53 +03:00
1c5bd2a00f Bring the announced contract version to the canon the corrective minor moved, and keep the platform zone's account of what it learned before the rollback. 2026-09-10 23:51:18 +03:00
9c2eb31a56 Recount the near-term weight after a row changed its own. 2026-09-10 23:46:41 +03:00
7e9f845116 Save what two sessions learned in the paths a rollback is about to erase: a store that outlives cancellation, a lock cycle that reads as a timeout, and a stop no second press can end. 2026-09-10 23:46:15 +03:00
aa78047b50 Close the two-stop packs the owner called off before landing, and write down what replaces them: a stop that may lose money but must leave nothing half-written. 2026-09-10 23:39:54 +03:00
2cbf2e5119 Name why one more reason to stop spending costs four threadings: the question of whether a run may keep buying has no single owner. 2026-09-10 23:30:55 +03:00
74c533f87c Write down that the product has two surfaces and only one of them exists, alongside where accounts actually come from today. 2026-09-10 23:25:19 +03:00
582fc43948 Correct the alternative the log floated: a coalesced signal is indistinguishable by state as well as by count, and after the second one the process keeps no handler at all. 2026-09-10 22:46:44 +03:00
4930363d05 Record that a process can see two terminate signals as one, so the stop ladder now orders them by an observable state instead of assuming delivery. 2026-09-10 22:45:22 +03:00
cc509beda2 Own that the corrective contract minor left another zone red on entry, and record the safety property a session found holding by luck. 2026-09-10 22:39:09 +03:00
ac9a24ddf2 Take the six objections both sessions raised before touching code: the estimate counter starts from the store, the operator line needs a registry that does not exist, and the sweep fails quietly rather than slowly. 2026-09-10 22:26:59 +03:00
186e229333 Take the wait ceiling from the whole catalogue rather than a key five providers do not set, and pin that the two channels quoting the estimate agree. 2026-09-10 22:17:01 +03:00
96e14513d6 Point both packs at the frame the log already fixed instead of asking each zone to design it, and name the two presence rules the note left unsaid. 2026-09-10 22:11:40 +03:00
121c3c7cd2 Say in the debt register that its bare anchors rot in the live sections too, with the count that shows it and the form that does not. 2026-09-10 22:01:56 +03:00
663804bd1a Bring the entry paths in line with the repository they describe: the map, the glossary, the requirements register, the stack notes and three live prompts. 2026-09-10 22:00:55 +03:00
8fb0336270 Issue the paired packs that give a person a stop which lets running work finish, with the frame they both write to fixed beforehand and the contract corrected where it demanded a retired field. 2026-09-10 21:54:08 +03:00
b1bede6311 Correct the architecture board and the debt register where they cite a floor that was lifted, a half that was built, and zeros that stopped being zero. 2026-09-10 21:45:05 +03:00
87c2808242 Correct the architecture notes where they describe a repository that has moved on: a closed question, a built file assembler, a deadline derived from the budget, and a debt whose premise is absent. 2026-09-10 21:36:59 +03:00
21a0e7e4ff Say on the seam review that its word for the stop grace stopped being true, since a soft stop must outlast a call the engine is allowed to wait for. 2026-09-10 21:26:43 +03:00
da4761320f Leave the platform zone four measured addresses: two comments that state the wrong exit code, one that states a target, a grace shorter than the wait it must cover, and the figure it asked for. 2026-09-10 21:25:58 +03:00
5b3a8552cd Answer the open question the journal left waiting, since the owner's word on the two stops has arrived. 2026-09-10 21:25:57 +03:00
0b50b106b1 Address the errata block by its text rather than by a line number that every new entry moves. 2026-09-10 21:02:59 +03:00
6060f99854 Take the four rows the engine work actually closed out of the tracker and bring the money route up to what the tree now does, with the owner's two stops written down. 2026-09-10 21:02:14 +03:00
a58687feba Record the second stop the engine does not have, alongside two rows a measurement closed and one the seam never carried: the estimate mark stops at the engine's own status. 2026-09-10 19:59:36 +03:00
d7bef690d7 Give the second stop a row of its own: today one button cancels everything in flight, while the verb that lets running work finish exists only for the spend ceiling. 2026-09-10 19:42:11 +03:00
61fe4b21d0 Point the backlog's anchor at the errata line the new head-map entry moved. 2026-09-10 19:14:44 +03:00
9f50fb7817 Give the three findings that stayed outside the round their own rows, each with the measurement that stands behind it, and say in the head map that the residue list is seven, not four. 2026-09-10 19:13:53 +03:00
a3953f7001 Refresh the frontend zone's note on its stale anchors with the addresses they carry today. 2026-09-10 19:03:12 +03:00
3a487608cb Point the orchestrator's file:line anchors at the lines they name after the engine landing moved them, and leave the engine and polygon zones the re-measured addresses for theirs. 2026-09-10 19:03:11 +03:00
e991268a34 Close the pack on calls the engine cuts itself: its prompt moves into the archive under an outcome banner, and the decisions log carries the head that names it. 2026-09-10 18:57:28 +03:00
3f05fab941 Take in the engine zone's work on calls the engine cuts itself, as the zone built it: a delivered break is asked about once, paid once, and never bought twice 2026-09-10 18:50:01 +03:00
6ee6c61eaa Say how a mutation reached the real tree and how to check afterwards: guard the copy by construction, and ask whether each target still stands 2026-09-10 18:23:43 +03:00
59aa26fa64 Give rows to the two residues the ratified narrowing leaves: a delivered break booked at zero, and a paid break erased by a retry that succeeded 2026-09-10 17:36:14 +03:00
2e640eedec Correct two places in the order where its own letter no longer matches what was ratified, so the work is not measured against a false rule 2026-09-10 17:34:42 +03:00
482fded28d Name the vacuity a rerun cannot catch: an assertion held up by evidence belonging to a different object, red nowhere in six mutant runs 2026-09-10 17:27:55 +03:00
6e9760dd8f Add the rule the previous message announced but did not carry: a pin that is flaky on its mutant measured an empty scenario 2026-09-10 15:23:47 +03:00
5b6e42be8e Narrow the chapter-verdict row to the half that is still open, and say that a pin flaky on its mutant is measuring an empty scenario 2026-09-10 15:21:50 +03:00
cd76f29a98 Bound the denominator rule with the case that defeats it: a defect identical in every reader is invisible to counting them 2026-09-10 14:07:03 +03:00
48b6919463 Extend the rule a level: listing verbs by name is guessing too, so ask the table rather than the vocabulary of names 2026-09-10 13:38:06 +03:00
aea716a906 Say that a denominator counted through one verb is not a denominator, after three readers turned out to be four across five verbs 2026-09-10 13:31:43 +03:00
25db206905 Say in the order itself that the engine session may edit it, since a permission living in a channel dies with the session that heard it 2026-09-10 13:27:01 +03:00
aad50a7541 Enter the engine zone's own account of the halted pack as the zone wrote it, and give a written-down home to three rulings that had lived only in a channel that died 2026-09-10 12:30:33 +03:00
3849a92cca Replace an alarm with a measurement: the tree lives on disk, the scratchpad does not, and no single command takes both halves of the work 2026-09-09 00:36:45 +03:00