declapract-typescript-ehmpathy 0.49.11 → 0.49.13

package/dist/.test/assets/expo-migration/declarations/practices/tests-any/changedsince-origin-main.declapract.integration.test.ts

@@ -0,0 +1,58 @@
+import { readFileSync } from 'node:fs';
+import { join } from 'node:path';
+
+import { given, then, when } from 'test-fns';
+
+/**
+ * .what = clamps #531: the shipped `test:unit` + `test:integration` commands scope changed-file
+ *         detection against `origin/main`, NEVER bare `main`.
+ * .why  = a local `main` drifts behind the real trunk the moment a teammate merges without a local
+ *         pull, so `--changedSince=main` drags unrelated already-merged suites into scope — the
+ *         exact stale-ref defect #531 names. `origin/main` is the true fork point, so the scope
+ *         holds only this branch's own change.
+ * .teeth = revert either command to `--changedSince=main` in best-practice/package.json and the
+ *          "no bare main" assertion reddens (the emitted `echo '--changedSince=main'` carries the
+ *          `--changedSince=main'` token; the origin form carries `--changedSince=origin/main'`,
+ *          which does NOT contain it).
+ * .note = the subject is the shipped TEMPLATE, read once from __dirname (a single static-file read,
+ *         as the kin `dpdmrc-exclude-policy` / `commitlint-body-max-line` clamps do). this file
+ *         sits at the practice ROOT, so declapract never emits it (per the #583 relocation convention).
+ */
+describe('tests-any changedSince=origin/main policy', () => {
+  given('the shipped best-practice/package.json', () => {
+    const parsed = JSON.parse(
+      readFileSync(join(__dirname, 'best-practice/package.json'), 'utf8'),
+    );
+    const scripts: Record<string, string> = parsed?.scripts ?? {};
+
+    when('the changed-file test commands are read', () => {
+      then('test:unit scopes against origin/main', () => {
+        expect(scripts['test:unit']).toContain('--changedSince=origin/main');
+      });
+
+      then('test:integration scopes against origin/main', () => {
+        expect(scripts['test:integration']).toContain(
+          '--changedSince=origin/main',
+        );
+      });
+
+      then('neither command scopes against a bare local main', () => {
+        // the emitted flag is quoted: `echo '--changedSince=origin/main'`. a bare-main revert
+        // emits `echo '--changedSince=main'`, whose `--changedSince=main'` token the origin form
+        // never carries — so this token is the precise teeth for the drift #531 forbids.
+        const bareMainToken = "--changedSince=main'";
+        expect(scripts['test:unit']).not.toContain(bareMainToken);
+        expect(scripts['test:integration']).not.toContain(bareMainToken);
+      });
+
+      // the emitted commands are the caller-faced contract: snapshot both so a reword that keeps
+      // the origin token green (a re-ordered flag, a reshaped command) reddens a vibecheck.
+      then('the emitted changed-file commands match snapshot', () => {
+        expect({
+          'test:unit': scripts['test:unit'],
+          'test:integration': scripts['test:integration'],
+        }).toMatchSnapshot('tests-any changed-file commands');
+      });
+    });
+  });
+});

package/dist/.test/assets/{expo-toolchain/declarations/practices/tests-any/best-practice → expo-migration/declarations/practices/tests-any}/package.json.shell-flags.declapract.integration.test.ts

@@ -1,5 +1,17 @@
 import { execSync } from 'child_process';
 
