{"slug":"invariant-guard","source_name":"invariant-guard","name":"Invariant Guard","description":"Correctness-first: forces writing the function contract, loop invariant, termination argument, and edge cases BEFORE code. Catches Boyer-Moore, leftmost binary search, QuickSelect traps.","version":1,"lift":{"pass_rate_delta_pts":78.26,"pass_rate_pct":82.6,"total_cases":23,"passed_cases":19,"tokens_delta_pct":220,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-07-28T21:27:39.327969+00:00"},"skill_score":0.8261,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":78.26,"with_pass_pct":82.6,"without_pass_pct":4.3,"tokens_delta_pct":220,"turns_delta_pct":0,"total_cases":23,"cases_aggregated":23,"verdict":"mixed","never_hurt":false,"completed_at":"2026-07-28T21:27:39.327969+00:00","run_id":"8974b9e4-063f-4e36-99d5-c17000abc6c8","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":null,"content_status":"clean","indexable":true},"license":"Apache-2.0","install_count":0,"manifest_hash":"6fa8d2861b2ade544002800899fd69e0e3854a47bb8119aacb34d38aa7bb4c25","raw_url":"https://app.decimal.ai/s/invariant-guard/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/invariant-guard"}