{
  "id": "mlir-stage-08-v1-all-v2-20260911-082329-141-d0d1c1da",
  "kind": "compiler_bug",
  "status": "draft",
  "unit": "mlir-stage-08-v1",
  "title": "sha256:628bc55f576584fb74fcbc853ec9099bf4337c17a2b14393dc61c23f59cd2618:constraints/10/body/0/body/0/assert",
  "body": "# Draft: sha256:628bc55f576584fb74fcbc853ec9099bf4337c17a2b14393dc61c23f59cd2618:constraints/10/body/0/body/0/assert\n\n**Status:** drafted by `spectriad-app triage`, not filed. Proposed class:\n`potential_compiler_bug` (accepted output violates the anchored postcondition; source-grounded adjudication pending). Awaiting review.\n\n**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`.\n\n## Specification passages this PBT is anchored on\n\n- selected output (`docs/spec-compiler-part-3-mem.md` lines 228-238, output side)\n- linked input 29 (`docs/spec-compiler-part-3-mem.md` lines 482-486, input side)\n- linked input 32 (`docs/spec-compiler-part-3-mem.md` lines 92-97, input side)\n- linked input 50 (`docs/spec-compiler-part-3-mem.md` lines 148-152, input side)\n- linked input 59 (`docs/spec-compiler-part-3-mem.md` lines 136-140, input side)\n- linked input 66 (`docs/spec-compiler-part-3-mem.md` lines 489-493, input side)\n- linked input 67 (`docs/spec-compiler-part-3-mem.md` lines 3-6, input side)\n- linked input 68 (`docs/spec-compiler-part-3-mem.md` lines 79-90, input side)\n- linked input 80 (`docs/spec-compiler-part-3-mem.md` lines 99-106, input side)\n- linked input 102 (`docs/spec-compiler-part-3-mem.md` lines 389-393, input side)\n- linked input 104 (`docs/spec-compiler-part-3-mem.md` lines 470-480, input side)\n- linked input 115 (`docs/spec-compiler-part-3-mem.md` lines 486-489, input side)\n- linked input 126 (`docs/spec-compiler-part-3-mem.md` lines 142-146, input side)\n- linked input 149 (`docs/spec-compiler-part-3-mem.md` lines 43-46, input side)\n- linked input 170 (`docs/spec-compiler-part-3-mem.md` lines 154-157, input side)\n- linked input 182 (`docs/spec-compiler-part-3-mem.md` lines 382-387, input side)\n- linked input 184 (`docs/spec-compiler-part-3-mem.md` lines 34-35, input side)\n- linked input 195 (`docs/spec-compiler-part-3-mem.md` lines 159-161, input side)\n- linked input 200 (`docs/spec-compiler-part-3-mem.md` lines 40-41, input side)\n- linked input 202 (`docs/spec-compiler-part-3-mem.md` lines 31-32, input side)\n- linked input 211 (`docs/spec-compiler-part-3-mem.md` lines 245-251, input side)\n\n## Minimized input\n\n```mlir\ndataflow.graph private @sb_strand(\n    %start: none, %idx: index, %val: i32, %exp: i32, %des: i32,\n    %a: memref<16xi32>, %b: memref<16xi32>) -> ()\n    attributes {input_segments = array<i32: 4, 0, 2>,\n                result_segments = array<i32: 0, 0, 0>} {\n  %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>\n  %r1, %d1 = dataflow.load %b[%idx] %start {sb_index = 1 : i64} : memref<16xi32>\n  dataflow.graph.return %start : none\n}\n\n```\n\n## Observed\n\nExit outcome `accepted`, reproduced\n3/3 times on the original\ninput and deterministically\non the minimized input.\n\n```text\nsha256:628bc55f576584fb74fcbc853ec9099bf4337c17a2b14393dc61c23f59cd2618:constraints/10/body/0/body/0/assert\n```\n\n## Reduction\n\n9 lines to 9 lines in\n3 subject runs over 2 structural units.\nCriterion: same failing assertion on accepted pair.\nThe result is a reduced observed reproducer, not a claim of global minimality.\n\nFrozen postcondition: `postcondition.spct` (SHA-256 `981132546aa01e9aa4e6c62c2c474f81842870b55876f465b2fa7c9591848256`).\nOriginal and confirmation input/output pairs, checker reports and diagnostics are\nretained under `probes/`; confirmation locations are in `finding.json`.\n\nSource-grounded adjudication, symptom/mechanism upstream search, and reproduction\non a separately recorded current revision remain pending. This is not ready for filing.\n",
  "compiler_rev": "48615bc5925ef4b9db8b4550b5d4322933cf4b7b",
  "upstream_search": {
    "status": "pending"
  },
  "reviewer_notes": "",
  "review_history": []
}