For every integer p>=4, a previously constructed symmetric numerical semigroup ring and rigid two-generated monomial ideal determine a conductor ideal whose special fiber is a one-dimensional Cohen-Macaulay algebra of multiplicity 24p. This companion preprint proves the explicit standard-graded parametrization Cₚ = kx yᵃ: a in Gₚ inside kx, y/ (y^ (24p) ). If Pₚ/Jₚ is the presentation in its 10p degree-one variables and Lₚ is generated by all positive-offset coordinates, then radical (Jₚ) =Lₚ and Jₚ is Lₚ-primary. Thus the complete primary decomposition has one component. The nilradical has sharp nilpotency index 24p. Dehomogenization at the reduction variable gives ky/ (y^ (24p) ). Consequently Proj (Cₚ) is a saturated length-24p curvilinear fat point with one-dimensional tangent space. It is locally Gorenstein, although its homogeneous coordinate ring has Cohen-Macaulay type 10p+1 and is neither level nor Gorenstein. The affine Kahler differential module is computed exactly, including the distinction between characteristics dividing 24p and all other characteristics. Version 0. 02 adds the complete reduced graded-reverse-lexicographic Groebner basis with X₀ last. Its degree profile is (50p²-17p, 5p-1, p-2) in degrees two, three, and four, with no later elements. No minimal leading monomial contains X₀, giving a flat Cohen-Macaulay monomial degeneration whose Artinian reduction has Hilbert function (1, 10p-1, 12p, 2p-1, 1). The proof is deductive from frozen offset-basis and Cohen-Macaulay input theorems. Exact campaigns for p=4,. . . , 300, independent audits, and an all-parameter Presburger boundary certificate validate the implementation and adversarial controls but do not replace the deductive argument. The scope is confined to the explicit conductor family and does not assert analogous properties for arbitrary fiber cones or arbitrary Huneke-Wiegand counterexamples. Code, compact artifacts, premise hashes, proof, and verdict: https: //github. com/fsantibanezleal/CAOSRESEARCH.
Felipe Santibañez-Leal (Tue,) studied this question.