Repository navigation
Exercise supplier source store failure cuts and commit uncertainty - #1021
Merged
Merged
Conversation
…v3-checkpoint-source-20261016 # Conflicts: # eng/qualify-portable-supplier-contract.py # tests/FS.GG.Coordination.Orchestration.Execution.Tests/PortableHostAllocationTests.fs
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
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.
Exercises interrupted current supplier
/4source commits through the existing writer, lock, CAS and readback path. A finite controlled-test factory selects one fixed failure point: before writing, before file flush, before replacement, after replacement before fresh readback, or before cold reopen. Both ordinary constructors select no cut; no arbitrary fault callback or alternate journal is introduced.The genuine signed zero and selected journeys exercise all five cuts through six transitions per branch: 60 cases. Each failed Stage returns commit uncertainty and retains the exact prior or proposed record, including original identity and full custody. A later explicit fresh read with current cryptographic revalidation may authenticate replaced source bytes while durability remains Unknown. Each cut asserts ACK/host reservation refusal and zero runner run, cleanup and recovery calls.
Independent source, evidence and final composition reviews accepted. A bounded SDK 10.0.400 job on exact functional source b1304e7 passed locked restore, strict Release build and the maintained integration Fact, retaining the two earlier build failures separately. Final head ffa80b4 passed Bootstrap qualification: zero build warnings/errors and all focused results passed (46 allocation, 80 executor, 55 inert, 29 transport, 47 process and 714 architecture), including the expanded signed/store Fact. The maintained dependency policy and exact 29-project NuGet.org transitive vulnerability audit passed with no listed vulnerabilities. Full coherent validation passed. Merge readback must still bind the protected tree to this tested head.
The owning contract and immutable Atlas history capture the source/durability boundary. These controls target current
/4source records. Production enrollment, native/provider effects, physical durability and ACK authority remain outside this source result.