specgo/__init__.py,sha256=KFjGb2j1cnY-Ic5XupQ43OFRe8YqtG8j6dgkOE1e7so,291
specgo/__main__.py,sha256=mbMAnGPpb2co3GRt7iaYl9C-LzSXPlpVWbhZ3QzWUWU,231
specgo/agent/__init__.py,sha256=d7BJErjjFWwsyGE5qjkn1J6m5ahwVFfTFyMvAttlxiE,166
specgo/agent/budget.py,sha256=k7sJCW8fURDGS4ZxvkwZak2Tf1iGifq9-bvmDfrrncw,830
specgo/agent/config.py,sha256=ifQiCrC2kFzsXuNAVkpM2OxXyG_I-Bl0gmge6ZCOX8Q,445
specgo/agent/runner.py,sha256=gISXTdwSTWy7k7iM37mwbdsIvkF3ZANQVmVz5B7UtEc,492
specgo/agent/state.py,sha256=QbjeacUzprSE3bSkT1OJAAOWo9Nyo-QKO3z4n9mp82U,545
specgo/agent/steps/__init__.py,sha256=qKYWvvLDCOuWMbwJbxRq-4qI9qcP8f2VLjBnOgTqnrw,161
specgo/agent/steps/gates.py,sha256=zikEdNYa1uKgBHNw89heT5GaxF3qxw40YCud3g7eHd0,435
specgo/agent/steps/ingest.py,sha256=VPKJjPJdFyp_jV0raExJlc4NBY5ziDslN9lHEJHvyhs,384
specgo/agent/steps/iterate.py,sha256=d_EZpUh4VrELLY30hPydXXGWhj4yPDAUgmvKyyu2cNk,423
specgo/agent/steps/report.py,sha256=_XlcXbvWzz3fdmW4GtOP3WD4_YzVOUA0z1-boiSTsYI,398
specgo/agent/steps/test_diff.py,sha256=ZEUX8zYv_5137yDSp7OdgvRALnvj-6AMpMTJtBkyMZY,413
specgo/agent/steps/validate.py,sha256=80zENIM2YtQ7DENGRMGbnRig2hp8L6XlTlnsfgS504o,397
specgo/agent/tools/__init__.py,sha256=P_4O16dusJVe0anRstQ8cvGlVjqAG6IGOeWUXxwy3eo,168
specgo/agent/tools/ingest_tool.py,sha256=8HGMhsnidSjUXtylmG9Ii7JYAPCaWZdGhkUa8jzxYak,402
specgo/agent/tools/replay_tool.py,sha256=w7YT8k9ARRrBSVMTgB4Zpdv0fT7RcUQplU-x5Rq4okc,410
specgo/agent/tools/report_tool.py,sha256=C83HXEsT_Kv1WAbJzT8j75B_aMbeGuie5FDRx1ZWnt4,408
specgo/agent/tools/test_tool.py,sha256=mvyTJG2522hGl6YwHRSYXPJiUms9dpmWNkLck_Zo4Pg,385
specgo/agent/tools/validate_tool.py,sha256=gilyFToBR6Max1PCqwH0bMiz2_R99HDvhW71H6uQR1w,408
specgo/api_spec/__init__.py,sha256=6rzFlnylLcwbNve1_9YXsXJYcaXwVZnbjY0cKDr4H4A,205
specgo/api_spec/model.py,sha256=lpiAOANpzhcP07Oqhn0Nq1T3Mc4s_wRHWFCYeXsAFKo,619
specgo/api_spec/validator.py,sha256=PzKQNUg3sYrDqx8UzTn_mvDa8KfXdvxoMzMQceYKtL8,394
specgo/cli/__init__.py,sha256=tl3qzncTsIq1xLXtzJe3oJJxd61_gnJJiKRmePV5QqI,426
specgo/cli/default_paths.py,sha256=CMFmc2XhnkpUModODJ71431oYnMURF6W9m3JSDNLCjc,488
specgo/cli/main.py,sha256=aXpCi7ix_MqtsKla2erdtEgXFf0CGcaWsQJNgB0C6sc,1147
specgo/cli/commands/__init__.py,sha256=HStJ2eVT9PUXHZRlYzU4u961tkGtzRekwdlK-PPCZwc,912
specgo/cli/commands/codegen_protocol.py,sha256=HM7xH8saWxD79vHJGWQ4ABz1qKCTGX_bIiY8_zB46tE,1675
specgo/cli/commands/config.py,sha256=5Ab_vsIj2b9jmBVW2lttuhYr3pQQeTgRnVG09OojpXU,4728
specgo/cli/commands/gate_codegen.py,sha256=XUaSCx5rE1uboyNeZMd4600bHi7Jkb-u20osPdti17A,1947
specgo/cli/commands/gate_test.py,sha256=kMF_beLNVgz_P0LHw9BqwIjFNfAez5eg2gBbqt940qc,73
specgo/cli/commands/run.py,sha256=0MEWhRDCz_aRzL_shC_m3Anrb43q_eyXE7S6FHYwwrs,1377
specgo/cli/commands/spec_ingest.py,sha256=EZ3oUwcZsaN4oVwbPZIOJQ2TtmCjNltccLYcvH-XuWY,1934
specgo/cli/commands/spec_validate.py,sha256=LyU87AvZuZybIb-TWrAN79OHYnCCzQLe1lQKpOOTvZ4,2290
specgo/cli/commands/start.py,sha256=3LbDkJBpWPZ19e7I6oWCbPLP0BSBWOFC9utosOV8Qrg,4696
specgo/cli/commands/test_diff.py,sha256=UJUxhEO7yUnWnMFwkGfNVkmWQN7v4GYjNasqfBDBhiY,1720
specgo/cli/commands/test_roundtrip.py,sha256=cYvHCqadkZfslnbVMXItWg2XrP66JT4FF2DFSgOBSfg,4558
specgo/codegen/__init__.py,sha256=jrrEr2-o_mVo6M0apAEaOqWwLp8HpaBCTBwboouzswg,141
specgo/codegen/api.py,sha256=1biCh19rziRR4bgunVY6OQU_PMALzX57KZe1XSnxvOg,493
specgo/codegen/naming.py,sha256=nb8njUhzcyeWdKHWzv2vzTOgKpxOQX9i7tOq70J6gHU,1999
specgo/codegen/platform.py,sha256=0s4EJB1B1yTZxBGAFTguKWPxLsvWj_U-O3GppfuLu4U,392
specgo/codegen/protocol.py,sha256=f5dA9unb9nfZ9C9BjETzCH_v0rqYcPTwigO9JNg_0gY,6293
specgo/codegen/render.py,sha256=Z3H4kBW-2e0h4WsKOLOGitoF5DlaU766WRYo0ZzqrfA,1410
specgo/codegen/templates/README.md,sha256=hsjLhESSNSJBNwzxTb4y3urc-8Om3eioUBwIC2bUwYI,397
specgo/codegen/templates/c/protocol.c.j2,sha256=_eEWcwv637SqsbcrzoUG_F_8PmkfDqRt7-ShxQfyMVg,3903
specgo/codegen/templates/c/protocol.h.j2,sha256=EHmSkER8T8a4ZwpxoxBMTf6HczEzny4NL5k_2Ma4V9c,1055
specgo/gates/__init__.py,sha256=5apnxSTYO9c2YKUlyCrAawfY_kiVbauI2L_AXG-OtQs,691
specgo/gates/codegen.py,sha256=GBJxB_Rnt-Hcmqpxsq11ck0SsSRzfBDvN-XJpsuvy6U,6985
specgo/gates/evaluator.py,sha256=RlBh-KFUAGkMnywGLba2n2AjLlSGgxj8JDr0XxX0l7U,925
specgo/gates/io.py,sha256=sRkAwUHpCw1-OJzi9F5PcoAqNA3r30tXBO9-Wm0eNrA,1238
specgo/gates/metrics.py,sha256=BlpQKPth482sQA7hld9upVLR9_6uB-ty6CyljN5Nn-k,866
specgo/ingest/__init__.py,sha256=F5N0pLOx5UMYKebshiLed7J2boyQwWnNlagEkValMhY,255
specgo/ingest/dbc.py,sha256=jGGOfey89rqjX4kTzR3XH1pJrKnOfDCI7U_uQpsKbk8,2755
specgo/ingest/dispatcher.py,sha256=EFIiIybivanCSmlytnmgX2GyiNyszQIpL5V3rg3awnk,1125
specgo/ingest/pdf.py,sha256=LOiAiPRnYzMjG1b0TBTVujR5HY6ZJWYY_W02_vDeSLc,676
specgo/ingest/text.py,sha256=iiFqbMDR36PEJF3DcsznfV5YRKvdYLskOJp9yaNhpRo,683
specgo/ir/__init__.py,sha256=tGUmdtlZrWG0XEMY-8rpdmpmaubti3Lv5ShztliSTWc,632
specgo/ir/io.py,sha256=W3VZbM2ieiVOUKu2qgpF7AK5_8QQXrvdWmQyTFoyQ4g,3849
specgo/ir/model.py,sha256=BWiMfHFSd_Q9iLyFbEUz_nTwJ54ElAB8n3laOpiwsNw,2669
specgo/ir/validator/__init__.py,sha256=-CfUKE4ycBlvXdl9j9IJF5GKMILNxamWMColnMCF-pg,1032
specgo/ir/validator/layer0_schema.py,sha256=0_jyK0d4DCEovVy_iD6InpzAVMgkYgRaH63suGQk7gM,941
specgo/ir/validator/layer1_semantic.py,sha256=3XmWpXCK4Xy47gWkoAmREOWwzfXWIuybj-W-uz5lqyQ,6408
specgo/llm/__init__.py,sha256=wtCsZ4yyUHj847uyQ2wiSuiqdCOolIqzaFKdV8wooH4,339
specgo/llm/placeholder.py,sha256=4Uu6IoRCxPZqXze0L28ghf9SBwT1UcsQdB21jID1JfQ,428
specgo/llm/provider.py,sha256=oVxGThWQchmszi21x-UBoHFkp26egQkD4362rH0vYpQ,976
specgo/llm/actions/__init__.py,sha256=_04m6Rylnarw8Kqfw6aNn6OzLrzR_bJtFeLx93Y2B5U,204
specgo/llm/actions/propose_code_patch.py,sha256=tNpHCUxjCW-C3eFKzHKnE-P9i8uPNHE52oLYsBdgGp0,538
specgo/llm/actions/propose_ir_patch.py,sha256=nzxscJlu5BAMUTEdUoO7Ez9OO9FSi1XTo2VyADrQwFM,539
specgo/llm/prompts/__init__.py,sha256=oiso8hq7Y1sL71MlGtHnqXzXECzUQ7DOe-VibRJXMEY,154
specgo/llm/prompts/codegen.md,sha256=U8YLBN1B8hhjQirdijFm5w92aKXivG8HRBs5ZTGeUSY,603
specgo/llm/prompts/ir_fix.md,sha256=pTIGrniflQDg87-b3X98hbUldefZh2GHKooeJtWeuHI,526
specgo/replay/__init__.py,sha256=t9EHgYIi2InzTTvglqiFGEAkn8QUpx43m8jf3Rems20,189
specgo/replay/model.py,sha256=qomTKgkhGUKBb5S09ivXiC9k1RcE8zTCDH9oci5VW3M,537
specgo/replay/record.py,sha256=tWmuoKpOY7ZdXYdXVf89ABEpurLHPAQiJ6PutJCDUUU,396
specgo/replay/run.py,sha256=I6WuoJWHALvzAiXJlxRoprY5JLFbaeUFlKX-TaBRQyk,422
specgo/report/__init__.py,sha256=w5VMLl56l1R-WXFPJ7ZnZPElVt4bKsmW_GYBIIuF-WE,104
specgo/report/generate.py,sha256=H94hPELlNE2kUmzbXE5qfybL6X2PHJfR5s8j6JQPtj8,421
specgo/testgen/__init__.py,sha256=V1jdUbk36OBE6U-iP2un8yeotLJxN256rdSZOlqbMzQ,527
specgo/testgen/harness.py,sha256=PjhgPAzejRRvxKztYRSKcCmKbcIsHxpVCi6h8qOAfB4,479
specgo/testgen/property.py,sha256=3BTk16dc2lNE3we55UqvfBrJXlFNQtJXWLdsmkgslwM,2174
specgo/testgen/raw/__init__.py,sha256=u6eB9sc7K7Is_xMgpNw-qg8ck91Hj5JUf0wkk2Owmpk,232
specgo/testgen/raw/io.py,sha256=dHeCyiSKG0QsDaCyVWICPHzx1AVqtVyWWH_MoMStNtY,2051
specgo/testgen/raw/runner.py,sha256=Aq1UH7OOz3Dix7uOD74lg-BJJdB3kI91ytPgK5LkS0Y,24893
specgo/testgen/tests/test_roundtrip_property.py,sha256=yCDkZFzr38hGy7R37R6kq-GwzDNaUnADvwiURGeUgTg,12563
specgo/workspace/__init__.py,sha256=WdT9tWAdyMcrpj6q2lJlmuTQjr6bTozicCSL3oKKTVU,1125
specgo/workspace/bootstrap.py,sha256=6D6S6iBCzNVauxs5sejs1w9nbvABJQNWvJizpIaa0OU,8660
specgo/workspace/config_model.py,sha256=jRvrM15Vk_M85CFjXVOULcIB7y2SerhB5L3C5PloenE,3574
specgo/workspace/layout.py,sha256=QDPg4ZMGuXH1UOADCa2_J_mGt9CEyfVUuEKgB3gPsJQ,1123
specgo/workspace/store.py,sha256=bGQJZfuipBEmoUtwoiEo4iSIZHnpySFHCAo59cQo__4,1212
specgo-1.0.1.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
specgo-1.0.1.dist-info/METADATA,sha256=yb9E-K3x2Tr7ioVlZvZDWvAHDq6mHvGi4XQAAvIQq1Y,28663
specgo-1.0.1.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
specgo-1.0.1.dist-info/entry_points.txt,sha256=gjOs1aPTem5ugSs8NnLEe2pM1WQkld6fv68cEqGqXVE,47
specgo-1.0.1.dist-info/top_level.txt,sha256=idbq63RBxZQCQNtCBJk1Rh_sYSCY0aXEYCEi_xZyYhI,7
specgo-1.0.1.dist-info/RECORD,,
