reasonsmith/__init__.py,sha256=4IU5iFzzE06q6w_QAtQXg83_zoMkTEdS9mvZEqSLZ7Q,3683
reasonsmith/analysis.py,sha256=nw0FB6cFBtTJVXCbnhUcEIpaPSILifgyMWq8e3aFRWM,39731
reasonsmith/autoformalize.py,sha256=FgPqDp67FXOMgVeGTM_qqVqoVxbKXmSvw9pBTSrxBGQ,28135
reasonsmith/certificate.py,sha256=Igtv_US99AYeQcWN_KewiXiqCgoLa0Z1H3UVh7IbXIE,34058
reasonsmith/cli.py,sha256=kOWQK6PqG0dqPPWm9ux8YzfwDITnjrQAccfLMnGbjKA,37401
reasonsmith/conformance.py,sha256=TzcwOHqnQNFlf8qzEMCUt6gtBRcAKoPdMmxeiPpejoM,9081
reasonsmith/demo.py,sha256=On8vc_nxSrEBHjMwpe0xODfNlybM_SrPFriORYj2Qoo,54141
reasonsmith/drift.py,sha256=l3xZIRK3b7Vl5mMNZQzkEZnZB6_Sgc_Tm6umcYVNR_I,35029
reasonsmith/evidence.py,sha256=Zz0qmiGzhddzcEzDp3VG3SCyU8ud-MYrRMgjlUnBE6I,8954
reasonsmith/explain.py,sha256=qALf8rLbXRTzmwLvZcviO2wVuRejkaz3w-NCXl1pomA,5205
reasonsmith/explanations.py,sha256=PE8sJDn0XXX_YsOJJ5AL1PNc_mRjiIDk2yP-dnvngQY,9773
reasonsmith/ltlf.py,sha256=0rEG2lC-pVzeOTgKFoTEaW7RJsA9XW_MY4p9HheIjcw,19075
reasonsmith/manyvalued.py,sha256=B1tCSVRN34RXbfHqm9OpJP29X2Yc0hBrOoeYHgwnGXE,17942
reasonsmith/neural.py,sha256=2KrwMwfBhH4jLBh4SrkM-OfI9QjcXItfJIBVBSFez9A,38393
reasonsmith/neural_queries.py,sha256=4peAK0klNtZrWJVIuRBF9ZUx3zfpYSCKzqhzjt6zqh4,38181
reasonsmith/plugins.py,sha256=jFz4BeRdDg5ZY9Bo1OKrNXCvSKBw8r51ZTpadpFfWb0,11934
reasonsmith/proposer.py,sha256=c0Gc_g4VjTlMhpr7ajIJsAje7bLS4sj16FPU2Bk9f-U,17347
reasonsmith/published_counts.py,sha256=M27IMpt9AVfTKLTyolNAYWIopJTsCnd7bqggWGt7r0c,4371
reasonsmith/render.py,sha256=Fo9hbcOe6agbeFCQNtSzK3J1vXiPLoz0ENcYrMxb8is,82169
reasonsmith/report.py,sha256=wW13f4ZlO4TEirETTyiNqYcxm2k7K1gCy3Jp3XYE7Ko,119738
reasonsmith/rulelang.py,sha256=FnQXUi9gFH2Ego48Zi_Tt7IpHHvzqPwrHHlvK2XQd-U,78998
reasonsmith/scaffold.py,sha256=IKKyIQCtT_C8wAxPUWTWNHeBfWeYO_ubq2lyd6Z62Gw,6462
reasonsmith/schema.py,sha256=xQPci77joZ4QNuaAEh96UkpUwA6n9_32E-1z8WktitA,3229
reasonsmith/semantic_laws.py,sha256=acxrwwRKmJotTsiwuvcCXgkaUUcCD3BBmDJEhH8JSyE,11068
reasonsmith/spec.py,sha256=fT6VJZe6FVq_Uj2E3DQGCBJUrPOqO3CUrH0es9FRI9s,39807
reasonsmith/statistical.py,sha256=DfTE4Hp8JDSmtzSG1ctsv3Tmr7xT5anfkxuJsoSRmBQ,18162
reasonsmith/sut.py,sha256=zULVS4faIe5EZLPzfuPTRvsq9LZAzG9fYhaXRIaAQLg,22664
reasonsmith/table7.toml,sha256=K6ftqQ9l2DxM0eCBJ0Pbr-ZIVpE2dF3Bv_dRuHY94ss,7741
reasonsmith/verdict.py,sha256=dmuW-LBa1NYB3ua6CxitA9xNzWHGx6GacJjcya2vJcc,17473
reasonsmith/verify_engine.py,sha256=HZuA9X2Fwc4oBcFv72puWFthhzbMsk_WVAmfJWJekuA,15100
reasonsmith/witness.py,sha256=wpgRx08PrVHSgGH9xqXmOfLuvLCNClion9C4RGoj2cY,23503
reasonsmith/adapters/__init__.py,sha256=5Um5BEtTMsa4jr5kArfsCmFYyTIHXquhVqnDQIvfHgE,833
reasonsmith/adapters/callable.py,sha256=xdwZN4tzm9GlJtJ4fCTO_ci-v0uP1Lq8e6VS-0qwGJw,4553
reasonsmith/adapters/jsonl.py,sha256=WEV7f2BIpuKwFWXFMFrdpzYgQKxN2xDvxvj8ZU-nPHM,5057
reasonsmith/adapters/rules.py,sha256=zjMX7FsjdRCbjchTirDzuzL_8nnAre5kaHQ4LiXNUkw,9011
reasonsmith/artifacts/__init__.py,sha256=9sHuXqE_ScWFWHdZnVFIpNwGHImIZwkeWl-RCQqiV1M,25526
reasonsmith/artifacts/ground_program.py,sha256=qHRSudqrAKit2K1aWUDJNdPuzrDwcdkoql53a0mNv8o,7146
reasonsmith/artifacts/onnx.py,sha256=WCUUynm22pvP4ky-SE93sbBgcNLNVPDKRKOn0XXuAAs,360
reasonsmith/artifacts/reason_trace.py,sha256=ZZy9e33jEhpzMzL_soWgckauHlAMhjz81DR7DpwM9Zk,10007
reasonsmith/challenges/__init__.py,sha256=1okvybsONSQi27wr_sN97VppQU0kx5UwO8Z8lmfoSG4,59
reasonsmith/challenges/ecoa_reg_b_1002_4_a_no_disparate_treatment.toml,sha256=2s84Vh95iNxg4MCW58NLDaKLcOEd_Zq-F6nwCmap_4g,1833
reasonsmith/challenges/ecoa_reg_b_1002_9_a_1_timing_of_notice.toml,sha256=6Oe14U95qAA3-yfGuorkY0yQUDEGxC17YTDvfo3k0TU,1754
reasonsmith/challenges/ecoa_reg_b_1002_9_a_2_written_statement.toml,sha256=0Qxn0D24MJOd5X93PBINuNpxDQrhTCkOVk_1LuJp7qY,2094
reasonsmith/challenges/ecoa_reg_b_1002_9_b_2_principal_reasons_complete.toml,sha256=-Fx1t9KuvigsXhyDoQz69r9F3tQ5NFUrsmC2uVsTKWE,1575
reasonsmith/challenges/ecoa_reg_b_1002_9_b_2_specific_reasons.toml,sha256=uctFwqdstKoR6HsIXGqpd4C66oWNwJtX1yMY9yi6B4w,1767
reasonsmith/challenges/ecoa_reg_b_1002_9_c_2_incompleteness_notice_runs_out.toml,sha256=ePxShfAIdGVbQYYri_wgGWUdv1qqQ_IsRNhXjbdezzU,1356
reasonsmith/challenges/ecoa_reg_b_adverse_action.toml,sha256=gQBgr3iir8_Ps0p1h-yRAbtVvdZMuZECeVsqvb2pbTo,3307
reasonsmith/challenges/eu_ai_act_art12_1_automatic_logging.toml,sha256=0Y69FvQ5uiMVF6xLhclcOqDUaqTvSMw5aaucWcN62zM,1115
reasonsmith/challenges/eu_ai_act_art12_2_traceability_monitoring.toml,sha256=5TzVEneHv7ADWDiXKTnC_w4LCioCNijG0sVfKnbhlc8,1468
reasonsmith/challenges/eu_ai_act_art12_record_keeping.toml,sha256=yZSD0jTX_l1H84r_97C3XikqV5UGZrMKsF38UCYONwU,1768
reasonsmith/challenges/eu_ai_act_art13_1_transparency_deployers.toml,sha256=_DLsrbHG282Xz52wzyb-RQqVphoGVldtQtgXpA6R5HI,2298
reasonsmith/challenges/eu_ai_act_art13_2_instructions_for_use.toml,sha256=adiTLLznvIZIvW1fi0PqoIzIkeg0l0-MDboLLK8c5aM,1674
reasonsmith/challenges/eu_ai_act_art13_transparency.toml,sha256=VJOqtnVM3PjY3G8oRzB_ZzKCC8rWoGbcK-suMi2qs_A,4641
reasonsmith/challenges/eu_ai_act_art53_1_a_technical_documentation.toml,sha256=KJGhLU55WrBXtuPR5L6vaUVdwm790K3oRbt0mgos75k,2565
reasonsmith/challenges/eu_ai_act_art53_1_b_downstream_documentation.toml,sha256=BboJFRFxXVPTwXj3qZMiAHYUfL7lKNXSWKj5kGEAjd4,1870
reasonsmith/challenges/eu_ai_act_art53_1_c_copyright_policy.toml,sha256=V0OhFiTBdGIJCm_zxAixT10Fp3B7PCLopiQvh9cudUA,1683
reasonsmith/challenges/eu_ai_act_art53_1_d_training_content_summary.toml,sha256=lTX0P0WqcxzjqhAHJ_VkjgUo0-j78Wc8jX6wfYtVoLc,1771
reasonsmith/challenges/eu_ai_act_art55_1_a_model_evaluation.toml,sha256=GuJx3rUwvyVRZ_PqTqVG4dk5gK9e5hJx7pUZ_jLY__M,1757
reasonsmith/challenges/eu_ai_act_art55_1_b_systemic_risk_assessment.toml,sha256=OxVxaBy4az6Znu9Iaozr1ztScHvDOVrGizjQ2N6BHFo,1747
reasonsmith/challenges/eu_ai_act_art55_1_c_serious_incident_reporting.toml,sha256=Yd5Y3qhXECt13UyI36D54Whf0WxXnZ5nbAlMWAka7eg,2494
reasonsmith/challenges/eu_ai_act_art55_1_d_cybersecurity_protection.toml,sha256=_45FicuBEQDlxAsdLcM91USj9_F8cRMQIoy6xqNiIBk,1780
reasonsmith/challenges/fda_gmlp_samd.toml,sha256=OeFeOVy-PECmFy-2DecUH5ksi0iQVbD5fqiM0ma5xII,1828
reasonsmith/challenges/gdpr_art22_1_automated_decision_prohibition.toml,sha256=gAa0jCUMNMFVkpigk09L2e2nepruZCzQBL-aDo9_-Tg,1566
reasonsmith/challenges/gdpr_art22_1_no_prohibited_decision_for_any_input.toml,sha256=3yTDzo04Fkybz522su_FY4BbWgLtQzsIyc0KH554qSs,3484
reasonsmith/challenges/gdpr_art22_3_safeguards_human_intervention.toml,sha256=yRkD4GZp54pAD7vwU4ZH-4EvU4Yzo6rPQvxGtKozvnc,1601
reasonsmith/challenges/gdpr_art22_meaningful_information.toml,sha256=HtB0AbutnJkeNkg1LYj1jg1l5AsR_qRA2xwal25aDLQ,2151
reasonsmith/challenges/gdpr_recital71_error_risk_minimised.toml,sha256=hJR3Av5IbLL0blgoynBqR3EhSPhUX9jaIUoo0-3XkSw,1415
reasonsmith/challenges/gdpr_recital71_meaningful_explanation.toml,sha256=lR2hNRemz89ghSWn2EWz-GFGtksuYYu75nIUED_05z0,2293
reasonsmith/challenges/manifest.toml,sha256=uYgwIDCRXrn1mecXIwXjY_iy0sDj30jlieQmm51dIR4,1868
reasonsmith/challenges/nist_ai_rmf_risk_evidence.toml,sha256=bWOcAcc35ZhfVSWV-VoK4aGMLFkPAt-K5tKWXZsJIQE,2751
reasonsmith/challenges/seoul_frontier_i_lifecycle_risk_assessment.toml,sha256=H4o22D88La5fmDyalJ2J_1cKW5uPlgd2Z0zDF8xTVOg,936
reasonsmith/challenges/seoul_frontier_ii_thresholds_and_breach_assessment.toml,sha256=isaeyV11MFh35zzM4hiH_qhd5pl-tWIZ0rIF9SM36RY,785
reasonsmith/challenges/seoul_frontier_iii_risk_mitigation_process.toml,sha256=8UqDPbQqxkDywoK9ZDdG6rFX5JG7DyNfdYlLGC33Dic,909
reasonsmith/challenges/seoul_frontier_iv_no_deployment_above_threshold.toml,sha256=AUjuYsSE9qliw-ean_W_knNwRMHH8O4fLL6pd698cGs,1673
reasonsmith/challenges/seoul_frontier_v_continuing_mitigation_monitoring.toml,sha256=BcDu3wTHsY9BgK_fNPwAtiCdSDS9Yazx-oHODH1tr3s,923
reasonsmith/challenges/seoul_frontier_vi_governance_review_and_resources.toml,sha256=ytfqS_zvs9ReO6zZZ3NKOsmRG6ByNSjrE1V7V0VpjBo,791
reasonsmith/challenges/seoul_frontier_vii_public_transparency.toml,sha256=P5oYCIP89T_1DvmFpCq6hn-81PBT93iTWPixBKJcB80,925
reasonsmith/challenges/seoul_frontier_viii_external_involvement_explanation.toml,sha256=ZU71Zw1emsIofgvEFdKCpPPOAWqErHcu2d0SQD6nmJQ,777
reasonsmith/engines/__init__.py,sha256=O1-tnYz5LKVssUMSnOl0HNkyx0JzFVhZryaZNmmB34k,1700
reasonsmith/engines/certificate.py,sha256=sOxevAkyRZnS9pA7fCZHxGnFb9NgcxAW3uJ6M64mqoA,58018
reasonsmith/engines/counterfactual.py,sha256=NsXQNPhniq0pv4W2JfrLBxWgMchP5-mOkqqfgdri-MY,65324
reasonsmith/engines/observed.py,sha256=4iS5wryBPuVYD96EhHPGnmiMycC2f1QD2EljJQ1Qm-s,38688
reasonsmith/engines/probed.py,sha256=IUyWUfehXgmb8RrUySwAYDwfZBxo8t7QjEwUrszNywc,36849
reasonsmith/engines/proved.py,sha256=IXHXXNpnUVrRMy1hPBAyDvOzLjpauXzsgShJG2kQ6a0,58437
reasonsmith/engines/record.py,sha256=nQEX-HFtDDGua5bFaiZ48KvS5vxStvrYIfiP2200dxI,5954
reasonsmith/engines/temporal.py,sha256=GXPTmmgZ95iiJ90ScwHg5OThgOTZLVA8jlqSoUIJh5w,9469
reasonsmith/examples/__init__.py,sha256=YHdXS8SkDlnO_MDridItjoevHHfku0yVnhhx63C86tA,1892
reasonsmith/examples/__main__.py,sha256=R2IapAizyBafQq6YbKhd0HoNMd8fvZdBXtRS-PB1w_8,567
reasonsmith/examples/frontier_risk_rules.py,sha256=HyYAw0U8P5UQ1-oAXrcsECNaIE7g5Y7AvamkhVUdJGQ,2529
reasonsmith/examples/frontier_risk_scorer.py,sha256=YxtakIZfqm2W4TSXwPU062bZ5mLxrenv6gYxYFbGEog,3089
reasonsmith/examples/language_model_notices.py,sha256=ujYMP78bCN89aM19_eUmnm0tlcl-YBYimgVNHiKZI7s,10441
reasonsmith/examples/neural_scorer.py,sha256=SynF_H7Zn4nhXYP9janVkvhBgYzjV_HrW32ABWQnOCA,5135
reasonsmith/examples/probabilistic_scorer.py,sha256=wzPoCVmXt0-euQdWYUNZEsmGgXcOI9L6WaYQGnX__dA,6649
reasonsmith/examples/sample_decisions.jsonl,sha256=sDuJdBz8Twu2sgfoS_yvi3q-n1L0GhxIF0HZ64LorP4,5498
reasonsmith/examples/symbolic_rules.py,sha256=rqeRItc2UmnNn4KjlZeB5T_WLquVJX36amU_d6Va5BA,11508
reasonsmith/examples/symbolic_rules_timing_violation.py,sha256=pevBzaT7q7GAW450biIm2NSziPoMoQQ-2jYE7doX1Kk,344
reasonsmith/examples/truncating_credit_system.py,sha256=j7FbobrjZXjQSkybCShIx5TzqPCjvOmRqhbIt2x65Q8,3106
reasonsmith/neural_verifiers/__init__.py,sha256=y1GsiR16Z9se49ReQYyvp50o5Gu7-4I6RZgFPTZ8cKU,1382
reasonsmith/neural_verifiers/abcrown.py,sha256=PKobrSdgNLLuxvuTCAgw92NdybrNFVeIMC-ohFBaYEg,27760
reasonsmith/neural_verifiers/alpha_beta_crown.py,sha256=Lq0Kh54gexGwAglo6f2vjG9KOGvoFjcVYNHQqoS4DdU,126
reasonsmith/neural_verifiers/differential.py,sha256=WRskuajVtVahukNMIhXN46P46uh7wlw5M1FEnpvDR4M,3205
reasonsmith/neural_verifiers/marabou.py,sha256=tLSeT2M-uXKTciH1ml22n594fnxXFSXK5iK2MNh1L3Y,23665
reasonsmith/packs/ecoa.toml,sha256=EJoNM7yg4hUmrK4cUn7YqivYHrw-00PePDx1ZjFnvko,16979
reasonsmith/packs/eu_ai_act.toml,sha256=HCft_JJClO7-4nIeB0asvltg5yqIime8PKOIf3P1lKc,4791
reasonsmith/packs/gdpr.toml,sha256=WgL6sSJ9ZDp0RRwm4C384bIUyCACVl04_Tcr5pDdBj0,10072
reasonsmith/packs/gpai.toml,sha256=Pf-75ya66n86kfLkNL4oSatDhtmhysSXbRp-rdFVbss,12076
reasonsmith/packs/seoul_frontier_ai_safety_2024.toml,sha256=6pANJhikUjcQKstIWFNloVBkRPHK5_A-Zihw4C80aJM,10083
reasonsmith/packs/table7.toml,sha256=TQWBIk8h6OivI514Reim-gjwf_4WrzyWfCekkKGCtEQ,7161
reasonsmith-0.10.2.dist-info/licenses/LICENSE,sha256=-lqW5p6yn38zljkOTsqZSiNCKylBXZezh0WjA3VH08A,1074
reasonsmith-0.10.2.dist-info/METADATA,sha256=RaFvxv77M30hqLZfOoX5scJOC1gacbDqXjuNYGaP9d4,34261
reasonsmith-0.10.2.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
reasonsmith-0.10.2.dist-info/entry_points.txt,sha256=uvlD3tzQ8p6nPo7_VkeHOVeKJqWvEmToGp_NwhNWL20,53
reasonsmith-0.10.2.dist-info/top_level.txt,sha256=A9h7LBL-0omwZyQgFQis8zkKyjYC0SixA82Py4-VvtM,12
reasonsmith-0.10.2.dist-info/RECORD,,
