From a2f0438f7e60fe0cf8fd7648e040c011766c8588 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 19 Aug 2026 19:57:08 +0000 Subject: [PATCH] Repair the two main reds the Wave A restore surfaced (#8503 fallout) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Both failures are latent defects the quarantine was hiding, not defects in #8503: the two witnesses sat under long/ while main moved out from under their assertions, and un-quarantining them made the divergence executable. 1. test.claim.live_deploy.emit.witness_scripts_stay_within_ci_runner_grants pinned the tree-sync ExecStart with the two-prefix exclude list. #8522 widened deployed_tree_excluded_prefixes to six prefixes and updated the two witnesses that were visible at the time (candidate_checkout_witness, live_deploy_unit_emission_oracle_witness); this one was in long/ and was not. The pin now transcribes the current six-prefix ExecStart, matching its two siblings. 2. v2.test.lens_inert_carrier.inert_carrier_test.inert_carrier_no_unrostered_or_stale #8413 landed the compute-fabric carriers; two of them — Attempt (product.fabric.execution) and Offer (product.fabric.supply) — are referenced only from fabric_terminal_contract_witness_test, so the live inert set went to 14 against a 12-row roster. Both get a roster row naming the consumer they await, under the existing row dissolution. Measured, not inferred: an independent reimplementation of compute_inert_carrier_data over the same corpus reproduces the 12 rostered names exactly and adds precisely Attempt and Offer. Verified by execution (claim_batch, both entries, this tree): src/v2/lens/inert_carrier_test.dag 4 PASS, 0 FAIL dag/test/claim/live_deploy/emit_test.dag 47 PASS, 0 FAIL The RED control for both is main itself: run 32290602208 fails exactly these two identities and nothing else (planned=9683 executed=9683 failed=2). Co-Authored-By: Claude Opus 5 (1M context) --- dag/test/claim/live_deploy/emit_test.dag | 2 +- src/v2/lens/inert_carrier.dag | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/dag/test/claim/live_deploy/emit_test.dag b/dag/test/claim/live_deploy/emit_test.dag index bf6e2608034..1ba7b4e7c35 100644 --- a/dag/test/claim/live_deploy/emit_test.dag +++ b/dag/test/claim/live_deploy/emit_test.dag @@ -315,7 +315,7 @@ test fn witness_scripts_stay_within_ci_runner_grants() -> Bool { && string_contains(s: unit, pattern: "Type=oneshot") && string_contains(s: unit, pattern: "User=briansrls") && string_contains(s: unit, pattern: "EnvironmentFile=/etc/gunbc-tree-sync.env") - && string_contains(s: unit, pattern: "ExecStart=/usr/bin/rsync -rlpt --delete --exclude /target --exclude /.git \"$\{GUNBC_TREE_SRC\}/\" /opt/gunbc/gunbc/") + && string_contains(s: unit, pattern: "ExecStart=/usr/bin/rsync -rlpt --delete --exclude /target --exclude /.git --exclude /.claude --exclude /.gunbc --exclude /target-codex --exclude /.cargo-home \"$\{GUNBC_TREE_SRC\}/\" /opt/gunbc/gunbc/") && string_contains(s: unit, pattern: "ExecStart=/usr/bin/rsync -rlpt --exclude=objects/pack/*.keep --exclude=objects/pack/tmp_pack_* --include=/HEAD --include=/objects/*** --include=/packed-refs --include=/refs/*** --exclude=* \"$\{GUNBC_TREE_SRC\}/.git/\" /opt/gunbc/gunbc/.git/") && !string_contains(s: unit, pattern: "rsync -rlpt \"$\{GUNBC_TREE_SRC\}/.git/\"") && !string_contains(s: unit, pattern: "--include=/config") diff --git a/src/v2/lens/inert_carrier.dag b/src/v2/lens/inert_carrier.dag index 92bf720f925..20ebd9ad1b4 100644 --- a/src/v2/lens/inert_carrier.dag +++ b/src/v2/lens/inert_carrier.dag @@ -16,6 +16,7 @@ fn inert_row(unit: String, reason: String) -> FrontierRow { data inert_carrier_roster: List = [ inert_row(unit: "DownstreamSupportRoster", reason: "modeled downstream coverage-roster carrier from the extdeps modeling preflight (#7571): it is the declared home for support/coverage rows that an upstream module may not carry, and the plan text names it, but no module constructs or reads one yet"), + inert_row(unit: "Attempt", reason: "modeled compute-fabric execution carrier from the terminal-contract slice (#8413): one execution attempt with its lineage, declared ahead of the executor that issues attempts against a grant, and referenced only by fabric_terminal_contract_witness_test so far"), inert_row(unit: "CargoDependency", reason: "modeled cargo-manifest carrier awaiting the emitted-crate-partition consumer"), inert_row(unit: "CargoPackage", reason: "modeled cargo-manifest carrier awaiting the emitted-crate-partition consumer"), inert_row(unit: "FreeOutput", reason: "modeled output carrier with no live consumer yet"), @@ -23,6 +24,7 @@ data inert_carrier_roster: List = [ inert_row(unit: "GitCliReportedVersion", reason: "modeled git-cli extdeps carrier with no live consumer yet"), inert_row(unit: "GitPushRequest", reason: "modeled git publication-transport carrier (extdeps.git.publication_transport slice 1): witness-tested in publication_publisher_witness_test with no non-test consumer yet; live transport binding awaits tools.publication_publisher slice"), inert_row(unit: "LocalAlias", reason: "inert G1 fixture type in qualified_module_projection_stripped_fixture.dag (see inert_carrier_local_alias_roster_note)"), + inert_row(unit: "Offer", reason: "modeled compute-fabric supply carrier from the terminal-contract slice (#8413): an executor's quoted/observed supply row, declared ahead of the grant issuance that matches demand against it, and referenced only by fabric_terminal_contract_witness_test so far"), inert_row(unit: "ReactHookSite", reason: "modeled typescript extdeps carrier with no live consumer yet"), inert_row(unit: "SystemdUnitStatus", reason: "modeled systemd extdeps carrier with no live consumer yet"), inert_row(unit: "TerminatingOneShotFrontier", reason: "modeled std.witness_purpose frontier coproduct from #7965 (Slice C-a): its variants name the two substrate absences that block a terminating one-shot classification, and only its own test file references it, so it is inert by the seed rule until the classifier consumes it"),