Record the M3.13f delivery and the next slice - #221
Merged
Conversation
The store's fault and recovery work is merged, which closes the two debts ADR 0057 carried and makes requirement 13's own words — "through restart and recovery" — true on the storage side. The handoff records the contract that came out of it: everything before the commit rolls back and is an ordinary refusal that leaves the store usable, only the commit can leave a head the process cannot name, and recovery is allowed to fail into a store that refuses everything rather than guesses. It also records the correction that produced it, since the original code poisoned on any write failure and ADR 0057's own text said otherwise. The recorded next action is renumbered to M3.13g, the version-seven ABCI adapter, because the letter this entry carried was taken by the recovery slice. Nothing about the adapter's content changed.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Documentation only.
docs/project/current-state.md, no source, build, workflow,or vector change, so this is the focused metadata verification path.
What it records
mainacross
73955eb..a30a997, closing the two debts ADR 0057 carried and makingrequirement 13's own words — "through restart and recovery" — true on the
storage side.
and is an ordinary refusal that leaves the store usable; only the commit can
leave a head the process cannot name, and there the store poisons itself and
reads the file again; recovery may fail, and then the store refuses everything
rather than guessing.
original code poisoned on any write failure, which was safe and wrong, and ADR
0057's own text already said the store is poisoned "if the write itself fails".
rediscover which fault points throw, which are invoked and ignored so a test
can terminate the process, and why poisoning on every write failure must not be
reintroduced as a simplification.
slice wires are the ones it drives.
The slice letter moved
This handoff's previous entry recorded the ABCI adapter as M3.13f. The slice
actually taken next was the store's fault and recovery work, so that took M3.13f
and the adapter is now M3.13g. Nothing about the adapter's content changed,
and the handoff says so in place rather than silently renumbering.
Verification
python3 -B tools/verify_metadata.py— 5 repository skills and 265 internalMarkdown links validated.
git diff --checkclean. The hosted focused metadatapath is the gate for this exact commit.