Skip to content

docs(probes): 6-module + 13-tail confirmation TSVs post-#6883 #6891

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 5 commits into from
Jul 19, 2026
Merged

docs(probes): 6-module + 13-tail confirmation TSVs post-#6883 #6891

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
8c6d03e
docs(probes): 6-module + 13-tail confirmation TSVs post-#6883/#6886/#…
Jul 19, 2026
a483fa4
docs(probes): classify v2_std_text E0433 as emitter closure-manifest gap
Jul 19, 2026
b9ec2e4
WIP: unresolved_compiler_error diagnosis + fix: 6 modules (00_compile…
Jul 19, 2026
431eca9
fix(probes): add SCAFFOLD dissolve-on header to flip confirmation runner
Jul 19, 2026
d50fecc
Merge remote-tracking branch 'origin/main' into session/neat-swift-79…
Jul 19, 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
19 changes: 19 additions & 0 deletions docs/probes/flip_wave_feeder_13tail_post_6883_2026-07-19.tsv
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
# Flip-wave feeder 13-tail confirmation post-#6883 emit-retain (FreeMonoid-only expected)
# main_head=628ebe126bec probed_at=2026-07-19T15:02:50Z CSSL_STD_SEED_LINK=1 shim=empty
# gunbc_sha256_prefix=ec27b11877d479b4 cssl_assemble_sha256_prefix=214e954194db0f89
# probe: scripts/curated_cargo_probe_one.sh (calm-boar invocation contract)
# SUMMARY: 13/13 refuse FreeMonoid only; 0 HARNESS_ARTIFACT_std_dup; 0 ResolvedTree/InferredTree residue — post-#6883 emit-retain CONFIRMED
module branch_head cssl_std_seed_link shim_lib_rel emit cargo first_error mapped_gate verdict probe_notes
src/v2/compiler/01_tokenize.dag 628ebe126bec 1 22 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/04_infer.dag 628ebe126bec 1 49 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/program_partition.dag 628ebe126bec 1 64 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/05_emit.dag 628ebe126bec 1 58 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/05_emit_orchestration.dag 628ebe126bec 1 66 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/05_eval.dag 628ebe126bec 1 56 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/06_translate.dag 628ebe126bec 1 57 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/emit_host.dag 628ebe126bec 1 67 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/emit_module.dag 628ebe126bec 1 59 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/emit_produced.dag 628ebe126bec 1 68 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — Optional std_dup CLEARED by #6886
src/v2/compiler/emit_semantic_decl.dag 628ebe126bec 1 59 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/fold_lowering.dag 628ebe126bec 1 41 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
src/v2/compiler/self_host.dag 628ebe126bec 1 34 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid-only layer confirmed
13 changes: 13 additions & 0 deletions docs/probes/gate_a_flip_wave_6mod_reprobe_2026-07-19.tsv
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# Gate-A flip-wave 6-module re-probe post-#6888+#6886+#6883
# main_head=628ebe126bec probed_at=2026-07-19T15:02:50Z CSSL_STD_SEED_LINK=1 shim=empty
# gunbc_sha256_prefix=ec27b11877d479b4 cssl_assemble_sha256_prefix=214e954194db0f89
# probe: scripts/curated_cargo_probe_one.sh (calm-boar invocation contract)
# SUMMARY: 6/6 emit 0 diag; 0/6 cargo-green; 0/6 std_dup/HARNESS_ARTIFACT; 5/6 refuse FreeMonoid; 1/6 refuse v2_std_text
# materialization_carriers v2_std_text E0433: PERSISTS post-#6883 — MECHANISM: emitter closure-manifest gap (05_emit_rust hardcodes crate::v2_std_text:: refs; gunbc compile omits v2_std_text.rs + pub mod from closure lib.rs). NOT cssl assembly-roster (assembler projects emitted manifest faithfully). DISTINCT receipt from FreeMonoid import-emission; same package, two roots.
module branch_head cssl_std_seed_link shim_lib_rel emit cargo first_error mapped_gate verdict probe_notes
src/v2/compiler/00_compile.dag 628ebe126bec 1 131 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid pass
src/v2/compiler/02_parse.dag 628ebe126bec 1 72 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid pass
src/v2/compiler/03_ingest.dag 628ebe126bec 1 133 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid pass
src/v2/compiler/materialization_carriers.dag 628ebe126bec 1 39 files emitted, 0 diagnostics refuse error[E0433]: cannot find `v2_std_text` in `crate` EMITTER_closure_manifest EMITTER_GAP_DISTINCT v2_std_text absent from emit closure manifest — NOT harness roster; receipt = cargo-green when v2.std.text included
src/v2/compiler/program_assembly.dag 628ebe126bec 1 101 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid pass
src/v2/compiler/source_authority.dag 628ebe126bec 1 99 files emitted, 0 diagnostics refuse error[E0425]: cannot find type `FreeMonoid` in this scope namespace_resolution CONFIRMED-namespace LIVE — FreeMonoid pass
79 changes: 79 additions & 0 deletions scripts/run_flip_confirmation_probes.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
#!/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 flip-wave 6 + feeder 13 rosters.
# 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 flip-wave + 13-tail confirmation probes (neat-swift-795, 2026-07-19).
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)"

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)}')"

probe_modules() {
local title="$1"
local out_tsv="$2"
shift 2
local -a modules=("$@")
{
echo "# $title"
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 -e "module\tbranch_head\tcssl_std_seed_link\tshim_lib_rel\temit\tcargo\tfirst_error\tmapped_gate\tverdict"
} >"$out_tsv"
for m in "${modules[@]}"; do
echo "==> $m" >&2
row="$("$PROBE" "$m")"
IFS=$'\t' read -r mod emit cargo err gate verdict <<<"$row"
printf '%s\t%s\t1\t\t%s\t%s\t%s\t%s\t%s\n' \
"$mod" "$HEAD_SHORT" "$emit" "$cargo" "$err" "$gate" "$verdict" >>"$out_tsv"
done
echo "wrote $out_tsv" >&2
}

SIX=(
src/v2/compiler/00_compile.dag
src/v2/compiler/02_parse.dag
src/v2/compiler/03_ingest.dag
src/v2/compiler/materialization_carriers.dag
src/v2/compiler/program_assembly.dag
src/v2/compiler/source_authority.dag
)

THIRTEEN=(
src/v2/compiler/01_tokenize.dag
src/v2/compiler/04_infer.dag
src/v2/compiler/program_partition.dag
src/v2/compiler/05_emit.dag
src/v2/compiler/05_emit_orchestration.dag
src/v2/compiler/05_eval.dag
src/v2/compiler/06_translate.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
src/v2/compiler/fold_lowering.dag
src/v2/compiler/self_host.dag
)

probe_modules \
"Gate-A flip-wave 6-module re-probe post-#6888+#6886+#6883" \
"$ROOT/docs/probes/gate_a_flip_wave_6mod_reprobe_2026-07-19.tsv" \
"${SIX[@]}"

probe_modules \
"Flip-wave feeder 13-tail confirmation post-#6883 emit-retain (FreeMonoid-only expected)" \
"$ROOT/docs/probes/flip_wave_feeder_13tail_post_6883_2026-07-19.tsv" \
"${THIRTEEN[@]}"

echo "DONE probes @ $HEAD_SHORT" >&2
Loading