From 5b8a0d94ef69643c60325ae670463d96e607c1bc Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 20 Jul 2026 05:43:59 +0000 Subject: [PATCH] Add deep-module probe baseline TSVs for self-emit lane fan-out. Execution-measured curated cargo probes on 04_infer, 06_translate, and the 05_emit family establish the post-#6911 refusal census (FreeMonoid-only, std_dup cleared) ahead of deep_module_lanes fan-out. Co-authored-by: Cursor --- .../deep_module_baseline_2026-07-20.tsv | 15 ++++ scripts/run_deep_module_baseline_probes.sh | 75 +++++++++++++++++++ 2 files changed, 90 insertions(+) create mode 100644 docs/probes/deep_module_baseline_2026-07-20.tsv create mode 100755 scripts/run_deep_module_baseline_probes.sh diff --git a/docs/probes/deep_module_baseline_2026-07-20.tsv b/docs/probes/deep_module_baseline_2026-07-20.tsv new file mode 100644 index 00000000000..d2063afca3f --- /dev/null +++ b/docs/probes/deep_module_baseline_2026-07-20.tsv @@ -0,0 +1,15 @@ +# Deep-module probe baseline (04_infer + 06_translate + 05_emit family) +# main_head=982bc0bc40b7 probed_at=2026-07-20T05:43:52Z CSSL_STD_SEED_LINK=1 shim=empty +# gunbc_sha256_prefix=b4a18d44623e210f cssl_assemble_sha256_prefix=214e954194db0f89 +# probe: scripts/curated_cargo_probe_one.sh (calm-boar invocation contract) +# orchestrator: scripts/run_deep_module_baseline_probes.sh +# SUMMARY: 8/8 refuse FreeMonoid-only (E0425); 0 HARNESS_ARTIFACT_std_dup; 0 Gate_A — post-#6911 baseline for deep_module_lanes fan-out +module branch_head cssl_std_seed_link shim_lib_rel emit cargo first_error mapped_gate verdict probe_notes +src/v2/compiler/04_infer.dag 982bc0bc40b7 1 49 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (deep lane 1) +src/v2/compiler/06_translate.dag 982bc0bc40b7 1 57 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (deep lane 2) +src/v2/compiler/05_emit.dag 982bc0bc40b7 1 58 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (deep lane 3 core) +src/v2/compiler/05_emit_orchestration.dag 982bc0bc40b7 1 66 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (deep lane 3 orchestration) +src/v2/compiler/emit_host.dag 982bc0bc40b7 1 83 files emitted, 1 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (05_emit family) +src/v2/compiler/emit_module.dag 982bc0bc40b7 1 59 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (05_emit family) +src/v2/compiler/emit_produced.dag 982bc0bc40b7 1 68 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (05_emit family) +src/v2/compiler/emit_semantic_decl.dag 982bc0bc40b7 1 59 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer (05_emit family) diff --git a/scripts/run_deep_module_baseline_probes.sh b/scripts/run_deep_module_baseline_probes.sh new file mode 100755 index 00000000000..8552f3b8c41 --- /dev/null +++ b/scripts/run_deep_module_baseline_probes.sh @@ -0,0 +1,75 @@ +#!/usr/bin/env bash +# SCAFFOLD — dissolve-on: tools.self_host_curated_seed_linked_harness on main post-#6782 +# (+ generic std-seed-link follow-up) retires this hand-shell batch probe orchestrator; until +# then it sequences curated_cargo_probe_one.sh over the four deep-lane targets (04_infer, +# 06_translate, 05_emit family) for baseline TSV receipts. +# dissolve-on alt: gunbc bash-emit #5828 / modeled cssl_probe sweep transport in .dag. +# Authority: delegates per-module verdicts to scripts/curated_cargo_probe_one.sh → +# dag/tools/self_host_curated_probe_cargo.dag (no parallel probe spine). +# One-shot deep-module baseline probes (sharp-ferret-568, 2026-07-20). +set -euo pipefail +ROOT="$(cd "$(dirname "$0")/.." && pwd)" +cd "$ROOT" +export CSSL_STD_SEED_LINK=1 +PROBE="$ROOT/scripts/curated_cargo_probe_one.sh" +HEAD="$(git rev-parse HEAD)" +HEAD_SHORT="${HEAD:0:12}" +TS="$(date -u +%Y-%m-%dT%H:%M:%SZ)" +DATE_TAG="$(date -u +%Y-%m-%d)" +OUT_TSV="${ROOT}/docs/probes/deep_module_baseline_${DATE_TAG}.tsv" + +CTRL_BUILD_WRAP_CARGO=0 cargo build --release -p v1-compiler --bin gunbc --bin cssl_assemble >/dev/null +GUNBC_HASH="$(sha256sum target/release/gunbc | awk '{print substr($1,1,16)}')" +CSSL_HASH="$(sha256sum target/release/cssl_assemble | awk '{print substr($1,1,16)}')" + +# Four deep-lane fan-out targets: 04_infer, 06_translate, 05_emit core + 05_emit family satellites. +DEEP_MODULES=( + src/v2/compiler/04_infer.dag + src/v2/compiler/06_translate.dag + src/v2/compiler/05_emit.dag + src/v2/compiler/05_emit_orchestration.dag + src/v2/compiler/emit_host.dag + src/v2/compiler/emit_module.dag + src/v2/compiler/emit_produced.dag + src/v2/compiler/emit_semantic_decl.dag +) + +mkdir -p "$(dirname "$OUT_TSV")" +{ + echo "# Deep-module probe baseline (04_infer + 06_translate + 05_emit family)" + echo "# main_head=$HEAD_SHORT probed_at=$TS CSSL_STD_SEED_LINK=1 shim=empty" + echo "# gunbc_sha256_prefix=$GUNBC_HASH cssl_assemble_sha256_prefix=$CSSL_HASH" + echo "# probe: scripts/curated_cargo_probe_one.sh (calm-boar invocation contract)" + echo "# orchestrator: scripts/run_deep_module_baseline_probes.sh" + echo -e "module\tbranch_head\tcssl_std_seed_link\tshim_lib_rel\temit\tcargo\tfirst_error\tmapped_gate\tverdict\tprobe_notes" +} >"$OUT_TSV" + +for m in "${DEEP_MODULES[@]}"; do + echo "==> $m" >&2 + row="$("$PROBE" "$m")" + IFS=$'\t' read -r mod emit cargo err gate verdict <<<"$row" + case "$mod" in + src/v2/compiler/04_infer.dag) + note="LIVE — FreeMonoid-only layer (deep lane 1)" + ;; + src/v2/compiler/06_translate.dag) + note="LIVE — FreeMonoid-only layer (deep lane 2)" + ;; + src/v2/compiler/05_emit.dag) + note="LIVE — FreeMonoid-only layer (deep lane 3 core)" + ;; + src/v2/compiler/05_emit_orchestration.dag) + note="LIVE — FreeMonoid-only layer (deep lane 3 orchestration)" + ;; + src/v2/compiler/emit_*.dag) + note="LIVE — FreeMonoid-only layer (05_emit family)" + ;; + *) + note="LIVE — FreeMonoid-only layer" + ;; + esac + printf '%s\t%s\t1\t\t%s\t%s\t%s\t%s\t%s\t%s\n' \ + "$mod" "$HEAD_SHORT" "$emit" "$cargo" "$err" "$gate" "$verdict" "$note" >>"$OUT_TSV" +done + +echo "wrote $OUT_TSV" >&2