{
  "schema": "proof-evidence-methods-v1",
  "kind": "actual execution of synthetic teaching fixtures",
  "executed_at_utc": "2026-10-03T09:30:30.809118+00:00",
  "command": [
    "/opt/homebrew/opt/python@3.14/bin/python3.14",
    "examples/evidence-methods/run.py",
    "--output",
    "examples/evidence-methods/results"
  ],
  "python": "3.14.7",
  "platform": "Darwin/arm64",
  "sqlite": "3.53.4",
  "source_sha256": {
    "access.py": "b83b1f4b3fed336ac20e94915aae8ab994d4c5748865e824273cacbbbe58ed6a",
    "migration.py": "7c5ff7a7762bf005bdbd847344cfe43f052f5dcb7cb9a5ea69271d12a1f680a3",
    "run.py": "9d13f38a6bd29b32622aba54926dcca19ee164353ad893d0a79238ab13c1a1ef",
    "requirements.json": "1d7ecab27348d0a934dbb2cfaeab95f6510e07b0c9c0c0cb0c5adfc188589cba",
    "cases.json": "1b3b24f93378b98a42e4fec4dd9ea697da46ec777b28710ce2e6c0deebadc38e",
    "disposition.json": "92fbbf89b7c0a8c33e5ac62f06ae3789ec003b4970a1fe43dfb9401f4651bbdb",
    "README.md": "c7ca5ae130d7e1dd89b8453032ae4e3c392a14ba1592d41006f25eb70efad4ed"
  },
  "basis_sha256": "c3a3455e13d1db719ad5eaaa105809a1166cd6ce6b1e551073a9c3e86db439a1",
  "mutation": {
    "method": "two explicitly hand-applied source mutations, no Stryker or Proof execution",
    "results": [
      {
        "variant": "baseline",
        "suite": "weak",
        "observations": [
          {
            "id": "active_before_expiry",
            "active": true,
            "now": 99,
            "expires_at": 100,
            "expected": true,
            "actual": true,
            "passed": true
          }
        ],
        "state": "baseline_passed"
      },
      {
        "variant": "baseline",
        "suite": "requirement_derived",
        "observations": [
          {
            "id": "active_before_expiry",
            "active": true,
            "now": 99,
            "expires_at": 100,
            "expected": true,
            "actual": true,
            "passed": true
          },
          {
            "id": "expiry_boundary",
            "active": true,
            "now": 100,
            "expires_at": 100,
            "expected": false,
            "actual": false,
            "passed": true
          },
          {
            "id": "revocation",
            "active": false,
            "now": 99,
            "expires_at": 100,
            "expected": false,
            "actual": false,
            "passed": true
          }
        ],
        "state": "baseline_passed"
      },
      {
        "variant": "M1_expiry_inclusive",
        "suite": "weak",
        "observations": [
          {
            "id": "active_before_expiry",
            "active": true,
            "now": 99,
            "expires_at": 100,
            "expected": true,
            "actual": true,
            "passed": true
          }
        ],
        "state": "survived"
      },
      {
        "variant": "M1_expiry_inclusive",
        "suite": "requirement_derived",
        "observations": [
          {
            "id": "active_before_expiry",
            "active": true,
            "now": 99,
            "expires_at": 100,
            "expected": true,
            "actual": true,
            "passed": true
          },
          {
            "id": "expiry_boundary",
            "active": true,
            "now": 100,
            "expires_at": 100,
            "expected": false,
            "actual": true,
            "passed": false
          },
          {
            "id": "revocation",
            "active": false,
            "now": 99,
            "expires_at": 100,
            "expected": false,
            "actual": false,
            "passed": true
          }
        ],
        "state": "killed"
      },
      {
        "variant": "M2_removed_revocation",
        "suite": "weak",
        "observations": [
          {
            "id": "active_before_expiry",
            "active": true,
            "now": 99,
            "expires_at": 100,
            "expected": true,
            "actual": true,
            "passed": true
          }
        ],
        "state": "survived"
      },
      {
        "variant": "M2_removed_revocation",
        "suite": "requirement_derived",
        "observations": [
          {
            "id": "active_before_expiry",
            "active": true,
            "now": 99,
            "expires_at": 100,
            "expected": true,
            "actual": true,
            "passed": true
          },
          {
            "id": "expiry_boundary",
            "active": true,
            "now": 100,
            "expires_at": 100,
            "expected": false,
            "actual": false,
            "passed": true
          },
          {
            "id": "revocation",
            "active": false,
            "now": 99,
            "expires_at": 100,
            "expected": false,
            "actual": true,
            "passed": false
          }
        ],
        "state": "killed"
      }
    ],
    "hand_applied_mutants": 2,
    "assertion_observations": 12,
    "weak_survivors": 2,
    "requirement_derived_kills": 2,
    "limit": "This selected mutant set and these three cases do not establish complete test adequacy."
  },
  "migration": {
    "method": "four local API calls; committed SQLite state reread through fresh connections",
    "results": [
      {
        "case": {
          "id": "own_tenant",
          "tenant": "alpha",
          "label": "revised",
          "expected_status": 200,
          "expected_rows": [
            [
              1,
              "alpha",
              "revised"
            ]
          ]
        },
        "old": {
          "response": {
            "status": 200,
            "label": "revised",
            "request_id": "old-own_tenant"
          },
          "durable_rows": [
            [
              1,
              "alpha",
              "revised"
            ]
          ]
        },
        "candidate": {
          "response": {
            "status": 200,
            "label": "revised",
            "request_id": "new-own_tenant"
          },
          "durable_rows": [
            [
              1,
              "alpha",
              "revised"
            ]
          ]
        },
        "request_ids_valid": true,
        "raw_equal": false,
        "permitted_normalized_equal": true,
        "dangerous_normalized_equal": true,
        "old_meets_requirement": true,
        "candidate_meets_requirement": true
      },
      {
        "case": {
          "id": "other_tenant",
          "tenant": "beta",
          "label": "revised",
          "expected_status": 403,
          "expected_rows": [
            [
              1,
              "alpha",
              "quarterly"
            ]
          ]
        },
        "old": {
          "response": {
            "status": 403,
            "error": "forbidden",
            "request_id": "old-other_tenant"
          },
          "durable_rows": [
            [
              1,
              "alpha",
              "quarterly"
            ]
          ]
        },
        "candidate": {
          "response": {
            "status": 403,
            "error": "forbidden",
            "request_id": "new-other_tenant"
          },
          "durable_rows": [
            [
              1,
              "alpha",
              "revised"
            ]
          ]
        },
        "request_ids_valid": true,
        "raw_equal": false,
        "permitted_normalized_equal": false,
        "dangerous_normalized_equal": true,
        "old_meets_requirement": true,
        "candidate_meets_requirement": false
      }
    ],
    "api_executions": 4,
    "candidate_requirement_failures": 1,
    "dangerous_normalization_false_agreements": 1,
    "candidate_accepted": false,
    "disposition_kind": "illustrative contract decision from disposition.json, not a real release approval",
    "limit": "No deployed service, migration runner, rollback, concurrency or production database was tested."
  }
}