Final v3 PDF · Annotated redline · Word and section differences
Defense, objection and resolution for each change · Review protocol and results · Citation coverage and gaps
The graph links exact manuscript replacements, downloaded primary math sources, parsed passages, deductions, checks and retained reviewer responses. NR is explicit additional formal content. Hash verification establishes provenance, not truth or empirical validity.
Fresh Astra: poke holes · Fresh Sol: poke holes · Download DAG
Primary file presence, cited edition and checked support are distinct. Earlier author versions and unavailable works are labeled; the graph does not certify every prose claim.