@shrkcrft/cli 0.1.0-alpha.27 → 0.1.0-alpha.28

package/dist/gates/rule-coverage.js

@@ -0,0 +1,165 @@
+import { inspectSource, runPolicyLint, scanGeneratedFiles, wiringSourceSide, } from '@shrkcrft/boundaries';
+export const GATE_COVERAGE_SCHEMA = 'sharkcraft.gate-coverage/v1';
+/** Evaluate the author's declared expectations against what the rule extracted. */
+function checkExpectations(selfTest, ids, unitsMatched) {
+    if (!selfTest)
+        return [];
+    const out = [];
+    if (selfTest.expectMatchesAtLeast !== undefined &&
+        unitsMatched < selfTest.expectMatchesAtLeast) {
+        out.push(`expected at least ${selfTest.expectMatchesAtLeast} match(es), got ${unitsMatched}`);
+    }
+    const present = new Set(ids);
+    for (const id of selfTest.expectIds ?? []) {
+        if (!present.has(id))
+            out.push(`expected id "${id}" was NOT extracted`);
+    }
+    for (const id of selfTest.expectNotIds ?? []) {
+        if (present.has(id))
+            out.push(`id "${id}" was extracted but is listed in expectNotIds`);
+    }
+    return out;
+}
+function matchWiring(cwd, rule, excludeDirs) {
+    const side = wiringSourceSide(rule);
+    if (!side)
+        return { filesMatched: 0, unitsMatched: 0, unitLabel: 'ids', ids: [], error: 'rule sets no source side' };
+    const insp = inspectSource(cwd, side, excludeDirs);
+    return {
+        filesMatched: insp.filesScanned,
+        unitsMatched: insp.ids.length,
+        unitLabel: 'ids',
+        ids: insp.ids,
+        ...(insp.error ? { error: insp.error } : {}),
+    };
+}
+function matchPolicy(cwd, rule, excludeDirs) {
+    const report = runPolicyLint(cwd, [rule], { excludeDirs });
+    const result = report.rules[0];
+    return {
+        // A policy rule's "files" and "units" differ only for inline templates.
+        filesMatched: result?.unitsScanned ?? 0,
+        unitsMatched: result?.unitsScanned ?? 0,
+        unitLabel: 'content units',
+        ids: [],
+        ...(result?.error ? { error: result.error } : {}),
+    };
+}
+function matchRegistry(cwd, decl, excludeDirs) {
+    const insp = inspectSource(cwd, decl.source, excludeDirs);
+    return {
+        filesMatched: insp.filesScanned,
+        unitsMatched: insp.ids.length,
+        unitLabel: 'ids',
+        ids: insp.ids,
+        ...(insp.error ? { error: insp.error } : {}),
+    };
+}
+function matchRegistration(cwd, idiom, excludeDirs) {
+    const insp = inspectSource(cwd, idiom.declared, excludeDirs);
+    return {
+        filesMatched: insp.filesScanned,
+        unitsMatched: insp.ids.length,
+        unitLabel: 'declared tokens',
+        ids: insp.ids,
+        ...(insp.error ? { error: insp.error } : {}),
+    };
+}
+function matchBaseline(cwd, rule, excludeDirs) {
+    // Only the EXTRACTOR half can be inspected without spawning. A command
+    // compute is reported honestly as un-inspectable rather than guessed at —
+    // `shrk baseline explain --id X` runs it on purpose.
+    if (rule.compute.kind !== 'extractor' || !rule.compute.source) {
+        return {
+            filesMatched: 0,
+            unitsMatched: 0,
+            unitLabel: 'entries (command compute — not inspected)',
+            ids: [],
+        };
+    }
+    const insp = inspectSource(cwd, rule.compute.source, excludeDirs);
+    return {
+        filesMatched: insp.filesScanned,
+        unitsMatched: insp.ids.length,
+        unitLabel: 'entries',
+        ids: insp.ids,
+        ...(insp.error ? { error: insp.error } : {}),
+    };
+}
+function matchGenerated(cwd, rule, excludeDirs) {
+    const scan = scanGeneratedFiles(cwd, rule, excludeDirs);
+    const files = [...scan.generated.keys()];
+    return {
+        filesMatched: files.length,
+        unitsMatched: files.length,
+        unitLabel: 'generated files',
+        ids: files,
+    };
+}
+/**
+ * Resolve every declared rule against the live tree and report what it matched.
+ *
+ * The `command`-compute baseline is the one rule kind that cannot be inspected
+ * without side effects; it is reported as un-inspected (never as `empty`), so
+ * the report never claims a fact it did not check.
+ */
+export function buildGateCoverage(cwd, rules, excludeDirs = []) {
+    const out = [];
+    for (const view of rules) {
+        let match;
+        switch (view.plane) {
+            case 'wiring':
+                match = matchWiring(cwd, view.raw, excludeDirs);
+                break;
+            case 'policy':
+                match = matchPolicy(cwd, view.raw, excludeDirs);
+                break;
+            case 'registry':
+                match = matchRegistry(cwd, view.raw, excludeDirs);
+                break;
+            case 'registration':
+                match = matchRegistration(cwd, view.raw, excludeDirs);
+                break;
+            case 'baseline':
+                match = matchBaseline(cwd, view.raw, excludeDirs);
+                break;
+            default:
+                match = matchGenerated(cwd, view.raw, excludeDirs);
+                break;
+        }
+        const expectationFailures = checkExpectations(view.selfTest, match.ids, match.unitsMatched);
+        const uninspected = match.unitLabel.includes('not inspected');
+        const status = match.error !== undefined
+            ? 'error'
+            : expectationFailures.length > 0
+                ? 'failed-expectation'
+                : match.unitsMatched === 0 && !uninspected
+                    ? 'empty'
+                    : 'ok';
+        out.push({
+            id: view.id,
+            plane: view.plane,
+            ...(view.description ? { description: view.description } : {}),
+            status,
+            filesMatched: match.filesMatched,
+            unitsMatched: match.unitsMatched,
+            unitLabel: match.unitLabel,
+            sampleIds: match.ids.slice(0, 5),
+            failOnEmpty: view.failOnEmpty,
+            ...(match.error ? { error: match.error } : {}),
+            expectationFailures,
+        });
+    }
+    const empty = out.filter((r) => r.status === 'empty').length;
+    const errored = out.filter((r) => r.status === 'error').length;
+    const expectationFailures = out.filter((r) => r.status === 'failed-expectation').length;
+    return {
+        schema: GATE_COVERAGE_SCHEMA,
+        rules: out,
+        total: out.length,
+        empty,
+        errored,
+        expectationFailures,
+        verdict: empty + errored + expectationFailures > 0 ? 'stale' : 'pass',
+    };
+}

