@deftai/directive-core 0.101.0 → 0.103.0

package/dist/policy/coverage-check-resume-presets.js

@@ -1,228 +0,0 @@
-/**
- * Bundled presets for coverageDebt + checkResume (#3189).
- *
- * One project decision (not five micro-toggles in v1).
- * Later does not write decided; Strict / Hatch-aware / dismiss-with-reason do.
- *
- * Both fields are written in a single PROJECT-DEFINITION mutation lock so a
- * partial decision (coverageDebt decided, checkResume still unset) cannot
- * persist after a mid-write failure.
- */
-import { readFileSync } from "node:fs";
-import { atomicWriteProjectDefinition, projectDefinitionMutationLock, } from "../vbrief-build/project-definition-io.js";
-import { CHECK_RESUME_CI_TRUSTS_LOCAL_STAMP_V1, formatCheckResumeStatusLine, resolveCheckResume, resolveCheckResumeFromTypedBlock, } from "./check-resume.js";
-import { DEFAULT_COVERAGE_DEBT_AUTO_FILE, formatCoverageDebtStatusLine, resolveCoverageDebt, resolveCoverageDebtFromTypedBlock, } from "./coverage-debt.js";
-import { migrateLegacyPolicyKey, PLAN_POLICY_KEY } from "./plan-extensions.js";
-import { policyColonInvocation } from "./policy-invocation.js";
-import { appendAuditLog, projectDefinitionPath } from "./resolve.js";
-export const COVERAGE_CHECK_RESUME_PRESETS = ["strict", "hatch-aware"];
-/** True when either policy is still unset (coupled v1 nag). */
-export function isCoverageCheckResumeUndecided(projectRoot) {
-    const debt = resolveCoverageDebt(projectRoot);
-    const resume = resolveCheckResume(projectRoot);
-    return debt.status === "unset" || resume.status === "unset";
-}
-/**
- * Atomically write both coverageDebt and checkResume under one mutation lock.
- */
-function writeCoverageCheckResumeBundle(projectRoot, input) {
-    const path = projectDefinitionPath(projectRoot);
-    try {
-        const writeResult = projectDefinitionMutationLock(projectRoot, () => {
-            const parsed = JSON.parse(readFileSync(path, { encoding: "utf8" }));
-            if (parsed === null || typeof parsed !== "object" || Array.isArray(parsed)) {
-                throw new Error(`PROJECT-DEFINITION at ${path} top-level value is not a JSON object`);
-            }
-            const data = parsed;
-            if (typeof data.plan !== "object" || data.plan === null || Array.isArray(data.plan)) {
-                if (data.plan === undefined) {
-                    data.plan = {};
-                }
-                else {
-                    throw new Error("PROJECT-DEFINITION 'plan' is not an object");
-                }
-            }
-            const plan = data.plan;
-            migrateLegacyPolicyKey(plan);
-            const existingPolicy = plan[PLAN_POLICY_KEY];
-            if (typeof existingPolicy !== "object" ||
-                existingPolicy === null ||
-                Array.isArray(existingPolicy)) {
-                if (existingPolicy === undefined) {
-                    plan[PLAN_POLICY_KEY] = {};
-                }
-                else {
-                    throw new Error("plan.policy is not an object");
-                }
-            }
-            const policyBlock = plan[PLAN_POLICY_KEY];
-            const previousDebt = policyBlock.coverageDebt;
-            const previousResume = policyBlock.checkResume;
-            const autoFile = input.mode === "hatch" ? (input.autoFile ?? DEFAULT_COVERAGE_DEBT_AUTO_FILE) : false;
-            const dismissReason = typeof input.dismissReason === "string" && input.dismissReason.trim().length > 0
-                ? input.dismissReason.trim()
-                : null;
-            const nextDebt = {
-                status: "decided",
-                mode: input.mode,
-                autoFile,
-                dismissReason,
-            };
-            const nextResume = {
-                status: "decided",
-                localStamp: input.localStamp,
-                ciTrustsLocalStamp: CHECK_RESUME_CI_TRUSTS_LOCAL_STAMP_V1,
-                dismissReason,
-            };
-            const prevDebt = resolveCoverageDebtFromTypedBlock(previousDebt);
-            const prevResume = resolveCheckResumeFromTypedBlock(previousResume);
-            const changedFlag = prevDebt.status !== nextDebt.status ||
-                prevDebt.mode !== nextDebt.mode ||
-                prevDebt.autoFile !== nextDebt.autoFile ||
-                prevDebt.dismissReason !== nextDebt.dismissReason ||
-                prevResume.status !== nextResume.status ||
-                prevResume.localStamp !== nextResume.localStamp ||
-                prevResume.dismissReason !== nextResume.dismissReason;
-            // Single write of both keys — no partial decide on mid-failure.
-            policyBlock.coverageDebt = nextDebt;
-            policyBlock.checkResume = nextResume;
-            if (changedFlag) {
-                atomicWriteProjectDefinition(path, data);
-            }
-            let auditOk = true;
-            // Audit after durable write: failure must not reverse the decision, but
-            // the operator report must not claim the audit trail was updated.
-            try {
-                const note = input.note.replace(/\n/g, " ").replace(/\r/g, " ");
-                appendAuditLog(projectRoot, [
-                    `actor=${input.actor}`,
-                    `preset=${input.preset}`,
-                    "coverageDebt.status=decided",
-                    `mode=${nextDebt.mode}`,
-                    `autoFile=${String(nextDebt.autoFile)}`,
-                    "checkResume.status=decided",
-                    `localStamp=${nextResume.localStamp}`,
-                    "ciTrustsLocalStamp=false",
-                    `dismissReason=${JSON.stringify(dismissReason)}`,
-                    `previousDebt=${JSON.stringify(previousDebt ?? null)}`,
-                    `previousResume=${JSON.stringify(previousResume ?? null)}`,
-                    note ? `note=${note}` : "",
-                ]
-                    .filter(Boolean)
-                    .join(" "));
-            }
-            catch {
-                auditOk = false;
-            }
-            return { changed: changedFlag, auditOk };
-        });
-        const summary = formatCoverageCheckResumeBundleStatus(projectRoot);
-        const auditLine = writeResult.auditOk
-            ? writeResult.changed
-                ? "  audit: meta/policy-changes.log updated."
-                : "  no-op: value already matched (audit entry still appended for trail)."
-            : "  warning: policy write succeeded but audit log append failed; decision is durable.";
-        const lines = [
-            `\u2713 coverageDebt+checkResume decided via preset=${input.preset} (atomic write).`,
-            auditLine,
-            summary,
-        ];
-        return {
-            exitCode: 0,
-            stdout: `${lines.join("\n")}\n`,
-            changed: writeResult.changed,
-            preset: input.preset,
-        };
-    }
-    catch (err) {
-        const message = err instanceof Error ? err.message : String(err);
-        if (message.includes("PROJECT-DEFINITION not found") ||
-            message.includes("ENOENT") ||
-            message.includes("no such file")) {
-            return {
-                exitCode: 2,
-                stdout: `\u274c PROJECT-DEFINITION not found under ${projectRoot}\n`,
-                changed: false,
-                preset: input.preset,
-            };
-        }
-        return {
-            exitCode: 2,
-            stdout: `\u274c Config error: ${message}\n`,
-            changed: false,
-            preset: input.preset,
-        };
-    }
-}
-/**
- * Apply Strict: coverageDebt.mode=off, checkResume.localStamp=off, both decided.
- * Recommended for most apps.
- */
-export function applyStrictCoverageCheckResumePreset(projectRoot, options = {}) {
-    return writeCoverageCheckResumeBundle(projectRoot, {
-        mode: "off",
-        autoFile: false,
-        localStamp: "off",
-        actor: options.actor ?? policyColonInvocation("coverage-check-resume-preset", " strict"),
-        note: options.note ?? "preset=strict",
-        preset: "strict",
-    });
-}
-/**
- * Apply Hatch-aware: coverageDebt.mode=hatch autoFile=false; localStamp=on for DX.
- * CI still never trusts local stamps.
- */
-export function applyHatchAwareCoverageCheckResumePreset(projectRoot, options = {}) {
-    return writeCoverageCheckResumeBundle(projectRoot, {
-        mode: "hatch",
-        autoFile: false,
-        localStamp: "on",
-        actor: options.actor ?? policyColonInvocation("coverage-check-resume-preset", " hatch-aware"),
-        note: options.note ?? "preset=hatch-aware",
-        preset: "hatch-aware",
-    });
-}
-/**
- * Dismiss-with-reason: marks both decided as fail-closed (mode off / localStamp off)
- * and records the reason for policy:show / doctor visibility. Stops the session nag.
- */
-export function dismissCoverageCheckResume(projectRoot, reason, options = {}) {
-    const trimmed = reason.trim();
-    if (trimmed.length === 0) {
-        return {
-            exitCode: 1,
-            stdout: "\u274c dismiss-with-reason requires a non-empty reason " +
-                "(Later without a reason does not decide; re-nag next ritual).\n",
-            changed: false,
-            preset: "dismiss",
-        };
-    }
-    return writeCoverageCheckResumeBundle(projectRoot, {
-        mode: "off",
-        autoFile: false,
-        localStamp: "off",
-        dismissReason: trimmed,
-        actor: options.actor ?? policyColonInvocation("coverage-check-resume-dismiss"),
-        note: options.note ?? `dismiss=${trimmed}`,
-        preset: "dismiss",
-    });
-}
-/**
- * Later: does NOT write status=decided. Caller skips for this session;
- * next session-start ritual nags again.
- */
-export function applyLaterCoverageCheckResumeSkip() {
-    return {
-        exitCode: 0,
-        stdout: "[deft policy] coverageDebt/checkResume: Later -- not decided. " +
-            "Fail-closed defaults remain (mode off, localStamp off, CI never trusts local stamps). " +
-            "Next interactive session-start ritual will remind you.\n",
-        changed: false,
-        preset: "later",
-    };
-}
-export function formatCoverageCheckResumeBundleStatus(projectRoot) {
-    return (`${formatCoverageDebtStatusLine(resolveCoverageDebt(projectRoot))}\n` +
-        `${formatCheckResumeStatusLine(resolveCheckResume(projectRoot))}`);
-}
-//# sourceMappingURL=coverage-check-resume-presets.js.map

