Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
2c8c0ef
WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 n…
briansrls Jul 26, 2026
6ffccf6
WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 n…
briansrls Jul 26, 2026
8f64215
Fix sccache emit if-branch semantics and commit regenerated ci.yml.
briansrls Jul 26, 2026
6849f80
Fold bucket-D census into arc census; delete orphan doc.
briansrls Jul 26, 2026
de62496
Repoint ci_sccache_opportunistic_detect scaffold to emit module.
briansrls Jul 26, 2026
09511ad
Fix merge-admission emit golden: hand-authored bytes, no trailing NL.
briansrls Jul 26, 2026
4461b1d
Mark ci_sccache_bound_branch semijoin as declared Scaffold.
briansrls Jul 26, 2026
e80cc0f
Add missing Present import to ci_materialization_emit.
briansrls Jul 26, 2026
26befa2
Roster ct_render_rust_applied_type_qualified_base_test for scaffold i…
briansrls Jul 26, 2026
ffcb1a9
WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 n…
briansrls Jul 26, 2026
4a9077d
Rework bucket D PR1: dissolve semijoin, extract shared emit plumbing.
briansrls Jul 26, 2026
51364db
WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 n…
briansrls Jul 26, 2026
6decf5c
Fix CI drift gate: regen ci.yml from emit authority; drop duplicate r…
briansrls Jul 26, 2026
f025844
WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 n…
briansrls Jul 26, 2026
d21f51a
Merge remote-tracking branch 'origin/main' into session/wise-crane-22…
briansrls Jul 26, 2026
e3079d9
Remove duplicate ct_render_rust roster row from #7265 merge.
briansrls Jul 26, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,11 +37,11 @@ jobs:
mkdir -p "$RUNNER_TOOL_CACHE/gunbc-native/$GUNBC_TOOLCHAIN_SEG"
echo "GUNBC_NATIVE_CACHE_ROOT=$RUNNER_TOOL_CACHE/gunbc-native/$GUNBC_TOOLCHAIN_SEG" >> "$GITHUB_ENV"
if sccache --show-stats >/dev/null 2>&1; then
echo "RUSTC_WRAPPER=sccache" >> "$GITHUB_ENV"
echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
printf '%s\n' "CiSccacheProviderReceipt: provider=bound catalog=sccache_local"
echo "RUSTC_WRAPPER=sccache" >> "$GITHUB_ENV"
echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
printf '%s\n' "CiSccacheProviderReceipt: provider=bound catalog=sccache_local"
else
printf '%s\n' "CiSccacheProviderReceipt: provider=SKIPPED catalog=sccache_local host=$(hostname) cause=daemon-unavailable; the release build runs UNCACHED — a counted degradation, not a supported mode (host_build_cache_provision P1b should have converged this host)"
printf '%s\n' "CiSccacheProviderReceipt: provider=SKIPPED catalog=sccache_local host=$(hostname) cause=daemon-unavailable; the release build runs UNCACHED — a counted degradation, not a supported mode (host_build_cache_provision P1b should have converged this host)"
fi
- name: Setup Rust
uses: actions-rust-lang/setup-rust-toolchain@v1.16.0
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/falsifier.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,11 +31,11 @@ jobs:
mkdir -p "$RUNNER_TOOL_CACHE/gunbc-native/$GUNBC_TOOLCHAIN_SEG"
echo "GUNBC_NATIVE_CACHE_ROOT=$RUNNER_TOOL_CACHE/gunbc-native/$GUNBC_TOOLCHAIN_SEG" >> "$GITHUB_ENV"
if sccache --show-stats >/dev/null 2>&1; then
echo "RUSTC_WRAPPER=sccache" >> "$GITHUB_ENV"
echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
printf '%s\n' "CiSccacheProviderReceipt: provider=bound catalog=sccache_local"
echo "RUSTC_WRAPPER=sccache" >> "$GITHUB_ENV"
echo "CARGO_INCREMENTAL=0" >> "$GITHUB_ENV"
printf '%s\n' "CiSccacheProviderReceipt: provider=bound catalog=sccache_local"
else
printf '%s\n' "CiSccacheProviderReceipt: provider=SKIPPED catalog=sccache_local host=$(hostname) cause=daemon-unavailable; the release build runs UNCACHED — a counted degradation, not a supported mode (host_build_cache_provision P1b should have converged this host)"
printf '%s\n' "CiSccacheProviderReceipt: provider=SKIPPED catalog=sccache_local host=$(hostname) cause=daemon-unavailable; the release build runs UNCACHED — a counted degradation, not a supported mode (host_build_cache_provision P1b should have converged this host)"
fi
- name: Setup Rust
uses: actions-rust-lang/setup-rust-toolchain@v1.16.0
Expand Down
14 changes: 1 addition & 13 deletions dag/gunbc/ci_materialization.dag
Original file line number Diff line number Diff line change
Expand Up @@ -188,7 +188,7 @@ data ci_floor_resolve_receipt_gate_shell_emit_dissolution_trigger: Disposition =
data ci_sccache_provider_shell_injection_dissolution_trigger: Disposition = Scaffold {
dissolves_to: RealizationDispatch,
bind: DeclarationRef {
module_path: "gunbc.ci_materialization",
module_path: "v2.workflow.ci_materialization_emit",
decl_name: "ci_sccache_provider_shell_injection",
field: WholeDeclaration
}
Expand Down Expand Up @@ -273,15 +273,3 @@ fn ci_floor_resolve_receipt_gate_script() -> String {
}

data ci_sccache_provider_skip_is_counted_note: String = "The skip arm is LOUD and COUNTED, not silent (§5: a degradation must be a typed, located, countable diagnostic so its frequency is observable and prioritizable). This guard was a bare `if` with no else until 2026-07-24 — when the daemon was down the release build simply ran uncached, and the deficit's frequency was zero by construction, so it never ranked for fixing (shell→dag census §4.I lists it as an absorbing fallback). It is NOT yet a refusal: STEP 2 of the srvN build-cache design flips this to fail-closed, and that flip is operator-sequenced AFTER a live T4 read-back proves P1b provisioning converges on srv1/srv2/srv4 — refusing before then would red the whole fleet, which is why the interim is loudness rather than a wall. The receipt line names the host, so a single misconfigured runner is attributable rather than fleet-wide noise."

fn ci_sccache_provider_shell_injection() -> String {
join([
"if sccache --show-stats >/dev/null 2>&1; then",
" echo \"RUSTC_WRAPPER=sccache\" >> \"$GITHUB_ENV\"",
" echo \"CARGO_INCREMENTAL=0\" >> \"$GITHUB_ENV\"",
" printf '%s\\n' \"CiSccacheProviderReceipt: provider=bound catalog=sccache_local\"",
"else",
" printf '%s\\n' \"CiSccacheProviderReceipt: provider=SKIPPED catalog=sccache_local host=$(hostname) cause=daemon-unavailable; the release build runs UNCACHED — a counted degradation, not a supported mode (host_build_cache_provision P1b should have converged this host)\"",
"fi",
], "\n")
}
2 changes: 1 addition & 1 deletion dag/gunbc/ci_spec.dag
Original file line number Diff line number Diff line change
Expand Up @@ -31,9 +31,9 @@ import gunbc.ci_deploy_access { DeployAccess, ci_deploy_srv1_access }
import gunbc.ci_deploy_target_host { gunbc_ci_deploy_srv1_runner_spec }
import gunbc.merge_admission_produce {
ci_floor_stamp_merge_admission_script,
ci_floor_disposition_marker_init_script,
ci_repo_root_shell,
}
import v2.workflow.ci_merge_admission_emit { ci_floor_disposition_marker_init_script }
import extdeps.git {
git_remote_ref_parts,
git_fetch_no_tags_shell,
Expand Down
2 changes: 1 addition & 1 deletion dag/gunbc/host_build_cache_provision.dag
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ data host_build_cache_provision_realize_scaffold: Disposition = Scaffold {
data ci_sccache_opportunistic_detect_scaffold: Disposition = Scaffold {
dissolves_to: RealizationDispatch,
bind: DeclarationRef {
module_path: "gunbc.ci_materialization",
module_path: "v2.workflow.ci_materialization_emit",
decl_name: "ci_sccache_provider_shell_injection",
field: WholeDeclaration,
}
Expand Down
6 changes: 0 additions & 6 deletions dag/gunbc/language_source_scaffold_index.dag
Original file line number Diff line number Diff line change
Expand Up @@ -354,11 +354,6 @@ data ct_row_ct_profile_reconcile_test: LanguageSourceScaffoldRow = LanguageSourc
disposition: compiler_tests_profile_trigger
}

data ct_row_ct_render_rust_applied_type_qualified_base_test: LanguageSourceScaffoldRow = LanguageSourceScaffoldRow {
carrier_module: "v1.compiler.compiler_tests_rust", blob_decl: "ct_render_rust_applied_type_qualified_base_test",
disposition: compiler_tests_rust_hand_assertion_scaffold_trigger
}

data compiler_tests_coercion_hybrid_trigger: Disposition = Scaffold {
dissolves_to: SingleAuthority,
bind: DeclarationRef {
Expand Down Expand Up @@ -400,7 +395,6 @@ data language_source_scaffold_roster: List<LanguageSourceScaffoldRow> = [
ct_row_ct_profile_self_compile_test,
ct_row_ct_profile_full_pipeline_test,
ct_row_ct_profile_reconcile_test,
ct_row_ct_render_rust_applied_type_qualified_base_test,
runtime_rust_header_row,
runtime_rust_work_counter_row,
runtime_rust_concat_trait_row,
Expand Down
17 changes: 1 addition & 16 deletions dag/gunbc/merge_admission_produce.dag
Original file line number Diff line number Diff line change
Expand Up @@ -248,7 +248,7 @@ data ci_floor_disposition_marker_path: String = "target/ci-floor-disposition.txt
data ci_floor_disposition_marker_init_scaffold: Disposition = Scaffold {
dissolves_to: SingleAuthority,
bind: DeclarationRef {
module_path: "gunbc.merge_admission_produce",
module_path: "v2.workflow.ci_merge_admission_emit",
decl_name: "ci_floor_disposition_marker_init_script",
field: WholeDeclaration
}
Expand All @@ -258,21 +258,6 @@ data ci_floor_disposition_marker_init_shell_emit_dissolution_trigger: String = "

data ci_floor_disposition_marker_init_note: String = "Positive floor-running stamp at the start of every floor step clears stale documentation_only_skipped left in target/ on persistent self-hosted runners (review 37010 / operator ruling 2026-07-11). Receipt gates skip only on an exact documentation_only_skipped match — never on file presence alone."

fn ci_floor_disposition_marker_init_script() -> String {
concat(
concat("# ", concat(ci_floor_disposition_marker_init_shell_emit_dissolution_trigger, "\n")),
concat(
concat("# ", concat(ci_floor_disposition_marker_init_note, "\n")),
concat(
concat("mkdir -p target\n"),
concat(
concat("echo ", merge_admission_floor_disposition_floor_running),
concat(" > ", concat(ci_floor_disposition_marker_path, "\n"))
)
)
)
)
}

data merge_admission_stamp_documentation_only_skip_policy: String = "CI_FLOOR_DISPOSITION=documentation_only_skipped stamps merge-admission conclusion Skipped (not Success) — floor-not-run ≠ floor-green per §5; distinct from CI_FLOOR_EXIT=0 laundering"

Expand Down
Loading
Loading