{"modules":[{"name":"Chora.WindForecast","family":"wind","decls":68,"lines":370,"imports":[]},{"name":"Chora.WindModel","family":"wind","decls":35,"lines":202,"imports":[]},{"name":"Chora.WindSense","family":"wind","decls":64,"lines":390,"imports":[]},{"name":"GE.Core.CertAut","family":"engine","decls":126,"lines":617,"imports":["GE.Core.CertConn","GE.Core.CertGauge","GE.Core.CertSyntax","GE.Core.Gauge","GE.Core.Reset"]},{"name":"GE.Core.CertConn","family":"engine","decls":41,"lines":204,"imports":["GE.Core.CertGauge","GE.Core.CertKit","GE.Core.CertSyntax","GE.Core.Cover","GE.Core.Gauge","GE.Core.Prelude","GE.Core.Word"]},{"name":"GE.Core.CertGauge","family":"engine","decls":67,"lines":321,"imports":["GE.Core.CertKit","GE.Core.Complex","GE.Core.Cover","GE.Core.Gauge","GE.Core.Prelude","GE.Core.Word"]},{"name":"GE.Core.CertKit","family":"engine","decls":25,"lines":151,"imports":["GE.Core.Complex","GE.Core.Prelude","GE.Core.Rank"]},{"name":"GE.Core.CertOpen","family":"engine","decls":61,"lines":267,"imports":["GE.Core.CertKit","GE.Core.CertSrs","GE.Core.CertSyntax","GE.Core.Complex","GE.Core.NormalForm","GE.Core.OpenComplex","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Rank","GE.Core.Relax","GE.Core.Word"]},{"name":"GE.Core.CertPoly","family":"engine","decls":110,"lines":547,"imports":["GE.Core.CertKit","GE.Core.Kronecker","GE.Core.PolyZ","GE.Core.Prelude","GE.Core.RealCells"]},{"name":"GE.Core.CertSrs","family":"engine","decls":279,"lines":1377,"imports":["GE.Core.CertConn","GE.Core.CertGauge","GE.Core.CertKit","GE.Core.CertPoly","GE.Core.CertSyntax","GE.Core.Complex","GE.Core.Cover","GE.Core.Gauge","GE.Core.Newman","GE.Core.NormalForm","GE.Core.Peaks","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Rank","GE.Core.Relax","GE.Core.SquierCtx","GE.Core.Task","GE.Core.Word"]},{"name":"GE.Core.CertSyntax","family":"engine","decls":105,"lines":454,"imports":["GE.Core.Prelude"]},{"name":"GE.Core.Complex","family":"engine","decls":179,"lines":942,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.Control","family":"engine","decls":76,"lines":420,"imports":["GE.Core.Prelude"]},{"name":"GE.Core.Cover","family":"engine","decls":215,"lines":1146,"imports":["GE.Core.Complex","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.DivModN","family":"engine","decls":8,"lines":45,"imports":["GE.Core.Prelude"]},{"name":"GE.Core.Gauge","family":"engine","decls":148,"lines":725,"imports":["GE.Core.Complex","GE.Core.Cover","GE.Core.Prelude","GE.Core.Word"]},{"name":"GE.Core.IntOrder","family":"engine","decls":52,"lines":243,"imports":["GE.Core.Prelude","GE.Core.RingSolve","GE.Core.ZFast"]},{"name":"GE.Core.Kronecker","family":"engine","decls":86,"lines":417,"imports":["GE.Core.IntOrder","GE.Core.PolyZ","GE.Core.Prelude","GE.Core.ZFast","GE.Core.ZZ"]},{"name":"GE.Core.Network","family":"engine","decls":102,"lines":508,"imports":["GE.Core.NormalForm","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Task","GE.Core.Word"]},{"name":"GE.Core.Newman","family":"engine","decls":87,"lines":523,"imports":["GE.Core.Complex","GE.Core.NormalForm","GE.Core.Peaks","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.NormalForm","family":"engine","decls":142,"lines":750,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.OpenComplex","family":"engine","decls":58,"lines":335,"imports":["GE.Core.CertKit","GE.Core.Complex","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Rank","GE.Core.Word"]},{"name":"GE.Core.Peaks","family":"engine","decls":137,"lines":715,"imports":["GE.Core.Complex","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.PlanLB11","family":"engine","decls":182,"lines":987,"imports":["GE.Core.Network","GE.Core.Prelude"]},{"name":"GE.Core.PolyZ","family":"engine","decls":102,"lines":530,"imports":["GE.Core.DivModN","GE.Core.IntOrder","GE.Core.Prelude","GE.Core.RingSolve","GE.Core.ZFast","GE.Core.ZZ"]},{"name":"GE.Core.Prelude","family":"engine","decls":81,"lines":391,"imports":[]},{"name":"GE.Core.Presentation","family":"engine","decls":130,"lines":681,"imports":["GE.Core.Prelude","GE.Core.Relax","GE.Core.Word"]},{"name":"GE.Core.Race","family":"engine","decls":103,"lines":520,"imports":["GE.Core.Complex","GE.Core.Newman","GE.Core.NormalForm","GE.Core.Peaks","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.Rank","family":"engine","decls":408,"lines":1908,"imports":["GE.Core.Complex","GE.Core.Prelude"]},{"name":"GE.Core.RealCells","family":"engine","decls":173,"lines":838,"imports":["GE.Core.IntOrder","GE.Core.PolyZ","GE.Core.Prelude","GE.Core.RingSolve","GE.Core.ZFast","GE.Core.ZZ"]},{"name":"GE.Core.Relax","family":"engine","decls":34,"lines":222,"imports":["GE.Core.Prelude"]},{"name":"GE.Core.Reset","family":"engine","decls":66,"lines":377,"imports":["Golden.Hub.Sync.PairBarrier"]},{"name":"GE.Core.RingSolve","family":"engine","decls":83,"lines":346,"imports":["GE.Core.Prelude","GE.Core.ZFast"]},{"name":"GE.Core.Squier","family":"engine","decls":145,"lines":872,"imports":["GE.Core.Complex","GE.Core.Newman","GE.Core.NormalForm","GE.Core.Peaks","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.SquierCtx","family":"engine","decls":69,"lines":450,"imports":["GE.Core.Complex","GE.Core.Newman","GE.Core.NormalForm","GE.Core.Peaks","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Squier","GE.Core.Word"]},{"name":"GE.Core.Task","family":"engine","decls":115,"lines":561,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word"]},{"name":"GE.Core.Word","family":"engine","decls":42,"lines":218,"imports":["GE.Core.Prelude"]},{"name":"GE.Core.ZFast","family":"engine","decls":29,"lines":155,"imports":["GE.Core.Prelude","GE.Core.ZZ"]},{"name":"GE.Core.ZZ","family":"engine","decls":75,"lines":364,"imports":["GE.Core.Prelude"]},{"name":"GEC.Everything","family":"model","decls":0,"lines":114,"imports":["GEC.Home.AllocLine","GEC.Home.Allocate","GEC.Home.AllocateLink","GEC.Home.Allocator","GEC.Home.Fill","GEC.Home.Observe","GEC.Home.ObserveCerts","GEC.Home.ObserveCharger","GEC.Home.ObserveHome","GEC.Home.ObserveResidue","GEC.Home.Protect","GEC.Home.ProtectBound","GEC.Home.ProtectCert","GEC.Home.ProtectReserve","GEC.Home.ProtectResidue","GEC.Home.ProtectSafety","GEC.Home.Race","GEC.Home.RaceResidue","GEC.Home.RaceSound","GEC.Home.Recover","GEC.Home.RecoverCerts","GEC.Home.RecoverCharger","GEC.Home.RecoverGraceful","GEC.Home.RecoverResidue","GEC.Home.Trilemma","GEC.Model.Charger","GEC.Model.ChargerPresentation","GEC.Model.ChargerReach","GEC.Model.ChargerReach.Complete","GEC.Model.ChargerReach.Count","GEC.Model.ChargerReach.Form","GEC.Model.ChargerReach.Sound","GEC.Model.ChoraBridge","GEC.Model.CompleteReach","GEC.Model.CompleteReachPlus","GEC.Model.Energy","GEC.Model.EviBudget","GEC.Model.EviConvex","GEC.Model.EviLatency","GEC.Model.EviQueue","GEC.Model.Home","GEC.Model.HomeAccounting","GEC.Model.HomeCorpus","GEC.Model.HomePresentation","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome","GEC.Model.Station","GEC.Model.StoryDesign","GEC.Net \u00b7 private coordinator","GEC.Probes.AllocQuery","GEC.Probes.Allocate","GEC.Probes.Charger","GEC.Probes.ChargerCodec","GEC.Probes.ChargerReachCount1","GEC.Probes.ChargerReachCount2","GEC.Probes.ChargerReachCount3","GEC.Probes.ChargerReachCount4","GEC.Probes.ChargerReachQuery","GEC.Probes.Contract","GEC.Probes.ContractQuery","GEC.Probes.Coord","GEC.Probes.EviFindings","GEC.Probes.EviFindingsAUS","GEC.Probes.EviFindingsSFO","GEC.Probes.EviLatencyFindings","GEC.Probes.Home","GEC.Probes.HomeQuery","GEC.Probes.Js","GEC.Probes.JsCharPrim","GEC.Probes.JsDeep","GEC.Probes.JsUncons","GEC.Probes.NbhdRace","GEC.Probes.Observe","GEC.Probes.ObserveQuery","GEC.Probes.PlantQuery","GEC.Probes.Profile","GEC.Probes.Protect","GEC.Probes.ProtectQuery","GEC.Probes.Race","GEC.Probes.RaceQuery","GEC.Probes.Reach","GEC.Probes.Recover","GEC.Probes.RecoverQuery","GEC.Probes.SignedFindings","GEC.Probes.SignedQuery","GEC.Probes.SimFindings","GEC.Probes.Verify","GEC.Probes.VerifyBridge","GEC.Probes.VerifyCorpus","GEC.Probes.VerifyJs","GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Evidence","GEC.Verify.Format","GEC.Verify.HomeFormat","GEC.Verify.Log","GEC.Verify.Profile","GEC.Verify.ProfileFormat","GEC.Verify.Proposal","GEC.Verify.Render","GEC.Viz.Text"]},{"name":"GEC.Home.AllocLine","family":"home","decls":20,"lines":111,"imports":["GEC.Home.Allocator","GEC.Net \u00b7 private coordinator","GEC.Verify.Base","GEC.Verify.Format","GEC.Verify.Profile","GEC.Verify.Render"]},{"name":"GEC.Home.Allocate","family":"home","decls":67,"lines":466,"imports":["GE.Core.Network","GE.Core.Prelude","GEC.Home.Allocator","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectCert","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.SignedHome","GEC.Net \u00b7 private coordinator","GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Format"]},{"name":"GEC.Home.AllocateLink","family":"home","decls":23,"lines":151,"imports":["GE.Core.Network","GE.Core.Prelude","GEC.Model.EviLatency","GEC.Net \u00b7 private coordinator"]},{"name":"GEC.Home.Allocator","family":"home","decls":128,"lines":647,"imports":["GEC.Net \u00b7 private coordinator","GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Format","GEC.Verify.Profile"]},{"name":"GEC.Home.Fill","family":"home","decls":197,"lines":1226,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome"]},{"name":"GEC.Home.Observe","family":"home","decls":44,"lines":296,"imports":["GE.Core.Control","GE.Core.Prelude"]},{"name":"GEC.Home.ObserveCerts","family":"home","decls":6,"lines":48,"imports":["GE.Core.CertSrs","GE.Core.CertSyntax"]},{"name":"GEC.Home.ObserveCharger","family":"home","decls":89,"lines":468,"imports":["GE.Core.Prelude","GEC.Home.RecoverCharger","GEC.Home.RecoverGraceful","GEC.Model.Charger"]},{"name":"GEC.Home.ObserveHome","family":"home","decls":7,"lines":72,"imports":["GE.Core.Prelude","GE.Core.Word","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectResidue","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta"]},{"name":"GEC.Home.ObserveResidue","family":"home","decls":44,"lines":229,"imports":["GE.Core.CertOpen","GE.Core.CertSyntax","GE.Core.Control","GE.Core.Prelude","GEC.Home.Observe","GEC.Home.ObserveCerts"]},{"name":"GEC.Home.Protect","family":"home","decls":77,"lines":386,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.SignedHome"]},{"name":"GEC.Home.ProtectBound","family":"home","decls":21,"lines":172,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome"]},{"name":"GEC.Home.ProtectCert","family":"home","decls":53,"lines":334,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectBound","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome"]},{"name":"GEC.Home.ProtectReserve","family":"home","decls":49,"lines":314,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome"]},{"name":"GEC.Home.ProtectResidue","family":"home","decls":38,"lines":238,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Task","GE.Core.Word","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.SignedHome"]},{"name":"GEC.Home.ProtectSafety","family":"home","decls":93,"lines":547,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome"]},{"name":"GEC.Home.Race","family":"home","decls":68,"lines":1387,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.SignedHome"]},{"name":"GEC.Home.RaceResidue","family":"home","decls":24,"lines":176,"imports":["GE.Core.NormalForm","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Race","GE.Core.Word","GEC.Model.ChargerPresentation"]},{"name":"GEC.Home.RaceSound","family":"home","decls":34,"lines":251,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word","GEC.Home.Fill","GEC.Home.RaceResidue","GEC.Model.Charger","GEC.Model.ChargerPresentation","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.SignedHome"]},{"name":"GEC.Home.Recover","family":"home","decls":127,"lines":747,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectBound","GEC.Home.ProtectCert","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome"]},{"name":"GEC.Home.RecoverCerts","family":"home","decls":5,"lines":53,"imports":["GE.Core.CertAut","GE.Core.CertSyntax"]},{"name":"GEC.Home.RecoverCharger","family":"home","decls":28,"lines":175,"imports":["GE.Core.Prelude","GEC.Home.RecoverGraceful","GEC.Model.Charger"]},{"name":"GEC.Home.RecoverGraceful","family":"home","decls":96,"lines":464,"imports":["GE.Core.Prelude","GEC.Model.Charger"]},{"name":"GEC.Home.RecoverResidue","family":"home","decls":63,"lines":364,"imports":["GE.Core.CertAut","GE.Core.CertSyntax","GE.Core.Reset","GEC.Home.RecoverCerts"]},{"name":"GEC.Home.Trilemma","family":"home","decls":17,"lines":130,"imports":["GE.Core.Prelude","GEC.Model.Energy","GEC.Model.Quanta","GEC.Model.Signed"]},{"name":"GEC.Model.Charger","family":"model","decls":274,"lines":1554,"imports":["GE.Core.Prelude"]},{"name":"GEC.Model.ChargerPresentation","family":"model","decls":94,"lines":480,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word","GEC.Model.Charger"]},{"name":"GEC.Model.ChargerReach","family":"model","decls":11,"lines":58,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Complete","GEC.Model.ChargerReach.Count","GEC.Model.ChargerReach.Form","GEC.Model.ChargerReach.Sound"]},{"name":"GEC.Model.ChargerReach.Complete","family":"model","decls":489,"lines":2868,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form","GEC.Model.ChargerReach.Sound"]},{"name":"GEC.Model.ChargerReach.Count","family":"model","decls":82,"lines":506,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form","GEC.Model.ChargerReach.Sound"]},{"name":"GEC.Model.ChargerReach.Form","family":"model","decls":26,"lines":238,"imports":["GE.Core.Prelude","GEC.Model.Charger"]},{"name":"GEC.Model.ChargerReach.Sound","family":"model","decls":303,"lines":2173,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form"]},{"name":"GEC.Model.ChoraBridge","family":"wind","decls":56,"lines":354,"imports":["Chora.WindForecast","Chora.WindModel","Chora.WindSense","GE.Core.Prelude","GEC.Model.Quanta","GEC.Model.Signed"]},{"name":"GEC.Model.CompleteReach","family":"model","decls":80,"lines":417,"imports":["GE.Core.Prelude"]},{"name":"GEC.Model.CompleteReachPlus","family":"model","decls":9,"lines":54,"imports":["GE.Core.Prelude","GEC.Model.CompleteReach"]},{"name":"GEC.Model.Energy","family":"model","decls":66,"lines":383,"imports":["GE.Core.Prelude","GEC.Model.Quanta"]},{"name":"GEC.Model.EviBudget","family":"evi","decls":39,"lines":202,"imports":["GE.Core.Prelude","GEC.Model.Quanta","GEC.Model.Signed"]},{"name":"GEC.Model.EviConvex","family":"evi","decls":45,"lines":250,"imports":["GE.Core.Prelude","GEC.Model.EviBudget","GEC.Model.Quanta","GEC.Model.Signed"]},{"name":"GEC.Model.EviLatency","family":"evi","decls":40,"lines":221,"imports":["GE.Core.Prelude","GEC.Model.Quanta"]},{"name":"GEC.Model.EviQueue","family":"evi","decls":5,"lines":50,"imports":["GE.Core.Prelude","GEC.Model.EviBudget","GEC.Model.Quanta"]},{"name":"GEC.Model.Home","family":"model","decls":115,"lines":640,"imports":["GE.Core.Network","GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Quanta","GEC.Model.Station"]},{"name":"GEC.Model.HomeAccounting","family":"model","decls":7,"lines":59,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta"]},{"name":"GEC.Model.HomeCorpus","family":"model","decls":16,"lines":121,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta"]},{"name":"GEC.Model.HomePresentation","family":"model","decls":82,"lines":420,"imports":["GE.Core.Network","GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word","GEC.Model.Charger","GEC.Model.ChargerPresentation","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Station"]},{"name":"GEC.Model.Quanta","family":"model","decls":60,"lines":336,"imports":["GE.Core.Prelude"]},{"name":"GEC.Model.Signed","family":"wind","decls":151,"lines":873,"imports":["GE.Core.Prelude","GEC.Model.Energy","GEC.Model.Quanta"]},{"name":"GEC.Model.SignedHome","family":"wind","decls":34,"lines":215,"imports":["GE.Core.Network","GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Model.Signed"]},{"name":"GEC.Model.Station","family":"model","decls":121,"lines":694,"imports":["GE.Core.Prelude","GEC.Model.Charger"]},{"name":"GEC.Model.StoryDesign","family":"model","decls":55,"lines":280,"imports":["GE.Core.Prelude","GEC.Model.Quanta"]},{"name":"GEC.Probes.AllocQuery","family":"probes","decls":8,"lines":72,"imports":["GE.Core.Prelude","GEC.Home.Allocate","GEC.Home.Allocator","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectCert","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Net \u00b7 private coordinator","GEC.Probes.HomeQuery","GEC.Probes.ProtectQuery","GEC.Verify.Cert","GEC.Verify.Format"]},{"name":"GEC.Probes.Allocate","family":"probes","decls":82,"lines":283,"imports":["GE.Core.Prelude","GEC.Home.Allocator","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Net \u00b7 private coordinator","GEC.Probes.AllocQuery","GEC.Probes.Profile","GEC.Verify.Base","GEC.Verify.Format","GEC.Verify.Profile","GEC.Verify.ProfileFormat"]},{"name":"GEC.Probes.Charger","family":"probes","decls":29,"lines":137,"imports":["GE.Core.Prelude","GE.Core.Presentation","GE.Core.Word","GEC.Model.Charger","GEC.Model.ChargerPresentation","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.ChargerCodec","family":"probes","decls":46,"lines":461,"imports":["GE.Core.Prelude","GEC.Model.Charger"]},{"name":"GEC.Probes.ChargerReachCount1","family":"probes","decls":17,"lines":81,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.ChargerReachCount2","family":"probes","decls":17,"lines":81,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.ChargerReachCount3","family":"probes","decls":17,"lines":81,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.ChargerReachCount4","family":"probes","decls":17,"lines":81,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach.Form","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.ChargerReachQuery","family":"probes","decls":8,"lines":61,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.ChargerReach","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.Contract","family":"probes","decls":102,"lines":478,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Net \u00b7 private coordinator","GEC.Probes.ContractQuery"]},{"name":"GEC.Probes.ContractQuery","family":"probes","decls":7,"lines":55,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Net \u00b7 private coordinator","GEC.Probes.HomeQuery","GEC.Probes.ProtectQuery"]},{"name":"GEC.Probes.Coord","family":"probes","decls":283,"lines":862,"imports":["GEC.Net \u00b7 private coordinator","GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Format","GEC.Verify.HomeFormat","GEC.Verify.Render"]},{"name":"GEC.Probes.EviFindings","family":"probes","decls":6,"lines":243,"imports":["GE.Core.Prelude","GEC.Model.EviBudget"]},{"name":"GEC.Probes.EviFindingsAUS","family":"probes","decls":9,"lines":566,"imports":["GE.Core.Prelude","GEC.Model.EviBudget","GEC.Model.EviConvex"]},{"name":"GEC.Probes.EviFindingsSFO","family":"probes","decls":9,"lines":673,"imports":["GE.Core.Prelude","GEC.Model.EviBudget","GEC.Model.EviConvex"]},{"name":"GEC.Probes.EviLatencyFindings","family":"probes","decls":18,"lines":82,"imports":["GE.Core.Prelude","GEC.Model.EviLatency"]},{"name":"GEC.Probes.Home","family":"probes","decls":122,"lines":479,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.HomeQuery"]},{"name":"GEC.Probes.HomeQuery","family":"probes","decls":45,"lines":273,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Model.Station","GEC.Probes.ChargerCodec"]},{"name":"GEC.Probes.Js","family":"probes","decls":42,"lines":221,"imports":["GE.Core.Prelude","GEC.Model.Quanta","GEC.Viz.Text"]},{"name":"GEC.Probes.JsCharPrim","family":"probes","decls":2,"lines":16,"imports":["GE.Core.Prelude"]},{"name":"GEC.Probes.JsDeep","family":"probes","decls":3,"lines":20,"imports":["GE.Core.Prelude"]},{"name":"GEC.Probes.JsUncons","family":"probes","decls":3,"lines":22,"imports":["GE.Core.Prelude","GEC.Viz.Text"]},{"name":"GEC.Probes.NbhdRace","family":"probes","decls":83,"lines":269,"imports":["GE.Core.Network","GE.Core.Prelude","GEC.Model.EviLatency","GEC.Net \u00b7 private coordinator","GEC.Probes.EviLatencyFindings"]},{"name":"GEC.Probes.Observe","family":"probes","decls":144,"lines":692,"imports":["GE.Core.Prelude","GE.Core.Word","GEC.Home.ProtectResidue","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.ObserveQuery"]},{"name":"GEC.Probes.ObserveQuery","family":"probes","decls":3,"lines":43,"imports":["GE.Core.Prelude","GE.Core.Word","GEC.Home.Fill","GEC.Home.ObserveHome","GEC.Home.Protect","GEC.Home.ProtectResidue","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Probes.HomeQuery","GEC.Probes.ProtectQuery"]},{"name":"GEC.Probes.PlantQuery","family":"probes","decls":25,"lines":163,"imports":["GE.Core.Prelude","GEC.Model.Energy","GEC.Model.Home","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.HomeQuery"]},{"name":"GEC.Probes.Profile","family":"probes","decls":25,"lines":106,"imports":["GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Format","GEC.Verify.Profile","GEC.Verify.ProfileFormat"]},{"name":"GEC.Probes.Protect","family":"probes","decls":181,"lines":1008,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.ProtectQuery"]},{"name":"GEC.Probes.ProtectQuery","family":"probes","decls":45,"lines":275,"imports":["GE.Core.Prelude","GE.Core.Word","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectCert","GEC.Home.ProtectReserve","GEC.Home.ProtectResidue","GEC.Home.ProtectSafety","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Model.SignedHome","GEC.Probes.HomeQuery","GEC.Probes.RaceQuery"]},{"name":"GEC.Probes.Race","family":"probes","decls":248,"lines":1122,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.RaceQuery"]},{"name":"GEC.Probes.RaceQuery","family":"probes","decls":28,"lines":172,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Race","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.HomeQuery"]},{"name":"GEC.Probes.Reach","family":"probes","decls":20,"lines":92,"imports":["GE.Core.Prelude","GEC.Model.CompleteReach","GEC.Model.CompleteReachPlus"]},{"name":"GEC.Probes.Recover","family":"probes","decls":153,"lines":959,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.RecoverQuery"]},{"name":"GEC.Probes.RecoverQuery","family":"probes","decls":13,"lines":87,"imports":["GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Home.ProtectBound","GEC.Home.ProtectCert","GEC.Home.ProtectSafety","GEC.Home.Recover","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.Quanta","GEC.Probes.HomeQuery","GEC.Probes.ProtectQuery"]},{"name":"GEC.Probes.SignedFindings","family":"probes","decls":164,"lines":519,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.SignedQuery"]},{"name":"GEC.Probes.SignedQuery","family":"probes","decls":19,"lines":141,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.Home","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Model.Signed","GEC.Model.SignedHome","GEC.Probes.HomeQuery","GEC.Probes.PlantQuery"]},{"name":"GEC.Probes.SimFindings","family":"probes","decls":16,"lines":86,"imports":["GE.Core.Prelude","GEC.Model.Charger","GEC.Model.HomeCorpus","GEC.Model.Quanta","GEC.Probes.HomeQuery"]},{"name":"GEC.Probes.Verify","family":"probes","decls":161,"lines":1088,"imports":["GEC.Probes.VerifyCorpus","GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Evidence","GEC.Verify.Format","GEC.Verify.Log","GEC.Verify.Proposal"]},{"name":"GEC.Probes.VerifyBridge","family":"probes","decls":6,"lines":34,"imports":["GE.Core.Prelude","GEC.Model.Quanta","GEC.Verify.Base","GEC.Verify.Format"]},{"name":"GEC.Probes.VerifyCorpus","family":"probes","decls":2,"lines":469,"imports":[]},{"name":"GEC.Probes.VerifyJs","family":"probes","decls":1,"lines":13,"imports":["GEC.Probes.VerifyCorpus","GEC.Verify.Log"]},{"name":"GEC.Verify.Base","family":"verify","decls":87,"lines":375,"imports":[]},{"name":"GEC.Verify.Cert","family":"verify","decls":75,"lines":400,"imports":["GEC.Verify.Base","GEC.Verify.Format"]},{"name":"GEC.Verify.Evidence","family":"verify","decls":54,"lines":284,"imports":["GEC.Verify.Base"]},{"name":"GEC.Verify.Format","family":"verify","decls":35,"lines":220,"imports":["GEC.Verify.Base"]},{"name":"GEC.Verify.HomeFormat","family":"verify","decls":31,"lines":197,"imports":["GEC.Verify.Base","GEC.Verify.Format","GEC.Verify.Proposal"]},{"name":"GEC.Verify.Log","family":"verify","decls":28,"lines":139,"imports":["GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Format"]},{"name":"GEC.Verify.Profile","family":"verify","decls":259,"lines":1375,"imports":["GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Evidence","GEC.Verify.Format"]},{"name":"GEC.Verify.ProfileFormat","family":"verify","decls":114,"lines":587,"imports":["GEC.Verify.Base","GEC.Verify.Evidence","GEC.Verify.Format","GEC.Verify.Profile"]},{"name":"GEC.Verify.Proposal","family":"verify","decls":153,"lines":746,"imports":["GEC.Verify.Base"]},{"name":"GEC.Verify.Render","family":"verify","decls":5,"lines":31,"imports":["GEC.Verify.Base","GEC.Verify.Format"]},{"name":"GEC.Viz.Text","family":"viz","decls":31,"lines":252,"imports":["GE.Core.Prelude","GEC.Model.Quanta"]},{"name":"Golden.Hub.Sync.PairBarrier","family":"engine","decls":207,"lines":1127,"imports":[]},{"name":"GEC.Net \u00b7 private coordinator","family":"net","decls":416,"lines":2290,"imports":["GE.Core.Network","GE.Core.PlanLB11","GE.Core.Prelude","GEC.Home.Fill","GEC.Home.Protect","GEC.Model.Charger","GEC.Model.Energy","GEC.Model.EviLatency","GEC.Model.Home","GEC.Model.Quanta","GEC.Verify.Base","GEC.Verify.Cert","GEC.Verify.Format","GEC.Verify.Log","GEC.Verify.Render"],"private":true,"members":7}]}