{"verification_id":"verif_ab_mintok-1-pro_1791053041682","model":"mintok-1-pro","model_name":"MinTok 1 Pro","base_model":"MinTok Context Virtualizer v2","coding_score":1638,"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.00015,"payload_hash":"sha256:ebda9d4518cc414ea51ea63b2aa59d59d144e4bf22d04eb1aedfef5a280a5b5d"},"mintok":{"description":"MinTok AST Virtualized and Sliced Intermediate Representation (IR)","logical_input_tokens":1080,"backend_prompt_tokens":225,"backend_completion_tokens":240,"backend_total_tokens":465,"latency_ms":380.2,"cost_usd":0.000031,"transform_hash":"sha256:977c531df350403f8223dc74862b15596dda0c16fdf54cc186c9d6f86cc26dff","transformed_payload_hash":"sha256:85eae10f2ef3495daddc2d2ce6d620c1d8c6905910b148d5b0b83a6b773508ba"},"paired_metrics":{"control_backend_prompt_tokens":1080,"mintok_backend_prompt_tokens":225,"backend_prompt_tokens_avoided":855,"verified_prompt_reduction_pct":79.2,"verified_avoidance_ratio":4.8,"claimed_speculative_ratio":4.8,"cost_reduction_pct":79.3,"net_savings_usd":0.000119,"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 225 tokens instead of the 1080 control tokens. Actual measured backend reduction: 79.2% (4.8x reduction).","execution_record":{"request_id":"verif_ab_mintok-1-pro_1791053041682","model_id":"mintok-1-pro","input_tokens_original":1080,"input_tokens_model":225,"backend_prompt_tokens":225,"avoidance_ratio":4.8}}