tersignhq / evidence-record-conformance Star 1 Code Issues Pull requests Two-sided conformance vectors for the evidence-record layer — independence, completeness, anchored existence, phase separation, offer/decision/boundary binding. stdlib-only verifier + independent TypeScript cross-check; live Bitcoin-anchored vectors; externally reproduced byte-identically. independence opentimestamps evidence hash-chain jcs test-vectors keccak256 rfc-8785 x402 agent-economy bitcoin-anchoring conformance-vectors evidence-record Updated Aug 30, 2026 Python
raheem-verisigil / verisigil-api Star 1 Code Issues Pull requests Runtime governance infrastructure for autonomous AI agents. VGS-001 to VGS-011. DOI: 10.5281/zenodo.20264923 post-quantum-cryptography formal-verification autonomous-agents z3-smt-solver tla-plus runtime-enforcement ai-governance eu-ai-act conformance-vectors governance-infrastructure Updated Sep 1, 2026 Python
gHashTag / tt-lang-t27 Star 0 Code Issues Pull requests Open Apache-2.0 numeric-format bridge from t27 (GoldenFloat, arXiv:2606.05017) to tt-lang. GF16 conformance vectors + @t27_kernel decorator. formal-verification numeric-format tenstorrent apache-2-0 tt-lang conformance-vectors goldenfloat Updated Jun 8, 2026 Python