proofhouse/__init__.py,sha256=ROPFVufUd1-3tHnsvMM13fq0OZx5OgfTdtoUA3ya8Cs,350
proofhouse/cli.py,sha256=DgptiamQ5eg8zmBLOCpl81wAjOn9ZcCMioHQykRFDvE,5403
proofhouse/loadouts.py,sha256=RHrWj67EwnsUpJw8to7L2_4qeRvBKW3fdjqPJIh23qQ,3697
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=-nKJE4wrpsodgtpuiAP9kSju4iVEeAEw4O5R-Ix1nDc,34267
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=Pp0jZBpFS9te9OVhL74rKSFWIU59p2Z630IAl3pJtQg,5905
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=RyEaMHSJH9AoTyZDDhsSU6Mj22Rze9Pc_fOZbLhx-Hk,2331
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=0UIoWDYG8W3umte939EjzMyRnvtEQFPRENZH5E7_Pwc,314
proofhouse/compiler/orchestration/proof.py,sha256=4bExmXdSa5mlOkH2DakG2WHU1C2-JoR61W3jioQq7sM,1376
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=JtWSLuYPekV5dox8vL3VJkXE3xG499KVydW7dg0igWU,16199
proofhouse/optimize/checks.py,sha256=f_nfVgv7qLCKdgqQ1BAXUkmPoiZy6eFJ9Yn-L_F2wdM,15463
proofhouse/optimize/cli.py,sha256=vhWfjp4lRe2t6G9W7unVnOPSiEEBFuPteP3zWDacA1E,33019
proofhouse/optimize/cli_workflow.py,sha256=SWGpLc2NJM3Nl4ob1iiCfPrUwfrFwAo2kUkqZsKieIs,15957
proofhouse/optimize/install_skill.py,sha256=CVQrms4vDs9d-YHDk1AdOpJH_KfdceFZVAe-xDfHC6M,14862
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=nBWIFFbnaqSK9NcMhGl415XUeg0BuEcCU4j3cIRN8ew,9273
proofhouse/optimize/registry.py,sha256=Nnr7e_jA22JQKD5PEYr6GHrwjVl1v8z-fZLiXgHJPso,3242
proofhouse/optimize/workflow.py,sha256=wTx8pOdQIJUL7-9yLg1Y12sxMv-a6UW3N9C1hksOhfI,20769
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=QQkxyZBQ3sKHedu1x37YQlgOesD1WG_DOCsl6o4fCiE,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.4.2.dist-info/licenses/LICENSE,sha256=ESYyLizI0WWtxMeS7rGVcX3ivMezm-HOd5WdeOh-9oU,1056
proofhouse-0.4.2.dist-info/METADATA,sha256=lSZipdS95A6iqPN2zGCeLvBNolI3vkk57kIfjnOYkbA,19027
proofhouse-0.4.2.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
proofhouse-0.4.2.dist-info/entry_points.txt,sha256=SN9jUWbfPcaxlxq-7853JiUthSusSmnbnepqQnezCco,111
proofhouse-0.4.2.dist-info/top_level.txt,sha256=ZzyImOaLD3C11Ibi2uBNuX5fzeeRG4iuEsD92G5_BnI,11
proofhouse-0.4.2.dist-info/RECORD,,
