test-ratchet red on every PR: Completeness.lean still models the 22 spec stubs #8054 deleted #8222

Problem

test-ratchet is red on every pull request since #8054 ("t27b vacuous: delete 22 empty generated spec stubs") landed. #8183 and #8155 both show it.

The failing test is corpus_classifier_matches_lean_completeness in bootstrap/tests/icarus_lowerable.rs:

unexpected envs without matching specs: ["automation_wrapup_auto", ..., "tri_utils_colors"]   (26, expected 4)

proofs/lean4/Trinity/IcarusLowerable/Completeness.lean still holds an _env, a _module and a _lowerable theorem for each of the 22 deleted specs. The test allows exactly four Lean-only witnesses with no .t27 file: automation_wrapup_auto, igla_w521_2d_aos_param_soundness, igla_w524_2d_packed_aos_param_module and physics_gamma_conflict. The other 22 are models of files that no longer exist.

Nothing else references those 22 names: no other proof file, no doc and no bootstrap code. None of them is in docs/reports/lean_completeness_mismatches.json.

Fix

Delete the 22 env/module/theorem triples from Completeness.lean. Do not widen expected_missing in the test: these models describe empty stubs, not formal witnesses.

Acceptance criteria

• cargo test -p t27c --test icarus_lowerable corpus_classifier_matches_lean_completeness passes on the branch and fails on master
• Completeness.lean names none of the 22: sacred_* (7), tri_agent_* (5), tri_pipeline_* (5), ml_activation_silu_swish_vbt_activation, tri_collections_context, tri_net_cloud, tri_utils_arrow_time and tri_utils_colors

Boundary

proofs/lean4/Trinity/IcarusLowerable/Completeness.lean

User Scenarios

• Given the 22 empty spec stubs were deleted in t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) #8054, When the test corpus_classifier_matches_lean_completeness runs, Then it passes because Completeness.lean no longer contains env/module/theorem triples for those deleted specs.

Requirements

• FR-001: The 22 env/module/theorem triples for sacred_* (7), tri_agent_* (5), tri_pipeline_* (5), ml_activation_silu_swish_vbt_activation, tri_collections_context, tri_net_cloud, tri_utils_arrow_time, and tri_utils_colors MUST be deleted from proofs/lean4/Trinity/IcarusLowerable/Completeness.lean.
• FR-002: The test corpus_classifier_matches_lean_completeness MUST allow exactly the four Lean-only witnesses (automation_wrapup_auto, igla_w521_2d_aos_param_soundness, igla_w524_2d_packed_aos_param_module, physics_gamma_conflict) and no others.
• FR-003: The command cargo test -p t27c --test icarus_lowerable corpus_classifier_matches_lean_completeness MUST exit 0 on the branch and fail on master.