Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · proposition · dd45e0d1
Proposition: The rank report alone cannot decide an enlargement
Free-complex exactness and the missing enlarged image › Exact enlargement and separator construction · lines 1634–1648 · proof included or linked
XVI-O1-ST@5#prop:underdetermined
Knowing only and does not determine whether an unspecified enlargement removes the obstruction.
Proof. In , let and . Both rank statements hold. Taking resolves the target; taking does not. For the second choice annihilates both and pairs to one with . These are synthetic examples, not loop images.