← all sampled attempts · show highlighted in source
docs/spec-compiler-part-1-source.md, lines 251–255
MLIR locations and imported LLVM debug information remain the source provenance authority through raising and lowering. They do not change the semantic identity of a finalized Canonical Dataflow Program. Its finalizer may derive a source-object-to-entity relation for diagnostics and `--loom-viz-export`; Loom does not introduce a second provenance IR.
blocked postcondition observability
No shown text determines the `--loom-viz-export` interface: what the export consumes, emits, or how the derived source-object-to-entity relation is surfaced through it or through diagnostics. | No shown text states an observable check that Loom introduces no second provenance IR (e.g. a rejection or absence obligation) beyond the prohibitive sentence itself.
| input generator | unrun |
|---|---|
| output condition | unrun |
| native evaluation | unrun |
obligation coverage: not measured / no validated evidence · code coverage: not measured / no validated evidence · coverage-preserving minimized case: not measured / no validated evidence
command.json · stderr.txt · stdout.txt · syntax-hashproof.json · anchor-response.request.json · anchor-response.txt · anchoring.json · claim.json · context.json · outline-response.request.json · outline-response.txt · sections.json · breadth-16-syntax.toml