DARPA CLARA TA1 – tri build & demo pipeline before Apr 17

[gHashTag]

DARPA CLARA (Compositional Learning‑And‑Reasoning for AI Complex Systems) full proposal is due April 17, 2026, 4:00 PM ET.

CLARA TA1 targets new approaches for high‑assurance ML+AR with provable polynomial‑time behavior, verifiability, and compositional reasoning, with open‑source software deliverables.

Trinity already has the core pieces (HSLM ternary NN, VSA symbolic layer, Queen Lotus reasoning, FPGA path), but we need a clean, reproducible tri build + CLARA demo pipeline.

Goal

By the CLARA full‑proposal deadline:

• tri builds cleanly (via Docker and/or Railway).
• A single command (tri clara demo) runs an end‑to‑end CLARA‑style pipeline with proof‑style explanation.
• Copy‑pasteable "How to run" section for the proposal.

Tasks

• Fix remaining Zig 0.15 build issues so that zig build tri succeeds
• Ensure tri builds inside Docker
• Wire tri railway to the build pipeline
• Implement tri clara demo command (HSLM → VSA → explanation)
• Write docs/clara_demo.md README

Out of scope

• Full formalization of all Trinity theorems
• Complete CLARA proposal text

References

• https://www.darpa.mil/research/programs/clara
• https://www.darpa.mil/work-with-us/opportunities/darpa-pa-25-07-02

[gHashTag]

Issue resolved - all tasks completed. See #486 for active tri build & demo pipeline task.