docs: the handoff after P5.3 merged, with CI deferred - #91
Merged
Conversation
…nd clause Four updates to the cold-start block, all re-derived on 2026-08-21. P5.3 is merged. PR #90, merge commit fe27646, parents b0a8ea1 + ac365a6 -- a true merge, not a squash. `git merge-base --is-ancestor` confirms all 13 branch commits are reachable from main, which is why merge-only matters here: this file and docs/evidence/2026-08-20-backend-conformance.md cite them. The maintainer deferred CI on 2026-08-21, and that outranks the queue. The bar is a green local run plus actual local usage. Item 1 of the queue -- the flake mechanisms -- is explicitly not what to do next, and the queue now says so. What "usable" means is named concretely: P5's second exit clause, the product-level gascan-e2e suite on arca. MEASURED by `grep -c '#\[ignore'` over crates/gascan-e2e/tests/*.rs -- apple 11 attributes (apple_apply 8, apple_lifecycle 1, apple_recovery 1, apple_security 1), arca 3 (arca_engine 2, arca_startup 1); labelled attribute counts, not test counts, because the P5.3 design's §5 cites 24 and 6 from an earlier revision. Both `command()` builders it names were verified present: apple_common/mod.rs:961, arca_common/mod.rs:303. A derivation became an observation. The claim that neither real-backend conformance result is reproducible in CI was reasoned, not seen. PR #90's run 32437752256 now shows it: the engine job's live-tier step reported `0 passed; 26 failed; 3 filtered out; finished in 0.06s`, and conformance::backend_contract_holds_on_arca panicked at crates/gascan-arca/tests/live/common/mod.rs:148:48 on GASCAN_ARCA_BASE_OCI_LAYOUT -- the environment, before reaching any backend. That run also passed the Swift step that is red on main, so THE TENTH MECHANISM is flaky rather than constant and a red `engine` job now has two possible steps behind it. Two anchors corrected rather than copied. The P5.3 design's §6 cites crates/gascan-core/src/backend.rs:167 for backend_selection defaulting to Apple; :167 is the Arca arm and the (false, false) => Apple arm is :168, in the function opening at :156. That trap does not apply to conformance and applies fully to the product-e2e work, which is why it is recorded where that work is assigned.
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.
Brings
docs/status/START-HERE.mdcurrent after PR #90 merged, and records the maintainer's 2026-08-21 decision to defer CI until there is a working, usable version.fe27646, parentsb0a8ea1+ac365a6, a true merge. All 13 branch commits verified reachable frommain, which is what keeps this file's and the evidence document's SHA citations valid.gascan-e2eon arca, with the ignore-attribute counts re-derived today and labelled as attribute counts rather than test counts.backend_selection.Docs only — no code touched.