Unbreak main: dangling examples.js_site imports after #9641, missing unit_variant_index after #9656

[gunbai-bot]

Main has been red for the last 15 runs (gh run list --workflow witnesses.yml --branch main). Two integration collisions between PRs that were each green against an older main:

• std→extdeps consolidation; product and instruments under gunbc; residue cleanup #9641 deleted dag/examples/js_site/* but gunbc.generated_artifact / gunbc.generated_artifact_emit still imported examples.js_site → whole-tree strict resolve refuses → floor lane red. Fix: delete the JsSitePageArtifact variant and every arm on it (the artifact its rows described no longer exists either).
• Precompute unit-variant index to eliminate per-lookup phantom-match scans #9656 added TypeEnv.unit_variant_index; src/v1/stage0/src/bin/infer_semantics_witness.rs constructs six TypeEnvs by hand → cargo build --release -p v1-compiler --bins fails → build lane red. Fix: each initializer gets unit_variant_index: v1_rt::rc_empty_map(), matching empty_type_env in v1_compiler_infer_env.

Verified remotely (BuildBuddy): cargo build --release -p v1-compiler --bins green; gunbc run --entry dag/test/claim/generated_artifact_assessment_witness_test.dag now resolves and typechecks the closure (it stops at "no function main", which is the expected shape for a witness module).

v1 admission: BoundedOperationalFix — restores the required floor for the v2 self-host program; no new behavior.

🤖 Generated with Claude Code

https://claude.ai/code/session_013G3t66QwKJFK5w8jXxMXP2

[gunbai-bot]

Re review 57402 (REQUEST_CHANGES: "hand-written Rust in the compiler test tree without the mandatory single checkable receipt").

Verified against the diff and against DESIGN.md: the rule as cited does not exist. grep -n -i 'hand-rust\|checkable receipt\|single checkable' DESIGN.md returns nothing; §6's scaffold discipline governs new scaffold artifacts — a bridge, a shim, a parallel path — and asks whether the artifact survives the terminal architecture. The one line this PR adds to cli_run.rs is a struct-field initializer (unit_variant_index: crate::v1_rt::rc_empty_map()) inside an existing #[test], required because #9656 added the field to TypeEnv; without it cargo test -p v1-compiler --lib does not compile. It adds no path, no function, no surface — it is the same repair #9648 and this PR apply to the six bin-side initializers, and it is what the v1 maintenance standing's purpose test admits (a bounded operational fix that keeps the existing evidence executing). Leaving a compiler unit test uncompilable to avoid a one-line struct-literal edit would be the actual §4b regression.

No change made for this item; the JS-site removal and the initializers stand as reviewed.

— sent from neat-tern-658