@dzhechkov/harness-cli 0.3.227 → 0.3.229

package/README.md

@@ -289,6 +289,10 @@ Ed25519 over a file manifest, plus a CycloneDX SBOM. Zero dependencies (`node:cr
 tamper-evidence, never truthfulness.
 
 ```bash
+# One-time: generate the Ed25519 keypair. The PRIVATE key is written OUTSIDE the repo (mode 0600);
+# the PUBLIC key is printed — commit it as keys/dz.pub. dz refuses an --out inside the repo tree.
+dz sign --init --out ~/.dz/keys/dz.key
+
 # Sign a pack. The private key MUST live outside the repo — dz refuses otherwise.
 dz sign --pack packages/@dzhechkov/skills-qe --key ~/.dz/keys/dz.key
 
@@ -296,11 +300,17 @@ dz sign --pack packages/@dzhechkov/skills-qe --key ~/.dz/keys/dz.key
 # whoever replaced the pack would have replaced a key shipped inside it.
 dz verify-pack --pack packages/@dzhechkov/skills-qe          # exit 0 = unmodified
 dz verify-pack --pack ./downloaded-pack --pubkey keys/dz.pub # explicit trust root
+
+# The SBOM on its own (CycloneDX 1.5, a file-level bill of materials for the pack):
+dz sbom --pack packages/@dzhechkov/skills-qe                 # print to stdout
+dz sbom --pack packages/@dzhechkov/skills-qe --out sbom.json # write to a file
 ```
 
 A single flipped byte, a deleted file, or an **added** file all fail verification and the offending
 path is named. Every degenerate input (no manifest, empty file list, empty signature, no public key)
-fails **closed** — absence never reads as success.
+fails **closed** — absence never reads as success. `dz doctor` **and** `dz drift-check` run this check
+over the installed packs: a **tampered** pack is fatal (blocks); an **unsigned** pack or a missing trust
+root is reported, not fatal (transitional — the existing packs are not yet signed).
 
 `dz publish` runs the check before publishing anything. With `keys/dz.pub` committed, an unsigned or
 mismatching pack **blocks the release**. Until then, packs publish unsigned and `dz publish` says so on
@@ -433,7 +443,7 @@ Get the whole set with `dz init --target claude-code --preset meta`, or pick one
 
 > **A skill and its npx toolkit are not duplicates — they're a graduation.** Several skills (e.g. `feature-adr`, `design-thinking`) exist BOTH as a skill inside a `dz` preset AND as a standalone `npx` package. The preset's SKILL.md is **fully functional on its own** (the whole methodology — modules + references — travels with it, and it auto-activates by description), and it's the only way to compile that capability to the **non-Claude platforms** (Codex/OpenCode/Hermes/OpenClaude) via `dz`. The npx package adds **project-level runtime governance** around the same skill: a slash command, governance rules, a context shard, and (for feature-adr) reward-learning + `/harvest`. So: pick the **skill/preset** for a working capability across platforms; pick the **npx toolkit** when you want it as a governed, command-driven fixture of one project.
 
-## All Commands (52)
+## All Commands (54)
 
 ```
 dz setup             --target <name> [--preset <name>] [--select id,id,...] [--skills-dir <dir>] [--memory agentdb] [--no-memory] [--no-hooks] [--install-driver] [--force]
@@ -488,6 +498,9 @@ dz challenge --plan <plan.md> [--json] [--context-only] [--author <model>]   # a
 dz routing [--stage <s>] [--json]   # inspect the learned cost-optimal routing store: what `args.models.<stage>='auto-cost'` believes per (stage, complexity-tier, model) — gated attempts/successes/rate (feeds feature-adr model selection)
 dz bto-optimize --split|--plan|--select|--scope-check|--diff [--json]   # deterministic engine behind /bto-optimize: hold-out split + hard-capped budget + no-regress-on-holdout winner selection (defeats judge-gaming); prose-only, diff-confirmed, never auto-writes
 dz discrimination-check --test <f[,f]> [--base <ref>] [--name <filter>] [--runner <cmd>] [--json]   # §42 test-discrimination gate for feature-adr Step-8: run the ADR's property test in an isolated git worktree at pre-feature base — it MUST go red without the fix; a green is a false green (HIGH finding, advisory, never auto-aborts)
+dz sign --init --out <path>  |  --pack <dir> --key <path>   # --init: generate the Ed25519 keypair (private OUTSIDE the repo, prints the public key for keys/dz.pub); else sign a pack's manifest + CycloneDX SBOM
+dz sbom --pack <dir> [--out <file>]   # emit the CycloneDX 1.5 SBOM for a pack standalone (file-level bill of materials); print to stdout or write to a file
+dz guard check --op <publish|teach|consolidate|reindex> [--text <s>] [--json] [--force <reason>]   # declarative constraint layer before self-mutating ops: HARD violation → block (exit 1), SOFT → warn; zero-config defaults, .dz/guard.json to customise; dz guard --init | dz guard log (append-only audit). dz publish runs it automatically (--no-guard "<reason>" = logged escape hatch)
 dz publish           [--filter <name>] [--bump-only] [--claim-check <off|warn|error>]   (dry-run by default; pass --yes/--confirm to go live; claim-check gate defaults to warn — surfaces README claim findings, never blocks)
 dz auto-canonicalize --source <github-url> --pack <skills-pack>
 dz sync-upstream     [--package <dir>] [--list] [--all]
@@ -1583,6 +1596,29 @@ rule: a false gate kills trust) — exit 0 on any verdict, exit 2 only on a usag
 sanitation live in tested CLI code; base ref, paths, name filter, and runner are all injection-checked, and the
 worktree is always removed. Step-8 runs this on the ADR Confirmation's `Required automated check` automatically.
 
