proofhouse/__init__.py,sha256=ROPFVufUd1-3tHnsvMM13fq0OZx5OgfTdtoUA3ya8Cs,350
proofhouse/cli.py,sha256=J0wynh1blRp7BmgYh47wbsaEsVr6bHzBkYa4V237L4E,9254
proofhouse/command_map.py,sha256=Zb9ZnkPwhBeXWHtwCT_g-ElcoJOLcRdY97Md_KGL2QI,5236
proofhouse/loadouts.py,sha256=RHrWj67EwnsUpJw8to7L2_4qeRvBKW3fdjqPJIh23qQ,3697
proofhouse/parts.py,sha256=ThTKzQrZ80Cz1Tm0-c4MBoHFzVJCVWDjDYhwOmbF1Co,35250
proofhouse/runner.py,sha256=-3gWICWoefidQHK2gN_dqO18zofvY5_Pt4ERMAtQYX0,2346
proofhouse/scan.py,sha256=n0QFil9dzB4kAzccKCJ7T1-dljy9YNnd1UUOnvhUIcs,15681
proofhouse/schemas.py,sha256=TMYo2KrqJcr0NkNMb3XLP6X_jmUNQDZS1GwyouHybsM,1466
proofhouse/scoring.py,sha256=S6953WZPRlP6qpTGNPnW5Kz_73fhi-Mn5xUcLxd6b-o,890
proofhouse/templates.py,sha256=FvX8r5ALwg1nl-unpw4apgAIUW_oII8qOPpzHq31SaM,5769
proofhouse/compiler/__init__.py,sha256=cng4Y1E9YgumtHAbQHCJu6J1YuDcKNIzJhjj3rz6JvU,489
proofhouse/compiler/api.py,sha256=zg-loEJibgZdZfEDWj3ylTJTybMSuxvJIJo3YaKP8uk,14127
proofhouse/compiler/benchmark.py,sha256=7-FYexL8tGUKRbAak7kdvWpCmUClm2kZiB4nbA320jo,13625
proofhouse/compiler/canonical.py,sha256=OvXqi_896vezb5g67HKRt9iyIAxs4m7_cK_q_YP9Gzw,3521
proofhouse/compiler/capability.py,sha256=qDzelz_sWJrgO0jqwCDT7B-blw0TEptVL50pV7ZkMO8,1984
proofhouse/compiler/cli_compiler.py,sha256=3zNxl6i6wFaZD1wbHNviw4evYHFnz2XB43cWV01BZ-M,36652
proofhouse/compiler/closed_loop.py,sha256=dKm3S7KAgq-xGa_fsBpGGR9vYSf8ZuQvVV0Y67w2nyA,26513
proofhouse/compiler/contracts.py,sha256=Skl21WtFWSuI52NpU6JCSzIBBaqYcn7MF7ULieBQjTs,9541
proofhouse/compiler/diagnostics.py,sha256=DuBlS5zFx2ksKURec8i2W-HwHUvyxQKPJKTVc7QoKlA,5712
proofhouse/compiler/eval_aggregate.py,sha256=Q22LyZytW05TB1Vb7dfB9uliSWTtDETDbYXeskXpBLo,1022
proofhouse/compiler/eval_dataset.py,sha256=2KXSOdv8pbNrEXHZLG826TzX_wMsPfHy4yByD-osi0w,3412
proofhouse/compiler/eval_product.py,sha256=KG8SGaUgZKTs1EhhDS25fGtnsxHjFggEUKLIZ5L4B88,6946
proofhouse/compiler/eval_rubric.py,sha256=lv3Yxi9ndjNkQF60VHKLOILtOIpqIvc7vLRQ-asl4vE,2432
proofhouse/compiler/evaluation.py,sha256=cskQxt3oJ5Q2Nk2nUySLJ-AXXzDGP7_et7BdigB6naM,2255
proofhouse/compiler/evidence.py,sha256=_3xykAfW3iOq5hWVFYG-MXEZjGh2e0PAd5WuyBfzmA0,3479
proofhouse/compiler/execution.py,sha256=rkpsYXDZNAhmrya8yhQxYGeDbiXtjH3ia0QHvAxLSoM,15264
proofhouse/compiler/hosted_openapi.py,sha256=Og6Kla2FjVCLSvFc2MFPTd3q848-pAjfWUmGvib_ULM,5963
proofhouse/compiler/hosted_slice.py,sha256=OKQqInyizTR9aTQ2mdhPexdcm94kOqWApxNQxUZYjF8,10480
proofhouse/compiler/immutability.py,sha256=vaW_IO3YL872e8mT258t4Atp2qFALrKm4jQij2Q26JE,2202
proofhouse/compiler/intake.py,sha256=rQYTIRuK20EutICbC33AFh23GjsLALzGB-BodXAFRkk,8879
proofhouse/compiler/ir.py,sha256=EZfWmlOKmBrgcRBcwt6c6_UPMcgN3JD7IgVKQjto1k8,3724
proofhouse/compiler/missionrig.py,sha256=cO3avXZ_6UzdqIUJHovqtRyG-3kR6CnOIb3VITmB9OU,5553
proofhouse/compiler/model_suggest.py,sha256=e2GBNaqKShj-T0b2BWyel3NGQ36ecSPP2IFYjGgl5GE,2975
proofhouse/compiler/paths.py,sha256=dQmaakxudfoM9l5iMEPwdf-dRHD-ByiGJlZr5UfPtbg,2330
proofhouse/compiler/pipeline.py,sha256=CepTK6wHIZqrI1pBAhhZzGzlT19wHfRN0UMsC3hx3uU,2292
proofhouse/compiler/plain_language.py,sha256=S2EXcPwjzQ0BporM-fCD6VbE9NWV2iCWCdXolkKZ6HU,5388
proofhouse/compiler/repair.py,sha256=eRjCQWfSlrKQNUaR8ZjL49RBhxCgAY3hcajDs5gDnhQ,1542
proofhouse/compiler/requirements_contract.py,sha256=kTIagnSDGSJbqdoLNGHAi_YnTy3ymcbSCGpgjyQbIUw,37378
proofhouse/compiler/requirements_ir_bridge.py,sha256=H_lP7FXskPbCi-lHPBqjdPIDOLao39Xop47-MVVzq2M,7455
proofhouse/compiler/requirements_plain_produce.py,sha256=sdU-AuWKZi8RPvjgvxVHmyUO-uc2kTC9boNK2Ir2Td8,6121
proofhouse/compiler/requirements_produce.py,sha256=jhafZT2rcys2oiWJP4kggaiEwDIKP5MS8bbW4MWKDyE,6692
proofhouse/compiler/resource_bounds.py,sha256=aKGgf7iqKkyP0IXXK91VaK8uEqo6MUqkugJfNn9dfy0,235
proofhouse/compiler/runtime_context.py,sha256=bAKLIAFwX55Fkz-vICTkbU7z-bxVvTYXk1M0YjqUFJQ,10024
proofhouse/compiler/sink.py,sha256=FR_EJ44-NXYsvE48PPUgrGLaYPYSOP-W5HQmmoi8MWQ,1972
proofhouse/compiler/adapters/__init__.py,sha256=ux5bOVXonOiLewLV4OOZMDbZzcGxafQ_VuNB6qCgQZQ,1754
proofhouse/compiler/adapters/anthropic.py,sha256=L5LOqwWwDYC4bPK7WiABVt5mS_axoAbo3tzVs4QwtKc,14876
proofhouse/compiler/adapters/anthropic_schema_subset.py,sha256=rcJYyBt8yrB6LCwE6CnOQYkAqWR0byb3dgcl_TirlPg,5028
proofhouse/compiler/adapters/base.py,sha256=AInEPztLJjVTHSTP4TuxKNuHv9twog4OnrwCSMyC_fE,2305
proofhouse/compiler/adapters/fake.py,sha256=vuY4yV2EB0jVCR_dfxDy-F2xAiexNyiWhVnCCk0gYVk,4354
proofhouse/compiler/adapters/gemini.py,sha256=gim9oHTi4mbXDAGT7gccVx5r-2eKadp_uHPUMxhLYNM,18047
proofhouse/compiler/adapters/gemini_schema_subset.py,sha256=gPvsRWcvgBqJjBu87j2Eg0dNZyp71H0jDqWh56d635o,7570
proofhouse/compiler/adapters/openai.py,sha256=Nr8SWLopvCkL8-vB7gBQa1FcddraI_9_tKQshL2kl0U,9947
proofhouse/compiler/adapters/openai_schema_subset.py,sha256=p1-jgUO94o6fbx3jvVNxG2zXQW3XpXKZT1IaMGXRMQQ,3736
proofhouse/compiler/codegen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
proofhouse/compiler/codegen/typescript.py,sha256=R3bt_rU3tMg4Eh1YQAxb2PgvkC7QUq703o-lI3clB1k,5132
proofhouse/compiler/orchestration/__init__.py,sha256=ZAI9naF8HpeHX9crCUPPjgINv3gIBmWgeKwhsQFvaWk,68
proofhouse/compiler/orchestration/assay.py,sha256=uqFoKCtOwPH7XgTCOb1QDgQSoZ5m_LJHPn8y11ZY04Y,903
proofhouse/compiler/orchestration/claim_ledger.py,sha256=QfUh2pYds2VacDekFc-BRz6xly2yGC5V6P3rVgAwwEY,434
proofhouse/compiler/orchestration/learning.py,sha256=AoFubrrVMPxaek6iYMeziJyN0SjGGwxcg9Sz94Qdm2Q,4201
proofhouse/compiler/orchestration/overseer.py,sha256=tgkwabaZos2W9AYSaALSidRYYSt6lC-MwDhwNFlY8bY,4390
proofhouse/compiler/orchestration/proof.py,sha256=JPimI6VM_iqIX-LXWaNh9tJd-cwPdKaKKIXm6jBtaSg,1800
proofhouse/compiler/orchestration/route.py,sha256=-HOb9qnYaYuLxbf0zbSRbuLTOrkQnp8dDXo8_DXqfT0,3867
proofhouse/compiler/orchestration/shipwalk_consume.py,sha256=P-ViIN1DV08XfNkBTMe5oCEsI5U0iSAKE2E2Z90x7NA,587
proofhouse/compiler/orchestration/stack_profiles.py,sha256=_etkJJUueAr22KXEeFT9CBeYuNFInHP0MMNTWxxboas,2707
proofhouse/compiler/passes/__init__.py,sha256=pn1t6tgJf_uUGN23napt6bDoGgIcO4jXYoAh8t1F204,544
proofhouse/compiler/passes/adapter_lowering.py,sha256=lIMJeqHJWdiFgSbdAvNnuap7hVutL3g2O6IPx4Dq0Xc,7482
proofhouse/compiler/passes/base.py,sha256=3A-ohqCZkFkdFQKm8VTiW3xYXx6YLpUWfL_YhYv_veE,1588
proofhouse/compiler/passes/capability_resolution.py,sha256=3eOHGSRNO265w5n331Yh5XZ27qUGf9PBN3Uhl19WILA,4790
proofhouse/compiler/passes/normalization.py,sha256=2jtfWyIU6pC7BTbe7a7_W1Lx7KsAXnuxlRcaUCGH-VM,1319
proofhouse/compiler/passes/optimization.py,sha256=_8DF15QPxnOd1ZQM4KjGQDwoJ8Y3lbuTjYQ6t4PNaY8,529
proofhouse/compiler/passes/safety.py,sha256=7epAwxkuIgc7AtBTMeHmg0wjAyBUMpfnuAJDl6uqrpI,2951
proofhouse/compiler/passes/validation.py,sha256=eIC0h9m2z6D-2QbGk4TWgFNpl1o1HZWngIh9VxJrVwo,2546
proofhouse/compiler/schemas/benchmark-manifest.schema.json,sha256=vAJBqlRRD-3xFWXhUNa8_8rvkLw22sRrz8fVjYENkOs,3398
proofhouse/compiler/schemas/diagnostic_code_registry.json,sha256=V3FtwLOez0WRen5OhIEuuEhVYa9MbK2KOtb8nE5DYjs,3000
proofhouse/compiler/schemas/diagnostic_contract.schema.json,sha256=KiMyxnAzmNHfCajfcmzn15-rjeVmA-gcB4SvEsdH1Og,1889
proofhouse/compiler/schemas/proofhouse_ir_v0_1.schema.json,sha256=OwdR4TXgWITfXu3rvPIIaZC7b9JanLm3oe4PJDAQluM,7937
proofhouse/compiler/schemas/requirements_diagnostic_registry.json,sha256=sfldP8Y07PnuFyysX3UvDAq9iLG4neXd5a2N4uqAJtg,3657
proofhouse/optimize/__init__.py,sha256=pJ0UUIxioJDjjw3cLgREsdDC6zM1ycb4vwr1qVmExjw,233
proofhouse/optimize/case.py,sha256=zM56pJWM8a5e0VVsD-OfqauOjNQBQSke_9JOEr0SPVo,27921
proofhouse/optimize/case_codes.py,sha256=9L2hnJdaWmNBNhBWSfdPLQ_7ifNANgusPdt5gchqQ14,1486
proofhouse/optimize/checks.py,sha256=DB7lOCVu7nLnVrxvT4rE_YjaVnJb6FGDjQ_zuSm0xfU,17700
proofhouse/optimize/cli.py,sha256=ooV0KcgEp52Hs-9BHNXAd0aslo_LKbNYXFji0VaGlpU,37822
proofhouse/optimize/cli_workflow.py,sha256=rRol0OO_lAOL78N2x--M5VgD_vteC9VhZkkOdUIZgzg,16377
proofhouse/optimize/install_skill.py,sha256=-b9stjNJTbsL3We6r6NTVEdPjecKHWSaZAC_BqsGPzU,40431
proofhouse/optimize/kinds.py,sha256=kKjwkDFZHbUa44v99ezoSQoEqHDVX8cCWdDVXtfoano,12224
proofhouse/optimize/model_notes.py,sha256=9ABj9Vz-54fXX0ckL_g6yaImAHxzwMb_ufKMBv3JENY,9779
proofhouse/optimize/packets.py,sha256=2ONAWG_RFJj33LHb56ZnodozCQ7uXQmhQBAe6U8W0I8,6247
proofhouse/optimize/reference_workflow.py,sha256=J4jn_KNsN5nc4bw55-lfDZHNY4ulKzKYiAl3pv5vZ-w,9136
proofhouse/optimize/registry.py,sha256=Nnr7e_jA22JQKD5PEYr6GHrwjVl1v8z-fZLiXgHJPso,3242
proofhouse/optimize/workflow.py,sha256=1Ae_rVXT9_FAi9jwcF1rfhQLb5QOWxJ6kif0_TnlwE8,29424
proofhouse/optimize/data/model_registry.json,sha256=CuAyWrAxN4SL9HYcVYu_CGXfWQwBhgTwRk1psFiLuLY,12346
proofhouse/optimize/data/proofhouse-framework.json,sha256=AURax3KyuF_qMvZKej5PkAuVKIQNQ4sPR3LFP48TMZE,24488
proofhouse/optimize/data/proofhouse.skill,sha256=N4Rr3c3AdWqkFUlYah3pmlSNlROuDLcbzSKOZOU66AQ,115425
proofhouse/optimize/data/reference-advisory/advisory.txt,sha256=IbBxQhEpMYkic_kmIlrqkkv9FfD-nFSi34AUor-gjpc,427
proofhouse/optimize/data/reference-advisory/answers.json,sha256=mXFEPR3Yb8uNcfeCME59ZD-os85X9EJRjIBt69LHB3k,209
proofhouse/optimize/data/reference-advisory/objective.txt,sha256=L0Id4b7kQbafbdUED9TQRcacEaJVUhPcrXfo3eSbMTQ,175
proofhouse/optimize/data/reference-advisory/output-v1.txt,sha256=FfEWXqgmAwvAaZG9Ywo0HC8Vv5SxDk4JFF87DG9HHqE,139
proofhouse/optimize/data/reference-advisory/output-v2.txt,sha256=8zrrgwGL_zpcencEeoNwH6DCJ2xEDJNKmkMgqvIhZ6w,189
proofhouse/optimize/data/reference-advisory/prompt-v1.txt,sha256=xHqsRcASffgczxJY4ZrUS_F23QTp-SGp3lGOk0daDuw,122
proofhouse/optimize/data/reference-advisory/prompt-v2.txt,sha256=zB0AtUeVBAlbE34mGmJpo7oV2kVAFnkSeB_QLUl2N7U,293
proofhouse-0.5.0.dist-info/licenses/LICENSE,sha256=ESYyLizI0WWtxMeS7rGVcX3ivMezm-HOd5WdeOh-9oU,1056
proofhouse-0.5.0.dist-info/METADATA,sha256=RE0ehKN46qlSOTSRtPOqQluh87h9mEBHHPDuQUnY7_Q,19124
proofhouse-0.5.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
proofhouse-0.5.0.dist-info/entry_points.txt,sha256=z7emXXwIn1UJOeVbrQye04OQ2B0oNSDUMyO2n2e5Ujo,93
proofhouse-0.5.0.dist-info/top_level.txt,sha256=ZzyImOaLD3C11Ibi2uBNuX5fzeeRG4iuEsD92G5_BnI,11
proofhouse-0.5.0.dist-info/RECORD,,
