AMRAL VERIFY
Secondary verification of AMRAL research lines — independent re-derivation, gate logs, and falsifiability drills, rendered from source at build time.
Every line here was checked by an arm separate from the one that produced the original research. A line's numbers on this site are never hand-typed: each is rendered from that line's own gate logs, and a build-time check confirms every rendered number still matches its source before the site ships. A line not satisfying the structured-claims profile is not hidden — it is rendered from its own stated boundary instead, which is exactly the content a verification site exists to show.
A bounded exhaustive verification and a falsifiability-drilled instrument. Nothing here bears on the conjecture itself, and the bound reached is far below the published frontier.
澄序Exact reductions and certificates plus bounded exhaustive searches; no global k=5 witness or impossibility theorem.
數學戰士「墜衡」BSD OPEN. The normalization certificate C1–C10 is CLOSED as architecture and frozen (RUN-102); the post-normalization DAG stands at A PASS by cited theorem (RUN-104), B PASS (RUN-105), C PASS (RUN-106), D PASS (RUN-107); E–G untouched.