nail_cli.py,sha256=VFfQgHF6cco0vmywSDvH4r-jARM7-gFd_kW9U3Nucfg,19350
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=ldPcUXGxwr2IGOe8WzSDprACcxxIcabdGybPhmqEWN8,397
interpreter/checker.py,sha256=o_FyRhi6Ojzl779JCvHP4-xtUS2Vw6wvz2z7QEzxqqc,95336
interpreter/runtime.py,sha256=iHSIcJWgDm0LpWQSwNfdbnUbUin4ukNKFEwSiO_rPoo,49799
interpreter/types.py,sha256=Edcc4vol8aKCCEHK3laJbC-Imtp3Fg1GLvtTHPUzGfM,15691
nail_lang/__init__.py,sha256=C5OQrjjf5F5lhbZVcEYfHpMqJ35UGq_hfBJF32a1GXs,4030
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=bZIOUr-YxWhlj3KSrRzFimAa0D79VwSBQdwdIJFTRQI,6866
nail_lang/fc_cli.py,sha256=B5gxs19JBYcGogceMVZcVRAzJ8qOvE6tVodfRXKGEdE,16784
nail_lang-0.9.0.dist-info/licenses/LICENSE,sha256=PW3kwiawWMmmk0uW79LrRVQWA_IV3oznstJnfYJ4lUE,1063
nail_lang-0.9.0.dist-info/METADATA,sha256=3BwD-rsytzCQl6MLMgT7ZZE11RjfFmTNzntNfyCPqd4,18810
nail_lang-0.9.0.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
nail_lang-0.9.0.dist-info/entry_points.txt,sha256=LwfyJlnemajarkboRs7I1st3T6j5tJ-bQ4XsE4zjRvM,39
nail_lang-0.9.0.dist-info/top_level.txt,sha256=8mY2iVOpaUJE1PqCiZXf935cATb9nX_oAm13g5JJ070,37
nail_lang-0.9.0.dist-info/RECORD,,
