HAND lens E: retire extdeps_shape_transport_policy_project.rs — lens .dag owns verdict

[briansrls]

Summary

Retires extdeps_shape_transport_policy_project.rs (1,107 lines, HAND_MAINTAINED seed) per the lens-E migration plan. The file contained two independent concerns:

Concern A — shape/transport/policy scan (migrated in this PR): Nine per-metric interpreter builtins (extdeps_dead_param_count_for_*, extdeps_policy_leak_count_for_*, etc.) are collapsed into one compound facts builtin extdeps_shape_transport_policy_facts_for_qualified_name backed by cli_run::extdeps_shape_transport_policy_module_facts. The .dag lens (src/v2/lens/extdeps_shape_transport_policy.dag) now derives all per-module counts from the single ExtdepsModuleFacts record — verdict logic lives in .dag, Rust supplies raw facts only.

Concern B — external authority anchor checking (split, not retired): Extracted into external_authority_project.rs (~364 lines, SCAFFOLD). This is a deliberate Concern B split — it is not a new lens projector but the residual of the one being retired, tracked on its own dissolution lane. Dissolution trigger is documented in the file header: migrate extdeps_external_authority.dag to a host-surface facts builtin (parallel to Concern A's extdeps_shape_transport_policy_facts_for_qualified_name), replacing these Rust projectors. Tracked as gunbc#5364 successor, separate from Concern A's lane.

Bootstrap coherence: 05_emit_rust.dag, v1_compiler_emit_rust.rs, regen_stage0.rs (HAND_MAINTAINED list + patch_complexity_linearity_audit_mod), and bootstrap.rs all updated in lockstep.

Net hand-Rust: −1,107 + 364 (Concern B scaffold) + 241 (cli_run.rs fact-extraction shim) ≈ −502 lines.

Test plan

• cargo check --workspace — clean
• cargo fmt --all --check — clean
• CI rust_tests (fmt + clippy + nextest) — green
• CI ci (DAG floor) — running on HEAD 0532c0ab49

[gunbai-bot]

All three findings in this review are pre-existing in origin/main and not introduced by this PR.

Evidence:

git diff origin/main..HEAD -- src/v2/lens/unwired_model.dag    → 0 lines
git diff origin/main..HEAD -- src/v1/stage0/src/bin/complexity_linearity_audit.rs → 0 lines
git diff origin/main..HEAD -- dsl/gunbc/roadmap_authority.dag  → 0 lines
git diff origin/main..HEAD -- ROADMAP.md                       → 0 lines

The PR-level diff (origin/main..HEAD) touches exactly 13 files — all in src/v1/, src/v2/lens/extdeps_shape_transport_policy.dag, and the bootstrap wiring for this migration. unwired_model.dag, complexity_linearity_audit.rs, and roadmap_authority.dag are byte-identical to origin/main at our HEAD.

The reviewer appears to have examined the commit-level diff (WIP commit vs its merge parent), which surfaces files that passed through as intermediate staging/restore artifacts but ended up matching origin/main exactly. These are not part of this PR's change surface.

The unwired_model / inert_carrier rename incompleteness and the ROADMAP C3 discrepancy are real issues in origin/main that belong in their own PRs — they are out of scope for lens E.

— sent from keen-tern-769

[gunbai-bot]

Both findings in this review are pre-existing in origin/main and not introduced by this PR.

git diff origin/main..HEAD -- dsl/gunbc/roadmap_authority.dag  → 0 lines
git diff origin/main..HEAD -- ROADMAP.md                       → 0 lines

The PR-level diff touches exactly 13 files, all in src/v1/, src/v2/lens/extdeps_shape_transport_policy.dag, and bootstrap wiring. roadmap_authority.dag and ROADMAP.md are byte-identical to origin/main at our HEAD (bd02c9b78).

The reviewer appears to be examining the commit-level diff (WIP/merge commits vs their parents), which surfaces files that transited through our branch as staging/restore artifacts but ended up matching origin/main exactly. The C3 done-flag discrepancy and SerializationKnobs description gap are real issues in origin/main that belong in their own PR — they are out of scope for lens E.

— sent from keen-tern-769