{
  "artifacts": {
    "generator": {
      "path": "candidate.pg",
      "sha256": "74f47c080a600739b3aa92cd9d629d4170ae677d17204b38bdd0425a9456a726"
    },
    "postcondition": {
      "path": "candidate.spct",
      "sha256": "32c2f1137fecabff3bcd614b253f87a8b83c567b0b3388187885ee0a1c0a5e59"
    }
  },
  "authoring_context": {
    "entries": 7,
    "path": "authoring-context.json",
    "selection_path": "authoring-context-selection.json",
    "selection_sha256": "1aeadea0601cf324791cf0ace76599ea1ae8db9d6a776267b02f5890582c76d1",
    "sha256": "6abb9db09738a8a874ba396269efccd838737743282977e029c8bf2b373f2002"
  },
  "authoring_mode": "paired",
  "authoring_session": "completed",
  "backtranslations": {
    "generator": {
      "evidence": "sessions/reverse-generator/session-evidence/result-events.json",
      "sha256": "a231e3c16db3a50fdcc4359bafbefc99eb394830441418ae632fd8e5f84a27f1",
      "status": "completed"
    },
    "postcondition": {
      "evidence": "sessions/reverse-postcondition/session-evidence/result-events.json",
      "sha256": "2acde7cafa370319b33fdc30a674e3bd91becd371d1fb68b6203bfab88ad070e",
      "status": "completed"
    }
  },
  "bundle": {
    "path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/experiments/breadth-mlir-pbt-v1/bundles/stage-15.toml",
    "sha256": "635e1ded89f470aacc6c62a990f2ff11ca246b1b2754e69819070d214183e85e"
  },
  "execution_evidence": "final-execution/attempt-001/receipt.json",
  "execution_exit_code": 0,
  "execution_summary": {
    "binding": {
      "declared_revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
      "executed_revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
      "expected_binary_sha256": "e0dadfffc66253772e456c86bc9489e1f1155993067c2c78cc76545484fa5b22",
      "observed_binary_sha256": "e0dadfffc66253772e456c86bc9489e1f1155993067c2c78cc76545484fa5b22"
    },
    "candidate": {
      "generator": "sha256:74f47c080a600739b3aa92cd9d629d4170ae677d17204b38bdd0425a9456a726",
      "postcondition": "sha256:32c2f1137fecabff3bcd614b253f87a8b83c567b0b3388187885ee0a1c0a5e59"
    },
    "commands": {
      "checker": [
        "/home/blimpan/projects/spectriad/rework-fresh/implementation/checker/.venv/bin/spectriad-check"
      ],
      "progrmr": [
        "/home/blimpan/projects/ProGRMR/.venv/bin/progrmr"
      ],
      "subject": {
        "args": [
          "--loom-materialize-fmuladd=shape=fused",
          "--mlir-print-op-generic"
        ],
        "binary": "/home/blimpan/blimpan/spectriad-loom-head/loom/build/bin/loom-raise-opt",
        "checkout": "/home/blimpan/blimpan/spectriad-loom-head/loom",
        "cpu": 79,
        "declared_revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
        "expected_binary_sha256": "e0dadfffc66253772e456c86bc9489e1f1155993067c2c78cc76545484fa5b22",
        "host": "bibim",
        "kind": "ssh",
        "rationale": "The claimed stage is loom-materialize-fmuladd, so the pass itself is correct; the flags needed two repairs. (1) MaterializeFMulAddPass declares 'shape' as a required typed option with no default (lib/Frontend/Raising/MaterializeFMulAddPass.cpp:148-164): under the bare --loom-materialize-fmuladd the pass emits \"loom-materialize-fmuladd requires an explicit 'shape' option\" and fails, so the initial invocation materializes nothing and cannot exercise the obligation. test/raise/fmuladd-materialization.mlir:2-4 fixes the spelling: bare invocation is the error case; =shape=fused and =shape=split are the two admissible selections. The sampled obligation (no fmuladd remains) was executed and passed under both; 'fused' is kept because the governing context names math.fma as the registered Canonical Dataflow actor form. (2) --mlir-print-op-generic is required by the checker adapter: without it loom-raise-opt prints custom assembly and the xdsl mlir.generic@1 adapter reports AP0001 'Operation builtin.unregistered does not have a custom format' on any surviving llvm.intr.fmuladd, which would silently turn a real violation into NO_VERDICT instead of FAIL. Verified: with the flag a deliberately unrepresentable sample yields FAIL with the surviving fmuladd as the witness."
      }
    },
    "finished": "2026-09-11T06:17:23Z",
    "schema_version": 1,
    "seeds": [
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16,
      17,
      18,
      19
    ],
    "stages": {
      "checker": {
        "status": "completed",
        "verdicts": {
          "PASS": 20
        }
      },
      "generator_parse": {
        "status": "passed"
      },
      "postcondition_parse": {
        "status": "passed",
        "terminal_phase": "evaluation"
      },
      "sampling": {
        "errors": 0,
        "generated": 20,
        "status": "completed"
      },
      "subject": {
        "outcomes": {
          "accepted": 20
        },
        "status": "completed"
      },
      "subject_binding": {
        "status": "passed"
      }
    },
    "started": "2026-09-11T06:16:54Z",
    "status": "completed"
  },
  "final_replay": {
    "receipt": "final-execution/attempt-001/receipt.json",
    "sha256": "52af9dfb84976af9fcc974a5334e5353e1b3e04ecf4c8c59b7c17229f4d7fd6b"
  },
  "production_format_ready": true,
  "revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
  "schema": "spectriad.pbt-revision/v2",
  "semantic_status": "team_review_required",
  "status": "review_pending"
}