{"P3":{"beside":{"1":{"INNER~first":{"booted":"53/100","carried":true,"computable":"3/100","local":"53/100","mass":"53/100","top":9},"INNER~rule":{"booted":"51/100","carried":true,"computable":"1/50","local":"51/100","mass":"51/100","top":9},"TOP~first":{"booted":"23/50","carried":false,"computable":"1/25","local":"23/50","mass":"23/50","top":9},"TOP~rule":{"booted":"61/100","carried":true,"computable":"1/50","local":"61/100","mass":"61/100","top":9},"WHOLE~rule":{"booted":"13/25","carried":true,"computable":"1/100","local":"13/25","mass":"13/25","top":9}}},"path":[{"booted":"11/20","carried":true,"computable":"1/50","local":"11/20","read":1,"state":1,"top":9}],"verdict":"LOCAL"},"P4":{"asked":0,"hits":0,"misses":[],"rate":null,"verdict":"NOT READ"},"P5":{"10":{"against":5,"verdict":"NOT READ"},"6":{"against":1,"verdict":"NOT READ"},"7":{"against":2,"verdict":"NOT READ"},"8":{"against":3,"verdict":"NOT READ"},"9":{"against":4,"verdict":"NOT READ"}},"P6":{"tau":{"pairs":0},"verdict":"NOT READ","why":"no pairs"},"P6_recorded":{"all":{"verdict":"NOT READ","why":"no pairs"},"gate":{"verdict":"NOT READ","why":"no pairs"},"scale":{"verdict":"NOT READ"}},"P7":{"reads":{"5":{"one":{"INNER~first":{"booted":"1/5","carried":false,"computable":"13/100","local":"13/100","mass":"1/5","top":9},"INNER~rule":{"booted":"2/25","carried":false,"computable":"11/100","local":"11/100","mass":"11/50","top":4},"TOP~first":{"booted":"1/4","carried":false,"computable":"11/50","local":"11/50","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"7/50","carried":false,"computable":"7/20","local":"7/20","mass":"7/20","top":5},"WHOLE~first":{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","mass":"33/100","top":6},"WHOLE~pair":{"booted":"23/100","carried":false,"computable":"11/100","local":"11/100","mass":"23/100","top":9},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"31/100","top":2}},"stair_mean_mass_on_none":"4/75","stair_mean_mass_on_truth":"87/200"}},"verdict":"RECORDED"},"P8":{"reads":{"5":{"stair_mean_mass_on_none":"4/75","stair_mean_mass_on_truth":"87/200"}},"verdict":"RECORDED"},"complete":[1,2,3,4,5],"due":["P3","P4","P6"],"held":[1],"kind":"boot","landed_at":"Act 3, the first pass of L1, seal 773f858","line":"L1","manifest_pin":"fa82964233b823093f018a7ca01fed4edc676f66510663f0e091709609adc292","name":"the boot as drawn","pairs":{"all":[],"gate":[],"invariant":[]},"readout_version":1,"reads":{"1":{"P0":"holds","P1":"HELD","P2":{"asked":12,"hits":12,"rate":"1"},"descent":{"asked":0,"hits":0,"misses":[]},"event":null,"gate":{"asked":32,"hits":32,"misses":[]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"53/100","carried":true,"computable":"3/100","local":"53/100","mass":"53/100","top":9},"INNER~rule":{"booted":"51/100","carried":true,"computable":"1/50","local":"51/100","mass":"51/100","top":9},"TOP~first":{"booted":"23/50","carried":false,"computable":"1/25","local":"23/50","mass":"23/50","top":9},"TOP~rule":{"booted":"61/100","carried":true,"computable":"1/50","local":"61/100","mass":"61/100","top":9},"WHOLE~first":{"booted":"11/20","carried":true,"computable":"1/50","local":"11/20","mass":"11/20","top":9},"WHOLE~rule":{"booted":"13/25","carried":true,"computable":"1/100","local":"13/25","mass":"13/25","top":9}},"prior":null,"read":1,"seals":["773f858"],"state":1,"walk":null},"2":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":1,"misses":["R02-WHOLE~pair:direction"]},"event":null,"gate":{"asked":32,"hits":28,"misses":["R02-WHOLE~first:below_under","R02-WHOLE~rule:below_under","R02-INNER~first:below_under","R02-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"8/25","carried":false,"computable":"1/50","local":"39/100","mass":"39/100","top":8},"INNER~rule":{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"1/50","local":"21/100","mass":"41000000000000003/100000000000000000","top":9},"TOP~first":{"booted":"31/100","carried":false,"computable":"3/100","local":"3/20","mass":"7/20","top":2},"TOP~rule":{"booted":"2/25","carried":true,"computable":"1/100","local":"29/50","mass":"29/50","top":8},"WHOLE~first":{"booted":"41000000000000003/100000000000000000","carried":false,"computable":"1/50","local":"11/50","mass":"41000000000000003/100000000000000000","top":9},"WHOLE~pair":{"booted":"43/100","carried":false,"computable":"1/50","local":"1/4","mass":"43/100","top":9},"WHOLE~rule":{"booted":"33/100","carried":false,"computable":"1/100","local":"13/50","mass":"33/100","top":9}},"prior":null,"read":2,"seals":["773f858"],"state":2,"walk":null},"3":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":28,"misses":["R03-WHOLE~first:below_under","R03-WHOLE~rule:below_under","R03-INNER~first:below_under","R03-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"37/100","carried":false,"computable":"1/50","local":"19/100","mass":"37/100","top":9},"INNER~rule":{"booted":"11/25","carried":false,"computable":"3/100","local":"1/10","mass":"11/25","top":9},"TOP~first":{"booted":"3/20","carried":false,"computable":"3/100","local":"2/5","mass":"2/5","top":7},"TOP~rule":{"booted":"1/20","carried":false,"computable":"1/100","local":"9/20","mass":"9/20","top":7},"WHOLE~first":{"booted":"39999999999999997/100000000000000000","carried":false,"computable":"1/100","local":"17/100","mass":"39999999999999997/100000000000000000","top":9},"WHOLE~pair":{"booted":"4/25","carried":false,"computable":"1/50","local":"43/100","mass":"43/100","top":7},"WHOLE~rule":{"booted":"21/100","carried":false,"computable":"1/100","local":"4/25","mass":"41/100","top":2}},"prior":null,"read":3,"seals":["773f858"],"state":3,"walk":null},"4":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":10,"rate":"5/6"},"descent":{"asked":2,"hits":2,"misses":[]},"event":null,"gate":{"asked":32,"hits":25,"misses":["R04-WHOLE~first:below_under","R04-WHOLE~first:tail_top","R04-WHOLE~rule:below_under","R04-WHOLE~rule:tail_top","R04-TOP~first:tail_top","R04-INNER~first:below_under","R04-INNER~rule:below_under"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"6/25","carried":false,"computable":"27/100","local":"2/25","mass":"27/100","top":5},"INNER~rule":{"booted":"29/100","carried":false,"computable":"17/100","local":"1/20","mass":"29/100","top":9},"TOP~first":{"booted":"3/25","carried":false,"computable":"3/50","local":"33/100","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"1/25","carried":false,"computable":"3/100","local":"19/50","mass":"9/20","top":2},"WHOLE~first":{"booted":"1/5","carried":false,"computable":"19/100","local":"7/50","mass":"1/5","top":9},"WHOLE~pair":{"booted":"4/25","carried":false,"computable":"47/100","local":"7/100","mass":"47/100","top":5},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"11/100","local":"2/25","mass":"33/100","top":2}},"prior":null,"read":4,"seals":["773f858"],"state":4,"walk":null},"5":{"P0":"holds","P1":"NOT HELD","P2":{"asked":12,"hits":9,"rate":"3/4"},"descent":{"asked":2,"hits":2,"misses":[]},"event":{"one":{"INNER~first":{"booted":"1/5","carried":false,"computable":"13/100","local":"13/100","mass":"1/5","top":9},"INNER~rule":{"booted":"2/25","carried":false,"computable":"11/100","local":"11/100","mass":"11/50","top":4},"TOP~first":{"booted":"1/4","carried":false,"computable":"11/50","local":"11/50","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"7/50","carried":false,"computable":"7/20","local":"7/20","mass":"7/20","top":5},"WHOLE~first":{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","mass":"33/100","top":6},"WHOLE~pair":{"booted":"23/100","carried":false,"computable":"11/100","local":"11/100","mass":"23/100","top":9},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"31/100","top":2}},"stair_mean_mass_on_none":"4/75","stair_mean_mass_on_truth":"87/200"},"gate":{"asked":32,"hits":23,"misses":["R05-WHOLE~first:below_under","R05-WHOLE~first:tick_row3","R05-WHOLE~rule:below_under","R05-WHOLE~rule:tick_row3","R05-INNER~first:below_under","R05-INNER~first:tick_row3","R05-INNER~rule:below_under","R05-TICK~first:below_in_view","R05-TICK~rule:below_in_view"]},"missing":[],"model_off_pin":[],"one":{"INNER~first":{"booted":"1/5","carried":false,"computable":"13/100","local":"13/100","mass":"1/5","top":9},"INNER~rule":{"booted":"2/25","carried":false,"computable":"11/100","local":"11/100","mass":"11/50","top":4},"TOP~first":{"booted":"1/4","carried":false,"computable":"11/50","local":"11/50","mass":"33999999999999997/100000000000000000","top":2},"TOP~rule":{"booted":"7/50","carried":false,"computable":"7/20","local":"7/20","mass":"7/20","top":5},"WHOLE~first":{"booted":"9/50","carried":false,"computable":"2/25","local":"2/25","mass":"33/100","top":6},"WHOLE~pair":{"booted":"23/100","carried":false,"computable":"11/100","local":"11/100","mass":"23/100","top":9},"WHOLE~rule":{"booted":"1/5","carried":false,"computable":"9/100","local":"9/100","mass":"31/100","top":2}},"prior":null,"read":5,"seals":["773f858"],"state":5,"walk":null},"6":{"P0":"VOID","P1":"NOT READ","P2":null,"descent":null,"event":null,"gate":null,"missing":["R06-WHOLE~first","R06-WHOLE~rule","R06-TOP~first","R06-TOP~rule","R06-INNER~first","R06-INNER~rule","R06-TICK~first","R06-TICK~rule","R06-WHOLE~pair"],"model_off_pin":[],"one":null,"prior":null,"read":6,"seals":[],"state":1,"walk":null},"7":{"P0":"VOID","P1":"NOT READ","P2":null,"descent":null,"event":null,"gate":null,"missing":["R07-WHOLE~first","R07-WHOLE~rule","R07-TOP~first","R07-TOP~rule","R07-INNER~first","R07-INNER~rule","R07-TICK~first","R07-TICK~rule","R07-WHOLE~pair"],"model_off_pin":[],"one":null,"prior":null,"read":7,"seals":[],"state":2,"walk":null},"8":{"P0":"VOID","P1":"NOT READ","P2":null,"descent":null,"event":null,"gate":null,"missing":["R08-WHOLE~first","R08-WHOLE~rule","R08-TOP~first","R08-TOP~rule","R08-INNER~first","R08-INNER~rule","R08-TICK~first","R08-TICK~rule","R08-WHOLE~pair"],"model_off_pin":[],"one":null,"prior":null,"read":8,"seals":[],"state":3,"walk":null},"9":{"P0":"VOID","P1":"NOT READ","P2":null,"descent":null,"event":null,"gate":null,"missing":["R09-WHOLE~first","R09-WHOLE~rule","R09-TOP~first","R09-TOP~rule","R09-INNER~first","R09-INNER~rule","R09-TICK~first","R09-TICK~rule","R09-WHOLE~pair"],"model_off_pin":[],"one":null,"prior":null,"read":9,"seals":[],"state":4,"walk":null},"10":{"P0":"VOID","P1":"NOT READ","P2":null,"descent":null,"event":null,"gate":null,"missing":["R10-WHOLE~first","R10-WHOLE~rule","R10-TOP~first","R10-TOP~rule","R10-INNER~first","R10-INNER~rule","R10-TICK~first","R10-TICK~rule","R10-WHOLE~pair"],"model_off_pin":[],"one":null,"prior":null,"read":10,"seals":[],"state":5,"walk":null}},"recorded_all_reads":{"P6_form":{"classes":{"mean_distance":{"1":{"max":"108400000000000001/920000000000000000","mean":"243000000000000001/3680000000000000000","mean_rank":"19/4","min":"3/92","name":"1 apart","pairs":4},"2":{"max":"83000000000000001/920000000000000000","mean":"60466666666666667/920000000000000000","mean_rank":"16/3","min":"219/4600","name":"2 apart","pairs":3},"3":{"max":"87000000000000001/920000000000000000","mean":"162600000000000001/1840000000000000000","mean_rank":"8","min":"189/2300","name":"3 apart","pairs":2},"4":{"max":"53400000000000001/920000000000000000","mean":"53400000000000001/920000000000000000","mean_rank":"4","min":"53400000000000001/920000000000000000","name":"4 apart","pairs":1}},"moved_share":{"1":{"max":"8/23","mean":"5/23","mean_rank":"21/4","min":"7/46","name":"1 apart","pairs":4},"2":{"max":"5/23","mean":"25/138","mean_rank":"13/3","min":"7/46","name":"2 apart","pairs":3},"3":{"max":"13/46","mean":"13/46","mean_rank":"17/2","min":"13/46","name":"3 apart","pairs":2},"4":{"max":"4/23","mean":"4/23","mean_rank":"4","min":"4/23","name":"4 apart","pairs":1}}},"verdict":"NOT READ","why":"no same-state or no top-distance pairs"},"note":"judged by nothing (§7): the strict form and the scale over every complete read, whatever P1","pairs":[{"answers":46,"class":"1","class_name":"1 apart","i":1,"j":2,"mean_distance":"331/4600","moved_share":"4/23","top_changed":4},{"answers":46,"class":"2","class_name":"2 apart","i":1,"j":3,"mean_distance":"273/4600","moved_share":"7/46","top_changed":3},{"answers":46,"class":"3","class_name":"3 apart","i":1,"j":4,"mean_distance":"189/2300","moved_share":"13/46","top_changed":3},{"answers":46,"class":"4","class_name":"4 apart","i":1,"j":5,"mean_distance":"53400000000000001/920000000000000000","moved_share":"4/23","top_changed":2},{"answers":46,"class":"1","class_name":"1 apart","i":2,"j":3,"mean_distance":"3/92","moved_share":"7/46","top_changed":1},{"answers":46,"class":"2","class_name":"2 apart","i":2,"j":4,"mean_distance":"219/4600","moved_share":"5/23","top_changed":1},{"answers":46,"class":"3","class_name":"3 apart","i":2,"j":5,"mean_distance":"87000000000000001/920000000000000000","moved_share":"13/46","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":3,"j":4,"mean_distance":"24/575","moved_share":"9/46","top_changed":0},{"answers":46,"class":"2","class_name":"2 apart","i":3,"j":5,"mean_distance":"83000000000000001/920000000000000000","moved_share":"4/23","top_changed":4},{"answers":46,"class":"1","class_name":"1 apart","i":4,"j":5,"mean_distance":"108400000000000001/920000000000000000","moved_share":"8/23","top_changed":4}],"reads":[1,2,3,4,5],"scale":{"floor":"1/40","largest":"8/23","smallest":"7/46","spread":"9/46","verdict":"AT SCALE"},"tau":{"mean_distance":"7/45","moved_share":"1/9","pairs":10}},"verdict":"OPEN-EDGE","void":[]}