FA-11443 / Compiler transformation correctness / Member archive
Constant propagation retains a fact after an unknown assignment · case 03
Constant propagation retains a fact after an unknown assignment.
Case contract
Interpret assignment facts (name, kind, value); const sets a known integer, input and call invalidate that name. Return final known facts.
Why this case matters
A deterministic miniature compiler-pass model; inputs are explicit IR facts, not a production compiler.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| input kills constant | {"x": 3} | {} | Failed |
MEMBER ARCHIVE
The complete case is available to members.
This record includes three runnable implementations, regression fixtures, execution results, and source hashes.
Member access is invitation-based. Sign in with your invited account to inspect the sources.
Sign in to the archive ↗