# Menger slice sources

- 2026-08-28 [Verified] Cook's 2011 slice code is a point-sampled raster, not an array-free predicate: the listing allocates a `side x side` integer array, fills it by sampling the digit predicate and renders it, so the exact-census method is this tree's and not Cook's; its prose puts the normal through `(1, 1, 1)` while the listing sets `(1, 1, 0.5)`. Witness: REFS.md.
- 2026-08-28 [Verified] Hart 2012 is an exact citation for the diagonal Menger slice: the Simons Foundation page carries his byline, the title "Mathematical Impressions: The Surprising Menger Sponge Slice" and a photograph credit. Witness: REFS.md.
- 2026-08-28 [Verified] "The Marstrand value is the dimension minus one" is the wrong attribution for a plane cutting a solid in `R^3`: Marstrand 1954 concerns plane sets and lines in `R^2`, and the hyperplane generalisation is Mattila 1975; both are almost-everywhere statements, so one maximally arithmetic plane landing above or below that value contradicts neither. Witness: REFS.md.
- 2026-08-28 [Verified] A299916's Menger reading is not its definition: the entry's name is `a(n) = A299914(2n+1)`, offset 0, signature `(9, -12)`, terms `1, 6, 42, 306, 2250, 16578`, its reference is number theory with no sponge in it, and the hexagram-hole geometry lives in one comment with one uploaded picture, which Wikipedia sources onward beside a newspaper article; it must be cited as a comment, never as the sequence's definition. Witness: A299916.
- 2026-08-28 [Verified] Abel 2012 claims no proof of the base-3 slice dimension, only a computation, naming mass distributions and similarity graphs as routes to one, so every generalised dimension inherits that status. Witness: REFS.md.