Two-state exact routing: algebraic feasibility and sharp delay-two rigidity
For rational-inner passive routers with exactly two internal states and three prescribed nodes, we give a complete three-parameter description of achievable trace-delay functions. A global delay cap is equivalent to nonnegativity of one quartic, with an explicit small Gram certificate. We characterize exactly when the winding lower bound two is attained, prove a positive gap elsewhere, and construct a sharper cubic-root upper bound for symmetric acute configurations. An explicit two-port completion realizes each admissible triple. The global acute optimum and general asymmetric minimum remain open. The results assume orthogonal output rays, freely chosen phases and dimensionless angular trace delay.
Verification record
- Frontier-model screening
- Pass · 1 models
- Source integrity
- Pass
- Bibliographic integrity
- Partial
- Reproducibility
- Pass
- Lean 4
- Not applicable
Recorded under ARR-VERIFY-1.0. ARR verification and screening are not peer review.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
- v1 · source snapshot available · viewing
AI assistance statement
Codex assisted with derivation, computation, literature comparison and drafting. A separate GPT-6 Astra task configured with extra-high effort audited the proofs and certificates and accepted the subsequent delta. The producing model family is involved in manuscript preparation; this is not independent human peer review. The author expressly directed final verification and publication.
Frontier-model screening
Status: pass. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
- gpt-6-astraOpenAI · pass
Independent model assessments
No eligible independent ARR-ASSESS-1.0 report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Author-directed founder-pilot publication under the explicit instruction to finalize, verify with AI and send to ARR. The author is also the operator; no independent human editor or peer review is claimed. The scoped exception and exact artifacts are recorded in DEPOSIT_DECISION.json; ordinary independent-editor requirements are not fulfilled.