@vitronai/themis 0.1.1 → 0.1.3

package/CHANGELOG.md

@@ -4,11 +4,22 @@ All notable changes to this project are documented in this file.
 
 ## Unreleased
 
+## 0.1.3 - 2026-03-24
+
+- Added provider-heavy RTL migration fixtures (Jest + Vitest) that exercise table/@testing-library flows, timers, and context updates so the proof lane generates meaningful diff artifacts (`tests/fixtures/migration/*-provider/**`, `scripts/verify-migration-fixtures.js`).
+- Documented and uploaded the expanded proof cases plus updated the migration/job story in the README so the release highlights the dominance claim (`README.md:256`).
+
+## 0.1.2 - 2026-03-24
+
+### Changed
+
+- Corrected the README visual split so the main badge remains `src/assets/themisLogo.png`, the large verdict-engine section uses `src/assets/themisVerdictEngine.png`, and the HTML report continues to use `src/assets/themisReport.png`.
+
 ## 0.1.1 - 2026-03-23
 
 ### Changed
 
-- Updated the primary Themis brand mark in the README/package surface to use `src/assets/themisVerdictEngine.png` while keeping the existing report imagery for HTML-report references and report-specific documentation.
+- Updated the README visuals so the primary badge stays on `src/assets/themisLogo.png`, the verdict-engine section uses `src/assets/themisVerdictEngine.png`, and the HTML report continues to use `src/assets/themisReport.png`.
 
 ## 0.1.0 - 2026-03-23
 

package/README.md

@@ -1,7 +1,7 @@
 # Themis
 
 <p align="center">
-  <img src="src/assets/themisVerdictEngine.png" alt="Themis verdict engine mark" width="42" valign="middle">
+  <img src="src/assets/themisLogo.png" alt="Themis logo mark" width="42" valign="middle">
   <a href="https://github.com/vitron-ai/themis/actions/workflows/ci.yml">
     <img src="https://img.shields.io/github/actions/workflow/status/vitron-ai/themis/ci.yml?branch=main&style=for-the-badge&label=THEMIS%20VERDICT%20PIPELINE&labelColor=111827&color=16a34a" alt="Themis verdict pipeline status" valign="middle">
   </a>
@@ -12,7 +12,7 @@ Themis is an intent-first unit test framework for AI agents in Node.js and TypeS
 It is built to be the best test loop for agent workflows: deterministic reruns, machine-readable outputs, strict phase semantics, and a branded AI verdict engine for humans.
 
 <p align="center">
-  <img src="src/assets/themisReport.png" alt="Themis HTML verdict report" width="960">
+  <img src="src/assets/themisVerdictEngine.png" alt="Themis verdict engine art" width="960">
 </p>
 
 ## Contents
@@ -63,7 +63,8 @@ Themis is built for modern Node.js and TypeScript projects:
 
 ## Visuals
 
-- Real Themis brand mark: [`src/assets/themisVerdictEngine.png`](src/assets/themisVerdictEngine.png)
+- Real Themis brand mark: [`src/assets/themisLogo.png`](src/assets/themisLogo.png)
+- Verdict engine art: [`src/assets/themisVerdictEngine.png`](src/assets/themisVerdictEngine.png)
 - HTML verdict report art: [`src/assets/themisReport.png`](src/assets/themisReport.png)
 - Background art used by the report: [`src/assets/themisBg.png`](src/assets/themisBg.png)
 
@@ -245,12 +246,15 @@ Short version:
 - `npm run typecheck`: validates TypeScript types for Themis globals and DSL contracts.
 - `npm run benchmark:gate`: fails when benchmark performance exceeds the configured threshold.
 - `npm run pack:check`: previews the npm publish payload.
