🎉 Show & Tell — Reproductions, Extensions, and Related Work

[xaviercallens]

Share Your Work

Have you reproduced results from the audit? Extended the simulations? Written a response or blog post? Found a related paper?

Share it here.

---

What to share:

• 🔁 Reproductions: Did you independently verify the Mach trajectory, the Jacobian condition number, or the Gevrey derivative growth?
• 🔬 Extensions: New simulations, different fluid parameters, extended Lean 4 formalizations
• 📝 Responses: Blog posts, Twitter/X threads, academic responses, preprints citing this work
• 📚 Related literature: Papers on NSE regularity, AI theorem proving, physical realizability, or Gevrey analysis that connect to this audit
• 🎓 Teaching uses: Using this audit in a course on PDE, formal methods, or mathematical physics?

---

Format suggestion:

## [Your title]
**Type**: Reproduction / Extension / Response / Literature
**Link**: [URL if available]
**Summary**: [2–3 sentences]

All are welcome — students, researchers, science communicators.