+/**
+ * .what = read the whitespace-split arg list out of the stand-in jest echo output.
+ * .why  = a pure transformer that names the `JEST_ARGS: …` decode, so `getJestFlags` reads
+ *         what-not-how rather than an inline regex-match + positional `match[1]` a reader must
+ *         simulate. no output line = an empty arg list.
+ */
+const asArgsFromJestEchoOutput = (input: { output: string }): string[] => {
+  const found = input.output.match(/JEST_ARGS: (.*)/);
+  if (!found) return [];
+  return found[1].split(/\s+/).filter(Boolean);
+};
+
 /**
  * Tests the shell flag expressions used in package.json test commands.
  *
@@ -32,14 +44,14 @@ describe('package.json shell flag expressions', () => {
         cleanEnv[key] = value;
       }
     }
-    // Overlay the test env vars (undefined means unset)
+    // overlay the test env vars (undefined means unset)
     for (const [key, value] of Object.entries(env)) {
       if (value !== undefined) {
         cleanEnv[key] = value;
       }
     }
 
-    // Run the command with jest replaced by echo to capture args
+    // run the command with jest replaced by echo to capture args
     const result = execSync(
       `bash -c 'jest() { echo "JEST_ARGS: $*"; }; ${command}'`,
       {
@@ -52,14 +64,12 @@ describe('package.json shell flag expressions', () => {
       },
     );
 
-    // Extract the jest args from output
-    const match = result.match(/JEST_ARGS: (.*)/);
-    if (!match) return [];
-    return match[1].split(/\s+/).filter(Boolean);
+    // read the jest args out of the stand-in echo output (named, what-not-how)
+    return asArgsFromJestEchoOutput({ output: result });
   };
 
-  // The test:unit command from package.json best-practice
-  const testUnitCommand = `set -eu && jest -c ./jest.unit.config.ts --forceExit --verbose --passWithNoTests $([ -n "\${CI:-}" ] && echo '--ci') $([ "\${THOROUGH:-}" != "true" ] && echo '--changedSince=main') $([ "\${RESNAP:-}" = "true" ] && echo '--updateSnapshot')`;
+  // the test:unit command from package.json best-practice
+  const testUnitCommand = `set -eu && jest -c ./jest.unit.config.ts --forceExit --verbose --passWithNoTests $([ -n "\${CI:-}" ] && echo '--ci') $([ "\${THOROUGH:-}" != "true" ] && echo '--changedSince=origin/main') $([ "\${RESNAP:-}" = "true" ] && echo '--updateSnapshot')`;
 
   describe('RESNAP flag', () => {
     it('should pass --updateSnapshot when RESNAP=true', () => {
@@ -89,24 +99,24 @@ describe('package.json shell flag expressions', () => {
   });
 
   describe('THOROUGH flag', () => {
-    it('should pass --changedSince=main when THOROUGH is unset (run only changed)', () => {
+    it('should pass --changedSince=origin/main when THOROUGH is unset (run only changed)', () => {
       const flags = getJestFlags(testUnitCommand, {});
-      expect(flags).toContain('--changedSince=main');
+      expect(flags).toContain('--changedSince=origin/main');
     });
 
-    it('should pass --changedSince=main when THOROUGH=false', () => {
+    it('should pass --changedSince=origin/main when THOROUGH=false', () => {
       const flags = getJestFlags(testUnitCommand, { THOROUGH: 'false' });
-      expect(flags).toContain('--changedSince=main');
+      expect(flags).toContain('--changedSince=origin/main');
     });
 
-    it('should pass --changedSince=main when THOROUGH is empty string', () => {
+    it('should pass --changedSince=origin/main when THOROUGH is empty string', () => {
       const flags = getJestFlags(testUnitCommand, { THOROUGH: '' });
-      expect(flags).toContain('--changedSince=main');
+      expect(flags).toContain('--changedSince=origin/main');
     });
 
-    it('should not pass --changedSince=main when THOROUGH=true (run all tests)', () => {
+    it('should not pass --changedSince=origin/main when THOROUGH=true (run all tests)', () => {
       const flags = getJestFlags(testUnitCommand, { THOROUGH: 'true' });
-      expect(flags).not.toContain('--changedSince=main');
+      expect(flags).not.toContain('--changedSince=origin/main');
     });
   });
 

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/.declapract.integration.test.ts

@@ -92,11 +92,15 @@ describe('expo test-toolchain triad — pipeline', () => {
         expect(pkg.scripts.build).toEqual('npm run build:web');
       });
 
-      then('package.json carries the typescript + jest-expo deps at concrete versions', () => {
+      then('package.json carries the typescript dep at a concrete version, and the SDK-coupled expo deps gated to the repo majors', () => {
         const pkg = JSON.parse(state.pkgSettled!);
+        // typescript is a plain minVersion floor (tests-any), resolved concrete on pass 2
         expect(pkg.devDependencies.typescript).toEqual('5.4.5');
-        expect(pkg.devDependencies['jest-expo']).toEqual('54.0.0');
-        expect(pkg.devDependencies['react-test-renderer']).toEqual('19.0.0');
+        // jest-expo + react-test-renderer are GATED to the repo's own expo/react majors (#584):
+        // the fixture declares expo ^54 + react ^19, so the gate pins jest-expo to the expo major
+        // and react-test-renderer to the react major (caret, not a fixed pin — the major is the gate)
+        expect(pkg.devDependencies['jest-expo']).toEqual('^54.0.0');
+        expect(pkg.devDependencies['react-test-renderer']).toEqual('^19.0.0');
       });
 
       then('tsconfig.json extends the expo base, not the node base', () => {

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/.test/assets/repo-expo-greenfield/package.json

@@ -1,4 +1,8 @@
 {
   "name": "test-expo-app",
-  "version": "1.0.0"
+  "version": "1.0.0",
+  "dependencies": {
+    "expo": "^54.0.0",
+    "react": "^19.0.0"
+  }
 }

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/__snapshots__/.declapract.integration.test.ts.snap

@@ -48,6 +48,11 @@ const config: Config = {
   ],
   setupFilesAfterEnv: ['./jest.unit.env.ts'],
 
+  // reclaim every temp dir genTempDir made this run (test-fns autoprune). jest needs BOTH keys;
+  // one without the other stamps and never reclaims.
+  globalSetup: 'test-fns/autoprune.setup.jest',
+  globalTeardown: 'test-fns/autoprune.teardown.jest',
+
   // use 50% of threads to leave headroom for other processes
   maxWorkers: '50%', // https://stackoverflow.com/questions/71287710/why-does-jest-run-faster-with-maxworkers-50
 };
@@ -61,23 +66,27 @@ exports[`expo test-toolchain triad — pipeline given: [case1] a fresh expo repo
 "{
   "name": "test-expo-app",
   "version": "1.0.0",
+  "dependencies": {
+    "expo": "^54.0.0",
+    "react": "^19.0.0"
+  },
   "devDependencies": {
     "@jest/globals": "30.2.0",
     "@types/jest": "30.0.0",
     "jest": "30.2.0",
     "esbuild-register": "3.6.0",
-    "test-fns": "1.15.8",
+    "test-fns": "1.17.0",
     "tsx": "4.20.6",
-    "jest-expo": "54.0.0",
-    "@babel/core": "7.24.0",
-    "babel-preset-expo": "12.0.0",
-    "react-test-renderer": "19.0.0",
-    "isomorphic-fetch": "3.0.0",
+    "jest-expo": "^54.0.0",
+    "react-test-renderer": "^19.0.0",
+    "@babel/core": "^7.24.0",
+    "babel-preset-expo": "^12.0.0",
+    "isomorphic-fetch": "^3.0.0",
     "typescript": "5.4.5"
   },
   "scripts": {
-    "test:unit": "set -eu && jest -c ./jest.unit.config.ts --forceExit --verbose --passWithNoTests $([ -n \\"\${CI:-}\\" ] && echo '--ci') $([ \\"\${THOROUGH:-}\\" != \\"true\\" ] && echo '--changedSince=main') $([ \\"\${RESNAP:-}\\" = \\"true\\" ] && echo '--updateSnapshot')",
-    "test:integration": "set -eu && jest -c ./jest.integration.config.ts --forceExit --verbose --passWithNoTests $([ -n \\"\${CI:-}\\" ] && echo '--ci') $([ \\"\${THOROUGH:-}\\" != \\"true\\" ] && echo '--changedSince=main') $([ \\"\${RESNAP:-}\\" = \\"true\\" ] && echo '--updateSnapshot')",
+    "test:unit": "set -eu && jest -c ./jest.unit.config.ts --forceExit --verbose --passWithNoTests $([ -n \\"\${CI:-}\\" ] && echo '--ci') $([ \\"\${THOROUGH:-}\\" != \\"true\\" ] && echo '--changedSince=origin/main') $([ \\"\${RESNAP:-}\\" = \\"true\\" ] && echo '--updateSnapshot')",
+    "test:integration": "set -eu && jest -c ./jest.integration.config.ts --forceExit --verbose --passWithNoTests $([ -n \\"\${CI:-}\\" ] && echo '--ci') $([ \\"\${THOROUGH:-}\\" != \\"true\\" ] && echo '--changedSince=origin/main') $([ \\"\${RESNAP:-}\\" = \\"true\\" ] && echo '--updateSnapshot')",
     "test:acceptance:locally": "set -eu && npm run build && LOCALLY=true jest -c ./jest.acceptance.config.ts --forceExit --verbose --runInBand --passWithNoTests $([ \\"\${RESNAP:-}\\" = \\"true\\" ] && echo '--updateSnapshot')",
     "test": "set -eu && npm run test:commits && npm run test:types && npm run test:format && npm run test:lint && npm run test:unit && npm run test:integration && npm run test:acceptance:locally",
     "test:acceptance": "set -eu && npm run build && jest -c ./jest.acceptance.config.ts --forceExit --verbose --runInBand --passWithNoTests $([ -n \\"\${CI:-}\\" ] && echo '--ci') $([ \\"\${RESNAP:-}\\" = \\"true\\" ] && echo '--updateSnapshot')",

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/__snapshots__/package.json.declapract.integration.test.ts.snap

@@ -0,0 +1,60 @@
+// Jest Snapshot v1, https://jestjs.io/docs/snapshot-testing
+
+exports[`tests-expo package.json — pipeline gate on the repo expo/react major given: [case1] an expo-51 / react-18 repo seeded with a react-19-era jest-expo 54 the gate aligns down to the expo major (51) when: [t0] the tests-expo gate is applied to the seeded package.json then: before + after match snapshot: package.json — after gate 1`] = `
+"{
+  "name": "app-protools-shaped",
+  "version": "1.0.0",
+  "packageManager": "pnpm@10.32.1",
+  "scripts": {
+    "install:deps": "npm install",
+    "start": "expo start"
+  },
+  "overrides": {
+    "type-fns": "1.9.9"
+  },
+  "resolutions": {
+    "@commitlint/format": "19.9.9"
+  },
+  "devDependencies": {
+    "expo": "~51.0.0",
+    "react": "18.2.0",
+    "jest-expo": "^51.0.0",
+    "react-test-renderer": "^18.0.0",
+    "babel-preset-expo": "^12.0.0",
+    "isomorphic-fetch": "^3.0.0",
+    "@babel/core": "^7.24.0"
+  }
+}
+"
+`;
+
+exports[`tests-expo package.json — pipeline gate on the repo expo/react major given: [case1] an expo-51 / react-18 repo seeded with a react-19-era jest-expo 54 the gate aligns down to the expo major (51) when: [t0] the tests-expo gate is applied to the seeded package.json then: before + after match snapshot: package.json — before 1`] = `
+"{
+  "name": "app-protools-shaped",
+  "version": "1.0.0",
+  "packageManager": "pnpm@10.32.1",
+  "scripts": {
+    "install:deps": "npm install",
+    "start": "expo start"
+  },
+  "overrides": {
+    "type-fns": "1.9.9"
+  },
+  "resolutions": {
+    "@commitlint/format": "19.9.9"
+  },
+  "jest": {
+    "preset": "jest-expo",
+    "testEnvironment": "jsdom"
+  },
+  "devDependencies": {
+    "expo": "~51.0.0",
+    "react": "18.2.0",
+    "jest-expo": "^54.0.0",
+    "react-test-renderer": "^19.0.0",
+    "babel-preset-expo": "^12.0.0",
+    "isomorphic-fetch": "^3.0.0"
+  }
+}
+"
+`;

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/best-practice/jest.acceptance.config.ts

@@ -35,6 +35,11 @@ const config: Config = {
   testMatch: ['**/*.acceptance.test.{ts,tsx}', '!**/.agent/.cache/**', '!**/.yalc/**'],
   setupFilesAfterEnv: ['./jest.acceptance.env.ts'],
 
+  // reclaim every temp dir genTempDir made this run (test-fns autoprune). jest needs BOTH keys;
+  // one without the other stamps and never reclaims.
+  globalSetup: 'test-fns/autoprune.setup.jest',
+  globalTeardown: 'test-fns/autoprune.teardown.jest',
+
   // use 50% of threads to leave headroom for other processes
   maxWorkers: '50%', // https://stackoverflow.com/questions/71287710/why-does-jest-run-faster-with-maxworkers-50
 };

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/best-practice/jest.integration.config.ts

@@ -34,6 +34,11 @@ const config: Config = {
   testMatch: ['**/*.integration.test.{ts,tsx}', '!**/.agent/.cache/**', '!**/.yalc/**'],
   setupFilesAfterEnv: ['./jest.integration.env.ts'],
 
+  // reclaim every temp dir genTempDir made this run (test-fns autoprune). jest needs BOTH keys;
+  // one without the other stamps and never reclaims.
+  globalSetup: 'test-fns/autoprune.setup.jest',
+  globalTeardown: 'test-fns/autoprune.teardown.jest',
+
   // use 50% of threads to leave headroom for other processes
   maxWorkers: '50%', // https://stackoverflow.com/questions/71287710/why-does-jest-run-faster-with-maxworkers-50
 };

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/best-practice/jest.integration.env.ts

@@ -1,6 +1,7 @@
 import util from 'node:util';
 
 import { jest } from '@jest/globals';
+import { ConstraintError } from 'helpful-errors';
 
 // provide fetch for the test env, like the browser/native runtime does
 import 'isomorphic-fetch';
@@ -19,4 +20,7 @@ util.inspect.defaultOptions.depth = 5;
  * .why = prevent prod state pollution + financial mutations from test data
  */
 if (process.env.NODE_ENV !== 'test' && process.env.I_KNOW_THE_RISKS !== 'true')