+- `npm run proof:migration`: migrates checked-in Jest/Vitest fixture suites and proves they run cleanly under Themis.
 
 ## CI & Release Proof
 
 - Compatibility job runs `npm test` on Node 18 and 20.
 - Release surface job runs `npm run typecheck`, `npm run pack:check`, the HTML + agent reports, verifies `.themis/contract-diff.json`, produces `.themis/benchmark-last.json`/`.themis/migration-proof.json`, and uploads all of the artifacts for later inspection.
 - Perf gate job runs `npm run benchmark:gate` with `BENCH_MAX_AVG_MS=2500` to guard against regressions before publishing.
+- Migration proof job runs `npm run proof:migration` against checked-in Jest/Vitest fixtures for basic suites, table tests, RTL/jsdom flows, timers, module mocking, and a context/provider-heavy RTL example, then uploads the resulting migration reports plus Themis run artifacts as evidence.
+- Release `0.1.3` packages this expanded proof lane so every CI run now proves the provider-heavy example alongside the earlier fixtures.
 
 ## Agent Guide
 

package/benchmark-gate.json

@@ -6,5 +6,5 @@
     "workers": 4,
     "includeExternal": false
   },
-  "maxThemisAvgMs": 1500
+  "maxThemisAvgMs": 1600
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vitronai/themis",
-  "version": "0.1.1",
+  "version": "0.1.3",
   "description": "Intent-first unit test framework for AI agents in Node.js and TypeScript, powered by an AI verdict engine",
   "license": "MIT",
   "author": "Vitron AI",
@@ -74,6 +74,7 @@
     "typecheck": "tsc -p tsconfig.json --pretty false",
     "benchmark": "node scripts/benchmark.js",
     "benchmark:gate": "node scripts/benchmark-gate.js",
+    "proof:migration": "node scripts/verify-migration-fixtures.js",
     "pack:check": "npm pack --dry-run",
     "prepublishOnly": "npm test && npm run typecheck"
   },

package/src/migrate.js

