Exceptional d=4 Hecke Yang–Baxter localization v1.1.0

Exceptional d=4 Hecke Yang--Baxter localization v1.1.0

This release is a formal-completeness and provenance revision of the first
public research note. The central matrix and theorem are unchanged.

What changed

• made the conjugate-linear (*)-structure, tower compatibility, and
  quotient-tower injections explicit;
• replaced the informal dimension-three discussion with both exact
  Temperley--Lieb obstructions, each of trace norm (1/18);
• formalized the sitewise swap and faithful ((3,2))-generalized
  localization as a proposition;
• added the historical non-counterexample consequence and Lechner's
  index-(4), standard-braided consequence;
• corrected two equation-label defects;
• added version-specific code and source availability inside the PDF;
• revised the abstract, authorship metadata, AI disclosure, related-work
  section, webpage, and reproducibility instructions;
• extended the dependency-free exact verifier to check the complementary
  dimension-three obstruction and explicitly conjugate the original
  (16\times16) matrix into its spectator-factor form.

Status

All identities are checked exactly. The result remains unrefereed and has not
received independent specialist review. The priority audit supports
“apparently new,” not absolute novelty. No DOI or cryptographic signature is
claimed.