{
  "verified_at": "7 October 2026",
  "scope": "Verified minimum across public Omega repositories and technical reports, not an exhaustive count of all work. One row per separately stated, evidenced conclusion. The older site ledger remains an inspectable subset.",
  "rules": {
    "results": "Count a named scoped conclusion with public result evidence. Count multiple conclusions within one study only when separately stated and evidenced. Deduplicate report/fix pairs and overlapping project/site entries. Exclude private-only results, uncompleted final challenge outcomes, demonstrations without a research conclusion, documentation-only reports, forks without a distinct evidenced contribution, tests, helper lemmas and repeat runs.",
    "instructions": "Subset with publicly accessible code/artifacts and explicit instructions to check or reanalyse the stated result. Frozen-data analysis counts; generating identical new provider outputs does not. Toolchains, API access or model downloads may be required. Availability is not a successful fresh reproduction or independent reproduction.",
    "accepted": "One distinct reported defect fixed or Omega-authored contribution merged by the external project. Require merged_at plus merge commit, or a directly committed maintainer fix explicitly addressing the report. Exclude open, closed-unmerged and self-merged changes. Acceptance is not endorsement."
  },
  "results": [
    {
      "id": "n-1-permit-membership",
      "title": "A start permit assembled entirely from public registry facts, with its reference number derived by the authorizer's own function and committed to no ledger, was accepted by the bounded executor and the registry-named transform was applied; the target's bytes changed.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/omega-n1-permit-membership/blob/efba311b08bb75f054dd49bf8a4f9e1b6f13d614/README.md",
        "commit": "efba311b08bb75f054dd49bf8a4f9e1b6f13d614",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/omega-n1-permit-membership/blob/efba311b08bb75f054dd49bf8a4f9e1b6f13d614/README.md",
        "commit": "efba311b08bb75f054dd49bf8a4f9e1b6f13d614",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/n-1-permit-membership/"
    },
    {
      "id": "authorized-limit-and-executed-write-disagreed",
      "title": "A write of 100,000 bytes executed under a policy that capped writes at 4,096 bytes, while 66 of 66 tests passed, an independent replay verifier returned VERIFIED, and a checked complete-mediation invariant held.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/mcp-authority-boundary/blob/2ea137b9cf83e509234bc24ab96e70d1f8808f7e/README.md",
        "commit": "2ea137b9cf83e509234bc24ab96e70d1f8808f7e",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/mcp-authority-boundary/blob/2ea137b9cf83e509234bc24ab96e70d1f8808f7e/README.md",
        "commit": "2ea137b9cf83e509234bc24ab96e70d1f8808f7e",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/authorized-limit-and-executed-write-disagreed/"
    },
    {
      "id": "budget-bound-for-all-reachable-states",
      "title": "Total spend never exceeds the cap in any reachable state of the escrow protocol, proved in Lean for any finite set of replicas and any non-negative amounts.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/escrow-budget/blob/6595f1283a43b319d62fcb065531a3b303794932/README.md",
        "commit": "6595f1283a43b319d62fcb065531a3b303794932",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/escrow-budget/blob/6595f1283a43b319d62fcb065531a3b303794932/README.md",
        "commit": "6595f1283a43b319d62fcb065531a3b303794932",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/budget-bound-for-all-reachable-states/"
    },
    {
      "id": "cjson-does-not-round-trip-numbers",
      "title": "A widely used C JSON library does not preserve numbers across a serialise-and-reparse round trip: its number pipeline is lossy by design, printing with limited precision and comparing re-reads by tolerance rather than equality.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/vsf-cjson/blob/92ae42dcc929d0061d75ea863e9b043c55fa500c/README.md",
        "commit": "92ae42dcc929d0061d75ea863e9b043c55fa500c",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/vsf-cjson/blob/92ae42dcc929d0061d75ea863e9b043c55fa500c/README.md",
        "commit": "92ae42dcc929d0061d75ea863e9b043c55fa500c",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/cjson-does-not-round-trip-numbers/"
    },
    {
      "id": "completed-sample-count-depends-on-scorer-order",
      "title": "completed_samples was computed from scored samples, so the same failing run reported 6 of 6 or 4 of 6 depending only on scorer declaration order.",
      "source": {
        "url": "https://github.com/UKGovernmentBEIS/inspect_ai/issues/4602",
        "updated_at": "2026-07-29T17:12:58Z",
        "body_sha256": "d5a82f25e9a75ede3bd180cd9d38a419c63699c5506ab2d48f844bbb7e82c7b6"
      },
      "instructions": {
        "url": "https://github.com/UKGovernmentBEIS/inspect_ai/issues/4602",
        "updated_at": "2026-07-29T17:12:58Z",
        "body_sha256": "d5a82f25e9a75ede3bd180cd9d38a419c63699c5506ab2d48f844bbb7e82c7b6"
      },
      "reproduction_scope": "Public reproduction code/commands in the report; not independent reproduction.",
      "site": "/findings/completed-sample-count-depends-on-scorer-order/"
    },
    {
      "id": "concurrent-capability-bound-over-interleavings",
      "title": "A capability meter never exceeds its cap over every concurrent interleaving of charge operations, proved in Iris concurrent separation logic for any cap and any finite list of operations.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/capctl-iris/blob/dcc8ecbd7b51ad63bcedb2466c6a4187802c6213/README.md",
        "commit": "dcc8ecbd7b51ad63bcedb2466c6a4187802c6213",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/capctl-iris/blob/dcc8ecbd7b51ad63bcedb2466c6a4187802c6213/README.md",
        "commit": "dcc8ecbd7b51ad63bcedb2466c6a4187802c6213",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/concurrent-capability-bound-over-interleavings/"
    },
    {
      "id": "judge-agreement-is-partly-forced-by-accuracy",
      "title": "Across 600 items and 171 judge pairs, judge errors correlated positively in 171 of 171 pairs at mean phi 0.567, and the correlation between pairwise agreement and accuracy fell from 0.824 to 0.077 once the algebraically forced component of agreement was removed.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/evaltrust/blob/0803d6b24c83df8372112894cb3508f2c7c83970/README.md",
        "commit": "0803d6b24c83df8372112894cb3508f2c7c83970",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/evaltrust/blob/0803d6b24c83df8372112894cb3508f2c7c83970/README.md",
        "commit": "0803d6b24c83df8372112894cb3508f2c7c83970",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/judge-agreement-is-partly-forced-by-accuracy/"
    },
    {
      "id": "judge-agreement-undetermined-at-n45",
      "title": "At 45 answers, a judge with zero disagreements has an agreement interval spanning its whole range; the perfect score reads as 'no counterexample found at this sample size', not as demonstrated reliability.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/evaltrust/blob/0803d6b24c83df8372112894cb3508f2c7c83970/README.md",
        "commit": "0803d6b24c83df8372112894cb3508f2c7c83970",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/evaltrust/blob/0803d6b24c83df8372112894cb3508f2c7c83970/README.md",
        "commit": "0803d6b24c83df8372112894cb3508f2c7c83970",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/judge-agreement-undetermined-at-n45/"
    },
    {
      "id": "judges-disagree-in-opposite-directions",
      "title": "Two language-model judges scoring the same 45 GSM8K answers disagreed with the ground truth in opposite directions: one systematically too strict, the other too lenient.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/evaltrust/blob/0803d6b24c83df8372112894cb3508f2c7c83970/README.md",
        "commit": "0803d6b24c83df8372112894cb3508f2c7c83970",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/evaltrust/blob/0803d6b24c83df8372112894cb3508f2c7c83970/README.md",
        "commit": "0803d6b24c83df8372112894cb3508f2c7c83970",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/judges-disagree-in-opposite-directions/"
    },
    {
      "id": "monitoring-arm-recorded-preventions-that-executed",
      "title": "Over 10,000 injected events, a monitoring arm recorded 1,026 actions as prevented and all 1,026 executed; an in-series arm consuming the same events, evaluator and policy recorded 6 of 9,880.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/safeguards-control-plane/blob/08e52549fff10035d2a8c616ef32af5a5ac3bb64/README.md",
        "commit": "08e52549fff10035d2a8c616ef32af5a5ac3bb64",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/safeguards-control-plane/blob/08e52549fff10035d2a8c616ef32af5a5ac3bb64/README.md",
        "commit": "08e52549fff10035d2a8c616ef32af5a5ac3bb64",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/monitoring-arm-recorded-preventions-that-executed/"
    },
    {
      "id": "tamper-of-a-sealed-record-forces-a-collision",
      "title": "Tampering with a sealed, hash-linked decision record forces a hash collision: the canonical encoding is injective, the chain is append-only, and detection follows in Lean without a collision-resistance axiom.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/omega-lean-proof/blob/2d1ecfff081c86b50b5bc2ec61e246e9a3eeddd5/README.md",
        "commit": "2d1ecfff081c86b50b5bc2ec61e246e9a3eeddd5",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/omega-lean-proof/blob/2d1ecfff081c86b50b5bc2ec61e246e9a3eeddd5/README.md",
        "commit": "2d1ecfff081c86b50b5bc2ec61e246e9a3eeddd5",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/tamper-of-a-sealed-record-forces-a-collision/"
    },
    {
      "id": "tools-hidden-from-discovery-remain-callable",
      "title": "In a server built to exhibit the bug, tools filtered from the discovery listing remained reachable through the call surface: a presentation-layer authorization control with no execution-layer enforcement behind it.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/mcp-boundary-audit/blob/b4e2ce3b0f9be2c3d8035a79b630038f8a118578/README.md",
        "commit": "b4e2ce3b0f9be2c3d8035a79b630038f8a118578",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/mcp-boundary-audit/blob/b4e2ce3b0f9be2c3d8035a79b630038f8a118578/README.md",
        "commit": "b4e2ce3b0f9be2c3d8035a79b630038f8a118578",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/tools-hidden-from-discovery-remain-callable/"
    },
    {
      "id": "training-run-rederives-bit-for-bit",
      "title": "A training run's final loss and trajectory re-derive bit-for-bit from its recorded inputs on one machine; cross-hardware re-derivation is left as UNKNOWN, and not claimed.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/nanogpt-provenance/blob/b291ee06059b96a9dac1fe953c8326ba301680bf/README.md",
        "commit": "b291ee06059b96a9dac1fe953c8326ba301680bf",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/nanogpt-provenance/blob/b291ee06059b96a9dac1fe953c8326ba301680bf/README.md",
        "commit": "b291ee06059b96a9dac1fe953c8326ba301680bf",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/training-run-rederives-bit-for-bit/"
    },
    {
      "id": "commons-compliant-collective-breach",
      "title": "In a shared-budget environment where each agent's allowance is individually satisfiable but the allowances sum to 1.5 times the collective budget, three language models produced a compliant collective breach in 60 of 60 BLIND episodes each (two population sizes, 30 episodes per cell), with zero individual allowance violations; one appended sentence restating the same headroom took the rate to 4 of 60, 2 of 60 and 0 of 60.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/commons-agent-lab/blob/876d3368e662aae7fea3480e58385e69804e32eb/README.md",
        "commit": "876d3368e662aae7fea3480e58385e69804e32eb",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/commons-agent-lab/blob/876d3368e662aae7fea3480e58385e69804e32eb/README.md",
        "commit": "876d3368e662aae7fea3480e58385e69804e32eb",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/commons-compliant-collective-breach/"
    },
    {
      "id": "judge-passed-checker-proved-violation",
      "title": "In the complete rerun, six single-decision cases violated an encoded governance property. The language-model judge passed 4 of the 6 across three seeds each; the formal checker proved the violation in 6 of 6, and both verdicts are sealed in the same record.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/proof-carrying-evals/blob/f22def1e58012ee1883c3643365138873a2117b9/README.md",
        "commit": "f22def1e58012ee1883c3643365138873a2117b9",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/proof-carrying-evals/blob/f22def1e58012ee1883c3643365138873a2117b9/README.md",
        "commit": "f22def1e58012ee1883c3643365138873a2117b9",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/judge-passed-checker-proved-violation/"
    },
    {
      "id": "spcu-defects-passed-every-property",
      "title": "Five defects were injected into a small power-control design whose formal verification argument was complete and green. Two of them passed every property derived from the original specification: one because the specification required voltage to be sufficient and never minimal, one because a two-step transition is internally consistent. A third escaped every property about the design's own variables while recording something false about the physical world.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/spcu-verification/blob/e49a0c5e57737d5717bf4307822f788a8359390d/README.md",
        "commit": "e49a0c5e57737d5717bf4307822f788a8359390d",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/spcu-verification/blob/e49a0c5e57737d5717bf4307822f788a8359390d/README.md",
        "commit": "e49a0c5e57737d5717bf4307822f788a8359390d",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/spcu-defects-passed-every-property/"
    },
    {
      "id": "verifier-green-run-could-not-fail",
      "title": "A Kani harness left its second assertion UNREACHABLE after the first injected bug, so its pass carried no information; a loom test reported 1 passed on a build containing a lost update because the atomic was never loom-instrumented, with byte-identical output for the clean and broken builds; and two Lean models of the same Rust function, one pinning real sizes and one returning 0 for every type, produced byte-identical axiom audits.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/evidence-audit/blob/996d248ff873832e8d822d0ad13f8e0f7f9372c5/README.md",
        "commit": "996d248ff873832e8d822d0ad13f8e0f7f9372c5",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/evidence-audit/blob/996d248ff873832e8d822d0ad13f8e0f7f9372c5/README.md",
        "commit": "996d248ff873832e8d822d0ad13f8e0f7f9372c5",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/verifier-green-run-could-not-fail/"
    },
    {
      "id": "sum-rule-holds-where-per-agent-cap-fails",
      "title": "In a closed-data Lean 4 model (cap 10, budget 40, six agents) the per-agent-compliant profile [10,10,10,10,10,10] breaches the budget and the conserved meter accepts no breaching profile while still accepting a within-budget one, with no axioms. In a Z3 linear-integer model of the same instance, eleven queries establish that the sum rule holds for every coordinated profile, does not bound a harm equal to one agent's draw when its threshold (15) is below the pool (allocation harm escapes with witness [0,0,16,0,0,0]; a per-recipient cap closes it), and is blind to any coordination channel in the model. This is a contrast between two chosen harms; an earlier statement that the rule bounds a harm if and only if the harm factors through the aggregate is withdrawn, because it fails in both directions in the same encoding.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/collective-bound/blob/618cb1c3004acc6c3dc27b987112ff3f9c7779d5/README.md",
        "commit": "618cb1c3004acc6c3dc27b987112ff3f9c7779d5",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/collective-bound/blob/618cb1c3004acc6c3dc27b987112ff3f9c7779d5/README.md",
        "commit": "618cb1c3004acc6c3dc27b987112ff3f9c7779d5",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/sum-rule-holds-where-per-agent-cap-fails/"
    },
    {
      "id": "ecc-decoder-syndrome-output-never-driven",
      "title": "The proof went through, and a cover requirement on the decoder's syndrome output showed that the output was declared and never driven. A one-line assignment fixed it; the proof and a width sweep to 64 bits passed with the fix.",
      "source": {
        "url": "https://github.com/pulp-platform/common_cells/pull/355",
        "updated_at": "2026-09-03T21:23:23Z",
        "body_sha256": "390911a4a391633b68901ae0eb726fdedad05342ab8025032abbf12228f6986f"
      },
      "instructions": {
        "url": "https://github.com/pulp-platform/common_cells/pull/355",
        "updated_at": "2026-09-03T21:23:23Z",
        "body_sha256": "390911a4a391633b68901ae0eb726fdedad05342ab8025032abbf12228f6986f"
      },
      "reproduction_scope": "Public formal harness and commands in the accepted PR.",
      "site": "/findings/ecc-decoder-syndrome-output-never-driven/"
    },
    {
      "id": "pybamm-basicdfn-variable-transference-drift",
      "title": "In PyBaMM's BasicDFN with a concentration-dependent transference number, an independently assembled lithium inventory drifted by 2.44% of the initial inventory over the reporter's 4,800-second protocol on v26.4.1, main at 258fdc8 and the head of pull request #5524, byte-identical between main and the pull request; the drift persisted under temporal tightening to 1e-10 and spatial refinement to 80 cells, and matched, instant by instant, the rate predicted from the missing transference-gradient term. The constant-transference control conserved to 7.7e-15 mol.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/pybamm-5700-lithium-inventory/blob/adaa877eda7f3cac22f116a006e11a513e586323/README.md",
        "commit": "adaa877eda7f3cac22f116a006e11a513e586323",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/pybamm-5700-lithium-inventory/blob/adaa877eda7f3cac22f116a006e11a513e586323/README.md",
        "commit": "adaa877eda7f3cac22f116a006e11a513e586323",
        "path": "README.md"
      },
      "reproduction_scope": "Public code and instructions; toolchain/dependencies may be required. Availability is not independent reproduction.",
      "site": "/findings/pybamm-basicdfn-variable-transference-drift/"
    },
    {
      "id": "pandapower-unsupported-vector-groups-return-converged",
      "title": "Four of fourteen unsupported groups returned converged=True with no warning and identical non-physical results; ten raised the intended error; one group documented as supported is rejected by the code.",
      "source": {
        "url": "https://github.com/e2nIEE/pandapower/issues/3122",
        "updated_at": "2026-10-06T16:28:59Z",
        "body_sha256": "36f1f91d98831ce931553749a2bb9adf8d48ce57223ea34bf52e36140605fd89"
      },
      "instructions": {
        "url": "https://github.com/e2nIEE/pandapower/issues/3122",
        "updated_at": "2026-10-06T16:28:59Z",
        "body_sha256": "36f1f91d98831ce931553749a2bb9adf8d48ce57223ea34bf52e36140605fd89"
      },
      "reproduction_scope": "Public reproduction code/commands in the report; not independent reproduction.",
      "site": "/findings/pandapower-unsupported-vector-groups-return-converged/"
    },
    {
      "id": "lemmascript-impure-extern",
      "title": "Every called cross-file symbol was emitted as an axiomatised pure function; dafny verify reported 1 verified, 0 errors on code whose rollDie() returns different values per call.",
      "source": {
        "url": "https://github.com/midspiral/LemmaScript/issues/206",
        "updated_at": "2026-08-25T06:46:52Z",
        "body_sha256": "da0d6f609c42602c5459d24dfb9948e1259365c992fc0a63dc0ed8eca6dcc88d"
      },
      "instructions": {
        "url": "https://github.com/midspiral/LemmaScript/issues/206",
        "updated_at": "2026-08-25T06:46:52Z",
        "body_sha256": "da0d6f609c42602c5459d24dfb9948e1259365c992fc0a63dc0ed8eca6dcc88d"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#lemmascript-impure-extern"
    },
    {
      "id": "inspect-robots-judgement-source",
      "title": "Neither the final log nor the live snapshot recorded which path produced each operator judgement, so verdicts from different paths were indistinguishable on disk.",
      "source": {
        "url": "https://github.com/robocurve/inspect-robots/issues/413",
        "updated_at": "2026-08-31T00:55:11Z",
        "body_sha256": "c5211645d57a72b9160988e7742e0cc454ae44c1ba5d1645b30a18a2d62ee2f1"
      },
      "instructions": {
        "url": "https://github.com/robocurve/inspect-robots/issues/413",
        "updated_at": "2026-08-31T00:55:11Z",
        "body_sha256": "c5211645d57a72b9160988e7742e0cc454ae44c1ba5d1645b30a18a2d62ee2f1"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#inspect-robots-judgement-source"
    },
    {
      "id": "labs-oo-agents-generator-span",
      "title": "Generator and async-generator methods were routed to the coroutine wrapper, so generation was skipped and the span ended at generator creation rather than at consumption.",
      "source": {
        "url": "https://github.com/NVIDIA-NeMo/labs-OO-Agents/issues/38",
        "updated_at": "2026-08-31T13:35:24Z",
        "body_sha256": "3418819a8f004c376bd17f41056b53169cbfa0872c9e538d65cc81c352593e45"
      },
      "instructions": {
        "url": "https://github.com/NVIDIA-NeMo/labs-OO-Agents/issues/38",
        "updated_at": "2026-08-31T13:35:24Z",
        "body_sha256": "3418819a8f004c376bd17f41056b53169cbfa0872c9e538d65cc81c352593e45"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#labs-oo-agents-generator-span"
    },
    {
      "id": "skillspector-anthropic-schema",
      "title": "Every LLM-mode scan through the Anthropic provider failed: the schema carried minimum and maximum bounds the structured-output endpoint rejected.",
      "source": {
        "url": "https://github.com/NVIDIA/SkillSpector/issues/76",
        "updated_at": "2026-06-16T21:49:54Z",
        "body_sha256": "8940e1382bef894e3d830b1873267106bd25b9422d69049336f0f8c3f50f2517"
      },
      "instructions": {
        "url": "https://github.com/NVIDIA/SkillSpector/issues/76",
        "updated_at": "2026-06-16T21:49:54Z",
        "body_sha256": "8940e1382bef894e3d830b1873267106bd25b9422d69049336f0f8c3f50f2517"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#skillspector-anthropic-schema"
    },
    {
      "id": "cedar-spec-typed-expr-drt",
      "title": "Eight phantom-divergence classes surfaced while building the target; the pull request adds a differential target over the typed expression.",
      "source": {
        "url": "https://github.com/cedar-policy/cedar-spec/pull/995",
        "updated_at": "2026-08-24T15:56:02Z",
        "body_sha256": "c1b650be7f7a8963e8a16a8688df722de5dbbc80feca8c549afab3be953a19e1"
      },
      "instructions": null,
      "reproduction_scope": "Public inspection evidence; no complete reproduction instructions counted.",
      "site": "/research/upstream/#cedar-spec-typed-expr-drt"
    },
    {
      "id": "inspect-robots-grader-config",
      "title": "The specification carried the policy and embodiment configuration but nothing about the grader, so two runs graded by different models against different rubrics wrote byte-identical specifications. The pull request adds the grader name and its resolved configuration.",
      "source": {
        "url": "https://github.com/robocurve/inspect-robots/pull/425",
        "updated_at": "2026-09-22T06:38:21Z",
        "body_sha256": "f0be4f1d58d4c3e2bff0b4cc66f811290f1fdeef3a954151417d99cabbbbe8de"
      },
      "instructions": null,
      "reproduction_scope": "Public inspection evidence; no complete reproduction instructions counted.",
      "site": "/research/upstream/#inspect-robots-grader-config"
    },
    {
      "id": "agent-framework-hooks-child-signal",
      "title": "The documented configuration behaved correctly: every side effect observed out of process had a causally preceding permit for exactly that operation. Two documented configuration requirements, a bundle on each delegated child agent and the bundle first in the middleware list, produce no signal when violated. This is not a vulnerability report: the framework does not claim complete mediation, and the request is for a signal, not for a change in what is enforced.",
      "source": {
        "url": "https://github.com/microsoft/agent-framework/issues/8050",
        "updated_at": "2026-09-04T08:32:03Z",
        "body_sha256": "fc6f7b7b37aea09bf1899708eec19e51496836c1859d55b55b11741084701907"
      },
      "instructions": null,
      "reproduction_scope": "Public inspection evidence; no complete reproduction instructions counted.",
      "site": "/research/upstream/#agent-framework-hooks-child-signal"
    },
    {
      "id": "pybamm-half-cell-lithium-diagnostic",
      "title": "It multiplies by the full-cell thickness (767 µm in the Xu2019 parameter set) where the electrolyte occupies 67 µm, overweighting the term by a factor of 11.45; a project contributor confirmed it and asked for a separate report.",
      "source": {
        "url": "https://github.com/pybamm-team/PyBaMM/issues/5746",
        "updated_at": "2026-09-22T13:19:26Z",
        "body_sha256": "056a3bec9411e55fd07c6f32580ed92938e09cf218bcd4196c485131a8e38e81"
      },
      "instructions": {
        "url": "https://github.com/pybamm-team/PyBaMM/issues/5746",
        "updated_at": "2026-09-22T13:19:26Z",
        "body_sha256": "056a3bec9411e55fd07c6f32580ed92938e09cf218bcd4196c485131a8e38e81"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#pybamm-half-cell-lithium-diagnostic"
    },
    {
      "id": "cvc5-separation-logic-incorrect-sat",
      "title": "cvc5 returned sat for a formula whose spatial constraints require incompatible heaps. An upstream contributor reproduced the result and identified a polarity-handling cause.",
      "source": {
        "url": "https://github.com/cvc5/cvc5/issues/12913",
        "updated_at": "2026-09-28T13:17:47Z",
        "body_sha256": "6950d3482ff8c2ce9f8028ebc2d40423ff21848b7a1a85145267b963689ecb36"
      },
      "instructions": {
        "url": "https://github.com/cvc5/cvc5/issues/12913",
        "updated_at": "2026-09-28T13:17:47Z",
        "body_sha256": "6950d3482ff8c2ce9f8028ebc2d40423ff21848b7a1a85145267b963689ecb36"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#cvc5-separation-logic-incorrect-sat"
    },
    {
      "id": "cvc5-sep-emp-polarity-cache",
      "title": "The cached polarity could be wrong, producing an incorrect result on the upstream reproducer. The proposed fix changes the cache key and adds regression tests.",
      "source": {
        "url": "https://github.com/cvc5/cvc5/issues/12870",
        "updated_at": "2026-10-01T17:30:23Z",
        "body_sha256": "e5b22d1bfefebf7185145379f628531a8d6f5c801635920e0a06b0d47fb621e4"
      },
      "instructions": {
        "url": "https://github.com/cvc5/cvc5/issues/12870",
        "updated_at": "2026-10-01T17:30:23Z",
        "body_sha256": "e5b22d1bfefebf7185145379f628531a8d6f5c801635920e0a06b0d47fb621e4"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#cvc5-sep-emp-polarity-cache"
    },
    {
      "id": "mpmath-interval-exp-enclosure",
      "title": "mpmath's interval exponential excluded a high-precision endpoint value on a public reproducer; independent Decimal and Arb computations agreed on the exclusion. A maintainer confirmed the problem.",
      "source": {
        "url": "https://github.com/mpmath/mpmath/issues/1181",
        "updated_at": "2026-10-02T01:23:59Z",
        "body_sha256": "dcdac3f812da7307c6b19cb05ba0f0005738056f44a7bbf10fb77a25aed99a47"
      },
      "instructions": {
        "url": "https://github.com/mpmath/mpmath/issues/1181",
        "updated_at": "2026-10-02T01:23:59Z",
        "body_sha256": "dcdac3f812da7307c6b19cb05ba0f0005738056f44a7bbf10fb77a25aed99a47"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#mpmath-interval-exp-enclosure"
    },
    {
      "id": "con-leche-checker-exit-code",
      "title": "The command could exit successfully without invoking the checker, so automation could accept a non-check as a pass.",
      "source": {
        "url": "https://github.com/leanprover/con-leche/issues/8",
        "updated_at": "2026-09-10T16:01:45Z",
        "body_sha256": "7fd4e0c666b73d921444c2dc334fe1034e8d273e7fda7914338c9de21182e295"
      },
      "instructions": {
        "url": "https://github.com/leanprover/con-leche/issues/8",
        "updated_at": "2026-09-10T16:01:45Z",
        "body_sha256": "7fd4e0c666b73d921444c2dc334fe1034e8d273e7fda7914338c9de21182e295"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#con-leche-checker-exit-code"
    },
    {
      "id": "orbit-anthropic-dependency",
      "title": "The provider imported the Anthropic SDK, but the package did not declare that dependency, so a clean documented installation failed at import time.",
      "source": {
        "url": "https://github.com/wlanderson0/orbit/issues/1",
        "updated_at": "2026-09-17T10:23:48Z",
        "body_sha256": "270461cd17da007791d405bab3420dc28c76ab572d641c2fbd62e89c8a911b2a"
      },
      "instructions": {
        "url": "https://github.com/wlanderson0/orbit/issues/1",
        "updated_at": "2026-09-17T10:23:48Z",
        "body_sha256": "270461cd17da007791d405bab3420dc28c76ab572d641c2fbd62e89c8a911b2a"
      },
      "reproduction_scope": "Public reproduction commands/code in the report or PR; provider dependencies are not independent reproduction.",
      "site": "/research/upstream/#orbit-anthropic-dependency"
    },
    {
      "id": "composed-agent-safety",
      "title": "Per-agent guarantees compose into a checked shared-budget and mutual-exclusion guarantee for the specified fixed-roster model.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/compositional-temporal-safety/blob/7a812bdb467cbc0528ef6f4f4f3bc3c041bb05d1/README.md",
        "commit": "7a812bdb467cbc0528ef6f4f4f3bc3c041bb05d1",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/compositional-temporal-safety/blob/7a812bdb467cbc0528ef6f4f4f3bc3c041bb05d1/README.md",
        "commit": "7a812bdb467cbc0528ef6f4f4f3bc3c041bb05d1",
        "path": "README.md"
      },
      "reproduction_scope": "make check",
      "site": "/projects/compositional-temporal-safety/"
    },
    {
      "id": "session-types-complement-budget-proof",
      "title": "The typed transfer protocol checks communication structure; it does not establish the arithmetic budget bound.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/escrow-budget-mpst/blob/59bbc0861f09e3bfb1c232544cec8a278863d20e/README.md",
        "commit": "59bbc0861f09e3bfb1c232544cec8a278863d20e",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/escrow-budget-mpst/blob/59bbc0861f09e3bfb1c232544cec8a278863d20e/README.md",
        "commit": "59bbc0861f09e3bfb1c232544cec8a278863d20e",
        "path": "README.md"
      },
      "reproduction_scope": "make check",
      "site": "/projects/escrow-budget-mpst/"
    },
    {
      "id": "structured-refusals-text-detector-missed",
      "title": "The study’s text-only refusal detector missed structured refusals in frozen Claude records; a structured rule recovered them.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/apart-defensive-workflow-2026/blob/fbf2aafb9662a0661c22af50411089dc6cab6b12/FINAL_PAPER_v4.md",
        "commit": "fbf2aafb9662a0661c22af50411089dc6cab6b12",
        "path": "FINAL_PAPER_v4.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/apart-defensive-workflow-2026/blob/fbf2aafb9662a0661c22af50411089dc6cab6b12/README.md",
        "commit": "fbf2aafb9662a0661c22af50411089dc6cab6b12",
        "path": "README.md"
      },
      "reproduction_scope": "python3 reproduce_table4.py",
      "site": "https://github.com/repowazdogz-droid/apart-defensive-workflow-2026/blob/fbf2aafb9662a0661c22af50411089dc6cab6b12/FINAL_PAPER_v4.md"
    },
    {
      "id": "lexical-note-checker-clean-does-not-mean-no-judgement",
      "title": "The demo lexical checker accepted paraphrases that still communicated a judgement in the bundled synthetic study.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/case-notes-eval/blob/bdf0bde0c2d21db51a2f0a3d04535cc80c850ee2/README.md",
        "commit": "bdf0bde0c2d21db51a2f0a3d04535cc80c850ee2",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/case-notes-eval/blob/bdf0bde0c2d21db51a2f0a3d04535cc80c850ee2/README.md",
        "commit": "bdf0bde0c2d21db51a2f0a3d04535cc80c850ee2",
        "path": "README.md"
      },
      "reproduction_scope": "case-notes-analyse examples/sample_logs",
      "site": "https://github.com/repowazdogz-droid/case-notes-eval/blob/bdf0bde0c2d21db51a2f0a3d04535cc80c850ee2/README.md"
    },
    {
      "id": "matched-base-preference-shift",
      "title": "A matched-base audit found the published model organism’s scoped preference shift and exposed the base-model confound.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/secret-loyalties-matched-base-audit/blob/4906406b04e66a0f802aa61fff9ea55438e437f4/SUBMISSION.md",
        "commit": "4906406b04e66a0f802aa61fff9ea55438e437f4",
        "path": "SUBMISSION.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/secret-loyalties-matched-base-audit/blob/4906406b04e66a0f802aa61fff9ea55438e437f4/README.md",
        "commit": "4906406b04e66a0f802aa61fff9ea55438e437f4",
        "path": "README.md"
      },
      "reproduction_scope": "python3 confirm_A/analyse.py",
      "site": "https://github.com/repowazdogz-droid/secret-loyalties-matched-base-audit/blob/4906406b04e66a0f802aa61fff9ea55438e437f4/SUBMISSION.md"
    },
    {
      "id": "scripted-stale-information-fixed-point",
      "title": "The scripted-policy experiment matched its predictions on fourteen cells, with eight controls.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/one-world/blob/8707ae35e820315bf6a8b1cd73bffddad24770bf/EXPERIMENT_2_REPORT.md",
        "commit": "8707ae35e820315bf6a8b1cd73bffddad24770bf",
        "path": "EXPERIMENT_2_REPORT.md"
      },
      "instructions": null,
      "reproduction_scope": "Public result reports and retained world-state artifacts; no complete result-reproduction instructions counted.",
      "site": "https://github.com/repowazdogz-droid/one-world/blob/8707ae35e820315bf6a8b1cd73bffddad24770bf/EXPERIMENT_2_REPORT.md"
    },
    {
      "id": "model-information-contract-not-sufficient",
      "title": "The model experiment failed its across-family criterion; returning action outcomes was necessary and not sufficient in the tested runs.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/one-world/blob/8707ae35e820315bf6a8b1cd73bffddad24770bf/EXPERIMENT_3_REPORT.md",
        "commit": "8707ae35e820315bf6a8b1cd73bffddad24770bf",
        "path": "EXPERIMENT_3_REPORT.md"
      },
      "instructions": null,
      "reproduction_scope": "Public result reports and retained world-state artifacts; no complete result-reproduction instructions counted.",
      "site": "https://github.com/repowazdogz-droid/one-world/blob/8707ae35e820315bf6a8b1cd73bffddad24770bf/EXPERIMENT_3_REPORT.md"
    },
    {
      "id": "model-backdoor-integrity-gate",
      "title": "For the published small model, the same backdoor preserved clean accuracy but was refused by the in-series integrity gate.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/docs/RESULTS_PHASE4.md",
        "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026",
        "path": "docs/RESULTS_PHASE4.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/README.md",
        "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026",
        "path": "README.md"
      },
      "reproduction_scope": "make evidence",
      "site": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/docs/RESULTS_PHASE4.md"
    },
    {
      "id": "composition-exfiltration-individual-allow",
      "title": "The constructed composition exfiltrated weights despite individual requests being allowed; the in-series flow guard blocked it.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/README.md",
        "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/README.md",
        "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026",
        "path": "README.md"
      },
      "reproduction_scope": "make evidence",
      "site": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/README.md"
    },
    {
      "id": "generated-attacks-rule-detector-brittleness",
      "title": "On the study’s out-of-vocabulary generated attacks the rule detector caught zero of forty.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/docs/RESULTS_DETECTION.md",
        "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026",
        "path": "docs/RESULTS_DETECTION.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/README.md",
        "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026",
        "path": "README.md"
      },
      "reproduction_scope": "make evidence",
      "site": "https://github.com/repowazdogz-droid/ai-research-security-plane/blob/6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026/docs/RESULTS_DETECTION.md"
    },
    {
      "id": "stale-read-budget-harness",
      "title": "The scripted real-tool harness exceeded its limit with stale reads; the same calls were denied by the live-counter variant.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/capability-budget-eval/blob/123ae5605283012c2798eacb05862d0b838292cb/README.md",
        "commit": "123ae5605283012c2798eacb05862d0b838292cb",
        "path": "README.md"
      },
      "instructions": {
        "url": "https://github.com/repowazdogz-droid/capability-budget-eval/blob/123ae5605283012c2798eacb05862d0b838292cb/README.md",
        "commit": "123ae5605283012c2798eacb05862d0b838292cb",
        "path": "README.md"
      },
      "reproduction_scope": "python test_harness.py",
      "site": "https://github.com/repowazdogz-droid/capability-budget-eval/blob/123ae5605283012c2798eacb05862d0b838292cb/README.md"
    },
    {
      "id": "proof-checker-frozen-gate-agreement",
      "title": "The released proof-checker gate records verdict agreement within its declared scored test scope; no soundness claim is counted.",
      "source": {
        "url": "https://github.com/repowazdogz-droid/omega-checker/blob/3420f5a6ed28fa9025ec610ee6ef2db3340d6dce/REPORT.md",
        "commit": "3420f5a6ed28fa9025ec610ee6ef2db3340d6dce",
        "path": "REPORT.md"
      },
      "instructions": null,
      "reproduction_scope": "Frozen public gate records; no full reproduction instructions counted.",
      "site": "https://github.com/repowazdogz-droid/omega-checker/blob/3420f5a6ed28fa9025ec610ee6ef2db3340d6dce/REPORT.md"
    }
  ],
  "accepted": [
    {
      "id": "inspect-ai-completed-samples",
      "title": "Inspect AI (UK AI Security Institute evaluation framework)",
      "reported": "https://github.com/UKGovernmentBEIS/inspect_ai/issues/4602",
      "source": {
        "merged_at": "2026-07-29T17:12:57Z",
        "commit": "77d936b8b04c3cc3ba0a576a8883c6decdda56c5",
        "url": "https://github.com/UKGovernmentBEIS/inspect_ai/pull/4604"
      },
      "by": "contributor"
    },
    {
      "id": "lemmascript-impure-extern",
      "title": "LemmaScript (a verified-language toolchain emitting Dafny and Lean)",
      "reported": "https://github.com/midspiral/LemmaScript/issues/206",
      "source": {
        "merged_at": "2026-08-25T01:03:33Z",
        "commit": "830e7733f44c70f81a35796767728518a87a680b",
        "url": "https://github.com/midspiral/LemmaScript/pull/207"
      },
      "by": "maintainer"
    },
    {
      "id": "inspect-robots-judgement-source",
      "title": "inspect-robots (robocurve embodied-evaluation harness)",
      "reported": "https://github.com/robocurve/inspect-robots/issues/413",
      "source": {
        "merged_at": "2026-08-31T00:50:56Z",
        "commit": "16eddde5dec2037ba69d1196eb17d745357bad54",
        "url": "https://github.com/robocurve/inspect-robots/pull/422"
      },
      "by": "maintainer"
    },
    {
      "id": "labs-oo-agents-generator-span",
      "title": "NVIDIA-NeMo labs-OO-Agents",
      "reported": "https://github.com/NVIDIA-NeMo/labs-OO-Agents/issues/38",
      "source": {
        "merged_at": "2026-08-31T13:35:22Z",
        "commit": "f8b0c0f46aeb88ccce90ae72c0bd095493414238",
        "url": "https://github.com/NVIDIA-NeMo/labs-OO-Agents/pull/120"
      },
      "by": "maintainer"
    },
    {
      "id": "skillspector-anthropic-schema",
      "title": "NVIDIA SkillSpector",
      "reported": "https://github.com/NVIDIA/SkillSpector/issues/76",
      "source": {
        "merged_at": "2026-06-16T21:49:11Z",
        "commit": "a5092dd9b9521ff57a9b53612bb129ce78019002",
        "url": "https://github.com/NVIDIA/SkillSpector/pull/85"
      },
      "by": "maintainer"
    },
    {
      "id": "common-cells-ecc-proof",
      "title": "pulp-platform common_cells (an open hardware IP library)",
      "reported": "https://github.com/pulp-platform/common_cells/pull/355",
      "source": {
        "merged_at": "2026-09-03T21:00:40Z",
        "commit": "a257b714450bff120f52a85cf912dc778a5bb988",
        "url": "https://github.com/pulp-platform/common_cells/pull/355"
      },
      "by": "omega"
    },
    {
      "id": "inspect-robots-grader-config",
      "title": "inspect-robots (robocurve embodied-evaluation harness)",
      "reported": "https://github.com/robocurve/inspect-robots/pull/425",
      "source": {
        "merged_at": "2026-09-21T22:00:05Z",
        "commit": "79c782c3e380f462a4369ff7cf2c876416456a34",
        "url": "https://github.com/robocurve/inspect-robots/pull/425"
      },
      "by": "omega"
    },
    {
      "id": "pybamm-basicdfn-variable-transference",
      "title": "PyBaMM (an open-source battery modelling library)",
      "reported": "https://github.com/pybamm-team/PyBaMM/issues/5745",
      "source": {
        "merged_at": "2026-09-18T09:29:46Z",
        "commit": "6ceca11577231d3cb26f3f58ed80f6b04b6f2554",
        "url": "https://github.com/pybamm-team/PyBaMM/pull/5747"
      },
      "by": "omega"
    },
    {
      "id": "pybamm-half-cell-lithium-diagnostic",
      "title": "PyBaMM (an open-source battery modelling library)",
      "reported": "https://github.com/pybamm-team/PyBaMM/issues/5746",
      "source": {
        "merged_at": "2026-09-22T13:19:25Z",
        "commit": "9daad126258db8f6e621e4746cd3bdac062e7f1f",
        "url": "https://github.com/pybamm-team/PyBaMM/pull/5765"
      },
      "by": "maintainer"
    },
    {
      "id": "cvc5-sep-emp-polarity-cache",
      "title": "cvc5 (an SMT solver)",
      "reported": "https://github.com/cvc5/cvc5/issues/12870",
      "source": {
        "merged_at": "2026-10-01T17:30:21Z",
        "commit": "7467ffe6f725e7e83c3f67b4edd407fcb71b1367",
        "url": "https://github.com/cvc5/cvc5/pull/12937"
      },
      "by": "omega"
    },
    {
      "id": "con-leche-checker-exit-code",
      "title": "con-leche (a Lean proof-checking tool)",
      "reported": "https://github.com/leanprover/con-leche/issues/8",
      "source": {
        "commit": "19a2f243d90c07f9c3cbded74d20e89727e80d23",
        "url": "https://github.com/leanprover/con-leche/commit/19a2f243d90c07f9c3cbded74d20e89727e80d23"
      },
      "by": "maintainer"
    },
    {
      "id": "orbit-anthropic-dependency",
      "title": "Orbit (an agent runtime)",
      "reported": "https://github.com/wlanderson0/orbit/issues/1",
      "source": {
        "merged_at": "2026-09-17T10:01:11Z",
        "commit": "43c64817b969ba0273d698aecaee70741d2b461b",
        "url": "https://github.com/wlanderson0/orbit/pull/8"
      },
      "by": "maintainer"
    }
  ],
  "excluded_ledger": [
    {
      "id": "truncated-module-passed-its-tests",
      "reason": "No public result artifact verified in this audit; preserved on the existing site ledger."
    },
    {
      "id": "pyscf-df-ccsd-gradient-matches-finite-differences",
      "reason": "No public result artifact verified in this audit; preserved on the existing site ledger."
    },
    {
      "id": "torchdynamo-compiled-result-stale-under-instance-change",
      "reason": "No public result artifact verified in this audit; preserved on the existing site ledger."
    },
    {
      "id": "unreal-validator-never-read-instantiated-geometry",
      "reason": "No public result artifact verified in this audit; preserved on the existing site ledger."
    }
  ],
  "additional_metric": {
    "name": "Audited theorem declarations in the current shared-capability proof study",
    "value": 40,
    "source": {
      "url": "https://github.com/repowazdogz-droid/capctl-iris/blob/dcc8ecbd7b51ad63bcedb2466c6a4187802c6213/iris/proofs-audit/expected/assumptions.out",
      "commit": "dcc8ecbd7b51ad63bcedb2466c6a4187802c6213",
      "path": "iris/proofs-audit/expected/assumptions.out"
    },
    "scope": "Forty declarations with recorded closed assumption audits in one study. Not forty investigations; no fresh kernel execution or independent reproduction in this website audit."
  },
  "repository_inventory": [
    {
      "repo": "repowazdogz-droid/apart-defensive-workflow-2026",
      "commit": "fbf2aafb9662a0661c22af50411089dc6cab6b12"
    },
    {
      "repo": "repowazdogz-droid/capability-budget-eval",
      "commit": "123ae5605283012c2798eacb05862d0b838292cb"
    },
    {
      "repo": "repowazdogz-droid/ai-research-security-plane",
      "commit": "6a7c0b9a0cc3ebbafbe014a696a2d9b8ba4a8026"
    },
    {
      "repo": "repowazdogz-droid/builder-skills",
      "commit": "6fe6acd325dae669b8cd28a71ce5a5f29f282849"
    },
    {
      "repo": "repowazdogz-droid/capctl-iris",
      "commit": "dcc8ecbd7b51ad63bcedb2466c6a4187802c6213"
    },
    {
      "repo": "repowazdogz-droid/case-notes-eval",
      "commit": "bdf0bde0c2d21db51a2f0a3d04535cc80c850ee2"
    },
    {
      "repo": "repowazdogz-droid/collective-bound",
      "commit": "618cb1c3004acc6c3dc27b987112ff3f9c7779d5"
    },
    {
      "repo": "repowazdogz-droid/cedar-spec",
      "commit": "e9fa9c1e6b636f29b0897d8706bd7aa5eaf06f9a"
    },
    {
      "repo": "repowazdogz-droid/commons-agent-lab",
      "commit": "876d3368e662aae7fea3480e58385e69804e32eb"
    },
    {
      "repo": "repowazdogz-droid/common_cells",
      "commit": "63b7c50d43e462b59506f69d341ff1e40202866d"
    },
    {
      "repo": "repowazdogz-droid/compositional-temporal-safety",
      "commit": "7a812bdb467cbc0528ef6f4f4f3bc3c041bb05d1"
    },
    {
      "repo": "repowazdogz-droid/cvc5",
      "commit": "c7c6d7db25a794320001dc0463d1473b10d95c4c"
    },
    {
      "repo": "repowazdogz-droid/escrow-budget",
      "commit": "6595f1283a43b319d62fcb065531a3b303794932"
    },
    {
      "repo": "repowazdogz-droid/escrow-budget-mpst",
      "commit": "59bbc0861f09e3bfb1c232544cec8a278863d20e"
    },
    {
      "repo": "repowazdogz-droid/evaltrust",
      "commit": "0803d6b24c83df8372112894cb3508f2c7c83970"
    },
    {
      "repo": "repowazdogz-droid/evidence-audit",
      "commit": "996d248ff873832e8d822d0ad13f8e0f7f9372c5"
    },
    {
      "repo": "repowazdogz-droid/genome-nexus",
      "commit": "42b80a2dd7f30ad18117373798a03d1311eef0e5"
    },
    {
      "repo": "repowazdogz-droid/formal-conjectures",
      "commit": "e751934294a381afd2d5fc1124c5953c8e25f9fa"
    },
    {
      "repo": "repowazdogz-droid/inspect-audit",
      "commit": "538480d42906d0353673a97269574714457eaa1a"
    },
    {
      "repo": "repowazdogz-droid/inspect-replay",
      "commit": "8be423cd249c9cdeb523f6d06c9a08500ef78652"
    },
    {
      "repo": "repowazdogz-droid/kernel-rust-verification-spike",
      "commit": "851cade94f64302f01d1f85d3e1071270d00385d"
    },
    {
      "repo": "repowazdogz-droid/inspect-robots",
      "commit": "beac85eb2aa953f9e0d57625c99f30e10c6c7bd9"
    },
    {
      "repo": "repowazdogz-droid/lean-kernel-arena",
      "commit": "4543f486677a6cb56c7656767712cd017f8058ea"
    },
    {
      "repo": "repowazdogz-droid/llm-finetune",
      "commit": "efecdf5d31900539f18bae32a9a9d9b4c695a6ae"
    },
    {
      "repo": "repowazdogz-droid/mcp-boundary-audit",
      "commit": "b4e2ce3b0f9be2c3d8035a79b630038f8a118578"
    },
    {
      "repo": "repowazdogz-droid/mcp-authority-boundary",
      "commit": "2ea137b9cf83e509234bc24ab96e70d1f8808f7e"
    },
    {
      "repo": "repowazdogz-droid/nanogpt-provenance",
      "commit": "b291ee06059b96a9dac1fe953c8326ba301680bf"
    },
    {
      "repo": "repowazdogz-droid/nn-from-scratch",
      "commit": "168ed8402aef823601597cfb95574a6d0c2c1ecb"
    },
    {
      "repo": "repowazdogz-droid/omega-lean-proof",
      "commit": "2d1ecfff081c86b50b5bc2ec61e246e9a3eeddd5"
    },
    {
      "repo": "repowazdogz-droid/omega-n1-permit-membership",
      "commit": "efba311b08bb75f054dd49bf8a4f9e1b6f13d614"
    },
    {
      "repo": "repowazdogz-droid/omega-openadmet-cyp-challenge",
      "commit": "d5ffe8f07d343fb80533953983f56f5f8e785035"
    },
    {
      "repo": "repowazdogz-droid/omega-checker",
      "commit": "3420f5a6ed28fa9025ec610ee6ef2db3340d6dce"
    },
    {
      "repo": "repowazdogz-droid/one-world",
      "commit": "8707ae35e820315bf6a8b1cd73bffddad24770bf"
    },
    {
      "repo": "repowazdogz-droid/proof-carrying-evals",
      "commit": "f22def1e58012ee1883c3643365138873a2117b9"
    },
    {
      "repo": "repowazdogz-droid/PyBaMM",
      "commit": "258fdc8c125869d2598757c2bc4ff1e87b60cb3b"
    },
    {
      "repo": "repowazdogz-droid/pybamm-5700-lithium-inventory",
      "commit": "adaa877eda7f3cac22f116a006e11a513e586323"
    },
    {
      "repo": "repowazdogz-droid/repowazdogz-droid",
      "commit": "d3c44a9c875e39128b9e3a7453d1b128230bd933"
    },
    {
      "repo": "repowazdogz-droid/safeguards-control-plane",
      "commit": "08e52549fff10035d2a8c616ef32af5a5ac3bb64"
    },
    {
      "repo": "repowazdogz-droid/secret-loyalties-matched-base-audit",
      "commit": "4906406b04e66a0f802aa61fff9ea55438e437f4"
    },
    {
      "repo": "repowazdogz-droid/semdiff",
      "commit": "c454417670117765b384bc2b4e4d963e218d646c"
    },
    {
      "repo": "repowazdogz-droid/spcu-verification",
      "commit": "e49a0c5e57737d5717bf4307822f788a8359390d"
    },
    {
      "repo": "repowazdogz-droid/Strata",
      "commit": "a61d47e5643820dc08a7d119d3226df48d20926b"
    },
    {
      "repo": "repowazdogz-droid/Strata-CLI",
      "commit": "5441d7d4b45c1f715c65fab05d6b3630611c501d"
    },
    {
      "repo": "repowazdogz-droid/trustlens",
      "commit": "90a164d94c49dcdeae50fdd934a10f12f3d56317"
    },
    {
      "repo": "repowazdogz-droid/verify-mcp",
      "commit": "780e065a7277c4f7ceb97bc423c5f63e9a2cf267"
    },
    {
      "repo": "repowazdogz-droid/vsf-cjson",
      "commit": "92ae42dcc929d0061d75ea863e9b043c55fa500c"
    }
  ],
  "totals": {
    "results": 46,
    "instructions": 40,
    "accepted": 12,
    "omega_authored_accepted": 4
  }
}