-  throw new Error(`integration-test does not target stage 'test'`);
+  throw new ConstraintError(
+    `integration.test config must be 'test' — set NODE_ENV=test (or I_KNOW_THE_RISKS=true to override)`,
+    { nodeEnv: process.env.NODE_ENV ?? null },
+  );

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/best-practice/jest.unit.config.ts

@@ -45,6 +45,11 @@ const config: Config = {
   ],
   setupFilesAfterEnv: ['./jest.unit.env.ts'],
 
+  // reclaim every temp dir genTempDir made this run (test-fns autoprune). jest needs BOTH keys;
+  // one without the other stamps and never reclaims.
+  globalSetup: 'test-fns/autoprune.setup.jest',
+  globalTeardown: 'test-fns/autoprune.teardown.jest',
+
   // use 50% of threads to leave headroom for other processes
   maxWorkers: '50%', // https://stackoverflow.com/questions/71287710/why-does-jest-run-faster-with-maxworkers-50
 };

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/best-practice/jest.unit.env.ts

@@ -1,5 +1,7 @@
 import util from 'node:util';
 
+import { ConstraintError } from 'helpful-errors';
+
 // provide fetch for the test env, like the browser/native runtime does
 import 'isomorphic-fetch';
 
@@ -15,4 +17,7 @@ util.inspect.defaultOptions.depth = 5;
  * .why = prevent prod state pollution + financial mutations from test data
  */
 if (process.env.NODE_ENV !== 'test' && process.env.I_KNOW_THE_RISKS !== 'true')
