{
  "result": "PASS_SEPARATE_SYMBOLIC_GEOMETRY_TOPOLOGY_AND_TEXT_AUDIT",
  "sourceHashes": {
    "model.mjs": "6655542498955f2d0a446ee9f9a5fbaa0263a658b3e7496de83cc243ed8a4d60",
    "index.template.html": "22f1e23ef2f032a60f2c7c174a0fc71d6967c2c8ecb80aaf53e575beb45d4f99",
    "model_audit.py": "88a848f9a650fd460db31d0322d5b231395cce1b1f48dc888e04efb8c1e85636"
  },
  "independentDerivation": {
    "fullJacobian": "Matrix([[m*(L*(1 - a) + 2*S*a)/L, 0, 0], [-sqrt(L)*Y*a/(sqrt(m)*(L - a*(L - 2*S))**(3/2)), sqrt(L)/(sqrt(m)*sqrt(L - a*(L - 2*S))), 0], [-sqrt(L)*Z*a/(sqrt(m)*(L - a*(L - 2*S))**(3/2)), 0, sqrt(L)/(sqrt(m)*sqrt(L - a*(L - 2*S)))]])",
    "determinant": "1",
    "axialSpan": "m*L",
    "uncompensatedMeanVolumeRatio": "m",
    "cellErrorFactorization": "(r - 1)**2*(r**2 + 3*r + 1)/(6*r**2)",
    "strictCellErrorCondition": "r>0 and r != 1; numerator and denominator are positive.",
    "continuumVolumeArgument": "On the positive-stretch material interval, x(S) is strictly increasing and b(S)>0. The map is injective and C1 on a neighbourhood of the prism. Change of variables gives the stated continuum volume; this integral argument is not a compiled Lean theorem."
  },
  "numericalChecks": {
    "states": 90,
    "closedOrientedMeshes": 90,
    "maximumBoundaryDifferenceM3": 2.574980159653073e-18,
    "maximumReferenceDifferenceM3": 2.4936649967166602e-18,
    "maximumIndependentCellRatioDifference": 8.348877145181177e-14,
    "refinementFamilies": 6,
    "minimumReductionFactorRequired": 3.7
  },
  "textScopeChecks": [
    "no force balance, material response, activation or anatomical prediction",
    "centerline strains",
    "signed volume",
    "Pointwise J",
    "straight mesh cell approximates",
    "b′Y",
    "b′Z",
    "does not establish local volume preservation",
    "not establish a passive equilibrium"
  ],
  "physicsReview": "Prescribed compatible finite kinematics, with true off-axis shear. Centerline lambda-1 is not surface-fibre extension. No balance law or tissue material law is introduced. A 16-sided prism is authored reference geometry. Finite-volume error is measured rather than hidden.",
  "peerAcceptance": "PENDING_PARENT_INDEPENDENT_REVIEW; separate audit routes are not a substitute for an independent human/agent acceptance.",
  "anatomicalCompletion": false,
  "authorCampaignInvocations": 0,
  "auditDependencies": {
    "sympy": "1.14.0",
    "mpmath": "1.3.0",
    "requirementsSha256": "47fd19021144e071cc43b6e265aafada0056abe89724ad95bd6e3a8e37995b94"
  }
}