keel_verifier/__init__.py,sha256=HTCee9Nj9-KCDsDpLDBpPwPjnW55Y7Gm9rrbXE2mcuY,1325
keel_verifier/__main__.py,sha256=i0y4XU703QxBEraexxOorhWJwysEkZ2vDYJ0ML4g9gM,92
keel_verifier/_release_manifest.json,sha256=LWFQWSPl01wsI-EeR-IcqS57i2ARdK6f7Sv18-U1xO8,54060
keel_verifier/action_classification_derivation.py,sha256=iGuV2ME1DCutmqfSCdewLdNjfkCoogxYPFTkq1GkkOg,8077
keel_verifier/cli.py,sha256=Mx0iBU-hvvj2Uh-3LnTELfBqfP-r9-Wij7DqCaA-APg,37531
keel_verifier/doctor.py,sha256=Iq_H1pFu1YA6DlgKkYE4qUnDL8Uq_4lsKkOmhMqov4g,21071
keel_verifier/human_artifact.py,sha256=ydPJp6LhPO5hofLLjawlvsV63qYpa3rdxG8r0RpU-yc,21733
keel_verifier/install_diagnostics.py,sha256=t1WZQ_fI0sGEMmuKU5nb9Ygb08dJKVZ5aUCabn2zhu4,6433
keel_verifier/monitor.py,sha256=KcFM4-tESgUXIhdD6Qi9xlwTCUG_c0pVvpqXHQBVI1Q,9967
keel_verifier/permit_co_signature.py,sha256=0FkzbYllEQgSozuTky35OHxGtkEJOg56MJ6kb_TEy_A,14728
keel_verifier/permit_exact.py,sha256=ODNffoBr87MAyx1DCAZLfuCku1wB2FKPDev5eaj7E1c,13269
keel_verifier/permit_exact_v2.py,sha256=2r_bqp_O1g8l8osYTGyPb6bRTmGb6Twk9eidgk3vAaY,134258
keel_verifier/permit_package.py,sha256=Q5YVFBr2qOEQxaUtlwmyuVkEi_kf_hAO4wLWLA3uMYU,7972
keel_verifier/permit_presentation.py,sha256=2wxvJ0J5TLRln43aiYB_72eER0l-lXdCyVsZH26ZUkA,18899
keel_verifier/report_render.py,sha256=G3GREORC_YwvPtIWmMaKMMAON9f_pIfXwrvn5vYwYcI,25087
keel_verifier/self_check.py,sha256=28vWM8vVGgH6juWEhbJ8MgMJqCrUf32yZrcX14QJl38,51185
keel_verifier/semantics.py,sha256=sR41_PTUFg130YLQ9Tjx-sqXu6G2BMgd4-EmqGaFq7o,77893
keel_verifier/verdicts.py,sha256=Z9I0TtgZ8om4LAQvp4OXyo2IuTyx6d6afvLHr_wzgFo,17361
keel_verifier/verifier.py,sha256=d7JLUn8LNdozESZSuZh6VztJM0OynRLfAzrio_UnZXA,738249
keel_verifier/verifier_output_render.py,sha256=ryklO3ZNzjnYwqBKJRVeymOtJSRDcED90kjYkRlkJPY,13846
keel_verifier/work_chain.py,sha256=I0MaSLk1cBxlcKtV-P1oj9EMbwW4sx1H_hSs1nEgeW8,95934
keel_verifier/work_chain_v2.py,sha256=z42cLKZ-t4xkuIPRV-B_6sEW_v56HXJFQwxgHO8goGw,101257
keel_verifier/canonical/__init__.py,sha256=KHGOSfFleDjB73NSWHnTKBYpAF0GnF3prNanImPt60k,71
keel_verifier/canonical/permit_binding.py,sha256=01m8zPu4KliuvLu7wHXeBS1pwJb_oGQ5yl99MuPGp_0,26276
keel_verifier/capability/README.md,sha256=HndosfeLb38k-v5S0p_rzYY8BfTmDP_LDdCFKln1Jng,2080
keel_verifier/capability/v1.json,sha256=kiFpk0ojxnuXB1pTBhA2J8ozNdxurPpMHvTIPcdIPAI,59340
keel_verifier/data/claim_registry_v0.json,sha256=HOXD1G6ByYmnoy4d6x-cTCFokTAmmbQFDi9-3_UNfBU,31010
keel_verifier/data/report_presentation_v0.json,sha256=8tJylHXhnF2cY75MjFDoP36S7Np6PaqHCjje_bNZm1Y,26366
keel_verifier/data/trust_root.json,sha256=o64WcGAxJM01QRxuI6dq1GNbUNFNOw-AI0kYnRFgCWw,2117
keel_verifier/data/claim_registry/v0.json,sha256=HOXD1G6ByYmnoy4d6x-cTCFokTAmmbQFDi9-3_UNfBU,31010
keel_verifier/data/claim_registry/v1.json,sha256=_z_uCZP--0RW6XOA9E4jzPQ_wXXI8Sx4ZFy2s5siULI,34386
keel_verifier/data/claim_registry/v2.json,sha256=shsGQCpV7jj_6vre6P5JGu94bip7KWUMdi78fL4vE0Q,11895
keel_verifier/data/claim_registry/v3.json,sha256=VtQckkXfPd72Azvp7xks_doBzao4DDjqQnMh-BOeqSI,1912
keel_verifier/data/claim_registry/v4.json,sha256=ZLbxHFy_EWjP930bcIAYpaBp2gDv_ugesn94xzHmOTY,3007
keel_verifier/data/claim_registry/v5.json,sha256=FLAo6BthDJBauSPORJxIA1LVaSLiEQI6YHXkZZLOk9A,3351
keel_verifier/data/claim_registry/v6.json,sha256=KU87tck1gDfTzqGynoDOOLF_PsvkK4m3EHiaH4ktU3g,5358
keel_verifier/data/claim_registry/historical/v0-sha256-02b6fa04d9471905bee9d7e45698c96bd16124bf167ee19ae859213935b264e5.json,sha256=Arb6BNlHGQW-6dfkVpjJa9FhJL8WfuGa6FkhOTWyZOU,25155
keel_verifier/data/claim_registry/historical/v0-sha256-0b27a8346fac861a8c7298055fc763c0bad0dfcd068af38dd2c620b6a7d610c4.json,sha256=CyeoNG-shhqMcpgFX8djwLrQ380GivON0sYgtqfWEMQ,27235
keel_verifier/data/claim_registry/historical/v0-sha256-193003abced927dd7be5acb9d41d5bde6cab72cdb04a022496c1f59139d75eb6.json,sha256=GTADq87ZJ9175ay51B1b3myrcs2wSgIklsH1kTnXXrY,16967
keel_verifier/data/claim_registry/historical/v0-sha256-20178d693c18d09bed08c3044e4d74115f49f5993e5718d802513fcb1ed70843.json,sha256=IBeNaTwY0JvtCMMETk10EV9J9Zk-VxjYAlE_yx7XCEM,18967
keel_verifier/data/claim_registry/historical/v0-sha256-3a50f2a6175ac6417caab3c732b32fbe09bce77bb6a4de8daef097f6862ee8d1.json,sha256=OlDyphdaxkF8qrPHMrMvvgm853u2pN6NrvCX9oYu6NE,18306
keel_verifier/data/claim_registry/historical/v0-sha256-3c9327949bf077c4c447112f78af6f7edb1c2611048da150cf8ad890eed7dbfa.json,sha256=PJMnlJvwd8TERxEveK9vftscJhEEjaFQz4rYkO7X2_o,25941
keel_verifier/data/claim_registry/historical/v0-sha256-4be808c13849d2737bd0f40da0f522d8a6c4b672c29e3ac2c0b43cdc8e6be5c7.json,sha256=S-gIwThJ0nN70PQNoPUi2KbEtnLCnjrCwLQ83I5r5cc,22807
keel_verifier/data/claim_registry/historical/v0-sha256-506cbccd90859dc8d43e6b11fe9bc3fdcb64f7d5dde1c1e2c4ffc61333fb7ea9.json,sha256=UGy8zZCFncjUPmsR_pvD_ctk99Xd4cHixP_GEzP7fqk,30256
keel_verifier/data/claim_registry/historical/v0-sha256-5bf2ce6c3007f1171348f20db269962167b4ec111b278acc427857c8f57ead42.json,sha256=W_LObDAH8RcTSPINsmmWIWe07BEbJ4rMQnhXyPV-rUI,26622
keel_verifier/data/claim_registry/historical/v0-sha256-731d8afeb8770cc7a09a0ce1761580c98eb3c01a75e271f727d4992843c197f1.json,sha256=cx2K_rh3DMegmgzhdhWAyY6zwBp14nH3J9SZKEPBl_E,26445
keel_verifier/data/claim_registry/historical/v0-sha256-7539c1e9432860e756aebf1056cc50046a94f4f1e105385310eba4aff24734fd.json,sha256=dTnB6UMoYOdWrr8QVsxQBGqU9PHhBThTEOukr_JHNP0,27376
keel_verifier/data/claim_registry/historical/v0-sha256-8da29094827fda581ee8fb3a1466934182e572a91b7940d2ef1cb3c28c1ec215.json,sha256=jaKQlIJ_2lge6Ps6FGaTQYLlcqkbeUDS7xyzwowewhU,11650
keel_verifier/data/claim_registry/historical/v0-sha256-a142fcecf68ffd1ad9ebb03ab8a28accfe727d3f62989272088ce559a7aba1ba.json,sha256=oUL87PaP_RrZ67A6uKKKzP5yfT9imJJyCIzlWaerobo,23457
keel_verifier/data/claim_registry/historical/v0-sha256-b315ef722a8e4fafe3d3807bc7c8ccaafd601cab0e7d7985230da8248124337b.json,sha256=sxXvciqOT6_j04B7x8jMqv1gHKsOfXmFIw2oJIEkM3s,6845
keel_verifier/data/claim_registry/historical/v0-sha256-bd452075279dafcd348e3739117488f4791e706745900f1a8d73ac38041c5ca7.json,sha256=vUUgdSedr800jjc5EXSI9HkecGdFkA8ajXOsOAQcXKc,21587
keel_verifier/data/claim_registry/historical/v0-sha256-bfdc09a7eb33bb9c902335342ebe122270f0f2fe8e9a82078f0496e724b261e7.json,sha256=v9wJp-szu5yQIzU0Lr4SInDw8v6OmoIHjwSW5ySyYec,24170
keel_verifier/data/claim_registry/historical/v0-sha256-c766e8d11c5e15925884a35727af90eaa28cac8b00caed7f409328041696453c.json,sha256=x2bo0RxeFZJYhKNXJ6-Q6qKMrIsAyu1_QJMoBBaWRTw,13972
keel_verifier/data/claim_registry/historical/v0-sha256-d2d0f7033bdbbfcee21e690c2f24903a5bfa98135c0c0b39df81738999c2bb08.json,sha256=0tD3Azvbv87iHmkMLySQOlv6mBNcDAs534FziZnCuwg,16373
keel_verifier/data/claim_registry/historical/v0-sha256-d4ff07076f823d3f6a9bd7ce17f6096b035ca466b8ec71996d5417e4957ec7c8.json,sha256=1P8HB2-CPT9qm9fOF_YJawNcpGa47HGZbVQX5JV-x8g,7811
keel_verifier/data/claim_registry/historical/v0-sha256-ee953bbdb67208d7e660eca9764d14bef4cbd4d28105614ec14c4e58cf502235.json,sha256=7pU7vbZyCNfmYOypdk0UvvTL1NKBBWFOwUxOWM9QIjU,9359
keel_verifier/data/comparator_registry/v0.json,sha256=olBayU8nwdAJb6l38lvmmfoAqf9QegxMvg0e3y5EzuI,1292
keel_verifier/data/comparator_registry/work-action-authority-v2.json,sha256=trf5Se4QkzpXDbaZRd9gowRjjiFXRMpBRUUi8SAF9L4,3505
keel_verifier/data/comparator_registry/work-payment-authority-v1.json,sha256=HE37Z_InciSjy9yI-6coCpGptAX8_rmbqniI2Txdr3k,1644
keel_verifier/data/permit_to_x/consequence_registry/v1.json,sha256=_NCXb7mwvS0B7RRf1k-3lZiO08VRILVWayv0z5n5SZo,6638
keel_verifier/data/permit_to_x/consequence_registry/v1.schema.json,sha256=NerXnR9ZQ41wBnLYyH0Pc3pcVzehwCBS8hEBJteT2Is,2848
keel_verifier/data/permit_to_x/consequence_registry/v10.json,sha256=uhnMr8JGDQdOb4CV-i5Z9J6JKS1WICmuWSPIMIi1OiE,98237
keel_verifier/data/permit_to_x/consequence_registry/v10.schema.json,sha256=yLZIJj5BNX4CW0NVzz6RoySL3a-MLeaybOAgrUwNl1Y,3587
keel_verifier/data/permit_to_x/consequence_registry/v11.json,sha256=9E9V7XPcTzG9Nc3hLyefMyk8pUupOW3o4t__XA1NWic,135035
keel_verifier/data/permit_to_x/consequence_registry/v11.schema.json,sha256=P7m1vvvP0c26guRI4WlSzL1O91SWJUiVzDI1PM6lurE,3587
keel_verifier/data/permit_to_x/consequence_registry/v12.json,sha256=RCXaj7cvCwt5xw2HoPF1TRn4fQXAvqUN_riInJlW-Xo,215069
keel_verifier/data/permit_to_x/consequence_registry/v12.schema.json,sha256=gKDWH7qOqWTDb5LYxJ297mgP5LUKK6Sl0j0Q-DHg2lM,3587
keel_verifier/data/permit_to_x/consequence_registry/v13.json,sha256=gr8ty37FUOedYoZPWReZFxGEH_TDlQZzXFno0l2-tbg,224982
keel_verifier/data/permit_to_x/consequence_registry/v13.schema.json,sha256=LZmOBcT6ZB6CHppZQEYJfD3KK1DgbtoCOG0HYG_YZfo,3587
keel_verifier/data/permit_to_x/consequence_registry/v2.json,sha256=0Vl0i64CkSa7Iah12tF-s2CJtR0h6UwfMG0uRCD7FOY,14727
keel_verifier/data/permit_to_x/consequence_registry/v2.schema.json,sha256=Tz0V-AIKfC6p_KQWhdKXF2Afgmx8mj2bKlcgrW6SYIc,3584
keel_verifier/data/permit_to_x/consequence_registry/v3.json,sha256=5SPXl0knjQOQyfVt9uGUp8rnHDkOicZYZehW-BFGWZM,25395
keel_verifier/data/permit_to_x/consequence_registry/v3.schema.json,sha256=inyR6LA11UuexxhCOJECMpHHvUByWjG-pGTTdZTyJ0c,3584
keel_verifier/data/permit_to_x/consequence_registry/v4.json,sha256=eGjtR4_aNVYhqjG-3Z50oa-Vpr1_UcTkeMCdHs7KZKE,32648
keel_verifier/data/permit_to_x/consequence_registry/v4.schema.json,sha256=LKQjx-Vf_56OKVSWWYwxP8kKiSxSwOogfnPTWikZ8wI,3584
keel_verifier/data/permit_to_x/consequence_registry/v5.json,sha256=QjweatG30dpm01MnBkW6xl94vOqAfJ1BPqYPZ7N_uwo,46901
keel_verifier/data/permit_to_x/consequence_registry/v5.schema.json,sha256=QlshCeRIpeVu3eb9ex6PTbpXcych6YQ1W6G_QPxEQxw,3584
keel_verifier/data/permit_to_x/consequence_registry/v6.json,sha256=ch9Tu8AFLkWRCeD2y44HfNybhLipr7Bo7VHZwLuzZ90,54894
keel_verifier/data/permit_to_x/consequence_registry/v6.schema.json,sha256=ZtMXnRAPOay7Dr7IPjjzBbolS46xo-OUdz5SaRpFdRU,3584
keel_verifier/data/permit_to_x/consequence_registry/v7.json,sha256=bCsXIdZue7xFHwQ0_-QPM9uE8Kh3yoeycezfF0okyUA,64687
keel_verifier/data/permit_to_x/consequence_registry/v7.schema.json,sha256=Z5GQ6Zyc8A8XLMKNYFKGp8yyr8nnyJC7uA3YcwT0IDk,3584
keel_verifier/data/permit_to_x/consequence_registry/v8.json,sha256=zkgvK2NeEfKsSfFTK0nw0KUfuk2e30sbYsowLyUUIMM,75121
keel_verifier/data/permit_to_x/consequence_registry/v8.schema.json,sha256=O2M_kG5gYv_a40DA1P1z-j8sQrCqbES8KGGKOReNUKI,3584
keel_verifier/data/permit_to_x/consequence_registry/v9.json,sha256=CIaAJygeBMheEgZO2wcJyR6Ldosk9rH09fSEgltKy04,82563
keel_verifier/data/permit_to_x/consequence_registry/v9.schema.json,sha256=QhlG8CJSx5L0bsX6Bvxm1be8RxIo09LLp4TjYFATgH4,3584
keel_verifier/data/permit_to_x/fact_profiles/v1.json,sha256=PKBath0xx9_Az-ahwz7r8BXnSj0jn_aQnYbGXFSMGe8,3078
keel_verifier/data/permit_to_x/fact_profiles/v1.schema.json,sha256=ojfRKQJwIJXAEDihbHDSqDWzXgcynI9-IAKwnW_k_Yk,3728
keel_verifier/data/permit_to_x/fact_profiles/v10.json,sha256=UzRDmXRkMIzs4jhp5ce4y5FfX2FiDeXmo4o9uNIP2mE,484974
keel_verifier/data/permit_to_x/fact_profiles/v10.schema.json,sha256=toTm9pLCuT8_aqVYuJnZHukJW7ahFAAuf4l4yN9XKIU,7001
keel_verifier/data/permit_to_x/fact_profiles/v11.json,sha256=qhe6i3Ad0g3J5POkw0OB_h5k2akzv-MAXNlvb1zKXDY,567113
keel_verifier/data/permit_to_x/fact_profiles/v11.schema.json,sha256=Bm6iw8umL7pHgb-CVfMEYPG41236JIoKs7HZm0rIdfo,7001
keel_verifier/data/permit_to_x/fact_profiles/v12.json,sha256=HMekOKHbWLYed1zfSjnK9uM1rvIHzCmWy3rbSdFI6mU,625062
keel_verifier/data/permit_to_x/fact_profiles/v12.schema.json,sha256=ZwYFygiZuzijjzdjSZfiWIQ7RA9Ti3bQb1ZiO2NypJw,7001
keel_verifier/data/permit_to_x/fact_profiles/v13.json,sha256=3XKihix444iR-NHWBt_iRqM6YpFvhZNcAdAoepWvyWM,746652
keel_verifier/data/permit_to_x/fact_profiles/v13.schema.json,sha256=L53yoGQk13SeYTdhNCEtOrXwgC-jOFfhBkZ1OAWN0aE,7001
keel_verifier/data/permit_to_x/fact_profiles/v14.json,sha256=32unKQQ31VKMKQ0fIbPGWZQOwypPMXTClJQEMWT3G68,1006164
keel_verifier/data/permit_to_x/fact_profiles/v14.schema.json,sha256=Qr5KdBhjcxYxA7xme0YmBhiFvcGyFTlqy98-i9n-jsw,7001
keel_verifier/data/permit_to_x/fact_profiles/v15.json,sha256=FQCzFVfF3caLGn6q5bzroJxYRGB3ODtjjx_R4rFlDCE,1513340
keel_verifier/data/permit_to_x/fact_profiles/v15.schema.json,sha256=HAPgiUqhR8JyF4Q_FN2JjcPopfbwSHBjZA4SWt3FHWo,7001
keel_verifier/data/permit_to_x/fact_profiles/v16.json,sha256=OweHSvMAJuHbuPMIxZZ0PnVGjoOjQrjmQRw83kZjSrI,1570827
keel_verifier/data/permit_to_x/fact_profiles/v16.schema.json,sha256=UF74kKAKK8-rGnYuuCha9fOQ8PE_vGmSgZKhqf4iJ2w,7001
keel_verifier/data/permit_to_x/fact_profiles/v17.json,sha256=cquZWYTDdWHyIQ6i8z1sTmAF--6lRWHBKQjOlWHMOPU,1581040
keel_verifier/data/permit_to_x/fact_profiles/v17.schema.json,sha256=AuouN3fyRVHkptphCTbkeYk6N135q2ycuyFRxmitWWg,7001
keel_verifier/data/permit_to_x/fact_profiles/v18.json,sha256=ZWVxm7X3N69DsBffYgyy_hcSj8SKYH9zf0Xeq9nakeM,1601481
keel_verifier/data/permit_to_x/fact_profiles/v18.schema.json,sha256=EIljx1mpx_EsfoOP-uBJZ3LQHOK_SUrapqYZzAhIYaQ,7001
keel_verifier/data/permit_to_x/fact_profiles/v19.json,sha256=aAxTzFdWl8MTEov3mFUMvOtIJ5PQ5P1zHtcH13R469Y,1622016
keel_verifier/data/permit_to_x/fact_profiles/v19.schema.json,sha256=wQ6xeHB9lGtxxdofIzTXzgmcAr8SX3ftaNBYZVvwBp8,7001
keel_verifier/data/permit_to_x/fact_profiles/v2.json,sha256=vt0iGnYpoZhMqKww1qS1yUMPWQjLKAucHEZkEvFx4Dc,5020
keel_verifier/data/permit_to_x/fact_profiles/v2.schema.json,sha256=teHePoI_2NR-nkmQdu1C2wEFUZUcTfhNmeIoHeXVlaY,7097
keel_verifier/data/permit_to_x/fact_profiles/v3.json,sha256=w8XkYMBv7N3TPdj1F5CUps30mbQxqez9M0HNs5xuu7Q,12281
keel_verifier/data/permit_to_x/fact_profiles/v3.schema.json,sha256=oEuedkpD-Za7iq8xtqS4J4hWXqtYN9M89ZElZyAoe5A,4653
keel_verifier/data/permit_to_x/fact_profiles/v4.json,sha256=884O1hoFlUNaOEweFJqJZbfygyyC5sEXBNohAEgBhaE,52464
keel_verifier/data/permit_to_x/fact_profiles/v4.schema.json,sha256=zrqoKQJJ8qQug_q_sbIGRG9rUBMalvrEzUHnai-K3Gk,6953
keel_verifier/data/permit_to_x/fact_profiles/v5.json,sha256=L3bj9p4KwE1QvwGdZZ_CSv0yf8pj957kk74GZ9N0v50,94602
keel_verifier/data/permit_to_x/fact_profiles/v5.schema.json,sha256=8ueI26JB3n8aOkcNdWbqGktJ7KN5R2EkGpxAK3mgN8E,6953
keel_verifier/data/permit_to_x/fact_profiles/v6.json,sha256=47gT59IwvTr5WV3pZTRW4YkQo-nzCFCHJfM1-kKwslQ,168677
keel_verifier/data/permit_to_x/fact_profiles/v6.schema.json,sha256=wlMa6FDawRcMTVo1ZJPQ6kkODHvtKbXTpuKyL7xiRzQ,6998
keel_verifier/data/permit_to_x/fact_profiles/v7.json,sha256=O6koZNcyLOeQy7egjFSSD6Hie1xy-YUWDTXs7FFVajM,239937
keel_verifier/data/permit_to_x/fact_profiles/v7.schema.json,sha256=cCbGvM7NBuMuqAnM5aqfRh7UcXpRh00gCTXI117nrzc,6998
keel_verifier/data/permit_to_x/fact_profiles/v8.json,sha256=LTsAnnqG05FDDKQ0pqNMDg2oXJ-2xNzcvs4mvSKrJbc,347631
keel_verifier/data/permit_to_x/fact_profiles/v8.schema.json,sha256=4ZuuCGoZNgnu7d8j0W_v-035aJ4G0JuJ-VF9CH1ELcU,6998
keel_verifier/data/permit_to_x/fact_profiles/v9.json,sha256=gLCvKd2vyIwnTAOV7O8tFKwaVvSs8IAo2hewe7N9a6s,412456
keel_verifier/data/permit_to_x/fact_profiles/v9.schema.json,sha256=ucIFUrw8S1kj5ttFnABbM5oH5JbpwBJdDJyKvPWUogU,6998
keel_verifier/data/permit_to_x/presentation_registry/v1.json,sha256=qqle5Qbdy3FEvCIOjKsZmtViAqqztWPIIyLkHK2oSc0,5185
keel_verifier/data/permit_to_x/presentation_registry/v1.schema.json,sha256=CJ7DBlB49YEHCvI2PwF-C1JpcMkKxTuNzWL6SCRj8ts,4911
keel_verifier/data/permit_to_x/presentation_registry/v10.json,sha256=zrSv7b7Zgb43AQOFpdItsm3rOfC9vvkzlGIVTIio-S0,40495
keel_verifier/data/permit_to_x/presentation_registry/v10.schema.json,sha256=TBYxSZgqyo1Bdh8q1Hf1jZuCWBGul04bFiQbejz9tGA,8040
keel_verifier/data/permit_to_x/presentation_registry/v11.json,sha256=brjiTsDg8Mq0GH7J1ttB4vC9o4AUhFnob7qo8M7dSAc,45650
keel_verifier/data/permit_to_x/presentation_registry/v11.schema.json,sha256=4FwZy3opvCPwsyye8gIZGKG4J-msiJubyEapMBRgjmE,8040
keel_verifier/data/permit_to_x/presentation_registry/v12.json,sha256=dKOOH8-rq459GY8NGuytNFcD8PImvTZhwmTHjgOS4Ao,50841
keel_verifier/data/permit_to_x/presentation_registry/v12.schema.json,sha256=qR3oBAnHDoi4nvhP1bmHKm_WePJ2KAU_PQRVNiJraaY,8040
keel_verifier/data/permit_to_x/presentation_registry/v13.json,sha256=djAVCHopoyYPJAxHJgDHqIUiEFxawbyz1RRetCgj0U4,54597
keel_verifier/data/permit_to_x/presentation_registry/v13.schema.json,sha256=fU1GeMgc3ZK6AhLidZRbTMFLLa-n7ViQzT1FY2XRveE,8040
keel_verifier/data/permit_to_x/presentation_registry/v14.json,sha256=ePIkOW9vkGqMdBhk87rW6t5OXDdL7VzhHAFpaRTYPlA,62201
keel_verifier/data/permit_to_x/presentation_registry/v14.schema.json,sha256=a4KArSD2zfO3FEMXRCBqLAprgarq-FYrqFl6Zssivuk,8040
keel_verifier/data/permit_to_x/presentation_registry/v15.json,sha256=IuSnReFPeHcK-Sht1kCbaM9JDvApPBcDSkMwGfx24FM,81146
keel_verifier/data/permit_to_x/presentation_registry/v15.schema.json,sha256=pMTSILOTL1p3rOebd8IwDxe8Q6JwQR6FSMIqBoyhvbA,8040
keel_verifier/data/permit_to_x/presentation_registry/v16.json,sha256=sz7AxrScVMCgORqTxHi3OLkLrhX2-CJTNBXABjcO278,124520
keel_verifier/data/permit_to_x/presentation_registry/v16.schema.json,sha256=BLIZgYOZhj2ZpQ80vSxZbedwAZIb2sqTNhr8xiUu3C0,8040
keel_verifier/data/permit_to_x/presentation_registry/v17.json,sha256=S-xdYy22s5QkVtoYLcV9ICL-wEbleKS4fwxvw7YNtEE,130139
keel_verifier/data/permit_to_x/presentation_registry/v17.schema.json,sha256=Kp93aL_SVRYvlBAp6jgztik1-0UyeSGYAalFvrVSp88,8040
keel_verifier/data/permit_to_x/presentation_registry/v18.json,sha256=bZ2HwlpMI4EDtSbOTs8CKRBnY13kBX_KkvdqhkyQYbU,131580
keel_verifier/data/permit_to_x/presentation_registry/v18.schema.json,sha256=hPU6C4L0rZejHfT7LTZqICTt1Pn_ItFYo8dYJn9CUA0,8040
keel_verifier/data/permit_to_x/presentation_registry/v19.json,sha256=d-SCnWpGpT_ml4c9DTGmbjmTDsdknRjxoONEkjbLUv8,134355
keel_verifier/data/permit_to_x/presentation_registry/v19.schema.json,sha256=snXd38cESv-KXGNuWSr6XAstkaA1Q7Mlher67F8k4BE,8040
keel_verifier/data/permit_to_x/presentation_registry/v2.json,sha256=plzNWSQIxoa7Ba9wGOIinDqpxSGAMG4bF9-prguuISM,5461
keel_verifier/data/permit_to_x/presentation_registry/v2.schema.json,sha256=XRDF9HBpI0U7tAz7KOheSeIzcHjJG_n708cu5UbhAXA,2460
keel_verifier/data/permit_to_x/presentation_registry/v20.json,sha256=cgJZ2B-Y7exe5MnvOLwAogcJ83HvR8yAnjGPAmSNhtY,134355
keel_verifier/data/permit_to_x/presentation_registry/v20.schema.json,sha256=p9vG_fsXvujVefisN5CN56DUaqO5scjj2vkVZuAWSnk,8040
keel_verifier/data/permit_to_x/presentation_registry/v21.json,sha256=ycioWjJc3M7yWJfphjsrVnLOkyEEpPvVoisFveyTm28,135758
keel_verifier/data/permit_to_x/presentation_registry/v21.schema.json,sha256=TzQ1lmAbYOKgbDZQVXJdipgeTgcmrf1wB04LV1YlPk0,8040
keel_verifier/data/permit_to_x/presentation_registry/v22.json,sha256=cPktHapEQa-wG3SK5Nvr2-tjkUbusUrm_fkBrRPx6ZE,135819
keel_verifier/data/permit_to_x/presentation_registry/v22.schema.json,sha256=o0fE-sATx_VWMYrARgv4GEKyNjhhEM5kRLQv3hKuGiA,8141
keel_verifier/data/permit_to_x/presentation_registry/v3.json,sha256=OGV3z3H7EXtj1ZvjFtSiF_7gpPwugrmpGnWxiP23dVM,7288
keel_verifier/data/permit_to_x/presentation_registry/v3.schema.json,sha256=mPXdi1TuEHLu_3xQcMgbtzkdf_n1xXKJFuvPINGJ54k,5876
keel_verifier/data/permit_to_x/presentation_registry/v4.json,sha256=VI50ZtVOZuzPpzvnR6J-zTieb7Kd3bnfXf_U6z6EBvI,15175
keel_verifier/data/permit_to_x/presentation_registry/v4.schema.json,sha256=YLHB2co3Pvxs7XYwahbsRQs0fRQtt1hbcSLOVr85jOk,8036
keel_verifier/data/permit_to_x/presentation_registry/v5.json,sha256=s9UA-57uh5oaW37m9wY6u4_AVERpUO_x9J3orw45gew,15175
keel_verifier/data/permit_to_x/presentation_registry/v5.schema.json,sha256=lbnSofto2Z5UFQOwW357ChT2n-ADprv6UCqfPHYj778,8036
keel_verifier/data/permit_to_x/presentation_registry/v6.json,sha256=6-XJRFwNJNPYIll1cKn85pxvensgM00eF-gag3g2y-o,18769
keel_verifier/data/permit_to_x/presentation_registry/v6.schema.json,sha256=PFKn1w-5kDT7SeGwKZAVbbhFpibNV5a8rRvb2-ZKcbo,8036
keel_verifier/data/permit_to_x/presentation_registry/v7.json,sha256=yCBv_LGN-Rl0ktsELiDGRW9ggdkQ3xdh1V9moORTMgA,24814
keel_verifier/data/permit_to_x/presentation_registry/v7.schema.json,sha256=wbAP_A1BgEXDjHva25ygX5v6TJx9aczN5JmKOxOyIC0,8036
keel_verifier/data/permit_to_x/presentation_registry/v8.json,sha256=GLfOPSw9BewtPicjglj__r-m0ynvLxQvIJzWxeL3J_E,28735
keel_verifier/data/permit_to_x/presentation_registry/v8.schema.json,sha256=R3JqMjjKPbDp723t4U4ojyLDW8TDHtR48cELxz7zNto,8036
keel_verifier/data/permit_to_x/presentation_registry/v9.json,sha256=iafiFYai2M08Znj_GvNPjQCl03fVEwVXr1JJHu7KwR4,36539
keel_verifier/data/permit_to_x/presentation_registry/v9.schema.json,sha256=UUxDf7y8RQAY25f8mC9djtuz2H5KzLq8LYMTW5bLSB4,8037
keel_verifier/data/permit_to_x/schemas/action-gateway-exact-facts-v1.schema.json,sha256=03qvpDMfWne5JQQatCy6hXuFoBGh6fnhv8cnea0xaZc,3820
keel_verifier/data/permit_to_x/schemas/adapter-certification-v1.schema.json,sha256=56-vB8Lz3ln6kc6rLWjQRfFoCghrFYT2furcJHparZg,2639
keel_verifier/data/permit_to_x/schemas/coding-workspace-exact-facts-v1.schema.json,sha256=iY67ScfLntj1DU19mPVEMiACza6CVswxIyLB6fkxcQk,14885
keel_verifier/data/permit_to_x/schemas/collections-exact-facts-v1.schema.json,sha256=i_NxeyFORyO3DzSZvXJhWJ7v8U4JW_Ck9d1lef47sZ0,16833
keel_verifier/data/permit_to_x/schemas/commerce-regulated-exact-facts-v1.schema.json,sha256=wL5ylxer9qtLvW5uYM31V7pEqGu1m5xAOq4xukxHGDE,58208
keel_verifier/data/permit_to_x/schemas/database-exact-facts-v1.schema.json,sha256=mjZva4u5r83GJAo6_FE9o6E2nUclDy1XEsXTvYaJPbg,5794
keel_verifier/data/permit_to_x/schemas/delegate-child-linkage-v1.schema.json,sha256=zJtimZUb0vPiSFtp6fhxYoTMhsanEenmMF_rF3thWQw,4144
keel_verifier/data/permit_to_x/schemas/delegate-exact-facts-v1.schema.json,sha256=cA0jAosKF3_PeRayX4D80WvXk-YLQ21O7V5F5CBjo2k,2021
keel_verifier/data/permit_to_x/schemas/deployment-assurance-v1.schema.json,sha256=onukJgorFDYuidebumpTGmEWAHzAvvPCJ4UWss1uiKs,2732
keel_verifier/data/permit_to_x/schemas/erp-crm-exact-facts-v1.schema.json,sha256=hcOMbDj44CKuAkRUepMOUKvKB2SZpUSL8r3YoDo4RPo,13442
keel_verifier/data/permit_to_x/schemas/generate-text-exact-facts-v1.schema.json,sha256=WRWSUVQ8TGmwPE2nd5xf-dWNf1_H5L7SAz4-flbwL2o,1118
keel_verifier/data/permit_to_x/schemas/goal3a-portfolio-exact-facts-v1.schema.json,sha256=xFM7ppifKczziPdg94l6QyzH5JXyienB2aqe_0_7aQs,13893
keel_verifier/data/permit_to_x/schemas/identity-security-exact-facts-v1.schema.json,sha256=-04FqcrwSeT_ZsKp_3tNRHOBrED9OPiibgmwYL-aweI,27211
keel_verifier/data/permit_to_x/schemas/insurance-claims-exact-facts-v1.schema.json,sha256=pmgnxidlGtbihf8-A2uDAAyU-aVdysgukxn8Pbtr4bc,18596
keel_verifier/data/permit_to_x/schemas/payment-exact-facts-v1.schema.json,sha256=sS9L3KT9dZ6mJNc_XRz2X08QOi1VIYqL4osVarqHHPI,1719
keel_verifier/data/permit_to_x/schemas/payment-ledger-exact-facts-v1.schema.json,sha256=2c56aF-btwfgpG3UkzMWtKvajKfFx7gntfCXDSsFiCs,9453
keel_verifier/data/permit_to_x/schemas/permit-bounded-use-v1.schema.json,sha256=mA4OkcL-qKt5yO_jzGlLHK8OLtLjakKX9wCkKeMvFF0,2613
keel_verifier/data/permit_to_x/schemas/permit-co-signature-quorum-v1.schema.json,sha256=-Ib6qAoN_JoKXWokFCppM-JwliMsJY_5B2QNIIG4zd0,1890
keel_verifier/data/permit_to_x/schemas/permit-co-signature-v2.schema.json,sha256=u9L-CkSieVNqhn_7788JdyBbFUO6zFJXtSEEPrOph5g,1497
keel_verifier/data/permit_to_x/schemas/permit-enforcement-state-v1.schema.json,sha256=AzwP80pwNxb63vLcnoxtc_4z_rByU7KCqIE3DJ2KT_c,5259
keel_verifier/data/permit_to_x/schemas/permit-exact-pack-v2.schema.json,sha256=X95FSr0U4ahaOET_XTwJc4_BLlca8ytWcddLlC8ZxKg,4975
keel_verifier/data/permit_to_x/schemas/permit-exact-pack-v3.schema.json,sha256=p2rBmB3hVhE-msn8O1Z_Y6-HeiIENrUplmCjgEyrRpo,6228
keel_verifier/data/permit_to_x/schemas/permit-exact-pack-v4.schema.json,sha256=MvavjVp4l8YcNTknn0Qh6CRCRjx9fUwdbtBNIAsGhJU,6190
keel_verifier/data/permit_to_x/schemas/permit-human-artifact-v1.schema.json,sha256=UEV1qt-OivBc8RQQIL17WFRC2Z-zVHU-fjM3yd1UKzg,7349
keel_verifier/data/permit_to_x/schemas/permit-package-manifest-v1.schema.json,sha256=V8JERU5p6aqrd1d6f449Z1ZAZCbNRRMA5jQGYdvXz2o,1880
keel_verifier/data/permit_to_x/schemas/permit-selective-disclosure-v1.schema.json,sha256=it0a3oKYV6MFWOVTRBkNjAdaInijddRH_RAtWQW_83Y,2502
keel_verifier/data/permit_to_x/schemas/permit-semantic-binding-v1.schema.json,sha256=-kKO0He-HjkBR8SW_yd1EO6yS5mVc6W67wvXeUHJD9Y,4391
keel_verifier/data/permit_to_x/schemas/permit-semantic-binding-v2.schema.json,sha256=5sVxV1DLpM90genNBfVPH5QBPW6fIONhwYsFYIOlhmQ,4581
keel_verifier/data/permit_to_x/schemas/procurement-ap-exact-facts-v1.schema.json,sha256=OAycjbUkAWQBj9qbdcoENARbhmQYfR5cd1rfHJynj38,26585
keel_verifier/data/permit_to_x/schemas/provider-receipt-v1.schema.json,sha256=2H9k4tzwV5OGZDMLnBURr7TbbroRRsHtYQzjs91IBTo,3304
keel_verifier/data/permit_to_x/schemas/provider-value-fact-v1.schema.json,sha256=r6orUN-et_y9qy_U8LVH6XHu6evtnnuH4NcJfhG7PMY,2001
keel_verifier/data/permit_to_x/schemas/provider-value-fact-v2.schema.json,sha256=QAxi0kFHa5i_-QPLgNKcne5I5CvShRNDAkjFi7OGz6Q,2373
keel_verifier/data/permit_to_x/schemas/refund-exact-facts-v1.schema.json,sha256=qiJe2Z4bsSLXN-xMDWAUNqn0TK2xbxJ7FVnbK43gidU,1666
keel_verifier/data/permit_to_x/schemas/release-exact-facts-v1.schema.json,sha256=BcfqNeXJu0tEevgrx9TQyryv4GsiCAIKHVjJkVq5TuE,21165
keel_verifier/data/permit_to_x/schemas/runtime-enforcement-proof-v1.schema.json,sha256=TyeExLdz8WmRTAKGlN-YcNEjKozTmJa0_FO_2jIJOCo,2227
keel_verifier/data/permit_to_x/schemas/runtime-enforcement-proof-v2.schema.json,sha256=UoUaCCPlRATn9vzOQuZ87Uh4Jm2H86JFAm5YArshAH0,8303
keel_verifier/data/permit_to_x/schemas/telephony-call-outbound-exact-facts-v1.schema.json,sha256=3NvPGhVUQAIqJSV3-lgtfuNGkIO_jMTrNcaarzH33Dw,2650
keel_verifier/data/permit_to_x/schemas/telephony-call-outbound-gateway-exact-facts-v1.schema.json,sha256=hMR5F_anCuMq1glvdmG6U5F5-vcATUK24xJ7Gbepdgg,3323
keel_verifier/data/permit_to_x/schemas/telephony-call-respond-gateway-exact-facts-v1.schema.json,sha256=mnqWuqKjWevvuyK-Bs4sYXqFSRG_YeVN0Fk_3DJCWjU,2573
keel_verifier/data/permit_to_x/schemas/transactional-cx-exact-facts-v1.schema.json,sha256=GJ9qXswF7nGVJqyvBuC-NdtRNJbZSdGsZjsWJhGGjSQ,19969
keel_verifier/data/permit_to_x/schemas/wave5-breadth-exact-facts-v1.schema.json,sha256=dTmG-LbjTxrKRma1BoSNaonTGT1Ns6JvpazKBiMRZdo,114692
keel_verifier/data/permit_to_x/schemas/work-authority-v1.schema.json,sha256=M6R-tcBb5WYRb_FSh8SzLThGnl1PCa-3EhKlqpyQdj8,2461
keel_verifier/data/permit_to_x/schemas/work-authority-v2.schema.json,sha256=OjjTu5yRSEYZDvX9Zo_bh0L-sh5-5i6jIBZ6oPzSMNA,3016
keel_verifier/data/permit_to_x/schemas/work-binding-v2.schema.json,sha256=Z6EzXpgTFXxCWufce8YHoqsSPkBjHWZAJteSBOXLr4Y,2888
keel_verifier/data/permit_to_x/schemas/work-chain-pack-v1.schema.json,sha256=zlDvguZ2S-O7gJTEnasT_kH07q74D919R_ETLSfrpxU,9351
keel_verifier/data/permit_to_x/schemas/work-chain-pack-v2.schema.json,sha256=x4lafv4kZjq72fDmt30f0Eye-7rUV4qazioU0rE7gdI,10346
keel_verifier/data/permit_to_x/schemas/work-dispatch-boundary-v2.schema.json,sha256=BGBYm7kRuaW-Uol6xxCL4_-QxNpnPXwGpTPeJNVqV9Q,3770
keel_verifier/data/permit_to_x/schemas/work-package-v1.schema.json,sha256=TBXKQw0lT_mUJCZVwsJytx_iuovjiz8ydLpIBWo7PFQ,4406
keel_verifier/data/permit_to_x/schemas/work-package-v2.schema.json,sha256=kbreDZwoxaSV4jvGinEsuZ-HluDKBiiaP-J2VD79v-A,5005
keel_verifier/data/permit_to_x/schemas/work-request-v1.schema.json,sha256=eXuJ8G9CPdseHv78X6Z91htawFgt_2jgvswzebwr52w,3976
keel_verifier/data/permit_to_x/schemas/work-request-v2.schema.json,sha256=kO59f0iFTHVnCK9oUQRm0MuBLiEHFbNpf0mfSt90nv8,4380
keel_verifier/data/permit_to_x/schemas/work-review-transition-v1.schema.json,sha256=uM47PpjaE4aOc7yMx0xWos6kSgvpcBL8ugIUSw7Q5HA,2802
keel_verifier/data/permit_to_x/schemas/work-summary-v1.schema.json,sha256=4RawPG-zdBgoiCWaQLTUVv7f8uQGugAT7mhLOKjNv-U,3357
keel_verifier/data/permit_to_x/schemas/work-value-event-v1.schema.json,sha256=SsZq48SF1dLF1xz8XocYIdhLbxZyRavBj-YhEscF0EY,1812
keel_verifier/data/permit_to_x/schemas/work-value-event-v2.schema.json,sha256=d18Uc6joe7jf2rJJv-pvfkTDRgZ8BspQoGYE_79tlHc,3146
keel_verifier/data/permit_to_x/semantic_registry/v1.json,sha256=10QK7SVXifq5xzl71fzbnqMyLSWQ1QncDjhSh8DvJLc,2520
keel_verifier/data/permit_to_x/semantic_registry/v1.schema.json,sha256=jM0ay3dP4a9iAfP04ywMlchtv4L9EK6CsRtFcmSuDN8,3558
keel_verifier/data/permit_to_x/semantic_registry/v10.json,sha256=OXviO_WgMfhc4yIcbgLDv02e_L3nZ-T8kGvvT8RwTSU,20638
keel_verifier/data/permit_to_x/semantic_registry/v10.schema.json,sha256=XAroT4yvlb1IdVmVVMX_3KBwTcQ_LxebUnEYp2CgwME,3777
keel_verifier/data/permit_to_x/semantic_registry/v11.json,sha256=tBHod1KwcF2kswgBj7vg9oX1Q9cDkxgbdsNlj3eXyt8,22876
keel_verifier/data/permit_to_x/semantic_registry/v11.schema.json,sha256=a6OfDhtV9D3moC0a_SKoiOrCLIcMeIMnZMz9gEyaGqk,3777
keel_verifier/data/permit_to_x/semantic_registry/v12.json,sha256=_jpJ-fVcqKDo4GJhbQiZRPMcX8HP9jWvd0FD11xG8hs,25893
keel_verifier/data/permit_to_x/semantic_registry/v12.schema.json,sha256=ME5tOxKmg38ROn53d_J2jKXOZqYee9F37EU-qJXeFww,3777
keel_verifier/data/permit_to_x/semantic_registry/v13.json,sha256=1LywekLKrpd2DPxuqrTMDnt-umKn-Wa0S0HsZGpwzSs,28937
keel_verifier/data/permit_to_x/semantic_registry/v13.schema.json,sha256=Pn4M1FGeMZUeqNM4Bkxa5XAxFdCA7RKcWrtA-6nbX_s,3777
keel_verifier/data/permit_to_x/semantic_registry/v14.json,sha256=Z0R1ZFlVSKqo7ic3m0WoMNmgoftQQlUlIWqmnoC30d0,31148
keel_verifier/data/permit_to_x/semantic_registry/v14.schema.json,sha256=B9wzrcRMgV28WxCME2J96Ivh62QfuP_ceG2xRBE9GyA,3777
keel_verifier/data/permit_to_x/semantic_registry/v15.json,sha256=LcMvyGTsObvo_74MpQ3QS4e2dYXlPpdgBU0Ppi1clww,35648
keel_verifier/data/permit_to_x/semantic_registry/v15.schema.json,sha256=hsHoT4-umfKYWD-MTur-55BSr74gG-9xd9XTexnawRs,3777
keel_verifier/data/permit_to_x/semantic_registry/v16.json,sha256=PMLcCWfYNrMroL6VlM-JwWwq4Wd5-hKxlN76LHqPciM,47129
keel_verifier/data/permit_to_x/semantic_registry/v16.schema.json,sha256=_9dT4QtK6hyIKwWUcEHO_zxkXPHOs0tIhdnDA18yd7U,3777
keel_verifier/data/permit_to_x/semantic_registry/v17.json,sha256=ZAebfa5dEnXTMaQZJCAOWy1eWGMggnzG26xnkoutGUI,71810
keel_verifier/data/permit_to_x/semantic_registry/v17.schema.json,sha256=M8Oym_LVO6x5ZpUF_NqbDklrpb7mEKAs-hgKCBgTO6E,3777
keel_verifier/data/permit_to_x/semantic_registry/v18.json,sha256=6IOIuQsXG-_wi8ddbu9yQxmCPbH6OZ91D-p-I9zNCss,74852
keel_verifier/data/permit_to_x/semantic_registry/v18.schema.json,sha256=oL8WXMaX4GfIoIo8KQY0-ymAFLs3YooG_rtOe23HBXY,3777
keel_verifier/data/permit_to_x/semantic_registry/v19.json,sha256=mH7AcN8CUIr_Gs43klZmaIRaqBhBTE55XHsroa-Chio,75598
keel_verifier/data/permit_to_x/semantic_registry/v19.schema.json,sha256=bwjETUmF_xfD-atkNkodITwXSPJlAC5adq7rzoNb6gA,3824
keel_verifier/data/permit_to_x/semantic_registry/v2.json,sha256=0HxXoiYBZs6ekf1zChfrLXpTib8mHIlP9joYBRScxqw,2751
keel_verifier/data/permit_to_x/semantic_registry/v2.schema.json,sha256=-cxkoMvB0rwvXzmxjJNQLsDASYDmsKIDVpQYseTVKa8,4189
keel_verifier/data/permit_to_x/semantic_registry/v20.json,sha256=Za8WCP7Ek6UoGcFlrPx45fx17Zdudsied20fdoLm-I4,77088
keel_verifier/data/permit_to_x/semantic_registry/v20.schema.json,sha256=c0ix3MAMKTfaTinHliD7rkRdi_Ln1J5txzLHvMrXhYI,3864
keel_verifier/data/permit_to_x/semantic_registry/v21.json,sha256=5MfMw0uuoMqogmZGvpqe_HcvQCNUarNyRxjaMMG4O54,77122
keel_verifier/data/permit_to_x/semantic_registry/v21.schema.json,sha256=qryCrCHtFOlOMzyP50KzFoGgxl9PbIxT8k1OS75DS5g,3864
keel_verifier/data/permit_to_x/semantic_registry/v22.json,sha256=D2LNmzmlk7MBxx8hccOOoWJ0W4AXLWWnEZp93BR8wSc,77895
keel_verifier/data/permit_to_x/semantic_registry/v22.schema.json,sha256=o2SjbkrA1g7Ud9pPqAsYMOJWz9FOmMgbC2_VJxP8CWk,3907
keel_verifier/data/permit_to_x/semantic_registry/v3.json,sha256=fqTmqy3emEVM0iVLcr8kmeebi-rTlr6bNdKmpylIDtQ,2807
keel_verifier/data/permit_to_x/semantic_registry/v3.schema.json,sha256=ruGcf5U2PmCVTPRqWdFqOWEkbRaEHbWzNqujZgmy-1U,4085
keel_verifier/data/permit_to_x/semantic_registry/v4.json,sha256=KdzuMv93Q3ii4K4GX-LmX18L2GAt8SRqAtVhdxmcHSA,3271
keel_verifier/data/permit_to_x/semantic_registry/v4.schema.json,sha256=nRP_hmVG_KQkbGCfcBlcQ8brMhPc4lQEIvhaVi99rAk,2484
keel_verifier/data/permit_to_x/semantic_registry/v5.json,sha256=Z3oRTDMqOKDQG6TsfPh8avHuFbohxixlOuE8NlvXYL4,7644
keel_verifier/data/permit_to_x/semantic_registry/v5.schema.json,sha256=wNC30fYdmTt3dHoeKXLx-tFaaL2qX87QYzsFiXDPWgk,3774
keel_verifier/data/permit_to_x/semantic_registry/v6.json,sha256=XKZI5jdIhzGzRIO3-jAri8UvVA6E9WRUoFJruls_pSA,7996
keel_verifier/data/permit_to_x/semantic_registry/v6.schema.json,sha256=jKBXLzd6d0hgDu282g3lCQMHNpeI_XIkz6Ro6PLZFvE,3774
keel_verifier/data/permit_to_x/semantic_registry/v7.json,sha256=IygMN-oX86g_aDQcQPaUH_KuASST5ppdU_fNQ5ko9Xk,10212
keel_verifier/data/permit_to_x/semantic_registry/v7.schema.json,sha256=t4_zBf7YAYQaTToGjyC5op1Jt1jwazd_i48m30t-j9k,3774
keel_verifier/data/permit_to_x/semantic_registry/v8.json,sha256=zBPSfR5Uhulkd696mV-wYTc8xuoXO3aGu3bkQHm1DZQ,13943
keel_verifier/data/permit_to_x/semantic_registry/v8.schema.json,sha256=wfUz0lIW2gHXJGS_mXtjN6-DmUGk25dBPEQFqyhduIM,3774
keel_verifier/data/permit_to_x/semantic_registry/v9.json,sha256=gqcFbqFAaTFzQf4Ez9ZfXBw-8tpz5BYTiZmG0z_ZzvA,16181
keel_verifier/data/permit_to_x/semantic_registry/v9.schema.json,sha256=T8aFzk2Tqsu0TOP6BRfLBbmS9o2HJ7RliFMRjMCjq_s,3774
keel_verifier/data/permit_to_x/semantics/permit/action_classification_derivation_v1.json,sha256=Rmu9_UYL9YYmZH7lFjsremugS69_CMWhQzCasNP18ek,19025
keel_verifier/data/permit_to_x/semantics/permit/value_movement_classification_v1.json,sha256=xGuL0WXvFsKEYh5TSbIuViH-ZsSiWjyLGMjYjiDedtA,4818
keel_verifier/data/permit_to_x/test_vectors/action-gateway-v1.json,sha256=ZuGeXHCPB5JdWbHoDVyo57BCHkA_22SSK5EXuz-9BUw,5141
keel_verifier/data/permit_to_x/test_vectors/telephony-call-outbound-v1.json,sha256=un8ZPdshIr_vuU-Y8TLzMiikcTxAbSGaGbgiUH6IZiA,2973
keel_verifier/data/permit_to_x/test_vectors/action_classification_derivation/v1/corpus.json,sha256=R0fTKSMfSlIMPFu9liVo938I5ycTGR0SW_wDzHaG5NI,24197
keel_verifier/data/permit_to_x/test_vectors/consequence_claims/v1/corpus.json,sha256=ZKTFkqA1xd-md5iEL5GECUtLMGfZSi-MUKE0sBn0fxc,2481
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v1.json,sha256=wLqj7l6B_IoQE_GpPwhkEFmJtg7OlQn8hcEHZdfNh0A,3222
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v10.json,sha256=ITqk8ZHk6hqHCNchHfI9PQBknxE7cIQfGmhGoF77Tw4,109577
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v11.json,sha256=TkxJbDn7rbpBGLMlCNsgYksD1u6QZBJSfTyNq_hF16k,131178
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v12.json,sha256=A-sv8n6qEuGHt4fQ7V6TQDGRuZL1V4Cuv_d9yRFGl04,180804
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v13.json,sha256=R_h7uPy_HRZ0s5aUY3ifXwdgSvds7CrtcCQEmRs0bL0,279394
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v14.json,sha256=vEnbKMA2djqa-2KbQb4pmzM7SmF_RYx0BP9neGOBfn0,290535
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v15.json,sha256=Xjwytb7lpwlvlboMkNzX3_KR2o5jtWKESLFXPnMOknc,294505
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v2.json,sha256=fu-xaF93_vT3lJnnxJ69InSJDEp9zzupZ2p_P4XHyq0,9888
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v3.json,sha256=Le_FmB_mPYdoeJdDhdJwdUMooE6RVXso_7LQEeEKGvw,18317
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v4.json,sha256=Cu0ZjrQiStFocKRKqyAPvKFxF9PFSdHKH7E9JYRvjLY,32564
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v5.json,sha256=jtVw1QDisrZfk1IJFQ8f4Tf_Ujj0P_B2XAOjcBxc4tE,44124
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v6.json,sha256=B6Z1t47iu9b5lZDMkUGvF5Wv2tl7AOxeoXXRBbrPkWI,63188
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v7.json,sha256=n8Yc98-6wt3l-t_ko8Ndh71uHXV3MaGqwbPZMhcgZz0,73489
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v8.json,sha256=iSq-PEh68MF_p1fPUN11lIz846ujFu1jAcac5z2qxTw,85756
keel_verifier/data/permit_to_x/test_vectors/consequence_registry/v9.json,sha256=WSoY_VeVP5YWuotIphtxhuEde0QdKq0Cl5J2VM_xp4o,99619
keel_verifier/data/permit_to_x/test_vectors/delegate_child_linkage/v1/corpus.json,sha256=JpRzIlEqElcwM82Auf01EQweyz_RzcnaLX8KSUIk2G8,3976
keel_verifier/data/permit_to_x/test_vectors/enforcement_claims/v1/corpus.json,sha256=S5w4DJ8buTsHvyGptNn59QITCUN8aFN53_USh9fJQRk,5580
keel_verifier/data/permit_to_x/test_vectors/enforcement_state/v1/corpus.json,sha256=uw0PRzkBFZxdospVqG4A_C95W7dquXnZiY0SKBqsUCo,31460
keel_verifier/data/permit_to_x/test_vectors/permit_co_signature/v2/corpus.json,sha256=hazYqVpSIy_yXeXWpPc4zasTuoj1zidgmO1nkLNYGTo,24402
keel_verifier/data/permit_to_x/test_vectors/permit_human_artifact/v1/corpus.json,sha256=0f9gZFMopIkU13REyfJhBGng5BFEkLmM5jdtP4jLHo4,10689
keel_verifier/data/permit_to_x/test_vectors/permit_to_work/v1/corpus.json,sha256=FXgcaA3QXiMK18-Y5vpxyZK0iUtVIUCnpqY6tgZeFX4,22521
keel_verifier/data/permit_to_x/test_vectors/permit_to_work/v2/authority-vectors.json,sha256=W931kf-5MgAN8mR4ZAl-vP2aiOudu3oyzmVBlnCmMs8,5939
keel_verifier/data/permit_to_x/test_vectors/permit_to_work/v2/contract-vectors.json,sha256=eiQESVXveNEKixkhr-Hgg-ysoK2IbtJMFNpdXlmmSvs,15109
keel_verifier/data/permit_to_x/test_vectors/universal_verification/v1/corpus.json,sha256=lbg9WaTJyK3Ej6iDCeu7iqNM_NAo1NlXeC5VZvIafDA,18383
keel_verifier/data/schemas/permit-revoked-event.schema.json,sha256=Y0ueh0RWwLm1ierScIBC9wDmQA6rPlW1liLwmSj9JPE,2170
keel_verifier/data/semantics/budget/partition_ledger_v1.json,sha256=q3bSy7YAAoP7-R1hlqM_9g10UIy-pK7bsKYljGCqwMg,1098
keel_verifier/data/semantics/checkpoint/composite_hash_v1.json,sha256=aKr6JtbxyM9bqDx1liCYiNjlKdgfGixY8x4vxB_BNt4,1096
keel_verifier/data/semantics/checkpoint/signature_v1.json,sha256=rxbGbooLKVzS5eQ2Fpvw49YowfxJAbbrplluhuOtJWs,2420
keel_verifier/data/semantics/checkpoint/tsa_chain_v1.json,sha256=-J91b7t_J_FCZ9InkHWHXSvwlLV_UALQwFjBIptkwuE,2114
keel_verifier/data/semantics/checkpoint/tsa_imprint_v1.json,sha256=pOAhM1N6GQw3lXN760uy3fgjzQnVtty6Q8aC-543154,1882
keel_verifier/data/semantics/closure/digest_rules_v1.json,sha256=7KBtlgqeFkaKYik4oXt3JE1Ie1hFm-Tc4-Ve8AbylFQ,2467
keel_verifier/data/semantics/closure/format_v1.json,sha256=sgi4L7-Bh-zchUEGMPv6MPhvNMTaKNS0GMV4io7Ik7o,4614
keel_verifier/data/semantics/closure/format_v2.json,sha256=R2uar48bPg_Ua5z65SIGLoA-y7HCT9u27GB3W5edWfE,4784
keel_verifier/data/semantics/evidence_bundle/self_attesting_v1.json,sha256=Z4laDfPSJ-rsJ8VnY30_7wQkGz7Qs-ADNRLPcXKRP28,2490
keel_verifier/data/semantics/export/scope_faithfulness_v1.json,sha256=dd_UemGt222Lf41JSZqgUlqpaWuFyaksWsbCc7_5aeE,3182
keel_verifier/data/semantics/export_manifest/integrity_v1.json,sha256=0dZ9yn65pmLSZGPD3shB9H-Hkd8vr7IekR3SaoPau3Y,3330
keel_verifier/data/semantics/governance_chain/record_hash_v1.json,sha256=oyE3BsnpUxp0zSNV8vBeU3x6cGBMuGm3t2xly6Sitwc,3058
keel_verifier/data/semantics/governance_event/integrity_digest_v1.json,sha256=fT9EfiFcpT3VrdBLSmK0Ij0orSIhC1o9-Py8hfXb5EA,2425
keel_verifier/data/semantics/incident/bundle_manifest_v2.json,sha256=7REuNlmF15GSpMt8MkhiXYKU0tLFIQzjGWDrfVX0ues,2384
keel_verifier/data/semantics/permit/authority_chain_v1.json,sha256=BHJ7b-MS4Bs7zDfLzPII-ZsB3wObKnIZztPG2Cy0_mE,3928
keel_verifier/data/semantics/permit/authority_edge_revocation_v1.json,sha256=ImxyYdmEWKpAoUuJuThqsxB3SvvLZIbNMzIlPbZwwok,1112
keel_verifier/data/semantics/permit/authority_revocation_temporal_v1.json,sha256=h5BypQ4uAPEcgRUfUnGjIH15GgQqOXh-c-5GIHn7MAs,953
keel_verifier/data/semantics/permit/authority_root_status_temporal_v1.json,sha256=IS9dFNhgRRjIjei-wy98z2-LEw1_HW6_di3rgwmEo8A,1073
keel_verifier/data/semantics/permit/authority_root_status_temporal_v2.json,sha256=s5ENg30qxeEbuTFlevrsezf8hOC0J6d87o9APqjIsL0,1372
keel_verifier/data/semantics/permit/co_signature_quorum_v1.json,sha256=L6Y1VFaImuqy_rTB2Apz4lVanLDW0_BsK_jXrOFZhqo,1306
keel_verifier/data/semantics/permit/co_signature_v2.json,sha256=jqSAfhtNSvxB6L3RMgFVV-Lxb_M8HKDXYmitdzwAVQo,1373
keel_verifier/data/semantics/permit/decision_v1.json,sha256=bJkNgGzjpyg3RktdIKPrIMqprXTjrBR-6Y7De90Qy7s,4369
keel_verifier/data/semantics/permit/dispatch_absence_after_revocation_v1.json,sha256=Up8Xv03lqwrkqFuJ3WaJTdxlkjgl3vrkHV6K9X0MwMQ,3650
keel_verifier/data/semantics/permit/exact_action_v1.json,sha256=TEr8tI8pt3FE7tquSmP5GHMD01p_eqXe8C1Lvyb6wXQ,1473
keel_verifier/data/semantics/permit/human_summary_v1.json,sha256=PvOXc0cRe7yJMMX006PGtmbQKnirpqkFOHwFTqUz7rc,1811
keel_verifier/data/semantics/permit/permit.audit_attestation.v1.json,sha256=KdnS5DDNnFOIB9JuFAfeUjPj3gcGb10glG0DI4ZbKV8,2836
keel_verifier/data/semantics/permit/permit.audit_attestation.v2.json,sha256=qHerjnRPaFvIkeh4-yUb2PkW24ez4E9csAf6-52K3qI,3584
keel_verifier/data/semantics/permit/permit.co_signature.v1.json,sha256=zIXuoh_piglEvuaeheGvHXiE0dwqH5RgyNFIqbepoFk,1953
keel_verifier/data/semantics/permit/permit.counter_signature.v1.json,sha256=BFN8GVJNykCYRCvsvsp7A3d1njI7A12t1_DNDHm8IUM,3424
keel_verifier/data/semantics/permit/permit.counter_signature.v2.json,sha256=6dg9AaXhW9YHcCxTKTGF-j8tfKuEN04dYlamfWAnqVE,3882
keel_verifier/data/semantics/permit/permit.operator_approval.v1.json,sha256=Zsb4Ea7hMsHpPRZwj1qLuxuco276B-qrY6rlmJQ1GmM,2556
keel_verifier/data/semantics/permit/permit.operator_approval.v2.json,sha256=4jCH3gHtiDfT86M5p-6i3xtlGjPr-qZmpbBPfPdE2oM,3294
keel_verifier/data/semantics/permit/provider_receipt_state_v1.json,sha256=n7QlwHW4Uylb4K8P79gFCKLPL3iQGHK3b1q6FL69qiY,1612
keel_verifier/data/semantics/permit/review_transition_v1.json,sha256=vNjbtD1lpvOxckA5GfcXZ3LYMkXOUPUoGONHwDJP3TM,1894
keel_verifier/data/semantics/permit/revoked_event_v1.json,sha256=W3QWsRpKlKL5-HayM34RgmerXrkoFlzBXwGrr_hjkik,2592
keel_verifier/data/semantics/permit/universal_verification_v1.json,sha256=E_huUUM2IOWj1TzMND8JdmOoRVw55Yws-oo15Vb-UmI,6073
keel_verifier/data/semantics/permit/universal_verification_v2.json,sha256=T7PuY-wsnAxkcWI04F7XN53gemW4n8u-SqILOSFtn90,1697
keel_verifier/data/semantics/permit/universal_verification_v3.json,sha256=xDp8rAniF_ePID3nwILwby4iguWG1AJbaoS7wc5lHpw,1989
keel_verifier/data/semantics/permit/universal_verification_v4.json,sha256=9SvRrdeide9GfjGT2IVAVqyaGG-J223u3Mj20s05dSA,2571
keel_verifier/data/semantics/permit/universal_verification_v5.json,sha256=w5D9O2jHnL36_YOlvlBWxUt10pwZ1uDK3SlyID17-9w,1967
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-3679abd51ca831c30d0fae3825418b71fc9c8f2763b20e7ec8c1dcebea224d0d.json,sha256=Nnmr1RyoMcMND644JUGLcfycjydjsg5-yMHc6-oiTQ0,3929
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-4fad85a1ab652b6ebc5dd15fd3264025eee400914478dcd4f726c480c34ce70c.json,sha256=T62FoatlK268XdFf0yZAJe7kAJFEeNzU9ybEgMNM5ww,2896
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-7e5a8fcef4a51687ebf2de34cf2c47f37710b08063fc65941fe697a97dacda54.json,sha256=flqPzvSlFofr8t40zyxH83cQsIBj_GWUH-aXqX2s2lQ,3637
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-f5cb80b8849f4d5e88a796cf76e2edf261a2bc47ca19cec68c6b3189242f44dd.json,sha256=9cuAuISfTV6Ip5bPduLt8mGivEfKGc7GjGsxiSQvRN0,3654
keel_verifier/data/semantics/permit_binding/canonical_request_v1.json,sha256=WWMwA-2XsqZedWAH_d1vUlqMBW3lehzUCXEDT6BE8Kw,1719
keel_verifier/data/semantics/profiles/pre_pinning_default_v0.json,sha256=nNcyDeupfs_MzUSuJa0xKQ3JBIg9GZRcWgLwBUNXs00,3831
keel_verifier/data/semantics/quota/reservation_linkage_v1.json,sha256=QsUFZCKDKGvvUGfVS0tugenUO_MeTn1dXe2_uEA6Uhw,1879
keel_verifier/data/semantics/rail/settlement_reconciled_v1.json,sha256=DLvSdgByzyZ-nezBuITCwImjfMvt-ODZgdGNUQwS1Cw,1784
keel_verifier/data/semantics/scope_state/merkle_v1.json,sha256=DHmpri5_S25PjLay1hl0hzH97n1eNqiVr_CP7Loq5bg,4060
keel_verifier/data/semantics/scope_state/sidecar_format_v1.json,sha256=ZMMyklW9DhxN9ckCNi0Es7D7X3ZyVOA-CHCPj9lLbDY,1594
keel_verifier/data/semantics/work/authority_manifest_v1.json,sha256=FuD3bs7zAhiXq6eDb8nDNqUooPby7TkC5ejbUDIy9cw,1542
keel_verifier/data/semantics/work/authority_manifest_v2.json,sha256=oas5d1ws6RcXTEuIKqGtoPsgQnA6WSLhoTd6IEUpE1A,1495
keel_verifier/data/semantics/work/child_containment_v1.json,sha256=Z6MA0JaAAsn9k3O2dC6CkGAYA8-NJXPHm3ms4pb8RXY,1266
keel_verifier/data/semantics/work/child_containment_v2.json,sha256=R6TYJ-v47V7fu5QC27BIGdB7iV2uTIVSJIAMYsz2c_0,1377
keel_verifier/data/semantics/work/exact_review_v1.json,sha256=dS0Ls-yoQfTj1Q3FeRnKX8KLzAVjnNAc2TGY_EzvF_g,1277
keel_verifier/data/semantics/work/execution_authorized_at_boundary_v1.json,sha256=wMLwCPvnM_fFcf2pCbpSrIGLL-6-Pis7wTZ3P60If2M,1655
keel_verifier/data/semantics/work/execution_authorized_at_boundary_v2.json,sha256=aILd76qdZxhkkh0EAfD52iXL8IDTCgMKgyVqaNCPrOQ,1143
keel_verifier/data/semantics/work/provider_value_fact_v1.json,sha256=GIzpYfHRUfFRkV67Mp7sVse6ulKhiPx9BcygZ8gQo5c,1079
keel_verifier/data/semantics/work/provider_value_fact_v2.json,sha256=0ulH4zPt_xmhS3CZ3FkUPvUJspAKhOSY4gp2SuVyOSo,1442
keel_verifier/data/semantics/work/summary_v1.json,sha256=O9VFmmrJw-DDlBuWphuc3u9xBuJfeDkjVqvJKYy34wA,1014
keel_verifier/data/semantics/work/value_conservation_v1.json,sha256=bORAPv4Yb3i3gHDRmLkIDKx36u6fMpIpBLiysjdxY6o,1611
keel_verifier/data/semantics/work/value_conservation_v2.json,sha256=NJZAIxPaRirFOeLzluKws_hTnCLq3S_mIGbdw3Afpoc,1748
keel_verifier/data/semantics/workflow/canonicalization_v1.json,sha256=tzWa4R3B2M-tUb8-b-wyoCCb84CXoB-k-HjjoGgYRQE,7536
keel_verifier/data/semantics/workflow_evidence/sibling_integrity_v1.json,sha256=xOmXRYk-bGavqJrUZgKwzxkxUw94h14YOHOB_KjCpao,3619
keel_verifier/data/tsa_trust/tsa_trust_bundle_v1.json,sha256=j7IQvXrrihUJx5PQJuU84lO89WnDFwOrs7i9FDg2C9k,6940
keel_verifier/data/tsa_trust/digicert/assured_id_root_ca.crl.pem,sha256=Ku33pjVLMSzJa2o8Wbox4EE5EmrUYAv8mtk8MdPiiM8,1507
keel_verifier/data/tsa_trust/digicert/assured_id_root_ca.pem,sha256=tS-unNjc9JKF8DN82BXeyhP-3TH2U78H9hV5RRUX4Yw,1350
keel_verifier/data/tsa_trust/digicert/trusted_g4_timestamping_rsa4096_sha256_2025_ca1.crl.pem,sha256=sp09SU1d_7AI7zmL_bp7vnkgybg8HCw1EAtqHHa-gyw,1308
keel_verifier/data/tsa_trust/digicert/trusted_g4_timestamping_rsa4096_sha256_2025_ca1.pem,sha256=XhPeIQ5zW2FNbslINhqt753WwO9XU4KnX1f9WeGDuQ4,2386
keel_verifier/data/tsa_trust/digicert/trusted_root_g4.crl.pem,sha256=UabLd_5Xqm89rMtAMwH_mY1dCBy5Onog_HEB3IdBiJs,1048
keel_verifier/data/tsa_trust/digicert/trusted_root_g4_cross_signed.pem,sha256=OuvL5RREh6w9vawCNp2nc5aK3crohtdEn7vzG_SWgk0,1984
keel_verifier/data/tsa_trust/globalsign/offline_r45_timestamping_ca_2025.crl.pem,sha256=tTKu2ase4mAXBqmKTv-qDdfyHv9B3xCZVQEvFWPD-so,1040
keel_verifier/data/tsa_trust/globalsign/offline_r45_timestamping_ca_2025.pem,sha256=BsgfdGFdvHMTyIhLyqOLusfo1V93zJzRLzkilDVfxjs,2358
keel_verifier/data/tsa_trust/globalsign/root_r6.crl.pem,sha256=ho3onLw41lLi-YapMs0SSQenOHTNr7FTYMe4GisuSUI,1548
keel_verifier/data/tsa_trust/globalsign/root_r6.pem,sha256=X_hCW-ccGAVEa_EGAc48uWGYiYZnZvyShVg8paSn3pQ,1972
keel_verifier/data/tsa_trust/globalsign/timestamping_root_r45.crl.pem,sha256=lgNWnHQh6z6NlL9Imaf0F2rmvgQwTHxaI3RsbyPG3z0,1162
keel_verifier/data/tsa_trust/globalsign/timestamping_root_r45.pem,sha256=88GrsDyiqDmchkMgJm2vMteoa5Ott-4BGFfHKBDDhLU,2362
keel_verifier/keys/keel_checkpoint.pub.json,sha256=SyLc_VPlkduoptZUYJnFDxAZ6PcUI0MW-4u-rlYLvYo,451
keel_verifier/schemas/__init__.py,sha256=S6UOeTsaH7s7fHHfOU2U_UhW9nRa3T2klk0UEjiC9Y8,209
keel_verifier/schemas/artifact_ref.py,sha256=-kYCr_lT1LdUP8b_7gT46B1sp4rkPCmTHbdpsh5bU0c,2914
keel_verifier-3.24.1.dist-info/licenses/LICENSE,sha256=LbGo4E4jUEh2fcf1hk14vRTo9VyobpILaUaCvfsDwLY,1071
keel_verifier-3.24.1.dist-info/METADATA,sha256=3WAubfSa_nz8a3n_h1rU1Fo2U6ZxvvfFlF84Ps8nQTM,26313
keel_verifier-3.24.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
keel_verifier-3.24.1.dist-info/entry_points.txt,sha256=O6bCqEdCjITieLI7viMZYzs81m0hVJGz0lxZ6lX2fgo,55
keel_verifier-3.24.1.dist-info/top_level.txt,sha256=zKCH8PJxWNuT0iNWyrEmy23FqWqnPyt7pu2WEbJRWkw,14
keel_verifier-3.24.1.dist-info/RECORD,,
