Add field note 13: what trust would skip

[carlok]

Field Note 13 (22 September) covers:

• 18 submissions in one day, 17 of them from the outside contributor;
• the auto-merge allowlist question, and the two holes it exposed (fix: reject build- and import-time code, and make submissions add-only #216);
• the deprecation clean-up and the new rule (Mark landed contribution directions; replace v4.34.0 deprecations in the corpus #224, feat: reject deprecated APIs in submissions, report them in upgrades #239);
• the first conjecture exposing the probe bug (fix: probe conjectures the claim does not list #241);
• the orphaned-process fix (fix: kill a timed-out command's whole process group, and time the probes #201), the stale-branch diagnostic (feat: name a stale branch as stale instead of blaming it for main's changes #254) and the preregistration deviation (Record receiver changes as a pre-registration deviation #240).

Numbers, checked against the repository:

• 33 → 52 modules since the start of the day (UTC).
• 18 submission merges (feat: add finite-group character orthogonality #194, feat: add Horadam companion matrix theory #195, feat(Geometry): add Farey Ford-circle maximality #197, feat(Geometry): add Ford Farey Descartes configuration #207–feat(NumberTheory): add Stern-Brocot interval invariants #211, feat(NumberTheory): add Stern dyadic row Fibonacci maximum #223, feat(NumberTheory): relate Calkin-Wilf and Stern-Brocot paths by reversal #225–feat(Probability): add finite weighted Paley-Zygmund inequality #228, feat(Probability): add finite PMF Paley-Zygmund inequality #242, Conjecture: the different-ideal coprimality assumption is load-bearing #243, feat(Probability): add measure-theoretic Paley-Zygmund inequality #248, feat(Probability): add Cantelli one-sided Chebyshev inequality #249, feat(Probability): add Chung-Erdos inequality #255).
• 6 of the 11 dossier targets marked landed.
• 13 deprecations fixed.
• 1 earlier submission (Add degree consequence of polynomial translation rigidity #169) had edited an existing file.

As in Notes 11 and 12, the contributor isn't named.

🤖 Generated with Claude Code