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

package/dist/finish/run-finish.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-finish.d.ts","sourceRoot":"","sources":["../../src/finish/run-finish.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,oBAAoB,EAC1B,MAAM,qBAAqB,CAAC;AAa7B,eAAO,MAAM,aAAa,EAAG,sBAA+B,CAAC;AAE7D,2FAA2F;AAC3F,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE3D,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1E,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,yEAAyE;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;QACzD,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;CACtC;AAYD;;;;;;;;GAQG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC,CAkHnF"}
+{"version":3,"file":"run-finish.d.ts","sourceRoot":"","sources":["../../src/finish/run-finish.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,oBAAoB,EAC1B,MAAM,qBAAqB,CAAC;AAiB7B,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,eAAO,MAAM,aAAa,EAAG,sBAA+B,CAAC;AAQ7D,2FAA2F;AAC3F,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE3D,8EAA8E;AAC9E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;IAClG,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,yEAAyE;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;QACzD,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;CACtC;AAmBD;;;;;;;;GAQG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC,CAmJnF"}

package/dist/finish/run-finish.js

@@ -1,9 +1,23 @@
-import { buildImportHygieneReport, filterViolationsToChangedScope, inspectSharkcraft, resolveChangedFiles, resolveProjectConfig, } from '@shrkcrft/inspector';
+import { buildImportHygieneReport, filterViolationsToChangedScope, gitShowFile, inspectSharkcraft, resolveChangedFiles, resolveProjectConfig, } from '@shrkcrft/inspector';
 import { existsSync } from 'node:fs';
 import * as nodePath from 'node:path';
-import { evaluateBoundaries, loadTsconfigPaths, runPolicyLint, runWiring, scanImports, } from '@shrkcrft/boundaries';
+import { buildRegistrationGraph, evaluateBoundaries, loadTsconfigPaths, providedTokensFromEntries, registrationTouchesChanged, registrationUnprovided, runPolicyLint, runWiring, scanImports, } from '@shrkcrft/boundaries';
 import { computeDeletedOrphans } from "../diff/deleted-orphans.js";
+import { ExitCode } from "../exit-codes.js";
 export const FINISH_SCHEMA = 'sharkcraft.finish/v1';
+/** Files in the boundary/import/wiring domain — a change outside it evaluates nothing there. */
+const CODE_FILE = /\.(?:m|c)?[jt]sx?$/;
+function codeFilesOf(files) {
+    return files.filter((f) => CODE_FILE.test(f));
+}
+/** The base ref the unprovided gate diffs against to spot removed providers. */
+function baseRefFor(input) {
+    if (input.mode === 'files')
+        return undefined; // an explicit file list has no diff base
+    if (input.mode === 'since' && input.scope.since)
+        return input.scope.since;
+    return 'HEAD'; // worktree + staged both diff vs HEAD
+}
 /** Map the changed-scope onto the orphan check's diff inputs. */
 function orphanOptsFor(input) {
     if (input.mode === 'files')
@@ -29,6 +43,11 @@ export async function runFinishGates(input) {
     const { cwd } = input;
     const changed = resolveChangedFiles(input.scope);
     const changedFiles = changed.files;
+    // The boundary/import/wiring engines only reason about code files. A change to
+    // non-code files (docs, JSON, config) evaluates NOTHING in those gates, so they
+    // must SKIP, not trivially pass — otherwise a markdown-only change paints green
+    // ("evaluated nothing" must read as not-verified, never a `0`).
+    const codeChanged = codeFilesOf(changedFiles);
     const gates = [];
     // ── boundaries (changed-only) ────────────────────────────────────────
     const inspection = await inspectSharkcraft({ cwd });
@@ -36,8 +55,8 @@ export async function runFinishGates(input) {
     if (boundaryRules.length === 0) {
         gates.push(skip('boundaries', 'no boundary rules configured'));
     }
-    else if (changedFiles.length === 0) {
-        gates.push(skip('boundaries', 'no files in changed scope'));
+    else if (codeChanged.length === 0) {
+        gates.push(skip('boundaries', 'no code files in changed scope'));
     }
     else {
         const scan = scanImports({ projectRoot: cwd });
@@ -62,11 +81,11 @@ export async function runFinishGates(input) {
         });
     }
     // ── import hygiene (changed-only) ────────────────────────────────────
-    if (changedFiles.length === 0) {
-        gates.push(skip('imports', 'no files in changed scope'));
+    if (codeChanged.length === 0) {
+        gates.push(skip('imports', 'no code files in changed scope'));
     }
     else {
-        const report = buildImportHygieneReport(cwd, { files: changedFiles });
+        const report = buildImportHygieneReport(cwd, { files: codeChanged });
         const errors = report.counts?.['error'] ?? (report.verdict === 'errors' ? report.findings.length : 0);
         const warnings = report.counts?.['warning'] ?? (report.verdict === 'warnings' ? report.findings.length : 0);
         gates.push({
@@ -96,34 +115,61 @@ export async function runFinishGates(input) {
             ? `config did not load: ${loaded.error.message}`
             : 'no sharkcraft config (gate not applicable)';
         gates.push(skip('wiring', detail));
+        gates.push(skip('unprovided', detail));
         gates.push(skip('policy', detail));
     }
     else {
-        gates.push(wiringGate(cwd, loaded.value.config.wiringRules ?? [], changedFiles), policyGate(cwd, loaded.value.config.policyRules ?? [], changedFiles));
+        gates.push(wiringGate(cwd, loaded.value.config.wiringRules ?? [], changedFiles), unprovidedGate(cwd, loaded.value.config.registrationGraph ?? [], changedFiles, baseRefFor(input)), policyGate(cwd, loaded.value.config.policyRules ?? [], changedFiles));
     }
     // ── deleted-orphans (write-safety) ───────────────────────────────────
     gates.push(await orphansGate(input));
+    // ── architecture (advisory): cycles the change participates in ───────
+    gates.push(await archGate(cwd, changedFiles));
     // ── impact summary (informational, best-effort) ──────────────────────
     const impact = await impactSummary(cwd, changedFiles);
-    // ── fold into one verdict ────────────────────────────────────────────
-    const failed = gates.filter((g) => g.status === 'fail');
+    // ── fold into one honest 0/1/2 verdict ───────────────────────────────
+    // Only NON-advisory ("deciding") gates decide the verdict. A deciding fail (or
+    // a config that could not load) is `1`. Otherwise, if NO deciding gate actually
+    // evaluated anything (all skipped), the run verified nothing → `2` (never a
+    // green `0`). Only when at least one deciding gate ran over a real scope and
+    // none failed is it a true `0`.
+    const deciding = gates.filter((g) => !g.advisory);
+    const failed = deciding.filter((g) => g.status === 'fail');
+    const anyEvaluated = deciding.some((g) => g.status === 'pass');
     const warnings = gates.reduce((n, g) => n + g.warnings, 0);
-    const verdict = failed.length > 0 || configError ? 'fail' : 'pass';
+    let verdict;
+    let exit;
+    if (failed.length > 0 || configError) {
+        verdict = 'fail';
+        exit = ExitCode.Failure;
+    }
+    else if (!anyEvaluated) {
+        verdict = 'not-verified';
+        exit = ExitCode.NotVerified;
+    }
+    else {
+        verdict = 'pass';
+        exit = ExitCode.VerifiedPass;
+    }
     const skipped = gates.filter((g) => g.status === 'skipped').map((g) => g.name);
+    const advisoryWarned = gates.filter((g) => g.advisory && g.warnings > 0).map((g) => g.name);
     const summary = verdict === 'fail'
         ? `Not safe to finish: ${configError ? 'config failed to load; ' : ''}${failed.map((g) => `${g.name} (${g.errors} error(s))`).join(', ') || 'see gates'}.`
-        : changedFiles.length === 0 && input.mode !== 'files'
-            ? 'No files in the changed scope — nothing to gate.'
-            : `Safe to finish: every applicable gate passed${warnings > 0 ? ` (${warnings} non-blocking warning(s))` : ''}${skipped.length > 0 ? `; skipped: ${skipped.join(', ')}` : ''}.`;
+        : verdict === 'not-verified'
+            ? `Not verified: no gate evaluated the changed scope${changedFiles.length === 0 ? ' (nothing changed)' : ' (nothing in it is gate-relevant)'} — this is NOT a pass. Re-run over a scope with code changes, or gate explicitly.`
+            : `Safe to finish: every applicable gate passed${warnings > 0 ? ` (${warnings} non-blocking warning(s)${advisoryWarned.length > 0 ? ` — see ${advisoryWarned.join(', ')}` : ''})` : ''}${skipped.length > 0 ? `; skipped: ${skipped.join(', ')}` : ''}.`;
     const nextAction = verdict === 'fail'
         ? 'Fix every failing gate item (each carries file:line), then re-run `shrk finish`.'
-        : 'Safe to declare done.';
+        : verdict === 'not-verified'
+            ? 'Nothing was verified — do not treat this as done.'
+            : 'Safe to declare done.';
     return {
         schema: FINISH_SCHEMA,
         scope: { mode: input.mode, files: changedFiles, fileCount: changedFiles.length },
         gates,
         impact,
         verdict,
+        exit,
         warnings,
         ...(configError ? { configError } : {}),
         summary,
@@ -133,6 +179,10 @@ export async function runFinishGates(input) {
 function skip(name, detail) {
     return { name, status: 'skipped', detail, errors: 0, warnings: 0, items: [] };
 }
+/** A skipped ADVISORY gate — reports its detail but never decides the verdict. */
+function advisorySkip(name, detail) {
+    return { name, status: 'skipped', detail, errors: 0, warnings: 0, items: [], advisory: true };
+}
 function wiringGate(cwd, rules, changedFiles) {
     if (rules.length === 0)
         return skip('wiring', 'no wiring rules configured');
@@ -188,6 +238,126 @@ function policyGate(cwd, rules, changedFiles) {
         ],
     };
 }
+/**
+ * The runtime-wiring `unprovided` gate — the silent-at-runtime class imports
+ * can't see: a token DECLARED or INJECTED but never PROVIDED (typecheck-green,
+ * absent at runtime). Backed by the registration/DI graph, scoped to the
+ * changeset so only tokens THIS change touches decide the verdict. Skips (never
+ * fails) when no idioms are configured or the change touched no wiring — so a
+ * repo that never modeled its DI is not penalized.
+ */
+function unprovidedGate(cwd, idioms, changedFiles, baseRef) {
+    if (idioms.length === 0)
+        return skip('unprovided', 'no registration idioms configured');
+    const graph = buildRegistrationGraph(cwd, idioms);
+    const diag = graph.diagnostics;
+    // Two ways THIS change can leave a token unprovided:
+    //  (1) a declared/injected site added in a changed file with no provider —
+    //      caught by scoping the graph query to the changed files;
+    //  (2) the last PROVIDER removed from a changed file — which leaves NO site in
+    //      the changed file, so (1) structurally can't see it. Recover it by
+    //      diffing the base content of the changed files (providerRegressions).
+    const scoped = registrationUnprovided(graph, changedFiles);
+    const regressions = baseRef ? providerRegressions(cwd, idioms, graph, changedFiles, baseRef) : [];
+    const byToken = new Map();
+    for (const u of [...scoped, ...regressions])
+        if (!byToken.has(u.token))
+            byToken.set(u.token, u);
+    const unprovided = [...byToken.values()].sort((a, b) => a.token.localeCompare(b.token));
+    // Skip (evaluated nothing) only when the change touched no registration site
+    // AND removed no provider AND has no misconfigured idiom — never a silent pass.
+    if (!registrationTouchesChanged(graph, changedFiles) && unprovided.length === 0 && diag.length === 0) {
+        return skip('unprovided', 'no registration sites in the changed scope');
+    }
+    return {
+        name: 'unprovided',
+        status: unprovided.length > 0 || diag.length > 0 ? 'fail' : 'pass',
+        detail: `${unprovided.length} unprovided token(s) attributable to the change${diag.length > 0 ? `, ${diag.length} misconfigured idiom(s)` : ''}`,
+        errors: unprovided.length + diag.length,
+        warnings: 0,
+        items: [
+            ...unprovided.map((u) => {
+                const site = u.declared[0] ?? u.consumed[0];
+                return {
+                    ...(site ? { file: site.file, line: site.line } : {}),
+                    message: `"${u.token}" declared/injected but never provided (silent at runtime)`,
+                };
+            }),
+            ...diag.map((d) => ({ message: `misconfigured idiom: ${d}` })),
+        ],
+    };
+}
+/**
+ * Tokens whose LAST provider this change removed. Reads the base content of each
+ * changed code file, extracts what it USED to provide, and keeps any token now
+ * provided nowhere in the worktree but still declared/consumed — the runtime
+ * break (`inject(T)` → undefined) that deleting a provider registration causes,
+ * which leaves no site in the changed file for post-change scoping to catch.
+ */
+function providerRegressions(cwd, idioms, graph, changedFiles, baseRef) {
+    const codeChanged = codeFilesOf(changedFiles);
+    if (codeChanged.length === 0)
+        return [];
+    const baseEntries = [];
+    for (const f of codeChanged) {
+        const content = gitShowFile(cwd, baseRef, f);
+        if (content !== null)
+            baseEntries.push({ path: f, content });
+    }
+    if (baseEntries.length === 0)
+        return [];
+    const wasProvided = providedTokensFromEntries(idioms, baseEntries);
+    const out = [];
+    for (const token of wasProvided) {
+        const node = graph.tokens.find((t) => t.token === token);
+        if (node && node.provided.length === 0 && (node.declared.length > 0 || node.consumed.length > 0)) {
+            out.push({ token, declared: node.declared, consumed: node.consumed });
+        }
+    }
+    return out;
+}
+/**
+ * Advisory architecture gate: does any changed file participate in a runtime
+ * import cycle? Distinct from the `boundaries` gate (which sees layer violations,
+ * not cycles). Deliberately ADVISORY — a pre-existing cycle a change merely
+ * touches must not be attributed to this changeset, so it reports as a
+ * non-blocking warning and never fails the composite. Type-only import edges are
+ * excluded (they erase at emit and can't cause a runtime cycle). Best-effort:
+ * a missing graph index degrades to skip, never fail.
+ */
+async function archGate(cwd, changedFiles) {
+    const codeChanged = codeFilesOf(changedFiles);
+    if (codeChanged.length === 0)
+        return advisorySkip('arch', 'no code files in changed scope');
+    try {
+        const { GraphStore, GraphQueryApi } = await import('@shrkcrft/graph');
+        if (!new GraphStore(cwd).exists()) {
+            return advisorySkip('arch', 'code-graph index missing — run `shrk graph index`');
+        }
+        const api = GraphQueryApi.fromStore(cwd);
+        const cycles = api.cycles(); // runtime cycles only (type-only edges excluded)
+        const scope = new Set(codeChanged.map((f) => f.replace(/\\/g, '/').replace(/^\.\//, '')));
+        const touching = cycles.filter((c) => (c.paths ?? c.nodeIds.map((id) => id.replace(/^file:/, ''))).some((p) => scope.has(p)));
+        if (touching.length === 0) {
+            return advisorySkip('arch', `no changed file participates in an import cycle (${cycles.length} runtime cycle(s) in repo)`);
+        }
+        return {
+            name: 'arch',
+            status: 'pass', // advisory: reports cycles as warnings, never fails the composite
+            advisory: true,
+            detail: `${touching.length} changed file(s) participate in a runtime import cycle (advisory — not attributed to this change)`,
+            errors: 0,
+            warnings: touching.length,
+            items: touching.slice(0, 15).map((c) => {
+                const paths = c.paths ?? c.nodeIds.map((id) => id.replace(/^file:/, ''));
+                return { message: `import cycle (size ${c.size}): ${paths.join(' → ')}` };
+            }),
+        };
+    }
+    catch (e) {
+        return advisorySkip('arch', `arch check unavailable: ${e instanceof Error ? e.message : String(e)}`);
+    }
+}
 async function orphansGate(input) {
     const opts = orphanOptsFor(input);
     if (!opts)

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,EAKhB,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,CAiCrE;AAqID;;;;;;;;;;;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;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"}

package/dist/main.js

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 import { loadDotenv } from "./env/load-dotenv.js";
-import { CommandRegistry, extractGlobalCompress, extractGlobalCwd, parseArgs, } from "./command-registry.js";
-import { argvHasStrict, promoteForStrict } from "./exit-codes.js";
+import { CommandRegistry, extractGlobalCompress, extractGlobalCwd, extractGlobalExitTrailer, parseArgs, } from "./command-registry.js";
+import { argvHasExitTrailer, argvHasStrict, emitPipeExitSignal, promoteForStrict } from "./exit-codes.js";
 import { runCommandWithCompression } from "./output/output-compression.js";
 import { initCommand } from "./commands/init.command.js";
 import { inspectCommand } from "./commands/inspect.command.js";
@@ -516,15 +516,29 @@ export async function runCli(argv) {
     // and each command's own `--strict` semantics (e.g. `check --strict`) still
     // apply beneath this (a25 §1.1).
     const strict = argvHasStrict(argv);
+    // Derive the command path from an argv with the global --exit-trailer stripped:
+    // otherwise a LEADING `--exit-trailer` makes extractCommandPath break on the '-'
+    // and return "" — zeroing out both the pipe-exit signal and the usage record.
+    const command = extractCommandPath(extractGlobalExitTrailer(probeArgv).rest);
     let exitCode = 0;
     try {
         exitCode = promoteForStrict(await runCliInner(argv), strict);
+        // Keep the honest 0/1/2 verdict readable through a trailing pipe (the shape
+        // an agent reaches for first). A no-op for non-gate verbs. Skipped inside the
+        // smart-context worker child and the --compress re-run child, whose stdout is
+        // a pipe by construction — a spurious "stdout is piped" note there (the user
+        // never piped) would be noise, not signal.
+        if (!process.env.SHRK_WORKER_EXITCODE_FILE && !process.env.SHRK_COMPRESS_CHILD) {
+            emitPipeExitSignal(command, exitCode, {
+                piped: !process.stdout.isTTY,
+                trailer: argvHasExitTrailer(argv),
+            });
+        }
         return exitCode;
     }
     finally {
         // append one local usage entry. Failure is silent.
         try {
-            const command = extractCommandPath(probeArgv);
             if (command.length > 0) {
                 const flags = sanitizeFlagNames(probeArgv);
                 const enabled = await isUsageEnabled(probeCwd ?? process.cwd());
@@ -566,8 +580,11 @@ async function runCliInner(argv) {
     const registry = buildRegistry();
     // Pre-parse the global --cwd so it can appear anywhere (incl. before the command).
     const { cwd: globalCwd, rest: cwdCleanArgv } = extractGlobalCwd(argv);
+    // Strip the global --exit-trailer here so no per-command flag-guard sees it;
+    // runCli reads it off the raw argv to decide whether to print the trailer.
+    const { rest: trailerCleanArgv } = extractGlobalExitTrailer(cwdCleanArgv);
     // Pre-parse the global --compress / --ccr output-compression flags.
-    const { directive: compressDirective, rest: cleanArgv } = extractGlobalCompress(cwdCleanArgv);
+    const { directive: compressDirective, rest: cleanArgv } = extractGlobalCompress(trailerCleanArgv);
     const [first] = cleanArgv;
     // `--compress` / `--ccr` on a real command: re-run it and compress its stdout.
     // (Meta verbs like --help/--version and bare invocations are left untouched.)

package/dist/output/output-compression.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"output-compression.d.ts","sourceRoot":"","sources":["../../src/output/output-compression.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAQvE;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,SAAS,EAAE,wBAAwB,EACnC,GAAG,EAAE,MAAM,GACV,MAAM,CAgDR"}
+{"version":3,"file":"output-compression.d.ts","sourceRoot":"","sources":["../../src/output/output-compression.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAQvE;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,SAAS,EAAE,wBAAwB,EACnC,GAAG,EAAE,MAAM,GACV,MAAM,CAmDR"}

package/dist/output/output-compression.js

@@ -32,7 +32,10 @@ export function runCommandWithCompression(childArgv, directive, cwd) {
     const res = spawnSync(runtime, [entry, ...childArgv], {
         encoding: 'utf8',
         maxBuffer: MAX_BUFFER,
-        env: process.env,
+        // Mark the child so it suppresses the piped-stdout exit note: its stdout is
+        // captured here (always "piped") but the USER may not have piped anything —
+        // the parent decides the note from the real user-facing stdout instead.
+        env: { ...process.env, SHRK_COMPRESS_CHILD: '1' },
     });
     if (res.error) {
         process.stderr.write(`--compress: failed to run the command (${res.error.message}); emitting nothing.\n`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shrkcrft/cli",
-  "version": "0.1.0-alpha.26",
+  "version": "0.1.0-alpha.27",
   "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.26",
-    "@shrkcrft/compress": "^0.1.0-alpha.26",
-    "@shrkcrft/config": "^0.1.0-alpha.26",
-    "@shrkcrft/workspace": "^0.1.0-alpha.26",
-    "@shrkcrft/knowledge": "^0.1.0-alpha.26",
-    "@shrkcrft/context": "^0.1.0-alpha.26",
-    "@shrkcrft/rules": "^0.1.0-alpha.26",
-    "@shrkcrft/paths": "^0.1.0-alpha.26",
-    "@shrkcrft/templates": "^0.1.0-alpha.26",
-    "@shrkcrft/plugin-api": "^0.1.0-alpha.26",
-    "@shrkcrft/dashboard": "^0.1.0-alpha.26",
-    "@shrkcrft/dashboard-api": "^0.1.0-alpha.26",
-    "@shrkcrft/pipelines": "^0.1.0-alpha.26",
-    "@shrkcrft/presets": "^0.1.0-alpha.26",
-    "@shrkcrft/boundaries": "^0.1.0-alpha.26",
-    "@shrkcrft/graph": "^0.1.0-alpha.26",
-    "@shrkcrft/rule-graph": "^0.1.0-alpha.26",
-    "@shrkcrft/structural-search": "^0.1.0-alpha.26",
-    "@shrkcrft/impact-engine": "^0.1.0-alpha.26",
-    "@shrkcrft/context-planner": "^0.1.0-alpha.26",
-    "@shrkcrft/architecture-guard": "^0.1.0-alpha.26",
-    "@shrkcrft/framework-scanners": "^0.1.0-alpha.26",
-    "@shrkcrft/api-surface-diff": "^0.1.0-alpha.26",
-    "@shrkcrft/quality-gates": "^0.1.0-alpha.26",
-    "@shrkcrft/migrate": "^0.1.0-alpha.26",
-    "@shrkcrft/generator": "^0.1.0-alpha.26",
-    "@shrkcrft/importer": "^0.1.0-alpha.26",
-    "@shrkcrft/inspector": "^0.1.0-alpha.26",
-    "@shrkcrft/ai": "^0.1.0-alpha.26",
-    "@shrkcrft/embeddings": "^0.1.0-alpha.26",
-    "@shrkcrft/shared": "^0.1.0-alpha.26",
-    "@shrkcrft/mcp-server": "^0.1.0-alpha.26",
+    "@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",
     "@huggingface/transformers": "^3.7.5"
   },
   "publishConfig": {