veraxis-protocol / Institutional-Compiler Star 1 Code Issues Pull requests Open-source reference implementation for compiling institutionally warranted policy into machine-operational controls with preserved provenance, versioning, authority boundaries, and verifiable source-to-execution traceability. opa formal-methods open-policy-agent policy-as-code rules-as-code open-policy-agent-python auditability-governance ambiguity-preservation policy-compilation runtime-conformance institutional-authority open-control-envelope institutional-computation institutional-compiler policy-provenance Updated Aug 24, 2026 Python
gustavgauge / specaudit-artifact Star 0 Code Issues Pull requests Artifact for SpecAudit: auditing lossless speculative decoding as a runtime contract reproducibility llm-inference speculative-decoding runtime-conformance systems-evaluation Updated Jun 4, 2026 Python