v1.0.5 — independent verification layer

Version 1.0.5 adds an independent software-verification layer while leaving
the theorem and proof strategy unchanged.

Highlights:

• standalone C++ exact checking of exported polynomial, factor, Sturm, and
  resultant witnesses: 537 checks, 0 failures;
• a structurally independent Boost/two-parent Pascal scan through D = 1200:
  289,261,901 top-half cells, 0 negative Turán steps;
• twelve injected scan and certificate mutations, all rejected;
• atomic witness exports, hard-failure gates, long-stage progress reporting,
  expanded reviewer maps, and CI integration;
• rebuilt 31-page manuscript with the independent-assurance trust boundary
  and v1.0.5 artifact identifiers.

The local component runs and make audit-fast passed. The separate clean
replay by a second person has not been performed: the included sign-off form
is intentionally unsigned, and the release does not represent it as complete.

Snapshot commit:
93ed17920c044650e4a69a69ba4fbdc2d5fc4212

Proof-payload SHA-256:
8659c3004354cc7dbf95a8509bb3e4ed7787c352ed4ff69586c3e92f7fcbdbaa

PDF SHA-256:
dd0d018a5b9f9062347098e5bd674ebebe74c63c8a2e575452eea9bd5be1c1bb

The accepted snapshot remains intended for deposit in a persistent,
DOI-bearing archive.