deterministic-verification

Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

Every tool you've tried edits the document. That's why nothing holds — the document was never the source. Meaning is. Branch it, simulate a change before it exists, bind an approval to the exact state a human read, and let a merge preserve a conflict instead of inventing a number. Verified offline by a stranger. No model, no account. MIT.

GeoTask — 面向AI智能体的可验证时空世界模型| Verifiable spatiotemporal world model for AI agents.

Turn "AI writes code" into a ticket pipeline with guardrails: product design → ticket design → agent-driven implementation with deterministic verification.

🏛️ Deterministic rejection layer for computational legal claims. Verifies dates, amounts, and structured constraints; blocks unproven legal outputs.

Deterministic MCP Security Architecture. FrozenNamespace as Root of Trust for Model Context Protocol tool verification

Deterministic validation firewall that verifies AI-generated proposals against ground-truth state using immutable rules. Zero dependencies. Patent pending.

Proof records linking detection, validation, and evidence-backed claims.

let it loop (LIL): Deterministic AI engineer for complex coding. Hybrid LLM+Python with CONTRACT SYSTEM parsing intent, decomposing goals, enforcing checks, deterministic Python orchestration. Durable state/checkpoints survive crashes. Multi-reviewer QC with claim-scoped arbitration. Supervisor orchestrates multi-contract goals. BYO LLM. 1121 tests

Validation harnesses, test cases, and reports for detection quality gates.

Reliability Harness v2 for ZCode (GLM-5.2 / ZAI) — task contracts, least-privilege sub-agents, clean-checkout verification, and a deterministic done-gate. Orthogonal agents (scout/spec-critic/test-designer/lead/verifier/adversary) instead of 3 identical thinking clones. Mythos-inspired, not a model swap or 1:1 emulation.

The DS for Art Basel 2018, Basel University Diploma certifications, to process corporate registration on TV in 1h37 in Switzerland's Canton of Zug and more. As Proxeus switched to a NPO, open source all codebase and the new maintainers rewrote an inferior DS to take credit. My superior and proven track record DS is abandonware and I take ownership.

Reliability Harness v2 for OpenCode CLI — task contracts, least-privilege sub-agents, clean-checkout verification, and a deterministic done-gate. Orthogonal agents (scout/spec-critic/test-designer/lead/verifier/adversary) instead of 3 identical thinking clones. Compatible with Oh My OpenAgent. Not a model swap or 1:1 emulation.

LogOS A closed-loop cognitive Operating surface: written in Rust, deployed via self-verifying 'narrow-waist' Nix OS + Mirage OS Uniquernel to Google Cloud Run/Kubernetes,

Platform architecture and operational components supporting the security stack.

Deterministic local proof harness for verifying AI agent recommendation claims against source-of-truth fixtures, with append-only outcome logs.

A typed SDK for structured output from AI models using Zod schemas.

Deterministic verification termination oracle (ContractGate) for FTQC quantum modules — exit 0 ⟺ sealed.json ⟺ loop terminates. Reuses established deterministic verification (tableau/ZX); novelty is the agentic-loop termination oracle + binary seal/registry + FTQC resource integration.

GPT-5.6 proposes. A human approves. Deterministic checks decide if educational content ships.

Reliability Harness v2 for Grok Build CLI — task contracts, least-privilege sub-agents, clean-checkout verification, and a deterministic done-gate. Orthogonal agents (scout/spec-critic/test-designer/lead/verifier/adversary) instead of 3 identical thinking clones. Mythos-inspired, not a model swap or 1:1 emulation.