← all exploratory attempts · paired baseline · show in source

breadth-16: Source provenance

Agent report: partial Review pending

Session: completed

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.

Execution provenance

The original pilot recorded the compiler hash and checkout revision separately; its binary build revision was not verified. Coverage follow-ups use separately identified rebuilt binaries. Original simulator binary hashes were not retained.

Original standalone-test agent report

This is exploratory evidence, not an accepted production-format PBT.

O1/O2/O3 of the passage tested against the real pinned binary; O4 (finalizer-derived source-object-to-entity relation, --loom-viz-export) has no exposed interface and is untested.

Reported numeric verdicts

not measured

Tested obligations

• id

  O1

  property

  P2_locations_preserved

  text

  MLIR locations remain the source provenance authority through processing

  verdict

  pass

• id

  O2

  property

  P1_loc_invariant_semantic_identity

  text

  locations do not change semantic identity

  verdict

  pass

• id

  O3

  property

  P3_no_second_provenance_ir

  text

  Loom does not introduce a second provenance IR

  verdict

  pass

Untested obligations

• id

  O4

  reason

  pinned binary exposes no --loom-viz-export and no CDP finalizer entry point (only --loom-elaborate-fabric-instances among loom passes)

  text

  finalizer may derive a source-object-to-entity relation for diagnostics and --loom-viz-export

• id

  O1b

  reason

  only MLIR loc(...) provenance varied; LLVM-IR import path not exercised

  text

  imported LLVM debug information (!dbg metadata import)

• id

  O1c

  reason

  only parse + builtin canonicalize exercised; no raising/lowering pipeline exposed by this binary

  text

  through raising and lowering

Format

Reproduction

Measured subject code coverage

pending · Instrumented coverage follow-up in progress; original pilot did not collect profiles.

Coverage-preserving minimized cases: not measured

Published evidence