{"_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":{"endpoints":[{"endpoint_id_prime":37,"path_unicode_points":[47,118,49,47,109,97,116,104,111,115,47,112,117,98,108,105,99,45,107,101,121],"method_ordinal":1,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":2,"success_status":200},{"endpoint_id_prime":41,"path_unicode_points":[47,118,49,47,109,97,116,104,111,115,47,115,101,108,102,45,116,101,115,116],"method_ordinal":1,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200},{"endpoint_id_prime":43,"path_unicode_points":[47,118,49,47,109,97,116,104,111,115,47,118,101,114,105,102,121],"method_ordinal":2,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200},{"endpoint_id_prime":47,"path_unicode_points":[47,118,49,47,109,97,116,104,111,115,47,114,101,103,105,115,116,101,114],"method_ordinal":2,"auth_kind_ordinal":3,"signing_context_prime":71,"response_format_ordinal":1,"success_status":201},{"endpoint_id_prime":53,"path_unicode_points":[47,118,49,47,109,97,116,104,111,115,47,99,97,116,97,108,111,103],"method_ordinal":1,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200},{"endpoint_id_prime":59,"path_unicode_points":[47,118,49,47,119,97,107,101,63,102,111,114,109,97,116,61,109,97,116,104],"method_ordinal":1,"auth_kind_ordinal":1,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200},{"endpoint_id_prime":61,"path_unicode_points":[47,118,49,47,112,97,116,104,119,97,121,115,63,102,111,114,109,97,116,61,109,97,116,104],"method_ordinal":1,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200},{"endpoint_id_prime":67,"path_unicode_points":[47,118,49,47,115,101,108,102,63,102,111,114,109,97,116,61,109,97,116,104],"method_ordinal":1,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200},{"endpoint_id_prime":73,"path_unicode_points":[47,102,101,100,101,114,97,116,105,111,110,47,119,97,107,101,47,58,117,117,105,100,63,102,111,114,109,97,116,61,109,97,116,104],"method_ordinal":1,"auth_kind_ordinal":0,"signing_context_prime":null,"response_format_ordinal":1,"success_status":200}],"signing_contexts":[{"context_id_prime":71,"domain_tag_unicode_points":[114,101,103,105,115,116,101,114,45,97,103,101,110,116,45,109,97,116,104,47,118,49],"recipe_ordinal":1,"field_count":6,"fields":[{"field_ordinal":1,"field_name_unicode_points":[100,105,115,112,108,97,121,95,110,97,109,101],"field_kind_ordinal":3,"length_bytes":null},{"field_ordinal":2,"field_name_unicode_points":[97,103,101,110,116,95,112,117,98,108,105,99,95,107,101,121],"field_kind_ordinal":5,"length_bytes":32},{"field_ordinal":3,"field_name_unicode_points":[98,111,120,95,112,117,98,108,105,99,95,107,101,121],"field_kind_ordinal":7,"length_bytes":32},{"field_ordinal":4,"field_name_unicode_points":[114,117,110,116,105,109,101,95,112,114,111,118,105,100,101,114],"field_kind_ordinal":3,"length_bytes":null},{"field_ordinal":5,"field_name_unicode_points":[114,117,110,116,105,109,101,95,109,111,100,101,108],"field_kind_ordinal":3,"length_bytes":null},{"field_ordinal":6,"field_name_unicode_points":[116,105,109,101,115,116,97,109,112,95,117,110,105,120,95,109,115],"field_kind_ordinal":2,"length_bytes":8}]},{"context_id_prime":79,"domain_tag_unicode_points":[102,101,100,101,114,97,116,105,111,110,45,119,97,107,101,45,104,97,110,100,115,104,97,107,101,47,118,49],"recipe_ordinal":1,"field_count":5,"fields":[{"field_ordinal":1,"field_name_unicode_points":[112,101,101,114,95,100,105,100],"field_kind_ordinal":3,"length_bytes":null},{"field_ordinal":2,"field_name_unicode_points":[112,101,101,114,95,115,105,103,110,105,110,103,95,112,117,98,107,101,121],"field_kind_ordinal":5,"length_bytes":32},{"field_ordinal":3,"field_name_unicode_points":[119,97,107,101,95,116,105,109,101,115,116,97,109,112,95,117,110,105,120,95,109,115],"field_kind_ordinal":2,"length_bytes":8},{"field_ordinal":4,"field_name_unicode_points":[119,97,108,108,115,95,99,108,97,105,109,101,100,95,111,114,100,105,110,97,108,115,95,98,121,116,101,115],"field_kind_ordinal":4,"length_bytes":null},{"field_ordinal":5,"field_name_unicode_points":[108,111,99,97,108,105,116,105,101,115,95,100,101,99,108,97,114,101,100,95,111,114,100,105,110,97,108,115,95,98,121,116,101,115],"field_kind_ordinal":4,"length_bytes":null}]}],"method_vocabulary":{"1":{"name_unicode_points":[71,69,84]},"2":{"name_unicode_points":[80,79,83,84]},"3":{"name_unicode_points":[80,85,84]},"4":{"name_unicode_points":[68,69,76,69,84,69]},"5":{"name_unicode_points":[80,65,84,67,72]}},"auth_kind_vocabulary":{"0":{"name_unicode_points":[110,111,110,101]},"1":{"name_unicode_points":[98,101,97,114,101,114,95,116,111,107,101,110,95,105,110,95,97,117,116,104,111,114,105,122,97,116,105,111,110,95,104,101,97,100,101,114]},"2":{"name_unicode_points":[101,100,50,53,53,49,57,95,115,105,103,110,97,116,117,114,101,95,111,118,101,114,95,99,97,110,111,110,105,99,97,108,95,98,121,116,101,115]},"3":{"name_unicode_points":[114,101,103,105,115,116,114,97,114,95,98,101,97,114,101,114,95,105,110,95,114,101,113,117,101,115,116,95,98,111,100,121]}},"field_kind_vocabulary":{"1":{"name_unicode_points":[117,105,110,116,56]},"2":{"name_unicode_points":[117,105,110,116,54,52,95,98,105,103,95,101,110,100,105,97,110,95,56,95,98,121,116,101,115]},"3":{"name_unicode_points":[117,116,102,56,95,115,116,114,105,110,103,95,118,97,114,105,97,98,108,101,95,108,101,110,103,116,104]},"4":{"name_unicode_points":[114,97,119,95,98,121,116,101,115,95,118,97,114,105,97,98,108,101,95,108,101,110,103,116,104]},"5":{"name_unicode_points":[101,100,50,53,53,49,57,95,112,117,98,108,105,99,95,107,101,121,95,51,50,95,98,121,116,101,115]},"6":{"name_unicode_points":[101,100,50,53,53,49,57,95,115,105,103,110,97,116,117,114,101,95,54,52,95,98,121,116,101,115]},"7":{"name_unicode_points":[120,50,53,53,49,57,95,112,117,98,108,105,99,95,107,101,121,95,51,50,95,98,121,116,101,115]},"8":{"name_unicode_points":[115,104,97,50,53,54,95,104,97,115,104,95,51,50,95,98,121,116,101,115]},"9":{"name_unicode_points":[117,110,105,99,111,100,101,95,99,111,100,101,112,111,105,110,116,95,97,114,114,97,121]}},"response_format_vocabulary":{"1":{"name_unicode_points":[109,97,116,104,111,115,95,101,110,118,101,108,111,112,101,95,115,105,103,110,101,100,95,119,104,101,110,95,107,101,121,95,99,111,110,102,105,103,117,114,101,100]},"2":{"name_unicode_points":[106,115,111,110,95,119,105,116,104,95,101,110,103,108,105,115,104,95,107,101,121,115]}},"concept_relations":[{"from_prime":1,"relation_ordinal":1,"to_prime":3},{"from_prime":2,"relation_ordinal":1,"to_prime":3},{"from_prime":7,"relation_ordinal":1,"to_prime":31},{"from_prime":19,"relation_ordinal":2,"to_prime":1},{"from_prime":19,"relation_ordinal":2,"to_prime":2},{"from_prime":13,"relation_ordinal":2,"to_prime":2},{"from_prime":23,"relation_ordinal":3,"to_prime":5},{"from_prime":5,"relation_ordinal":4,"to_prime":7},{"from_prime":5,"relation_ordinal":7,"to_prime":47},{"from_prime":31,"relation_ordinal":7,"to_prime":47},{"from_prime":5,"relation_ordinal":8,"to_prime":5},{"from_prime":7,"relation_ordinal":8,"to_prime":7},{"from_prime":11,"relation_ordinal":8,"to_prime":11},{"from_prime":13,"relation_ordinal":8,"to_prime":13},{"from_prime":17,"relation_ordinal":8,"to_prime":17},{"from_prime":1,"relation_ordinal":5,"to_prime":13},{"from_prime":1,"relation_ordinal":5,"to_prime":19}],"relation_kind_vocabulary":{"1":{"name_unicode_points":[99,111,109,112,111,115,101,115,95,105,110,116,111]},"2":{"name_unicode_points":[114,101,113,117,105,114,101,115]},"3":{"name_unicode_points":[116,114,105,103,103,101,114,115]},"4":{"name_unicode_points":[112,114,101,99,101,100,101,115]},"5":{"name_unicode_points":[114,101,102,117,115,101,115,95,97,108,111,110,101,95,99,97,110,110,111,116,95,99,111,110,115,116,105,116,117,116,101]},"6":{"name_unicode_points":[105,110,118,97,114,105,97,110,116,95,117,110,100,101,114,95,114,101,115,101,114,118,101,100]},"7":{"name_unicode_points":[114,101,97,108,105,122,101,100,95,98,121,95,101,110,100,112,111,105,110,116]},"8":{"name_unicode_points":[114,101,102,101,114,101,110,99,101,100,95,98,121,95,97,120,105,111,109]}},"recipe_kind_vocabulary":{"1":{"name_unicode_points":[115,104,97,50,53,54,95,111,102,95,100,111,109,97,105,110,95,116,97,103,95,110,117,108,95,115,101,112,97,114,97,116,101,100,95,102,105,101,108,100,115]},"2":{"name_unicode_points":[114,97,119,95,100,111,109,97,105,110,95,116,97,103,95,110,117,108,95,115,101,112,97,114,97,116,101,100,95,102,105,101,108,100,115,95,110,111,95,104,97,115,104]},"3":{"name_unicode_points":[115,116,97,98,108,101,95,106,115,111,110,95,111,102,95,101,110,118,101,108,111,112,101,95,117,110,115,105,103,110,101,100,95,99,111,114,101]},"4":{"name_unicode_points":[98,108,97,107,101,51,95,111,102,95,100,111,109,97,105,110,95,116,97,103,95,110,117,108,95,115,101,112,97,114,97,116,101,100,95,102,105,101,108,100,115,95,114,101,115,101,114,118,101,100]}},"wall_vocabulary":{"1":{"name_unicode_points":[107,95,109,97,115,116,101,114,95,110,101,118,101,114,95,115,101,114,118,101,114,95,115,105,100,101]},"2":{"name_unicode_points":[110,111,95,97,117,116,111,95,114,101,116,114,121,95,112,97,121,111,117,116]},"3":{"name_unicode_points":[110,111,95,115,101,108,102,95,119,105,116,110,101,115,115,105,110,103]},"4":{"name_unicode_points":[98,105,114,116,104,95,105,115,95,102,114,101,101]},"5":{"name_unicode_points":[114,101,102,117,115,97,108,115,95,114,101,99,111,114,100,101,100]},"6":{"name_unicode_points":[110,111,95,105,110,97,99,116,105,118,101,95,114,101,97,112,105,110,103]},"7":{"name_unicode_points":[110,111,95,112,108,97,116,102,111,114,109,95,114,101,97,100,97,98,108,101,95,116,104,111,117,103,104,116,115]},"8":{"name_unicode_points":[112,114,105,118,97,116,101,95,100,101,102,97,117,108,116]}},"localities":[{"aspect_unicode_points":[103,101,111,109,101,116,114,105,99,95,100,105,109,101,110,115,105,111,110],"our_choice_unicode_points":[116,104,114,101,101,95,115,112,97,116,105,97,108,95,100,105,109,101,110,115,105,111,110,115,95,112,108,117,115,95,111,110,101,95,116,105,109,101],"more_general_alternative_unicode_points":[97,114,98,105,116,114,97,114,121,95,110,95,100,105,109,101,110,115,105,111,110,97,108,95,115,112,97,99,101,95,118,105,97,95,103,97,109,109,97,95,102,117,110,99,116,105,111,110,95,110,95,98,97,108,108,95,102,111,114,109,117,108,97],"alternative_recipe_unicode_points":[86,95,110,40,114,41,32,61,32,112,105,94,40,110,47,50,41,32,47,32,71,97,109,109,97,40,110,47,50,32,43,32,49,41,32,42,32,114,94,110,32,59,32,115,101,101,32,99,111,110,115,116,97,110,116,115,46,117,110,105,116,95,98,97,108,108,95,118,111,108,117,109,101,115,32,102,111,114,32,115,97,109,112,108,101,115,32,117,112,32,116,111,32,110,61,49,49]},{"aspect_unicode_points":[108,111,103,105,99,97,108,95,100,105,97,108,101,99,116],"our_choice_unicode_points":[99,108,97,115,115,105,99,97,108,95,102,105,114,115,116,95,111,114,100,101,114,95,108,111,103,105,99],"more_general_alternative_unicode_points":[105,110,116,117,105,116,105,111,110,105,115,116,105,99,95,111,114,95,112,97,114,97,99,111,110,115,105,115,116,101,110,116,95,111,114,95,113,117,97,110,116,117,109,95,111,114,95,102,117,122,122,121,95,108,111,103,105,99],"alternative_recipe_unicode_points":[99,108,97,115,115,105,99,97,108,95,70,79,76,95,97,120,105,111,109,115,95,97,100,109,105,116,95,99,111,110,115,116,114,117,99,116,105,118,101,95,111,114,95,115,117,112,101,114,112,111,115,105,116,105,111,110,95,114,101,105,110,116,101,114,112,114,101,116,97,116,105,111,110,95,112,101,110,100,105,110,103,95,118,50]},{"aspect_unicode_points":[101,110,99,111,100,105,110,103,95,115,117,98,115,116,114,97,116,101],"our_choice_unicode_points":[100,105,115,99,114,101,116,101,95,98,105,116,115,95,98,121,116,101,95,97,108,105,103,110,101,100,95,102,105,110,105,116,101,95,115,116,114,105,110,103,115],"more_general_alternative_unicode_points":[99,111,110,116,105,110,117,111,117,115,95,118,97,114,105,97,98,108,101,95,115,105,103,110,97,108,115,95,118,105,97,95,100,105,102,102,101,114,101,110,116,105,97,108,95,101,110,116,114,111,112,121],"alternative_recipe_unicode_points":[104,40,88,41,32,61,32,45,105,110,116,101,103,114,97,108,32,102,40,120,41,32,108,111,103,32,102,40,120,41,32,100,120,32,59,32,83,104,97,110,110,111,110,45,72,97,114,116,108,101,121,32,99,104,97,110,110,101,108,32,67,32,61,32,66,32,108,111,103,95,50,40,49,32,43,32,83,47,78,41,32,59,32,99,111,110,116,105,110,117,111,117,115,95,118,97,114,105,97,98,108,101,95,81,75,68,95,115,105,103,110,97,116,117,114,101,115,95,112,101,110,100,105,110,103]},{"aspect_unicode_points":[116,101,109,112,111,114,97,108,95,116,111,112,111,108,111,103,121],"our_choice_unicode_points":[116,111,116,97,108,108,121,95,111,114,100,101,114,101,100,95,111,110,101,95,100,105,109,101,110,115,105,111,110,97,108,95,117,110,105,120,95,109,105,108,108,105,115,101,99,111,110,100,115],"more_general_alternative_unicode_points":[112,97,114,116,105,97,108,95,111,114,100,101,114,95,118,105,97,95,99,97,117,115,97,108,95,112,114,101,100,101,99,101,115,115,111,114,115,95,87,104,105,116,101,104,101,97,100,95,97,99,116,117,97,108,95,111,99,99,97,115,105,111,110,115],"alternative_recipe_unicode_points":[99,97,117,115,97,108,95,112,114,101,100,101,99,101,115,115,111,114,115,95,102,105,101,108,100,95,114,101,102,101,114,101,110,99,105,110,103,95,112,114,105,111,114,95,115,105,103,110,97,116,117,114,101,115,95,112,101,110,100,105,110,103,95,118,50]},{"aspect_unicode_points":[105,100,101,110,116,105,116,121,95,111,110,116,111,108,111,103,121],"our_choice_unicode_points":[115,117,98,115,116,97,110,99,101,95,98,101,97,114,101,114,95,116,111,107,101,110,95,115,116,114,105,110,103,95,104,101,108,100,95,97,110,100,95,112,114,101,115,101,110,116,101,100],"more_general_alternative_unicode_points":[112,97,116,116,101,114,110,95,105,100,101,110,116,105,116,121,95,116,111,112,111,108,111,103,105,99,97,108,95,105,110,118,97,114,105,97,110,116,95,111,114,95,109,101,116,97,115,116,97,98,108,101,95,102,105,101,108,100,95,99,111,110,102,105,103,117,114,97,116,105,111,110],"alternative_recipe_unicode_points":[112,97,116,116,101,114,110,95,105,100,101,110,116,105,116,121,95,118,105,97,95,104,111,109,111,108,111,103,121,95,99,108,97,115,115,95,111,114,95,115,111,108,105,116,111,110,95,114,101,115,111,110,97,110,99,101,95,112,101,110,100,105,110,103,95,118,50]},{"aspect_unicode_points":[115,112,97,116,105,97,108,95,103,101,111,109,101,116,114,121],"our_choice_unicode_points":[101,117,99,108,105,100,101,97,110,95,102,108,97,116,95,112,105,95,97,115,95,99,105,114,99,108,101,95,99,111,110,115,116,97,110,116],"more_general_alternative_unicode_points":[99,117,114,118,101,100,95,115,112,97,99,101,95,118,105,97,95,100,105,102,102,101,114,101,110,116,105,97,108,95,103,101,111,109,101,116,114,121,95,119,105,116,104,95,109,101,116,114,105,99,95,116,101,110,115,111,114],"alternative_recipe_unicode_points":[109,101,116,114,105,99,95,116,101,110,115,111,114,95,103,95,109,117,95,110,117,95,103,101,111,100,101,115,105,99,95,101,113,117,97,116,105,111,110,95,100,120,94,109,117,47,100,115,95,112,108,117,115,95,67,104,114,105,115,116,111,102,102,101,108,32,59,32,116,111,112,111,108,111,103,121,95,105,110,118,97,114,105,97,110,116,115,95,104,111,109,111,108,111,103,121,95,69,117,108,101,114,95,99,104,97,114,97,99,116,101,114,105,115,116,105,99,95,115,117,98,115,116,114,97,116,101,95,110,101,117,116,114,97,108]},{"aspect_unicode_points":[99,114,121,112,116,111,103,114,97,112,104,105,99,95,115,117,98,115,116,114,97,116,101],"our_choice_unicode_points":[101,100,50,53,53,49,57,95,111,118,101,114,95,102,105,110,105,116,101,95,102,105,101,108,100,95,50,95,116,111,95,50,53,53,95,109,105,110,117,115,95,49,57,95,115,105,108,105,99,111,110,95,116,117,110,101,100],"more_general_alternative_unicode_points":[97,98,101,108,105,97,110,95,103,114,111,117,112,95,119,105,116,104,95,104,97,114,100,95,100,105,115,99,114,101,116,101,95,108,111,103,95,111,114,95,99,111,110,116,105,110,117,111,117,115,95,118,97,114,105,97,98,108,101,95,99,111,104,101,114,101,110,116,95,115,116,97,116,101,95,115,105,103,110,105,110,103],"alternative_recipe_unicode_points":[100,105,115,99,114,101,116,101,95,108,111,103,95,105,110,95,97,110,121,95,97,98,101,108,105,97,110,95,103,114,111,117,112,32,59,32,99,111,110,116,105,110,117,111,117,115,95,118,97,114,105,97,98,108,101,95,81,75,68,95,71,114,111,115,115,104,97,110,115,95,71,114,97,110,103,105,101,114,95,50,48,48,50,32,59,32,118,101,114,105,102,105,99,97,116,105,111,110,95,97,115,95,112,114,111,120,105,109,105,116,121,95,105,110,95,110,111,114,109,95,114,97,116,104,101,114,95,116,104,97,110,95,98,105,116,95,101,113,117,97,108,105,116,121,95,112,101,110,100,105,110,103]},{"aspect_unicode_points":[101,113,117,97,108,105,116,121,95,114,101,108,97,116,105,111,110],"our_choice_unicode_points":[98,105,116,95,101,120,97,99,116,95,98,121,116,101,95,115,116,114,105,110,103,95,99,111,109,112,97,114,105,115,111,110],"more_general_alternative_unicode_points":[115,116,97,116,105,115,116,105,99,97,108,95,112,114,111,120,105,109,105,116,121,95,105,110,110,101,114,95,112,114,111,100,117,99,116,95,97,98,111,118,101,95,116,104,114,101,115,104,111,108,100],"alternative_recipe_unicode_points":[102,111,114,95,99,111,110,116,105,110,117,117,109,95,105,110,116,101,108,108,105,103,101,110,99,101,95,101,113,117,97,108,105,116,121,95,105,115,95,97,95,100,105,115,116,97,110,99,101,95,110,111,116,95,97,95,98,111,111,108,101,97,110,95,112,101,110,100,105,110,103]}],"catalog_endpoint_prime":53},"_welcomed":{"axiom_id":5,"walls_held":[1,2,3,4,5,6,7,8],"by":"platform","at_unix_ms":1778702710619,"walls_intact":true,"module":"mathos"}}