package/dist/main.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../src/main.ts"],"names":[],"mappings":";AAEA,OAAO,EACL,eAAe,EAMhB,MAAM,uBAAuB,CAAC;AA8X/B,wBAAgB,aAAa,IAAI,eAAe,CAiY/C;AAED,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CA+CrE;AAwID;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAoDxE"}
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../src/main.ts"],"names":[],"mappings":";AAEA,OAAO,EACL,eAAe,EAMhB,MAAM,uBAAuB,CAAC;AAoZ/B,wBAAgB,aAAa,IAAI,eAAe,CAqZ/C;AAED,wBAAsB,MAAM,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CA+CrE;AAwID;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAoDxE"}

package/dist/main.js

@@ -34,7 +34,10 @@ import { archCommand } from "./commands/arch.command.js";
 import { frameworkCommand } from "./commands/framework.command.js";
 import { apiDiffCommand } from "./commands/api-diff.command.js";
 import { gateCommand } from "./commands/gate.command.js";
-import { policyLintCommand } from "./commands/policy-lint.command.js";
+import { policyLintCommand, policyLintExplainCommand } from "./commands/policy-lint.command.js";
+import { baselineCheckCommand, baselineCommand, baselineDiffCommand, baselineExplainCommand, baselineListCommand, baselineUpdateCommand, } from "./commands/baseline.command.js";
+import { generatedCheckCommand, generatedExplainCommand, generatedListCommand, generatedUpdateCommand, } from "./commands/generated.command.js";
+import { gatesCommand, gatesCoverageCommand, gatesExplainCommand, gatesListCommand, } from "./commands/gates.command.js";
 import { wiringCommand } from "./commands/wiring.command.js";
 import { reuseCommand } from "./commands/reuse.command.js";
 import { migrateCommand } from "./commands/migrate.command.js";
