{
  "schema":"tnfr.sine-class-nonlinear-readout-protocol.v1",
  "source_base_commit":"fa8e98a9b1bdd755709da481de7fc092b57bfe65",
  "runtime_overlays":[],
  "evaluation_status_at_freeze":"not_evaluated",
  "producer":"tnfr.physics.relational_sine_class_readout.bound_sine_class_four_history_readout",
  "producer_inputs":{
    "initial_form_bounds":[
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ]
    ],
    "initial_phase_bounds":[
      [
        {
          "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
          "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
          "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
          "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
          "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
          "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
          "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
          "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
          "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
          "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
          "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810751140861484888382159261330529406985973114029617796514331385829835717,
          "denominator":758248500013611744225009799322427112696044686883953601031039038259200000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207157317260989744098183174089695305629146128757245650606752047711750147,
          "denominator":505499000009074496150006532881618075130696457922635734020692692172800000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810753668356484933754640011363193815076348767511907409693001489293296581,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207155632264323047183196007401252366902229026435719241820971978736109571,
          "denominator":673998666678765994866675377175490766840928610563514312027590256230400000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
          "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
          "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
          "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
          "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207155632264323047183196007401252366902229026435719241820971978736109571,
          "denominator":673998666678765994866675377175490766840928610563514312027590256230400000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810753668356484933754640011363193815076348767511907409693001489293296581,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207157317260989744098183174089695305629146128757245650606752047711750147,
          "denominator":505499000009074496150006532881618075130696457922635734020692692172800000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810751140861484888382159261330529406985973114029617796514331385829835717,
          "denominator":758248500013611744225009799322427112696044686883953601031039038259200000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
          "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
          "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
          "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
          "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
        },
        {
          "numerator":-2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
          "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":-1,
          "denominator":100000000000000000000000000000000
        },
        {
          "numerator":1,
          "denominator":100000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207121932330989108883452673632393592363886980005191066105370599223298051,
          "denominator":4043992000072595969200052263052944601045571663381085872165541537382400000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810804218256485841204255012016481976883861837157699673266403558562513861,
          "denominator":6065988000108893953800078394579416901568357495071628808248312306073600000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207142152290989471863298673893708857086892207863507971534731426930984963,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810773888316485296734486011624509079799353995370224315122362317000983493,
          "denominator":3032994000054446976900039197289708450784178747535814404124156153036800000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207148892277656259523247340647480611994560617149613606677851702833547267,
          "denominator":1347997333357531989733350754350981533681857221127028624055180512460800000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810763778336485115244563011493851447437851381441065862407681903147140037,
          "denominator":2021996000036297984600026131526472300522785831690542936082770768691200000000000000000000000000000000
        }
      ],
      [
        {
          "numerator":2823239013023102689225808273207152262270989653353221674024366489448394821792666424249411840784828419,
          "denominator":1010998000018148992300013065763236150261392915845271468041385384345600000000000000000000000000000000
        },
        {
          "numerator":4234858519534654033838712409810758723346485024499601511428522631257100074476486636050341696220218309,
          "denominator":1516497000027223488450019598644854225392089373767907202062078076518400000000000000000000000000000000
        }
      ]
    ],
    "first_probe_amplitude":{
      "numerator":1,
      "denominator":2000
    },
    "second_probe_amplitude":{
      "numerator":1,
      "denominator":2000
    },
    "delay":{
      "numerator":1,
      "denominator":1
    },
    "total_duration":{
      "numerator":2,
      "denominator":1
    },
    "time_step":{
      "numerator":1,
      "denominator":64
    },
    "order":16,
    "max_steps":384
  },
  "source_specification":{
    "classes":[
      1,
      2,
      1
    ],
    "endpoint_radius":{
      "numerator":1,
      "denominator":100000000000000000000000000000000
    },
    "pi_bounds":[
      {
        "numerator":363771576891766324280234942777729862653393377328392429958772151117938894466185,
        "denominator":115792089237316195423570985008687907853269984665640564039457584007913129639936
      },
      {
        "numerator":181885788445883162140117471388864931326696688664196214979386075558969447233093,
        "denominator":57896044618658097711785492504343953926634992332820282019728792003956564819968
      }
    ],
    "pi_method":"shared 64-term Machin enclosure rounded outwards to dyadic256",
    "target_phase_recipe":"Theta[c,j]=2*k[c]*(j-4)*pi/9; j=0..8",
    "outer_cover_recipe":"x_i in [-epsilon,epsilon]; theta_i in target enclosure+[-epsilon,epsilon]",
    "source_order":"component-major j=0..8; all27 x then all27 continuous theta lifts",
    "original_form_slope":{
      "numerator":85949050,
      "denominator":38307
    },
    "original_preparation":"x0[c,j]=k[c]*m*(j-4)+xi_x; theta0[c,j]=xi_theta; separate exact component zero sums for both errors",
    "original_form_error_bound":{
      "numerator":1,
      "denominator":10000000000
    },
    "original_phase_error_bound":{
      "numerator":1,
      "denominator":10000000000
    },
    "formation_time":{
      "numerator":100,
      "denominator":1
    },
    "relaxation_duration":{
      "numerator":10000000000000,
      "denominator":1
    },
    "decay_power":512,
    "phase_origins":[
      {
        "numerator":0,
        "denominator":1
      },
      {
        "numerator":0,
        "denominator":1
      },
      {
        "numerator":0,
        "denominator":1
      }
    ],
    "source_storage_ceiling_per_component":{
      "numerator":1000000000,
      "denominator":1
    },
    "source_admission_radius":{
      "numerator":1,
      "denominator":12
    },
    "proof_owners":[
      "theory/nodal/SINE_CLASS_MEDIATED_RESPONSE.md",
      "theory/nodal/SINE_CLASS_NONLINEAR_SUPERPOSITION.md",
      "theory/nodal/SINE_CLASS_NONLINEAR_PROTOCOL.md"
    ],
    "association":"Conditional acquired-family proof premise; same original state in all four histories. No formation replay, state reset or cached verdict consumed. The coordinate box is an outer cover; arbitrary corners need not be acquired or satisfy the correlated zero sums.",
    "prior_artifact_receipts":[
      {
        "path":"docs/assets/sine_formed_classes/class-mediation-v1.protocol.json",
        "bytes":5645,
        "sha256":"c6733897b18891158248e0536ad9bf7d98e71011296657efdd931e5f657222b9"
      },
      {
        "path":"docs/assets/sine_formed_classes/class-mediation-v1.source.zip",
        "bytes":24156,
        "sha256":"98eeb475b07e986b9985888b78b3822904c2b458ee126737635868a2dac5ed1b"
      },
      {
        "path":"docs/assets/sine_formed_classes/class-mediation-v1.json",
        "bytes":141178,
        "sha256":"a4ec1f60bc15e6d4ef45ef5ba9c155b22f5ea755af2af671f0f820817fc93c51"
      },
      {
        "path":"docs/assets/sine_formed_classes/class-mediation-v1.manifest.json",
        "bytes":1207,
        "sha256":"f546c94ad71edd348f6dcb354f1e268e2672c3132c6e2f19064cc8ddc2cd8fb4"
      }
    ]
  },
  "support":{
    "nodes":[
      0,
      1,
      2,
      3,
      4,
      5,
      6,
      7,
      8,
      9,
      10,
      11,
      12,
      13,
      14,
      15,
      16,
      17,
      18,
      19,
      20,
      21,
      22,
      23,
      24,
      25,
      26
    ],
    "edges":[
      [
        0,
        1
      ],
      [
        0,
        8
      ],
      [
        1,
        2
      ],
      [
        2,
        3
      ],
      [
        3,
        4
      ],
      [
        4,
        5
      ],
      [
        4,
        13
      ],
      [
        5,
        6
      ],
      [
        6,
        7
      ],
      [
        7,
        8
      ],
      [
        9,
        10
      ],
      [
        9,
        17
      ],
      [
        10,
        11
      ],
      [
        11,
        12
      ],
      [
        12,
        13
      ],
      [
        13,
        14
      ],
      [
        13,
        22
      ],
      [
        14,
        15
      ],
      [
        15,
        16
      ],
      [
        16,
        17
      ],
      [
        18,
        19
      ],
      [
        18,
        26
      ],
      [
        19,
        20
      ],
      [
        20,
        21
      ],
      [
        21,
        22
      ],
      [
        22,
        23
      ],
      [
        23,
        24
      ],
      [
        24,
        25
      ],
      [
        25,
        26
      ]
    ],
    "degrees":[
      2,
      2,
      2,
      2,
      3,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      4,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      3,
      2,
      2,
      2,
      2
    ],
    "donor":4,
    "receiver":22
  },
  "law":{
    "rows":"x_tau=-K L x+gamma K S(theta); theta_tau=gamma K L x",
    "gamma":"1/(1023*pi)",
    "clock":"tau=e*t; e=1023/1024",
    "capacity":[
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      }
    ],
    "e":{
      "numerator":1023,
      "denominator":1024
    },
    "w":{
      "numerator":1,
      "denominator":1024
    },
    "pressure":"Complete sine field refreshed inside every shared interval/jet evaluation; no held pressure or reconstructed response driver"
  },
  "events":{
    "contacts":[
      [
        4,
        13
      ],
      [
        13,
        22
      ]
    ],
    "contact_rule":"Install at actual reached state without changing any coordinate before the first optional form kick",
    "history_order":[
      "neither",
      "first_only",
      "second_only",
      "both"
    ],
    "form_amplitudes":[
      [
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      [
        {
          "numerator":1,
          "denominator":2000
        },
        {
          "numerator":0,
          "denominator":1
        }
      ],
      [
        {
          "numerator":0,
          "denominator":1
        },
        {
          "numerator":1,
          "denominator":2000
        }
      ],
      [
        {
          "numerator":1,
          "denominator":2000
        },
        {
          "numerator":1,
          "denominator":2000
        }
      ]
    ],
    "event_times":[
      {
        "numerator":0,
        "denominator":1
      },
      {
        "numerator":1,
        "denominator":1
      }
    ],
    "rule":"Only donor form jumps; carry every other form and phase coordinate; no hidden-state reset"
  },
  "observation":{
    "readout_error_bound":{
      "numerator":1,
      "denominator":1000000000000000000000000000000
    },
    "receiver":22,
    "coefficients":[
      1,
      -1,
      -1,
      1
    ],
    "primary":"Sum retained suffix receiver increments, cancelling shared prefix receiver values symbolically",
    "secondary":"Retain raw endpoint bands and their independently reconstructed mixed outer interval",
    "sensor":"Four scalar errors each bounded by delta; no sensor realization or physical measurement is generated",
    "correlation":"One common source; marginal bands relax correlations and do not imply joint realization of every Cartesian corner"
  },
  "prediction":{
    "open_interval":[
      {
        "numerator":-1,
        "denominator":312500000000000000000000000
      },
      {
        "numerator":-3,
        "denominator":1000000000000000000000000000
      }
    ],
    "owner":"theory/nodal/SINE_CLASS_NONLINEAR_PROTOCOL.md#sine-nonlinear-protocol-finite-separation",
    "status":"Previously proved conditional analytic prediction, not recomputed from the reserved response",
    "comparison":"Strict overlap and strict containment reported separately; never intersect or replace numerical bounds with the prediction"
  },
  "conditional_identity_and_work":{
    "radius":{
      "numerator":1,
      "denominator":12
    },
    "contact_work_allowance":{
      "numerator":1,
      "denominator":1000000000000
    },
    "first_probe_work_allowance":{
      "numerator":1,
      "denominator":500000
    },
    "second_probe_work_allowance":{
      "numerator":1,
      "denominator":500000
    },
    "scope":"Inherited theorem obligations on the acquired correlated family, not identity or work claims for every box corner"
  },
  "numerical_policy":{
    "unique_segments":6,
    "steps_per_segment":64,
    "total_attempt_limit":384,
    "order":16,
    "time_step":{
      "numerator":1,
      "denominator":64
    },
    "interval_bits":128,
    "picard_iteration_limit":16,
    "pressure_refresh":"every field evaluation",
    "adaptive_retries":false,
    "numerical_width_cutoff":null,
    "scope":"A priori resource policy, not a predicted enclosure width or completion guarantee"
  },
  "decision_policy":{
    "required":[
      "complete",
      "evidence_integrity",
      "true_mixed_negative",
      "recorded_mixed_negative",
      "four_record_sets_disjoint",
      "theorem_open_interval_overlap"
    ],
    "informational":[
      "theorem_open_interval_contains_numerical_band"
    ],
    "thresholds":"I.hi<0; I.hi+4*delta<0; I.hi+8*delta<0; strict open-interval overlap",
    "failure":"Retain incomplete, broad, contradictory or exceptional first outcome without retuning. A noncertified numerical enclosure alone does not refute the theorem.",
    "statuses":"incomplete -> unavailable; complete strict-disjoint-from-P -> consistency_conflict; complete compatible without all required strict criteria -> inconclusive; all required criteria -> certified_reserved_readout"
  },
  "first_attempt":{
    "producer_call_limit":1,
    "ledger":"Exclusive .attempt.json before first producer call; refuse an existing attempt or response",
    "retention":"Retain complete report or honest partial report; unexpected exception records known outcome without inventing lost step counts",
    "freeze":"Protocol/source/.freeze.json remain immutable after any later outcome",
    "authorization":"This freeze does not execute or automatically schedule the reserved response"
  },
  "runtime":{
    "python":"3.13.6",
    "implementation":"CPython",
    "platform":"Windows-11-10.0.26300-SP0",
    "dependencies":{
      "numpy":"2.3.3",
      "networkx":"3.5"
    },
    "backend":"exact Fraction; shared outward dyadic128 Picard/Taylor",
    "randomness":"none; explicit full source and events"
  },
  "provenance_limits":"Hashes associate exact bytes only; no independent authentication of chronology, execution, acquisition or physical law. Archived text hashes are exact; live/base source equivalence normalizes CRLF to LF only."
}