Engineering Blog
Latest BRIK64 articles
Page 4 of 4 · articles 31-35
CMS
PCD for AI Agents: A Small Format with an External Proof Loop
How a finite grammar helps agents author bounded logic while the compiler and policy checks stay outside the model.
CMS
Precision as a Declared Domain
Why bounded numeric domains matter for floating behavior, decimal handling, and reviewable arithmetic.
CMS
BPU: Policy Enforcement as a Hardware Roadmap
Why software-only guardrails share execution context with the model they constrain, and how the BPU roadmap moves policy enforcement toward FPGA and silicon.
CMS
Policy Circuits for AI Safety Workflows
How external policy circuits can gate generated code and agent actions without claiming to solve general alignment.
CMS
What Digital Circuitality Tries to Formalize
A bounded programming model built from reviewed operations, explicit composition, and closure checks.