{
  "schema": "bounded-function-normal-form-computational-check/v1",
  "passed": true,
  "checks": [
    {
      "name": "eight complete finite preparation model families",
      "passed": true,
      "model_script_sha256": "6406a7d8acf7f5a2e43dbcffdee9b9800e03d103dcc6a4f42dadb0eba5d0761f",
      "scope": "Weighted bracket/dilation, positive normalizers, contraction polynomial, degrees and full coordinates, nonconstant multiplier law, nested words, parity, complex division and bounded flat-quotient jets."
    },
    {
      "name": "full real exchange, tangential-drift and fourth-contact canonical maps",
      "passed": true,
      "scope": "All one-form components and every canonical bracket, two exact backwards tangential flows and their invariant momentum; no general flow proof inferred."
    },
    {
      "name": "exact exponential bracket, elliptic zero-set model and simple bracket",
      "passed": true,
      "scope": "Full four-term multiplier identity in an actual nonconstant complex model, initial anti-conjugate coefficient equation and exact final commuting symbol."
    },
    {
      "name": "pointwise and vacuous fixed-order counterexamples and source controls",
      "passed": true,
      "scope": "Exact cubic unfolding, two real leaf parameters with no quadratic zero, fourteen solution markers and unintended-control-byte guard."
    },
    {
      "name": "exact graded degree and contraction-integral solutions",
      "passed": true,
      "scope": "All six polynomial coefficients and three degrees checked independently of prose."
    },
    {
      "name": "finite parameter Neumann solver and independent spatial Fourier projection",
      "passed": true,
      "modes": 48,
      "grid_points": 1681,
      "operator_norm": 0.09464371405703934,
      "parameter_derivative_max_error": 7.887768479287261e-11,
      "scope": "Projected nonzero Fourier modes with variable elliptic coefficients, direct matrix inverse, Neumann series and independent oversampled derivative quadrature. This finite projected model does not prove the local solver or all-order regularity."
    },
    {
      "name": "Cauchy boundary normalization",
      "passed": true,
      "scope": "Exact sampled degree-two trigonometric boundary flux tends to test value1 with error2r squared; distributional polar integral identity and Fourier bounds are proved in the lesson."
    }
  ],
  "lesson": "real-and-complex-symplectic-function-normal-forms.md",
  "lesson_sha256": "e62d1972dea872f5db4f9da248bb3dec413e799411f4470e12b0d899ada58af8",
  "script_sha256": "cba67fb53d9ec98ff5ab594731651657555c2680617ea2dd528951faaa96de12",
  "independent_review": false,
  "scope": "Finite exact/algebraic and independent numerical checks of the written models. General theorem proofs, local solver, smooth jets and all-order estimates remain author mathematical arguments."
}