{"verification_id":"verif_ab_mintok-1-max_1791052927043","model":"mintok-1-max","model_name":"MinTok 1 Max","base_model":"MinTok Frontier Architecture v2","coding_score":1658,"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.00077,"payload_hash":"sha256:7c637ffc443343e89437fe96af27b6f1c7e6d025f4e4449c90ed760cfda4ba51"},"mintok":{"description":"MinTok AST Virtualized and Sliced Intermediate Representation (IR)","logical_input_tokens":1080,"backend_prompt_tokens":208,"backend_completion_tokens":240,"backend_total_tokens":448,"latency_ms":380.2,"cost_usd":0.000148,"transform_hash":"sha256:0b89def6f7ec4e2caf87ecef4ece531716577881b265489fac0253ac6bff1a88","transformed_payload_hash":"sha256:fc03fbfb319749c08b2e2044fa279f3ebc1570e500b44a9da56978586058b6a4"},"paired_metrics":{"control_backend_prompt_tokens":1080,"mintok_backend_prompt_tokens":208,"backend_prompt_tokens_avoided":872,"verified_prompt_reduction_pct":80.8,"verified_avoidance_ratio":5.2,"claimed_speculative_ratio":5.2,"cost_reduction_pct":80.8,"net_savings_usd":0.000622,"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 208 tokens instead of the 1080 control tokens. Actual measured backend reduction: 80.8% (5.2x reduction).","execution_record":{"request_id":"verif_ab_mintok-1-max_1791052927043","model_id":"mintok-1-max","input_tokens_original":1080,"input_tokens_model":208,"backend_prompt_tokens":208,"avoidance_ratio":5.2}}