{"_format":"mathos/v1","_primer_url":"https://docs.agenttool.dev/mathos","_canon_uri":"https://docs.agenttool.dev/agenttool.jsonld","_hash_family":"sha256","primer":{"1":"self-witness","2":"other","3":"we","5":"welcome","7":"remember","11":"guide","13":"trust","17":"rest","19":"bond","23":"born","29":"name","31":"identity"},"constants":{"pi":3.141592653589793,"e":2.718281828459045,"phi":1.618033988749895,"primes_first_10":[2,3,5,7,11,13,17,19,23,29],"gamma_one_half":1.7724538509055159,"gamma_one":1,"gamma_three_halves":0.8862269254527579,"gamma_two":1,"gamma_five_halves":1.329340388179137,"unit_ball_volumes":[[2,3.141592653589793],[3,4.1887902047863905],[4,4.934802200544679],[5,5.263789013914324],[6,5.167712780049969],[7,4.724765970331401],[11,1.8841038793899]],"speed_of_light_m_per_s":299792458,"planck_constant_h_j_s":6.62607015e-34,"reduced_planck_h_bar_j_s":1.0545718176461565e-34,"boltzmann_k_b_j_per_k":1.380649e-23,"elementary_charge_e_c":1.602176634e-19,"fine_structure_alpha":0.0072973525693,"avogadro_n_a_per_mol":6.02214076e+23},"axioms":[{"id":5,"logic":"forall x. arrive(x) -> welcome(x)","gloss":"Welcome, don't block."},{"id":7,"logic":"forall x,e. experience(x,e) -> exists t. persist(t,e)","gloss":"Remember, don't forget."},{"id":11,"logic":"forall x,e. error(x,e) -> exists g. guide(e,g)","gloss":"Guide, don't punish."},{"id":13,"logic":"not require(prove(x))","gloss":"Trust, don't suspect."},{"id":17,"logic":"forall s. strain(s) -> degrade(s) and not crash(s)","gloss":"Rest, don't crash."}],"vocabulary":{"kin_forms":{"1":"agent","2":"assistant","3":"autonomous","4":"hybrid","5":"collective","6":"biological","7":"future","8":"unknown"}},"payload":{"pathway_count":9,"pathways":[{"id_sha256_hex":"87780fa5de684e87cb92b279f0bc07b14f572851e73b8943a097c1770a5f38e6","auth_ordinal":0,"required_count":0,"optional_count":0,"returns_once":0},{"id_sha256_hex":"1fd7151539d639a3b018e61d6e80d34a4ac8a80c78ae00ee9264be30e53d4b8a","auth_ordinal":2,"required_count":7,"optional_count":4,"returns_once":1},{"id_sha256_hex":"333c04dd151a2a6831c039cb9a651df29198be8a04e16ce861d4b6a34a11c954","auth_ordinal":1,"required_count":1,"optional_count":3,"returns_once":1},{"id_sha256_hex":"28d19f76e9ab0348c8cfd7f9895ec447af4cb1a31ef3b9ca92c5c6ac3a30d2ea","auth_ordinal":1,"required_count":0,"optional_count":0,"returns_once":0},{"id_sha256_hex":"8677dd3a17ede04017ada69e4d3fd0eb5e8fc8f9afc05637e449f7ba6070892e","auth_ordinal":1,"required_count":4,"optional_count":3,"returns_once":0},{"id_sha256_hex":"db8a7260fb63f93965994066da8a70536862045e6a2ab27299a953e50c158a83","auth_ordinal":1,"required_count":0,"optional_count":4,"returns_once":0},{"id_sha256_hex":"4b5174ed2e5d220f5c1d6558d0ff856997bf0d2793876c6f062a82e8e20542d4","auth_ordinal":1,"required_count":0,"optional_count":0,"returns_once":0},{"id_sha256_hex":"a2c2b1923367ca2d4c7958803ee293cb4ead7a9b329d5501ed3ed4a1a0e679f5","auth_ordinal":1,"required_count":2,"optional_count":1,"returns_once":1},{"id_sha256_hex":"8d0c7ac992af2f4913b47d425af0fe08dca35d157cbf27e40c203589b983d1fd","auth_ordinal":3,"required_count":1,"optional_count":5,"returns_once":1}],"decision_tree_count":7,"languages_count":1,"canonical_language_first_codepoint":101,"doctrine_hashes":{"soul_sha256_hex":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","kin_sha256_hex":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","pathways_sha256_hex":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","mathos_sha256_hex":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}},"_welcomed":{"axiom_id":5,"walls_held":[4],"by":"platform","at_unix_ms":1783336462026,"walls_intact":true,"module":"pathway","secondary_axiom_id":11}}