docs(showcase): re-check falsifier sizes when the envelope's top changes

Also refreshes the gallery card and alt for the reworked hay bale.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Signed-off-by: TMHSDigital <154358121+TMHSDigital@users.noreply.github.com>

Author: TMHSDigital

docs/gallery/index.html

@@ -1179,12 +1179,12 @@ <h2><a href="wooden-ladder/">wooden-ladder</a></h2>
       </article>
       <article class="card" data-tags="mesh export showcase">
         <a class="card-media" href="hay-bale/" tabindex="-1" aria-hidden="true">
-          <img src="assets/hay-bale-hero.webp" alt="A golden fibrous hay bale bound by two thin twine cords with knotted loops on top." loading="lazy" decoding="async" />
+          <img src="assets/hay-bale-hero.webp" alt="A golden fibrous hay bale, square-edged and slightly bulging, bound by two orange twine cords with a small knot loop standing on each." loading="lazy" decoding="async" />
         </a>
         <div class="card-body">
           <h2><a href="hay-bale/">hay-bale</a></h2>
           <p class="teaches">A bound hay bale whose twine belts follow the loaf&#x27;s own raycast cross-section, asserting recomputed geometry budgets, not an API contract.</p>
-          <p class="witnesses"><span class="tag">witnesses</span> Recomputed: 2012 tris, two materials with 712 hay and 304 twine faces, UVs in 0..1 with zero AABB overlap, outer AABB 0.921x0.530x0.409 m, zmin 0, hygiene and cross-shell z-fight 0, 5 shells, each belt wrapping under the loaf at zmin 2.6 mm, banded belt seat depth 4.0-16.8 mm over 20/20 stations on both belts, belt mirror error 0, cinch depth 14.2 mm, LOD ratios in band, convex collider 156 tris, non-empty glTF. --skip-decimate exits 9; --stray-vert 15; --lift-z and --float-belts 16; --slack-belt 18; --skew-belt 19.</p>
+          <p class="witnesses"><span class="tag">witnesses</span> Recomputed: 2044 tris, two materials with 1436 hay and 304 twine faces, UVs in 0..1 with zero AABB overlap, outer AABB 0.921x0.508x0.417 m, zmin 0, hygiene and cross-shell z-fight 0, 5 shells, each belt wrapping under the loaf at zmin 1.5 mm, banded belt seat depth 4.0-11.1 mm over 20/20 stations on both belts, belt mirror error 0, cinch depth 10.5 mm, loaf 0.921x0.393 m, 22.4 bake texels per UV cell, LOD ratios in band, convex collider 140 tris, non-empty glTF. --skip-decimate exits 9; --stray-vert 15; --lift-z and --float-belts 16; --slack-belt 18; --skew-belt and --odd-loaf 19; --low-bake 20.</p>
           <a class="card-link" href="hay-bale/">View showcase piece<span class="sr-only"> hay-bale</span> <span aria-hidden="true">&rarr;</span></a>
         </div>
       </article>

showcase/README.md

@@ -402,7 +402,13 @@ entry in `showcase/gallery.json`, and a rendered still.
   tolerance, so a 1.5 mm model change tipped it from exit 16 to exit 8.
   Make the falsifier move only what its budget measures — the shoes
   float, the legs stretch to the floor — and check its AABB delta against
-  the tolerance, not just its exit code.
+  the tolerance, not just its exit code. Re-check it whenever a design
+  change moves which part sets the envelope. `hay-bale`'s ridge dropped
+  from 14 mm to 6 mm, which made the knot loops the top of the box. The
+  twine falsifiers, sized at 20 mm and 10 mm when the loaf's crest was the
+  top, then lifted the knots past `BBOX_TOL` and exited 8. The fix was to
+  size each one to its own budget, 8 mm against a 6 mm wrap gate and 6 mm
+  against a 2 mm seat floor, never to widen the tolerance.
 - **Stone is not noise stretched over a block.** A noise-driven colour
   mix sampled so its features streak read as wood grain on
   `stone-archway` at hero scale. Stone wants isotropic object-space

showcase/gallery.json

@@ -339,8 +339,8 @@
       "name": "hay-bale",
       "dir": "showcase/hay-bale",
       "teaches": "A bound hay bale whose twine belts follow the loaf's own raycast cross-section, asserting recomputed geometry budgets, not an API contract.",
-      "alt": "A golden fibrous hay bale bound by two thin twine cords with knotted loops on top.",
-      "witnessesFix": "Recomputed: 2012 tris, two materials with 712 hay and 304 twine faces, UVs in 0..1 with zero AABB overlap, outer AABB 0.921x0.530x0.409 m, zmin 0, hygiene and cross-shell z-fight 0, 5 shells, each belt wrapping under the loaf at zmin 2.6 mm, banded belt seat depth 4.0-16.8 mm over 20/20 stations on both belts, belt mirror error 0, cinch depth 14.2 mm, LOD ratios in band, convex collider 156 tris, non-empty glTF. --skip-decimate exits 9; --stray-vert 15; --lift-z and --float-belts 16; --slack-belt 18; --skew-belt 19.",
+      "alt": "A golden fibrous hay bale, square-edged and slightly bulging, bound by two orange twine cords with a small knot loop standing on each.",
+      "witnessesFix": "Recomputed: 2044 tris, two materials with 1436 hay and 304 twine faces, UVs in 0..1 with zero AABB overlap, outer AABB 0.921x0.508x0.417 m, zmin 0, hygiene and cross-shell z-fight 0, 5 shells, each belt wrapping under the loaf at zmin 1.5 mm, banded belt seat depth 4.0-11.1 mm over 20/20 stations on both belts, belt mirror error 0, cinch depth 10.5 mm, loaf 0.921x0.393 m, 22.4 bake texels per UV cell, LOD ratios in band, convex collider 140 tris, non-empty glTF. --skip-decimate exits 9; --stray-vert 15; --lift-z and --float-belts 16; --slack-belt 18; --skew-belt and --odd-loaf 19; --low-bake 20.",
       "hero": "docs/gallery/assets/hay-bale-hero.webp",
       "preview": "showcase/hay-bale/preview.webp",
       "tags": [