Core Engineering Metrics

VerifyADS 20/20 checks passed

Every check below re-derives the numbers LIVE, at request time, on the real database: independent raw-SQL recounts (no engine code), conservation laws between metrics, and window-additivity proofs. Green = the figure is confirmed by a second, independent path.

Independent recount (raw SQL vs engine)

i
CheckIndependent valueEngine value
Throughput: raw-SQL recount of done-in-windowi00
Bug Rate: raw-SQL recount of created-in-windowi00
PR Throughput: merged recountedi00

Conservation laws (one metric derived from another)

i
CheckIndependent valueEngine value
agents + humans = throughput totali00
Throughput total = Lead/Cycle cohort sizei00
Participation = agents / totali
Σ severity buckets = bug totali00
Σ weekly bug points = bug totali00
Σ weekly PR points = mergedi00
planned + unplanned = throughput totali00
TTFP buckets: measured + no-PR + PR-before-start = totali00
Σ non-new buckets ≤ Σ cycle (gap 0d = re-opened tickets' time inside done)i≤ 00

Window additivity (half-open boundaries)

i
CheckIndependent valueEngine value
Throughput: [from,mid) + [mid,to) − re-done-in-both (0) = whole windowi00
Bugs: [from,mid) + [mid,to) = whole windowi00
DF: [from,mid) + [mid,to) = whole windowi00
PR merged: [from,mid) + [mid,to) = whole windowi00

Per-ticket sanity (inequalities that must always hold)

i
CheckIndependent valueEngine value
cycle ≤ lead on every ticket (violations)i00
active ≤ cycle on every ticket (violations)i00
TTFP: first PR is at/after work start (violations)i00
LtC: deploy is after the first commit (violations)i00

Calculation policies — the number both ways

i

All calculation policies = the document standard; no deviations, nothing to recompute.