https://www.omegaprotocol.org/ https://www.omegaprotocol.org/bundle/n-1/ https://www.omegaprotocol.org/cases/agent-authorisation-boundaries/ https://www.omegaprotocol.org/cases/cvc5/ https://www.omegaprotocol.org/cases/pandapower/ https://www.omegaprotocol.org/cases/pulp-ecc/ https://www.omegaprotocol.org/cases/pybamm/ https://www.omegaprotocol.org/cases/pyscf-analytic-gradient/ https://www.omegaprotocol.org/cases/torchdynamo-compiled-versus-eager/ https://www.omegaprotocol.org/cases/unreal-instrument-qualification/ https://www.omegaprotocol.org/claim-check/ https://www.omegaprotocol.org/collective/ https://www.omegaprotocol.org/collective/exhibit/ https://www.omegaprotocol.org/evidence/ https://www.omegaprotocol.org/evidence/n-1/ https://www.omegaprotocol.org/evidence/public-audit/ https://www.omegaprotocol.org/findings/ https://www.omegaprotocol.org/findings/authorized-limit-and-executed-write-disagreed/ https://www.omegaprotocol.org/findings/budget-bound-for-all-reachable-states/ https://www.omegaprotocol.org/findings/cjson-does-not-round-trip-numbers/ https://www.omegaprotocol.org/findings/commons-compliant-collective-breach/ https://www.omegaprotocol.org/findings/completed-sample-count-depends-on-scorer-order/ https://www.omegaprotocol.org/findings/concurrent-capability-bound-over-interleavings/ https://www.omegaprotocol.org/findings/ecc-decoder-syndrome-output-never-driven/ https://www.omegaprotocol.org/findings/judge-agreement-is-partly-forced-by-accuracy/ https://www.omegaprotocol.org/findings/judge-agreement-undetermined-at-n45/ https://www.omegaprotocol.org/findings/judge-passed-checker-proved-violation/ https://www.omegaprotocol.org/findings/judges-disagree-in-opposite-directions/ https://www.omegaprotocol.org/findings/monitoring-arm-recorded-preventions-that-executed/ https://www.omegaprotocol.org/findings/n-1-permit-membership/ https://www.omegaprotocol.org/findings/pandapower-unsupported-vector-groups-return-converged/ https://www.omegaprotocol.org/findings/pybamm-basicdfn-variable-transference-drift/ https://www.omegaprotocol.org/findings/pyscf-df-ccsd-gradient-matches-finite-differences/ https://www.omegaprotocol.org/findings/spcu-defects-passed-every-property/ https://www.omegaprotocol.org/findings/sum-rule-holds-where-per-agent-cap-fails/ https://www.omegaprotocol.org/findings/tamper-of-a-sealed-record-forces-a-collision/ https://www.omegaprotocol.org/findings/tools-hidden-from-discovery-remain-callable/ https://www.omegaprotocol.org/findings/torchdynamo-compiled-result-stale-under-instance-change/ https://www.omegaprotocol.org/findings/training-run-rederives-bit-for-bit/ https://www.omegaprotocol.org/findings/truncated-module-passed-its-tests/ https://www.omegaprotocol.org/findings/unreal-validator-never-read-instantiated-geometry/ https://www.omegaprotocol.org/findings/verifier-green-run-could-not-fail/ https://www.omegaprotocol.org/how-checks-fail/ https://www.omegaprotocol.org/method/ https://www.omegaprotocol.org/privacy/ https://www.omegaprotocol.org/projects/ https://www.omegaprotocol.org/projects/capctl-iris/ https://www.omegaprotocol.org/projects/collective-bound/ https://www.omegaprotocol.org/projects/commons-agent-lab/ https://www.omegaprotocol.org/projects/compositional-temporal-safety/ https://www.omegaprotocol.org/projects/escrow-budget-mpst/ https://www.omegaprotocol.org/projects/escrow-budget/ https://www.omegaprotocol.org/projects/evaltrust/ https://www.omegaprotocol.org/projects/evidence-audit/ https://www.omegaprotocol.org/projects/inspect-audit/ https://www.omegaprotocol.org/projects/inspect-replay/ https://www.omegaprotocol.org/projects/mcp-authority-boundary/ https://www.omegaprotocol.org/projects/mcp-boundary-audit/ https://www.omegaprotocol.org/projects/nanogpt-provenance/ https://www.omegaprotocol.org/projects/omega/ https://www.omegaprotocol.org/projects/proof-carrying-evals/ https://www.omegaprotocol.org/projects/safeguards-control-plane/ https://www.omegaprotocol.org/projects/semdiff/ https://www.omegaprotocol.org/projects/spcu-verification/ https://www.omegaprotocol.org/projects/vsf-cjson/ https://www.omegaprotocol.org/record/ https://www.omegaprotocol.org/research/ https://www.omegaprotocol.org/research/upstream/ https://www.omegaprotocol.org/sample-report/