Axis-Target Dual Obstruction

Axis-Target Dual Obstruction v0.3 — Uses dual witnesses to answer the question left by v0.2: it is not that the primal search is not trying hard enough, but that the existing R=3 function class itself is structurally blocked by the [18,23] axis band and tail terms; all 18/18 patches prove J(A)≥2, whereas the target requires <1.

RH_CLAIM = False — This is a veto within a finite rational surrogate, not a proof or disproof of the Riemann Hypothesis, nor a veto of all admissible test functions, reproduced here as is. The exact rational LDL^T positive pivot check passed at 6/8/10/12 decimal places.

Connections

This package uses dual witnesses to answer the question left by the previous package, quoted as-is; the conclusion directs the next step toward the support-prime cost frontier.

"This leaves two possibilities: 1. The primal searcher has not yet found a truly good direction; 2. The entire restricted function class of R=3 is inherently blocked by the geometric relationship between the real axis and the tail terms. This node uses a dual witness to distinguish between the two. The results support the second explanation." — Excerpted from Technical Note §1 of this package.

Previous Node · v0.2PSD Gram Banded Global Dominance

Next Node · v0.4Support–Prime Dual Frontier

Technical Notes

Main document — finite PSD dual model, floating-point witnesses for 18 patches, exact rational surrogate cross-validation, support radius vs. prime truncation cost diagnostics, and next node decision.

Result Data

Primal-dual family statistics, exact rational surrogate pivot check, sensitivity scan, and support-cost diagnostic table, from RESULTS.md within the package.

Trust Boundaries

From TRUST_BOUNDARY.md within the package.

Files

The dual witnesses for each of the 18 patches (outputs/witnesses/*.witness.json) and the large Gram data inherited from the previous package (data/parent_gram_results.json, 388 KB) are not listed individually; they are all in the complete zip file.

Download Complete Package (169.0 KB)

sha256 ce7844c1bcb910b00e75b114b57684f3cddf501d0d2d28c96d496a4b11789490