package/dist/session/coverage-check-resume-nudge.d.ts

@@ -1,34 +0,0 @@
-/**
- * Session-start skippable nudge for coverageDebt + checkResume (#3189).
- *
- * Why / what + Strict / Hatch-aware / Later (+ Discuss / Back for #1470).
- * Later does not mark decided; re-nag next interactive mutation ritual.
- * Headless / CI / non-TTY fail-open (no block).
- */
-import { type HeadlessDetectionOptions } from "../product-signal/headless.js";
-/** Why block -- must appear in the nudge. */
-export declare const COVERAGE_CHECK_RESUME_NUDGE_WHY: string;
-/** What block -- bundled presets, not five micro-toggles. */
-export declare const COVERAGE_CHECK_RESUME_NUDGE_WHAT: string;
-export declare const COVERAGE_CHECK_RESUME_NUDGE_BODY: string;
-export interface CoverageCheckResumeNudgeEligibilityOptions extends HeadlessDetectionOptions {
-    readonly projectRoot: string;
-}
-/**
- * True when an interactive mutation session-start ritual should surface the
- * coverage/check-resume decision nudge (#3189).
- */
-export declare function isCoverageCheckResumeNudgeEligible(options: CoverageCheckResumeNudgeEligibilityOptions): boolean;
-/** Format the full operator-facing nudge. */
-export declare function formatCoverageCheckResumeNudge(): string;
-/**
- * Emit the nudge when eligible; headless / decided callers get an empty string.
- * Never blocks -- session-start always continues.
- *
- * Design note (#3189): session-start is non-interactive for agent hosts (same
- * class as product-signal D17). Choice dispatch is via CLI verbs named in the
- * nudge body (`policy:coverage-check-resume-preset|later|dismiss`), not a
- * blocking TTY menu inside session:start.
- */
-export declare function maybeFormatCoverageCheckResumeNudge(options: CoverageCheckResumeNudgeEligibilityOptions): string;
-//# sourceMappingURL=coverage-check-resume-nudge.d.ts.map

