{
  "schema": "probity.lab.remora-boundary.v1",
  "consumedRevision": "fe324dd734734d9227aa894330ac52c2bb916b94",
  "readerRevision": "308c5b4401b18d42ed73dea80459375932e6b8e8",
  "workflowRun": "https://github.com/probityai/agent-evidence-vectors/actions/runs/37232420650",
  "operator": "Probity-operated GitHub Actions",
  "implementationDiversity": "SECOND_IMPLEMENTATION",
  "independence": "NOT_INDEPENDENT",
  "interpretersAgreeOnEveryCase": true,
  "qualifiedRuns": [
    {
      "python": "3.13.15",
      "archive": "python-3.13.15-artifact.zip",
      "artifactId": 11313788856,
      "nativeDecisionsSHA256": "f4b1d6d1dfbdc4f7561dcacb868e052db988f33456d0cd803283e997d82ce858",
      "status": "passed",
      "nativeCases": 41,
      "additionalCases": 13,
      "malformedControls": 8,
      "sourceFaults": 9,
      "verifyDecisions": 20,
      "contracts": [
        {
          "contract": "exact-call-binding-v1",
          "packageDigest": "sha256:48dd143c4e4f50d69063df8e2a2993a5d240a50d81dc4330b225015ea432c77c",
          "producerInputsChecked": [
            "artifacts/interop/exact-call-binding-v1/README.md",
            "artifacts/interop/exact-call-binding-v1/claim-packet.json",
            "artifacts/interop/exact-call-binding-v1/fixtures.json",
            "artifacts/interop/exact-call-binding-v1/verifier-request.json"
          ],
          "cases": 15,
          "passingExpectations": 15,
          "claims": [
            {
              "claim": "exact_call_binding",
              "status": "ESTABLISHED",
              "cases": 13,
              "caseResults": {
                "ESTABLISHED": 11,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 2
              }
            },
            {
              "claim": "single_use_authorization",
              "status": "ESTABLISHED",
              "cases": 2,
              "caseResults": {
                "ESTABLISHED": 2,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 0
              }
            }
          ],
          "runRecord": {
            "file": "exact-call-binding-v1.external-run-record-v1.json",
            "implementationDiversity": "SECOND_IMPLEMENTATION",
            "operator": "EXTERNAL",
            "maintainedBy": "EXTERNAL",
            "independence": "NOT_INDEPENDENT",
            "results": 15
          }
        },
        {
          "contract": "fresh-authority-v1",
          "packageDigest": "sha256:234c57d0ed79b0cd87e702b2efbc52e99af1c619bd7fed2aef7be5c14964b691",
          "producerInputsChecked": [
            "artifacts/interop/fresh-authority-v1/README.md",
            "artifacts/interop/fresh-authority-v1/claim-packet.json",
            "artifacts/interop/fresh-authority-v1/fixtures.json",
            "artifacts/interop/fresh-authority-v1/verifier-request.json"
          ],
          "cases": 14,
          "passingExpectations": 14,
          "claims": [
            {
              "claim": "fresh_authority_at_dispatch",
              "status": "ESTABLISHED",
              "cases": 14,
              "caseResults": {
                "ESTABLISHED": 13,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 1
              }
            }
          ],
          "runRecord": {
            "file": "fresh-authority-v1.external-run-record-v1.json",
            "implementationDiversity": "SECOND_IMPLEMENTATION",
            "operator": "EXTERNAL",
            "maintainedBy": "EXTERNAL",
            "independence": "NOT_INDEPENDENT",
            "results": 14
          }
        },
        {
          "contract": "effect-evidence-v1",
          "packageDigest": "sha256:26c437c65a5c3890a0672845dd9e1e54b03c38ae5f05a6fbe7131402b952034c",
          "producerInputsChecked": [
            "artifacts/interop/effect-evidence-v1/README.md",
            "artifacts/interop/effect-evidence-v1/claim-packet.json",
            "artifacts/interop/effect-evidence-v1/fixtures.json",
            "artifacts/interop/effect-evidence-v1/verifier-request.json"
          ],
          "cases": 12,
          "passingExpectations": 12,
          "claims": [
            {
              "claim": "effect_state_distinction",
              "status": "ESTABLISHED",
              "cases": 12,
              "caseResults": {
                "ESTABLISHED": 12,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 0
              }
            }
          ],
          "runRecord": {
            "file": "effect-evidence-v1.external-run-record-v1.json",
            "implementationDiversity": "SECOND_IMPLEMENTATION",
            "operator": "EXTERNAL",
            "maintainedBy": "EXTERNAL",
            "independence": "NOT_INDEPENDENT",
            "results": 12
          }
        }
      ]
    },
    {
      "python": "3.14.7",
      "archive": "python-3.14.7-artifact.zip",
      "artifactId": 11314392887,
      "nativeDecisionsSHA256": "4f8bab47cfcf7e4f0b09bed0e777897b0b52181bb3ecb51742ff8ec08e571f89",
      "status": "passed",
      "nativeCases": 41,
      "additionalCases": 13,
      "malformedControls": 8,
      "sourceFaults": 9,
      "verifyDecisions": 20,
      "contracts": [
        {
          "contract": "exact-call-binding-v1",
          "packageDigest": "sha256:48dd143c4e4f50d69063df8e2a2993a5d240a50d81dc4330b225015ea432c77c",
          "producerInputsChecked": [
            "artifacts/interop/exact-call-binding-v1/README.md",
            "artifacts/interop/exact-call-binding-v1/claim-packet.json",
            "artifacts/interop/exact-call-binding-v1/fixtures.json",
            "artifacts/interop/exact-call-binding-v1/verifier-request.json"
          ],
          "cases": 15,
          "passingExpectations": 15,
          "claims": [
            {
              "claim": "exact_call_binding",
              "status": "ESTABLISHED",
              "cases": 13,
              "caseResults": {
                "ESTABLISHED": 11,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 2
              }
            },
            {
              "claim": "single_use_authorization",
              "status": "ESTABLISHED",
              "cases": 2,
              "caseResults": {
                "ESTABLISHED": 2,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 0
              }
            }
          ],
          "runRecord": {
            "file": "exact-call-binding-v1.external-run-record-v1.json",
            "implementationDiversity": "SECOND_IMPLEMENTATION",
            "operator": "EXTERNAL",
            "maintainedBy": "EXTERNAL",
            "independence": "NOT_INDEPENDENT",
            "results": 15
          }
        },
        {
          "contract": "fresh-authority-v1",
          "packageDigest": "sha256:234c57d0ed79b0cd87e702b2efbc52e99af1c619bd7fed2aef7be5c14964b691",
          "producerInputsChecked": [
            "artifacts/interop/fresh-authority-v1/README.md",
            "artifacts/interop/fresh-authority-v1/claim-packet.json",
            "artifacts/interop/fresh-authority-v1/fixtures.json",
            "artifacts/interop/fresh-authority-v1/verifier-request.json"
          ],
          "cases": 14,
          "passingExpectations": 14,
          "claims": [
            {
              "claim": "fresh_authority_at_dispatch",
              "status": "ESTABLISHED",
              "cases": 14,
              "caseResults": {
                "ESTABLISHED": 13,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 1
              }
            }
          ],
          "runRecord": {
            "file": "fresh-authority-v1.external-run-record-v1.json",
            "implementationDiversity": "SECOND_IMPLEMENTATION",
            "operator": "EXTERNAL",
            "maintainedBy": "EXTERNAL",
            "independence": "NOT_INDEPENDENT",
            "results": 14
          }
        },
        {
          "contract": "effect-evidence-v1",
          "packageDigest": "sha256:26c437c65a5c3890a0672845dd9e1e54b03c38ae5f05a6fbe7131402b952034c",
          "producerInputsChecked": [
            "artifacts/interop/effect-evidence-v1/README.md",
            "artifacts/interop/effect-evidence-v1/claim-packet.json",
            "artifacts/interop/effect-evidence-v1/fixtures.json",
            "artifacts/interop/effect-evidence-v1/verifier-request.json"
          ],
          "cases": 12,
          "passingExpectations": 12,
          "claims": [
            {
              "claim": "effect_state_distinction",
              "status": "ESTABLISHED",
              "cases": 12,
              "caseResults": {
                "ESTABLISHED": 12,
                "CONTRADICTED": 0,
                "NOT_ESTABLISHED": 0
              }
            }
          ],
          "runRecord": {
            "file": "effect-evidence-v1.external-run-record-v1.json",
            "implementationDiversity": "SECOND_IMPLEMENTATION",
            "operator": "EXTERNAL",
            "maintainedBy": "EXTERNAL",
            "independence": "NOT_INDEPENDENT",
            "results": 12
          }
        }
      ]
    }
  ]
}