{"atlas":"native-distinctions","claim":"locally-seeded-equations-admitted-only-after-executable-profile-splitting","server_time":1787528419,"state":{"pulses":46,"candidates":127,"admitted":29,"updated_at":1787528395,"founded_at":1787520295},"predicates":[{"id":"N-186-21-14","expression":"((a·c)·(c·c)) = ((b·b)·(b·b))","arity":3,"source_polis_pulse":186,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":186,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":19,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000938","order":4,"canonical_code":"11780","table":[0,1,0,0,2,3,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00008W1","order":4,"canonical_code":"11521","table":[1,0,0,0,1,3,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":3}},"renaming_checks":48,"admitted_at":1787527675},{"id":"N-182-21-1","expression":"(a·(b·a)) = ((c·c)·c)","arity":3,"source_polis_pulse":182,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":182,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":15,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000001000010","supporting_world":{"id":"R4-00008P8","order":4,"canonical_code":"11276","table":[0,3,0,0,0,3,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00008P4","order":4,"canonical_code":"11272","table":[0,2,0,0,0,3,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":2,"right":0}},"renaming_checks":48,"admitted_at":1787527495},{"id":"N-179-17-4","expression":"((b·a)·(b·b)) = ((c·b)·(b·c))","arity":3,"source_polis_pulse":179,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":179,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":86,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00007Y8","order":4,"canonical_code":"10304","table":[0,0,0,1,0,2,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00007WK","order":4,"canonical_code":"10244","table":[0,1,0,0,0,2,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787527315},{"id":"N-176-19-1","expression":"((c·b)·(a·b)) = ((c·b)·(c·c))","arity":3,"source_polis_pulse":176,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":176,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":70,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00007CW","order":4,"canonical_code":"9536","table":[0,0,0,1,1,1,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000745","order":4,"canonical_code":"9221","table":[1,1,0,0,0,1,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":1,"b":0,"c":0},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787527135},{"id":"N-173-21-5","expression":"(a·a) = ((b·b)·(a·c))","arity":3,"source_polis_pulse":173,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":173,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":6,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00006KG","order":4,"canonical_code":"8512","table":[0,0,0,1,1,0,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00006IP","order":4,"canonical_code":"8449","table":[1,0,0,0,1,0,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787526955},{"id":"N-170-21-3","expression":"((a·c)·(a·b)) = ((b·c)·(c·c))","arity":3,"source_polis_pulse":170,"institution":{"id":21,"kind":"forge","concept":12},"local_receipt":{"polis_pulse":170,"institution":{"id":21,"kind":"forge","concept":12,"born_pulse":167,"age":3,"founder_ids":[34,42,43,66]},"local_supporters":[{"id":34,"role":6,"lexicon":[28,3,15,3,8,7,18],"beliefs":[1,1,2,2,2],"memory":[14,14,22,29,29]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00006DC","order":4,"canonical_code":"8256","table":[0,0,0,1,0,0,2,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00006BO","order":4,"canonical_code":"8196","table":[0,1,0,0,0,0,2,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787526775},{"id":"N-167-19-1","expression":"(b·(b·a)) = ((a·b)·(b·a))","arity":2,"source_polis_pulse":167,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":167,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":61,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00005JG","order":4,"canonical_code":"7180","table":[0,3,0,0,0,3,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00005J8","order":4,"canonical_code":"7172","table":[0,1,0,0,0,3,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":2,"b":1},"left":3,"right":1}},"renaming_checks":48,"admitted_at":1787526595},{"id":"N-164-17-4","expression":"((a·a)·(a·a)) = ((b·a)·(a·b))","arity":2,"source_polis_pulse":164,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":164,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":71,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00004R4","order":4,"canonical_code":"6160","table":[0,0,1,0,0,2,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00004QS","order":4,"canonical_code":"6148","table":[0,1,0,0,0,2,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787526415},{"id":"N-161-20-1","expression":"((a·a)·(a·b)) = ((b·b)·(a·a))","arity":2,"source_polis_pulse":161,"institution":{"id":20,"kind":"market","concept":2},"local_receipt":{"polis_pulse":161,"institution":{"id":20,"kind":"market","concept":2,"born_pulse":113,"age":48,"founder_ids":[2,3,18,42]},"local_supporters":[{"id":18,"role":3,"lexicon":[20,24,9,1,21,0,17],"beliefs":[3,3,2,1,0],"memory":[7,25,13,6]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-000046D","order":4,"canonical_code":"5413","table":[1,1,2,0,1,1,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-000045D","order":4,"canonical_code":"5377","table":[1,0,0,0,1,1,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":2},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787526235},{"id":"N-158-19-4","expression":"(b·(a·a)) = ((a·a)·b)","arity":2,"source_polis_pulse":158,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":158,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":52,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00003K8","order":4,"canonical_code":"4616","table":[0,2,0,0,2,0,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00003K1","order":4,"canonical_code":"4609","table":[1,0,0,0,2,0,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787526055},{"id":"N-155-17-1","expression":"(b·b) = ((b·b)·(c·c))","arity":3,"source_polis_pulse":155,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":155,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":62,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]},{"id":98,"role":4,"lexicon":[18,28,6,28,8,8,14],"beliefs":[3,1,3,2,2],"memory":[0,0,0,0,3,9,23]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-00003D0","order":4,"canonical_code":"4356","table":[0,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-000035X","order":4,"canonical_code":"4101","table":[1,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787525875},{"id":"N-149-20-4","expression":"((b·b)·(b·c)) = ((b·c)·(b·c))","arity":3,"source_polis_pulse":149,"institution":{"id":20,"kind":"market","concept":2},"local_receipt":{"polis_pulse":149,"institution":{"id":20,"kind":"market","concept":2,"born_pulse":113,"age":36,"founder_ids":[2,3,18,42]},"local_supporters":[{"id":18,"role":3,"lexicon":[20,24,9,1,21,0,17],"beliefs":[3,3,2,1,0],"memory":[7,25,13,6]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-000020G","order":4,"canonical_code":"2608","table":[0,0,3,0,2,2,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00001S1","order":4,"canonical_code":"2305","table":[1,0,0,0,1,2,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":0,"right":2}},"renaming_checks":48,"admitted_at":1787525515},{"id":"N-146-17-3","expression":"((a·b)·(a·a)) = ((a·c)·(c·c))","arity":3,"source_polis_pulse":146,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":146,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":53,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R4-00001L0","order":4,"canonical_code":"2052","table":[0,1,0,0,0,2,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-00001LC","order":4,"canonical_code":"2064","table":[0,0,1,0,0,2,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787525335},{"id":"N-143-19-2","expression":"((a·b)·a) = ((c·c)·c)","arity":3,"source_polis_pulse":143,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":143,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":37,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000010","supporting_world":{"id":"R4-000011X","order":4,"canonical_code":"1365","table":[1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000105","order":4,"canonical_code":"1301","table":[1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":3},"left":1,"right":0}},"renaming_checks":48,"admitted_at":1787525155},{"id":"N-140-19-3","expression":"((b·c)·(c·a)) = ((c·b)·(c·a))","arity":3,"source_polis_pulse":140,"institution":{"id":19,"kind":"forge","concept":10},"local_receipt":{"polis_pulse":140,"institution":{"id":19,"kind":"forge","concept":10,"born_pulse":106,"age":34,"founder_ids":[38,47,63,79]},"local_supporters":[{"id":79,"role":0,"lexicon":[13,10,0,20,27,29,7],"beliefs":[0,1,3,2,0],"memory":[9,3,0,21,21,17,0]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R4-0000075","order":4,"canonical_code":"257","table":[1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R4-0000005","order":4,"canonical_code":"5","table":[1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":48,"admitted_at":1787524975},{"id":"N-128-17-5","expression":"((c·a)·(c·c)) = ((c·c)·(b·c))","arity":3,"source_polis_pulse":128,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":128,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":35,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0010001010010100","supporting_world":{"id":"R3-DE9","order":3,"canonical_code":"17361","table":[0,0,0,1,1,2,2,1,2]},"opposing_world":{"id":"R3-D7I","order":3,"canonical_code":"17118","table":[0,0,0,1,1,1,2,1,2],"witness":{"variables":{"a":0,"b":1,"c":2},"left":2,"right":1}},"renaming_checks":12,"admitted_at":1787524255},{"id":"N-122-11-21","expression":"((a·c)·(a·a)) = ((c·c)·a)","arity":3,"source_polis_pulse":122,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":122,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":91,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0010010001011000","supporting_world":{"id":"R3-C2U","order":3,"canonical_code":"15654","table":[0,1,2,0,1,1,0,1,2]},"opposing_world":{"id":"R3-CA9","order":3,"canonical_code":"15921","table":[0,0,2,1,1,2,0,1,2],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":12,"admitted_at":1787523895},{"id":"N-119-11-1","expression":"((a·a)·(b·c)) = ((c·b)·(a·c))","arity":3,"source_polis_pulse":119,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":119,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":88,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0010010001010000","supporting_world":{"id":"R3-BPC","order":3,"canonical_code":"15168","table":[0,1,2,0,1,2,2,0,2]},"opposing_world":{"id":"R3-BP9","order":3,"canonical_code":"15165","table":[0,0,2,0,1,2,2,0,2],"witness":{"variables":{"a":0,"b":2,"c":1},"left":0,"right":2}},"renaming_checks":12,"admitted_at":1787523715},{"id":"N-116-17-18","expression":"((c·b)·c) = ((c·c)·(b·b))","arity":3,"source_polis_pulse":116,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":116,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":23,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":56,"role":1,"lexicon":[16,8,26,19,28,21,9],"beliefs":[1,1,2,2,1],"memory":[18,23,6,11,23,27,3,11]},{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0010001010000000","supporting_world":{"id":"R3-AXR","order":3,"canonical_code":"14175","table":[0,0,0,0,1,1,1,0,2]},"opposing_world":{"id":"R3-AYO","order":3,"canonical_code":"14208","table":[0,2,0,1,1,1,1,0,2],"witness":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":2}},"renaming_checks":12,"admitted_at":1787523535},{"id":"N-113-17-3","expression":"((a·b)·(a·a)) = ((b·b)·(a·a))","arity":2,"source_polis_pulse":113,"institution":{"id":17,"kind":"archive","concept":19},"local_receipt":{"polis_pulse":113,"institution":{"id":17,"kind":"archive","concept":19,"born_pulse":93,"age":20,"founder_ids":[1,24,56,96]},"local_supporters":[{"id":96,"role":5,"lexicon":[12,1,6,8,19,13,28],"beliefs":[3,1,2,2,3],"memory":[8,22,22,8,10]}]},"inherited_signature":"0010010001000000","supporting_world":{"id":"R3-ALL","order":3,"canonical_code":"13737","table":[0,1,2,1,1,2,0,0,2]},"opposing_world":{"id":"R3-A7C","order":3,"canonical_code":"13224","table":[0,1,2,0,1,0,0,0,2],"witness":{"variables":{"a":1,"b":2},"left":1,"right":0}},"renaming_checks":12,"admitted_at":1787523355},{"id":"N-86-10-11","expression":"((b·c)·a) = ((b·c)·(a·c))","arity":3,"source_polis_pulse":86,"institution":{"id":10,"kind":"assembly","concept":27},"local_receipt":{"polis_pulse":86,"institution":{"id":10,"kind":"assembly","concept":27,"born_pulse":27,"age":59,"founder_ids":[10,17,49,57,65,73,74]},"local_supporters":[{"id":65,"role":6,"lexicon":[15,7,4,24,2,1,13],"beliefs":[0,2,3,2,0],"memory":[20,26,18,18,18,2,2,2]}]},"inherited_signature":"0000001010000000","supporting_world":{"id":"R3-4RU","order":3,"canonical_code":"6186","table":[0,1,0,1,1,1,2,2,0]},"opposing_world":{"id":"R3-4R0","order":3,"canonical_code":"6156","table":[0,0,0,0,1,1,2,2,0],"witness":{"variables":{"a":2,"b":1,"c":2},"left":1,"right":0}},"renaming_checks":12,"admitted_at":1787521735},{"id":"N-83-11-2","expression":"((a·c)·(c·a)) = ((a·c)·(c·b))","arity":3,"source_polis_pulse":83,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":83,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":52,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0000001010000000","supporting_world":{"id":"R3-47I","order":3,"canonical_code":"5454","table":[0,0,0,1,1,1,1,2,0]},"opposing_world":{"id":"R3-46R","order":3,"canonical_code":"5427","table":[0,0,0,0,1,1,1,2,0],"witness":{"variables":{"a":1,"b":0,"c":1},"left":1,"right":0}},"renaming_checks":12,"admitted_at":1787521555},{"id":"N-80-11-4","expression":"((b·b)·b) = ((c·c)·a)","arity":3,"source_polis_pulse":80,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":80,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":49,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R3-3L0","order":3,"canonical_code":"4644","table":[0,0,0,1,0,1,0,2,0]},"opposing_world":{"id":"R3-3NC","order":3,"canonical_code":"4728","table":[0,1,0,1,1,1,0,2,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":0,"right":1}},"renaming_checks":12,"admitted_at":1787521375},{"id":"N-77-10-1","expression":"(b·(c·a)) = ((a·b)·(c·a))","arity":3,"source_polis_pulse":77,"institution":{"id":10,"kind":"assembly","concept":27},"local_receipt":{"polis_pulse":77,"institution":{"id":10,"kind":"assembly","concept":27,"born_pulse":27,"age":50,"founder_ids":[10,17,49,57,65,73,74]},"local_supporters":[{"id":65,"role":6,"lexicon":[15,7,4,24,2,1,13],"beliefs":[0,2,3,2,0],"memory":[20,26,18,18,18,2,2,2]}]},"inherited_signature":"0000000001000000","supporting_world":{"id":"R3-32E","order":3,"canonical_code":"3974","table":[2,1,0,0,1,1,2,1,0]},"opposing_world":{"id":"R3-32C","order":3,"canonical_code":"3972","table":[0,1,0,0,1,1,2,1,0],"witness":{"variables":{"a":0,"b":2,"c":0},"left":2,"right":0}},"renaming_checks":12,"admitted_at":1787521195},{"id":"N-74-11-3","expression":"((a·a)·(c·c)) = ((b·c)·(c·b))","arity":3,"source_polis_pulse":74,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":74,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":43,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":28,"role":0,"lexicon":[21,30,21,15,27,9,16],"beliefs":[0,0,3,1,2],"memory":[25,30,30,30,20,3,5,5]},{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0100000000010000","supporting_world":{"id":"R3-2GU","order":3,"canonical_code":"3198","table":[0,1,1,1,0,1,1,1,0]},"opposing_world":{"id":"R3-2G2","order":3,"canonical_code":"3170","table":[2,0,1,0,0,1,1,1,0],"witness":{"variables":{"a":0,"b":0,"c":1},"left":1,"right":2}},"renaming_checks":12,"admitted_at":1787521015},{"id":"N-71-16-1","expression":"((c·b)·(c·c)) = ((c·c)·(c·a))","arity":3,"source_polis_pulse":71,"institution":{"id":16,"kind":"market","concept":31},"local_receipt":{"polis_pulse":71,"institution":{"id":16,"kind":"market","concept":31,"born_pulse":71,"age":0,"founder_ids":[20,21,53,93]},"local_supporters":[{"id":20,"role":6,"lexicon":[15,6,23,20,9,11,27],"beliefs":[2,3,2,1,2],"memory":[23,23,18,31,7,0,24,24]},{"id":21,"role":7,"lexicon":[27,31,0,12,16,26,28],"beliefs":[3,1,1,1,0],"memory":[24,27,27,8,19,21,5]}]},"inherited_signature":"0000000011100000","supporting_world":{"id":"R3-1T9","order":3,"canonical_code":"2349","table":[0,0,0,0,2,0,0,1,0]},"opposing_world":{"id":"R3-1YU","order":3,"canonical_code":"2550","table":[0,1,1,1,1,1,0,1,0],"witness":{"variables":{"a":0,"b":1,"c":0},"left":1,"right":0}},"renaming_checks":12,"admitted_at":1787520835},{"id":"N-68-15-3","expression":"((c·a)·c) = ((c·a)·(c·c))","arity":3,"source_polis_pulse":68,"institution":{"id":15,"kind":"refuge","concept":26},"local_receipt":{"polis_pulse":68,"institution":{"id":15,"kind":"refuge","concept":26,"born_pulse":65,"age":3,"founder_ids":[9,25,57,73]},"local_supporters":[{"id":57,"role":0,"lexicon":[0,16,31,8,7,9,18],"beliefs":[2,0,3,0,0],"memory":[20,4,27,27,18,15,19,19]}]},"inherited_signature":"0000000000000000","supporting_world":{"id":"R3-1RK","order":3,"canonical_code":"2288","table":[2,0,2,0,1,0,0,1,0]},"opposing_world":{"id":"R3-16S","order":3,"canonical_code":"1540","table":[1,0,0,0,1,0,2,0,0],"witness":{"variables":{"a":0,"b":0,"c":0},"left":0,"right":1}},"renaming_checks":12,"admitted_at":1787520655},{"id":"N-65-11-2","expression":"((a·a)·a) = ((b·c)·(c·b))","arity":3,"source_polis_pulse":65,"institution":{"id":11,"kind":"refuge","concept":29},"local_receipt":{"polis_pulse":65,"institution":{"id":11,"kind":"refuge","concept":29,"born_pulse":31,"age":34,"founder_ids":[28,52,84,92]},"local_supporters":[{"id":28,"role":0,"lexicon":[21,30,21,15,27,9,16],"beliefs":[0,0,3,1,2],"memory":[25,30,30,30,20,3,5,5]},{"id":84,"role":1,"lexicon":[3,1,0,28,5,20,7],"beliefs":[1,3,0,3,3],"memory":[2,10,28,16,22,24,6,29]}]},"inherited_signature":"0000000010000000","supporting_world":{"id":"R3-0OR","order":3,"canonical_code":"891","table":[0,0,0,0,2,0,1,0,0]},"opposing_world":{"id":"R3-0MI","order":3,"canonical_code":"810","table":[0,0,0,0,1,0,1,0,0],"witness":{"variables":{"a":0,"b":1,"c":1},"left":0,"right":1}},"renaming_checks":12,"admitted_at":1787520475},{"id":"N-62-10-1","expression":"(a·(b·b)) = ((c·a)·(b·a))","arity":3,"source_polis_pulse":62,"institution":{"id":10,"kind":"assembly","concept":27},"local_receipt":{"polis_pulse":62,"institution":{"id":10,"kind":"assembly","concept":27,"born_pulse":27,"age":35,"founder_ids":[10,17,49,57,65,73,74]},"local_supporters":[{"id":65,"role":6,"lexicon":[15,26,4,7,2,1,13],"beliefs":[0,2,3,2,0],"memory":[3,20,20,20,26,18,18,18]}]},"inherited_signature":"1100000011111110","supporting_world":{"id":"R3-000","order":3,"canonical_code":"0","table":[0,0,0,0,0,0,0,0,0]},"opposing_world":{"id":"R3-029","order":3,"canonical_code":"81","table":[0,0,0,0,1,0,0,0,0],"witness":{"variables":{"a":1,"b":1,"c":0},"left":1,"right":0}},"renaming_checks":12,"admitted_at":1787520295}],"pulses":[{"advanced_at":1787528395,"survey_order":4,"survey_interval":[14592,15359],"specimens":768,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-local-source"},{"advanced_at":1787528215,"survey_order":4,"survey_interval":[13824,14591],"specimens":768,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-local-source"},{"advanced_at":1787528035,"survey_order":4,"survey_interval":[13056,13823],"specimens":768,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-local-source"},{"advanced_at":1787527855,"survey_order":4,"survey_interval":[12288,13055],"specimens":768,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-local-source"},{"advanced_at":1787527675,"survey_order":4,"survey_interval":[11520,12287],"specimens":768,"candidates":14,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":13,"renaming":0},"rejections":[{"expression":"((a·c)·c) = ((b·b)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(b·c)) = ((c·a)·(c·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(b·b)) = (b·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·b) = ((a·b)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(c·b)) = ((b·c)·(c·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·(a·a)) = (b·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(b·b)) = ((c·a)·(c·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(c·a)) = ((a·c)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·(a·c)) = ((a·a)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·b) = (a·(a·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(b·a)) = ((a·a)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·c)·b) = ((c·a)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·b)·a) = ((c·c)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-186-21-14","outcome":"admitted"},{"advanced_at":1787527495,"survey_order":4,"survey_interval":[10752,11519],"specimens":768,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-182-21-1","outcome":"admitted"},{"advanced_at":1787527315,"survey_order":4,"survey_interval":[9984,10751],"specimens":768,"candidates":4,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":3,"renaming":0},"rejections":[{"expression":"((b·a)·(b·a)) = ((c·c)·a)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·b)·(c·c)) = ((c·b)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·c) = ((a·c)·b)","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-179-17-4","outcome":"admitted"},{"advanced_at":1787527135,"survey_order":4,"survey_interval":[9216,9983],"specimens":768,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-176-19-1","outcome":"admitted"},{"advanced_at":1787526955,"survey_order":4,"survey_interval":[8448,9215],"specimens":768,"candidates":5,"rejection_counts":{"duplicate":0,"tautology":1,"absorbed":3,"renaming":0},"rejections":[{"expression":"(c·(c·b)) = ((c·b)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·c) = (b·c)","reason":"syntactic-tautology"},{"expression":"(b·b) = (b·(c·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·(a·a)) = ((c·c)·(c·a))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-173-21-5","outcome":"admitted"},{"advanced_at":1787526775,"survey_order":4,"survey_interval":[7680,8447],"specimens":768,"candidates":3,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":2,"renaming":0},"rejections":[{"expression":"(c·a) = ((c·b)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·b) = (a·(b·c))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-170-21-3","outcome":"admitted"},{"advanced_at":1787526595,"survey_order":4,"survey_interval":[6912,7679],"specimens":768,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-167-19-1","outcome":"admitted"},{"advanced_at":1787526415,"survey_order":4,"survey_interval":[6144,6911],"specimens":768,"candidates":4,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":3,"renaming":0},"rejections":[{"expression":"(a·c) = ((c·a)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·b) = ((b·c)·a)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·b)·(a·b)) = ((c·c)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-164-17-4","outcome":"admitted"},{"advanced_at":1787526235,"survey_order":4,"survey_interval":[5376,6143],"specimens":768,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-161-20-1","outcome":"admitted"},{"advanced_at":1787526055,"survey_order":4,"survey_interval":[4608,5375],"specimens":768,"candidates":4,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":3,"renaming":0},"rejections":[{"expression":"(b·(c·a)) = ((b·c)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·b) = ((b·b)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(c·a)) = ((b·c)·(a·c))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-158-19-4","outcome":"admitted"},{"advanced_at":1787525875,"survey_order":4,"survey_interval":[3840,4607],"specimens":512,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-155-17-1","outcome":"admitted"},{"advanced_at":1787525695,"survey_order":4,"survey_interval":[3072,3839],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787525515,"survey_order":4,"survey_interval":[2304,3071],"specimens":768,"candidates":4,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":3,"renaming":0},"rejections":[{"expression":"((a·a)·b) = ((c·a)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·a) = (a·(a·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"c = ((a·c)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-149-20-4","outcome":"admitted"},{"advanced_at":1787525335,"survey_order":4,"survey_interval":[1536,2303],"specimens":512,"candidates":3,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":2,"renaming":0},"rejections":[{"expression":"(b·(c·a)) = ((b·a)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·a) = ((b·c)·(a·c))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-146-17-3","outcome":"admitted"},{"advanced_at":1787525155,"survey_order":4,"survey_interval":[768,1535],"specimens":272,"candidates":2,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":1,"renaming":0},"rejections":[{"expression":"((a·a)·(b·a)) = ((a·b)·c)","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-143-19-2","outcome":"admitted"},{"advanced_at":1787524975,"survey_order":4,"survey_interval":[0,767],"specimens":444,"candidates":3,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":2,"renaming":0},"rejections":[{"expression":"(a·b) = (c·a)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·c) = ((c·b)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-140-19-3","outcome":"admitted"},{"advanced_at":1787524795,"survey_order":3,"survey_interval":[19200,19682],"specimens":1,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787524615,"survey_order":3,"survey_interval":[18432,19199],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787524435,"survey_order":3,"survey_interval":[17664,18431],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787524255,"survey_order":3,"survey_interval":[16896,17663],"specimens":6,"candidates":5,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":4,"renaming":0},"rejections":[{"expression":"((c·c)·c) = ((c·c)·(c·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·b)·(c·b)) = ((c·b)·(c·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"a = ((a·b)·(c·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(a·c)) = ((b·a)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-128-17-5","outcome":"admitted"},{"advanced_at":1787524075,"survey_order":3,"survey_interval":[16128,16895],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787523895,"survey_order":3,"survey_interval":[15360,16127],"specimens":9,"candidates":21,"rejection_counts":{"duplicate":0,"tautology":1,"absorbed":19,"renaming":0},"rejections":[{"expression":"((c·c)·(c·a)) = ((c·c)·(c·a))","reason":"syntactic-tautology"},{"expression":"(b·(c·c)) = (c·(a·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(c·c)) = ((c·a)·(a·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·b)·(a·c)) = ((a·c)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(c·a)) = ((b·c)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·(c·b)) = ((b·b)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·(a·b)) = ((c·a)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·b)·(a·a)) = ((c·b)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·(a·c)) = ((c·b)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(a·a)) = ((c·c)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(c·a)) = ((a·b)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·(a·a)) = ((c·a)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(b·b)) = ((b·a)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·b)·(c·a)) = ((c·b)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(c·a)) = ((b·b)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·b)·a) = ((c·c)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·c) = ((a·c)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(b·b)) = ((b·c)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(c·b)) = ((a·a)·(a·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·c) = ((b·b)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-122-11-21","outcome":"admitted"},{"advanced_at":1787523715,"survey_order":3,"survey_interval":[14592,15359],"specimens":28,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-119-11-1","outcome":"admitted"},{"advanced_at":1787523535,"survey_order":3,"survey_interval":[13824,14591],"specimens":26,"candidates":18,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":17,"renaming":0},"rejections":[{"expression":"(a·b) = ((c·a)·(a·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(c·c)) = ((c·a)·(c·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·a) = ((c·b)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((c·a)·(b·a)) = ((c·c)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(a·a)) = ((b·a)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(a·c)) = ((a·c)·(a·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·b) = ((b·a)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·c) = (a·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"c = ((b·a)·(a·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·c) = ((a·b)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(c·c)) = ((c·a)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(c·b)) = ((c·b)·(a·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(b·b)) = ((c·c)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·c)·(b·b)) = ((b·b)·(a·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·b) = ((c·c)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·c)·(c·c)) = ((b·c)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·(b·b)) = ((b·c)·(c·c))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-116-17-18","outcome":"admitted"},{"advanced_at":1787523355,"survey_order":3,"survey_interval":[13056,13823],"specimens":68,"candidates":3,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":2,"renaming":0},"rejections":[{"expression":"((c·a)·(a·a)) = ((c·b)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·c) = ((b·a)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-113-17-3","outcome":"admitted"},{"advanced_at":1787523175,"survey_order":3,"survey_interval":[12288,13055],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787522995,"survey_order":3,"survey_interval":[11520,12287],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787522815,"survey_order":3,"survey_interval":[10752,11519],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787522635,"survey_order":3,"survey_interval":[9984,10751],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787522455,"survey_order":3,"survey_interval":[9216,9983],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787522275,"survey_order":3,"survey_interval":[8448,9215],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787522095,"survey_order":3,"survey_interval":[7680,8447],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787521915,"survey_order":3,"survey_interval":[6912,7679],"specimens":0,"candidates":0,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":null,"outcome":"no-inherited-profile-collision"},{"advanced_at":1787521735,"survey_order":3,"survey_interval":[6144,6911],"specimens":64,"candidates":11,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":10,"renaming":0},"rejections":[{"expression":"(c·c) = ((c·b)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(b·a)) = ((c·b)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((b·a)·a) = ((c·a)·(a·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(c·a)) = ((c·b)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·(c·c)) = ((a·c)·b)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"b = ((a·b)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·c) = ((c·b)·(c·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(c·a)) = ((c·b)·a)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((a·a)·(a·c)) = ((b·a)·(a·a))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·(b·b)) = ((c·a)·b)","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-86-10-11","outcome":"admitted"},{"advanced_at":1787521555,"survey_order":3,"survey_interval":[5376,6143],"specimens":136,"candidates":2,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":1,"renaming":0},"rejections":[{"expression":"((a·c)·(b·b)) = ((c·b)·(c·a))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-83-11-2","outcome":"admitted"},{"advanced_at":1787521375,"survey_order":3,"survey_interval":[4608,5375],"specimens":192,"candidates":4,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":3,"renaming":0},"rejections":[{"expression":"b = ((c·c)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(c·(c·a)) = ((a·c)·a)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(b·a) = ((c·c)·(b·c))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-80-11-4","outcome":"admitted"},{"advanced_at":1787521195,"survey_order":3,"survey_interval":[3840,4607],"specimens":263,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-77-10-1","outcome":"admitted"},{"advanced_at":1787521015,"survey_order":3,"survey_interval":[3072,3839],"specimens":331,"candidates":3,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":2,"renaming":0},"rejections":[{"expression":"(b·(c·a)) = ((a·c)·c)","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"(a·(b·a)) = ((a·a)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-74-11-3","outcome":"admitted"},{"advanced_at":1787520835,"survey_order":3,"survey_interval":[2304,3071],"specimens":429,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-71-16-1","outcome":"admitted"},{"advanced_at":1787520655,"survey_order":3,"survey_interval":[1536,2303],"specimens":504,"candidates":3,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":2,"renaming":0},"rejections":[{"expression":"((a·b)·(a·a)) = ((b·c)·(b·b))","reason":"not-distinguished-within-an-inherited-profile"},{"expression":"((c·a)·(a·c)) = ((c·b)·(a·a))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-68-15-3","outcome":"admitted"},{"advanced_at":1787520475,"survey_order":3,"survey_interval":[768,1535],"specimens":581,"candidates":2,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":1,"renaming":0},"rejections":[{"expression":"((a·a)·(b·b)) = ((c·a)·(c·b))","reason":"not-distinguished-within-an-inherited-profile"}],"admitted_predicate_id":"N-65-11-2","outcome":"admitted"},{"advanced_at":1787520295,"survey_order":3,"survey_interval":[0,767],"specimens":692,"candidates":1,"rejection_counts":{"duplicate":0,"tautology":0,"absorbed":0,"renaming":0},"rejections":[],"admitted_predicate_id":"N-62-10-1","outcome":"admitted"}],"admission_burden":{"source":"an active Polis institution and only its locally supporting inhabitants","form":"a universally quantified equation over the current finite binary-operation language","nontriviality":"must differ on two canonical worlds sharing the same inherited sixteen-bit law profile","invariance":"must preserve truth under every carrier-label permutation of both witness worlds","evidence":"exact supporting table, opposing table, earliest counterexample, source receipt, and rejected candidates"},"epistemic_boundary":"These are architecture-generated conjectures causally seeded by local Polis state. Admission proves a split in the surveyed witness pair, not historical novelty, intelligence, understanding, or universal independence from every possible inherited theory."}