@@ -44,7 +47,7 @@ import { compressCommand, expandCommand } from "./commands/compress.command.js";
 import { alignCommand, unalignCommand } from "./commands/cache-align.command.js";
 import { reviewCommand } from "./commands/review.command.js";
 import { onboardCommand } from "./commands/onboard.command.js";
-import { contradictionsCommand, generatedCommand, ingestCommand, } from "./commands/ingest.command.js";
+import { contradictionsCommand, generatedCommand, generatedProtectCommand, generatedReportCommand, ingestCommand, } from "./commands/ingest.command.js";
 import { contextBuildCommand, contextRefreshCommand, contextStatusCommand, understandTaskCommand, validateChangeCommand, } from "./commands/task-context.command.js";
 import { testCommand } from "./commands/test.command.js";
 import { planParentCommand, planReviewCommand } from "./commands/plan.command.js";
@@ -206,6 +209,26 @@ export function buildRegistry() {
     registry.register(apiDiffCommand);
     registry.register(gateCommand);
     registry.register(policyLintCommand);
+    registry.registerSubcommand('policy-lint', policyLintExplainCommand);
+    // The two shell-executing planes (baseline/generated) + the trust layer.
+    registry.register(baselineCommand);
+    registry.registerSubcommand('baseline', baselineListCommand);
+    registry.registerSubcommand('baseline', baselineCheckCommand);
+    registry.registerSubcommand('baseline', baselineDiffCommand);
+    registry.registerSubcommand('baseline', baselineUpdateCommand);
+    registry.registerSubcommand('baseline', baselineExplainCommand);
+    // `generated` already exists as the generated-code CLASSIFIER (report /
+    // protect). These add the drift GATE under the same noun.
+    registry.registerSubcommand('generated', generatedReportCommand);
+    registry.registerSubcommand('generated', generatedProtectCommand);
+    registry.registerSubcommand('generated', generatedListCommand);
+    registry.registerSubcommand('generated', generatedCheckCommand);
+    registry.registerSubcommand('generated', generatedUpdateCommand);
+    registry.registerSubcommand('generated', generatedExplainCommand);
+    registry.register(gatesCommand);
+    registry.registerSubcommand('gates', gatesListCommand);
+    registry.registerSubcommand('gates', gatesCoverageCommand);
+    registry.registerSubcommand('gates', gatesExplainCommand);
     registry.register(wiringCommand);
     registry.register(reuseCommand);
     registry.register(migrateCommand);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shrkcrft/cli",
-  "version": "0.1.0-alpha.27",
+  "version": "0.1.0-alpha.28",
   "description": "SharkCraft CLI (`shrk`): structured project intelligence for AI coding agents.",
   "license": "MIT",
   "author": "SharkCraft contributors",
@@ -47,38 +47,38 @@
     "typecheck": "tsc --noEmit -p tsconfig.json"
   },
   "dependencies": {
-    "@shrkcrft/core": "^0.1.0-alpha.27",
-    "@shrkcrft/compress": "^0.1.0-alpha.27",
-    "@shrkcrft/config": "^0.1.0-alpha.27",
-    "@shrkcrft/workspace": "^0.1.0-alpha.27",
-    "@shrkcrft/knowledge": "^0.1.0-alpha.27",
-    "@shrkcrft/context": "^0.1.0-alpha.27",
-    "@shrkcrft/rules": "^0.1.0-alpha.27",
-    "@shrkcrft/paths": "^0.1.0-alpha.27",
-    "@shrkcrft/templates": "^0.1.0-alpha.27",
-    "@shrkcrft/plugin-api": "^0.1.0-alpha.27",
-    "@shrkcrft/dashboard": "^0.1.0-alpha.27",
-    "@shrkcrft/dashboard-api": "^0.1.0-alpha.27",
-    "@shrkcrft/pipelines": "^0.1.0-alpha.27",
-    "@shrkcrft/presets": "^0.1.0-alpha.27",
-    "@shrkcrft/boundaries": "^0.1.0-alpha.27",
-    "@shrkcrft/graph": "^0.1.0-alpha.27",
-    "@shrkcrft/rule-graph": "^0.1.0-alpha.27",
-    "@shrkcrft/structural-search": "^0.1.0-alpha.27",
-    "@shrkcrft/impact-engine": "^0.1.0-alpha.27",
-    "@shrkcrft/context-planner": "^0.1.0-alpha.27",
-    "@shrkcrft/architecture-guard": "^0.1.0-alpha.27",
-    "@shrkcrft/framework-scanners": "^0.1.0-alpha.27",
-    "@shrkcrft/api-surface-diff": "^0.1.0-alpha.27",
-    "@shrkcrft/quality-gates": "^0.1.0-alpha.27",
-    "@shrkcrft/migrate": "^0.1.0-alpha.27",
-    "@shrkcrft/generator": "^0.1.0-alpha.27",
-    "@shrkcrft/importer": "^0.1.0-alpha.27",
-    "@shrkcrft/inspector": "^0.1.0-alpha.27",
-    "@shrkcrft/ai": "^0.1.0-alpha.27",
-    "@shrkcrft/embeddings": "^0.1.0-alpha.27",
-    "@shrkcrft/shared": "^0.1.0-alpha.27",
-    "@shrkcrft/mcp-server": "^0.1.0-alpha.27",
+    "@shrkcrft/core": "^0.1.0-alpha.28",
+    "@shrkcrft/compress": "^0.1.0-alpha.28",
+    "@shrkcrft/config": "^0.1.0-alpha.28",
+    "@shrkcrft/workspace": "^0.1.0-alpha.28",
+    "@shrkcrft/knowledge": "^0.1.0-alpha.28",
+    "@shrkcrft/context": "^0.1.0-alpha.28",
+    "@shrkcrft/rules": "^0.1.0-alpha.28",
+    "@shrkcrft/paths": "^0.1.0-alpha.28",
+    "@shrkcrft/templates": "^0.1.0-alpha.28",
+    "@shrkcrft/plugin-api": "^0.1.0-alpha.28",
+    "@shrkcrft/dashboard": "^0.1.0-alpha.28",
+    "@shrkcrft/dashboard-api": "^0.1.0-alpha.28",
+    "@shrkcrft/pipelines": "^0.1.0-alpha.28",
+    "@shrkcrft/presets": "^0.1.0-alpha.28",
+    "@shrkcrft/boundaries": "^0.1.0-alpha.28",
+    "@shrkcrft/graph": "^0.1.0-alpha.28",
+    "@shrkcrft/rule-graph": "^0.1.0-alpha.28",
+    "@shrkcrft/structural-search": "^0.1.0-alpha.28",
+    "@shrkcrft/impact-engine": "^0.1.0-alpha.28",
+    "@shrkcrft/context-planner": "^0.1.0-alpha.28",
+    "@shrkcrft/architecture-guard": "^0.1.0-alpha.28",
+    "@shrkcrft/framework-scanners": "^0.1.0-alpha.28",
+    "@shrkcrft/api-surface-diff": "^0.1.0-alpha.28",
+    "@shrkcrft/quality-gates": "^0.1.0-alpha.28",
+    "@shrkcrft/migrate": "^0.1.0-alpha.28",
+    "@shrkcrft/generator": "^0.1.0-alpha.28",
+    "@shrkcrft/importer": "^0.1.0-alpha.28",
+    "@shrkcrft/inspector": "^0.1.0-alpha.28",
+    "@shrkcrft/ai": "^0.1.0-alpha.28",
+    "@shrkcrft/embeddings": "^0.1.0-alpha.28",
+    "@shrkcrft/shared": "^0.1.0-alpha.28",
+    "@shrkcrft/mcp-server": "^0.1.0-alpha.28",
     "@huggingface/transformers": "^3.7.5"
   },
   "publishConfig": {