{"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,"verdict":"NOT READ"},"9":{"against":7,"verdict":"NOT READ"}},"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],"due":["P2","P4","P5"],"held":[],"landed_at":"Act 3, the third cycle of L1, seal 2a147c3","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":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R07-v0-FULL~first","R07-v0-FULL~rule","R07-v0-FULL~pair","R07-v0-FOLD~first","R07-v0-FOLD~rule","R07-v0-FOLD~pair","R07-v0-SEAM~first","R07-v0-SEAM~rule","R07-v0-SEAM~pair","R07-v1-FULL~first","R07-v1-FULL~rule","R07-v1-FULL~pair","R07-v1-RUN~first","R07-v1-RUN~rule","R07-v1-RUN~pair","R07-v1-SEAM~first","R07-v1-SEAM~rule","R07-v1-SEAM~pair","R07-v2-FULL~first","R07-v2-FULL~rule","R07-v2-FULL~pair","R07-v2-FOLD~first","R07-v2-FOLD~rule","R07-v2-FOLD~pair","R07-v2-SEAM~first","R07-v2-SEAM~rule","R07-v2-SEAM~pair","R07-v3-FULL~first","R07-v3-FULL~rule","R07-v3-FULL~pair","R07-v3-RUN~first","R07-v3-RUN~rule","R07-v3-RUN~pair","R07-v3-SEAM~first","R07-v3-SEAM~rule","R07-v3-SEAM~pair"],"model_off_pin":[],"phase":0,"read":7,"seals":[]},"8":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R08-v0-FULL~first","R08-v0-FULL~rule","R08-v0-FULL~pair","R08-v0-FOLD~first","R08-v0-FOLD~rule","R08-v0-FOLD~pair","R08-v0-SEAM~first","R08-v0-SEAM~rule","R08-v0-SEAM~pair","R08-v1-FULL~first","R08-v1-FULL~rule","R08-v1-FULL~pair","R08-v1-RUN~first","R08-v1-RUN~rule","R08-v1-RUN~pair","R08-v1-SEAM~first","R08-v1-SEAM~rule","R08-v1-SEAM~pair","R08-v2-FULL~first","R08-v2-FULL~rule","R08-v2-FULL~pair","R08-v2-FOLD~first","R08-v2-FOLD~rule","R08-v2-FOLD~pair","R08-v2-SEAM~first","R08-v2-SEAM~rule","R08-v2-SEAM~pair","R08-v3-FULL~first","R08-v3-FULL~rule","R08-v3-FULL~pair","R08-v3-RUN~first","R08-v3-RUN~rule","R08-v3-RUN~pair","R08-v3-SEAM~first","R08-v3-SEAM~rule","R08-v3-SEAM~pair"],"model_off_pin":[],"phase":32,"read":8,"seals":[]},"9":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R09-v0-FULL~first","R09-v0-FULL~rule","R09-v0-FULL~pair","R09-v0-FOLD~first","R09-v0-FOLD~rule","R09-v0-FOLD~pair","R09-v0-SEAM~first","R09-v0-SEAM~rule","R09-v0-SEAM~pair","R09-v1-FULL~first","R09-v1-FULL~rule","R09-v1-FULL~pair","R09-v1-RUN~first","R09-v1-RUN~rule","R09-v1-RUN~pair","R09-v1-SEAM~first","R09-v1-SEAM~rule","R09-v1-SEAM~pair","R09-v2-FULL~first","R09-v2-FULL~rule","R09-v2-FULL~pair","R09-v2-FOLD~first","R09-v2-FOLD~rule","R09-v2-FOLD~pair","R09-v2-SEAM~first","R09-v2-SEAM~rule","R09-v2-SEAM~pair","R09-v3-FULL~first","R09-v3-FULL~rule","R09-v3-FULL~pair","R09-v3-RUN~first","R09-v3-RUN~rule","R09-v3-RUN~pair","R09-v3-SEAM~first","R09-v3-SEAM~rule","R09-v3-SEAM~pair"],"model_off_pin":[],"phase":0,"read":9,"seals":[]},"10":{"P0":"VOID","P1":"NOT READ","P7":"NOT READ","P8":"NOT READ","direction":null,"literal":null,"missing":["R10-v0-FULL~first","R10-v0-FULL~rule","R10-v0-FULL~pair","R10-v0-FOLD~first","R10-v0-FOLD~rule","R10-v0-FOLD~pair","R10-v0-SEAM~first","R10-v0-SEAM~rule","R10-v0-SEAM~pair","R10-v1-FULL~first","R10-v1-FULL~rule","R10-v1-FULL~pair","R10-v1-RUN~first","R10-v1-RUN~rule","R10-v1-RUN~pair","R10-v1-SEAM~first","R10-v1-SEAM~rule","R10-v1-SEAM~pair","R10-v2-FULL~first","R10-v2-FULL~rule","R10-v2-FULL~pair","R10-v2-FOLD~first","R10-v2-FOLD~rule","R10-v2-FOLD~pair","R10-v2-SEAM~first","R10-v2-SEAM~rule","R10-v2-SEAM~pair","R10-v3-FULL~first","R10-v3-FULL~rule","R10-v3-FULL~pair","R10-v3-RUN~first","R10-v3-RUN~rule","R10-v3-RUN~pair","R10-v3-SEAM~first","R10-v3-SEAM~rule","R10-v3-SEAM~pair"],"model_off_pin":[],"phase":32,"read":10,"seals":[]}},"recorded_all_reads":{"P4_form":{"classes":{"mean_distance":{"0":{"max":"1102000000000000009/20400000000000000000","mean":"3130000000000000021/61200000000000000000","mean_rank":"7/2","min":"897999999999999991/20400000000000000000","name":"same phase","pairs":6},"1/2":{"max":"1600000000000000001/20400000000000000000","mean":"4555999999999999987/61200000000000000000","mean_rank":"11","min":"1424000000000000017/20400000000000000000","name":"the half","pairs":9}},"moved_share":{"0":{"max":"37/102","mean":"50/153","mean_rank":"7/2","min":"9/34","name":"same phase","pairs":6},"1/2":{"max":"29/51","mean":"157/306","mean_rank":"11","min":"25/51","name":"the half","pairs":9}}},"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":"29/51","smallest":"9/34","spread":"31/102","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":"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":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":"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":5,"j":6,"mean_distance":"1424000000000000017/20400000000000000000","moved_share":"53/102","nearest":32,"top_changed":12}],"reads":[1,2,3,4,5,6]},"verdict":"OPEN-EDGE","void":[]}