{
  "schema": "corank-finite-check/v1",
  "passed": true,
  "lesson": "corank-geometry-and-sufficient-continuity.md",
  "lesson_sha256": "5f4f7b9863fd0d677fbec271a57c36c44be65bab876c0be05aa1e00f10f270bf",
  "script_sha256": "48dee30627fc060eb25761ff688bd643749a5ea8005550b710f137f3c52268aa",
  "checks": [
    {
      "name": "linear relation splitting after independent symplectic changes",
      "kind": "exact full relation matrices, quotient dimensions and orthogonals",
      "models": [
        {
          "n1": 3,
          "n2": 2,
          "shared_n": 1,
          "kernel_dimensions": [
            2,
            1
          ],
          "rank": 2,
          "corank": 3
        },
        {
          "n1": 2,
          "n2": 2,
          "shared_n": 2,
          "kernel_dimensions": [
            0,
            0
          ],
          "rank": 4,
          "corank": 0
        },
        {
          "n1": 2,
          "n2": 3,
          "shared_n": 1,
          "kernel_dimensions": [
            1,
            2
          ],
          "rank": 2,
          "corank": 3
        },
        {
          "n1": 1,
          "n2": 1,
          "shared_n": 0,
          "kernel_dimensions": [
            1,
            1
          ],
          "rank": 0,
          "corank": 2
        }
      ],
      "passed": true
    },
    {
      "name": "changing-rank nonlinear relation and partial phase",
      "kind": "exact two independent cotangent pullbacks and full Hessian",
      "ranks_at_t_0_and_1": [
        2,
        4
      ],
      "coranks": [
        2,
        0
      ],
      "radial_one_form": "eta dx + t^2 eta dz",
      "zero_two_jet": true,
      "passed": true
    },
    {
      "name": "homogeneous Moser correction preserves the marked tangent map",
      "kind": "exact primitive jets, contraction and full flow pullback",
      "uncorrected_primitive_first_jet_nonzero": true,
      "corrected_primitive_first_jet_zero": true,
      "flow_differential_identity": true,
      "passed": true
    },
    {
      "name": "partial Fourier order and normalization in unequal dimensions",
      "kind": "exact rational density/order calculation",
      "models": [
        {
          "dimensions": [
            2,
            1,
            1
          ],
          "corank": 1,
          "critical_order": "-1/4",
          "graph_amplitude_order": "0",
          "extra_2pi_exponent": "-1/4"
        },
        {
          "dimensions": [
            3,
            2,
            1
          ],
          "corank": 3,
          "critical_order": "-3/4",
          "graph_amplitude_order": "0",
          "extra_2pi_exponent": "-3/4"
        },
        {
          "dimensions": [
            2,
            2,
            2
          ],
          "corank": 0,
          "critical_order": "0",
          "graph_amplitude_order": "0",
          "extra_2pi_exponent": "0"
        }
      ],
      "passed": true
    },
    {
      "name": "uniform graph family integrated over parameters",
      "kind": "independent weighted rotation matrices and constant-family saturation",
      "actual_norm": 1.0000000000000002,
      "volume_bound": 1.0,
      "constant_family_norm": 1.0000000000000002,
      "passed": true
    },
    {
      "name": "flat tensor Fourier model order obstruction",
      "kind": "exact diagonal-mode action",
      "models": [
        {
          "amplitude_order": 0.0,
          "fio_order": -0.5,
          "mode_norms": [
            2.3936536824085963,
            2.3936536824085963,
            2.3936536824085963,
            2.3936536824085963
          ]
        },
        {
          "amplitude_order": 1.0,
          "fio_order": 0.5,
          "mode_norms": [
            3.3851375012865383,
            9.869286963719313,
            38.37318768992506,
            153.21253495230025
          ]
        }
      ],
      "passed": true
    }
  ],
  "scope": "Bounded exact tangent/phase/flow models and independent finite parameter operators. Not certification of general homogeneous Darboux, FIO continuity or constant-rank sharpness.",
  "independent_mathematical_review": false
}