{
  "artifact": "HELIX.SUPERHIGHWAY.PUBLIC_FIELD_WITNESS.v1",
  "audit": "9c028a129313d282",
  "closed_elsewhere_in_published_source": [
    "finite periodic Address Book scaling theorem",
    "measured horizon scaling ladder for compiled TRANSPORT"
  ],
  "common_test": {
    "carrier": "1.5 mm 6061-T6 matched-load discrete carrier",
    "field_coordinates": "8 spatial channels x 2 quadratures",
    "loaded_transfer_rank_per_quadrature": "8/8",
    "local_traction_rank": "16/16",
    "loss_quantum_definition": "dimensionless sum over tiles of real_drive^2 + quadrature_drive^2",
    "loss_reference": "vendor-reference 1 kHz dielectric-loss law with conservative matched-load mechanical ceiling",
    "scalar_verdict": "tie",
    "surface": "2 x 4 independently driven Pz26 tile surface",
    "total_loss_quantum_route_a": 3,
    "total_loss_quantum_route_b": 3
  },
  "coverage": [
    "exact loaded displacement for every sealed Helix field",
    "exact carrier curvature word and transmitted normal wrench",
    "exact actuator/load/carrier energy ledger",
    "generator-first transfer with direct exact referee"
  ],
  "field_verdict": {
    "curvature_words_differ": true,
    "loaded_displacement_maps_differ": true,
    "transmitted_wrenches_differ": true
  },
  "grade": "quasi-static matched-load discrete-carrier reference design",
  "open": [
    "adhesive, electrode, preload, and contact constitutive layers",
    "inertia, resonance, mode shape, and frequency response",
    "ferroelectric switching hysteresis and coercive-field calibration",
    "temperature, vacuum, radiation, fatigue, and aging qualification",
    "carrier and bonded-stack coupon calibration",
    "driver timing and hardware benchmark",
    "regolith contact and transport"
  ],
  "published_source": {
    "doi": "10.5281/zenodo.21611872",
    "sections": [
      "13.5",
      "13.6"
    ],
    "title": "The Helix Operator"
  },
  "route_a": {
    "curvature_word": {
      "imag_exact": [
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": -37996752644096988669096838858153010761479192459903170981919879018654623457166539788100288003320308365730551687
        },
        {
          "denominator": 422233623680033036221331474791426519637388263725376165553083040922819705242607484440068278590989890044575574300000000,
          "numerator": 12665180648735826459108293265672523074779806869350721338960046271565096624871302267264754193056770798016954729
        },
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": -12663115400372378725710160777773786952412207567937234291194338144968620177679951003989664898878330978681017229
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": -136728075830150660187748282127133636452391929996813236154867621942858342194924315050219204551015625
        },
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": 12664064861981030604612721812436126154706517371346502107241336735161800117474849120140428851958980392743517229
        },
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": -12662355718324808774381072534086952201210708853485942646203578289731965971844767113593238917077873947431017229
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": -319020784792794203859948382850268386724489681246502649222191477326357459343099027648509524160703125
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": 45557799797301366796063846982435827395126823556988883180840208552894158529977980098119943183671875
        }
      ],
      "real_exact": [
        {
          "denominator": 844467247360066072442662949582853039274776527450752331106166081845639410485214968880136557181979780089151148600000000,
          "numerator": 12666011534786871864659447784417480513496165174110445375454421496941057091267920102086374685998921066571642229
        },
        {
          "denominator": 960568207257348060695278995345016306110044350454084014272790809501011711181411682970160942800000000,
          "numerator": -7202965313829289939219829665911314719917790576265330904647529380428694531198677466026207071
        },
        {
          "denominator": 19211364145146961213905579906900326122200887009081680285455816190020234223628233659403218856,
          "numerator": -8640599807959474823964967402097070180839835126412613490321697079961291834609375
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": 15188287521707069530294717172222140960056860786276101638074475263461172270075840040641218040390625
        },
        {
          "denominator": 960568207257348060695278995345016306110044350454084014272790809501011711181411682970160942800000000,
          "numerator": -7203397364063593959779265339091121026583253060587430497648655722419514342616579809776207071
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": -227899490130464343680355277474040496140864778533780910264595272306715728572032874199706161230859375
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": 45563494865028493383529258393792063188498079155732855776755996466747572241088173350683419746171875
        },
        {
          "denominator": 4802841036286740303476394976725081530550221752270420071363954047505058555907058414850804714,
          "numerator": 101219530234091187124048507265782102462828894811633051285684108734130859375
        }
      ]
    },
    "field_coordinates": [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      -1,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "glue": "B+-+",
    "loaded_displacement": {
      "imag_decimal_nm": [
        "-7.499381475",
        "7.499044122",
        "0.000393563",
        "-0.000056211",
        "-0.000337357",
        "0.000449781",
        "-0.000112409",
        "-0.000000015"
      ],
      "imag_exact_m": [
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": -12665964061422620612904585960174083279209070700986229519191338748103859613554930741843392610171060470868517229
        },
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": 12665394295608524552941252513545383043036912928953034937324215312611441708259163441138682529338295822431017229
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": 106352412296423409676390698121706343960387655578808151652026730370191867536103671651065674720234375
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": -15189882041053815543039237529668556415144130267675052912277051583327020213335558897452741477890625
        },
        {
          "denominator": 135114759577610571590826071933256486283964244392120372976986573095302305677634395020821849149116764814264183776,
          "numerator": -45581948542168772286846059243107198068949681785839502961103213162998256198810938014379708808671875
        },
        {
          "denominator": 33778689894402642897706517983314121570991061098030093244246643273825576419408598755205462287279191203566045944,
          "numerator": 15193014560715779693859925137588891016591751901628487519488652259690793502226965052085309837265625
        },
        {
          "denominator": 135114759577610571590826071933256486283964244392120372976986573095302305677634395020821849149116764814264183776,
          "numerator": -15188059426504156201233195780293455828275332762001936455994790078771134926171684996085553977890625
        },
        {
          "denominator": 4222336236800330362213314747914265196373882637253761655530830409228197052426074844400682785909898900445755743,
          "numerator": -64071068443446480013922717340942785687283083515958151768931156055715122663662433624267578125
        }
      ],
      "real_decimal_nm": [
        "7.499662612",
        "0.000281137",
        "-0.000056215",
        "-0.000000004",
        "0.000224920",
        "-0.000112437",
        "-0.000000013",
        "0.000000002"
      ],
      "real_exact_m": [
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": 12666438883354770939688801667193905604518644425239881669936241121568235522494751222983960133586385177899767229
        },
        {
          "denominator": 153690913161175689711244639255202608977607096072653442283646529520161873789025869275225750848,
          "numerator": 43208198168295517502324080629278824376364161155162264599374074532115419133984375
        },
        {
          "denominator": 153690913161175689711244639255202608977607096072653442283646529520161873789025869275225750848,
          "numerator": -8639773751393827359742048381169928436361745796019395643949835536305896326796875
        },
        {
          "denominator": 8444672473600660724426629495828530392747765274507523311061660818456394104852149688801365571819797800891511486,
          "numerator": -35595945734159868721871587411924946984826847310207596652278231012398067361605167388916015625
        },
        {
          "denominator": 38422728290293922427811159813800652244401774018163360570911632380040468447256467318806437712,
          "numerator": 8642041345954636294625822687499666886432092215696413657732167575185290858046875
        },
        {
          "denominator": 135114759577610571590826071933256486283964244392120372976986573095302305677634395020821849149116764814264183776,
          "numerator": -15191932250342910327481376600878659238167441368204445462153149964521975091470085646109968040390625
        },
        {
          "denominator": 4222336236800330362213314747914265196373882637253761655530830409228197052426074844400682785909898900445755743,
          "numerator": -56954676517619965241727925946663773441110860312448290679815273658040042911357879638671875000
        },
        {
          "denominator": 2401420518143370151738197488362540765275110876135210035681977023752529277953529207425402357,
          "numerator": 4047391924140063730335907972318660531976505581473820243260860443115234375
        }
      ],
      "unit": "nm"
    },
    "pair": [
      2,
      2168
    ],
    "transmitted_wrench": {
      "imag": {
        "Fz": {
          "decimal": "0.000000000000000000E+18",
          "denominator": 1,
          "numerator": 0,
          "unit": "N"
        },
        "Mx": {
          "decimal": "0.000000000000000000E+18",
          "denominator": 1,
          "numerator": 0,
          "unit": "N*m"
        },
        "My": {
          "decimal": "-9.757640877200734557E-1",
          "denominator": 966122599474653529766807285614751062812500000000000,
          "numerator": -942707736902131219911549337966294991171447242807823,
          "unit": "N*m"
        }
      },
      "real": {
        "Fz": {
          "decimal": "8.870715636061760000E+1",
          "denominator": 312500000000,
          "numerator": 27720986362693,
          "unit": "N"
        },
        "Mx": {
          "decimal": "4.878747270784085757E-1",
          "denominator": 1098916298941464561875000000000000,
          "numerator": 536133489428081873935898600586277,
          "unit": "N*m"
        },
        "My": {
          "decimal": "1.463660763607399956E+0",
          "denominator": 1932245198949307059533614571229502125625000000000000,
          "numerator": 2828151483370875218739718852301650265465513603423469,
          "unit": "N*m"
        }
      }
    }
  },
  "route_b": {
    "curvature_word": {
      "imag_exact": [
        {
          "denominator": 960481786196305806469922540264396033870194344415686157100402248903522187374393714220160942800000000,
          "numerator": 7203775350929198505770786203453175493135885745485463816313756105393371402338689673057457071
        },
        {
          "denominator": 480240893098152903234961270132198016935097172207843078550201124451761093687196857110080471400000000,
          "numerator": 7202830316150255313571377564126594851420731803561195907853111775291177712384000952354332071
        },
        {
          "denominator": 960481786196305806469922540264396033870194344415686157100402248903522187374393714220160942800000000,
          "numerator": -7202263288480822714181727213971770129414631039100740280384178085299662828977593969932457071
        },
        {
          "denominator": 153677085791408929035187606442303365419231095106509785136064359824563549979902994275225750848,
          "numerator": -60481137521694849561326267480947153448508394209964958673702417708609047725078125
        },
        {
          "denominator": 960481786196305806469922540264396033870194344415686157100402248903522187374393714220160942800000000,
          "numerator": -7203559311235679172845862580808861156075863991998332341064718214939381479539894751182457071
        },
        {
          "denominator": 960481786196305806469922540264396033870194344415686157100402248903522187374393714220160942800000000,
          "numerator": -7202587336681943710908677824984905521021599161241816630213039925946429878703130102744957071
        },
        {
          "denominator": 153677085791408929035187606442303365419231095106509785136064359824563549979902994275225750848,
          "numerator": -129601142039072328376014287442248384837345084773584817440886293802034733964453125
        },
        {
          "denominator": 153677085791408929035187606442303365419231095106509785136064359824563549979902994275225750848,
          "numerator": 25914786558601581573546644390653223845027836268928918827639945070221399917890625
        }
      ],
      "real_exact": [
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": -15188287521707069530294717172222140960056860786276101638074475263461172270075840040641218040390625
        },
        {
          "denominator": 19211364145146961213905579906900326122200887009081680285455816190020234223628233659403218856,
          "numerator": 8640599807959474823964967402097070180839835126412613490321697079961291834609375
        },
        {
          "denominator": 960568207257348060695278995345016306110044350454084014272790809501011711181411682970160942800000000,
          "numerator": 7202965313829289939219829665911314719917790576265330904647529380428694531198677466026207071
        },
        {
          "denominator": 844467247360066072442662949582853039274776527450752331106166081845639410485214968880136557181979780089151148600000000,
          "numerator": -12666011534786871864659447784417480513496165174110445375454421496941057091267920102086374685998921066571642229
        },
        {
          "denominator": 4802841036286740303476394976725081530550221752270420071363954047505058555907058414850804714,
          "numerator": -101219530234091187124048507265782102462828894811633051285684108734130859375
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": -45563494865028493383529258393792063188498079155732855776755996466747572241088173350683419746171875
        },
        {
          "denominator": 270229519155221143181652143866512972567928488784240745953973146190604611355268790041643698298233529628528367552,
          "numerator": 227899490130464343680355277474040496140864778533780910264595272306715728572032874199706161230859375
        },
        {
          "denominator": 960568207257348060695278995345016306110044350454084014272790809501011711181411682970160942800000000,
          "numerator": 7203397364063593959779265339091121026583253060587430497648655722419514342616579809776207071
        }
      ]
    },
    "field_coordinates": [
      0,
      0,
      0,
      -1,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    "glue": "B++-",
    "loaded_displacement": {
      "imag_decimal_nm": [
        "7.499943748",
        "7.499606396",
        "0.000281133",
        "-0.000056219",
        "0.000112483",
        "0.000224907",
        "-0.000112436",
        "-0.000000012"
      ],
      "imag_exact_m": [
        {
          "denominator": 960481786196305806469922540264396033870194344415686157100402248903522187374393714220160942800000000,
          "numerator": 7203559367922373567458163405397110006161905537500791117663817131531979440965676001182457071
        },
        {
          "denominator": 960481786196305806469922540264396033870194344415686157100402248903522187374393714220160942800000000,
          "numerator": 7203235347252212964837070401146055801836637222287101641931038207815411060673733618369957071
        },
        {
          "denominator": 153677085791408929035187606442303365419231095106509785136064359824563549979902994275225750848,
          "numerator": 43203663004442544904493117782257902401256525207554377038873314262950380071484375
        },
        {
          "denominator": 153677085791408929035187606442303365419231095106509785136064359824563549979902994275225750848,
          "numerator": -8639644221253874470387562386414789641673908982761740205754480387990466639296875
        },
        {
          "denominator": 76838542895704464517593803221151682709615547553254892568032179912281774989951497137612875424,
          "numerator": 8643013066853144677616495599097388103048578321342166627195988414113513514296875
        },
        {
          "denominator": 38419271447852232258796901610575841354807773776627446284016089956140887494975748568806437712,
          "numerator": 8640745599077360185583512069143384661386758222991102663239324710195056483046875
        },
        {
          "denominator": 76838542895704464517593803221151682709615547553254892568032179912281774989951497137612875424,
          "numerator": -8639385093929297835521516076259545337772912606196488087622589671437732264296875
        },
        {
          "denominator": 2401204465490764516174806350660990084675485861039215392751005622258805468435984285550402357,
          "numerator": -28342582116316936593360533442628688999202548639043385622770786285400390625
        }
      ],
      "real_decimal_nm": [
        "0.000000004",
        "0.000056215",
        "-0.000281137",
        "-7.499662612",
        "-0.000000002",
        "0.000000013",
        "0.000112437",
        "-0.000224920"
      ],
      "real_exact_m": [
        {
          "denominator": 8444672473600660724426629495828530392747765274507523311061660818456394104852149688801365571819797800891511486,
          "numerator": 35595945734159868721871587411924946984826847310207596652278231012398067361605167388916015625
        },
        {
          "denominator": 153690913161175689711244639255202608977607096072653442283646529520161873789025869275225750848,
          "numerator": 8639773751393827359742048381169928436361745796019395643949835536305896326796875
        },
        {
          "denominator": 153690913161175689711244639255202608977607096072653442283646529520161873789025869275225750848,
          "numerator": -43208198168295517502324080629278824376364161155162264599374074532115419133984375
        },
        {
          "denominator": 1688934494720132144885325899165706078549553054901504662212332163691278820970429937760273114363959560178302297200000000,
          "numerator": -12666438883354770939688801667193905604518644425239881669936241121568235522494751222983960133586385177899767229
        },
        {
          "denominator": 2401420518143370151738197488362540765275110876135210035681977023752529277953529207425402357,
          "numerator": -4047391924140063730335907972318660531976505581473820243260860443115234375
        },
        {
          "denominator": 4222336236800330362213314747914265196373882637253761655530830409228197052426074844400682785909898900445755743,
          "numerator": 56954676517619965241727925946663773441110860312448290679815273658040042911357879638671875000
        },
        {
          "denominator": 135114759577610571590826071933256486283964244392120372976986573095302305677634395020821849149116764814264183776,
          "numerator": 15191932250342910327481376600878659238167441368204445462153149964521975091470085646109968040390625
        },
        {
          "denominator": 38422728290293922427811159813800652244401774018163360570911632380040468447256467318806437712,
          "numerator": -8642041345954636294625822687499666886432092215696413657732167575185290858046875
        }
      ],
      "unit": "nm"
    },
    "pair": [
      23,
      2147
    ],
    "transmitted_wrench": {
      "imag": {
        "Fz": {
          "decimal": "1.774143127212352000E+2",
          "denominator": 156250000000,
          "numerator": 27720986362693,
          "unit": "N"
        },
        "Mx": {
          "decimal": "9.757494541568171514E-1",
          "denominator": 549458149470732280937500000000000,
          "numerator": 536133489428081873935898600586277,
          "unit": "N*m"
        },
        "My": {
          "decimal": "1.951557439494726457E+0",
          "denominator": 483061299737326764883403642807375531406250000000000,
          "numerator": 942721873234371999414084757167677637147033180307823,
          "unit": "N*m"
        }
      },
      "real": {
        "Fz": {
          "decimal": "-8.870715636061760000E+1",
          "denominator": 312500000000,
          "numerator": -27720986362693,
          "unit": "N"
        },
        "Mx": {
          "decimal": "-4.878747270784085757E-1",
          "denominator": 1098916298941464561875000000000000,
          "numerator": -536133489428081873935898600586277,
          "unit": "N*m"
        },
        "My": {
          "decimal": "1.463660763607399956E+0",
          "denominator": 1932245198949307059533614571229502125625000000000000,
          "numerator": 2828151483370875218739718852301650265465513603423469,
          "unit": "N*m"
        }
      }
    }
  },
  "source_receipt_audit": "2760fe2521dff721"
}