-  throw new Error(`unit-test does not target stage 'test'`);
+  throw new ConstraintError(
+    `unit.test config must be 'test' — set NODE_ENV=test (or I_KNOW_THE_RISKS=true to override)`,
+    { nodeEnv: process.env.NODE_ENV ?? null },
+  );

package/dist/.test/assets/expo-migration/declarations/practices/tests-expo/best-practice/package.json.declapract.ts

@@ -1,16 +1,193 @@
-import { FileCheckType } from 'declapract';
+import type { FileCheckFunction, FileFixFunction } from 'declapract';
+import { ConstraintError } from 'helpful-errors';
+
+import { asPackageJSON } from '../../../utils/asPackageJSON';
 
 /**
- * .what = the expo half of the tests triad: the jest-expo transform stack that
- *         replaces node's `@swc/jest`.
- * .why  = an expo app's tests must transform react-native + expo ESM through
- *         babel-preset-expo (metro's transform), which jest-expo wires up. these deps
- *         track the installed expo SDK major (jest-expo 54 pairs with expo 54), so the
- *         floors are minima, not pins — a repo on a newer SDK bumps them.
- *
- * .caveat = these versions are SDK-coupled and un-validatable without a live expo repo;
- *           the emit is proven at the declapract-emit bar (the integration test), the
- *           live jest-expo run is proven against a real expo repo per the wisher's
- *           accepted validation bar for this fork.
+ * .what = the expo half of the tests triad: the jest-expo transform stack that replaces
+ *         node's `@swc/jest`. this check GATES the SDK-coupled majors on the repo's OWN
+ *         expo + react majors, rather than floor them at a fixed baseline.
+ * .why  = jest-expo's preset pokes react internals of the SDK it targets. a fixed
+ *         `minVersion('54.0.0')` floor forces jest-expo 54 (a react-19-era preset) onto an
+ *         expo-51 / react-18 repo, and every unit suite throws
+ *         `TypeError: Object.defineProperty called on non-object` at jest-expo's preset setup
+ *         (#584 / defect D1). the two crashing deps each track a major 1:1:
+ *           - jest-expo major  == expo major  (jest-expo 54 pairs with expo 54)
+ *           - react-test-renderer major == react major (rtr ships lockstep with react)
+ *         so the gate reads the repo's OWN expo + react majors and requires a match — which
+ *         holds jest-expo at 51 on an expo-51 repo and at 54 on an expo-54 repo, with no
+ *         version table to rot as new SDKs ship.
+ * .note = @babel/core + babel-preset-expo + isomorphic-fetch stay MINIMA (not the crash; each a
+ *         plain floor the pre-gate template already declared). babel-preset-expo also tracks the
+ *         SDK, but backward-compatibly; its floor is left as a residual — see .deliver/584.md.
+ * .note = a repo with no `expo` dep is not an expo repo in a gate-able state; the check passes
+ *         (returns) rather than flags, so a non-expo package.json is never falsely reddened.
  */
