{
  "schema": "normal-connection-frame-descent-finite-checks/v1",
  "count": 6,
  "all_passed": true,
  "checks": [
    {
      "name": "identity_displacement_after_affine_origin",
      "passed": true,
      "detail": "12 rational chart-transition tests; t=3, weight=2/3 gives omega_j=-2, omega_i=1, B_1=0."
    },
    {
      "name": "scalar_resolvent_derivative_inequality",
      "passed": true,
      "detail": "96 rational spectral samples; difference reduces to (tau-b*lambda)^2>=0."
    },
    {
      "name": "conditional_relative_bound",
      "passed": true,
      "detail": "9 rational samples with L=J=H=1 and K0=100; endpoint 23/400, zero endpoint 0."
    },
    {
      "name": "pinned_frame_marginal",
      "passed": true,
      "detail": "Finite toy frame fibre with two equally weighted points; three auxiliary choices per frame."
    },
    {
      "name": "probability_minimum_and_gram",
      "passed": true,
      "detail": "Exact minimum<=mean and positive two-vector Gram determinant; not an infinite-field compactness test."
    },
    {
      "name": "fixed_auxiliary_finite_fourier_modes",
      "passed": true,
      "detail": "Four C4 characters summed directly in Gaussian integers have Haar Gram identity; inverse eigenvalue 1/2 preserves squared norm 1/4. Infinite S1 noncompactness is proved in FD.7."
    }
  ]
}