# 28｜Submission / Publication Gate

Before writing the formal theorem paper, complete the following five checks:

```text
[ ] Independent expert referee reproduces all source mappings
[ ] Check latest versions/publication status of BSTW and Fouquet–Wan
[ ] MathSciNet/zbMATH/Scholar novelty sweep
[ ] Produce machine-checkable arithmetic certificate for 696.e1
[ ] Rewrite proof without depending on LMFDB prose where an exact source/computation is available
```

## Suggested paper framing

Do not start by writing:

> We prove a fundamentally new BSD theorem.

It is safer to write:

> We isolate and verify an explicit non-semistable quadratic-twist family obtained by
> combining recent 2-primary twist results with ordinary/multiplicative Iwasawa results
> and the arbitrary-reduction theorem of Fouquet–Wan.

If the novelty search reveals that a general theorem already covers this case, the paper can still be reframed as:

- an explicit corollary;
- a theorem-applicability note;
- a proof-engineering / algorithmic extension;
- a non-semistable extension of Banwait–Huang's certificate router.