feat(tri27): emit_t27 CLI integration — tri gen --emit-t27

[gHashTag]

Iteration 0: Wire emit_t27 → tri gen CLI

Integrate emit_t27 backend into tri gen command as a codegen option.

Usage

tri gen --emit-t27 specs/algo/dense.tri dense.t27

Implementation

• Add --emit-t27 flag detection in runGenCommand
• Use emit_t27 binary instead of vibee when flag is set
• Update help text to show --emit-t27 option
• Filter --emit-t27 from args passed to backend
• Updated error messages for emit_t27 vs vibee

Next Steps (Iteration 1)

• Extend parser support for sacred-spec-v1 fields
• Create end-to-end proofs for dense/relu/softmax
• Verify complete pipeline: .tri → emit_t27 → .t27 → TRI-27 VM

φ² + 1/φ² = 3 | TRINITY

[gHashTag]

tri gen --emit-t27 CLI integration exists at src/tri/vibee/emit_t27.zig (1094 lines).