{
  "status": "PASS",
  "checks": [
    "coarse alias equality",
    "output separation analytic vs quadrature",
    "squaring frequency identity",
    "truncation norm quadrature",
    "full-retention endpoint",
    "nonzero bias floor"
  ],
  "alias_lower_bound": 0.00895629446625504,
  "figures": [
    {
      "id": "alias-output-separation",
      "title": "Identical coarse input, different continuous output",
      "kind": "analytical_curve",
      "x_label": "Periodic coordinate x",
      "y_label": "Inverse-Laplacian output (dimensionless)",
      "x": {
        "name": "Periodic coordinate x",
        "values": [
          0.0,
          0.0078125,
          0.015625,
          0.0234375,
          0.03125,
          0.0390625,
          0.046875,
          0.0546875,
          0.0625,
          0.0703125,
          0.078125,
          0.0859375,
          0.09375,
          0.1015625,
          0.109375,
          0.1171875,
          0.125,
          0.1328125,
          0.140625,
          0.1484375,
          0.15625,
          0.1640625,
          0.171875,
          0.1796875,
          0.1875,
          0.1953125,
          0.203125,
          0.2109375,
          0.21875,
          0.2265625,
          0.234375,
          0.2421875,
          0.25,
          0.2578125,
          0.265625,
          0.2734375,
          0.28125,
          0.2890625,
          0.296875,
          0.3046875,
          0.3125,
          0.3203125,
          0.328125,
          0.3359375,
          0.34375,
          0.3515625,
          0.359375,
          0.3671875,
          0.375,
          0.3828125,
          0.390625,
          0.3984375,
          0.40625,
          0.4140625,
          0.421875,
          0.4296875,
          0.4375,
          0.4453125,
          0.453125,
          0.4609375,
          0.46875,
          0.4765625,
          0.484375,
          0.4921875,
          0.5,
          0.5078125,
          0.515625,
          0.5234375,
          0.53125,
          0.5390625,
          0.546875,
          0.5546875,
          0.5625,
          0.5703125,
          0.578125,
          0.5859375,
          0.59375,
          0.6015625,
          0.609375,
          0.6171875,
          0.625,
          0.6328125,
          0.640625,
          0.6484375,
          0.65625,
          0.6640625,
          0.671875,
          0.6796875,
          0.6875,
          0.6953125,
          0.703125,
          0.7109375,
          0.71875,
          0.7265625,
          0.734375,
          0.7421875,
          0.75,
          0.7578125,
          0.765625,
          0.7734375,
          0.78125,
          0.7890625,
          0.796875,
          0.8046875,
          0.8125,
          0.8203125,
          0.828125,
          0.8359375,
          0.84375,
          0.8515625,
          0.859375,
          0.8671875,
          0.875,
          0.8828125,
          0.890625,
          0.8984375,
          0.90625,
          0.9140625,
          0.921875,
          0.9296875,
          0.9375,
          0.9453125,
          0.953125,
          0.9609375,
          0.96875,
          0.9765625,
          0.984375,
          0.9921875,
          1.0
        ]
      },
      "series": [
        {
          "name": "Input frequency 1 output",
          "values": [
            0.025330295910584444,
            0.025299784459824202,
            0.025208323612300847,
            0.025056133705207085,
            0.024843581377359366,
            0.02457117868593286,
            0.024239581872870876,
            0.023849589783940525,
            0.023402141944243313,
            0.02289831629481688,
            0.0223393265957806,
            0.02172651950228117,
            0.021061371320282397,
            0.020345484450014807,
            0.019580583525653165,
            0.018768511260521665,
            0.017911224007836134,
            0.01701078704767779,
            0.016069369611552625,
            0.015089239656522686,
            0.014072758401498879,
            0.013022374638857803,
            0.011940618835086424,
            0.010830097034666628,
            0.009693484581885854,
            0.008533519675698344,
            0.0073529967731640325,
            0.0061547598573567204,
            0.004941695585959738,
            0.003716726337054765,
            0.0024828031688570546,
            0.0012428987103576888,
            1.5510332904176265e-18,
            -0.0012428987103576857,
            -0.0024828031688570516,
            -0.003716726337054762,
            -0.004941695585959734,
            -0.006154759857356718,
            -0.007352996773164028,
            -0.008533519675698343,
            -0.00969348458188585,
            -0.010830097034666619,
            -0.01194061883508642,
            -0.0130223746388578,
            -0.01407275840149887,
            -0.015089239656522683,
            -0.01606936961155262,
            -0.017010787047677795,
            -0.017911224007836134,
            -0.018768511260521658,
            -0.019580583525653165,
            -0.020345484450014804,
            -0.021061371320282397,
            -0.02172651950228117,
            -0.022339326595780598,
            -0.02289831629481688,
            -0.023402141944243313,
            -0.02384958978394052,
            -0.024239581872870876,
            -0.02457117868593286,
            -0.024843581377359366,
            -0.025056133705207085,
            -0.025208323612300847,
            -0.025299784459824202,
            -0.025330295910584444,
            -0.025299784459824202,
            -0.025208323612300847,
            -0.025056133705207085,
            -0.024843581377359366,
            -0.02457117868593286,
            -0.024239581872870876,
            -0.023849589783940525,
            -0.023402141944243317,
            -0.02289831629481688,
            -0.0223393265957806,
            -0.02172651950228117,
            -0.0210613713202824,
            -0.020345484450014807,
            -0.019580583525653165,
            -0.01876851126052166,
            -0.017911224007836138,
            -0.017010787047677802,
            -0.016069369611552635,
            -0.015089239656522677,
            -0.014072758401498875,
            -0.013022374638857807,
            -0.011940618835086425,
            -0.010830097034666634,
            -0.009693484581885866,
            -0.008533519675698343,
            -0.007352996773164035,
            -0.006154759857356724,
            -0.004941695585959746,
            -0.003716726337054779,
            -0.002482803168857047,
            -0.0012428987103576862,
            -4.653099871252879e-18,
            0.0012428987103576769,
            0.0024828031688570377,
            0.00371672633705477,
            0.004941695585959737,
            0.006154759857356714,
            0.0073529967731640255,
            0.008533519675698334,
            0.009693484581885858,
            0.010830097034666626,
            0.011940618835086418,
            0.0130223746388578,
            0.014072758401498868,
            0.015089239656522669,
            0.016069369611552628,
            0.01701078704767779,
            0.01791122400783613,
            0.018768511260521658,
            0.01958058352565315,
            0.02034548445001481,
            0.021061371320282397,
            0.02172651950228117,
            0.022339326595780595,
            0.022898316294816874,
            0.02340214194424331,
            0.023849589783940525,
            0.024239581872870876,
            0.02457117868593286,
            0.024843581377359363,
            0.02505613370520708,
            0.025208323612300847,
            0.025299784459824202,
            0.025330295910584444
          ]
        },
        {
          "name": "Input frequency 9 output",
          "values": [
            0.00031271970259980796,
            0.0002826952628989738,
            0.0001983872791549707,
            7.598468959699654e-05,
            -6.1008587480984374e-05,
            -0.0001862869093397862,
            -0.00027579415550346416,
            -0.000312343018022521,
            -0.0002889153326449792,
            -0.00021000971663799755,
            -9.077773794029673e-05,
            4.5885510334009506e-05,
            0.0001737377580431959,
            0.0002682286358306317,
            0.0003112138717568006,
            0.0002944393800486485,
            0.00022112622231896468,
            0.00010535209476170795,
            -3.0651890973543636e-05,
            -0.00016077005726984937,
            -0.00026001692988002954,
            -0.0003093349840149023,
            -0.0002992540971959367,
            -0.00023171001556199607,
            -0.00011967264915908485,
            1.5344428522934206e-05,
            0.00014741504734674582,
            0.00025117882037055313,
            0.0003067108812019675,
            0.0003033478850115169,
            0.00024173559908213804,
            0.00013370490166255113,
            1.7233703226862518e-19,
            -0.00013370490166255084,
            -0.0002417355990821378,
            -0.00030334788501151685,
            -0.00030671088120196754,
            -0.00025117882037055335,
            -0.00014741504734674612,
            -1.534442852293455e-05,
            0.00011967264915908453,
            0.00023171001556199583,
            0.0002992540971959368,
            0.00030933498401490225,
            0.00026001692988002943,
            0.00016077005726985012,
            3.065189097354453e-05,
            -0.00010535209476170737,
            -0.00022112622231896425,
            -0.0002944393800486483,
            -0.0003112138717568006,
            -0.0002682286358306319,
            -0.00017373775804319617,
            -4.5885510334009574e-05,
            9.077773794029667e-05,
            0.00021000971663799747,
            0.0002889153326449792,
            0.000312343018022521,
            0.0002757941555034646,
            0.0001862869093397868,
            6.100858748098505e-05,
            -7.598468959699594e-05,
            -0.00019838727915497028,
            -0.00028269526289897366,
            -0.00031271970259980796,
            -0.00028269526289897393,
            -0.00019838727915497082,
            -7.598468959699662e-05,
            6.100858748098438e-05,
            0.00018628690933978625,
            0.00027579415550346427,
            0.000312343018022521,
            0.0002889153326449795,
            0.00021000971663799714,
            9.077773794029732e-05,
            -4.588551033400999e-05,
            -0.0001737377580431956,
            -0.00026822863583063095,
            -0.00031121387175680055,
            -0.00029443938004864893,
            -0.00022112622231896473,
            -0.00010535209476170906,
            3.065189097354384e-05,
            0.00016077005726984855,
            0.00026001692988002965,
            0.00030933498401490214,
            0.0002992540971959367,
            0.0002317100155619963,
            0.00011967264915908413,
            -1.534442852293386e-05,
            -0.00014741504734674455,
            -0.0002511788203705529,
            -0.0003067108812019672,
            -0.00030334788501151685,
            -0.00024173559908213858,
            -0.00013370490166255094,
            -1.0725128793342568e-18,
            0.00013370490166255103,
            0.00024173559908213723,
            0.00030334788501151685,
            0.0003067108812019676,
            0.0002511788203705529,
            0.00014741504734674645,
            1.5344428522936005e-05,
            -0.0001196726491590842,
            -0.00023171001556199485,
            -0.0002992540971959367,
            -0.00030933498401490247,
            -0.0002600169298800296,
            -0.0001607700572698504,
            -3.0651890973543765e-05,
            0.00010535209476170706,
            0.00022112622231896476,
            0.00029443938004864817,
            0.00031121387175680055,
            0.0002682286358306321,
            0.0001737377580431974,
            4.588551033400991e-05,
            -9.077773794029527e-05,
            -0.00021000971663799722,
            -0.00028891533264497867,
            -0.000312343018022521,
            -0.00027579415550346476,
            -0.00018628690933978617,
            -6.100858748098539e-05,
            7.598468959699669e-05,
            0.00019838727915497,
            0.000282695262898974,
            0.00031271970259980796
          ]
        }
      ],
      "caption": "Constructed periodic inputs cos(2 pi x) and cos(18 pi x) agree at all eight coarse samples. Their mean-zero inverse-Laplacian outputs differ. Dense lines are analytic, not neural predictions."
    },
    {
      "id": "spectral-error-budget",
      "title": "Truncation error and a multiplier bias floor",
      "kind": "analytical_curve",
      "x_label": "Retained cosine modes K",
      "y_label": "L2 output error (dimensionless)",
      "x": {
        "name": "Retained cosine modes K",
        "values": [
          1,
          2,
          3,
          4,
          6,
          8,
          12,
          16
        ]
      },
      "series": [
        {
          "name": "Exact retained multipliers",
          "values": [
            0.09312061854390215,
            0.029307841919850284,
            0.01315593180878903,
            0.007142004568572256,
            0.0028794954425618888,
            0.0014608954427901893,
            0.0004936510202750543,
            0.0
          ]
        },
        {
          "name": "10% relative multiplier bias",
          "values": [
            0.11692497422706123,
            0.07705241461498098,
            0.07251249721475549,
            0.07167435136047567,
            0.07137872985031106,
            0.07133601733570362,
            0.07132289779864887,
            0.07132120649554374
          ]
        }
      ],
      "caption": "Finite constructed modes k=1..16, input amplitudes1/k, target multipliers1/k^2. Retained bias is+10%. Orthogonal error sums checked by independent quadrature; no trained operator."
    }
  ],
  "script_sha256": "225c75e5529f9df22955298de93a570eeffeff67071267201c48fd7d9974a73d"
}