Status: drafted by spectriad-app triage, not filed. Proposed class:
potential_compiler_bug (accepted output violates the anchored postcondition; source-grounded adjudication pending). Awaiting review.
Subject: PolyArch/loom at 48615bc5925ef4b9db8b4550b5d4322933cf4b7b, command /home/blimpan/blimpan/spectriad-loom-head/loom/build/bin/loom-raise-opt --loom-lower-graph-memory --mlir-print-op-generic.
docs/spec-compiler-part-3-mem.md lines 228-238, output side)docs/spec-compiler-part-3-mem.md lines 482-486, input side)docs/spec-compiler-part-3-mem.md lines 92-97, input side)docs/spec-compiler-part-3-mem.md lines 148-152, input side)docs/spec-compiler-part-3-mem.md lines 136-140, input side)docs/spec-compiler-part-3-mem.md lines 489-493, input side)docs/spec-compiler-part-3-mem.md lines 3-6, input side)docs/spec-compiler-part-3-mem.md lines 79-90, input side)docs/spec-compiler-part-3-mem.md lines 99-106, input side)docs/spec-compiler-part-3-mem.md lines 389-393, input side)docs/spec-compiler-part-3-mem.md lines 470-480, input side)docs/spec-compiler-part-3-mem.md lines 486-489, input side)docs/spec-compiler-part-3-mem.md lines 142-146, input side)docs/spec-compiler-part-3-mem.md lines 43-46, input side)docs/spec-compiler-part-3-mem.md lines 154-157, input side)docs/spec-compiler-part-3-mem.md lines 382-387, input side)docs/spec-compiler-part-3-mem.md lines 34-35, input side)docs/spec-compiler-part-3-mem.md lines 159-161, input side)docs/spec-compiler-part-3-mem.md lines 40-41, input side)docs/spec-compiler-part-3-mem.md lines 31-32, input side)docs/spec-compiler-part-3-mem.md lines 245-251, input side)dataflow.graph private @sb_strand(
%start: none, %idx: index, %val: i32, %exp: i32, %des: i32,
%a: memref<16xi32>, %b: memref<16xi32>) -> ()
attributes {input_segments = array<i32: 4, 0, 2>,
result_segments = array<i32: 0, 0, 0>} {
%r0, %d0 = dataflow.load %b[%idx] %start {contract = #dataflow.atomic_access<ordering = acquire, sync_scope = <system>, source_alignment_bytes = 4>, sb_index = 0 : i64} : memref<16xi32>
%r1, %d1 = dataflow.load %a[%idx] %start {contract = #dataflow.atomic_access<ordering = acquire, sync_scope = <system>, source_alignment_bytes = 4>, sb_index = 1 : i64} : memref<16xi32>
dataflow.graph.return %start : none
}
Exit outcome accepted, reproduced
3/3 times on the original
input and deterministically
on the minimized input.
sha256:628bc55f576584fb74fcbc853ec9099bf4337c17a2b14393dc61c23f59cd2618:constraints/7/body/0/body/0/assert
9 lines to 9 lines in 3 subject runs over 2 structural units. Criterion: same failing assertion on accepted pair. The result is a reduced observed reproducer, not a claim of global minimality.
Frozen postcondition: postcondition.spct (SHA-256 981132546aa01e9aa4e6c62c2c474f81842870b55876f465b2fa7c9591848256).
Original and confirmation input/output pairs, checker reports and diagnostics are
retained under probes/; confirmation locations are in finding.json.
Source-grounded adjudication, symptom/mechanism upstream search, and reproduction on a separately recorded current revision remain pending. This is not ready for filing.
accepted output violates the anchored postcondition; source-grounded adjudication pending
Recording a decision preserves the PBT and does not file anything upstream.
{
"binary_sha256": "e0dadfffc66253772e456c86bc9489e1f1155993067c2c78cc76545484fa5b22",
"binary_stable": true,
"budgets": {
"reduction_probes": 120,
"reduction_timeout_s": 1800,
"repeats": 3
},
"checker_cmd": [
"/home/blimpan/projects/spectriad/rework-fresh/implementation/checker/.venv/bin/spectriad-check"
],
"classification_rule": "accepted output violates the anchored postcondition; source-grounded adjudication pending",
"current_revision_reproduction": {
"status": "pending"
},
"declared_revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
"effective_config": {
"_config_base": "/home/blimpan/projects/spectriad/rework-fresh/project-data/loom/48615bc5925ef4b9db8b4550b5d4322933cf4b7b/experiments/breadth-mlir-pbt-v1/confidence-v1",
"check_cmd": [
"/home/blimpan/projects/spectriad/rework-fresh/implementation/checker/.venv/bin/spectriad-check"
],
"coverage": {
"baseline": "experiments/r4-coverage/20260908-assertions/baseline-export.json.gz",
"baseline_identity": "experiments/r4-coverage/20260908-assertions/baseline-identity.json",
"settings": "experiments/breadth-mlir-pbt-v1/confidence-v1/settings.json"
},
"native_filecheck": "/data1/blimpan/spectriad-loom-head/loom/externals/llvm/build/bin/FileCheck",
"progrmr_cmd": [
"/home/blimpan/projects/ProGRMR/.venv/bin/progrmr"
],
"progrmr_project": "/home/blimpan/projects/ProGRMR",
"subject_timeout": 120,
"translation": {
"checker_python": "/home/blimpan/projects/spectriad/rework-fresh/implementation/checker/.venv/bin/python",
"checker_source": "/home/blimpan/projects/spectriad/rework-fresh/implementation/checker/src/spectriad_checker",
"generator_sampler": "/home/blimpan/projects/spectriad/rework-fresh/implementation/progrmr-parser/sample_generator.py",
"progrmr": "/home/blimpan/projects/ProGRMR/.venv/bin/progrmr",
"progrmr_python": "/home/blimpan/projects/ProGRMR/.venv/bin/python"
}
},
"executed_revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
"filing_ready": false,
"final_binary_sha256": "e0dadfffc66253772e456c86bc9489e1f1155993067c2c78cc76545484fa5b22",
"final_revision": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
"finished": "2026-09-11T23:05:55Z",
"label": "all-v2-20260911-082329-363-60d9aaf8",
"minimization": {
"confirmation_probes": [
"probes/6",
"probes/7",
"probes/8"
],
"criterion": "same failing assertion on accepted pair",
"iterations": 0,
"minimized_deterministic": true,
"minimized_lines": 9,
"original_lines": 9,
"removed_lines": 0,
"reproduced": true,
"runs": 3,
"units": 2
},
"package_ready": true,
"postcondition_digest": "981132546aa01e9aa4e6c62c2c474f81842870b55876f465b2fa7c9591848256",
"preflight": null,
"probe_count": 9,
"proposed_class": "potential_compiler_bug",
"reproduction": {
"checker_verdicts": [
"FAIL",
"FAIL",
"FAIL"
],
"deterministic": true,
"outcomes": [
"accepted",
"accepted",
"accepted"
],
"raw_signature": null,
"repeats": 3,
"signature": null
},
"review_status": "awaiting review",
"revision_mismatch": false,
"revision_stable": true,
"schema_version": 2,
"seeded": false,
"started": "2026-09-11T23:05:52Z",
"state": "complete",
"subject": {
"args": [
"--loom-lower-graph-memory",
"--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": "--loom-lower-graph-memory is the documented concrete owner of graph-local SCF-to-Dataflow memory lowering and of the sequenced-before materialization under test (docs/spec-compiler-part-3-mem.md L3-6, L228-238), so the pass selection is unchanged. --mlir-print-op-generic only changes the printed form: the checker's parser reads generic MLIR, and dataflow.* ops are unregistered there, so pretty output would fail to parse instead of being evaluated."
},
"synthetic": false,
"target_site": "sha256:628bc55f576584fb74fcbc853ec9099bf4337c17a2b14393dc61c23f59cd2618:constraints/7/body/0/body/0/assert",
"unit": "mlir-stage-08-v1",
"upstream_search": {
"status": "pending"
}
}Download complete retained evidence and proposed patches