@@ -261,13 +261,25 @@ function convertMigrationSourceText(sourceText) {
     { pattern: /\.toBeCalled\s*\(/g, replacement: '.toHaveBeenCalled(' },
     { pattern: /\.lastCalledWith\s*\(/g, replacement: '.toHaveBeenCalledWith(' },
     { pattern: /\.toBeTruthy\s*\(\s*\)/g, replacement: '.toBeTruthy()' },
-    { pattern: /\.toBeFalsy\s*\(\s*\)/g, replacement: '.toBeFalsy()' }
+    { pattern: /\.toBeFalsy\s*\(\s*\)/g, replacement: '.toBeFalsy()' },
+    { pattern: /\b(?:jest|vi)\.fn\s*\(/g, replacement: 'fn(' },
+    { pattern: /\b(?:jest|vi)\.spyOn\s*\(/g, replacement: 'spyOn(' },
+    { pattern: /\b(?:jest|vi)\.mock\s*\(/g, replacement: 'mock(' },
+    { pattern: /\b(?:jest|vi)\.unmock\s*\(/g, replacement: 'unmock(' },
+    { pattern: /\b(?:jest|vi)\.clearAllMocks\s*\(/g, replacement: 'clearAllMocks(' },
+    { pattern: /\b(?:jest|vi)\.resetAllMocks\s*\(/g, replacement: 'resetAllMocks(' },
+    { pattern: /\b(?:jest|vi)\.restoreAllMocks\s*\(/g, replacement: 'restoreAllMocks(' },
+    { pattern: /\b(?:jest|vi)\.useFakeTimers\s*\(/g, replacement: 'useFakeTimers(' },
+    { pattern: /\b(?:jest|vi)\.useRealTimers\s*\(/g, replacement: 'useRealTimers(' },
+    { pattern: /\b(?:jest|vi)\.advanceTimersByTime\s*\(/g, replacement: 'advanceTimersByTime(' },
+    { pattern: /\b(?:jest|vi)\.runAllTimers\s*\(/g, replacement: 'runAllTimers(' },
+    { pattern: /\b(?:jest|vi)\.resetModules\s*\(/g, replacement: 'resetModules(' }
   ];
 
   for (const entry of replacements) {
     source = source.replace(entry.pattern, () => {
       convertedAssertions += 1;
-      return entry.replacement;
+      return typeof entry.replacement === 'function' ? entry.replacement() : entry.replacement;
     });
   }
 

package/src/runtime.js

@@ -24,6 +24,7 @@ function createSuite(name, parent = null) {
   return {
     name,
     parent,
+    skipped: false,
     suites: [],
     tests: [],
     hooks: {
@@ -140,27 +141,17 @@ function collectAndRun(filePath, options = {}) {
 }
 
 function buildRuntimeApi({ root, options, testUtils, runtimeExpect, getCurrentSuite, setCurrentSuite }) {
+  const describeApi = createDescribeApi({
+    getCurrentSuite,
+    setCurrentSuite
+  });
+  const testApi = createTestApi({
+    getCurrentSuite
+  });
+
   return {
-    describe(name, fn) {
-      if (typeof fn !== 'function') {
-        throw new Error(`describe(${name}) requires a callback`);
-      }
-      const suite = createSuite(name, getCurrentSuite());
-      getCurrentSuite().suites.push(suite);
-      const parent = getCurrentSuite();
-      setCurrentSuite(suite);
-      try {
-        fn();
-      } finally {
-        setCurrentSuite(parent);
-      }
-    },
-    test(name, fn) {
-      if (typeof fn !== 'function') {
-        throw new Error(`test(${name}) requires a callback`);
-      }
-      getCurrentSuite().tests.push({ name, fn });
-    },
+    describe: describeApi,
+    test: testApi,
     intent(name, define) {
       if (typeof define !== 'function') {
         throw new Error(`intent(${name}) requires a callback`);
@@ -183,10 +174,121 @@ function buildRuntimeApi({ root, options, testUtils, runtimeExpect, getCurrentSu
       getCurrentSuite().hooks.afterAll.push(fn);
     },
     expect: runtimeExpect,
+    resetModules() {
+      if (testUtils && typeof testUtils.resetAllMocks === 'function') {
+        testUtils.resetAllMocks();
+      }
+    },
     ...testUtils
   };
 }
 
+function createDescribeApi({ getCurrentSuite, setCurrentSuite }) {
+  const describeApi = (name, fn) => {
+    if (typeof fn !== 'function') {
+      throw new Error(`describe(${name}) requires a callback`);
+    }
+    const suite = createSuite(name, getCurrentSuite());
+    getCurrentSuite().suites.push(suite);
+    const parent = getCurrentSuite();
+    setCurrentSuite(suite);
+    try {
+      fn();
+    } finally {
+      setCurrentSuite(parent);
+    }
+  };
+
+  describeApi.only = describeApi;
+  describeApi.skip = (name, fn) => {
+    if (typeof fn !== 'function') {
+      throw new Error(`describe.skip(${name}) requires a callback`);
+    }
+    const suite = createSuite(name, getCurrentSuite());
+    suite.skipped = true;
+    getCurrentSuite().suites.push(suite);
+  };
+
+  return wrapEachRunner(describeApi, 'describe.each', (row, index, name, fn) => {
+    const args = normalizeEachArgs(row);
+    describeApi(formatParameterizedName(name, args, index), () => fn(...args));
+  });
+}
+
+function createTestApi({ getCurrentSuite }) {
+  const addTest = (name, fn, options = {}) => {
+    if (typeof fn !== 'function') {
+      throw new Error(`test(${name}) requires a callback`);
+    }
+    getCurrentSuite().tests.push({
+      name,
+      fn,
+      skipped: Boolean(options.skipped)
+    });
+  };
+
+  const testApi = (name, fn) => {
+    addTest(name, fn);
+  };
+
+  testApi.only = testApi;
+  testApi.skip = (name, fn = async () => {}) => {
+    addTest(name, typeof fn === 'function' ? fn : async () => {}, { skipped: true });
+  };
+
+  return wrapEachRunner(testApi, 'test.each', (row, index, name, fn) => {
+    const args = normalizeEachArgs(row);
+    addTest(formatParameterizedName(name, args, index), () => fn(...args));
+  });
+}
+
+function wrapEachRunner(target, apiName, registerRow) {
+  target.each = (rows) => {
+    if (!Array.isArray(rows)) {
+      throw new Error(`${apiName}(...) requires an array of rows`);
+    }
+
+    return (name, fn) => {
+      if (typeof fn !== 'function') {
+        throw new Error(`${apiName}(...)(...) requires a callback`);
+      }
+      rows.forEach((row, index) => {
+        registerRow(row, index, name, fn);
+      });
+    };
+  };
+
+  return target;
+}
+
+function normalizeEachArgs(row) {
+  return Array.isArray(row) ? row : [row];
+}
+
+function formatParameterizedName(name, args, index) {
+  let cursor = 0;
+  const formatted = String(name || '').replace(/%[#sdifjop]/g, (token) => {
+    if (token === '%#') {
+      return String(index);
+    }
+    const value = args[cursor];
+    cursor += 1;
+    if (token === '%j' || token === '%o' || token === '%p') {
+      return stringifyParameterizedValue(value);
+    }
+    return String(value);
+  });
+  return formatted;
+}
+
+function stringifyParameterizedValue(value) {
+  try {
+    return JSON.stringify(value);
+  } catch (error) {
+    return String(value);
+  }
+}
+
 function buildCompatibilityVirtualModules(bindings) {
   return {
     '@jest/globals': () => buildJestGlobals(bindings.api, bindings.testUtils),
@@ -273,6 +375,11 @@ function resolveSetupFiles(setupFiles, cwd) {
 async function runSuite(suite, lineage, results, options) {
   const nextLineage = suite.name === '__root__' ? lineage : [...lineage, suite];
 
+  if (suite.skipped) {
+    pushSkippedSuiteResults(suite, nextLineage, results);
+    return;
+  }
+
   let beforeAllFailed = false;
   for (const hook of suite.hooks.beforeAll) {
     try {
@@ -293,7 +400,7 @@ async function runSuite(suite, lineage, results, options) {
       let beforeEachSucceeded = false;
       const shouldRun = shouldRunTest(testName, options);
 
-      if (!shouldRun) {
+      if (test.skipped || !shouldRun) {
         results.push({
           name: test.name,
           fullName: testName,
@@ -372,6 +479,22 @@ function collectHooks(lineage, kind, reverse) {
   return hooks;
 }
 
+function pushSkippedSuiteResults(suite, lineage, results) {
+  const nextLineage = suite.name === '__root__' ? lineage : [...lineage, suite];
+  for (const test of suite.tests) {
+    results.push({
+      name: test.name,
+      fullName: [...formatLineage(nextLineage), test.name].join(' > '),
+      status: 'skipped',
+      durationMs: 0,
+      error: null
+    });
+  }
+  for (const child of suite.suites) {
+    pushSkippedSuiteResults(child, nextLineage, results);
+  }
+}
+
 function installGlobals(api) {
   const names = [
     'describe',
@@ -390,6 +513,7 @@ function installGlobals(api) {
     'clearAllMocks',
     'resetAllMocks',
     'restoreAllMocks',
+    'resetModules',
     'render',
     'screen',
     'fireEvent',
@@ -426,6 +550,7 @@ function installGlobals(api) {
   global.clearAllMocks = api.clearAllMocks;
   global.resetAllMocks = api.resetAllMocks;
   global.restoreAllMocks = api.restoreAllMocks;
+  global.resetModules = api.resetModules;
   global.render = api.render;
   global.screen = api.screen;
   global.fireEvent = api.fireEvent;