Unsealed specs, do not compile: undeclared identifiers: batch 3 of 9 (21 specs) #8396

Part of #8393 (epic #8095). These specs do not compile: the generated Zig uses an identifier nothing declares. Without a seal, t27c frontier can never reuse their verdict.

Attribute an error to the file it is in: an identifier that comes from an import is fixed in the import or the imported spec.

Acceptance criteria

• t27c test-report <spec> prints no does not compile line for any spec under Boundary.
• With the line above satisfied, every spec under Boundary reports FAIL 0 and at least one pass, and no test or invariant is deleted to get there.
• Every spec under Boundary has a v2 seal written by t27c seal <spec> --save: seal_schema 2, tests.failed 0, committed under .trinity/seals/.
• A defect in the codegen is filed on epic: self-host t27c -- rewrite the compiler from Rust into t27 #5980 with a minimal .t27 repro and linked here; the spec is not rewritten to dodge it.

Boundary

specs/igla/training/scale_up.t27
specs/interop/gf_cross_language.t27
specs/isa/ternary_pattern_matching.t27
specs/isa/ternary_search.t27
specs/isa/ternary_sorting.t27
specs/isa/ternary_tree.t27
specs/math/e8_lie_algebra.t27
specs/math/radix_economy.t27
specs/math/sacred_physics.t27
specs/memory/formula_embed.t27
specs/memory/memory_primitives.t27
specs/memory/semantic_search.t27
specs/ml/activation/elu_activation.t27
specs/ml/activation/gelu_approx_activation.t27
specs/ml/activation/leaky_relu_activation.t27
specs/ml/activation/silu_swish_activation.t27
specs/ml/activation/softmax.t27
specs/ml/activation/tanh_activation.t27
specs/ml/igla_champion_capsule.t27
specs/ml/layers/batchnorm_layer.t27
specs/ml/layers/dense_layer.t27
.trinity/seals/

User Scenarios

• Given the 21 specs listed in Boundary each fail to compile with an undeclared identifier error, When the missing declarations are added or the codegen defect is filed with a minimal repro, Then t27c test-report <spec> prints no "does not compile" line for any of those specs.
• Given all 21 specs compile cleanly, When t27c test-report <spec> is run for each, Then every spec reports FAIL 0 with at least one passing test and no test or invariant was deleted to achieve it.
• Given the specs compile and pass, When t27c seal <spec> --save is run for each, Then a v2 seal is written under .trinity/seals/ with seal_schema 2 and tests.failed 0.

Requirements

FR-001: Each of the 21 specs under Boundary MUST compile without undeclared identifier errors when running t27c test-report <spec>.
FR-002: For each spec, the fix MUST be a declaration in the spec or its imports, not a deletion of any test or invariant.
FR-003: If an undeclared identifier originates from a codegen defect, a minimal .t27 repro MUST be filed on issue #5980 and linked from this issue; the spec MUST NOT be rewritten to dodge the defect.
FR-004: After FR-001 is satisfied, every spec under Boundary MUST report FAIL 0 and at least one pass under t27c test-report <spec>.
FR-005: For each spec under Boundary, t27c seal <spec> --save MUST produce a v2 seal file under .trinity/seals/ with seal_schema 2 and tests.failed 0.

Success Criteria

• t27c test-report specs/igla/training/scale_up.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/interop/gf_cross_language.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/isa/ternary_pattern_matching.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/isa/ternary_search.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/isa/ternary_sorting.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/isa/ternary_tree.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/math/e8_lie_algebra.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/math/radix_economy.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/math/sacred_physics.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/memory/formula_embed.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/memory/memory_primitives.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/memory/semantic_search.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/activation/elu_activation.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/activation/gelu_approx_activation.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/activation/leaky_relu_activation.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/activation/silu_swish_activation.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/activation/softmax.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/activation/tanh_activation.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/igla_champion_capsule.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/layers/batchnorm_layer.t27 prints no "does not compile" line and exits 0
• t27c test-report specs/ml/layers/dense_layer.t27 prints no "does not compile" line and exits 0
• Each of the 21 specs reports FAIL 0 and at least 1 pass under t27c test-report
• 21 v2 seal files exist under .trinity/seals/ with seal_schema 2 and tests.failed 0