test(jelly-micro): add per-fixture recall floors (#1409)

* test(jelly-micro): add per-fixture recall floors

Replace the trivially-passing recall >= 0 gate with a RECALL_FLOORS
map keyed by fixture name.  Fixtures that already reach 100% are locked
at 1.0; partially-resolved fixtures (classes, defineProperty, super,
super2) are locked at their current baseline so a single lost edge fails
CI.  Unresolvable fixtures (0% baseline) continue to default to 0.

Closes #1387.

* test(jelly-micro): validate RECALL_FLOORS keys against discovered fixtures

Add a startup check after discoverTests() that throws if any key in
RECALL_FLOORS does not match an actual fixture directory. A renamed or
mistyped fixture key would otherwise silently lower the recall floor to
0 with no warning, defeating the regression gate.

The check is gated on tests.length > 0 so it does not fire in CI
environments where the jelly-micro directory is gitignored.

* fix(jelly-micro): remove stale more1 entry from RECALL_FLOORS

more1 was moved from jelly-micro to the pts-javascript fixture set in
#1383 (commit ddfc14c). The RECALL_FLOORS map still referenced it,
causing the startup sanity-check to throw in CI where the merged branch
no longer includes more1 in jelly-micro.

* fix(jelly-micro): correct classes floor from 0.2 to 0.19 (6/31, not 6/30) (#1409)

Author: carlos-alm

tests/benchmarks/resolution/jelly-micro.test.ts

@@ -54,8 +54,53 @@ function discoverTests(): string[] {
     .sort();
 }
 
+/**
+ * Per-fixture minimum recall floors based on the baseline measured on origin/main
+ * (commit 784951d, June 2026).  Fixtures not listed here default to 0 — they
+ * produce 0% recall and can only improve, never regress below zero.
+ *
+ * Format: fixture-name → minimum recall fraction in [0, 1].
+ * Exact fractions shown in comments; stored as the corresponding percentage
+ * value so a single lost TP triggers a failure.
+ *
+ * Note: more1 was moved to the pts-javascript fixture set in #1383 and is
+ * no longer part of jelly-micro.
+ */
+const RECALL_FLOORS: Record<string, number> = {
+  accessors3: 1.0, // 1/1
+  arguments: 1.0, // 1/1
+  classes: 0.19, // 6/31
+  defineProperty: 0.5, // 3/6
+  fun: 1.0, // 4/4
+  generators: 1.0, // 9/9
+  'receiver-callee-mixup': 1.0, // 1/1
+  rest: 1.0, // 1/1
+  spread: 1.0, // 4/4
+  super: 0.38, // 5/13
+  super2: 0.4, // 2/5
+  super3: 1.0, // 3/3
+  this: 1.0, // 1/1
+};
+
 const tests = discoverTests();
 
+// Sanity-check: every RECALL_FLOORS key must match a discovered fixture name.
+// A mismatch means either a fixture was renamed or the key was mistyped, and
+// the regression floor would silently degrade to 0 without this guard.
+// Only enforce when the fixture directory is present (CI skips the whole suite
+// when fixtures are absent).
+if (tests.length > 0) {
+  const testSet = new Set(tests);
+  for (const key of Object.keys(RECALL_FLOORS)) {
+    if (!testSet.has(key)) {
+      throw new Error(
+        `RECALL_FLOORS key "${key}" does not match any discovered fixture in ${FIXTURES_DIR}. ` +
+          'Update the key or remove the stale entry.',
+      );
+    }
+  }
+}
+
 // Per-test results collected for summary
 const allResults: Record<
   string,
@@ -194,8 +239,8 @@ describe.skipIf(tests.length === 0)('Jelly Micro-Test Benchmark', () => {
           for (const e of fn) console.log(`    FN: ${e}`);
         }
 
-        // Soft gate: recall must be ≥ 0% (we don't gate yet — this benchmark is diagnostic)
-        expect(recall).toBeGreaterThanOrEqual(0);
+        const floor = RECALL_FLOORS[testName] ?? 0;
+        expect(recall).toBeGreaterThanOrEqual(floor);
       });
     });
   }