← all exploratory attempts · paired baseline · show in source

breadth-08: Address-normalizer outcomes

Agent report: partial Review pending

Session: completed

docs/spec-compiler-part-2-scf.md, lines 1445–1452

The address normalizer owns one typed negative result for an otherwise valid address projection. Only that typed result becomes `NonFinalizable`. Unsupported graph structure is classified by lowering-owned structural preflight before materialization. Once the mechanical Structured-to-Dataflow transaction starts, clone correspondence, block replacement, specialization, pass verification, canonical artifact/view, and tracked-launch failures are invocation failures; callers may not flatten an owner's entire error channel into candidate pruning.

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.

P1 and P2 exercised on the real subject over 120 seeds; the transaction-phase invocation-failure clause is untested (no fault-injection seam).

Reported numeric verdicts

seeds

address family

1000-1099

structural family

5000-5019

total cases

120

Tested obligations

• cases

  100

  id

  P1

  result

  held

  text

  one typed negative result for an otherwise valid address projection; only that typed result becomes NonFinalizable

• cases

  20

  id

  P2

  result

  held

  text

  unsupported graph structure classified by lowering-owned structural preflight, not by the address normalizer

Untested obligations

• Once the Structured-to-Dataflow transaction starts, clone-correspondence, block-replacement, specialization, pass-verification, canonical artifact/view and tracked-launch failures are invocation failures (no fault-injection interface without modifying the subject).
• callers may not flatten an owner's entire error channel into candidate pruning (only the weak corollary that address vs structural owners keep distinct diagnostics is covered by P2).

Format

Reproduction

Measured subject code coverage

blocked · The pinned subject target cannot be rebuilt with the available Clang 21 or Clang 24 / libstdc++13 toolchains: CgraClosedWaitSetDiagnostic has an implicitly deleted std::variant default constructor. Both simulator and pre-mapping targets depend on this code. No subject source was changed; original uninstrumented runs remain available, with their build revision unverified.

Coverage-preserving minimized cases: not measured

Published evidence