{
  "schema": "an04-mixed-dirichlet-finite-models/v1",
  "recorded_utc": "2026-10-06T23:50:10.998772+00:00",
  "source_sha256": "57fa468d42bbb8bea79c769790e808c7feb937c42bd9b046edefa4fba62c692e",
  "script_sha256": "163917d7b39a3bfe9ccedaf6c4086f08a48296b59a2042198e93602278050345",
  "checks": [
    {
      "name": "Full complex flat temporal density and inward boundary sign",
      "passed": true,
      "scope": "Finite model identity only."
    },
    {
      "name": "Complex polynomial divergence, including the mass contribution",
      "passed": true,
      "scope": "Finite model identity only."
    },
    {
      "name": "Moving-wall matrix, inverse, normalizer and timelike margin",
      "passed": true,
      "scope": "Finite model identity only."
    },
    {
      "name": "Strict quadratic discriminant and Lorentz flux block",
      "passed": true,
      "scope": "Finite model identity only."
    },
    {
      "name": "One-sided multiplier isotropic distinction and exact boundary-wave equation",
      "passed": true,
      "scope": "Finite model identity only."
    },
    {
      "name": "Dense variable coefficient, variable multiplier and complex lower-term remainder",
      "passed": true,
      "scope": "Finite model identity only."
    }
  ],
  "finite_groups": 6,
  "passed": true,
  "general_theorem_certified": false,
  "scope": "Exact finite symbolic checks of signs and original model formulas. The full general proof requires the author argument and exact programme prerequisites."
}