@vyuhlabs/dxkit 2.22.0 → 2.24.0

package/dist/uninstall/reversals.js

@@ -0,0 +1,202 @@
+"use strict";
+/**
+ * Pure reversals for dxkit's additive merges — the inverse of each installer's
+ * merge into a PRE-EXISTING user file. Each takes the current file content and
+ * returns the content with ONLY dxkit's additions removed, preserving the
+ * user's own lines/keys byte-for-byte. These are the load-bearing functions for
+ * the uninstall feature's primary guarantee: restore the pre-dxkit state.
+ *
+ * The markers are imported from the installer modules (not re-declared), so a
+ * marker change breaks install and uninstall together (recipe symmetry).
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.STEALTH_HEADER = void 0;
+exports.stripGitignoreBlock = stripGitignoreBlock;
+exports.stripAllGitignoreBlocks = stripAllGitignoreBlocks;
+exports.stripClaudeLoopBlock = stripClaudeLoopBlock;
+exports.stripSettingsDxkit = stripSettingsDxkit;
+exports.stripPackageJsonDxkit = stripPackageJsonDxkit;
+const ship_installers_1 = require("../ship-installers");
+const scaffold_1 = require("../loop/scaffold");
+// ─── .gitignore ─────────────────────────────────────────────────────────────
+/** Stealth-mode header (mirrors `STEALTH_HEADER` in cli.ts; kept as a literal
+ *  here to avoid importing the CLI entry module). */
+exports.STEALTH_HEADER = '# dxkit (stealth mode — local only, not committed)';
+/**
+ * Remove a dxkit block from `.gitignore`. The installer writes each block as
+ * `\n<HEADER>\n<entries…>\n` (a header line followed by its entries, up to the
+ * next blank line or EOF). We strip from the header line through the run of
+ * non-blank lines that follows it, leaving every other line — including the
+ * user's own entries — untouched.
+ */
+function stripGitignoreBlock(content, header) {
+    const lines = content.split('\n');
+    const out = [];
+    let changed = false;
+    for (let i = 0; i < lines.length; i++) {
+        if (lines[i].trim() === header) {
+            changed = true;
+            // Skip the header and the contiguous non-blank entry lines under it.
+            i++;
+            while (i < lines.length && lines[i].trim() !== '')
+                i++;
+            // `i` now points at the blank line (or EOF); the for-loop's i++ consumes
+            // that blank separator so we don't leave a double blank behind.
+            continue;
+        }
+        out.push(lines[i]);
+    }
+    if (!changed)
+        return { changed: false, content };
+    // Collapse a leading blank the block may have left, and trailing blanks.
+    let result = out
+        .join('\n')
+        .replace(/^\n+/, '')
+        .replace(/\n{3,}/g, '\n\n');
+    if (result.trim() === '')
+        result = '';
+    return { changed: true, content: result };
+}
+/** Strip both the runtime-outputs block and the stealth block from `.gitignore`. */
+function stripAllGitignoreBlocks(content) {
+    const a = stripGitignoreBlock(content, ship_installers_1.GITIGNORE_HEADER);
+    const b = stripGitignoreBlock(a.content, exports.STEALTH_HEADER);
+    return { changed: a.changed || b.changed, content: b.content };
+}
+// ─── CLAUDE.md (loop block) ─────────────────────────────────────────────────
+/**
+ * Remove the dxkit loop block delimited by `<!-- dxkit:loop:start -->` …
+ * `<!-- dxkit:loop:end -->` from `CLAUDE.md`, including the sentinels and the
+ * surrounding blank lines the installer added. Everything else is preserved.
+ */
+function stripClaudeLoopBlock(content) {
+    const start = content.indexOf(scaffold_1.CLAUDE_BLOCK_START);
+    const end = content.indexOf(scaffold_1.CLAUDE_BLOCK_END);
+    if (start === -1 || end === -1 || end < start)
+        return { changed: false, content };
+    const before = content.slice(0, start);
+    const after = content.slice(end + scaffold_1.CLAUDE_BLOCK_END.length);
+    // Join, collapsing the blank lines the block was fenced with.
+    let result = (before.replace(/\n+$/, '') + '\n' + after.replace(/^\n+/, '')).trim();
+    result = result === '' ? '' : result + '\n';
+    return { changed: true, content: result };
+}
+/**
+ * Remove dxkit's contributions from a parsed `settings.json`:
+ *   - the Stop hook whose command invokes `hook stop-gate` (loop gate),
+ *   - the PreToolUse hook whose command invokes `context-hook` (passive graph).
+ * Empty `hooks.Stop` / `hooks.PreToolUse` arrays and an empty `hooks` object are
+ * pruned. The user's other hooks, permissions, and keys are preserved.
+ *
+ * `dxkitCreated` (the file is in the manifest) additionally strips the
+ * dxkit-authored permission block and reports `content: '{}'`-equivalent
+ * emptiness via `isDxkitOnly` so the caller can delete the file outright.
+ */
+function stripSettingsDxkit(parsed, opts = { dxkitCreated: false }) {
+    let changed = false;
+    const obj = { ...parsed };
+    const hooks = obj.hooks;
+    if (hooks && typeof hooks === 'object') {
+        const nextHooks = { ...hooks };
+        for (const [event, matchRe] of [
+            ['Stop', /hook\s+stop-gate/],
+            ['PreToolUse', /context-hook/],
+        ]) {
+            const arr = nextHooks[event];
+            if (Array.isArray(arr)) {
+                const kept = arr.filter((entry) => !entryInvokes(entry, matchRe));
+                if (kept.length !== arr.length)
+                    changed = true;
+                if (kept.length === 0)
+                    delete nextHooks[event];
+                else
+                    nextHooks[event] = kept;
+            }
+        }
+        if (Object.keys(nextHooks).length === 0)
+            delete obj.hooks;
+        else
+            obj.hooks = nextHooks;
+    }
+    // When dxkit created the file, its permission block + $schema are dxkit's too.
+    // Drop them so the emptiness check can decide the file is deletable.
+    if (opts.dxkitCreated) {
+        if ('permissions' in obj) {
+            delete obj.permissions;
+            changed = true;
+        }
+        if ('$schema' in obj)
+            delete obj.$schema;
+    }
+    const isDxkitOnly = Object.keys(obj).length === 0;
+    return { changed, result: obj, isDxkitOnly };
+}
+/** Does a hook-group entry (`{matcher?, hooks:[{command}]}` or `{command}`)
+ *  invoke a command matching `re`? */
+function entryInvokes(entry, re) {
+    if (!entry || typeof entry !== 'object')
+        return false;
+    const e = entry;
+    if (typeof e.command === 'string' && re.test(e.command))
+        return true;
+    if (Array.isArray(e.hooks)) {
+        return e.hooks.some((h) => h &&
+            typeof h === 'object' &&
+            typeof h.command === 'string' &&
+            re.test(h.command));
+    }
+    return false;
+}
+// ─── package.json ───────────────────────────────────────────────────────────
+/**
+ * Remove dxkit's contributions from a parsed `package.json`:
+ *   - the `@vyuhlabs/dxkit` devDependency,
+ *   - the `vyuh-dxkit hooks activate` postinstall (trimming a chained ` && …`
+ *     suffix, or dropping the whole `postinstall` key when it was the sole cmd).
+ * Nothing else is touched. Returns which pieces were removed for reporting.
+ */
+function stripPackageJsonDxkit(parsed) {
+    const obj = { ...parsed };
+    let removedDevDep = false;
+    let removedPostinstall = false;
+    const dev = obj.devDependencies;
+    if (dev && typeof dev === 'object' && ship_installers_1.DXKIT_PACKAGE in dev) {
+        const nextDev = { ...dev };
+        delete nextDev[ship_installers_1.DXKIT_PACKAGE];
+        removedDevDep = true;
+        if (Object.keys(nextDev).length === 0)
+            delete obj.devDependencies;
+        else
+            obj.devDependencies = nextDev;
+    }
+    const scripts = obj.scripts;
+    if (scripts && typeof scripts === 'object' && typeof scripts.postinstall === 'string') {
+        const cmd = scripts.postinstall;
+        if (cmd.includes(ship_installers_1.POSTINSTALL_CMD)) {
+            const nextScripts = { ...scripts };
+            const trimmed = cmd
+                .replace(new RegExp(`\\s*&&\\s*${escapeRe(ship_installers_1.POSTINSTALL_CMD)}`), '') // chained suffix
+                .replace(new RegExp(`${escapeRe(ship_installers_1.POSTINSTALL_CMD)}\\s*&&\\s*`), '') // chained prefix
+                .trim();
+            if (trimmed === '' || trimmed === ship_installers_1.POSTINSTALL_CMD)
+                delete nextScripts.postinstall;
+            else
+                nextScripts.postinstall = trimmed;
+            if (Object.keys(nextScripts).length === 0)
+                delete obj.scripts;
+            else
+                obj.scripts = nextScripts;
+            removedPostinstall = true;
+        }
+    }
+    return {
+        changed: removedDevDep || removedPostinstall,
+        result: obj,
+        removedDevDep,
+        removedPostinstall,
+    };
+}
+function escapeRe(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+//# sourceMappingURL=reversals.js.map

package/dist/uninstall/reversals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reversals.js","sourceRoot":"","sources":["../../src/uninstall/reversals.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AA0BH,kDAwBC;AAGD,0DAIC;AASD,oDAUC;AAiBD,gDAsCC;AA6BD,sDA0CC;AAxMD,wDAAsF;AACtF,+CAAwE;AAUxE,+EAA+E;AAE/E;qDACqD;AACxC,QAAA,cAAc,GAAG,oDAAoD,CAAC;AAEnF;;;;;;GAMG;AACH,SAAgB,mBAAmB,CAAC,OAAe,EAAE,MAAc;IACjE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;YAC/B,OAAO,GAAG,IAAI,CAAC;YACf,qEAAqE;YACrE,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,CAAC,EAAE,CAAC;YACvD,yEAAyE;YACzE,gEAAgE;YAChE,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACjD,yEAAyE;IACzE,IAAI,MAAM,GAAG,GAAG;SACb,IAAI,CAAC,IAAI,CAAC;SACV,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,GAAG,EAAE,CAAC;IACtC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,oFAAoF;AACpF,SAAgB,uBAAuB,CAAC,OAAe;IACrD,MAAM,CAAC,GAAG,mBAAmB,CAAC,OAAO,EAAE,kCAAgB,CAAC,CAAC;IACzD,MAAM,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,sBAAc,CAAC,CAAC;IACzD,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;AACjE,CAAC;AAED,+EAA+E;AAE/E;;;;GAIG;AACH,SAAgB,oBAAoB,CAAC,OAAe;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,6BAAkB,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,2BAAgB,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAClF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,2BAAgB,CAAC,MAAM,CAAC,CAAC;IAC3D,8DAA8D;IAC9D,IAAI,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACpF,MAAM,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;IAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAMD;;;;;;;;;;GAUG;AACH,SAAgB,kBAAkB,CAChC,MAAkB,EAClB,OAAkC,EAAE,YAAY,EAAE,KAAK,EAAE;IAEzD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,GAAG,GAAe,EAAE,GAAG,MAAM,EAAE,CAAC;IAEtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAA+B,CAAC;IAClD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,SAAS,GAAe,EAAE,GAAG,KAAK,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI;YAC7B,CAAC,MAAM,EAAE,kBAAkB,CAAC;YAC5B,CAAC,YAAY,EAAE,cAAc,CAAC;SACtB,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;gBAClE,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM;oBAAE,OAAO,GAAG,IAAI,CAAC;gBAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC;;oBAC1C,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;YAC/B,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,CAAC,KAAK,CAAC;;YACrD,GAAG,CAAC,KAAK,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,+EAA+E;IAC/E,qEAAqE;IACrE,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,IAAI,aAAa,IAAI,GAAG,EAAE,CAAC;YACzB,OAAO,GAAG,CAAC,WAAW,CAAC;YACvB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,IAAI,SAAS,IAAI,GAAG;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC3C,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IAClD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC/C,CAAC;AAED;sCACsC;AACtC,SAAS,YAAY,CAAC,KAAc,EAAE,EAAU;IAC9C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,CAAC,GAAG,KAAmB,CAAC;IAC9B,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC;YACD,OAAO,CAAC,KAAK,QAAQ;YACrB,OAAQ,CAAgB,CAAC,OAAO,KAAK,QAAQ;YAC7C,EAAE,CAAC,IAAI,CAAE,CAAgB,CAAC,OAAiB,CAAC,CAC/C,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAE/E;;;;;;GAMG;AACH,SAAgB,qBAAqB,CAAC,MAAkB;IAMtD,MAAM,GAAG,GAAe,EAAE,GAAG,MAAM,EAAE,CAAC;IACtC,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAE/B,MAAM,GAAG,GAAG,GAAG,CAAC,eAAyC,CAAC;IAC1D,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,+BAAa,IAAI,GAAG,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC;QAC3B,OAAO,OAAO,CAAC,+BAAa,CAAC,CAAC;QAC9B,aAAa,GAAG,IAAI,CAAC;QACrB,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,CAAC,eAAe,CAAC;;YAC7D,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC;IACrC,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,OAAiC,CAAC;IACtD,IAAI,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QACtF,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC;QAChC,IAAI,GAAG,CAAC,QAAQ,CAAC,iCAAe,CAAC,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,GAAG;iBAChB,OAAO,CAAC,IAAI,MAAM,CAAC,aAAa,QAAQ,CAAC,iCAAe,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB;iBACnF,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,iCAAe,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB;iBACnF,IAAI,EAAE,CAAC;YACV,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,iCAAe;gBAAE,OAAO,WAAW,CAAC,WAAW,CAAC;;gBAC7E,WAAW,CAAC,WAAW,GAAG,OAAO,CAAC;YACvC,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC,OAAO,CAAC;;gBACzD,GAAG,CAAC,OAAO,GAAG,WAAW,CAAC;YAC/B,kBAAkB,GAAG,IAAI,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,aAAa,IAAI,kBAAkB;QAC5C,MAAM,EAAE,GAAG;QACX,aAAa;QACb,kBAAkB;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vyuhlabs/dxkit",
-  "version": "2.22.0",
+  "version": "2.24.0",
   "description": "A deterministic stop condition and code-graph context layer for AI coding agents: gives agents a code graph to make changes, then blocks only net-new detector-backed regressions at the stop boundary, with no model in the gate.",
   "license": "MIT",
   "author": "Vyuh Labs",

package/templates/.claude/skills/dxkit-uninstall/SKILL.md

@@ -0,0 +1,55 @@
+---
+name: dxkit-uninstall
+description: Cleanly and non-intrusively remove dxkit from a repo, restoring its exact pre-dxkit state — reverse every additive merge (settings.json, CLAUDE.md, .gitignore, package.json), delete every file dxkit created, and clean up hooks + CI + the .dxkit/ tree. Dry-run first. Use when the user says "remove dxkit", "uninstall dxkit", "get rid of dxkit", "clean up dxkit from this repo", "how do I undo dxkit init", or wants to stop using dxkit.
+---
+
+# dxkit-uninstall
+
+This skill owns **removing dxkit** from a repo. Its one guarantee: after uninstall, the repo is back to its **exact pre-dxkit state** — every file dxkit created is gone, and every additive change dxkit made to a file you already had is reversed, leaving your own content byte-for-byte intact.
+
+## What it removes vs reverts
+
+dxkit's footprint falls into two kinds, handled differently:
+
+- **Files dxkit created** (they didn't exist before): `.dxkit/`, the `dxkit-*` skills under `.claude/`, `AGENTS.md`, the git hooks in `.githooks/`, the `dxkit-*` GitHub workflows, `.dxkit-ignore`, and `.vyuh-dxkit.json`. These are **removed** outright.
+- **Additive merges into files you already had**: the `.gitignore` runtime-output block, the `CLAUDE.md` loop block (between `<!-- dxkit:loop:start -->` / `end -->`), the `.claude/settings.json` hooks (`context-hook` / `stop-gate`), and the `package.json` `@vyuhlabs/dxkit` devDependency + postinstall. These are **surgically reverted** — only dxkit's additions are stripped; your keys, prose, and formatting are preserved.
+
+It knows exactly what is dxkit's because `init` recorded a manifest (`.vyuh-dxkit.json`) with a hash of every created file. A dxkit-created file you have since **edited** is surfaced and **skipped** (not clobbered) unless you pass `--force`.
+
+## How to run it
+
+```bash
+# 1. Dry run FIRST (default) — prints exactly what will be removed/reverted,
+#    changes nothing.
+npx vyuh-dxkit uninstall
+
+# 2. Apply it.
+npx vyuh-dxkit uninstall --yes
+```
+
+Useful flags:
+
+- `--remove-devdep` — also remove the `@vyuhlabs/dxkit` devDependency + postinstall from `package.json` (kept by default so a lockfile install doesn't break mid-cleanup; run `npm install` afterward if you use it).
+- `--keep-baselines` — keep the curated, git-tracked artifacts (`.dxkit/baselines/`, the allowlist, `.dxkit/external/`) and remove only the runtime state. Use this if you want to pause dxkit but keep your grandfathered debt inventory.
+- `--force` — also remove dxkit-created files you have edited (default: skip + warn).
+- `--no-feedback` — skip the feedback prompt.
+- `--json` — machine-readable plan/result.
+
+## Verifying the restore
+
+On a git repo, the definitive check is that the working tree returns to clean:
+
+```bash
+git status        # after `uninstall --yes`, dxkit's changes are gone
+```
+
+If you had committed dxkit's files (baselines, workflows), those show as deletions to commit — that is expected; uninstall only edits the working tree, never git history.
+
+## The feedback prompt (optional, opt-in)
+
+On completion, the CLI prints a **prefilled GitHub issue URL** and invites you to share why you're removing dxkit. Nothing is sent automatically — it is a link you choose to open; there is no telemetry. Skip it with `--no-feedback`. If the user wants to leave feedback, open the URL it printed (or run `npx vyuh-dxkit issue --type=uninstall --about="…"`).
+
+## What NOT to do
+
+- Do **not** hand-delete `.dxkit/` and the workflows and call it done — that leaves the additive merges (settings.json hooks, CLAUDE.md block, .gitignore entries, package.json devDep) behind. Use `uninstall`, which reverses those too.
+- Do **not** run `--force` reflexively — the skip-and-warn on edited files is there so you don't lose work you put into a dxkit-created file. Review the warnings first.

package/templates/.githooks/pre-push

@@ -51,6 +51,16 @@ else
   exit 1
 fi
 
+# Correctness floor (liveness) — does the change still compile + do the tests
+# it affects pass? This is independent of the baseline, so it runs even before
+# a baseline exists (a brand-new / greenfield repo still gets push-time
+# liveness). It is ADAPTIVE: on a repo that already runs its tests in CI it is
+# a no-op here (opt-in), and on a repo without a test-CI it runs by default.
+# A real failure blocks the push; a missing toolchain fail-opens (CI backstop).
+# Tune via .dxkit/policy.json correctness.surfaces.pre-push, DXKIT_FLOOR_PREPUSH,
+# or bypass everything with: git push --no-verify
+"${DXKIT}" floor check --surface pre-push
+
 BASELINE_NAME="${DXKIT_BASELINE_NAME:-main}"
 BASELINE_FILE=".dxkit/baselines/${BASELINE_NAME}.json"
 

package/templates/.github/workflows/dxkit-guardrails.yml

@@ -81,6 +81,23 @@ jobs:
             echo "✓ dxkit guardrail passed — no net-new findings vs the baseline"
           fi
 
+      # Correctness floor (liveness) — full-scope: does the code compile + do
+      # the tests pass? Runs after the finding gate. ADAPTIVE: if this repo
+      # already runs its tests in its own CI workflow, this is a no-op here
+      # (opt-in). A missing language toolchain fail-opens (this workflow sets up
+      # node + the dxkit scanner tools, not every language runtime), so the
+      # floor is most meaningful on JS/TS repos and on repos with no test-CI;
+      # your own test job is the place for full-language coverage. Tune via
+      # .dxkit/policy.json correctness.surfaces.ci or DXKIT_FLOOR_CI.
+      - name: Run correctness floor
+        run: |
+          if [ -x ./node_modules/.bin/vyuh-dxkit ]; then
+            DXKIT=./node_modules/.bin/vyuh-dxkit
+          else
+            DXKIT=vyuh-dxkit
+          fi
+          "${DXKIT}" floor check --surface ci
+
       - name: Post PR comment
         if: always()
         env: