{
  "schema_version": "alienctl.public-proof.v2",
  "proof_id": "live-github-v0.2.0-7d4c2ffd4b8a",
  "generated_at": "2026-08-04T09:11:45Z",
  "product": {
    "name": "alienctl",
    "version": "0.2.0",
    "git_commit": "f6034bc61fa485518f4329357be6ad9e335e5938",
    "source_tree_clean": true
  },
  "provider_mode": "live_public_github_sandbox_with_disclosed_harness_recovery",
  "capability": {
    "connector": "alienctl.github.check-status",
    "name": "github.check_status.apply",
    "scope": {
      "repository": "joelrietzle/alienctl-proof-sandbox",
      "revision": "7d4c2ffd4b8a66c8d62be6e092b7640aed3950e2",
      "context": "alienctl/proof/success-v0.2.0-run2",
      "state": "success",
      "description": "alienctl v0.2.0 live proof: alienctl/proof/success-v0.2.0-run2"
    }
  },
  "scenarios": [
    {
      "id": "success",
      "title": "Successful exact effect",
      "states": [
        "prepared",
        "dispatching",
        "succeeded"
      ],
      "final_state": "succeeded",
      "attempt_id": "exa:52e7c47ec324711dfae4d4b7fc4cb066",
      "provider_http_status": 201,
      "provider_classification": "accepted",
      "provider_status_created": true,
      "evidence": "GitHub accepted one exact status and alienctl durably recorded succeeded."
    },
    {
      "id": "denied",
      "title": "Denied / no dispatch",
      "states": [],
      "final_state": "denied",
      "request_http_status": 422,
      "execution_attempt_count": 0,
      "provider_status_created": false,
      "evidence": "A repository mismatch was rejected before an execution attempt or provider dispatch."
    },
    {
      "id": "cancelled",
      "title": "Pre-dispatch cancellation",
      "states": [
        "prepared",
        "cancelled"
      ],
      "final_state": "cancelled",
      "attempt_id": "exa:fefd902aa7a648febd425eb3e8663155",
      "dispatch_started": false,
      "provider_status_created": false,
      "evidence": "Cancellation committed before dispatch and created no provider status."
    },
    {
      "id": "failed",
      "title": "Provider failure",
      "states": [
        "prepared",
        "dispatching",
        "failed"
      ],
      "final_state": "failed",
      "attempt_id": "exa:b90dbdfdd927e9175b00bcdf85cf37ef",
      "provider_http_status": 422,
      "provider_classification": "rejected",
      "provider_status_created_on_target_revision": false,
      "evidence": "GitHub rejected a request for an intentionally nonexistent revision; alienctl stored the bounded failure."
    },
    {
      "id": "reconciled",
      "title": "Unknown outcome reconciled",
      "states": [
        "prepared",
        "dispatching",
        "outcome_unknown",
        "reconciled"
      ],
      "final_state": "reconciled",
      "attempt_id": "exa:8e35f523ff62fbc27327347d2d7c79fc",
      "provider_classification": "timeout_ambiguous",
      "reconciliation_classification": "observed_matching",
      "reconciliation_http_status": 200,
      "reconciliation_provider_get_count": 1,
      "reconciliation_provider_post_count": 0,
      "reconciliation_mutation_performed": false,
      "evidence": "The provider accepted one status while its response was dropped. A later read-only GET matched it without mutation replay."
    }
  ],
  "provider_observation": [
    {
      "id": 51601984051,
      "state": "success",
      "context": "alienctl/proof/success-v0.2.0-run2",
      "created_at": "2026-08-04T08:40:34Z",
      "updated_at": "2026-08-04T08:40:34Z"
    },
    {
      "id": 51601986958,
      "state": "success",
      "context": "alienctl/proof/outcome-unknown-v0.2.0-run2",
      "created_at": "2026-08-04T08:40:38Z",
      "updated_at": "2026-08-04T08:40:38Z"
    }
  ],
  "artifacts": [
    {
      "path": "/assets/proof/0.2.0/live-github-v0.2.0-7d4c2ffd4b8a/capture.json",
      "media_type": "application/json",
      "sha256": "9164487c9cc5530f6cee21b57912358386add403be07269a57f3b543dd502e8e"
    },
    {
      "path": "/assets/proof/0.2.0/live-github-v0.2.0-7d4c2ffd4b8a/README.md",
      "media_type": "text/plain",
      "sha256": "994511b7ea990eb069d0a658224ea055cf2c819ab11c98aa07d3d6bd216724d3"
    },
    {
      "path": "/assets/proof/0.2.0/live-github-v0.2.0-7d4c2ffd4b8a/commands.sh",
      "media_type": "text/plain",
      "sha256": "9f00397e36606f0119c5ef1bd8446263e47eaeab8537d5059c5c2ab13e03389a"
    },
    {
      "path": "/assets/proof/0.2.0/live-github-v0.2.0-7d4c2ffd4b8a/verification.txt",
      "media_type": "text/plain",
      "sha256": "37f673b8e2a7d60ae501e182a7fec26080e5fd90a7cfc9864c0619544b00820a"
    },
    {
      "path": "/assets/proof/0.2.0/live-github-v0.2.0-7d4c2ffd4b8a/github-commit-status.png",
      "media_type": "image/png",
      "sha256": "1bdaf3970b2bf7508a28e8e9acf63031c11aa8321f2d14684c389ed363be2bae"
    }
  ],
  "verification": {
    "commands": [
      "cargo test -p alien-server execution_ --lib -- --test-threads=1",
      "python3 scripts/validate_proof.py"
    ],
    "artifact_result": "pass",
    "live_harness_result": "nonzero exits disclosed in verification.txt"
  },
  "limitations": [
    "This is not correctness, compliance, production-safety, ROI, or exactly-once proof.",
    "Test-only bootstrap and fault injection are not production onboarding proof.",
    "Provider status success is not application correctness.",
    "The mutation and recovery test processes ended nonzero after the claimed product states; both harness failures are disclosed."
  ]
}