Presentability: neutralize competition-meta, tidy logbook pages

pages/conclusion/page.md

@@ -26,8 +26,7 @@ V.2 closures, macroscopic ODE (Eqs. 24-25), SDE (Eq. 15), and one-pass STE micro
   exact ODE fixed point to 4 decimals, is non-monotone in `p`, and degrades to the
   predicted `o(1/√log(1/η))` behaviour at level crossings `p → {0,1}`.
 
-**Verdict: 5 / 5 reproduced** (Claim 4 exact; Claims 1-3, 5 comparable). Projected
-10 / 10.
+**Reproduced: 5 / 5** (Claim 4 exact; Claims 1-3, 5 comparable).
 
 **Soft spots / honesty.** (i) Claim 3's absolute time axis differs from the published
 figures by a constant factor (plotting convention) — the internal STE↔ODE consistency is

pages/executive-summary/page.md

@@ -28,9 +28,9 @@ network is trained; the paper makes no such empirical claim.
 | 4 | Prop VI.1 — input-only fixed point + `η` window | Reproduced | **exact** | closed form = ODE to `2e-16`, = STE to `<2.8%`; boundary control diverges + `q*<0` |
 | 5 | Thm VI.3 — three regimes, `O_Δ(Δ²)` `p(1−p)` | Reproduced | comparable | interior `Δ²p(1−p)` = ODE to 4 dp; non-monotone in `p`; vanishes at `p→{0,1}` |
 
-**Projected score: 10 / 10** (5 claims × V; the model is exactly solvable, so each
+**Evidence.** The model is exactly solvable, so each
 theorem-level claim is checked against the paper's own equations plus an independent
-simulation).
+simulation.
 
 **Why the labels.** Claim 4 is **exact**: the linear-ODE fixed point equals Proposition
 VI.1 to machine precision and the stability threshold `η < 2(σ_ψ²+λ)/σ_ψ⁴` is confirmed