nail_cli.py,sha256=SZrBuifBf-Nl4Hz2UCXrWmbGikIGYUNSCjvl4riFf_w,23832
demos/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
demos/ai_review_demo.py,sha256=RIygABqDNf8sVX8N5_P_w9sryTgv3M7hxDRpLDcuX2w,12594
demos/e2e_agent_demo.py,sha256=ED6kzZo5iUZa9ufzW1HVEXj64hNuYoYPep50Oad3-jE,16597
demos/e2e_demo_visual.py,sha256=NN04r97LRVAL5me_O8cKuFRGcZyXpBI2KQtwed_B0vs,8221
demos/fc_demo.nail,sha256=AGKp1CZ138t1w6JIz0qalICKNK9m1H65e3ykyq1Tkiw,1282
demos/mcp_firewall_demo.py,sha256=cLUEBSigEifkBr1L71YfC1FLp--TSWjHnzEn4uGg7wA,5715
demos/nail_killer_demo.py,sha256=iQ3CXRMMex2UrDLZD0Ot27enJyWc1WBCs73opLQ45lk,5302
demos/rogue_agent_demo.py,sha256=S2L1Uu8Rgz76BIBFrWYF7EmMwaE4bDYokBRjxOj850A,10531
demos/termination_demo.py,sha256=a3x6D2q-hBDhzciSA9Nk7zQzrk0VJAkmF5U1f6Id8no,11029
demos/trust_boundary_demo.py,sha256=nkn5P63hoRTX6-1DWMmBh6Yqc8C-DIgUjX5-PBwjZ4g,11881
demos/verifiability_demo.py,sha256=fziPUorB1Dow1VeEDoG0IU01GrCIRpxLREFKjPqH-po,8027
demos/scenarios/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
demos/scenarios/ai-review-effect-leak-fail.nail,sha256=5I83h_MgsVOdeoUxz7yDRDfGzpsa7kc3sqB_T3PRXEc,300
demos/scenarios/ai-review-fixed-pass.nail,sha256=-suG0t_8YpExmmRsXc1ybVuTKTE0BW9Qnj2BgKyDpSU,1323
demos/scenarios/ai-review-missing-branch-fail.nail,sha256=6q1jYArmLO0WWUTESS1rx12vswXI6jLy_X0xSDO9cW0,312
demos/scenarios/ai-review-type-mixup-fail.nail,sha256=35JcESsh9gcqW8MOiCQNaBmEDSptXBlkA402O63j79w,262
demos/scenarios/rogue-exfil-blocked.nail,sha256=e5TGkelQHD-uCuupVjCMsW3_UQvAFcMRFZFoEgQfLXQ,372
demos/scenarios/rogue-exfil-correct.nail,sha256=12rhurKa3KkJG67L_ulnWzZzgqO3jLFd-6twmDZaDM0,289
demos/scenarios/rogue-scheme-blocked.nail,sha256=WlAFl5HAcNtqE_pXCbzV5KCSgbxcGR_t7myjSBpt1rM,286
demos/scenarios/rogue-scheme-legit.nail,sha256=sMKABGVWUDETIv5l5WdKfvfso-e7W2mVzuUPyrw5OzQ,309
demos/scenarios/rogue-traversal-blocked.nail,sha256=swRT1UxXK7iVRBAFuIPEK4JQyOw1RdlvhGNalyCtWHw,317
demos/scenarios/rogue-traversal-legit.nail,sha256=71HdiNrl74NQknUqW7wbO1eK5A6dZcbZoPg88RE4cr8,315
demos/scenarios/term-bounded-pass.nail,sha256=ZMFlrwG4-ncDICrEPXrTakUD3-Q_tEFzO6hhdYv1T7k,440
demos/scenarios/term-recursive-fail.nail,sha256=F47Y989GXCE8w_wYxrUo-Nt5LvoHoP_pHOprJbs6FQ4,714
demos/scenarios/term-recursive-pass.nail,sha256=Znn7jaN-iMUZl1TsVi_Fgfu77AXo-gOyyHDjAFuZhlw,743
demos/scenarios/term-zero-step-fail.nail,sha256=wwFo5xo0VusVzJDG8KgZD8xlrINPUYDx1f7uaL62HQk,444
demos/scenarios/trust-escalation-fail.nail,sha256=1T0fdcoUf4CJJyssQYhnkDOipI4R9t1K4lgBIhURP1I,512
demos/scenarios/trust-io-caller-pass.nail,sha256=4Y9FE8w7K_aC6Tb71LRql7NHh5UNqcfwgtFUF06rc18,363
demos/scenarios/trust-logger.nail,sha256=Hf4ioQyhY7qLeP_zHYnnh8_XMrnTudzMd0fPstaTMVg,336
demos/scenarios/trust-net-smuggler.nail,sha256=dHUfnH52T9tTfOB2Yswx4ArfLLphiJW1hAO_iJMu2Gc,399
demos/scenarios/trust-pure-caller-pass.nail,sha256=-JFUtLzmS98d-NKem2Btifw0FPiEk_yOrSbYiQhOgqQ,455
demos/scenarios/trust-pure-math.nail,sha256=d7_mfXvnp9PlLkFy0MpCAGGZIxHXX7OzJVmVN0dFJSg,390
demos/scenarios/verify-hidden-effect-fail.nail,sha256=5dGWdkexW7vWMYtV243gHvr5TvlSqmRNUwf8UHKFgNo,289
demos/scenarios/verify-hidden-effect-pass.nail,sha256=AlB3pxD8kXIRD9Fcm6IH5QzCheoVy6XdmCID97aMjGc,293
demos/scenarios/verify-partial-return-fail.nail,sha256=T1eGW9W__ss_lfFBRh8Sce4mcDcVS9uNQBrV4uzr9ZU,333
demos/scenarios/verify-partial-return-pass.nail,sha256=KtSaBVHyVhqn4rcWFN_-g3MQvZGx8kwbpwHIoJc2ZTc,366
demos/scenarios/verify-type-mismatch-fail.nail,sha256=lA0Y3B1Bc_f4IJwuNjN3r9ZkL48qgnkfDLx4-j9b_uU,258
demos/scenarios/verify-type-mismatch-pass.nail,sha256=Ig3zQTdDFFPjrOFcLTgb3-dFxMANHTlqYp-HjcHLomA,230
interpreter/__init__.py,sha256=AAetvyCV685LJMVXY5F25REVFhUgcVC8lsyQPtvKEZk,388
interpreter/checker.py,sha256=Qr73J54eGLQq8ylCY-t8ARbn_gyLsrFUWScdFlf6KvM,96068
interpreter/runtime.py,sha256=fPjeSo_dOUiSM_4L6CXfsuo9ned1yd9G0KmVoNLYtkc,45974
interpreter/type_resolver.py,sha256=xWJIQpwXeQG1yc8NBSRs4h1A9YsnoHOvQYAMgzvcbMo,9068
interpreter/types.py,sha256=_E6mHDCyey7lYMVjinE9vwGUnEKTTk9v3FgmIVO-Yzk,15699
nail_lang/__init__.py,sha256=nEkJBX1B4ku655E3bTTruac5ralrY2_3bzp093bnmQM,4786
nail_lang/__init__.pyi,sha256=xCRt1KmgC1jJiY7gAf3dXxzfFqpaanMrlmpcA_hcBB0,15026
nail_lang/_effects.py,sha256=rkbK4bj-hd0gKkd-1CijPCxZx0JFDF1OYrsPzxX4eMs,7351
nail_lang/_fc_standard.py,sha256=dFdLksRsPfVrn1nMmZiSwq5ui1xgPb6_CmnW4FG9rzk,12439
nail_lang/_mcp.py,sha256=Kg5hJlAbcxWVcseIRXYsQuyLB_Tx7nhM260roxyk9ew,9761
nail_lang/fc_cli.py,sha256=B5gxs19JBYcGogceMVZcVRAzJ8qOvE6tVodfRXKGEdE,16784
nail_lang/fc_ir_v2.py,sha256=EeYgzipYL1EMvLklANUP0pp_UGT0mP6kOhKycMEFqXU,14286
nail_lang/mcp_cli.py,sha256=qRl0KaDGjZ1HJ-SFDxMTZf5NlNsTSTDp391S8M1um2Y,9455
nail_lang-0.9.2.dist-info/licenses/LICENSE,sha256=PW3kwiawWMmmk0uW79LrRVQWA_IV3oznstJnfYJ4lUE,1063
nail_lens/__init__.py,sha256=NPVwAgiLxa2Bsys2rhBNi9YJEMFiUnpY4jynElCP99g,76
nail_lens/cli.py,sha256=ZS8N1_wI7oFMANwM1DEEB9opOUPhdhIkyyOrSebC4QQ,7113
nail_lens/inspector.py,sha256=-w226BUC9iZWL0nZcQfW42JhbcdUJnV8iTvmegVd9b8,8785
nail_lang-0.9.2.dist-info/METADATA,sha256=mdwcx7qEnU7GVfhnMKlFVH2a6xPaiV8jgxaP8DTIvBk,23369
nail_lang-0.9.2.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
nail_lang-0.9.2.dist-info/entry_points.txt,sha256=lqqMvF2ZNclU4_EQxg6MdrjPRe8HyD3y8STWfmxiZJ4,70
nail_lang-0.9.2.dist-info/top_level.txt,sha256=EfyLn68u6z_pxpP4-6pUIy9QspQbunG_uRie7Ebqztg,47
nail_lang-0.9.2.dist-info/RECORD,,
