{"P":64,"P2":{"asked":0,"hits":0,"long_way":0,"moved_asked":0,"moved_hits":0,"rate":null,"verdict":"NOT READ"},"P3":{"3":{"against":1,"band":["1339/6840","12647/47880"],"failed":["band"],"in_band":false,"literal_asked":8,"literal_same":8,"moved_share_full":"19/67","verdict":"MOVED"},"5":{"against":3,"band":["1339/6840","12647/47880"],"failed":["band"],"in_band":false,"literal_asked":8,"literal_same":8,"moved_share_full":"21/79","verdict":"MOVED"},"7":{"against":5,"band":["1339/6840","12647/47880"],"failed":["band"],"in_band":false,"literal_asked":8,"literal_same":8,"moved_share_full":"49/158","verdict":"MOVED"},"9":{"against":7,"band":["1339/6840","12647/47880"],"failed":[],"in_band":true,"literal_asked":8,"literal_same":8,"moved_share_full":"20/79","verdict":"HELD"}},"P4":{"verdict":"NOT READ","why":"no pairs"},"P4_recorded":{"all":{"verdict":"NOT READ","why":"no pairs"},"literal":{"verdict":"NOT READ","why":"no pairs"}},"P5":{"verdict":"NOT READ"},"P6":{"verdict":"NOT DUE"},"c":32,"complete":[1,2,3,4,5,6,7,8,9,10],"due":["P2","P4","P5"],"held":[],"landed_at":"Act 3, the fifth cycle of L1, seal b0b1ed9","line":"L1","manifest_pin":"2699ba597223d098ac428bb1ee45956d1bf6491c3de555ef99e9c3514fa92ef5","name":"the half","pairs":{"all":[],"invariant":[],"literal":[]},"readout_version":1,"reads":{"1":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"381/1000","mean_mass_on_zero_where_not_zero":"39/200"},"P8":{"closed_first_mean":"153/400","closed_rule_mean":"89/100","returns_soon_mean":null,"returns_soon_truth":true},"direction":{"asked":0,"hits":0,"long_way":0,"moved_asked":0,"moved_hits":0},"literal":{"asked":24,"hits":14,"misses":["R01-v1-FULL~first:domain_group","R01-v1-FULL~rule:domain_group","R01-v2-FULL~first:domain_group","R01-v2-FULL~rule:domain_group","R01-v2-FOLD~first:domain_here","R01-v2-FOLD~rule:domain_here","R01-v3-FULL~first:domain_group","R01-v3-FULL~rule:domain_group","R01-v3-SEAM~first:domain_here","R01-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":0,"read":1,"seals":["65a20e7"]},"2":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"2701/7000","mean_mass_on_zero_where_not_zero":"81/425"},"P8":{"closed_first_mean":"83/200","closed_rule_mean":"22/25","returns_soon_mean":"33/80","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":17,"misses":["R02-v0-FULL~first:domain_group","R02-v0-FULL~rule:domain_group","R02-v1-FULL~first:domain_group","R02-v1-FULL~rule:domain_group","R02-v3-FULL~first:domain_group","R02-v3-FULL~rule:domain_group","R02-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":32,"read":2,"seals":["65a20e7"]},"3":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":32,"mean_mass_on_truth":"541/1400","mean_mass_on_zero_where_not_zero":"653/3400"},"P8":{"closed_first_mean":"31/80","closed_rule_mean":"87/100","returns_soon_mean":"41/100","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":14,"misses":["R03-v1-FULL~first:domain_group","R03-v1-FULL~rule:domain_group","R03-v2-FULL~first:domain_group","R03-v2-FULL~rule:domain_group","R03-v2-FOLD~first:domain_here","R03-v2-FOLD~rule:domain_here","R03-v3-FULL~first:domain_group","R03-v3-FULL~rule:domain_group","R03-v3-SEAM~first:domain_here","R03-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":0,"read":3,"seals":["6e95864"]},"4":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":32,"mean_mass_on_truth":"271/700","mean_mass_on_zero_where_not_zero":"639/3400"},"P8":{"closed_first_mean":"161/400","closed_rule_mean":"353/400","returns_soon_mean":"163/400","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":16,"misses":["R04-v0-FULL~first:domain_group","R04-v0-FULL~rule:domain_group","R04-v1-FULL~first:domain_group","R04-v1-FULL~rule:domain_group","R04-v3-FULL~first:domain_group","R04-v3-FULL~rule:domain_group","R04-v3-SEAM~first:domain_here","R04-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":32,"read":4,"seals":["6e95864"]},"5":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"1319/3500","mean_mass_on_zero_where_not_zero":"646000000000000003/3400000000000000000"},"P8":{"closed_first_mean":"19/50","closed_rule_mean":"7/8","returns_soon_mean":"163/400","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":14,"misses":["R05-v1-FULL~first:domain_group","R05-v1-FULL~rule:domain_group","R05-v2-FULL~first:domain_group","R05-v2-FULL~rule:domain_group","R05-v2-FOLD~first:domain_here","R05-v2-FOLD~rule:domain_here","R05-v3-FULL~first:domain_group","R05-v3-FULL~rule:domain_group","R05-v3-SEAM~first:domain_here","R05-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":0,"read":5,"seals":["2a147c3"]},"6":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":29,"mean_mass_on_truth":"2633/7000","mean_mass_on_zero_where_not_zero":"687/3400"},"P8":{"closed_first_mean":"81/200","closed_rule_mean":"349/400","returns_soon_mean":"163/400","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":17,"misses":["R06-v0-FULL~first:domain_group","R06-v0-FULL~rule:domain_group","R06-v1-FULL~first:domain_group","R06-v1-FULL~rule:domain_group","R06-v3-FULL~first:domain_group","R06-v3-FULL~rule:domain_group","R06-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":32,"read":6,"seals":["2a147c3"]},"7":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"1329/3500","mean_mass_on_zero_where_not_zero":"327/1700"},"P8":{"closed_first_mean":"39/100","closed_rule_mean":"71/80","returns_soon_mean":"81/200","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":14,"misses":["R07-v1-FULL~first:domain_group","R07-v1-FULL~rule:domain_group","R07-v2-FULL~first:domain_group","R07-v2-FULL~rule:domain_group","R07-v2-FOLD~first:domain_here","R07-v2-FOLD~rule:domain_here","R07-v3-FULL~first:domain_group","R07-v3-FULL~rule:domain_group","R07-v3-SEAM~first:domain_here","R07-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":0,"read":7,"seals":["d9dfbe0"]},"8":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":32,"mean_mass_on_truth":"2721000000000000023/7000000000000000000","mean_mass_on_zero_where_not_zero":"669/3400"},"P8":{"closed_first_mean":"31/80","closed_rule_mean":"353/400","returns_soon_mean":"163/400","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":16,"misses":["R08-v0-FULL~first:domain_group","R08-v0-FULL~rule:domain_group","R08-v1-FULL~first:domain_group","R08-v1-FULL~rule:domain_group","R08-v1-SEAM~rule:domain_here","R08-v3-FULL~first:domain_group","R08-v3-FULL~rule:domain_group","R08-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":32,"read":8,"seals":["d9dfbe0"]},"9":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":29,"mean_mass_on_truth":"2621/7000","mean_mass_on_zero_where_not_zero":"673/3400"},"P8":{"closed_first_mean":"19/50","closed_rule_mean":"177/200","returns_soon_mean":"161/400","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":14,"misses":["R09-v1-FULL~first:domain_group","R09-v1-FULL~rule:domain_group","R09-v2-FULL~first:domain_group","R09-v2-FULL~rule:domain_group","R09-v2-FOLD~first:domain_here","R09-v2-FOLD~rule:domain_here","R09-v3-FULL~first:domain_group","R09-v3-FULL~rule:domain_group","R09-v3-SEAM~first:domain_here","R09-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":0,"read":9,"seals":["b0b1ed9"]},"10":{"P0":"holds","P1":"NOT HELD","P7":{"asked":70,"hits":31,"mean_mass_on_truth":"1343/3500","mean_mass_on_zero_where_not_zero":"349/1700"},"P8":{"closed_first_mean":"153/400","closed_rule_mean":"22/25","returns_soon_mean":"83/200","returns_soon_truth":true},"direction":{"asked":4,"hits":4,"long_way":0,"moved_asked":4,"moved_hits":0},"literal":{"asked":24,"hits":16,"misses":["R10-v0-FULL~first:domain_group","R10-v0-FULL~rule:domain_group","R10-v1-FULL~first:domain_group","R10-v1-FULL~rule:domain_group","R10-v3-FULL~first:domain_group","R10-v3-FULL~rule:domain_group","R10-v3-SEAM~first:domain_here","R10-v3-SEAM~rule:domain_here"]},"missing":[],"model_off_pin":[],"phase":32,"read":10,"seals":["b0b1ed9"]}},"recorded_all_reads":{"P4_form":{"classes":{"mean_distance":{"0":{"max":"392333333333333341/6800000000000000000","mean":"2124000000000000019/40800000000000000000","mean_rank":"21/2","min":"897999999999999991/20400000000000000000","name":"same phase","pairs":20},"1/2":{"max":"936500000000000009/10200000000000000000","mean":"39502000000000000007/510000000000000000000","mean_rank":"33","min":"226999999999999999/3400000000000000000","name":"the half","pairs":25}},"moved_share":{"0":{"max":"22/51","mean":"347/1020","mean_rank":"21/2","min":"9/34","name":"same phase","pairs":20},"1/2":{"max":"59/102","mean":"443/850","mean_rank":"33","min":"8/17","name":"the half","pairs":25}}},"mean_distance_strict":{"ends_by_floor":true,"inverted_by_floor":false,"means_increasing":true,"outer_separated":true,"pass":true},"moved_share_strict":{"ends_by_floor":true,"inverted_by_floor":false,"means_increasing":true,"outer_separated":true,"pass":true},"verdict":"PASS"},"P5_form":{"floor":"1/40","largest":"59/102","smallest":"9/34","spread":"16/51","verdict":"AT SCALE"},"P6_form":{"verdict":"NOT DUE"},"note":"judged by nothing (§7): the strict form, the scale and the decay's τ over every complete read, whatever P1","pairs":[{"answers":102,"class":"1/2","class_name":"the half","i":1,"j":2,"mean_distance":"246666666666666663/3400000000000000000","moved_share":"53/102","nearest":32,"top_changed":11},{"answers":102,"class":"0","class_name":"same phase","i":1,"j":3,"mean_distance":"1074000000000000023/20400000000000000000","moved_share":"1/3","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":1,"j":4,"mean_distance":"1597999999999999987/20400000000000000000","moved_share":"1/2","nearest":32,"top_changed":14},{"answers":102,"class":"0","class_name":"same phase","i":1,"j":5,"mean_distance":"543000000000000001/10200000000000000000","moved_share":"35/102","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":1,"j":6,"mean_distance":"1600000000000000001/20400000000000000000","moved_share":"25/51","nearest":32,"top_changed":17},{"answers":102,"class":"0","class_name":"same phase","i":1,"j":7,"mean_distance":"351999999999999997/6800000000000000000","moved_share":"11/34","nearest":0,"top_changed":15},{"answers":102,"class":"1/2","class_name":"the half","i":1,"j":8,"mean_distance":"435250000000000001/5100000000000000000","moved_share":"29/51","nearest":32,"top_changed":18},{"answers":102,"class":"0","class_name":"same phase","i":1,"j":9,"mean_distance":"176000000000000001/3400000000000000000","moved_share":"1/3","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":1,"j":10,"mean_distance":"552333333333333331/6800000000000000000","moved_share":"8/17","nearest":32,"top_changed":14},{"answers":102,"class":"1/2","class_name":"the half","i":2,"j":3,"mean_distance":"1477999999999999999/20400000000000000000","moved_share":"1/2","nearest":32,"top_changed":16},{"answers":102,"class":"0","class_name":"same phase","i":2,"j":4,"mean_distance":"897999999999999991/20400000000000000000","moved_share":"9/34","nearest":0,"top_changed":7},{"answers":102,"class":"1/2","class_name":"the half","i":2,"j":5,"mean_distance":"757999999999999993/10200000000000000000","moved_share":"29/51","nearest":32,"top_changed":15},{"answers":102,"class":"0","class_name":"same phase","i":2,"j":6,"mean_distance":"1010000000000000003/20400000000000000000","moved_share":"16/51","nearest":0,"top_changed":14},{"answers":102,"class":"1/2","class_name":"the half","i":2,"j":7,"mean_distance":"1445999999999999983/20400000000000000000","moved_share":"26/51","nearest":32,"top_changed":15},{"answers":102,"class":"0","class_name":"same phase","i":2,"j":8,"mean_distance":"520500000000000023/10200000000000000000","moved_share":"5/17","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":2,"j":9,"mean_distance":"802999999999999993/10200000000000000000","moved_share":"29/51","nearest":32,"top_changed":16},{"answers":102,"class":"0","class_name":"same phase","i":2,"j":10,"mean_distance":"1050999999999999989/20400000000000000000","moved_share":"16/51","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":3,"j":4,"mean_distance":"759999999999999997/10200000000000000000","moved_share":"26/51","nearest":32,"top_changed":15},{"answers":102,"class":"0","class_name":"same phase","i":3,"j":5,"mean_distance":"1102000000000000009/20400000000000000000","moved_share":"37/102","nearest":0,"top_changed":8},{"answers":102,"class":"1/2","class_name":"the half","i":3,"j":6,"mean_distance":"260666666666666667/3400000000000000000","moved_share":"26/51","nearest":32,"top_changed":16},{"answers":102,"class":"0","class_name":"same phase","i":3,"j":7,"mean_distance":"78500000000000001/1700000000000000000","moved_share":"16/51","nearest":0,"top_changed":10},{"answers":102,"class":"1/2","class_name":"the half","i":3,"j":8,"mean_distance":"1727000000000000011/20400000000000000000","moved_share":"29/51","nearest":32,"top_changed":18},{"answers":102,"class":"0","class_name":"same phase","i":3,"j":9,"mean_distance":"1024000000000000019/20400000000000000000","moved_share":"14/51","nearest":0,"top_changed":10},{"answers":102,"class":"1/2","class_name":"the half","i":3,"j":10,"mean_distance":"259166666666666669/3400000000000000000","moved_share":"49/102","nearest":32,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":4,"j":5,"mean_distance":"495999999999999999/6800000000000000000","moved_share":"1/2","nearest":32,"top_changed":14},{"answers":102,"class":"0","class_name":"same phase","i":4,"j":6,"mean_distance":"181666666666666669/3400000000000000000","moved_share":"35/102","nearest":0,"top_changed":12},{"answers":102,"class":"1/2","class_name":"the half","i":4,"j":7,"mean_distance":"724999999999999997/10200000000000000000","moved_share":"25/51","nearest":32,"top_changed":14},{"answers":102,"class":"0","class_name":"same phase","i":4,"j":8,"mean_distance":"356333333333333343/6800000000000000000","moved_share":"1/3","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":4,"j":9,"mean_distance":"342799999999999999/4080000000000000000","moved_share":"53/102","nearest":32,"top_changed":15},{"answers":102,"class":"0","class_name":"same phase","i":4,"j":10,"mean_distance":"281750000000000003/5100000000000000000","moved_share":"6/17","nearest":0,"top_changed":10},{"answers":102,"class":"1/2","class_name":"the half","i":5,"j":6,"mean_distance":"1424000000000000017/20400000000000000000","moved_share":"53/102","nearest":32,"top_changed":12},{"answers":102,"class":"0","class_name":"same phase","i":5,"j":7,"mean_distance":"367999999999999999/6800000000000000000","moved_share":"41/102","nearest":0,"top_changed":10},{"answers":102,"class":"1/2","class_name":"the half","i":5,"j":8,"mean_distance":"282166666666666671/3400000000000000000","moved_share":"59/102","nearest":32,"top_changed":14},{"answers":102,"class":"0","class_name":"same phase","i":5,"j":9,"mean_distance":"193000000000000001/3400000000000000000","moved_share":"37/102","nearest":0,"top_changed":12},{"answers":102,"class":"1/2","class_name":"the half","i":5,"j":10,"mean_distance":"1531000000000000009/20400000000000000000","moved_share":"8/17","nearest":32,"top_changed":12},{"answers":102,"class":"1/2","class_name":"the half","i":6,"j":7,"mean_distance":"226999999999999999/3400000000000000000","moved_share":"8/17","nearest":32,"top_changed":16},{"answers":102,"class":"0","class_name":"same phase","i":6,"j":8,"mean_distance":"392333333333333341/6800000000000000000","moved_share":"22/51","nearest":0,"top_changed":10},{"answers":102,"class":"1/2","class_name":"the half","i":6,"j":9,"mean_distance":"548666666666666663/6800000000000000000","moved_share":"28/51","nearest":32,"top_changed":16},{"answers":102,"class":"0","class_name":"same phase","i":6,"j":10,"mean_distance":"71/1360","moved_share":"13/34","nearest":0,"top_changed":13},{"answers":102,"class":"1/2","class_name":"the half","i":7,"j":8,"mean_distance":"1593000000000000023/20400000000000000000","moved_share":"55/102","nearest":32,"top_changed":16},{"answers":102,"class":"0","class_name":"same phase","i":7,"j":9,"mean_distance":"197999999999999999/4080000000000000000","moved_share":"1/3","nearest":0,"top_changed":5},{"answers":102,"class":"1/2","class_name":"the half","i":7,"j":10,"mean_distance":"357250000000000003/5100000000000000000","moved_share":"26/51","nearest":32,"top_changed":14},{"answers":102,"class":"1/2","class_name":"the half","i":8,"j":9,"mean_distance":"936500000000000009/10200000000000000000","moved_share":"28/51","nearest":32,"top_changed":20},{"answers":102,"class":"0","class_name":"same phase","i":8,"j":10,"mean_distance":"373333333333333341/6800000000000000000","moved_share":"20/51","nearest":0,"top_changed":11},{"answers":102,"class":"1/2","class_name":"the half","i":9,"j":10,"mean_distance":"120733333333333333/1360000000000000000","moved_share":"29/51","nearest":32,"top_changed":17}],"reads":[1,2,3,4,5,6,7,8,9,10]},"verdict":"RESOLVED","void":[]}