Individual skill
deterministic-metric-design
Inventing deterministic metrics — turning a fuzzy property like 'maintainability', 'risk', or 'how reducible this code is' into a deterministic, computable number an agent can trust and optimize. Covers the path from construct to adoption — operationalizing the construct, confronting computability limits (Kolmogorov, Rice) with sound proxies, picking the right measurement scale, proving properties (monotonicity, invariance, the Weyuker/Briand axioms), guaranteeing determinism, establishing construct validity (not just LOC in disguise), and hardening against Goodhart-style gaming when an agent optimizes the metric. Trigger when designing, reviewing, or validating a quantitative metric, score, measure, or index — and even when the user doesn't say 'metric' but wants to quantify, score, rank, or measure code/behavior, build a deterministic optimization target, or invent a measure for something previously unquantified (e.g., behavior-preserving codebase-size reduction).
skills/.curated/deterministic-metric-design/SKILL.md
Source commit cf93c57cac89d6fc3e4194686000411567f5caf3
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Instructions only
- Last checked
- Nov 5, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 222
- Repository last updated
- Aug 15, 2026
- License
- MIT
Observed agent integration: codex
- design Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
AGENTS.mddoc · 12,967 bytesREADME.mddoc · 8,363 bytesSKILL.mdcore · 14,085 bytesSKILL.mdcore · 14,085 bytesassets/templates/_template.mddoc · 1,928 bytesmetadata.jsonasset · 2,163 bytesreferences/_sections.mddoc · 6,480 bytesreferences/agg-report-uncertainty-not-false-precision.mddoc · 1,289 bytesreferences/agg-respect-scale-in-aggregation.mddoc · 1,462 bytesreferences/agg-ship-reference-impl-and-test-vectors.mddoc · 1,606 bytesreferences/agg-version-the-metric-publicly.mddoc · 1,372 bytesreferences/comp-bound-approximation-error-explicitly.mddoc · 1,574 bytesreferences/comp-choose-a-decidable-observational-equivalence.mddoc · 2,036 bytesreferences/comp-design-a-proxy-with-a-proven-error-direction.mddoc · 2,002 bytesreferences/comp-do-not-define-metric-as-uncomputable-ideal.mddoc · 2,019 bytesreferences/comp-keep-the-metric-tractable.mddoc · 1,909 bytesreferences/comp-prefer-monotone-confluent-transformations.mddoc · 2,074 bytesreferences/comp-respect-rices-theorem-for-semantic-properties.mddoc · 2,001 bytesreferences/def-anchor-to-the-decision.mddoc · 1,668 bytesreferences/def-fix-unit-of-analysis.mddoc · 1,958 bytesreferences/def-name-the-latent-construct.mddoc · 2,130 bytesreferences/def-operationalize-behavior-and-size.mddoc · 2,159 bytesreferences/def-separate-construct-from-proxy.mddoc · 1,804 bytesreferences/def-write-falsifiable-operational-definition.mddoc · 1,633 bytesreferences/det-control-floating-point-and-accumulation.mddoc · 1,595 bytesreferences/det-make-the-metric-a-pure-function.mddoc · 1,508 bytesreferences/det-pin-iteration-and-tie-break-order.mddoc · 1,499 bytesreferences/det-pin-the-input-representation.mddoc · 1,503 bytesreferences/det-version-and-record-the-toolchain.mddoc · 1,361 bytesreferences/game-detect-reward-hacking-with-audits.mddoc · 1,529 bytesreferences/game-hard-block-construct-violating-wins.mddoc · 1,628 bytesreferences/game-make-cheapest-improvement-the-right-one.mddoc · 1,657 bytesreferences/game-pair-with-guardrail-metrics.mddoc · 1,565 bytesreferences/game-recognize-goodhart-variants.mddoc · 1,629 bytesreferences/meas-avoid-ad-hoc-weighted-sums.mddoc · 1,725 bytesreferences/meas-declare-the-scale-type.mddoc · 1,570 bytesreferences/meas-establish-meaningful-zero-and-unit.mddoc · 1,431 bytesreferences/meas-only-admissible-statistics.mddoc · 1,505 bytesreferences/meas-preserve-the-empirical-relation.mddoc · 1,637 bytesreferences/prop-check-weyuker-briand-axioms.mddoc · 1,661 bytesreferences/prop-ensure-sensitivity-to-relevant-change.mddoc · 1,568 bytesreferences/prop-prove-boundedness-and-handle-empty.mddoc · 1,590 bytesreferences/prop-prove-invariance-under-irrelevant-transforms.mddoc · 1,650 bytesreferences/prop-prove-monotonicity.mddoc · 1,655 bytesreferences/prop-prove-or-disclaim-composability.mddoc · 1,624 bytesreferences/valid-beat-the-trivial-baseline.mddoc · 1,388 bytesreferences/valid-calibrate-thresholds-to-ground-truth.mddoc · 1,469 bytesreferences/valid-converge-with-accepted-measure.mddoc · 1,679 bytesreferences/valid-discriminant-not-just-loc.mddoc · 1,605 bytesreferences/valid-predictive-validity-against-outcome.mddoc · 1,489 bytesreferences/valid-validate-out-of-sample.mddoc · 1,485 bytes
Read excerpt
# dot-skills Deterministic Metric Design Best Practices
Design metrics that are deterministic, computable, provable, and valid — measures an agent can trust and *optimize against* without gaming them. The 44 rules across 8 categories take a metric from a fuzzy construct to an adoptable, machine-checkable number: define the construct, confront computability limits with sound proxies, ground it in measurement theory, prove its properties, pin its determinism, validate it empirically, harden it against optimization pressure, and package it for adoption.
A running example threads through every category — **a deterministic measure of behavior-preserving codebase-size reduction** (shrink code without changing how the app works). It is the ideal stress test because its ideal form is provably out of reach (Kolmogorov complexity is uncomputable; program equivalence is undecidable by Rice's theorem), so the whole craft is building a deterministic, tractable proxy with a proven guarantee.
This is the measurement-design layer that the `*-algorithms` skills *apply* (Big-O, NDCG, cyclomatic, MoJoFM) but never *teach*.
## When to Apply
Use this skill when:
- Designing a new metric, score, or index — or reviewing someone's proposed metric for rigor
- Asked to "quantify", "measure", "score", or "rank" a property that has no agreed measure yet
- Building a deterministic optimization target an agent will push on (e.g., reduce code size without changing behavior)