Recorded data and provenance for the associated calculation.
| timestamp | 20260914T015817_286861Z |
|---|---|
| scope | Full normal oscillator domain, discarded component and tower convergence. |
| passed | true |
View complete data
{
"timestamp": "20260914T015817_286861Z",
"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": "independent whole-space semigroup lower bound b=1.0,G=4.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=1.0,G=4.0",
"error": 0.0,
"tolerance": 3e-10,
"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": "independent whole-space semigroup lower bound b=3.0,G=10.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=3.0,G=10.0",
"error": 0.0,
"tolerance": 3e-10,
"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": "independent whole-space semigroup lower bound b=13.0,G=10.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=13.0,G=10.0",
"error": 0.0,
"tolerance": 3e-10,
"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": "independent whole-space semigroup lower bound b=13.0,G=30.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=13.0,G=30.0",
"error": 0.0,
"tolerance": 3e-10,
"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": "independent whole-space semigroup lower bound b=35.0,G=30.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=35.0,G=30.0",
"error": 0.0,
"tolerance": 3e-10,
"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": "independent whole-space semigroup lower bound b=13.0,G=60.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=13.0,G=60.0",
"error": 0.0,
"tolerance": 3e-10,
"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
},
{
"name": "independent whole-space semigroup lower bound b=35.0,G=60.0",
"error": 0.0,
"tolerance": 3e-10,
"passed": true
},
{
"name": "independent whole-space coherent upper bound b=35.0,G=60.0",
"error": 0.0,
"tolerance": 3e-10,
"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,
"log_frequency_lower": -5.372002863897358,
"log_frequency_upper": -5.227411165225037,
"scaled_upper_integral": 1.155567524083174,
"quadrature_error": 1.1194295466957563e-13,
"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,
"log_frequency_lower": -37.002807464036934,
"log_frequency_upper": -36.87763662259567,
"scaled_upper_integral": 1.1333420583191431,
"quadrature_error": 1.2698211251836068e-14,
"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,
"log_frequency_lower": -12.28394429209704,
"log_frequency_upper": -10.12000207781669,
"scaled_upper_integral": 8.70538860910292,
"quadrature_error": 6.603188784926999e-12,
"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,
"log_frequency_lower": -381.7615360805662,
"log_frequency_upper": -381.5560825724458,
"scaled_upper_integral": 1.2280818837994958,
"quadrature_error": 4.9228507119627266e-14,
"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,
"log_frequency_lower": -301.9571182891628,
"log_frequency_upper": -300.49701082584676,
"scaled_upper_integral": 4.306422285899202,
"quadrature_error": 1.7253008671722146e-12,
"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,
"log_frequency_lower": -1713.585009341822,
"log_frequency_upper": -1713.5342558778873,
"scaled_upper_integral": 1.0520634897149308,
"quadrature_error": 4.935376275694029e-14,
"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,
"log_frequency_lower": -1602.3302681197786,
"log_frequency_upper": -1601.9767081866507,
"scaled_upper_integral": 1.4241283368593316,
"quadrature_error": 7.341624943291598e-12,
"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-20260914T015817_286861Z.npz",
"sha256": "97bf32ced7cb785d5a23a0315478a29420c50001d75564a3d8d9a5b7c7d0ece5"
},
"sources": {
"normal_oscillator_carrier.py": "6eccf6122902f9913f5ca7d25152eed77b2d2b34651dd1ac72dbb80193a552d4",
"normal_oscillator_carrier_checks.py": "d2ea69a0c620da5b7668b157296fc27cebafabc835009a288ea5ead367cc789d"
}
}