package/dist/session/coverage-check-resume-nudge.js

@@ -1,66 +0,0 @@
-/**
- * Session-start skippable nudge for coverageDebt + checkResume (#3189).
- *
- * Why / what + Strict / Hatch-aware / Later (+ Discuss / Back for #1470).
- * Later does not mark decided; re-nag next interactive mutation ritual.
- * Headless / CI / non-TTY fail-open (no block).
- */
-import { isCoverageCheckResumeUndecided } from "../policy/coverage-check-resume-presets.js";
-import { policyColonInvocation } from "../policy/policy-invocation.js";
-import { isHeadlessSession } from "../product-signal/headless.js";
-/** Why block -- must appear in the nudge. */
-export const COVERAGE_CHECK_RESUME_NUDGE_WHY = "Why: Long checks often fail late on small gates, or barely miss coverage. " +
-    "The project can fail closed, warn, or hatch with a tracked debt issue on THIS repo. " +
-    "Local machines may resume a suite that already passed at the same commit; " +
-    "CI must not trust a laptop stamp.";
-/** What block -- bundled presets, not five micro-toggles. */
-export const COVERAGE_CHECK_RESUME_NUDGE_WHAT = "What we need: one bundled project decision (not USER.md personal prefs; not npm publish; " +
-    "not turning off required CI):\n" +
-    "  * Strict (recommended for most apps) -- coverageDebt.mode=off, checkResume.localStamp=off\n" +
-    "  * Hatch-aware -- coverageDebt.mode=hatch (autoFile=false by default), localStamp=on for DX\n" +
-    "  * Later -- skip this session; does NOT set status=decided; nag again next ritual\n" +
-    "  * Discuss -- talk through the trade-offs\n" +
-    "  * Back -- leave this prompt without choosing\n" +
-    "Apply path (writes PROJECT-DEFINITION):\n" +
-    "  Strict -> `" +
-    policyColonInvocation("coverage-check-resume-preset", " -- --preset strict") +
-    "`\n" +
-    "  Hatch-aware -> `" +
-    policyColonInvocation("coverage-check-resume-preset", " -- --preset hatch-aware") +
-    "`\n" +
-    "  Later -> `" +
-    policyColonInvocation("coverage-check-resume-later") +
-    "` (no PD write)\n" +
-    "  Dismiss-with-reason -> `" +
-    policyColonInvocation("coverage-check-resume-dismiss", ' -- --reason "…"') +
-    "`\n" +
-    "Stop nag only after Strict / Hatch-aware (status=decided) or dismiss-with-reason " +
-    `(visible via \`${policyColonInvocation("show", " --field=coverageDebt")}\` / doctor).`;
-export const COVERAGE_CHECK_RESUME_NUDGE_BODY = `${COVERAGE_CHECK_RESUME_NUDGE_WHY}\n\n${COVERAGE_CHECK_RESUME_NUDGE_WHAT}`;
-/**
- * True when an interactive mutation session-start ritual should surface the
- * coverage/check-resume decision nudge (#3189).
- */
-export function isCoverageCheckResumeNudgeEligible(options) {
-    if (isHeadlessSession(options)) {
-        return false;
-    }
-    return isCoverageCheckResumeUndecided(options.projectRoot);
-}
-/** Format the full operator-facing nudge. */
-export function formatCoverageCheckResumeNudge() {
-    return `[deft policy] coverageDebt + checkResume undecided:\n${COVERAGE_CHECK_RESUME_NUDGE_BODY}\n`;
-}
-/**
- * Emit the nudge when eligible; headless / decided callers get an empty string.
- * Never blocks -- session-start always continues.
- *
- * Design note (#3189): session-start is non-interactive for agent hosts (same
- * class as product-signal D17). Choice dispatch is via CLI verbs named in the
- * nudge body (`policy:coverage-check-resume-preset|later|dismiss`), not a
- * blocking TTY menu inside session:start.
- */
-export function maybeFormatCoverageCheckResumeNudge(options) {
-    return isCoverageCheckResumeNudgeEligible(options) ? formatCoverageCheckResumeNudge() : "";
-}
-//# sourceMappingURL=coverage-check-resume-nudge.js.map