{
  "schema": "tn12-blitz-mux-live-flow-evidence/v1",
  "network": "kaspa-testnet-12",
  "checkedAt": "2026-05-13T00:11:50.622Z",
  "status": "accepted-mux-route-worker-return-and-timeout",
  "contractFamily": {
    "sources": [
      "contracts/BlitzMux.sil",
      "contracts/BlitzWorkerA.sil",
      "contracts/BlitzWorkerB.sil"
    ],
    "templates": {
      "mux": "094b92ca4522a00356dae717dd9d9573283c865d822fc3f466f49b599b898abb",
      "a": "d595af0765e145cf9415e47c87223e87c4c8265b8c7835b6eb4cd3a4a386e6aa",
      "b": "2f3272b259d89b523279c887553e1cb9d5ffd2a61b4fb451afd362bfa3a27332"
    },
    "covenantId": "df9fd6e4938398f2f16a0c35830e30d58419a7fd36cc5e4b13ced7206e590204"
  },
  "acceptedFlow": [
    {
      "step": "family-genesis",
      "contract": "BlitzMux",
      "txid": "080661533ef398afa450ccecc2428c7ebe4f633b259d84f7437cb3a4d783cd53",
      "outputIndex": 0,
      "amountSompi": "1000000000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/080661533ef398afa450ccecc2428c7ebe4f633b259d84f7437cb3a4d783cd53"
    },
    {
      "step": "route-to-worker-a",
      "contract": "BlitzWorkerA",
      "txid": "dfbffecdcbaaab300313aa27c1d1db78c334debc9bf673fdfd00f207dacbe065",
      "outputIndex": 0,
      "amountSompi": "999980000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/dfbffecdcbaaab300313aa27c1d1db78c334debc9bf673fdfd00f207dacbe065",
      "state": {
        "minerFeeSompi": 20000,
        "nextPending": 1,
        "prevPending": 0,
        "selectedWorker": "A",
        "selector": 0,
        "timeout": 10,
        "value": 5
      }
    },
    {
      "step": "worker-a-return-to-mux",
      "contract": "BlitzMux",
      "txid": "bc51db872c8f926fb887cf150af5bf918c44cf20f72abfc3ac4620d57fa0c037",
      "outputIndex": 0,
      "amountSompi": "999960000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/bc51db872c8f926fb887cf150af5bf918c44cf20f72abfc3ac4620d57fa0c037",
      "state": {
        "gain": 3,
        "minerFeeSompi": 20000,
        "nextPending": 0,
        "prevPending": 1,
        "timeout": 10,
        "valueAfter": 8,
        "valueBefore": 5
      }
    },
    {
      "step": "route-to-worker-a-for-timeout",
      "contract": "BlitzWorkerA",
      "txid": "a2ef1f4d96354294b682e83869457ee09836e59c17c2171ad1367ea87c0bdbb3",
      "outputIndex": 0,
      "amountSompi": "999940000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/a2ef1f4d96354294b682e83869457ee09836e59c17c2171ad1367ea87c0bdbb3",
      "state": {
        "minerFeeSompi": 20000,
        "nextPending": 1,
        "prevPending": 0,
        "selectedWorker": "A",
        "timeout": 10,
        "value": 8
      }
    },
    {
      "step": "worker-a-timeout-to-mux",
      "contract": "BlitzMux",
      "txid": "26be92cbbde3673e2ba539412b981655693ed3f4a08c8ad9f7ce3b2e47aef036",
      "outputIndex": 0,
      "amountSompi": "999920000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/26be92cbbde3673e2ba539412b981655693ed3f4a08c8ad9f7ce3b2e47aef036",
      "state": {
        "minerFeeSompi": 20000,
        "nextPending": 0,
        "prevPending": 1,
        "sequence": 10,
        "timeout": 10,
        "valueAfter": 7,
        "valueBefore": 8
      }
    },
    {
      "step": "route-to-worker-b",
      "contract": "BlitzWorkerB",
      "txid": "de614f26563bcedca34063dc2d1bb0532f1dfc0b1274d64870a6d4e36bd745f2",
      "outputIndex": 0,
      "amountSompi": "999900000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/de614f26563bcedca34063dc2d1bb0532f1dfc0b1274d64870a6d4e36bd745f2",
      "state": {
        "minerFeeSompi": 20000,
        "nextPending": 2,
        "prevPending": 0,
        "selectedWorker": "B",
        "selector": 1,
        "timeout": 10,
        "value": 7
      }
    },
    {
      "step": "worker-b-return-to-mux",
      "contract": "BlitzMux",
      "txid": "9985e4e92d5e877b1530ae00625be29429350bb6393c9da1ee5a9d92c9fa9eb2",
      "outputIndex": 0,
      "amountSompi": "999880000",
      "status": "accepted",
      "explorerUrl": "https://tn12.kaspa.stream/transactions/9985e4e92d5e877b1530ae00625be29429350bb6393c9da1ee5a9d92c9fa9eb2",
      "state": {
        "gain": 5,
        "minerFeeSompi": 20000,
        "nextPending": 0,
        "prevPending": 2,
        "timeout": 10,
        "valueAfter": 11,
        "valueBefore": 7,
        "worker": "B",
        "workerFee": 1
      }
    }
  ],
  "localChecks": {
    "routeEngineAcceptedGeneratedSigScript": true,
    "returnEngineAcceptedGeneratedSigScript": true,
    "timeoutRouteEngineAcceptedGeneratedSigScript": true,
    "timeoutEngineAcceptedGeneratedSigScript": true,
    "routeCovenantMatchesInput": true,
    "returnCovenantMatchesInput": true,
    "timeoutRouteCovenantMatchesInput": true,
    "timeoutCovenantMatchesInput": true,
    "timeoutSequenceMeetsThreshold": true,
    "workerBRouteEngineAcceptedGeneratedSigScript": true,
    "workerBReturnEngineAcceptedGeneratedSigScript": true,
    "workerBRouteCovenantMatchesInput": true,
    "workerBReturnCovenantMatchesInput": true
  },
  "proves": [
    "A BlitzMux family genesis output was accepted on TN12.",
    "The mux routed accepted state to Worker A through template identity.",
    "Worker A returned accepted state to the mux.",
    "A fresh mux state routed to Worker A again, then the Worker A timeout path returned state to mux.",
    "The timeout-returned mux state then routed to Worker B, and Worker B returned state with its gain-minus-fee rule.",
    "Both spends preserved the same covenant family id."
  ],
  "doesNotProve": [
    "full chess rules",
    "mainnet activation",
    "production game settlement"
  ],
  "sourceArtifacts": {
    "family": "artifacts/blitz-mux-family-artifacts.json",
    "genesisDraft": "artifacts/signed-drafts/blitz-mux-family-genesis-funding.json",
    "genesisOutpoint": "fixtures/BlitzMuxFamilyContractOutpoint.json",
    "routeDraft": "artifacts/signed-drafts/blitz-mux-route-to-worker-a.json",
    "routeOutpoint": "fixtures/BlitzWorkerARouteOutpoint.json",
    "returnDraft": "artifacts/signed-drafts/blitz-mux-worker-a-return.json",
    "returnedOutpoint": "fixtures/BlitzMuxReturnedOutpoint.json",
    "timeoutRouteDraft": "artifacts/signed-drafts/blitz-mux-route-to-worker-a-timeout.json",
    "timeoutRouteOutpoint": "fixtures/BlitzWorkerATimeoutRouteOutpoint.json",
    "timeoutDraft": "artifacts/signed-drafts/blitz-mux-worker-a-timeout.json",
    "timeoutOutpoint": "fixtures/BlitzMuxTimeoutOutpoint.json",
    "workerBRouteDraft": "artifacts/signed-drafts/blitz-mux-route-to-worker-b.json",
    "workerBRouteOutpoint": "fixtures/BlitzWorkerBRouteOutpoint.json",
    "workerBReturnDraft": "artifacts/signed-drafts/blitz-mux-worker-b-return.json",
    "workerBReturnedOutpoint": "fixtures/BlitzMuxWorkerBReturnedOutpoint.json"
  }
}