Skip to content

Deep-module probe baseline TSVs for self-emit lane fan-out #6916

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 1 commit into from
Jul 20, 2026
Merged

Deep-module probe baseline TSVs for self-emit lane fan-out #6916

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
15 changes: 15 additions & 0 deletions docs/probes/deep_module_baseline_2026-07-20.tsv
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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)
75 changes: 75 additions & 0 deletions scripts/run_deep_module_baseline_probes.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Loading