{"slug":"michael-denyer-principle-type-system-discipline","source_name":"michael-denyer/principle-type-system-discipline","name":"Michael Denyer/Principle Type System Discipline","description":"Apply when designing types, reviewing a function signature, or writing code in any statically-typed language. Make illegal states unrepresentable, brand semantic primitives, parse external data at boundaries, refuse to lie to the compiler, exhaust variants, derive from authoritative schemas.","version":1,"lift":{"pass_rate_delta_pts":4.17,"pass_rate_pct":100,"total_cases":24,"passed_cases":24,"tokens_delta_pct":27.6,"turns_delta_pct":0,"verdict":"pass","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-10-10T23:15:57.532499+00:00"},"skill_score":1,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":4.17,"with_pass_pct":100,"without_pass_pct":95.8,"tokens_delta_pct":27.6,"turns_delta_pct":0,"total_cases":24,"cases_aggregated":24,"verdict":"pass","never_hurt":true,"completed_at":"2026-10-10T23:15:57.532499+00:00","run_id":"92a9c530-dce6-461d-8784-a134c466028b","latest_attempt":{"id":"92a9c530-dce6-461d-8784-a134c466028b","runner_model":"gemini-3.6-flash","overall_verdict":"pass","completed_at":"2026-10-10T23:15:57.532499+00:00","gate":null},"version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"MIT","install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"c75d3c9f1dde5303f2aba3fe45dff545839f713b551be548cfac231403469443","install_name":"michael-denyer-principle-type-system-discipline","version_id":"25905484-d30e-4004-85bf-86907b9c0244","body_sha256":"c75d3c9f1dde5303f2aba3fe45dff545839f713b551be548cfac231403469443","render_hash":"083dbb1b9c0ac6264359fe54a5dec0519dc7c5647de7e118bc41bedaeb54928f","raw_url":"https://app.decimal.ai/s/michael-denyer-principle-type-system-discipline/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/michael-denyer-principle-type-system-discipline"}