+### `dz guard` — when a self-mutating operation should be refused, not regretted
+
+Recurring failures — a raw `workspace:*` shipped to npm, a credential pasted into a lesson, skill drift
+published — were each caught by hand, after the fact. `dz guard` is one declarative place for those
+invariants: HARD rules **block** the operation, SOFT rules warn. Zero config needed — built-in defaults
+cover the known rakes; `.dz/guard.json` (via `dz guard --init`) exists only if you want to tune a severity
+or disable a rule.
+```bash
+dz guard check --op publish        # no-workspace-star · no-skill-drift · no-secrets · readme-consistency
+dz guard check --op teach --text "the fix: export sk-abc..."   # → BLOCK (exit 1): looks like a credential
+dz guard log                       # append-only audit: every verdict + every forced override
+```
+```
+dz guard (teach): ✗ BLOCK  [checked: no-secrets, store-bloat-cap]
+  [BLOCK] no-secrets: lesson: looks like a openai-key — do not teach/publish a credential
+  → blocked. Fix the HARD violation(s), or override with --force "<reason>" (logged).
+```
+`dz publish` runs the guard **automatically** as a pre-flight and refuses on a HARD block; the escape
+hatch `--no-guard "<reason>"` requires a reason and is logged to `.dz/guard-audit.jsonl` — an override is
+visible, never silent. Calibrated against false gates: in a pnpm workspace, `workspace:*` in source is
+*correct* (pnpm rewrites it at publish), so the rule resolves each workspace dep to the version it would
+ship as and blocks only a dep that would ship raw.
+
 ### Semantic recall (vector tier)
 
 `dz recall` is **hybrid** when the vector tier is available and **exactly the old lexical command** when it is not — enabling it never changes behavior for projects that skip it.

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA2OH,2EAA2E;AAC3E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AA+oJD,wBAAsB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAE,KAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAwI5E"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAiPH,2EAA2E;AAC3E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AA66JD,wBAAsB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,GAAE,KAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CA4I5E"}

package/dist/cli.js

@@ -3,13 +3,13 @@
  *
  * @packageDocumentation
  */
-import { existsSync, lstatSync, mkdirSync, mkdtempSync, readFileSync, readdirSync, readlinkSync, renameSync, rmdirSync, rmSync, statSync, symlinkSync, writeFileSync } from 'node:fs';
+import { chmodSync, existsSync, lstatSync, mkdirSync, mkdtempSync, readFileSync, readdirSync, readlinkSync, realpathSync, renameSync, rmdirSync, rmSync, statSync, symlinkSync, writeFileSync } from 'node:fs';
 import { basename, dirname, isAbsolute, join, relative, resolve, sep } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import { execSync } from 'node:child_process';
 import { homedir, tmpdir } from 'node:os';
 import { createRequire } from 'node:module';
