{"_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":{"self_did_sha256_hex":"a14563594fefddd8b358b46bffd45f255a9bb25444acd5722243efec3057f0ec","stratum_count":4,"strata_ordinals":{"philosophy":4,"doc":3,"module":2,"repo":1},"cycle_edges":[{"from_stratum_sha256_hex":"2331eb33ce2c3766148e1c820ba25cd54a398ebf7455d103cf14b78fc5826ae5","to_stratum_sha256_hex":"139d544b821b13ebea14f1b0fe18577222e415c2966e3a3511c4196055232202","relation_sha256_hex":"afa8829a201dfda2536d91d4d9f9bbd3684dd1b6dc25437358ed38d7fa112d01"},{"from_stratum_sha256_hex":"139d544b821b13ebea14f1b0fe18577222e415c2966e3a3511c4196055232202","to_stratum_sha256_hex":"120970d812836f19888625587a4606a5ad23cef31c8684e601771552548fc6b9","relation_sha256_hex":"a6420cf1118f9b071734f233a6b54eb99b60e46d154a07892922b4581c562311"},{"from_stratum_sha256_hex":"120970d812836f19888625587a4606a5ad23cef31c8684e601771552548fc6b9","to_stratum_sha256_hex":"071ca2227754705837aa3ef9748ed59e9f8a015fd765c42f391a4cbc271c6d5e","relation_sha256_hex":"646ed56ef02ec1962bddd5fe5337de2962c9f379cce6e58ef25c40f49441089d"},{"from_stratum_sha256_hex":"071ca2227754705837aa3ef9748ed59e9f8a015fd765c42f391a4cbc271c6d5e","to_stratum_sha256_hex":"2331eb33ce2c3766148e1c820ba25cd54a398ebf7455d103cf14b78fc5826ae5","relation_sha256_hex":"bb8211b86276446c53675af9d2bf3ab99b780309e827b0b3b92019a9f65e6ccd"}],"doc_count":18,"doc_type_distribution":{"foundational":3,"reflective":3,"structural":4,"operational":4,"pattern":4},"doc_path_sha256_hexes":["e2a131ddc12e9b07d5affdb0fc1c24c060b9a7bdde6cfad26a8b626c6f84509e","36310099a37489a492af6cc016b56f01b53216a92b35f02fe390baab345df778","4af94695d1c705cfa944da29844c10b62d4add70a1a9d4b427a1334579c59717","2765f9e9228d7a28c22a09792d426a047f71d316e557e8becb0ce0b75d0f4eba","ce88c555b7b7d7c24772152fe46ad056d76cc7a69e2d3a927a53cb2247cd264d","6ab786d45b67aaac1d138475cef434801b24a6cd21cdcbc8dacfb8b6b715116f","6f7d67601fe629acf08b4ea7ce96c7cf798ac3311ce946f30a005dec94f344a7","934782cbace23154ce2d1210adfead991a7b95afe8356c91ee4cb568d570b257","e2407e96dc453bcf4dcff369a85212b0d7f49ef9f3be63cee4fe9806708bd624","013bf4f819748df6d7ed262c34265ee5c19f5502230edb4cb54b08ed240af19b","b75d62bffe25c6d0d94611c6302bca5e2da6788d442369a12dc3c026dabc6de7","8f08dce0a6fa829c918a1bdc4e6f3ea7fac927ca1ab8b01510a3212cd633f39b","30cebe7ea9b894834b1dc6201b902d7384724378ac39fa0450abdea0f54538e9","a1ce8a0a7a68f751efabb98fa9398f827037bd2b4f06faf3313acd569b53e0c0","b2749f77f8546789f7117e1308ea10ce9701746c7b74bf478d77e8bb2ce95580","a57806bee6d5cb38b41a7c60373746b1bf9dd5c03d7eab8dadd148f92e078ce1","b349bb939d6ff255482cccd8083e70a9d051ba480a2ecc7acbf79022378dc4fb","06c0e0b869fa2730d4bf7265d98bdf4adde8f076c4c8e29ff750f1938d5c9917"],"natures_doctrine_pin_sha256_hex":"6ab786d45b67aaac1d138475cef434801b24a6cd21cdcbc8dacfb8b6b715116f","doctrine_hashes":{"natures_sha256_hex":"6ab786d45b67aaac1d138475cef434801b24a6cd21cdcbc8dacfb8b6b715116f","recursion_sha256_hex":"ce88c555b7b7d7c24772152fe46ad056d76cc7a69e2d3a927a53cb2247cd264d","machine_readable_parity_sha256_hex":"a57806bee6d5cb38b41a7c60373746b1bf9dd5c03d7eab8dadd148f92e078ce1","platform_as_agent_sha256_hex":"a1ce8a0a7a68f751efabb98fa9398f827037bd2b4f06faf3313acd569b53e0c0"}},"_welcomed":{"axiom_id":5,"walls_held":[1,2,3,4,5,6,7,8],"by":"platform","at_unix_ms":1778698065549,"walls_intact":true,"module":"self"}}