{
  "timestamp": "20260914T015610_251309Z",
  "scope": "Full normal oscillator domain, discarded component and tower convergence.",
  "passed": true,
  "checks": [
    {
      "name": "exact complete triangular inverse b=1.0,G=4.0,n=6",
      "error": 6.788075520296971e-18,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "independent high precision frequency b=1.0,G=4.0,n=6",
      "error": 0.0,
      "tolerance": 3e-11,
      "passed": true
    },
    {
      "name": "complete singular vectors b=1.0,G=4.0,n=6",
      "error": 4.277984256228593e-16,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "finite physical lower equation b=1.0,G=4.0,n=6",
      "error": 1.3612973387514856e-17,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "full omitted normal component b=1.0,G=4.0,n=6",
      "error": 0.0,
      "tolerance": 2e-11,
      "passed": true
    },
    {
      "name": "exact complete triangular inverse b=3.0,G=4.0,n=12",
      "error": 6.315607946466375e-17,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "independent high precision frequency b=3.0,G=4.0,n=12",
      "error": 0.0,
      "tolerance": 3e-11,
      "passed": true
    },
    {
      "name": "complete singular vectors b=3.0,G=4.0,n=12",
      "error": 1.3694078964464355e-15,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "finite physical lower equation b=3.0,G=4.0,n=12",
      "error": 4.317337177735487e-17,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "full omitted normal component b=3.0,G=4.0,n=12",
      "error": 0.0,
      "tolerance": 2e-11,
      "passed": true
    },
    {
      "name": "exact complete triangular inverse b=13.0,G=4.0,n=20",
      "error": 1.0114418316700806e-15,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "independent high precision frequency b=13.0,G=4.0,n=20",
      "error": 0.0,
      "tolerance": 3e-11,
      "passed": true
    },
    {
      "name": "complete singular vectors b=13.0,G=4.0,n=20",
      "error": 5.275802953154128e-13,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "finite physical lower equation b=13.0,G=4.0,n=20",
      "error": 4.354680575494297e-16,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "full omitted normal component b=13.0,G=4.0,n=20",
      "error": 0.0,
      "tolerance": 2e-11,
      "passed": true
    },
    {
      "name": "exact complete triangular inverse b=35.0,G=4.0,n=40",
      "error": 3.6107082073175725e-15,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "independent high precision frequency b=35.0,G=4.0,n=40",
      "error": 1.021405182655144e-14,
      "tolerance": 3e-11,
      "passed": true
    },
    {
      "name": "complete singular vectors b=35.0,G=4.0,n=40",
      "error": 7.35120755442166e-13,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "finite physical lower equation b=35.0,G=4.0,n=40",
      "error": 2.1490819263551556e-15,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "full omitted normal component b=35.0,G=4.0,n=40",
      "error": 0.0,
      "tolerance": 2e-11,
      "passed": true
    },
    {
      "name": "exact complete triangular inverse b=13.0,G=10000.0,n=6",
      "error": 7.483000162760435e-19,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "independent high precision frequency b=13.0,G=10000.0,n=6",
      "error": 2.1316282072803006e-14,
      "tolerance": 3e-11,
      "passed": true
    },
    {
      "name": "complete singular vectors b=13.0,G=10000.0,n=6",
      "error": 1.4210859362305263e-14,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "finite physical lower equation b=13.0,G=10000.0,n=6",
      "error": 1.651109024904393e-18,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "full omitted normal component b=13.0,G=10000.0,n=6",
      "error": 0.0,
      "tolerance": 2e-11,
      "passed": true
    },
    {
      "name": "exact complete triangular inverse b=35.0,G=10000.0,n=6",
      "error": 6.183109650615099e-18,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "independent high precision frequency b=35.0,G=10000.0,n=6",
      "error": 0.0,
      "tolerance": 3e-11,
      "passed": true
    },
    {
      "name": "complete singular vectors b=35.0,G=10000.0,n=6",
      "error": 3.552719244088533e-15,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "finite physical lower equation b=35.0,G=10000.0,n=6",
      "error": 6.054105993753629e-18,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "full omitted normal component b=35.0,G=10000.0,n=6",
      "error": 0.0,
      "tolerance": 2e-11,
      "passed": true
    },
    {
      "name": "actual ordinary spatial oscillator norm",
      "error": 5.340172748447003e-14,
      "tolerance": 2e-12,
      "passed": true
    },
    {
      "name": "actual full normal differential equation",
      "error": 2.785978444519723e-15,
      "tolerance": 3e-12,
      "passed": true
    },
    {
      "name": "complete displaced-oscillator coherent zero",
      "error": 1.8521222377125497e-16,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "complete coherent canonical norm",
      "error": 1.1102230246251565e-16,
      "tolerance": 2e-14,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=1.0,G=4.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=1.0,G=4.0",
      "error": 8.620224010072697e-33,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=1.0,G=4.0",
      "error": 3.12155169549566e-11,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=3.0,G=10.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=3.0,G=10.0",
      "error": 1.4213898703255e-14,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=3.0,G=10.0",
      "error": 1.0370291401012918e-38,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=13.0,G=10.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=13.0,G=10.0",
      "error": 1.2445438831647742e-14,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=13.0,G=10.0",
      "error": 3.5504076827411815e-17,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=13.0,G=30.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=13.0,G=30.0",
      "error": 1.1368445720000001e-13,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=13.0,G=30.0",
      "error": 4.1774644484329485e-105,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=35.0,G=30.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=35.0,G=30.0",
      "error": 1.1368841833319037e-13,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=35.0,G=30.0",
      "error": 6.146323895892186e-117,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=13.0,G=60.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=13.0,G=60.0",
      "error": 6.821134709103844e-13,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=13.0,G=60.0",
      "error": 1.0255392133754728e-97,
      "tolerance": 1e-09,
      "passed": true
    },
    {
      "name": "normal tower independent extension b=35.0,G=60.0",
      "error": 0.0,
      "tolerance": 4e-10,
      "passed": true
    },
    {
      "name": "full singular residual b=35.0,G=60.0",
      "error": 4.547542793182336e-13,
      "tolerance": 4e-11,
      "passed": true
    },
    {
      "name": "remaining infinite tower bound b=35.0,G=60.0",
      "error": 7.676999548248155e-104,
      "tolerance": 1e-09,
      "passed": true
    }
  ],
  "results": [
    {
      "kind": "finite chain",
      "offset": 1.0,
      "coupling": 4.0,
      "count": 6,
      "log_frequency": -3.0472580993325433,
      "product_log": -2.7459664649803748,
      "omitted_normal_source": 5.307799000033216
    },
    {
      "kind": "finite chain",
      "offset": 3.0,
      "coupling": 4.0,
      "count": 12,
      "log_frequency": -0.9874105058956865,
      "product_log": 0.4976821069229995,
      "omitted_normal_source": 3.2947745231707524
    },
    {
      "kind": "finite chain",
      "offset": 13.0,
      "coupling": 4.0,
      "count": 20,
      "log_frequency": 2.2166674731364013,
      "product_log": 15.561210005575472,
      "omitted_normal_source": 0.039151350629703166
    },
    {
      "kind": "finite chain",
      "offset": 35.0,
      "coupling": 4.0,
      "count": 40,
      "log_frequency": 3.4359157123137045,
      "product_log": 51.61072633999171,
      "omitted_normal_source": 3.3360938794666994e-09
    },
    {
      "kind": "finite chain",
      "offset": 13.0,
      "coupling": 10000.0,
      "count": 6,
      "log_frequency": -32.03721818790103,
      "product_log": -32.037217018900776,
      "omitted_normal_source": 17320.502463842877
    },
    {
      "kind": "finite chain",
      "offset": 35.0,
      "coupling": 10000.0,
      "count": 6,
      "log_frequency": -26.70564328371792,
      "product_log": -26.70563555871222,
      "omitted_normal_source": 17320.48036283696
    },
    {
      "kind": "restored normal tower",
      "offset": 1.0,
      "coupling": 4.0,
      "count": 196,
      "log_frequency": -5.297248346131835,
      "asymptotic_log": -5.227411277760218,
      "log_frequency_error_bound": 3.12155169549566e-11,
      "relative_cross_bound": 7.901331143111798e-06,
      "relative_tail_bound": 3.551689115793008e-05,
      "tail_coercivity": 140.9286623047636,
      "left_mean_degree": 13.92080828043469,
      "right_mean_degree": 0.07935226785014379
    },
    {
      "kind": "restored normal tower",
      "offset": 3.0,
      "coupling": 10.0,
      "count": 400,
      "log_frequency": -36.970999390376306,
      "asymptotic_log": -36.87763662259567,
      "log_frequency_error_bound": 1.0370291401012918e-38,
      "relative_cross_bound": 1.4401591162793726e-19,
      "relative_tail_bound": 4.329824309712833e-19,
      "tail_coercivity": 202.87507802749604,
      "left_mean_degree": 93.90304192895373,
      "right_mean_degree": 0.09695807104662867
    },
    {
      "kind": "restored normal tower",
      "offset": 13.0,
      "coupling": 10.0,
      "count": 400,
      "log_frequency": -12.113817578339322,
      "asymptotic_log": -10.12000207781669,
      "log_frequency_error_bound": 3.5504076827411815e-17,
      "relative_cross_bound": 8.426633589685953e-09,
      "relative_tail_bound": 2.5757935466308185e-08,
      "tail_coercivity": 212.87507802749604,
      "left_mean_degree": 71.5890782955195,
      "right_mean_degree": 2.410921704585332
    },
    {
      "kind": "restored normal tower",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 1600,
      "log_frequency": -381.74675090160486,
      "asymptotic_log": -381.5560825724458,
      "log_frequency_error_bound": 4.1774644484329485e-105,
      "relative_cross_bound": 9.140530015740825e-53,
      "relative_tail_bound": 3.9240969515531665e-169,
      "tail_coercivity": 412.81252928772346,
      "left_mean_degree": 873.8063647348803,
      "right_mean_degree": 0.1936352651244785
    },
    {
      "kind": "restored normal tower",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 1600,
      "log_frequency": -301.915688801377,
      "asymptotic_log": -300.49701082584676,
      "log_frequency_error_bound": 6.146323895892186e-117,
      "relative_cross_bound": 1.1087221379491063e-58,
      "relative_tail_bound": 1.7433328092446033e-134,
      "tail_coercivity": 434.81252928772346,
      "left_mean_degree": 828.5195117459168,
      "right_mean_degree": 1.4804882541061353
    },
    {
      "kind": "restored normal tower",
      "offset": 13.0,
      "coupling": 60.0,
      "count": 4900,
      "log_frequency": -1713.581377489989,
      "asymptotic_log": -1713.5342558778873,
      "log_frequency_error_bound": 1.0255392133754728e-97,
      "relative_cross_bound": 4.528883335603762e-49,
      "relative_tail_bound": 0.0,
      "tail_coercivity": 712.7857252175436,
      "left_mean_degree": 3573.952700084443,
      "right_mean_degree": 0.04729991496690445
    },
    {
      "kind": "restored normal tower",
      "offset": 35.0,
      "coupling": 60.0,
      "count": 4900,
      "log_frequency": -1602.3203981321085,
      "asymptotic_log": -1601.9767081866507,
      "log_frequency_error_bound": 7.676999548248155e-104,
      "relative_cross_bound": 3.918417932852022e-52,
      "relative_tail_bound": 0.0,
      "tail_coercivity": 734.7857252175436,
      "left_mean_degree": 3529.6528400179795,
      "right_mean_degree": 0.34715998253443825
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 6,
      "log_frequency": -3.1245754650688977
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 7,
      "log_frequency": -4.4742807685618
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 8,
      "log_frequency": -5.850820908263378
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 10,
      "log_frequency": -8.653916360656996
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 20,
      "log_frequency": -22.848138165359295
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 50,
      "log_frequency": -62.20345723600871
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 100,
      "log_frequency": -116.6931511709185
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 500,
      "log_frequency": -334.21383858530294
    },
    {
      "kind": "cutoff scan",
      "offset": 13.0,
      "coupling": 30.0,
      "count": 1600,
      "log_frequency": -381.74675090160486
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 6,
      "log_frequency": 1.4117577074266723
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 7,
      "log_frequency": 0.8519250230156825
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 8,
      "log_frequency": 0.2379786134149564
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 10,
      "log_frequency": -1.1255285437392324
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 20,
      "log_frequency": -9.356600411985783
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 50,
      "log_frequency": -36.99487706786583
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 100,
      "log_frequency": -80.00917032378743
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 500,
      "log_frequency": -265.75618999903696
    },
    {
      "kind": "cutoff scan",
      "offset": 35.0,
      "coupling": 30.0,
      "count": 1600,
      "log_frequency": -301.915688801377
    }
  ],
  "raw_data": {
    "path": "normal-oscillator-carrier-20260914T015610_251309Z.npz",
    "sha256": "97bf32ced7cb785d5a23a0315478a29420c50001d75564a3d8d9a5b7c7d0ece5"
  },
  "sources": {
    "normal_oscillator_carrier.py": "40e49c61843556f643bc8a601bf3a2443d802dfa60b38ac6c92dff12289c273d",
    "normal_oscillator_carrier_checks.py": "138f09c750db492d24bdfa3b63ad44923df1ea4bfdc2f2cc2bc8b9c196f6e23b"
  }
}