Back to PBT run

check-report.json

{
  "annotations": {
    "implementation": "spectriad-checker/0.1.0.dev0",
    "input_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-05-v1/20260911-043029/seeds/545/input.generic.mlir",
    "output_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-05-v1/20260911-043029/seeds/545/output.generic.mlir",
    "postcondition_path": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/runs/mlir-stage-05-v1/20260911-043029/profiles-all-v2-600-22d17e65e8674b7686f901f5e24f999b/postcondition.spct"
  },
  "dependencies": [],
  "diagnostics": [],
  "identity": {
    "adapter": "mlir.generic@1/xdsl-0.69",
    "input_digest": "sha256:4efa94c045c653fa276aecc453281371e84e874bf0e1d6e4837d79d1644027b9",
    "language_version": "v0",
    "output_digest": "sha256:4efa94c045c653fa276aecc453281371e84e874bf0e1d6e4837d79d1644027b9",
    "postcondition_digest": "sha256:cd479d53d3e454031c9da3cb497446c59c45d7b6625a2f2ecdd40196bdabaee4",
    "postcondition_name": "fmuladd_children_preserve_source_type_and_contract",
    "typed_ast_digest": "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96",
    "vocabulary": "mlir.generic@1"
  },
  "outcome": "PASS",
  "report_version": "spectriad.check-report@0",
  "retention": {
    "max_witnesses_per_site": 10
  },
  "terminal_phase": "evaluation",
  "trace": {
    "assertion_sites": [
      {
        "label": "child_preserves_exact_result_type",
        "line": 48,
        "site": "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/body/0/assert"
      },
      {
        "label": "child_preserves_exact_operand_types",
        "line": 56,
        "site": "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/body/1/assert"
      },
      {
        "label": "child_preserves_fastmath_contract",
        "line": 65,
        "site": "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/body/2/assert"
      }
    ],
    "assertions": [],
    "decision_diagrams": {
      "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/body/0/assert": {
        "nodes": {
          "constraints/0/body/0/condition": {
            "end": 2639,
            "false": "FAIL",
            "line": 49,
            "start": 2264,
            "true": "PASS"
          }
        },
        "root": "constraints/0/body/0/condition"
      },
      "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/body/1/assert": {
        "nodes": {
          "constraints/0/body/1/condition": {
            "end": 3149,
            "false": "FAIL",
            "line": 57,
            "start": 2701,
            "true": "PASS"
          }
        },
        "root": "constraints/0/body/1/condition"
      },
      "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/body/2/assert": {
        "nodes": {
          "constraints/0/body/2/condition": {
            "end": 3981,
            "false": "FAIL",
            "line": 66,
            "start": 3210,
            "true": "PASS"
          }
        },
        "root": "constraints/0/body/2/condition"
      }
    },
    "decision_paths": [],
    "predicate_observations": [
      {
        "path": "constraints/0/generators/0/source/definition/callables/where/left",
        "value": false
      },
      {
        "path": "constraints/0/generators/0/source/definition/callables/where/right",
        "value": false
      },
      {
        "path": "constraints/0/generators/0/source/definition/callables/where",
        "value": false
      }
    ],
    "quantifiers": [
      {
        "candidate_count": 0,
        "error_count": 0,
        "false_count": 0,
        "kind": "forall",
        "selected_count": 0,
        "site": "sha256:7308f0c8a3e0d1bb9c0491e84a4304cb69e9d315dae7eaed54e637cf3df97d96:constraints/0/forall",
        "true_count": 0,
        "vacuous_count": 1
      }
    ]
  }
}