From 52dbf26d62287c8e68253b2a22f578d2c12bbff2 Mon Sep 17 00:00:00 2001
From: Jukka Aho <ahojukka5@gmail.com>
Date: Sat, 9 May 2026 16:04:51 +0300
Subject: [PATCH] chore(scripts): Add docs quickstart regression verifier

Activates the repo project, includes the minimal elasticity snippet, and
errors unless assembled ndofs and stiffness nnz match locked doc values.

- Expected (375, 19773); for Documentation CI / local checks
---
 scripts/verify_docs_quickstart.jl | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 scripts/verify_docs_quickstart.jl

diff --git a/scripts/verify_docs_quickstart.jl b/scripts/verify_docs_quickstart.jl
new file mode 100644
index 0000000..5302a4c
--- /dev/null
+++ b/scripts/verify_docs_quickstart.jl
@@ -0,0 +1,16 @@
+#!/usr/bin/env julia
+# Verify the Documenter minimal elasticity snippet (repository root).
+#   julia --project=. scripts/verify_docs_quickstart.jl
+
+const ROOT = dirname(@__DIR__)
+
+using Pkg
+Pkg.activate(ROOT)
+Pkg.instantiate()
+
+include(joinpath(ROOT, "docs", "src", "snippets", "minimal_elasticity_quickstart.jl"))
+r = minimal_elasticity_quickstart()
+if r.ndofs != 375 || r.nnz_stiffness != 19773
+    error("quickstart regression: expected (375, 19773), got ($(r.ndofs), $(r.nnz_stiffness))")
+end
+println("verify_docs_quickstart.jl: OK")