-export const check = FileCheckType.CONTAINS;
+
+const BABEL_CORE_MIN = { major: 7, minor: 24, patch: 0 };
+const BABEL_PRESET_EXPO_MIN = { major: 12, minor: 0, patch: 0 };
+const ISOMORPHIC_FETCH_MIN = { major: 3, minor: 0, patch: 0 };
+
+interface SemverTriple {
+  major: number;
+  minor: number;
+  patch: number;
+}
+
+/** parse the leading `major.minor.patch` out of a semver range (`^54.0.0`, `~19.1.2`, `>=3.0.0`). */
+const parseVersionTriple = (range: string | undefined): SemverTriple | null => {
+  if (!range) return null;
+  const match = range.match(/(\d+)\.(\d+)\.(\d+)/);
+  if (!match) return null;
+  return {
+    major: Number(match[1]),
+    minor: Number(match[2]),
+    patch: Number(match[3]),
+  };
+};
+
+const majorOf = (range: string | undefined): number | null =>
+  parseVersionTriple(range)?.major ?? null;
+
+const meetsMinimum = (
+  range: string | undefined,
+  min: SemverTriple,
+): boolean => {
+  const found = parseVersionTriple(range);
+  if (!found) return false;
+  if (found.major !== min.major) return found.major > min.major;
+  if (found.minor !== min.minor) return found.minor > min.minor;
+  return found.patch >= min.patch;
+};
+
+/** the subset of a package.json this declaration reads + rewrites (dep maps), typed rather than `any`. */
+interface PackageJSON {
+  dependencies?: Record<string, string>;
+  devDependencies?: Record<string, string>;
+  [key: string]: unknown;
+}
+
+const getAllDeps = (packageJSON: PackageJSON): Record<string, string> => ({
+  ...(packageJSON.dependencies ?? {}),
+  ...(packageJSON.devDependencies ?? {}),
+});
+
+export const check: FileCheckFunction = (contents) => {
+  // no file → no gate to enforce; a best-practice check passes (returns) when clean
+  if (!contents) return;
+
+  const packageJSON: PackageJSON = asPackageJSON(
+    { contents },
+    {
+      practice: 'tests-expo',
+    },
+  );
+  const deps = getAllDeps(packageJSON);
+
+  // a repo with no `expo` dep is not an expo repo in a gate-able state — do not flag it
+  const expoMajor = majorOf(deps.expo);
+  if (expoMajor === null) return;
+
+  // jest-expo major must MATCH the repo's expo major (jest-expo tracks the SDK 1:1)
+  const jestExpoMajor = majorOf(deps['jest-expo']);
+  if (jestExpoMajor !== expoMajor)
+    throw new ConstraintError(
+      `jest-expo major (${jestExpoMajor}) must match the repo's expo major (${expoMajor}) — run \`declapract apply\` to pin jest-expo to ^${expoMajor}.0.0`,
+      { found: jestExpoMajor, required: expoMajor, dep: 'jest-expo' },
+    );
+
+  // react-test-renderer major must MATCH the repo's react major (rtr ships lockstep with react)
+  const reactMajor = majorOf(deps.react);
+  if (reactMajor !== null) {
+    const rtrMajor = majorOf(deps['react-test-renderer']);
+    if (rtrMajor !== reactMajor)
+      throw new ConstraintError(
+        `react-test-renderer major (${rtrMajor}) must match the repo's react major (${reactMajor}) — run \`declapract apply\` to pin react-test-renderer to ^${reactMajor}.0.0`,
+        { found: rtrMajor, required: reactMajor, dep: 'react-test-renderer' },
+      );
+  }
+
+  // @babel/core + babel-preset-expo + isomorphic-fetch stay MINIMA (not the crash; a plain
+  // floor, exactly as the pre-gate template declared each of the three)
+  if (!meetsMinimum(deps['@babel/core'], BABEL_CORE_MIN))
+    throw new ConstraintError(
+      '@babel/core must be >= 7.24.0 — run `declapract apply` to raise it',
+      {
+        found: deps['@babel/core'] ?? null,
+        required: '7.24.0',
+        dep: '@babel/core',
+      },
+    );
+  if (!meetsMinimum(deps['babel-preset-expo'], BABEL_PRESET_EXPO_MIN))
+    throw new ConstraintError(
+      'babel-preset-expo must be >= 12.0.0 — run `declapract apply` to raise it',
+      {
+        found: deps['babel-preset-expo'] ?? null,
+        required: '12.0.0',
+        dep: 'babel-preset-expo',
+      },
+    );
+  if (!meetsMinimum(deps['isomorphic-fetch'], ISOMORPHIC_FETCH_MIN))
+    throw new ConstraintError(
+      'isomorphic-fetch must be >= 3.0.0 — run `declapract apply` to raise it',
+      {
+        found: deps['isomorphic-fetch'] ?? null,
+        required: '3.0.0',
+        dep: 'isomorphic-fetch',
+      },
+    );
+
+  // all gates satisfied
+  return;
+};
+
+export const fix: FileFixFunction = (contents) => {
+  if (!contents) return { contents };
+
+  const packageJSON: PackageJSON = asPackageJSON(
+    { contents },
+    {
+      practice: 'tests-expo',
+    },
+  );
+  const deps = getAllDeps(packageJSON);
+  const expoMajor = majorOf(deps.expo);
+
+  // no expo dep → not a gate-able expo repo; leave untouched
+  if (expoMajor === null) return { contents };
+
+  const devDependencies = { ...(packageJSON.devDependencies ?? {}) };
+  const dependencies = { ...(packageJSON.dependencies ?? {}) };
+
+  // jest-expo + react-test-renderer are test-time deps that belong in devDependencies ALONE. pin
+  // them there AND delete any copy under `dependencies` — else the merged getAllDeps check (dev
+  // wins) reads green while npm installs ONE version and a stale `dependencies` copy at a conflicting
+  // major can win at install time (the two-section version conflict r006.b1 forbids). the sibling
+  // dep declarations (logs/leveled-term, rhachet/prod-deps) strip from both sections for the same reason.
+  devDependencies['jest-expo'] = `^${expoMajor}.0.0`;
+  delete dependencies['jest-expo'];
+
+  // pin react-test-renderer to the repo's react major, when a react dep is present
+  const reactMajor = majorOf(deps.react);
+  if (reactMajor !== null) {
+    devDependencies['react-test-renderer'] = `^${reactMajor}.0.0`;
+    delete dependencies['react-test-renderer'];
+  }
+
+  // raise @babel/core + babel-preset-expo + isomorphic-fetch to their minima when below
+  if (!meetsMinimum(deps['@babel/core'], BABEL_CORE_MIN))
+    devDependencies['@babel/core'] = '^7.24.0';
+  if (!meetsMinimum(deps['babel-preset-expo'], BABEL_PRESET_EXPO_MIN))
+    devDependencies['babel-preset-expo'] = '^12.0.0';
+  if (!meetsMinimum(deps['isomorphic-fetch'], ISOMORPHIC_FETCH_MIN))
+    devDependencies['isomorphic-fetch'] = '^3.0.0';
+
+  // preserve each section's presence: rewrite `dependencies` ONLY when the manifest already declared
+  // one (so a repo with no prod deps never gains an empty `dependencies: {}` it did not have).
+  const result: PackageJSON = { ...packageJSON, devDependencies };
+  if (packageJSON.dependencies) result.dependencies = dependencies;
+
+  return {
+    contents: JSON.stringify(result, null, 2),
+  };
+};