Skip to content

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

@gHashTag

Description

@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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions