{
  "manuscript_sha256": "c8b16eaf2abf49162495bbfb0ea0e69908a3a28d5e34968d60dcd399daf6518f",
  "algebra": {
    "material_and_inventory": "exact symbolic identities",
    "guard_slack": "5*a*x/2 + 11*b*c1/2 + e*x + rho*x**2/5 + 21*sigma/5",
    "thermochemical_rate_ratios": [
      "10",
      "1",
      "1",
      "10",
      "1",
      "8000000000"
    ],
    "pulse_material_interval": [
      "1813/2000",
      "27/25"
    ],
    "selective": {
      "local_Y_drift": "284000009092001/5120000000000000",
      "X_only_exchange": "-1/10",
      "coupled_Y_drift": "-227999990907999/5120000000000000",
      "scope": "Failure of the common-minimum argument; not proof of extinction."
    },
    "phase": {
      "polynomial": [
        "1",
        "625*h**4/6 + 250*h**3/3 + 50*h**2 + 20*h",
        "86585*h**4/3 + 14180*h**3/3 + 580*h**2",
        "79714*h**4/3 + 12104*h**3/3 + 456*h**2 + 38*h"
      ],
      "residual": [
        "0",
        "3125*h**4/6",
        "2206625*h**4/3",
        "2086306*h**4/3"
      ],
      "lag": "1/28",
      "ratios": [
        "1",
        "961355/1382976",
        "9238925/12907776",
        "3328055/2765952"
      ],
      "exp_6_over_7_upper": "1901799797/807072140",
      "certified_floor": "3260065710993751975/520825315373170734096",
      "reported_floor": "1/160"
    }
  },
  "pilots": [
    {
      "topology": "uncoupled",
      "scale": 1.0,
      "collection_I_min": 0.26815566209827707,
      "collection_X_min": 0.12433129902936778,
      "final_Y_min": 0.3183429095861132,
      "final_material_deviation": 0.00042602939206914936,
      "handling": 0.0,
      "handling_bound": 0.0,
      "material_error": 1.1991518888976316e-12,
      "inventory_error": 8.881784197001252e-16
    },
    {
      "topology": "path",
      "scale": 1.0,
      "collection_I_min": 0.31011061975493664,
      "collection_X_min": 0.14599234077285042,
      "final_Y_min": 0.34630492099154153,
      "final_material_deviation": 0.0003322338324400764,
      "handling": 20.70282786266564,
      "handling_bound": 26.400000000000002,
      "material_error": 8.17645950945689e-12,
      "inventory_error": 8.881784197001252e-16
    },
    {
      "topology": "ring",
      "scale": 1.0,
      "collection_I_min": 0.31469869149579666,
      "collection_X_min": 0.14840141075356775,
      "final_Y_min": 0.3488480389196952,
      "final_material_deviation": 0.0003209440645811634,
      "handling": 27.6191106801229,
      "handling_bound": 35.2,
      "material_error": 6.263212171120358e-12,
      "inventory_error": 1.7763568394002505e-15
    },
    {
      "topology": "star",
      "scale": 1.0,
      "collection_I_min": 0.30712194724085995,
      "collection_X_min": 0.1444555488996255,
      "final_Y_min": 0.34527930315093847,
      "final_material_deviation": 0.0003387986881158156,
      "handling": 13.843673448886033,
      "handling_bound": 17.6,
      "material_error": 2.912448060499173e-12,
      "inventory_error": 8.881784197001252e-16
    }
  ],
  "independent_solver_max_difference": 1.130387006220701e-09,
  "mission": {
    "history": [
      {
        "cycle": 1,
        "retained": [
          0.25,
          0.75,
          0.4,
          0.6
        ],
        "collection_I": [
          0.36203199230994576,
          0.36545179809821593,
          0.3651913639943801,
          0.3652358749804201
        ],
        "collection_X": [
          0.17336276839880294,
          0.17658077663396937,
          0.1751009397952092,
          0.17644552454591217
        ],
        "endpoint_Y": [
          0.3739522113677201,
          0.3771813093027505,
          0.3763577906279859,
          0.37645128224160535
        ]
      },
      {
        "cycle": 2,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.4
        ],
        "collection_I": [
          0.3637311024570832,
          0.36634252925136357,
          0.3653136485627414,
          0.36490295656187133
        ],
        "collection_X": [
          0.17427339390317897,
          0.17705798035568926,
          0.17516715463991922,
          0.17626803329817037
        ],
        "endpoint_Y": [
          0.3746726944412354,
          0.37760610351729695,
          0.3764586433609026,
          0.37635412957389097
        ]
      },
      {
        "cycle": 3,
        "retained": [
          0.75,
          0.6,
          0.25,
          0.75
        ],
        "collection_I": [
          0.3644826443501967,
          0.3669748719138286,
          0.3658551434087963,
          0.3655489582662662
        ],
        "collection_X": [
          0.17467675210646377,
          0.17739698056639808,
          0.17545818588022383,
          0.17661442105658293
        ],
        "endpoint_Y": [
          0.37502035585752147,
          0.3779123691871391,
          0.376740221909184,
          0.3766509867752297
        ]
      },
      {
        "cycle": 4,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.3645986648090096,
          0.3674032760711974,
          0.36670582593062506,
          0.3665797098558443
        ],
        "collection_X": [
          0.174738721660482,
          0.17762631394671924,
          0.17591482164141742,
          0.17716660630587305
        ],
        "endpoint_Y": [
          0.37511874387395816,
          0.3781312700199154,
          0.3771209277177634,
          0.3771149922195062
        ]
      },
      {
        "cycle": 5,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.36536060366967216,
          0.3679746514897312,
          0.36694145456812177,
          0.3665748069110184
        ],
        "collection_X": [
          0.17514852176576834,
          0.1779332249931047,
          0.1760417049548063,
          0.17716405206049585
        ],
        "endpoint_Y": [
          0.37545691880266785,
          0.37838427672361064,
          0.37724561876701135,
          0.3771446463776523
        ]
      },
      {
        "cycle": 6,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3641996040686013,
          0.3671285851611219,
          0.36664510404479167,
          0.36666295241981217
        ],
        "collection_X": [
          0.17452496628512826,
          0.17747957740208647,
          0.17588278953142805,
          0.17721181402815378
        ],
        "endpoint_Y": [
          0.3749427482751952,
          0.3780100239917413,
          0.3770815826757524,
          0.37713361092541836
        ]
      },
      {
        "cycle": 7,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36556486650600417,
          0.36839286595105913,
          0.36763968746086495,
          0.36738796634848714
        ],
        "collection_X": [
          0.1752582621131208,
          0.17815780084694338,
          0.1764175755019201,
          0.17760082846408826
        ],
        "endpoint_Y": [
          0.37558315250128316,
          0.37859076385546164,
          0.3775590281929794,
          0.3775110547620812
        ]
      },
      {
        "cycle": 8,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.3646107851689038,
          0.36741581793748135,
          0.36671895351867523,
          0.3665927707554073
        ],
        "collection_X": [
          0.17474523444144519,
          0.17763304520094036,
          0.17592188517755397,
          0.17717362035445766
        ],
        "endpoint_Y": [
          0.37512460028012184,
          0.3781372263150583,
          0.3771271083301032,
          0.3771211369109176
        ]
      },
      {
        "cycle": 9,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.3653606968335754,
          0.36797474631971705,
          0.3669415531730159,
          0.3665749047720135
        ],
        "collection_X": [
          0.1751485719896016,
          0.1779332760247072,
          0.17604175811735684,
          0.17716410469079696
        ],
        "endpoint_Y": [
          0.37545696287511066,
          0.3783843211551219,
          0.37724566468271375,
          0.3771446919681129
        ]
      },
      {
        "cycle": 10,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36419960479852465,
          0.36712858585855257,
          0.3666451047216891,
          0.3666629530610852
        ],
        "collection_X": [
          0.17452496667961304,
          0.17747957777870077,
          0.1758827898982558,
          0.17721181437516836
        ],
        "endpoint_Y": [
          0.3749427486321063,
          0.37801002433470593,
          0.3770815830041133,
          0.3771336112330814
        ]
      },
      {
        "cycle": 11,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36556486651826037,
          0.3683928659636351,
          0.3676396874723493,
          0.36738796635873583
        ],
        "collection_X": [
          0.1752582621196202,
          0.17815780085361066,
          0.17641757550801634,
          0.17760082846951403
        ],
        "endpoint_Y": [
          0.3755831525030874,
          0.3785907638571566,
          0.37755902819458365,
          0.37751105476357355
        ]
      },
      {
        "cycle": 12,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.3646107852208682,
          0.3674158180030387,
          0.3667189535764732,
          0.3665927707969059
        ],
        "collection_X": [
          0.17474523446863016,
          0.17763304523538115,
          0.17592188520789648,
          0.17717362037608236
        ],
        "endpoint_Y": [
          0.3751246002801389,
          0.3781372263150838,
          0.3771271083301233,
          0.3771211369109285
        ]
      },
      {
        "cycle": 13,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.36536069686365313,
          0.36797474636000327,
          0.3669415532250666,
          0.36657490481588506
        ],
        "collection_X": [
          0.1751485720052237,
          0.1779332760457687,
          0.1760417581447093,
          0.17716410471374217
        ],
        "endpoint_Y": [
          0.37545696287510366,
          0.3783843211551085,
          0.377245664682693,
          0.3771446919680993
        ]
      },
      {
        "cycle": 14,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36419960483934155,
          0.3671285859089468,
          0.3666451047581343,
          0.3666629530845107
        ],
        "collection_X": [
          0.17452496670099704,
          0.17747957780520396,
          0.17588278991736306,
          0.1772118143873282
        ],
        "endpoint_Y": [
          0.37494274863210847,
          0.37801002433470826,
          0.37708158300411443,
          0.377133611233083
        ]
      },
      {
        "cycle": 15,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3655648665110117,
          0.36839286595590337,
          0.36763968746540465,
          0.3673879663526707
        ],
        "collection_X": [
          0.17525826211584034,
          0.1781578008495725,
          0.1764175755043949,
          0.1776008284663665
        ],
        "endpoint_Y": [
          0.37558315250309104,
          0.378590763857161,
          0.37755902819458714,
          0.3775110547635764
        ]
      },
      {
        "cycle": 16,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.36461078516978074,
          0.36741581793858114,
          0.36671895351964534,
          0.3665927707561064
        ],
        "collection_X": [
          0.1747452344419052,
          0.1776330452015188,
          0.17592188517806395,
          0.17717362035482248
        ],
        "endpoint_Y": [
          0.375124600280126,
          0.37813722631506175,
          0.37712710833010593,
          0.3771211369109194
        ]
      },
      {
        "cycle": 17,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.3653606968593588,
          0.36797474635424676,
          0.36694155321762456,
          0.3665749048096172
        ],
        "collection_X": [
          0.1751485720029935,
          0.17793327604275927,
          0.1760417581407987,
          0.1771641047104644
        ],
        "endpoint_Y": [
          0.3754569628751162,
          0.37838432115513265,
          0.3772456646827304,
          0.3771446919681239
        ]
      },
      {
        "cycle": 18,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36419960483934144,
          0.3671285859089475,
          0.36664510475813494,
          0.36666295308451113
        ],
        "collection_X": [
          0.174524966700997,
          0.17747957780520418,
          0.17588278991736334,
          0.17721181438732853
        ],
        "endpoint_Y": [
          0.3749427486321085,
          0.3780100243347084,
          0.3770815830041147,
          0.37713361123308337
        ]
      },
      {
        "cycle": 19,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36556486650979003,
          0.3683928659545924,
          0.36763968746423226,
          0.3673879663516493
        ],
        "collection_X": [
          0.17525826211520257,
          0.17815780084888738,
          0.1764175755037829,
          0.1776008284658364
        ],
        "endpoint_Y": [
          0.3755831525031134,
          0.37859076385718743,
          0.3775590281946087,
          0.3775110547635933
        ]
      },
      {
        "cycle": 20,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.3646107851843775,
          0.36741581795688116,
          0.36671895353581263,
          0.3665927707677732
        ],
        "collection_X": [
          0.17474523444954254,
          0.17763304521113316,
          0.1759218851865521,
          0.17717362036090312
        ],
        "endpoint_Y": [
          0.37512460028013456,
          0.3781372263150759,
          0.37712710833011703,
          0.3771211369109255
        ]
      },
      {
        "cycle": 21,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.36536069683357497,
          0.36797474631971694,
          0.3669415531730158,
          0.3665749047720136
        ],
        "collection_X": [
          0.17514857198960176,
          0.17793327602470743,
          0.17604175811735712,
          0.17716410469079685
        ],
        "endpoint_Y": [
          0.37545696287511066,
          0.3783843211551219,
          0.37724566468271375,
          0.37714469196811296
        ]
      },
      {
        "cycle": 22,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3641996047990568,
          0.3671285858592098,
          0.3666451047221646,
          0.36666295306139074
        ],
        "collection_X": [
          0.1745249666798921,
          0.1774795777790466,
          0.1758827898985046,
          0.1772118143753269
        ],
        "endpoint_Y": [
          0.3749427486321067,
          0.37801002433470665,
          0.3770815830041137,
          0.37713361123308153
        ]
      },
      {
        "cycle": 23,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3655648665110117,
          0.36839286595590326,
          0.36763968746540443,
          0.3673879663526707
        ],
        "collection_X": [
          0.1752582621158404,
          0.17815780084957256,
          0.17641757550439496,
          0.17760082846636693
        ],
        "endpoint_Y": [
          0.37558315250309104,
          0.37859076385716106,
          0.3775590281945872,
          0.3775110547635765
        ]
      },
      {
        "cycle": 24,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.3646107852228335,
          0.36741581800550493,
          0.36671895357865203,
          0.36659277079847696
        ],
        "collection_X": [
          0.17474523446965823,
          0.177633045236677,
          0.17592188520904,
          0.17717362037690082
        ],
        "endpoint_Y": [
          0.375124600280127,
          0.3781372263150631,
          0.3771271083301069,
          0.37712113691092
        ]
      },
      {
        "cycle": 25,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.3653606968213896,
          0.36797474630347937,
          0.3669415531521556,
          0.3665749047542942
        ],
        "collection_X": [
          0.17514857198327083,
          0.17793327601621756,
          0.17604175810639422,
          0.17716410468152738
        ],
        "endpoint_Y": [
          0.37545696287511243,
          0.37838432115512544,
          0.3772456646827196,
          0.3771446919681163
        ]
      },
      {
        "cycle": 26,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3641996048393409,
          0.36712858590894726,
          0.3666451047581346,
          0.3666629530845107
        ],
        "collection_X": [
          0.17452496670099693,
          0.17747957780520407,
          0.1758827899173631,
          0.17721181438732836
        ],
        "endpoint_Y": [
          0.3749427486321086,
          0.3780100243347083,
          0.3770815830041146,
          0.3771336112330832
        ]
      },
      {
        "cycle": 27,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3655648665102682,
          0.3683928659551059,
          0.3676396874646912,
          0.36738796635204896
        ],
        "collection_X": [
          0.1752582621154521,
          0.17815780084915506,
          0.17641757550402176,
          0.17760082846604391
        ],
        "endpoint_Y": [
          0.3755831525031087,
          0.3785907638571817,
          0.3775590281946042,
          0.37751105476358976
        ]
      },
      {
        "cycle": 28,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.3646107852208681,
          0.3674158180030388,
          0.3667189535764743,
          0.3665927707969061
        ],
        "collection_X": [
          0.17474523446863005,
          0.17763304523538131,
          0.17592188520789676,
          0.1771736203760823
        ],
        "endpoint_Y": [
          0.3751246002801391,
          0.37813722631508395,
          0.37712710833012353,
          0.3771211369109286
        ]
      },
      {
        "cycle": 29,
        "retained": [
          0.75,
          0.75,
          0.4,
          0.75
        ],
        "collection_I": [
          0.36536069685935857,
          0.3679747463542462,
          0.366941553217624,
          0.36657490480961685
        ],
        "collection_X": [
          0.1751485720029935,
          0.17793327604275921,
          0.17604175814079837,
          0.17716410471046407
        ],
        "endpoint_Y": [
          0.3754569628751163,
          0.3783843211551329,
          0.37724566468273063,
          0.37714469196812395
        ]
      },
      {
        "cycle": 30,
        "retained": [
          0.75,
          0.25,
          0.75,
          0.75
        ],
        "collection_I": [
          0.36419960479905844,
          0.36712858585921215,
          0.3666451047221657,
          0.3666629530613912
        ],
        "collection_X": [
          0.17452496667989298,
          0.17747957777904738,
          0.1758827898985058,
          0.17721181437532713
        ],
        "endpoint_Y": [
          0.37494274863210686,
          0.3780100243347068,
          0.377081583004114,
          0.3771336112330818
        ]
      },
      {
        "cycle": 31,
        "retained": [
          0.75,
          0.6,
          0.75,
          0.75
        ],
        "collection_I": [
          0.3655648665097896,
          0.3683928659545932,
          0.3676396874642327,
          0.36738796635165016
        ],
        "collection_X": [
          0.17525826211520257,
          0.1781578008488876,
          0.17641757550378306,
          0.1776008284658363
        ],
        "endpoint_Y": [
          0.37558315250311325,
          0.3785907638571874,
          0.3775590281946088,
          0.3775110547635934
        ]
      },
      {
        "cycle": 32,
        "retained": [
          0.75,
          0.4,
          0.6,
          0.75
        ],
        "collection_I": [
          0.36461078522086865,
          0.3674158180030396,
          0.3667189535764743,
          0.36659277079690644
        ],
        "collection_X": [
          0.17474523446863027,
          0.1776330452353816,
          0.1759218852078968,
          0.17717362037608275
        ],
        "endpoint_Y": [
          0.37512460028013916,
          0.3781372263150841,
          0.3771271083301236,
          0.37712113691092874
        ]
      }
    ],
    "end": [
      [
        0.5386151699184368,
        0.609919673406193,
        0.1756934137706599,
        0.07118175173652096,
        0.023520662745984754,
        0.048012659978619185
      ],
      [
        0.5350279822561047,
        0.6070307873347943,
        0.1785809819192545,
        0.07187976161071497,
        0.023603218241311057,
        0.047581670581077644
      ],
      [
        0.5363391724408191,
        0.6078709538665383,
        0.17683164695805945,
        0.07140695310658987,
        0.023533126884480404,
        0.048342367493821106
      ],
      [
        0.5361602534624422,
        0.60806997816102,
        0.17800467600428918,
        0.07178276909083126,
        0.02360294975645278,
        0.047398175566900284
      ]
    ],
    "food": [
      606.8400000000001,
      606.8400000000001
    ],
    "gross_service": 2.6703259091351126,
    "gross_handling": 635.0658063207754,
    "initial_I": 0.1857142857142857,
    "final_I": 1.4722916590659858,
    "all_effluent_I": 185.41508427419146,
    "withdrawn_I": 16.856596648197563,
    "lost_I": 0.3122723931051698,
    "net_synthesis": 203.87053068884586,
    "inventory_residual": 0.0,
    "material_error": 8.17645950945689e-12,
    "flow_inventory_error": 4.440892098500626e-15,
    "duration": 140.0
  },
  "certificate": {
    "cycles": 32,
    "time": 140,
    "collection_I": "32/7",
    "collection_X": "4/5",
    "each_food": "32983/50",
    "gross_service": "126/5",
    "net_synthesis": "11/35"
  },
  "mission_sizing": {
    "required_cycles": 11,
    "funded_cycles": 12,
    "feasible": true,
    "required_bounds": {
      "cycles": 11,
      "time": 56,
      "collection_I": "11/7",
      "collection_X": "11/40",
      "each_food": "6506/25",
      "gross_service": "252/25",
      "net_synthesis": "-94/35"
    }
  },
  "physical": {
    "amount_per_normalized_unit_umol": 1.0,
    "seconds_per_time_unit": 60.0,
    "node_volume_mL": 1.0,
    "eleven_cycles": {
      "collection_I": 1.5714285714285714,
      "collection_X": 0.275,
      "each_food": 260.24,
      "gross_service": 10.08,
      "net_synthesis": -2.6857142857142855
    },
    "eleven_cycles_minutes": 56.0,
    "scope": "Illustrative unit conversion; no measured chemistry, pumping energy, or finite reservoir depletion model."
  },
  "exchange_labels": [
    [
      0,
      1,
      "U",
      0.5
    ],
    [
      0,
      1,
      "W",
      0.5
    ],
    [
      0,
      1,
      "X",
      0.5
    ],
    [
      0,
      1,
      "C1",
      0.5
    ],
    [
      0,
      1,
      "C2",
      0.5
    ],
    [
      0,
      1,
      "Z",
      0.5
    ],
    [
      1,
      0,
      "U",
      0.5
    ],
    [
      1,
      0,
      "W",
      0.5
    ],
    [
      1,
      0,
      "X",
      0.5
    ],
    [
      1,
      0,
      "C1",
      0.5
    ],
    [
      1,
      0,
      "C2",
      0.5
    ],
    [
      1,
      0,
      "Z",
      0.5
    ],
    [
      1,
      2,
      "U",
      0.5
    ],
    [
      1,
      2,
      "W",
      0.5
    ],
    [
      1,
      2,
      "X",
      0.5
    ],
    [
      1,
      2,
      "C1",
      0.5
    ],
    [
      1,
      2,
      "C2",
      0.5
    ],
    [
      1,
      2,
      "Z",
      0.5
    ],
    [
      2,
      1,
      "U",
      0.5
    ],
    [
      2,
      1,
      "W",
      0.5
    ],
    [
      2,
      1,
      "X",
      0.5
    ],
    [
      2,
      1,
      "C1",
      0.5
    ],
    [
      2,
      1,
      "C2",
      0.5
    ],
    [
      2,
      1,
      "Z",
      0.5
    ],
    [
      2,
      3,
      "U",
      0.5
    ],
    [
      2,
      3,
      "W",
      0.5
    ],
    [
      2,
      3,
      "X",
      0.5
    ],
    [
      2,
      3,
      "C1",
      0.5
    ],
    [
      2,
      3,
      "C2",
      0.5
    ],
    [
      2,
      3,
      "Z",
      0.5
    ],
    [
      3,
      2,
      "U",
      0.5
    ],
    [
      3,
      2,
      "W",
      0.5
    ],
    [
      3,
      2,
      "X",
      0.5
    ],
    [
      3,
      2,
      "C1",
      0.5
    ],
    [
      3,
      2,
      "C2",
      0.5
    ],
    [
      3,
      2,
      "Z",
      0.5
    ]
  ],
  "scope": "Deterministic synchronized equal-volume network. The global theorem is imported; exact algebra and numerical diagnostics are freshly run. No Lean replay or stochastic claim."
}