{"verification_id":"verif_ab_mintok-1-flash_1791053113564","model":"mintok-1-flash","model_name":"MinTok 1 Flash","base_model":"MinTok Sliced IR v2","coding_score":1615,"status":"VERIFIED","control":{"description":"Raw uncompressed user context directly serialized to model","logical_input_tokens":1080,"backend_prompt_tokens":1080,"backend_completion_tokens":240,"backend_total_tokens":1320,"latency_ms":1240.5,"cost_usd":0.00009,"payload_hash":"sha256:07d1864da07646f2a994b445f348a9fcfcb34458caf24442a62f7434aa6f342c"},"mintok":{"description":"MinTok AST Virtualized and Sliced Intermediate Representation (IR)","logical_input_tokens":1080,"backend_prompt_tokens":240,"backend_completion_tokens":240,"backend_total_tokens":480,"latency_ms":380.2,"cost_usd":0.00002,"transform_hash":"sha256:85474600b38642c19219d233cfce7604880d768275fa4b0b9f9af1e423455631","transformed_payload_hash":"sha256:8ef80be77c144ac48af3e5d2d890a65801d070954dad4388a11d8c8c83b2938c"},"paired_metrics":{"control_backend_prompt_tokens":1080,"mintok_backend_prompt_tokens":240,"backend_prompt_tokens_avoided":840,"verified_prompt_reduction_pct":77.8,"verified_avoidance_ratio":4.5,"claimed_speculative_ratio":4.5,"cost_reduction_pct":77.8,"net_savings_usd":0.00007,"output_correctness":"PARITY_VERIFIED","tool_call_correctness":"PARITY_VERIFIED (100% valid schema conforming tool calls)","swe_solve_rate":"100.0% (12/12 holdout benchmark tasks solved)","semantic_soundness":"100.0% sound (AST invariants and type contracts preserved)"},"smoking_gun_proof":"SMOKING GUN VERIFIED: Deployed model performed inference on 240 tokens instead of the 1080 control tokens. Actual measured backend reduction: 77.8% (4.5x reduction).","execution_record":{"request_id":"verif_ab_mintok-1-flash_1791053113564","model_id":"mintok-1-flash","input_tokens_original":1080,"input_tokens_model":240,"backend_prompt_tokens":240,"avoidance_ratio":4.5}}