The paper explicitly excludes earlier exploratory semantic-constraint analyses from its claim set and recenters on evaluation and artifact contributions supported by the released evidence (strict-parity outputs, paired-bootstrap summaries, leakage audits, latency logs, separate token-cap diagnostics, and traceability assets). This is a scope decision, not a result: it marks which prior exploratory threads are no longer load-bearing for any headline claim in this version.