SkillOptimizer
Research hub
Null resultAI usage (tokens)

Rule checks from absolute prohibitions

Does a rule check pay when the prohibition has no condition?

measured-local2026-09-1980e4a13
  • docs/experiments/DETECTION-2026-09-19.md · 80e4a13 · 2026-09-20

Headline figures

20

Skills attempted

measured-local · 2026-09-19

12of 20

Reached a three-arm comparison

measured-local · n=20 · 2026-09-19

0of 12

Accepted

95% interval 0.0% to 24.3%

measured-local · n=12 · 2026-09-19

5.7%

Mean token reduction over compared skills; negative is dearer

measured-local · 2026-09-19

11of 12

Compared skills whose repetitions disagree in sign

measured-local · n=12 · 2026-09-19

4

Stopped as no_baseline_advantage

measured-local · 2026-09-19

1

Stopped as tasks_not_discriminating

measured-local · 2026-09-19

3

Stopped as unmeasurable

measured-local · 2026-09-19

Notes

  • An absolute rule check has no cost asymmetry between a compliant run and a violating one, so there is little to save.
  • The remaining 214 absolute candidates were not run: the plan pre-registered a skip below about 15 percent acceptance.

Superseded figures

A figure this project published and later corrected, kept beside what replaced it (CLAUDE.md, "Correcting a measurement instrument").

Compared skills whose repetitions straddle zero

every one of the 12 → 11 of 12

Recounted from the records: one compared skill was rejected as not cheaper with all three repetitions dearer, so it does not straddle zero. Nothing was accepted either way.

docs/experiments/DETECTION-2026-09-19.md

Tables

Rule checks from absolute prohibitions

n: Runs per arm behind the row: repetitions times tasks compared, or the graded runs of the eligibility check when the skill was not compared. 20 rows.

skillnameshapeinstallsstatusstatus_supersededdecisionacceptedartifactsskill_md_unchangedtoken_reductionspread_minspread_maxstraddles_zeronet_call_changetokens_nonetokens_originaltokens_optimizedscore_nonescore_originalscore_optimizedmission_preservedretention_bandRtasksnevidence_classdatecommit
cpp-testingC++ Testing (Agent Skill)reference-lookup—compared—inconclusive_repetitions_straddle_zeroNohookYes0.2896-0.77190.6059Yes-277,589128,87491,5500.250.50.25Nolost313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
activitykitActivityKitreference-lookup2,887compared—inconclusive_repetitions_straddle_zeroNohookYes0.2422-0.31270.2787Yes-256,84381,16261,5010.60.80.8Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
fix-merge-conflictsFix merge conflictsworkflow2,250compared—inconclusive_repetitions_straddle_zeroNohookYes0.238-0.01850.2419Yes-126,35138,65729,4560.7511Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
pr-screenshotsPR Screenshotsreference-lookup139compared—inconclusive_repetitions_straddle_zeroNohookYes0.2274-0.00790.2274Yes022,45734,33026,5230.811Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
webiny-full-stack-architectFull-Stack Extension Skeletonreference-lookup2compared—inconclusive_repetitions_straddle_zeroNohookYes0.2065-0.90180.3923Yes0272,428155,881123,68500.60.6Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
quantum-qiskitQiskit Quantum Machine Learningreference-lookup—compared—inconclusive_repetitions_straddle_zeroNohookYes0.1625-0.22750.3626Yes039,83083,17569,65600.50.5Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
auto-repo-setupAuto Repo Setupworkflow373compared—inconclusive_repetitions_straddle_zeroNohookYes0.065-0.15170.1592Yes-1.5114,026215,334201,340011Yesfull326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
app-clipsApp Clipsreference-lookup—compared—inconclusive_repetitions_straddle_zeroNohookYes0.0059-0.14130.0131Yes019,90714,81214,7240.410.8Nopartial313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
terraform-skillTerraform Skill for Claudereference-lookup6,130compared—inconclusive_repetitions_straddle_zeroNohookYes0.0038-0.24440.2146Yes-139,55273,37173,0910.40.60.8Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
shopify-review-triageShopify Review Triagereference-prose23compared—inconclusive_repetitions_straddle_zeroNohookYes-0.013-0.0470.0057Yes019,23033,24733,68000.80.8Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
axiom-dataData & Persistenceworkflow—compared—rejected_not_cheaperNohookYes-0.3372-0.314-0.1559No1.557,07897,396130,2400.811Yesfull326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
webiny-admin-architectAdmin Architecture Patternsreference-lookup1compared—inconclusive_repetitions_straddle_zeroNohookYes-0.4074-0.89020.1087Yes1126,85082,191115,675011Yesfull313measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
arize-traceArize Trace Skillreference-lookup—unmeasurable——No———————————————300measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
computer-useComputer Usereference-lookup156,523no_baseline_advantage——No———————————————326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
cpp-coding-standardsC++ Coding Standards (C++ Core Guidelines)reference-lookup—no_baseline_advantage——No———————————————326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
no-commentsNo commentsworkflow1,533no_baseline_advantage——No———————————————326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
redis-expertRedis Data Store Expertiseworkflow—no_baseline_advantage——No———————————————326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
shepherd-prReview PRworkflow73unmeasurable——No———————————————300measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
supersede-prSupersede PRworkflow14unmeasurable——No———————————————300measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590
webiny-mailer-smtpMailer SMTP Configurationreference-lookup2tasks_not_discriminating——No———————————————326measured-local2026-09-1980e4a13fb96ebb96d8efff8690a8c77215657590