@telora/daemon 0.22.104 → 0.22.131

package/dist/verify/verification-rework-messages.js

@@ -0,0 +1,52 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/verification-feedback.test.ts
+// PINNED-BY-END
+import { buildGateVerdictLines, HELD_BY_SHORTFALL } from '../prompt-sections/gate-verdict-section.js';
+/** The verdict block followed by a blank line, or nothing when there is no verdict. */
+function verdictBlock(lines) {
+    return lines.length > 0 ? [...lines, ''] : [];
+}
+/** Build the failure message injected into a live team session. Pure -- exported for testing. */
+export function buildFailureInjectMessage(deliveryName, detail) {
+    const lines = [
+        `VERIFICATION FAILED for delivery "${deliveryName}".`,
+        '',
+        ...verdictBlock(buildGateVerdictLines(detail.gateVerdict)),
+        detail.exitCode != null ? `Exit code: ${detail.exitCode}` : 'Exit code: (unknown)',
+        detail.logPath ? `Full log: ${detail.logPath}` : 'Full log: (not captured)',
+    ];
+    if (detail.failingTests.length > 0) {
+        lines.push('', `Failing tests (${detail.failingTests.length}):`);
+        for (const t of detail.failingTests.slice(0, 50))
+            lines.push(`- ${t}`);
+        if (detail.failingTests.length > 50) {
+            lines.push(`- ... and ${detail.failingTests.length - 50} more (see full log)`);
+        }
+    }
+    else {
+        lines.push('', 'Failing tests could not be parsed from the run output -- read the full log.');
+    }
+    lines.push('', 'Fix the failing tests for the files you changed, then commit. The daemon re-verifies ' +
+        'at the coding -> verify edge -- do NOT run the whole-repo suite yourself.');
+    return lines.join('\n');
+}
+/** Build the message injected into a live team for a shortfall hold. Pure -- exported for testing. */
+export function buildShortfallInjectMessage(deliveryName, detail) {
+    const lines = [
+        `VERIFY HELD for delivery "${deliveryName}": the achieved outcome falls short of the declared desired effect.`,
+        '',
+        'This is NOT a failing-test failure -- the deterministic check is not the blocker. The verify ' +
+            'reconciliation compared what your diff delivered against the declared intent for each targeted ' +
+            'node and found a gap. Close the gap in the diff, then commit.',
+        '',
+        ...verdictBlock(buildGateVerdictLines(detail.gateVerdict, { heldBy: HELD_BY_SHORTFALL })),
+        `Declared-vs-achieved gap(s) (${detail.shortfalls.length}):`,
+    ];
+    for (const s of detail.shortfalls) {
+        lines.push(`- node ${s.nodeId}`, `  declared: ${s.declared}`, `  achieved: ${s.achieved}`, `  shortfall: ${s.reason}`);
+        if (s.diffCitation)
+            lines.push(`  diff citation: ${s.diffCitation}`);
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=verification-rework-messages.js.map

package/dist/verify/verification-rework-messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-rework-messages.js","sourceRoot":"","sources":["../../src/verify/verification-rework-messages.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,gBAAgB;AAoBhB,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AAEtG,uFAAuF;AACvF,SAAS,YAAY,CAAC,KAAe;IACnC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,yBAAyB,CAAC,YAAoB,EAAE,MAAiC;IAC/F,MAAM,KAAK,GAAa;QACtB,qCAAqC,YAAY,IAAI;QACrD,EAAE;QACF,GAAG,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,sBAAsB;QAClF,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,0BAA0B;KAC5E,CAAC;IACF,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,MAAM,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvE,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,sBAAsB,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,6EAA6E,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,CAAC,IAAI,CACR,EAAE,EACF,uFAAuF;QACvF,2EAA2E,CAC5E,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,2BAA2B,CACzC,YAAoB,EACpB,MAAqC;IAErC,MAAM,KAAK,GAAa;QACtB,6BAA6B,YAAY,qEAAqE;QAC9G,EAAE;QACF,+FAA+F;YAC/F,iGAAiG;YACjG,+DAA+D;QAC/D,EAAE;QACF,GAAG,YAAY,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACzF,gCAAgC,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI;KAC7D,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,CAAC,MAAM,EAAE,EACpB,eAAe,CAAC,CAAC,QAAQ,EAAE,EAC3B,eAAe,CAAC,CAAC,QAAQ,EAAE,EAC3B,gBAAgB,CAAC,CAAC,MAAM,EAAE,CAC3B,CAAC;QACF,IAAI,CAAC,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/worktree/install-inputs.d.ts

@@ -0,0 +1,89 @@
+/** Git result slice the tree listing reads (structural over runGitSync). */
+type GitRun = (args: string[], cwd: string) => {
+    success: boolean;
+    output: string;
+    error?: string;
+};
+/** The lockfiles that make a directory an install root (npm ci prefers the shrinkwrap). */
+export declare const INSTALL_LOCKFILES: readonly ["npm-shrinkwrap.json", "package-lock.json"];
+/**
+ * The package.json scripts an install runs, at any depth. npm documents the
+ * `npm ci` / `npm install` order in `npm help scripts` ("Life Cycle Operations":
+ * preinstall, install, postinstall, prepublish, preprepare, prepare, postprepare;
+ * "Life Cycle Scripts": `dependencies` runs after any operation that modifies
+ * node_modules), and npm 10's source runs exactly these:
+ *   - the root, after the tree is reified (lib/commands/ci.js, install.js):
+ *     preinstall, install, postinstall, prepublish, preprepare, prepare, postprepare;
+ *   - the root, whenever node_modules changed -- which `npm ci` always does
+ *     (@npmcli/arborist reify.js): predependencies, dependencies, postdependencies;
+ *   - every workspace and in-repo `file:` link (@npmcli/arborist rebuild.js):
+ *     preinstall, prepare, install, postinstall -- and `prepare` again for a
+ *     directory dependency packed under install-links (pacote dir.js).
+ * The pack scripts (prepack, postpack) are not in it: pacote runs "*only*
+ * prepare" when it packs a directory dependency, and the CLI runs them for
+ * pack/publish; a git dependency runs them from its remote manifest, which the
+ * lockfile pins. Every other script is gate or tool source the checkout pins.
+ */
+export declare const INSTALL_LIFECYCLE_SCRIPTS: readonly ["preinstall", "install", "postinstall", "prepublish", "preprepare", "prepare", "postprepare", "predependencies", "dependencies", "postdependencies"];
+/** The fingerprint format; a marker holding any other value (an older format) is never current. */
+export declare const INSTALL_FINGERPRINT_FORMAT = "install-inputs/v2";
+/** A tracked tree an install reads from: a worktree's working tree, or a commit. */
+export interface InstallInputTree {
+    /** Whether `path` (repo-relative) is a tracked file. */
+    has: (path: string) => boolean;
+    /** Every tracked file under `dir` ('' = the whole repo), sorted. */
+    filesUnder: (dir: string) => string[];
+    /** A tracked file's bytes, or null when it is absent; throws when it cannot be read. */
+    read: (path: string) => Buffer | null;
+}
+/** An input the model could not follow, named by the manifest that declares it. */
+export interface UnresolvableInstallInput {
+    manifest: string;
+    reason: string;
+}
+/** What one install root's install consumes (module doc). */
+export interface InstallInputs {
+    /** Lockfiles, .npmrc, and each touched package's package.json and binding.gyp that are tracked. Sorted. */
+    manifests: string[];
+    /**
+     * Every tracked file the install's scripts and native builds read -- a manifest
+     * too, when a script names it or a native build reaches it (all of R's files
+     * when anything is unresolvable). Compared byte for byte. Sorted.
+     */
+    consumed: string[];
+    /** Empty when every command and input was followed. */
+    unresolvable: UnresolvableInstallInput[];
+}
+/**
+ * A tree over a tracked path list and a byte reader. Paths under a node_modules
+ * segment are not install inputs and are dropped; `read` answers null for an
+ * untracked path without calling the reader.
+ */
+export declare function trackedInstallTree(paths: readonly string[], read: (path: string) => Buffer | null): InstallInputTree;
+/**
+ * A worktree's tracked tree as its installs read it: git's tracked paths, their
+ * bytes from the working tree. Null when git cannot list the worktree.
+ */
+export declare function readWorktreeInstallTree(worktreePath: string, runGit?: GitRun): InstallInputTree | null;
+/** Every install root of the tree: the directories holding a tracked lockfile ('' = the repo root). Sorted. */
+export declare function listInstallRoots(tree: InstallInputTree): string[];
+/**
+ * What an install at `root` consumes (module doc). Throws when a tracked input
+ * cannot be read (the caller reports the tree unreadable).
+ */
+export declare function readInstallInputs(tree: InstallInputTree, root: string): InstallInputs;
+/**
+ * The provisioning fingerprint of an install at `root`: every manifest and
+ * consumed file, path and bytes, under {@link INSTALL_FINGERPRINT_FORMAT}. Equal
+ * fingerprints mean no input the install reads changed.
+ */
+export declare function installInputsFingerprint(tree: InstallInputTree, root: string): string;
+/**
+ * Commands that read no tracked file an install's effect depends on, each with why.
+ * A command here is admitted with any arguments.
+ */
+export declare const READS_NOTHING: ReadonlyMap<string, string>;
+/** Split a command into simple commands of words; null when it uses shell syntax the model does not follow. */
+export declare function splitShellCommands(command: string): string[][] | null;
+export {};
+//# sourceMappingURL=install-inputs.d.ts.map

package/dist/worktree/install-inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"install-inputs.d.ts","sourceRoot":"","sources":["../../src/worktree/install-inputs.ts"],"names":[],"mappings":"AA2FA,4EAA4E;AAC5E,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,2FAA2F;AAC3F,eAAO,MAAM,iBAAiB,uDAAwD,CAAC;AAEvF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,yBAAyB,gKAG5B,CAAC;AAEX,mGAAmG;AACnG,eAAO,MAAM,0BAA0B,sBAAsB,CAAC;AAE9D,oFAAoF;AACpF,MAAM,WAAW,gBAAgB;IAC/B,wDAAwD;IACxD,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IAC/B,oEAAoE;IACpE,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IACtC,wFAAwF;IACxF,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CACvC;AAED,mFAAmF;AACnF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC5B,2GAA2G;IAC3G,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;OAIG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,uDAAuD;IACvD,YAAY,EAAE,wBAAwB,EAAE,CAAC;CAC1C;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GAAG,gBAAgB,CAkBpH;AAaD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,GAAE,MAAmB,GAAG,gBAAgB,GAAG,IAAI,CAIlH;AAED,+GAA+G;AAC/G,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,EAAE,CASjE;AAoHD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAYrF;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CASrF;AASD;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CASpD,CAAC;AAEH,+GAA+G;AAC/G,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,GAAG,IAAI,CAmCrE"}