-import { createSkill, getSkillInfo, getWorkflow, isTargetName, listSkills, runDoctor, runInit, benchmarkSkill, benchmarkSkills, scanMcp, reconcileCapabilities, RECONCILE_BANNER, buildRegistry, discoverSkillPackDirs, checkUpstream, compareSkills, checkAllUpstream, sweepSkillDrift, syncCanonicalSkill, checkUpgrades, discoverPackages, discoverSourcePackages, fetchAllDownloads, filterByCategory, pretrain, recommend, generatePlugin, publishPackages, runSetup, runMigrate, searchRegistry, runSync, runVerify, runInitAgentsMd, runInitGeminiMd, TARGET_NAMES, WORKFLOW_NAMES, importEcc, recordPattern, resolveLearningBackend, storeStats, consolidateSessions, pruneNoisePatterns, lessonDeltaReport, removePatternsByIds, snapshotStore, recallHybrid, teachGuard, mirrorPatternsToVector, vectorMirrorEnabled, vectorTierStatus, resolveVectorEngine, reindexVectorStore, harmonizeVectorStore, importRvfCheckpoint, statuslineData, writeFeatureAdrState, computeUsage, deriveUsageCalibration, normalizeClaudeUsageModelKey, readUsageLimits, claimCheck, summarize, queryBookKnowledge, loadStorePatternsSync, patternRecordId, loadStoreRecords, recordToPattern, bundleSkills, brainHome, listBrain, promoteProjectToBrain, updateBrainSource, queryBrain, groundPrompt, expandKu, reindexBrainVectors, buildPrimer, exportBrainSlice, importBrainSlice, registerKusToBrain, RECALL_USAGE_LOG_RELATIVE, RECALL_USAGE_LOG_MAX_BYTES, parseRecallUsageLog, buildRecallUsageReport, buildManifest, buildSbom, resolveTrustRoot, decideVerifyPolicy, decideProvenance, isInsideTree, signManifest, verifyManifest, assertKeyOutsideTree, decidePublishGate, MANIFEST_NAME, SBOM_NAME, buildArchitectureMap, renderMapHuman, findArchitectureDrift, renderDriftReport, scanWorkspacePackages, loadSubsystemManifest, loadProductVision, checkFeatureAgainstArchitecture, renderArchCheck, planProjectSkills, guidanceForStage, renderInjectionReport, analyzeCorpus, renderRakeReport, renderCriticSection, rakeAsLesson, rakeReward, DEFAULT_RAKE_THRESHOLDS, streamSessionEvents, findLatestTranscript, detectProcessRakes, buildRetro, renderRetro, retroLessonText, PROCESS_SIGNATURES, RETRO_DOMAIN, scanForSetup, buildSetupPlan, scaffoldFromSpec, renderScaffoldPreview, readExistingForScaffold, assembleChallengeContext, buildChallengeBrief, planDiscriminationCheck, classifyDiscrimination, pickAdversaryModel, CHALLENGE_QUESTIONS, loadOutcomes, renderOutcomes, statsForKey, selectAutoCost, recordProvisional, finalizeOutcome, COST_LADDER, splitScenarios, budgetPlan, selectWinner, proseScopeOk, renderProseDiff, readScenarioIds, DEFAULT_MAX_JUDGE_RUNS, } from '@dzhechkov/harness-core';
+import { createSkill, getSkillInfo, getWorkflow, isTargetName, listSkills, runDoctor, runInit, benchmarkSkill, benchmarkSkills, scanMcp, reconcileCapabilities, RECONCILE_BANNER, buildRegistry, discoverSkillPackDirs, checkUpstream, compareSkills, checkAllUpstream, sweepSkillDrift, syncCanonicalSkill, checkUpgrades, discoverPackages, discoverSourcePackages, fetchAllDownloads, filterByCategory, pretrain, recommend, generatePlugin, publishPackages, runSetup, runMigrate, searchRegistry, runSync, runVerify, runInitAgentsMd, runInitGeminiMd, TARGET_NAMES, WORKFLOW_NAMES, importEcc, recordPattern, resolveLearningBackend, storeStats, consolidateSessions, pruneNoisePatterns, lessonDeltaReport, removePatternsByIds, snapshotStore, recallHybrid, teachGuard, mirrorPatternsToVector, vectorMirrorEnabled, vectorTierStatus, resolveVectorEngine, reindexVectorStore, harmonizeVectorStore, importRvfCheckpoint, statuslineData, writeFeatureAdrState, computeUsage, deriveUsageCalibration, normalizeClaudeUsageModelKey, readUsageLimits, claimCheck, summarize, queryBookKnowledge, loadStorePatternsSync, patternRecordId, loadStoreRecords, recordToPattern, bundleSkills, brainHome, listBrain, promoteProjectToBrain, updateBrainSource, queryBrain, groundPrompt, expandKu, reindexBrainVectors, buildPrimer, exportBrainSlice, importBrainSlice, registerKusToBrain, RECALL_USAGE_LOG_RELATIVE, RECALL_USAGE_LOG_MAX_BYTES, parseRecallUsageLog, buildRecallUsageReport, buildManifest, buildSbom, resolveTrustRoot, decideVerifyPolicy, generateSigningKeypair, evaluateGuard, resolveRules, auditRecord, guardExitCode, DEFAULT_RULES, decideProvenance, isInsideTree, signManifest, verifyManifest, assertKeyOutsideTree, decidePublishGate, MANIFEST_NAME, SBOM_NAME, buildArchitectureMap, renderMapHuman, findArchitectureDrift, renderDriftReport, scanWorkspacePackages, loadSubsystemManifest, loadProductVision, checkFeatureAgainstArchitecture, renderArchCheck, planProjectSkills, guidanceForStage, renderInjectionReport, analyzeCorpus, renderRakeReport, renderCriticSection, rakeAsLesson, rakeReward, DEFAULT_RAKE_THRESHOLDS, streamSessionEvents, findLatestTranscript, detectProcessRakes, buildRetro, renderRetro, retroLessonText, PROCESS_SIGNATURES, RETRO_DOMAIN, scanForSetup, buildSetupPlan, scaffoldFromSpec, renderScaffoldPreview, readExistingForScaffold, assembleChallengeContext, buildChallengeBrief, planDiscriminationCheck, classifyDiscrimination, pickAdversaryModel, CHALLENGE_QUESTIONS, loadOutcomes, renderOutcomes, statsForKey, selectAutoCost, recordProvisional, finalizeOutcome, COST_LADDER, splitScenarios, budgetPlan, selectWinner, proseScopeOk, renderProseDiff, readScenarioIds, DEFAULT_MAX_JUDGE_RUNS, } from '@dzhechkov/harness-core';
 import { getPreset, PRESET_NAMES } from '@dzhechkov/harness-presets';
 import { scanGitHub, analyzeRepo, generateReport, deepAnalyze, scanAllSources, ScoutMemory } from '@dzhechkov/scout';
 const USAGE = `dz - DZ cross-platform harness CLI
@@ -2912,10 +2912,86 @@ function reportPackVerification(cwd, explicitPubkey, requireSigning, write) {
     return fatal > 0 ? 1 : 0;
 }
 function cmdSign(options, flags, cwd, write) {
+    // `dz sign --init` — one-time keygen. Writes the PRIVATE key OUTSIDE the repo (default ~/.dz/keys/dz.key,
+    // mode 0600) and prints the PUBLIC key for the operator to commit as keys/dz.pub. The private key never
+    // touches the repo or a tarball (the hard invariant — enforced by assertKeyOutsideTree).
+    if (flags.has('init')) {
+        const outPath = resolve(cwd, options.get('out') ?? join(homedir(), '.dz', 'keys', 'dz.key'));
+        // Resolve symlinks BEFORE the containment check: an --out (or a parent dir) that is a symlink pointing
+        // INTO the repo would otherwise slip the private key inside the tree past a string-only guard — including a
+        // DANGLING symlink whose target does not exist yet (existsSync follows the link and reports false, so the
+        // symlink itself must be resolved via lstat/readlink, not existsSync).
+        const realTarget = (() => {
+            // walk up to the deepest path that exists as ANY entry (file, dir, or even a dangling symlink).
+            let anc = outPath;
+            const tail = [];
+            for (;;) {
+                try {
+                    lstatSync(anc);
+                    break;
+                }
+                catch { /* not present */ }
+                const parent = dirname(anc);
+                if (parent === anc)
+                    return outPath; // reached root without an existing entry
+                tail.unshift(basename(anc));
+                anc = parent;
+            }
+            let base;
+            try {
+                base = realpathSync(anc); // resolves dirs/files and any RESOLVABLE symlink chain
+            }
+            catch {
+                // `anc` exists but realpath threw → a dangling symlink: resolve its immediate target by hand.
+                try {
+                    base = resolve(dirname(anc), readlinkSync(anc));
+                }
+                catch {
+                    return outPath;
+                }
+            }
+            return tail.length ? join(base, ...tail) : base;
+        })();
+        try {
+            assertKeyOutsideTree(realTarget, cwd);
+        }
+        catch (err) {
+            write(`dz sign --init: ${err.message}`);
+            write('  choose an --out path (and parent) OUTSIDE the repository (e.g. ~/.dz/keys/dz.key)');
+            return 1;
+        }
+        if (existsSync(outPath) && !flags.has('force')) {
+            write(`dz sign --init: ${outPath} already exists — refusing to overwrite (pass --force to replace)`);
+            write('  overwriting a signing key orphans every pack signed with the old one.');
+            return 1;
+        }
+        const { privateKey, publicKey } = generateSigningKeypair();
+        try {
+            mkdirSync(dirname(outPath), { recursive: true });
+            // Unlink an existing file first: writeFileSync's `mode` is ignored when the file already exists, so a
+            // pre-existing 0644 key would stay world-readable after --force. Removing it forces a fresh 0600 create.
+            if (existsSync(outPath))
+                rmSync(outPath, { force: true });
+            writeFileSync(outPath, privateKey, { mode: 0o600 });
+            chmodSync(outPath, 0o600); // belt-and-suspenders: guarantee 0600 regardless of umask/prior state
+        }
+        catch (err) {
+            write(`dz sign --init: could not write the private key to ${outPath}: ${err.message}`);
+            return 1;
+        }
+        write(`dz sign --init: Ed25519 keypair generated.`);
+        write(`  private key → ${outPath} (mode 0600, OUTSIDE the repo — never commit it)`);
+        write(`  public key  → commit the block below as ${TRUST_ROOT_REL}:`);
+        write('');
+        write(publicKey.trimEnd());
+        write('');
+        write(`  then: dz sign --pack <dir> --key ${outPath}   (sign a pack)`);
+        return 0;
+    }
     const pack = options.get('pack');
     const key = options.get('key');
     if (!pack || !key) {
-        write('dz sign: --pack <dir> and --key <path> are both required');
+        write('dz sign: --pack <dir> and --key <path> are both required (or: dz sign --init to generate a keypair)');
         write('  the key path MUST be outside the repository working tree (a leaked signing key is not revertible)');
         return 1;
     }
@@ -2984,12 +3060,55 @@ function cmdVerifyPack(options, flags, cwd, write) {
         write(`  ${f.path}: ${f.reason}`);
     return 1;
 }
+/**
+ * `dz sbom` — emit a CycloneDX 1.5 SBOM (Software Bill of Materials) for a pack, standalone (no signing).
+ * The same inventory `dz sign` writes as `sbom.json`, available on its own for audit/procurement. Components
+ * are the pack's shipped files with their SHA-256 — a file-level bill of materials for the pack.
+ *   --pack <dir>   the pack to inventory (required)
+ *   --out <file>   write here (default: print to stdout)
+ *   --json         (implied) SPDX/CycloneDX is already JSON
+ */
+function cmdSbom(options, flags, cwd, write) {
+    const pack = options.get('pack');
+    if (!pack) {
+        write('dz sbom: --pack <dir> is required');
+        return 1;
+    }
+    const packDir = resolve(cwd, pack);
+    if (!existsSync(packDir)) {
+        write(`dz sbom: no such pack: ${packDir}`);
+        return 1;
+    }
+    const files = packFiles(packDir);
+    if (files.length === 0) {
+        write('dz sbom: the pack contains no files');
+        return 1;
+    }
+    const manifest = buildManifest(packDir, basename(packDir), files);
+    const sbom = buildSbom(manifest);
+    const out = JSON.stringify(sbom, null, 2);
+    const outOpt = options.get('out');
+    if (outOpt !== undefined) {
+        const outPath = resolve(cwd, outOpt);
+        try {
+            writeFileSync(outPath, out + '\n');
+        }
+        catch (err) {
+            write(`dz sbom: could not write ${outPath}: ${err.message}`);
+            return 1;
+        }
+        write(`dz sbom: ${sbom.components.length} component(s) → ${outPath} (CycloneDX ${sbom.specVersion})`);
+        return 0;
+    }
+    write(out);
+    return 0;
+}
 function cmdPublish(options, flags, cwd, write) {
     // Reject unknown flags/options so a typo (e.g. `--dry-rum`) can NEVER be
     // silently swallowed and flip the command into live-publish mode.
     const allowedFlags = new Set(['dry-run', 'no-dry-run', 'yes', 'confirm', 'bump-only', 'help', 'require-signing', 'provenance', 'no-provenance']);
-    const allowedOptions = new Set(['filter', 'claim-check']);
-    const allowedHelp = '  allowed: --dry-run (default), --yes/--confirm/--no-dry-run (go live), --bump-only, --filter <substr>, --claim-check <off|warn|error>';
+    const allowedOptions = new Set(['filter', 'claim-check', 'no-guard']);
+    const allowedHelp = '  allowed: --dry-run (default), --yes/--confirm/--no-dry-run (go live), --bump-only, --filter <substr>, --claim-check <off|warn|error>, --no-guard "<reason>" (skip the guard pre-flight; logged)';
     for (const flag of flags) {
         if (!allowedFlags.has(flag)) {
             write(`dz publish: unknown option --${flag}`);
@@ -3006,6 +3125,36 @@ function cmdPublish(options, flags, cwd, write) {
             return 1;
         }
     }
+    // dz guard pre-flight (ADR-002 option A): publish is the most dangerous, least-reversible self-mutation, so
+    // it ALWAYS runs the declarative guard first. A HARD violation refuses the publish; `--no-guard "<reason>"`
+    // is the logged escape hatch (the override lands in .dz/guard-audit.jsonl — visible, never silent).
+    {
+        let guardRoot = cwd;
+        try {
+            guardRoot = execSync('git rev-parse --show-toplevel', { cwd, encoding: 'utf-8' }).trim() || cwd;
+        }
+        catch { /* not git */ }
+        const noGuard = options.get('no-guard');
+        if (noGuard !== undefined && noGuard.trim() === '') {
+            write('dz publish: --no-guard requires a reason (it is logged): --no-guard "hotfix, guard re-run after"');
+            return 1;
+        }
+        const guardResult = runGuardEvaluation(guardRoot, 'publish', undefined, noGuard);
+        if (guardResult.verdict === 'block' && noGuard === undefined) {
+            write('dz publish: ✗ BLOCKED by dz guard (HARD invariant violated):');
+            for (const v of guardResult.violations.filter((x) => x.severity === 'hard'))
+                write(`  [BLOCK] ${v.rule}: ${v.detail}`);
+            write('  → fix the violation(s), or override with --no-guard "<reason>" (logged to .dz/guard-audit.jsonl).');
+            return 1;
+        }
+        if (guardResult.verdict === 'block')
+            write(`dz publish: ⚠ guard BLOCK overridden via --no-guard: ${noGuard} (logged)`);
+        else if (guardResult.verdict === 'warn')
+            for (const v of guardResult.violations)
+                write(`dz publish: ⚠ guard warn — ${v.rule}: ${v.detail}`);
+        else
+            write('dz publish: ✓ guard pre-flight passed');
+    }
     // ADR-001 (publish-provenance): decide BEFORE any work — flag validation, then a pre-flight that
     // refuses `--provenance` where no OIDC token can be minted. `off` is an escape hatch that names itself.
     if (flags.has('provenance') && flags.has('no-provenance')) {
@@ -3739,29 +3888,241 @@ function cmdDriftCheck(options, flags, cwd, write) {
         write(`allowlisted (accepted drift): ${r.allowlisted.map((d) => d.name).join(', ')}`);
     }
     write(`DRIFTED (unexpected, byte-differences between copies): ${r.drifted.length}`);
+    let driftExit = 0;
     if (r.drifted.length === 0) {
         write('✓ no unexpected intra-monorepo skill drift');
-        return 0;
     }
+    else {
+        write('');
+        write('skill'.padEnd(34) + 'copies  drift/total');
+        for (const d of r.drifted) {
+            write(d.name.padEnd(34) +
+                String(d.copies).padStart(4) +
+                '    ' +
+                `${d.driftFiles}/${d.totalFiles}` +
+                (d.missingFiles ? ` (+${d.missingFiles} missing)` : ''));
+        }
+        write('');
+        write('→ fix each: heal drift, then commit. Remediation per skill:');
+        for (const d of r.drifted) {
+            const hasMeta = existsSync(join(root, 'packages', '@dzhechkov', 'skills-meta', d.name));
+            write(hasMeta
+                ? `    dz sync-canonical ${d.name}`
+                : `    dz sync-canonical ${d.name} --from <a-known-good-copy>   (no skills-meta canonical)`);
+        }
+        write('  (accept a drift intentionally: add its name to .dz/drift-allowlist.json with a reason)');
+        driftExit = 1; // EXIT CODE 1 = the CI gate trips
+    }
+    // Supplementary CI check: installed-pack signatures. A TAMPERED pack trips the gate (fatal); an unsigned
+    // pack or a missing trust root is reported, not fatal — the same warn/block posture as `dz doctor` (the
+    // primary signature gate). drift-check surfaces it so the CI drift view also flags a tampered pack.
     write('');
-    write('skill'.padEnd(34) + 'copies  drift/total');
-    for (const d of r.drifted) {
-        write(d.name.padEnd(34) +
-            String(d.copies).padStart(4) +
-            '    ' +
-            `${d.driftFiles}/${d.totalFiles}` +
-            (d.missingFiles ? ` (+${d.missingFiles} missing)` : ''));
+    const sigFatal = reportPackVerification(root, options.get('pubkey'), flags.has('require-signing'), write);
+    return driftExit || sigFatal;
+}
+const DEFAULT_STORE_CAP = 5000;
+/** Read the optional `.dz/guard.json` — `{ rules?: [...], storeCap?: number }`. Missing/broken ⇒ defaults. */
+function loadGuardConfig(root) {
+    const p = join(root, '.dz', 'guard.json');
+    if (!existsSync(p))
+        return {};
+    try {
+        const j = JSON.parse(readFileSync(p, 'utf8'));
+        return j && typeof j === 'object' ? j : {};
     }
-    write('');
-    write('→ fix each: heal drift, then commit. Remediation per skill:');
-    for (const d of r.drifted) {
-        const hasMeta = existsSync(join(root, 'packages', '@dzhechkov', 'skills-meta', d.name));
-        write(hasMeta
-            ? `    dz sync-canonical ${d.name}`
-            : `    dz sync-canonical ${d.name} --from <a-known-good-copy>   (no skills-meta canonical)`);
-    }
-    write('  (accept a drift intentionally: add its name to .dz/drift-allowlist.json with a reason)');
-    return 1; // EXIT CODE 1 = the CI gate trips
+    catch {
+        return {};
+    }
+}
+/** Extract labelled (a,b) count pairs from the READMEs that must agree (the parity invariant, inline). */
+function gatherReadmeCounts(root) {
+    const read = (rel) => { try {
+        return readFileSync(join(root, rel), 'utf8');
+    }
+    catch {
+        return '';
+    } };
+    const rootMd = read('README.md');
+    const cliMd = read('packages/@dzhechkov/harness-cli/README.md');
+    const num = (s, re) => { const m = s.match(re); return m && m[1] ? Number(m[1]) : null; };
+    const pairs = [];
+    const cjm = num(rootMd, /## User Journey — 6 phases, (\d+) commands/);
+    const cliAll = num(cliMd, /## All Commands \((\d+)\)/);
+    const rootAll = num(rootMd, /## All Commands \((\d+)\)/);
+    if (cjm !== null && cliAll !== null)
+        pairs.push({ label: 'commands (root CJM header vs cli All Commands)', a: cjm, b: cliAll });
+    if (rootAll !== null && cliAll !== null)
+        pairs.push({ label: 'All Commands (root vs cli)', a: rootAll, b: cliAll });
+    return pairs;
+}
+/** Gather the facts one op needs. All I/O is best-effort — a missing signal skips its rule, never crashes. */
+function gatherGuardFacts(op, root, text, storeCap) {
+    const facts = { op };
+    if (op === 'publish') {
+        // Read every workspace manifest ONCE: build a name→version map, then resolve each `workspace:*` dep to the
+        // version pnpm WOULD publish it as. In a pnpm workspace (pnpm-workspace.yaml present) `workspace:*` in source
+        // is correct and gets rewritten at publish — so reporting it raw would be a FALSE gate. We mirror the rewrite:
+        // a resolvable workspace dep becomes its real semver (safe → the rule passes); an UNRESOLVABLE one (points at
+        // no workspace package, or not a pnpm workspace) stays `workspace:*` so the rule catches a dep that WOULD ship
+        // raw. That is the genuinely dangerous case the rule exists for.
+        const manifests = [];
+        try {
+            const out = execSync('git ls-files "packages/@dzhechkov/*/package.json"', { cwd: root, encoding: 'utf-8' });
+            for (const rel of out.split('\n').map((s) => s.trim()).filter(Boolean)) {
+                try {
+                    manifests.push(JSON.parse(readFileSync(join(root, rel), 'utf8')));
+                }
+                catch { /* skip unreadable */ }
+            }
+        }
+        catch { /* not a git repo */ }
+        const versionByName = new Map();
+        for (const m of manifests)
+            if (m.name && typeof m.version === 'string')
+                versionByName.set(m.name, m.version);
+        const pnpmWorkspace = existsSync(join(root, 'pnpm-workspace.yaml'));
+        const packages = [];
+        for (const m of manifests) {
+            if (m.private === true)
+                continue; // unpublished packages are exempt
+            const deps = {};
+            for (const [dep, spec] of Object.entries(m.dependencies ?? {})) {
+                deps[dep] = (typeof spec === 'string' && spec.startsWith('workspace:') && pnpmWorkspace && versionByName.has(dep))
+                    ? versionByName.get(dep) // pnpm rewrites this to a real semver at publish → safe
+                    : spec; // non-pnpm, or an unresolvable workspace dep → keep raw so the rule catches a would-ship-raw dep
+            }
+            packages.push({ name: m.name ?? '(unnamed)', deps });
+        }
+        facts['packages'] = packages;
+        try {
+            facts['drift'] = sweepSkillDrift(root, { scope: 'packages', allowlist: readDriftAllowlist(root) }).drifted.map((d) => d.name);
+        }
+        catch { /* skip */ }
+        facts['counts'] = gatherReadmeCounts(root);
+    }
+    if (op === 'consolidate') {
+        try {
+            facts['drift'] = sweepSkillDrift(root, { scope: 'packages', allowlist: readDriftAllowlist(root) }).drifted.map((d) => d.name);
+        }
+        catch { /* skip */ }
+    }
+    if (op === 'teach' || op === 'consolidate') {
+        if (op === 'teach' && text)
+            facts['secretTargets'] = [{ label: 'lesson', text }];
+        let count = 0;
+        try {
+            count = loadStorePatternsSync(root).length;
+        }
+        catch { /* skip → cap never trips */
+            count = 0;
+        }
+        facts['store'] = { count, cap: storeCap };
+    }
+    return facts;
+}
+/**
+ * Load config → resolve rules → gather facts → evaluate → append the audit record. The ONE evaluation path,
+ * shared by `dz guard check` and the `dz publish` pre-flight (ADR-002 option A) so they can never disagree.
+ * `overrideReason` (when the caller forces through a block) is logged, never silent.
+ */
+function runGuardEvaluation(root, op, text, overrideReason) {
+    const cfg = loadGuardConfig(root);
+    // Number.isFinite, not just > 0: a config `storeCap: 1e400` parses to Infinity, passes `> 0`, and would
+    // silently DISABLE the cap (count <= Infinity always). Non-finite ⇒ fall back to the default.
+    const storeCap = typeof cfg.storeCap === 'number' && Number.isFinite(cfg.storeCap) && cfg.storeCap > 0 ? cfg.storeCap : DEFAULT_STORE_CAP;
+    const rules = resolveRules(Array.isArray(cfg.rules) ? cfg.rules : undefined);
+    const facts = gatherGuardFacts(op, root, text, storeCap);
+    const result = evaluateGuard(facts, rules);
+    // audit (append-only). ts is real time here (a CLI, not the sandboxed workflow).
+    try {
+        const rec = auditRecord(result, new Date().toISOString(), overrideReason !== undefined ? { reason: overrideReason } : undefined);
+        mkdirSync(join(root, '.dz'), { recursive: true });
+        writeFileSync(join(root, '.dz', 'guard-audit.jsonl'), JSON.stringify(rec) + '\n', { flag: 'a' });
+    }
+    catch { /* audit is best-effort, never blocks the verdict */ }
+    return result;
+}
+/**
+ * `dz guard` — the declarative constraint layer that refuses a self-mutating op when a HARD invariant is
+ * violated. Simple outside: `dz guard check --op publish` works with zero config (built-in defaults).
+ *   check --op <publish|teach|consolidate|reindex> [--text <s>] [--json] [--force <reason>]
+ *   --init     scaffold an editable .dz/guard.json (only if you want to customise)
+ *   log [--limit N]   tail the append-only .dz/guard-audit.jsonl
+ * Exit 1 on a HARD block (0 with --force <reason>, which is logged); 0 on warn/pass.
+ */
+function cmdGuard(options, flags, cwd, write) {
+    let root = cwd;
+    try {
+        root = execSync('git rev-parse --show-toplevel', { cwd, encoding: 'utf-8' }).trim() || cwd;
+    }
+    catch { /* not git */ }
+    const sub = options.get('_positional_0') ?? 'check';
+    if (flags.has('init') || sub === 'init') {
+        const p = join(root, '.dz', 'guard.json');
+        if (existsSync(p) && !flags.has('force')) {
+            write(`dz guard --init: ${p} already exists (pass --force to overwrite)`);
+            return 1;
+        }
+        const scaffold = {
+            storeCap: DEFAULT_STORE_CAP,
+            rules: DEFAULT_RULES.map((r) => ({ id: r.id, severity: r.severity, enabled: true, description: r.description })),
+        };
+        mkdirSync(dirname(p), { recursive: true });
+        writeFileSync(p, JSON.stringify(scaffold, null, 2) + '\n');
+        write(`dz guard --init: wrote ${p} (edit severity/enabled to customise; delete it to return to built-in defaults)`);
+        return 0;
+    }
+    if (sub === 'log') {
+        const p = join(root, '.dz', 'guard-audit.jsonl');
+        if (!existsSync(p)) {
+            write('dz guard log: no audit yet (.dz/guard-audit.jsonl)');
+            return 0;
+        }
+        const limit = Math.max(1, Number(options.get('limit') ?? '20') || 20);
+        // parse-filter BEFORE emitting: a corrupt line must not make the --json output invalid JSON.
+        const rows = readFileSync(p, 'utf8').split('\n').filter(Boolean).slice(-limit)
+            .map((row) => { try {
+            return JSON.parse(row);
+        }
+        catch {
+            return null;
+        } })
+            .filter((r) => r !== null);
+        if (flags.has('json')) {
+            write(JSON.stringify(rows));
+            return 0;
+        }
+        for (const r of rows) {
+            write(`${r.ts}  ${String(r.op).padEnd(11)} ${String(r.verdict).toUpperCase()}${r.override ? `  (forced: ${r.override.reason})` : ''}`);
+        }
+        return 0;
+    }
+    if (sub !== 'check') {
+        write(`dz guard: unknown subcommand '${sub}' — use: check --op <op> | --init | log`);
+        return 1;
+    }
+    // check
+    const op = options.get('op');
+    if (op === undefined || !['publish', 'teach', 'consolidate', 'reindex'].includes(op)) {
+        write('dz guard check: --op must be one of publish | teach | consolidate | reindex');
+        return 1;
+    }
+    const force = options.get('force');
+    const forced = force !== undefined;
+    const result = runGuardEvaluation(root, op, options.get('text'), force);
+    if (flags.has('json')) {
+        write(JSON.stringify({ ...result, forced }, null, 2));
+        return guardExitCode(result, forced);
+    }
+    const glyph = result.verdict === 'block' ? '✗' : result.verdict === 'warn' ? '⚠' : '✓';
+    write(`dz guard (${op}): ${glyph} ${result.verdict.toUpperCase()}  [checked: ${result.checked.join(', ') || 'no rules for this op'}]`);
+    for (const v of result.violations)
+        write(`  [${v.severity === 'hard' ? 'BLOCK' : 'warn'}] ${v.rule}: ${v.detail}`);
+    if (result.verdict === 'block' && forced)
+        write(`  → forced through: ${force} (logged to .dz/guard-audit.jsonl)`);
+    else if (result.verdict === 'block')
+        write('  → blocked. Fix the HARD violation(s), or override with --force "<reason>" (logged).');
+    return guardExitCode(result, forced);
 }
 /**
  * `dz sync-canonical <skill>` — the healer. Treats the resolved canonical (`--from` →
@@ -4784,6 +5145,10 @@ export async function runCli(argv, io = {}) {
                 return cmdClaimCheck(options, optionLists, flags, cwd, write);
             case 'sign':
                 return cmdSign(options, flags, cwd, write);
+            case 'sbom':
+                return cmdSbom(options, flags, cwd, write);
+            case 'guard':
+                return cmdGuard(options, flags, cwd, write);
             case 'verify-pack':
                 return cmdVerifyPack(options, flags, cwd, write);
             case 'setup':