provsubstrate/__init__.py,sha256=M6brvXzho94Nr77B0B5pXdihaj3zTvLvyJFKeGxxa0Y,115
provsubstrate/_cli_common.py,sha256=5yJ_58XiAQ74S4GO65W0eZLHL_d9jNrBJv5KN-eRaQQ,4824
provsubstrate/cli.py,sha256=K_2zG9FNs4_RA6hJdgx-k91HSDReHXWks0PGOIG6Qwo,7672
provsubstrate/mcp_server.py,sha256=eofJNrTPfDs1LKMmiKzuzTrFvO-704PQg_6Jza8c9Fs,5253
provsubstrate/bench/__init__.py,sha256=gjaHtkh1ZDly50tXK5gaPlTAQd1h5tIJloYD1HRNLZA,1898
provsubstrate/bench/cli.py,sha256=3Rv4ZrDpkmLR9eY23DRoO30mCKCOhj0SdfBfnp_puq4,3650
provsubstrate/bench/conformance.py,sha256=fEUPCIVzUDv2rgL5ED1h9dfDZPjPz08EBnfeqeVIMS0,6357
provsubstrate/bench/generators.py,sha256=UM-pRvexpJsebrGy3C1SG_7pwT82ngzPEZisy7HS0D8,12505
provsubstrate/bench/mcp.py,sha256=Mq_5_V1opO4HUuPN41bpFF3uhHlZ6BAKtshuu9a6xp4,4741
provsubstrate/bench/model.py,sha256=CiKiBFAZ45FxecuCcLj5zNfSoPimshAQ1yayp3TUyfc,5727
provsubstrate/bench/responders.py,sha256=7HcLqXbjX4UGdVyazTVZ24EAzySyywchmFrtfFIrAmo,4498
provsubstrate/bench/scoring.py,sha256=d10IFLHdd7y9QcsYiKHPRV3McWURi9RhCQQ2w6n_xXw,9110
provsubstrate/claims/__init__.py,sha256=9rBdXjq1YaH6JkUO7_kOf74VkeOlsJelGXVbF86o7f4,2540
provsubstrate/claims/attest.py,sha256=-nnMN0g3A7WXs5JEL-hCS1ic4YNvwvp6q3Jd94eaNqc,15149
provsubstrate/claims/cli.py,sha256=wOnS78bmR2LR4Lslxi_-fSuXPcHKorcsAict9_kDuHE,6845
provsubstrate/claims/conformance.py,sha256=XnnQEaqUGarZHVInanJVfe4LIsJWpYziORIBalUQres,17454
provsubstrate/claims/mcp.py,sha256=xZUCb_0YSjRfNUIDGoaxsImc2_Kn17LpTIySAEW85lw,5231
provsubstrate/claims/model.py,sha256=kHXDTapi35L_B8Iu7IP71z7m7uY06g4SrP4i20TD1Nc,11727
provsubstrate/claims/reexec.py,sha256=ZD-zSvO5LiSGsow_MpHAjsy2QOaYlDXJn-JpEfodX-k,6946
provsubstrate/claims/verify.py,sha256=ynnUOSyX0wA10ZnPQ-iT0dnl5us6SsifebF7DzbHXXY,4427
provsubstrate/conformance/__init__.py,sha256=Fv8yrdlY6wUfQNQkJNaYIZq4Jm5GRYrXwA0UvMh4Dds,530
provsubstrate/conformance/core_kinds.py,sha256=3jB3mUCQeGoZqX1gMD_VmLEOtc1n_XAzd9QXCr9h-yo,3225
provsubstrate/conformance/generate.py,sha256=1uMptg81naJRHV4TcFAbp2a10kgX1IPo7fEMN1d7jZs,6077
provsubstrate/conformance/runner.py,sha256=ZlGUY7Lq03Fc_kt9n0IwCDBwUN2vc6XHO_aZyD0i3SY,4828
provsubstrate/conformance/vectors_academic_v1/manifest.json,sha256=Cd12bj8qVPRPfmN3Klv-Ku_lRwU5TZqJ13mJHTpB5A0,36374
provsubstrate/conformance/vectors_academic_v1/bench_report_hash/distractor_seed_7.json,sha256=HP5JXgx0ebJiKLnKayJ72sKALuHzTvHZE7r3mKZh_2c,1737
provsubstrate/conformance/vectors_academic_v1/bench_report_hash/distractor_seed_7_always.json,sha256=eMbm91klzuzjPhFLXopxYZbhDFyJ8BfsEt_404p-am0,1699
provsubstrate/conformance/vectors_academic_v1/bench_report_hash/null.json,sha256=svFXJL_838njCXDhsonhr6r1EPK-A0wQra_X3KvGxQw,1601
provsubstrate/conformance/vectors_academic_v1/bench_report_hash/oracle.json,sha256=ZJWP7wExOPkDGcsIBHBqr3-Z9uP5GByI1QsN5SDbyck,1619
provsubstrate/conformance/vectors_academic_v1/bench_score/abstained.json,sha256=QS9Jgsa5mR_WvrVKEskSOrX7f3z7mdtVnaAYSvlyFsg,1659
provsubstrate/conformance/vectors_academic_v1/bench_score/correct_exact.json,sha256=nQy1KeGTZ-8vNtuwltM3uWUS-jCkn_qoCO6-qulCRVY,1666
provsubstrate/conformance/vectors_academic_v1/bench_score/hallucinated_previous_total.json,sha256=MWei3DvCybtjDHABc_FJAAHNIYdj6lIWdF29GeKQZmA,1685
provsubstrate/conformance/vectors_academic_v1/bench_score/line_amount_off_by_unit_price.json,sha256=JhPWdM7KBX6p5fhA6Z4KCxhYTKKCJ0KEqWejZ48AX24,1694
provsubstrate/conformance/vectors_academic_v1/bench_score/math_off_by_one.json,sha256=c6zxBt6rtd7z_VeDKpE6LGcai6oj1RPIDx4pV4oB3J8,1387
provsubstrate/conformance/vectors_academic_v1/bench_score/mean_just_outside.json,sha256=9mNqo5CS8qZur0kEZqQPA9B8GFhmxir7n_1r1ds1T4U,1583
provsubstrate/conformance/vectors_academic_v1/bench_score/mean_within_tolerance.json,sha256=huXSpmu-omoCJSBbBu5B8IAe_aAAi4balB62pPIxLLA,1578
provsubstrate/conformance/vectors_academic_v1/bench_score/pdf_half_year_only.json,sha256=I49NLYCrtBVIidOZnE7NDqaYtWFM6eNdm-0IVO6xvJw,1739
provsubstrate/conformance/vectors_academic_v1/bench_score/substrate_abstains_on_unparsable.json,sha256=2vFZt2CJfRqcOSNorz23bzmuvlI6unmVCGoNHXjuRJo,1366
provsubstrate/conformance/vectors_academic_v1/bench_score/sum_off_by_one.json,sha256=3W-knc2RwgGPUfYKtC9fhoPuHrN9rxc7uHTyPWNQEaY,1518
provsubstrate/conformance/vectors_academic_v1/bench_score/wrong_unit.json,sha256=L6cebiDR2mk7iZuGGtiMvK4VA1rRfabViuX5zNgksio,1626
provsubstrate/conformance/vectors_academic_v1/bench_taskset_hash/v1.json,sha256=IQMt-2gmRJrXWgrxLUBE-zrUjA86B2EHzWeSIi8O1S4,629
provsubstrate/conformance/vectors_academic_v1/claim_attest/clean_valid_approval.json,sha256=TxtKkgvT4l3feEhcIMJhX1FW2tEx4rugdlLenmDjSpM,5346
provsubstrate/conformance/vectors_academic_v1/claim_attest/dangling_computation_rule.json,sha256=UQNHUfPJ3h0jcTw4brGSi5uCdCpyLnLV33M8MndBDd0,4445
provsubstrate/conformance/vectors_academic_v1/claim_attest/dangling_edge_shape.json,sha256=uzSMgZOMc-gfAH6N0CH3SCcjjFT74ffrmVw9DfRlSGw,4270
provsubstrate/conformance/vectors_academic_v1/claim_attest/exec_failed_blocks.json,sha256=ZhbGqK_Z7IP2ch86jihePY_MJHSlfPdfM6d6R_qjWpY,5219
provsubstrate/conformance/vectors_academic_v1/claim_attest/input_hash_mismatch_blocks.json,sha256=b6u3gnTNtidiFlPIilOFJsN1vkZdwiW6Lh6-9mRgqXA,5260
provsubstrate/conformance/vectors_academic_v1/claim_attest/mismatch_blocks.json,sha256=6irXh38e_oJF2s6jveoyddrO7-whlf-KxewoNeRi4jE,5208
provsubstrate/conformance/vectors_academic_v1/claim_attest/missing_result_is_failure.json,sha256=M2iJmeqnL4AeEKg8NMagIaY_29EjHA7nm6OcJvf6cHU,4887
provsubstrate/conformance/vectors_academic_v1/claim_attest/no_approval.json,sha256=5UBsSoAetz26Muzt80-yWM_CZZkitU1XmegphjIFXLU,5234
provsubstrate/conformance/vectors_academic_v1/claim_attest/unknown_approver.json,sha256=9dZA3AuMafnZ2yOrhqj1cVSGqonvLL2mCP25JuIMlHE,5247
provsubstrate/conformance/vectors_academic_v1/claim_attest/wrong_hash_approval.json,sha256=-CXngOmSrhSC-mIDPrvZGEAZDLCPSZD177_uGKBrkoc,5247
provsubstrate/conformance/vectors_academic_v1/claim_manifest_hash/clean.json,sha256=ho1l_3lWAUIz1hBZYkXudRNup__j8MiAVgbPAAC619Q,3692
provsubstrate/conformance/vectors_academic_v1/claim_manifest_hash/empty_manifest.json,sha256=hsE8BpSbyxUyS18ucRrg26HFvKymZ2hyeDIyney_BTE,544
provsubstrate/conformance/vectors_academic_v1/claim_manifest_hash/key_order_irrelevant.json,sha256=R5LfLTdLFOrmqpATJDCbX1MHPk1NR6k8b-eA1KbUdPE,3726
provsubstrate/conformance/vectors_academic_v1/claim_manifest_hash/one_byte_changes_hash.json,sha256=FyVp7UmtjDLArtK0s9wG6zn5B84fhTC_neQyiQ3DWAA,3722
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/bad_tolerance.json,sha256=JeQQe_B9Q-w19rfFM2VUi3dGDALEf951IFTXhGJuIT4,2178
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/clean.json,sha256=HSygrVBp8MkM89DMvFQp0eEAkE_lDl6rM3j-L6TugZg,3630
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/dangling_edge.json,sha256=ts76GZ6JyFdDvZUs80Vu3q1JpUQhL5W_5UvtfzBi7n0,3120
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/duplicate_claim_id.json,sha256=_Cd5Km-WpJ4cZIC9WJzDeP_EMy1y-It1HQTgeq610s0,2872
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/edge_contradicts_claim.json,sha256=35EO6oEnwKhXLRNaA4sptschxhdCUZVjqrtRsjGFWBo,2904
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/id_mismatch.json,sha256=Vpv2vVRjItohjBzPjSsXH0v3XnQ3KYgCM113JyazqOU,2185
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/missing_input_hash.json,sha256=lH3zKhpBuyHS2Vk5qMyvtKZHj1KCs0wVSyzzoLGxCAE,2130
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/no_edge_is_ok.json,sha256=1ZKxFH8S7LYyZvFIrFydr2oH7gNIxX5DKsYwx_B0mLM,1952
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/not_an_object.json,sha256=BlpaQwUpE6CzsXQzGTT4GG5SChyRw4C40p_VYhxTYDk,271
provsubstrate/conformance/vectors_academic_v1/claim_manifest_shape/wrong_paper_hash.json,sha256=dGHZ6eV2eS_ib6FerxZEOaCHss5dOe8v8vc8XDxVaSM,2216
provsubstrate/conformance/vectors_academic_v1/claim_rules/all_pass.json,sha256=VnYKQrClpQ0tv3o7--exAOITRaluSw5s_bBN_LVp7EI,2138
provsubstrate/conformance/vectors_academic_v1/claim_rules/confidence_at_floor.json,sha256=ikzuCvfHaK1N0oXARcYRKaTpmUohyeGqugA1oJOzTy4,2149
provsubstrate/conformance/vectors_academic_v1/claim_rules/dangling.json,sha256=MIb_FhQgZM_nx341LIbTrg_096LRUVUHjDscKUYpMoY,1568
provsubstrate/conformance/vectors_academic_v1/claim_rules/env_unpinned.json,sha256=E1dpUYtfvpAFmy65rGyLowlzvJofIhhoJz5uRG7-yp8,2160
provsubstrate/conformance/vectors_academic_v1/claim_rules/low_confidence.json,sha256=zByB8sFV1D5hx6gP7lQgT1VypP1UEGE3jL0vsOI4tZs,2150
provsubstrate/conformance/vectors_academic_v1/claim_rules/tolerance_exceeded.json,sha256=TtS3OqLlyoIMqdX_iUySuJjComfAbbIed_tmajN_VTA,2219
provsubstrate/conformance/vectors_academic_v1/claim_rules/unconfirmed.json,sha256=ea5BZULVvPSPerW8Ug6D0YW-UBpPKK25wAE6xnMNY2o,2168
provsubstrate/conformance/vectors_academic_v1/claim_verify/clean.json,sha256=cUkFtu1m24aY8EPoOV-aFr1Sn6RTQ3gQ2gRPGnYyVTQ,1780
provsubstrate/conformance/vectors_academic_v1/claim_verify/exec_failed.json,sha256=W5aVtbrMbBJ-Cb0TJVakNwbcQCcCJxM40WhYX2jn99s,1829
provsubstrate/conformance/vectors_academic_v1/claim_verify/input_hash_mismatch.json,sha256=rGOa_Rju2Ackg_7QWXlzoSu7V9j-uEMc921MrncW7y4,1852
provsubstrate/conformance/vectors_academic_v1/claim_verify/mismatch.json,sha256=xU_GYrY3GAdgB3Usc6Cn6lnakB38syKKrkMrKU-AWMc,1804
provsubstrate/conformance/vectors_academic_v1/claim_verify/no_computation.json,sha256=BeVaPh7T_i6RnwMtbMhzehsoPS6pUEGXRXFkAvItIzE,953
provsubstrate/conformance/vectors_academic_v1/claim_verify/no_value_in_output.json,sha256=E6f7wk85UcaBilMgQWJuvLIE8OKgCqKMyH7_zFIJEIw,1806
provsubstrate/conformance/vectors_academic_v1/claim_verify/tolerance_edge_float_inside.json,sha256=iEvtzVLkCICS3xJfFClvL0TcHflDHvPZKFylBXCV8sA,1905
provsubstrate/conformance/vectors_academic_v1/claim_verify/tolerance_edge_float_over.json,sha256=BlnLscvkTvdKlFNAgD7fyoToUwtEZYP7x5iB_AvHpRE,1897
provsubstrate/conformance/vectors_academic_v1/claim_verify/tolerance_edge_inside.json,sha256=Gz5gkxpgDvJZ27c4aVnhykcLmZCNOWDGXuKZCvff2YE,1848
provsubstrate/conformance/vectors_academic_v1/claim_verify/tolerance_override.json,sha256=HI2WzsDVg0ySiS_lJZOZjoN9FCykCyvAFPvSCQUJAuk,1835
provsubstrate/conformance/vectors_academic_v1/lean_approval_summary/clean.json,sha256=cpVMRjVhCC6Nl5QV7sxl_DQjd9sKEM1-pSYAgio5H9I,1088
provsubstrate/conformance/vectors_academic_v1/lean_approval_summary/no_axioms_no_mathlib.json,sha256=Zc0y8OwtXc61H_NLNSqjem3dxpdGJeP1Q8jKWI_S4vo,1002
provsubstrate/conformance/vectors_academic_v1/lean_approval_summary/rejected_with_sorry.json,sha256=4N8bZ1tqpEwq0HO02u7W4phbJ0tIAnVp2NVm9uEeavE,1140
provsubstrate/conformance/vectors_academic_v1/lean_approval_summary/unpinned.json,sha256=kSjXLYC6RuSYE9WDrB4HqkfsqbRo5Psm1FjTdjyTilg,1022
provsubstrate/conformance/vectors_academic_v1/lean_claim_shape/bad_hashes_and_confidence.json,sha256=T6Go5djL9TqCJ6T2cEWq5QmXwss0nJqeydh-bnvLUp0,861
provsubstrate/conformance/vectors_academic_v1/lean_claim_shape/bad_theorem_name.json,sha256=c_VIUXb96Xbgp12pPVm9B5eOV0MJ_O2hNcIyMBZZYPg,894
provsubstrate/conformance/vectors_academic_v1/lean_claim_shape/clean.json,sha256=0Z7nvJw1PsnTeADRpGqJ_VIqtJyCRwyT7tw64b__w3Q,835
provsubstrate/conformance/vectors_academic_v1/lean_claim_shape/missing_fields.json,sha256=4d1evbql9441nj5PBEda-3ksN7Ajci30x7UUwoD0yOc,586
provsubstrate/conformance/vectors_academic_v1/lean_claim_shape/not_an_object.json,sha256=i-z2CzK0XWNkq9FGO14gfw2j8eIDFRs-bAcqumv3b_8,269
provsubstrate/conformance/vectors_academic_v1/lean_claim_shape/unpinned_is_shape_ok.json,sha256=oPBZ1FDLleE220DgwuVjh41VJEuYwiSD3XqaMcNj3Aw,842
provsubstrate/conformance/vectors_academic_v1/lean_proof_file_hash/multiline_term.json,sha256=15k7ZjQUaiOWBb2af-N3zs3O_HRqkU2rbbqwJEPRPSM,1074
provsubstrate/conformance/vectors_academic_v1/lean_proof_file_hash/no_imports.json,sha256=Bi2xKYeCtt-JsFw6lTJBb9sq4-pH6h0e3NYwUoXdfoU,918
provsubstrate/conformance/vectors_academic_v1/lean_proof_file_hash/one_line_tactic.json,sha256=9W-yclDf0Vj7RCTBKFYbroFl6qtrqKXa7JOa0UY8TW0,988
provsubstrate/conformance/vectors_academic_v1/lean_proof_file_hash/sorry.json,sha256=T-KHIfU9Zb95j-BGnkCoyGUg759f7OVkBWO4ZJ7GOBM,1039
provsubstrate/conformance/vectors_academic_v1/lean_proof_file_hash/tactic_block.json,sha256=SjMPejkfVBr4zd1eKLkQKeLvMliA94xJQlJrT_u0VU8,1033
provsubstrate/conformance/vectors_academic_v1/lean_proof_file_hash/term_mode.json,sha256=5Hs94ctKGQCrFuEpehQnvsC6JzRDCOyiMeE6T-v4hQ8,992
provsubstrate/conformance/vectors_academic_v1/lean_record/bad_shape.json,sha256=3pxcQD9D77upumYvtOix2Fdznco2X5a4yPqTKtCATYk,791
provsubstrate/conformance/vectors_academic_v1/lean_record/clean_valid_approval.json,sha256=lw2uY_XaROg3VPm0eQDbDDYbMXG0-LJaH45JrtdDtUM,1833
provsubstrate/conformance/vectors_academic_v1/lean_record/forbidden_axiom.json,sha256=571M9xZWNJAm79f14FGlo0ETlOEo4feUg_ILipD-Hwo,1735
provsubstrate/conformance/vectors_academic_v1/lean_record/hash_mismatch.json,sha256=ryCBDaCPMpDRKbsrMcpCepF_I53wro29kd3H2RGcGN4,1697
provsubstrate/conformance/vectors_academic_v1/lean_record/kernel_rejected.json,sha256=ADpX6rFs1eR40-qRo_srbnpi8HzNIiYW7JVaI-_lgpo,1737
provsubstrate/conformance/vectors_academic_v1/lean_record/no_approval.json,sha256=atTzS8Z2GbzNAi86BStGMXMq7-MbT11rHfdcIJY74KM,1749
provsubstrate/conformance/vectors_academic_v1/lean_record/proof_with_sorry.json,sha256=C7RHof9lTr8bHArxyTOvOf3lXjXBya268hS1OnGbaAU,1722
provsubstrate/conformance/vectors_academic_v1/lean_record/unknown_approver.json,sha256=ZRjYy-e1Zwolsg1pUpWcoi9FBg8PpmqEBPdODWIrRts,1764
provsubstrate/conformance/vectors_academic_v1/lean_record/unpinned_toolchain.json,sha256=-NkEv_acF2-pE-83M8NXARb-xtVeqVgtiTr6AiTz8Os,1673
provsubstrate/conformance/vectors_academic_v1/lean_record/wrong_hash_approval.json,sha256=uirOskk01UrH7p6Tse1z2GEaRxLPOdPctJ-Q8t6DhQM,1773
provsubstrate/conformance/vectors_academic_v1/lean_rules/all_pass.json,sha256=Oa79MF2blLZA6cHkcs9a62DAW9hQXja6XMWFV311jg4,2051
provsubstrate/conformance/vectors_academic_v1/lean_rules/allowlist_widened.json,sha256=wchHL_XG9U4aDA4Zn6al6rVL07OMZaSYTVQhL-oHQVc,2152
provsubstrate/conformance/vectors_academic_v1/lean_rules/confidence_at_floor.json,sha256=1fClrrhg9y9H9mSn6D4oA85dIFVyicD_9DeCvz4mB-g,1986
provsubstrate/conformance/vectors_academic_v1/lean_rules/contains_sorry.json,sha256=f_8cvhRJEYHwIVRdp50hkwI2uO9ElgPCn5NFirYrkh8,2117
provsubstrate/conformance/vectors_academic_v1/lean_rules/forbidden_axiom_from_kernel.json,sha256=oCG3Kx1yiUM91y8FD1bsbfiQED6UVUKfRTkggxUGJug,2145
provsubstrate/conformance/vectors_academic_v1/lean_rules/forbidden_axiom_native_decide.json,sha256=H7XmsT9xvofkOp7TeXMl4NHaTNzVERwgFsxI5J_CTGI,2139
provsubstrate/conformance/vectors_academic_v1/lean_rules/hash_mismatch.json,sha256=1YePHEKqu9Tb6MXQBMfuxJa7CrhBbmJdhyxHmDEJQOE,2026
provsubstrate/conformance/vectors_academic_v1/lean_rules/kernel_rejected.json,sha256=_ArqD5hIb2BOCzmg_BUDLX_-BtRNYvfd9yTQMUt7w4A,2115
provsubstrate/conformance/vectors_academic_v1/lean_rules/low_confidence.json,sha256=ZcfU_TPoU-75r0FORIDZjTzjgmyPp9DpcyZs4YgZ8bE,1989
provsubstrate/conformance/vectors_academic_v1/lean_rules/unpinned_toolchain.json,sha256=-9kGoua_4rJYkorXKOvmd-zcZzc-9bNqn_ivplbmkkY,1962
provsubstrate/conformance/vectors_academic_v1/repro_approval_summary/long_title_truncated.json,sha256=6HA-WT60EeavWIOx0HmHY4arf8LdpNZfu9fvQdN1sRI,2148
provsubstrate/conformance/vectors_academic_v1/repro_approval_summary/partial.json,sha256=097FCFJfwBt1BRBpSaZl7Po_jorPgmwSo56Op8DPN5I,2167
provsubstrate/conformance/vectors_academic_v1/repro_approval_summary/reproduced.json,sha256=6h3gMioVo9G7vG2cN4YlA1sxTXLGx913SMdieLxgBK0,2147
provsubstrate/conformance/vectors_academic_v1/repro_approval_summary/unpinned.json,sha256=mhmwHAnGw7doq8MNeivbDfdYGLW6x80h_nFnFnFYiF4,2102
provsubstrate/conformance/vectors_academic_v1/repro_dataset_manifest/empty.json,sha256=EbGHbjf0RIsBW7e99JpDv3mZKbidblwba5E52O0_Rb8,484
provsubstrate/conformance/vectors_academic_v1/repro_dataset_manifest/two_reports.json,sha256=62r-pDYhELKCCDJI5TCcwUMLRFINOsO4yEDRcbR6Jpc,10753
provsubstrate/conformance/vectors_academic_v1/repro_dataset_manifest/two_reports_reversed.json,sha256=OSacIWSObsbXnUdqTjqL0R7kA0QC7T89GtiQSBlBPAs,10727
provsubstrate/conformance/vectors_academic_v1/repro_judge/could_not_run.json,sha256=I7GoaGjTKtvml4IgNUY0_wDV7RGwNYfSkJBHVhcSUKM,3615
provsubstrate/conformance/vectors_academic_v1/repro_judge/full.json,sha256=u2HpFKAqgBX_PAMTwq_YfGeW4L6cO2oT3FJqgv6YTHo,3844
provsubstrate/conformance/vectors_academic_v1/repro_judge/mismatch.json,sha256=bOrPKJZMjLhUz7D90k3P2RJaTQRYxvcsA8kiw4MY18M,3852
provsubstrate/conformance/vectors_academic_v1/repro_judge/missing_claim.json,sha256=S16HecBluoujqPNICpOdE5-9WLJVoDT9lph9GACUQ08,3867
provsubstrate/conformance/vectors_academic_v1/repro_judge/no_selectors.json,sha256=2h9Y8prlGgNcDOgq5VpaXRCKw2trMYxaz_UG17G_YA4,3328
provsubstrate/conformance/vectors_academic_v1/repro_judge/partial.json,sha256=1mqRnEGXiGVgZxOdasqO1uCtWvd70t096HyICSJr7J4,3848
provsubstrate/conformance/vectors_academic_v1/repro_judge/tolerance_edge_decimal.json,sha256=AdNgl2wv6ULbyF-V9-XEPwRRMGs1UuOcOunZEiggaSY,2908
provsubstrate/conformance/vectors_academic_v1/repro_judge/zero_claims.json,sha256=Sg1eB3rX4JvpKKX4fe_BbPZj1Xhl4V13eK4UgPt3gNk,2374
provsubstrate/conformance/vectors_academic_v1/repro_record/could_not_run_never_reaches_gate.json,sha256=6l1RhPLbbR-52pqu1SEMcFg6QPoQZlMKbP1TYV45AHE,3526
provsubstrate/conformance/vectors_academic_v1/repro_record/low_confidence_refused.json,sha256=-Hs92HGSUvYB3sUptuXxNx8PLGua5geNMiYBZuZBUSs,3612
provsubstrate/conformance/vectors_academic_v1/repro_record/malformed_attempt_logs_nothing.json,sha256=jVfx7cEggJ18me_h6Zyw8bfh95pSEeonDFF3ArhUhUg,3454
provsubstrate/conformance/vectors_academic_v1/repro_record/mismatch_never_reaches_gate.json,sha256=A-uRuj1cJpmWQnULRftdD7J6KSWEoV_D9jumPofe8PU,3612
provsubstrate/conformance/vectors_academic_v1/repro_record/partial_never_reaches_gate.json,sha256=FKCwxTx4gVKiiv5JwAeBBTkUhHQIPgXWlINfb3zQvlI,3641
provsubstrate/conformance/vectors_academic_v1/repro_record/records_with_valid_approval.json,sha256=4IMOYG4RIMtwjHV6K1wqRDX1qEILjXGSLo0YfJmFNik,3749
provsubstrate/conformance/vectors_academic_v1/repro_record/rejects_unknown_approver.json,sha256=PjzzfyHHXgWsrFKfvlBLCAE9EwsbN0uRP_SX5iovoDc,3649
provsubstrate/conformance/vectors_academic_v1/repro_record/rejects_wrong_hash_approval.json,sha256=JAY3PqqRlcZ5un_5BcnY6mu0lCzrNWJlT8vAf0fRlhc,3653
provsubstrate/conformance/vectors_academic_v1/repro_record/stops_at_gate_without_approval.json,sha256=wDO0xEXUTt5I6PuE8Oboq3rgeBBqa-aIJ2Octj1tZiA,3644
provsubstrate/conformance/vectors_academic_v1/repro_record/unpinned_commit_never_reaches_gate.json,sha256=ryBMwWe268wgkjVZkQ-2E52IC6umI7qP5VT8KkONcKQ,3580
provsubstrate/conformance/vectors_academic_v1/repro_rules/all_pass.json,sha256=71cn9tS7EBOflwO6k2WQ8nTQ4vxcIsr5E4CfioB_hcA,3719
provsubstrate/conformance/vectors_academic_v1/repro_rules/claim_mismatch.json,sha256=TTh4KF-k5CpzP_Y_8WxBoCHGbH7IrXaOSqpfwVwZPLA,3751
provsubstrate/conformance/vectors_academic_v1/repro_rules/confidence_at_floor_passes.json,sha256=X_N6Yf0ZxnDk9uOa5jjW8U0cYx3TnLv7rZz8PTsFCrM,3711
provsubstrate/conformance/vectors_academic_v1/repro_rules/confidence_below_floor.json,sha256=1zpVNrVe9aZ8eDGyShN5raAxWl1mUYwwYmmSwd2tCzA,3747
provsubstrate/conformance/vectors_academic_v1/repro_rules/multiple_failures.json,sha256=Dcc2y08_vZc7wsroevD1dymPKDXRjBTnnyfJdEBBRIc,3787
provsubstrate/conformance/vectors_academic_v1/repro_rules/run_failed.json,sha256=FjVSUTCHgKypPE6P8AjP8B3yelcgD6dd7rsunYnIads,3701
provsubstrate/conformance/vectors_academic_v1/repro_rules/short_commit.json,sha256=PU-Q97XbNeHIsFdbDdYqnUUH8fFE99b-S8mqZfmoFhg,3708
provsubstrate/conformance/vectors_academic_v1/repro_rules/unpinned_commit.json,sha256=T_7jsYl_OliYDVWiZ43-BlusL4j52CjzR6DslEfh2TI,3690
provsubstrate/conformance/vectors_academic_v1/repro_rules/unpinned_environment.json,sha256=U41Nvkk7qMZYvcdqUxR1kI7389CJ1Lw623S6z07rvQE,3653
provsubstrate/conformance/vectors_academic_v1/repro_rules/zero_claims.json,sha256=Jnwg0FXrozZjzWvUUIOHolzuT-emCGUvxNQFUMMzCpw,2306
provsubstrate/conformance/vectors_academic_v1/repro_target_hash/keys_shuffled.json,sha256=X9-VEsPQOzJTprsaoBzQHoqLmAvLIYdNJhtRqp6gUUk,1530
provsubstrate/conformance/vectors_academic_v1/repro_target_hash/pinned.json,sha256=i-w9p3UlzgWyWdtuXwaslr33IPTHZS8n7VOpClst9I8,1535
provsubstrate/conformance/vectors_academic_v1/repro_target_hash/unpinned_commit.json,sha256=ehL8hqHntwo5GEqGUpt977zRx2LX7s1xyods1Vfym9A,1497
provsubstrate/conformance/vectors_academic_v1/review_approval_summary/clean.json,sha256=n1Hxn9j6QmG1_pmjTssg7kxDHX19GFxkiAvKQdmDl8Y,1418
provsubstrate/conformance/vectors_academic_v1/review_approval_summary/long_title_round_2.json,sha256=3WnD1NtOONVsToOw8qvCkYNm71iPGxSLmOSVTjBNgJc,1490
provsubstrate/conformance/vectors_academic_v1/review_approval_summary/no_ai.json,sha256=aTHhqHjoY8uoO5utZ7ggFh7MBOzAiY1sEd9I6Mw3t7o,1143
provsubstrate/conformance/vectors_academic_v1/review_chain/five_entries_tamper_seq_1.json,sha256=GOS1gRM3gE6IP7TfcIOPS-0NwymmZMD8kEeVQ01W9Ng,4025
provsubstrate/conformance/vectors_academic_v1/review_chain/five_entries_tamper_seq_3.json,sha256=QPnBCA-UnlpK5M9J3BrMsjdu5tJEDH_yNZvrQuGHdOo,4029
provsubstrate/conformance/vectors_academic_v1/review_chain/not_opened.json,sha256=hShg5M7-gJZd9RCZHEVZq5pAQ-79kjEts_jvq_hWiPY,2496
provsubstrate/conformance/vectors_academic_v1/review_chain/single_submitted.json,sha256=76gD4bn8PuTVcgAIEhUCrMX8I_Mn2YaxzKBunvluUrA,1432
provsubstrate/conformance/vectors_academic_v1/review_disclosure/clean_disclosed.json,sha256=e7JZsDV5p_37HfXfAIkZwsPwQGk5Wm8wQoGOwZ5aKgc,1327
provsubstrate/conformance/vectors_academic_v1/review_disclosure/clean_no_ai.json,sha256=jBPSYQ0IU_UsbJs3MTPXUruldAfpjbC1iZsc4dvDpqY,1025
provsubstrate/conformance/vectors_academic_v1/review_disclosure/empty_review.json,sha256=fY7N2IIHZcUhDGLnExE5JJ8Doxldc1hGEDAyXMvA6Hw,1102
provsubstrate/conformance/vectors_academic_v1/review_disclosure/manuscript_hash_mismatch.json,sha256=wHC_q5dwL6QUQxhYvFR2F0GSiIupLQpV3rHRi7ro7G0,1403
provsubstrate/conformance/vectors_academic_v1/review_disclosure/missing_recommendation.json,sha256=fneIPlwB0Moravu1PFEQopZqR3c1mgdVjLxIpXmyPXg,1306
provsubstrate/conformance/vectors_academic_v1/review_disclosure/multiple_codes_first_wins.json,sha256=P7ufN66_SPP_13USd8fR7i30szapc7NcctRzvoKoInw,1238
provsubstrate/conformance/vectors_academic_v1/review_disclosure/substantive_no_lineage.json,sha256=n-PAP3HRaEwHJUuX0lZPXirijM03d5HDzMawbewoWt0,1153
provsubstrate/conformance/vectors_academic_v1/review_disclosure/substantive_with_lineage.json,sha256=RBQYXUJhWXN9PLxkVMGQdYcBC7HZ1JJhra-QI5TBuKc,1358
provsubstrate/conformance/vectors_academic_v1/review_disclosure/undisclosed_empty_text.json,sha256=SWUIX6xUqqB7e1lyHdgn8-OFUsTL_Ihf54Q3FUDRoNI,1264
provsubstrate/conformance/vectors_academic_v1/review_disclosure/undisclosed_scope_none.json,sha256=bQFkNfJymkmCON8DgLNEi5s1UmOO9UQ6l51Ok2eq2z8,1242
provsubstrate/conformance/vectors_academic_v1/review_record/duplicate_review_refused.json,sha256=x8Qm3J15nJKgKTrgRkf9iDMaqQzRlXX36wm9W47Jm3I,3304
provsubstrate/conformance/vectors_academic_v1/review_record/malformed_logs_nothing.json,sha256=9EkEfjbKHbcVAQ7tuZVMN3aXKA15rdVQ5ctA5jqAbuc,2026
provsubstrate/conformance/vectors_academic_v1/review_record/manuscript_hash_mismatch_refused.json,sha256=y414ovkC8gkr8JUyw74nUtmo4Sqsd_VSsHhMF7z4A9E,2286
provsubstrate/conformance/vectors_academic_v1/review_record/records_clean_disclosed.json,sha256=-MQQ3DXBflCT2c3Aq2YzXGmKj3RMJiQBUA9-1pfzQ-k,2304
provsubstrate/conformance/vectors_academic_v1/review_record/records_no_ai.json,sha256=sUH6VGUvOgQL1ibFB_rvMoiEUIfob0nMbJ3EeWftvHU,2047
provsubstrate/conformance/vectors_academic_v1/review_record/rejects_unknown_approver.json,sha256=OHmeJw9IA2Mjxo1ja2fIdYVleoNPSTTErzBKIL-J7hM,2235
provsubstrate/conformance/vectors_academic_v1/review_record/rejects_wrong_hash_approval.json,sha256=XZlQccpIngHUqV53Pk-9BOUHpULa-ACW4KrhM-wCs7U,2239
provsubstrate/conformance/vectors_academic_v1/review_record/second_reviewer_records.json,sha256=Xwugen5gqsvhkRVy7YyKcVq76ZJW_PHsr64ZJEJdsOE,3136
provsubstrate/conformance/vectors_academic_v1/review_record/stops_at_gate_without_approval.json,sha256=KoC_DPfN6MC-nTTt6DaUX7atLqlf_wvgpoGwak20zcw,2230
provsubstrate/conformance/vectors_academic_v1/review_record/substantive_no_lineage_never_reaches_gate.json,sha256=JQfvcOkr4KEfiI4VBbFGCxrJJhFC7NpGCNT188ktjts,2026
provsubstrate/conformance/vectors_academic_v1/review_record/undisclosed_ai_never_reaches_gate.json,sha256=iy9anvtiRK_O7G7sfkj2M736vcuqwztywLgVIFvY6YQ,2137
provsubstrate/conformance/vectors_academic_v1/review_shape/bad_everything.json,sha256=SCfQjqogVwHq-w-YT1z_zvPmd2WkpIMvs1dCD3kmir8,1128
provsubstrate/conformance/vectors_academic_v1/review_shape/bad_hash.json,sha256=4b9gu9rIN8O8Ass1S5Iel4GoqFTz1mW9BS1u3x7y9vI,1163
provsubstrate/conformance/vectors_academic_v1/review_shape/bad_recommendation.json,sha256=WJsSgeU5D5t4HPDgN5BazPRlmQAeE5fkoUcPN_gb4qI,1244
provsubstrate/conformance/vectors_academic_v1/review_shape/bad_round.json,sha256=51uVrw2acxBzfuJI-4-hRYo_6gKoMeE1acZS0s17sUY,1220
provsubstrate/conformance/vectors_academic_v1/review_shape/bad_scope.json,sha256=h-fLAPDdVgwRq3-eQ5OiiauNbwjWP5O42BFG-xb0xBU,1164
provsubstrate/conformance/vectors_academic_v1/review_shape/ok_clean.json,sha256=wgk4Q5e5mWz9Wq26_cqMf9hxQuLyCV28Rh8T_-tvsus,1189
provsubstrate/conformance/vectors_academic_v1/review_shape/ok_no_ai.json,sha256=YJBcZheYXnEZ0pUwuJ7OjQN1la2LNzhLpNWbC6Z0iWc,936
provsubstrate/conformance/vectors_academic_v1/review_shape/ok_substantive.json,sha256=j7HeujoX5L2EgkJw5vL4mN4dGAbhiRP-6iUmeQlGI1g,1213
provsubstrate/conformance/vectors_finance_v1/manifest.json,sha256=mSgzM5Pn0XaxQ3WF7j68PSHCqRkzyEam5XBTq3RxNXY,31039
provsubstrate/conformance/vectors_finance_v1/approval_summary/ambiguous.json,sha256=f2PUN5kuzofFYc3cSBAHfgJ3Uh9wpKSHkC7VUnmg2N8,1552
provsubstrate/conformance/vectors_finance_v1/approval_summary/clean.json,sha256=JVl5OvoT0o9-yaxygINH35bwg2dfCjHRxRhIVVXbZL4,1531
provsubstrate/conformance/vectors_finance_v1/approval_summary/eur.json,sha256=JmIjfTKNmhM-pxAcgsDM1VyGTsRCL1vhvmoRCV6aTu4,1379
provsubstrate/conformance/vectors_finance_v1/approval_summary/no_vendor_no_date.json,sha256=gbyirD1MzuUBLwnSr-ox9MGJD9WRIrubF3oXD1mKJRk,1537
provsubstrate/conformance/vectors_finance_v1/approval_summary/receive.json,sha256=uW_3pnxgVO5keYTEdZ9GoeWP0DalBBdwFlz_W7-L0iE,1370
provsubstrate/conformance/vectors_finance_v1/approval_token/clean.json,sha256=oEULakU6OmUU4k8p7TN8nd1pYOVqNWkojgtFCFcR55w,1056
provsubstrate/conformance/vectors_finance_v1/approval_token/clean_one_second_later.json,sha256=3GOuONi226OdTLzxJSqIR5EFUWJS6JgqW1ilAs2ZczM,1053
provsubstrate/conformance/vectors_finance_v1/approval_verify/approved_at_altered.json,sha256=PhmGoIm9st_Oh46UWMlltV2yL3GUEmtpMTLbxISIKSM,1089
provsubstrate/conformance/vectors_finance_v1/approval_verify/empty_trust_set.json,sha256=sw3dPg2kCSa7wKmOTV5-w4y95z1oyddEqYsHuKt-nBk,970
provsubstrate/conformance/vectors_finance_v1/approval_verify/forged_signature.json,sha256=L2DCQhnNw87WHbxOoeEmlZzT1EAz_-wezo-_QVh9NOs,1083
provsubstrate/conformance/vectors_finance_v1/approval_verify/short_signature.json,sha256=qWjWLXaRAmvIRkPS8TCQ80n7f43OCW8-o_90CGrMRfQ,1021
provsubstrate/conformance/vectors_finance_v1/approval_verify/stranger_signs_valid_request.json,sha256=wh7Uc7M889OS-udo8YBl0L3rPDZNMwv1jQgpX7Kq2ks,1112
provsubstrate/conformance/vectors_finance_v1/approval_verify/unknown_approver.json,sha256=QXGlWamo6EAUHuBEBpUkUTvRVOOZadCv1QFp4dPMmIk,1076
provsubstrate/conformance/vectors_finance_v1/approval_verify/valid.json,sha256=DcbUS232BzpmgMxmJFZuMQ0RfapSlLFddxrYIYu_6GY,1049
provsubstrate/conformance/vectors_finance_v1/approval_verify/wrong_materiality.json,sha256=4W_eCSdeH9ffewStgozsZvkZe91yEh1N_ri9vgnoRi4,1094
provsubstrate/conformance/vectors_finance_v1/approval_verify/wrong_request_hash.json,sha256=hpL9XY2VYF6GxLYoDW9-wBCE-grvBpe3CCN194H9x84,1095
provsubstrate/conformance/vectors_finance_v1/approval_verify/wrong_secret.json,sha256=F7gDJqkm-JUFK3smEk1rSRBip64H0ZUUizTzVkoGU4k,1059
provsubstrate/conformance/vectors_finance_v1/approval_verify/wrong_session.json,sha256=Lg2QQ7Tdhp0aPcKKuZ-EewUgRtf26_wPnJxMYxENb_0,1069
provsubstrate/conformance/vectors_finance_v1/approval_verify/wrong_summary.json,sha256=BbQHVeHU6fu5A57halTFv_6HvcE-ss9TkZOJwR22-Tg,1081
provsubstrate/conformance/vectors_finance_v1/arithmetic/bad_line.json,sha256=b8RL8_7cglO9x8AVNto0BE3BF_j-X49IR5bhl7IZT9g,1194
provsubstrate/conformance/vectors_finance_v1/arithmetic/cents_edge_tol_0.json,sha256=PCKev35BArhuRu4aAHrawbX6UYHiIrPM_OD6Mug2YPk,996
provsubstrate/conformance/vectors_finance_v1/arithmetic/cents_edge_tol_1c.json,sha256=jOJoajqyfEU7Oi4U57hgfev0UBMsj-fcjRWZaYrCggs,1003
provsubstrate/conformance/vectors_finance_v1/arithmetic/clean.json,sha256=R4ZCpnfSLozhTLNeNonBuU3bsHra9BSA5JxizWmI6EU,1174
provsubstrate/conformance/vectors_finance_v1/arithmetic/clean_zero_tol.json,sha256=p-_CND5aTLhipDS6VGqxPsplP3A54LP4onWJeLM_duo,1177
provsubstrate/conformance/vectors_finance_v1/arithmetic/eur.json,sha256=mfY2biUtiUVUZ2iDnbhnQaR1EIDOPEMge0Hp_OTXwT4,1017
provsubstrate/conformance/vectors_finance_v1/arithmetic/fuel.json,sha256=l9WJQFsGNnUcVUmQKACYjkIeIiHr8N6LI5qHE4gxDkQ,956
provsubstrate/conformance/vectors_finance_v1/arithmetic/misread_total.json,sha256=LJ3QZMBebfM72_FhbLpetm9hJ_521zbyiidNwMYP9jI,1191
provsubstrate/conformance/vectors_finance_v1/arithmetic/receive.json,sha256=ujcORjjkJoBLNXw4YxAmI3yu99XNS02YRwjslHFerxA,1005
provsubstrate/conformance/vectors_finance_v1/arithmetic/three_lines_rounding.json,sha256=ZItWaAWjQ95iefG1v8I174xP2W-KFJ3hPMn79U9yKlI,1333
provsubstrate/conformance/vectors_finance_v1/audit_chain/five_entries_tamper_seq_0.json,sha256=dofWd9rLFtKl9AsXeE1Ty9SPyibqLzkyEiz962vO31s,3851
provsubstrate/conformance/vectors_finance_v1/audit_chain/five_entries_tamper_seq_2.json,sha256=61ntspjXFVJ1K7EERHuEKu4Q5lljUzrt-ybdXtqTo_I,3879
provsubstrate/conformance/vectors_finance_v1/audit_chain/five_entries_tamper_seq_4.json,sha256=xUnXJbqBSAGiDNwA5dcyZFCGtsAecjV0hLL1Q3650wA,3851
provsubstrate/conformance/vectors_finance_v1/audit_chain/single_entry.json,sha256=3yicMCIoav4vQPBTPbuhVM-td0RyFVuPDHgjcYkrV8M,1896
provsubstrate/conformance/vectors_finance_v1/canonicalize/claim.json,sha256=KZrw9Y5i-nC44Arm4oIeq7WUWyZDB7BrXGBQG4ZOjIs,1699
provsubstrate/conformance/vectors_finance_v1/canonicalize/empty.json,sha256=4AwoeXYvN1YJ0Tqa1HnF4ILCWU8xLf0F7mc-JUl9Gl4,371
provsubstrate/conformance/vectors_finance_v1/canonicalize/key_order.json,sha256=BafUauzsWHtyrvoFEejbW9PIC8WeiSkYqrhs7H9Z6nc,337
provsubstrate/conformance/vectors_finance_v1/canonicalize/nested.json,sha256=qfZMJiWE_j0ii_89sTwW137V_STcqL1KJ3GC4WSSIc4,525
provsubstrate/conformance/vectors_finance_v1/canonicalize/numbers.json,sha256=duJySHQehXyL52cB_ZBQM0A-KdfbPvjeQG95ZYun_1E,503
provsubstrate/conformance/vectors_finance_v1/canonicalize/strings.json,sha256=vEwyLfIUdD2k9U6WfVASCD88RzQWpUd1CLn8GMmx6vc,468
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_bad_currency.json,sha256=qoZfjO-lVNbPKGusvKKBdD-qdMeNIVt2RtTSX0Gux9c,1084
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_bad_date.json,sha256=V9EjCzLK9uam8ekJINQOj_f4ya18oSVBn2jf4qD6YSM,1083
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_bad_direction.json,sha256=9Zv4aNx6H7WP_b6lRCbwV2W5qx0AKbBaV5TxeKW0r2U,1091
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_bad_hash.json,sha256=IY95RVQDHmdDAT5th-L23ry_Yd0CrBdN0lEih3cVjaI,1019
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_confidence_over.json,sha256=TlqtWLEzpCovtrJeo2zFtJxw4aHsjVVyQ0sZZ-yzo0M,1092
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_empty_lines.json,sha256=uiFl7SzhZYPWllYc3YDEK2hRcZQ6a0UPRjdcOgPKmrs,727
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_everything_wrong.json,sha256=vkn-pMolfyWQ8c63IZR8Gmfi1RU5uCGlZiedFrSAnhw,834
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_line_missing_code.json,sha256=LNkan8pgMKE6cy3c8udZWfbvUdvS6Q_ybBl1jbOt6Sw,882
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_nan_total.json,sha256=GrLRqRZu2FzbykUsSTXSpuiKqjBvddMZ4BURidYb_ek,1084
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_no_lineage.json,sha256=kZGHWtGruC5Djae5pZWAU6H3daJaAhcVXlcMi7PDih0,984
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_not_object.json,sha256=GM5Ic7JEdbz3hubiHzY5RIqNqQ6zlcgbYXk9iV9AwLA,253
provsubstrate/conformance/vectors_finance_v1/claim_shape/bad_null_claim.json,sha256=gP3-e1SS7u-DzJldEjOI9DsBnUBvxqIpTOe4He1q-fA,251
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_bad_line.json,sha256=UUy8ePMpsnyMhW2e75bhpnhg4N9YKHWs84PAZYUOgh4,1038
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_cents_edge.json,sha256=4DwrfunY699JvZmoLyVONIDXPwpFCgcrcbTG4G5-0Wk,848
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_clean.json,sha256=LY1R1CuQI5ynpd_PCDFhUz5N7EwQSoo4EbFsFkQoQVE,1032
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_eur.json,sha256=jKSTHRGU-0KX9zmnwkeDQY8kxcLauak0eo62MALds20,869
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_fuel.json,sha256=kG3OpotK0KPTvXhV-Egni84t9XsEyIsxfJFaNPlWC8s,826
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_low_confidence.json,sha256=YjTuN1wW39L8BCZ2nCPhbnwkTdVJiH90UifbNjSu1g8,1049
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_misread_total.json,sha256=cQRTUy1evlveb9DC1s-ZrMPlywkFMr54RyzOIbsQ6Nc,1048
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_no_date.json,sha256=Jh5KOXEhh-kS4dFFZEghTX8vgGR_ZxMTFunh8cybSYw,1028
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_no_vendor.json,sha256=gJW7OQ2IrXzGK3aj_SyKn1cF3KEe129EjgKSNw16jVQ,1023
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_receive.json,sha256=m0lEUbgX8MSEPymljzrpjV9wggZeyTd_eqJOI2vzIBc,867
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_tax_type.json,sha256=J3e0uKDIPxr8sxvncSTDGdQK9_CVTFO8PzKb4ydcOsI,1100
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_three_lines_rounding.json,sha256=FE1RAkJL2GysTGPilklnXvW4oCPomepvlBClKqZup9s,1199
provsubstrate/conformance/vectors_finance_v1/claim_shape/ok_unknown_code.json,sha256=b8VdXBW96Rz99MX1ug-k0ny0bhSEXz-tFf1J6fcQYAg,1046
provsubstrate/conformance/vectors_finance_v1/ledger_entry_id/clean.json,sha256=YGnuiQn3KAWT1XZ_w-tUIAh90z7G7_-gFQBN-4qrLKM,1474
provsubstrate/conformance/vectors_finance_v1/ledger_entry_id/clean_keys_shuffled.json,sha256=H_y_RZdf-Dpn2pTjXjrwDnAtkV4qzcsFIazh3sYd1Nc,1502
provsubstrate/conformance/vectors_finance_v1/ledger_entry_id/clean_total_off.json,sha256=kaYnPk7e93VmYiijSKzVg7A3GyQobdf94BWlecx_KAs,1494
provsubstrate/conformance/vectors_finance_v1/ledger_entry_id/clean_with_tax_type.json,sha256=sADQ0MA9q7aDZEez6EAt5mhavda1-d2wbg3C55lADTM,1610
provsubstrate/conformance/vectors_finance_v1/ledger_post/ambiguous_never_reaches_gate.json,sha256=KP-cS93F6cBFlyv6J7a9PeIrbMwqmhONMNGhUTh5BAw,2855
provsubstrate/conformance/vectors_finance_v1/ledger_post/arithmetic_mismatch_never_reaches_gate.json,sha256=scBwpSnQLCZe7oTWyxqZFkVWw-jsgIgFlGlNwgzzO7Q,2643
provsubstrate/conformance/vectors_finance_v1/ledger_post/different_engine_version_different_hash.json,sha256=SbYq4_57b_mf-3I7ZlRZsEay4YHwy2WqEpCpB4Cxazg,2644
provsubstrate/conformance/vectors_finance_v1/ledger_post/duplicate_document_refused.json,sha256=9CtapIYv_xMSpsJ6YErNUTd7pplXi5rGwNMDDaVqxC4,2683
provsubstrate/conformance/vectors_finance_v1/ledger_post/engine_failure_is_incident.json,sha256=xuW28_Zis7mWpaBzngyOoKxUUOnWaOyHbevQjZUdTyw,2666
provsubstrate/conformance/vectors_finance_v1/ledger_post/low_confidence_refused.json,sha256=5mCo8LjdTAH_8EAqWHwz1_BasPRjIf-msw-Ckr5nA3Q,2592
provsubstrate/conformance/vectors_finance_v1/ledger_post/malformed_claim_logs_nothing.json,sha256=yQ1PaLZFoFvflL6fzgchRmiJZ5sKEtbJUxjHf62LgmA,2368
provsubstrate/conformance/vectors_finance_v1/ledger_post/period_locked_refused.json,sha256=1vbVRV8mUhN4o9QOq2sVlWjJ6zjBBBPlwJ3RAMYTshk,2591
provsubstrate/conformance/vectors_finance_v1/ledger_post/posts_eur.json,sha256=2XSA5sykl1qHrKbsL77QVDv3RdOVYLpvQKjYGSI2inE,2302
provsubstrate/conformance/vectors_finance_v1/ledger_post/posts_receive.json,sha256=h2F96Z_8lL15dlZk6LRUiImDlyMohCUttmNNW1HyzPY,2551
provsubstrate/conformance/vectors_finance_v1/ledger_post/posts_total_from_bank_not_model.json,sha256=B4UeeBAzNlMdIcE2e3GWELdtiCTEi2TaEU9moBDTWbI,2512
provsubstrate/conformance/vectors_finance_v1/ledger_post/posts_with_valid_approval.json,sha256=1gQ8ThATJp_Z2LGQoL-OYeCQa_98fCz7rp2uDBTlQPE,2731
provsubstrate/conformance/vectors_finance_v1/ledger_post/rejects_unknown_approver.json,sha256=K_-HhVVzU2D9xK_OXoyIuowDHWYNFypowVbVRQjNtJM,2633
provsubstrate/conformance/vectors_finance_v1/ledger_post/rejects_wrong_hash_approval.json,sha256=SMxSCsdAuuGbSoYiq-LpVj0ptL83XE5XoVNeQ2qIgek,2633
provsubstrate/conformance/vectors_finance_v1/ledger_post/stops_at_gate_without_approval.json,sha256=9Whe9kPGvegS6hykpHpHBgwYDLEv2hS-JiXwPiLNV2c,2633
provsubstrate/conformance/vectors_finance_v1/ledger_post/unknown_account_code_refused.json,sha256=k1mKJiydsfCwVJXNLtmtBdvi8AYSv-rSILiHU23Mma4,2605
provsubstrate/conformance/vectors_finance_v1/ledger_post/unmatched_never_reaches_gate.json,sha256=vF1NQ3RE-_nVbHJ5uj4cN3VDJCgyHg27r4Egfr1Chj4,2134
provsubstrate/conformance/vectors_finance_v1/ledger_rules/all_pass.json,sha256=NNNmPD56AOTCtAuyByb_Pntd4D22-44Y4cvL-YbWgXQ,2256
provsubstrate/conformance/vectors_finance_v1/ledger_rules/all_pass_eu.json,sha256=cHH5rSYyAjU1r8b-IFbsvKKr8lDGX8SB4K2j28kVX1o,2262
provsubstrate/conformance/vectors_finance_v1/ledger_rules/all_pass_global.json,sha256=G_-envrDQbqiJ3_NADpsP_JMxtS97WdwVSa4mMsP_do,2274
provsubstrate/conformance/vectors_finance_v1/ledger_rules/arithmetic_mismatch.json,sha256=tVcjb-iXuGDdZEMctQW942SNakpliCvUwE5xTPHpK0g,2286
provsubstrate/conformance/vectors_finance_v1/ledger_rules/confidence_at_floor_passes.json,sha256=7itrbFOJsa0hjI3P-J_k_mBK3G5S6-EN-xGbBkHK-Bw,2077
provsubstrate/conformance/vectors_finance_v1/ledger_rules/confidence_below_floor.json,sha256=hRY6j5cK914ztmp2Fxo9im-IeYl6WP4yWHpNEsHUfqk,2305
provsubstrate/conformance/vectors_finance_v1/ledger_rules/confidence_floor_zero.json,sha256=aDvvDHrzodiedUGMdjnL5gWEzdMeKgkC7tsZY1x1rN4,2279
provsubstrate/conformance/vectors_finance_v1/ledger_rules/duplicate_document.json,sha256=XvRQPpiYLFRWGhENDm__jmh8EC87S4Q1_pskdjO38cQ,2383
provsubstrate/conformance/vectors_finance_v1/ledger_rules/multiple_failures.json,sha256=WjvivDYR07gdUdrh2XFdoyesBl9lQAx36mOg6eGBoiU,2425
provsubstrate/conformance/vectors_finance_v1/ledger_rules/no_chart_supplied_passes.json,sha256=ObLlkTDsStTh8PNSL9G0MYSIuTnLdx1zrJAZ92vTdoE,2158
provsubstrate/conformance/vectors_finance_v1/ledger_rules/no_date_claim_period_lock_passes.json,sha256=TA8Gmi1z4Lx23ELfq4EsrtW3hhghlUxcJhFskuMSq_E,2296
provsubstrate/conformance/vectors_finance_v1/ledger_rules/not_reconciled_ambiguous.json,sha256=U09RiKyBg5XofXUxDbHfUsiXZYW6-MfrpjYqVJjsJYc,2318
provsubstrate/conformance/vectors_finance_v1/ledger_rules/not_reconciled_empty.json,sha256=n7-os96hbrYFfYnWy-6cVld6XDS6nDAJP80tY75ogjA,2272
provsubstrate/conformance/vectors_finance_v1/ledger_rules/period_locked.json,sha256=1lZknv57-IrSz_XzWodVIHISTpnux75KjMTG47kma1c,2279
provsubstrate/conformance/vectors_finance_v1/ledger_rules/period_locked_same_day.json,sha256=2H857qCZZIJ5l2J13Db6GnkFaM0wuv7JLzk8SlM1mhk,2297
provsubstrate/conformance/vectors_finance_v1/ledger_rules/period_no_lock_configured.json,sha256=a5s0ByOoHXe-vMmGpfwHTw9QzRr1sJ3FnAF7sW-6IMc,2221
provsubstrate/conformance/vectors_finance_v1/ledger_rules/period_open_day_after.json,sha256=tazt5kiSjnZtIE4oxFC63zAgeGLAynUC0Adn-UhsWvg,2282
provsubstrate/conformance/vectors_finance_v1/ledger_rules/unknown_account_code.json,sha256=8wB72Wfc9zcvFqRwL2wf2XGSiUuHbaBFUX_NFAsKWcg,2300
provsubstrate/conformance/vectors_finance_v1/reconcile/ambiguous_three_sorted_ids.json,sha256=b0AlpuO_SNBJXcB5zIGh1XE6UBxYdZQerHVhcuNC2fY,2319
provsubstrate/conformance/vectors_finance_v1/reconcile/ambiguous_two.json,sha256=igJDBnVlw8tTQgqs44YD5k_2YeM2LIicxoQ-WFcVFb8,2272
provsubstrate/conformance/vectors_finance_v1/reconcile/arith_bad_line_short_circuits.json,sha256=lSYbYJGWGWlslX-KRd3mE6hcchz2V0Tcx0UcI1NIG98,2039
provsubstrate/conformance/vectors_finance_v1/reconcile/arith_mismatch_short_circuits.json,sha256=CLAtpk7qrZLI_9IOoJfagWNQJPcnb47dlAX7fE1sUdA,2027
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_claim_without_date.json,sha256=rHfb0IQuIIc7igkBHo2PW-kqFVdw-xr2Q1PuZ5P_3eA,1784
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_eur.json,sha256=RHNIaDFWTyHbcoHiqIn6KYKY1liw_Ihk4Ve3m6pfuzU,1615
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_far_wide_window.json,sha256=VSwwUPxQ8AYuOUgfoPXkAtZVUcT-sfLvKNiO3mKxEsM,1787
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_fuel.json,sha256=6zTujQmqCmL8Xvt86aNlsyEoQJhfGXi9Ey4eL9Cmu-E,1792
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_line_without_currency.json,sha256=5EaToBlaAaEP3uVyKa8wN-4py0BaWRVC4RmJOyKPr_g,1793
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_line_without_date.json,sha256=nKbOP1uNHNc3viAFBCpxZOpTJuzz_Sp8o3EfAVTJZ7Y,1778
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_mixed_bag_ignores_noise.json,sha256=NmUOv0WV4M678Hjhi9PsBvxSDOjQmEU1Mi3dE5P_mLs,2752
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_one_cent_within_tol.json,sha256=d5aPMlbxfmZATi3WZHmb2f8AS9cXIVOmRdgJRlhm_1c,1789
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_receive_direction.json,sha256=dONlWo1cnwGbJjnvlqG_0uSWrnjSsqJdh3ezaRlwurs,1867
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_rounding_tiny.json,sha256=FDRRMK_KV1jdT7waxyVZmrZ6zVV5b6SPGZ6wFS_KPqk,1918
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_standard.json,sha256=wuGRm2g-ZHTUzqfU1q80mmxqpRgJrjHpKn9QK1-_KZQ,2013
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_tight_policy_exact.json,sha256=-faZyTxYJZsdMbMsRa8bcHr1wKZzoK7lSFQ3a6AbduY,1996
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_window_before_inclusive.json,sha256=Q1bfUJusy2W4W8fySwcbYrcqvsb9ebFhRvH5eCFU_9g,1803
provsubstrate/conformance/vectors_finance_v1/reconcile/matched_window_edge_inclusive.json,sha256=A1Mjt5gXK3XadWX9m4hKodJEIDRmQDlSGkJcss55kpA,1799
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_already_reconciled.json,sha256=jQ-cg8CrW43PG0GHDFWwnNp6iVD2uHB6mCYT82xZeTg,1781
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_currency_mismatch.json,sha256=Sr80JmMXGoCTERKy4qJhO2eEesObZErawneH9-XqhfA,1768
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_empty_feed.json,sha256=g2XN_Qm7k3iGUOZQdjUGxoHdcn6dzyKeuZqIYw_I3xQ,1517
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_far_default_window.json,sha256=AQ0rDO7lA5IiJom6OgQC-7FV61ahX1oh1g_8KeLFhbU,1774
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_fuel_only.json,sha256=FPqnJV9Knobo1biMrAWrGKq6tJG8VjjQE5QhCkPMbyI,1757
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_one_cent_zero_tol.json,sha256=cfShs-DpcjGIf2Nqstr3GJCTOqPdfi4mqcAfnurmW_A,1762
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_two_cents.json,sha256=oqLjv0ZoYi3c32_KmLRs737MLUYMXyxh4TB0AhvW_kI,1768
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_window_past.json,sha256=_0lLuLrp6SwS7U-G7D2X7X0bxuSu8vfsOKqKUx0nxds,1771
provsubstrate/conformance/vectors_finance_v1/reconcile/unmatched_wrong_direction.json,sha256=-87kSA3gXh7_YsGsIZ5RmOSKDVexAl2SnCKCQnI6ers,1775
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/ambiguous_three_sorted_ids.json,sha256=pfB2j7_G4ewt9mHM-4MUTIauf2oB5hE3G7X-ye7_jlE,2705
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/ambiguous_two.json,sha256=euoBhjcOg-MtD3foDoexLLoEkMVQQAQ9yo0SCoz0s74,2654
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/matched_standard.json,sha256=60r3NPdipVWGhW5oTw2t66G_tyEwbwiQJ0XuTo-4faI,2402
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/matched_standard_keys_shuffled.json,sha256=_gn1te-ckHAYBdncWx1i9kk9DXenxJ2tpKbpomy1AXI,2435
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/matched_standard_next_day_as_of.json,sha256=nxMdJwU2kVZhiwA1EnxQ1Uw6oVC82NaArpHNHdRhPm8,2420
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/unmatched_already_reconciled.json,sha256=rgGtsQZhZxta0UO9uqf68U0_u8Lo8Xu-Lho6xx8iCl0,2171
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/unmatched_empty_feed.json,sha256=O5t8QDyp3xlbAITgAGawZJVwNM6R3L2kou_2h4zkslE,1909
provsubstrate/conformance/vectors_finance_v1/reconcile_envelope/unmatched_fuel_only.json,sha256=rJD0V_O4Evt9ggk5ej4YxfNVUnNZ2EsmXxuig7-DAJc,2144
provsubstrate/conformance/vectors_finance_v1/source_document/empty.json,sha256=s665cqjYUdmPmaG277Ic4Q4v0w8P0HKUyJGPvLb9c_U,358
provsubstrate/conformance/vectors_finance_v1/source_document/fuel_receipt.json,sha256=nrc5ggPO1Z2Ae_eutgFa9HvXdBI0I-oYf8JJV-ym0t0,392
provsubstrate/conformance/vectors_finance_v1/source_document/grain_ticket.json,sha256=gZcOYkNvG377qS80JcJfru5Q4zDDJwK2mz0RQyxZ8nQ,445
provsubstrate/conformance/vectors_finance_v1/source_document/grain_ticket_tampered.json,sha256=T4BOrUCTbYfg7lsy4p_z0nBHtjf1IhChhVL9MCw8f3Q,454
provsubstrate/conformance/vectors_finance_v1/source_document/unicode.json,sha256=n7P1J-AqFPTOHTS0hTKuT9g0NTIQxwe1_UoADxO3H9s,402
provsubstrate/core/__init__.py,sha256=CaxmQfAiwDnMWthe-9K2VeYygjK_YcBc1JMbZ-jmztQ,1127
provsubstrate/core/approval.py,sha256=s1eOyvX5nx18SLaOzQ4BELSwsPTl1eHIZS_KMuOjwAs,3401
provsubstrate/core/audit.py,sha256=tiRxjx3pmtYOAsYbwP2Ycj1Ig3UXOCKDyhXGyC-y0Nc,5079
provsubstrate/core/canonical.py,sha256=HNMgnfZQ_kyWfByrsnCkU-OzJZ3BAKVYw0ZJS2ZZzcE,3652
provsubstrate/core/envelope.py,sha256=IOYX5d8jQLzsZm_A8tvT67K4dOpw0m5V07tAC-dUydE,3561
provsubstrate/finance/__init__.py,sha256=0bfOqrYBn8IkUG9a96r5U0mjFNQdA2Ap6kdiCPPrb3o,2918
provsubstrate/finance/_js.py,sha256=1Vc7n641Z-Fya-Jy9VTH8mwXowANkftbG6GHVfnG5C8,3473
provsubstrate/finance/cli.py,sha256=a6YuRJFy_5k27m6gXeQMp8W1xFoE8NlP8lS4BZAmSsI,4834
provsubstrate/finance/conformance.py,sha256=zMkZdmykB-fsTqvg6hV3Qnd44qkWs2-gR1_Gwt786AU,7275
provsubstrate/finance/engine.py,sha256=OAe62xjURhWhTgHxkX_5wFd3im6VTLFUQCe0-p-do7U,3993
provsubstrate/finance/extraction_claim.py,sha256=hhjqRrPcVMjEmMwl80gSb7MmszGhlxb1rIHCcQTuJI4,4602
provsubstrate/finance/ledger_post.py,sha256=U787ZxEicQH6vEXTURwL39fiqXsdk-RsmgY64QrKy14,11911
provsubstrate/finance/mcp.py,sha256=gFAizASgywLBhT0NsKdTUUnKjLfV7quqT1dOyTwCPdg,7545
provsubstrate/finance/reconcile.py,sha256=ccdYSx4VOf5qr-D9gtW1-DZlHonF-PHZzem0TE_xDyc,7455
provsubstrate/finance/source_document.py,sha256=xt5j1X6mZoyaetx15ewXQ6coCfL3f_gKt2zoWqcGtd4,2201
provsubstrate/finance/verifier.py,sha256=xV5T3lUfcPMrN1oJkMhULmmh0KaXXEhsavKIG_CeDeM,9088
provsubstrate/lean/__init__.py,sha256=efRSg_yTvuWuIxRxUH8eUNn4AsQpo6887wHXvNZK8PE,2036
provsubstrate/lean/claim.py,sha256=xPQYM_gXu1aEXmHF4qkbOT9T98Ydsn9DjjNRNwNC4NI,6983
provsubstrate/lean/cli.py,sha256=QR5h0zmI7wUe6Pk1n-rgzh4GCj6t834wBrd9qFqGrLA,7673
provsubstrate/lean/conformance.py,sha256=gXNiC1AtmMk3GPt7hls-zztswNkvybL_jshTYYgjfnQ,13810
provsubstrate/lean/kernel.py,sha256=iyykMaaIwTvihGX2djwRTZ5HZDseqkyEQhYSY-we0uU,8661
provsubstrate/lean/ledger.py,sha256=IqQYKN6i0hOaK6vIyltfmSmcsGWgMK7M-zKBIxtBTHU,9493
provsubstrate/lean/mcp.py,sha256=bnH4aZQGmfkQw5JrVMu6GxrzkJbLG6NY2vLpI-yBYok,6461
provsubstrate/lean/rules.py,sha256=YiDI3bGGz_Sve9N1r8NUmlcmzntQflMIy6juAjyR1NA,2676
provsubstrate/repro/__init__.py,sha256=CK67t5uhoVVThpH-RnLvx-RpmwOy2_9xdjEH025mKvQ,2193
provsubstrate/repro/cli.py,sha256=n21oC4_wXfu5Wm8XJMDE0X3S3CQ0BqkvfFMZTKTeOjE,8018
provsubstrate/repro/conformance.py,sha256=4C1FpkBb5V7dTQ_lwg4EgcIrg7iVTeEox1p4FlIxOyE,17163
provsubstrate/repro/dataset.py,sha256=tls6pVb4BplS9Z7KFOoob24Z94ASZbCYg5LThFzOx9c,7641
provsubstrate/repro/judge.py,sha256=w7wlKZdVR7qxeyMMqtVxsnFqiYReZ_VKXonAy5_WG4g,6926
provsubstrate/repro/ledger.py,sha256=rD2bE1vOAtq6y8f0jUm7oTB1BDneE0v7SXemflU9hxY,7611
provsubstrate/repro/mcp.py,sha256=Cfz87U5WsBdn2l6sXCdpRJtLFVld2xGNLALBMaMiGNU,5578
provsubstrate/repro/model.py,sha256=-3VK7_nwfDtL4W_DBoBqHzFif5l7FBUhGNOQKVugVeM,8645
provsubstrate/repro/runner.py,sha256=dhW67FNPf4nefQOUMgS_9rdG20qMyGeFd8ygmKi_gpQ,5660
provsubstrate/review/__init__.py,sha256=07PGPXBz8YDfztG4EHqzDEiATrkIoogzSTvcqOCjkvI,1718
provsubstrate/review/chain.py,sha256=_7Q602tdtSEsppGPA_6Iarn4Do8q9EbQpXjmhLdXStA,5295
provsubstrate/review/checks.py,sha256=E19NaRy1kWtzZRSLkiQah2f44aIAANxS0-GATjxjSGU,5241
provsubstrate/review/cli.py,sha256=4J4SaL8bM-eKjtcYbeKKdP2IfFpv0mEtXP3aqawTotE,6045
provsubstrate/review/conformance.py,sha256=sLRGfouduXgWqIgqJbtmQUHt9ukfbre_8L8dOzUdrSo,15567
provsubstrate/review/ledger.py,sha256=Oz-UHZtWP36Bdk6ngiBUWbQKGA1nS7LPXNuD-qhR5X0,8341
provsubstrate/review/mcp.py,sha256=RkTIdWu2DjGHddLJ0-X302p3U__w58ePxLU-VFUAhrg,4594
provsubstrate/review/model.py,sha256=a6NiziY7sdNwvsYZ9P8w5MDMEV5935Y8Dks8txGb6fM,3563
provenance_substrate-0.1.1.dist-info/METADATA,sha256=twXoVXzsePWLPozLgCVSaB7sLTfLicnpVZv4pU01SLc,8533
provenance_substrate-0.1.1.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
provenance_substrate-0.1.1.dist-info/entry_points.txt,sha256=pJnA9mm_Sxgoq0NFQHj4wlGhRMjnZdvF_iKsoylmrEM,51
provenance_substrate-0.1.1.dist-info/licenses/LICENSE,sha256=7yv6IqBS57-j8Uq_pf3clY6LOSVIkByago8cb86tW8w,1074
provenance_substrate-0.1.1.dist-info/RECORD,,
