sentinelayer-cli 0.6.2 → 0.8.0

package/src/policy/packs.js

@@ -1,144 +1,144 @@
-import { loadConfig } from "../config/service.js";
-import { listPluginManifests } from "../plugin/manifest.js";
-
-export const DEFAULT_POLICY_PACK_ID = "community";
-
-export const BUILTIN_POLICY_PACKS = Object.freeze([
-  {
-    id: "community",
-    name: "Community",
-    description: "Balanced defaults for everyday repositories.",
-    source: "builtin",
-    scanProfile: {},
-  },
-  {
-    id: "strict",
-    name: "Strict",
-    description: "Aggressive security gating with stricter severity threshold.",
-    source: "builtin",
-    scanProfile: {
-      scanMode: "deep",
-      severityGate: "P0",
-      sbomMode: "audit",
-    },
-  },
-  {
-    id: "compliance-soc2",
-    name: "Compliance SOC2",
-    description: "SOC2-oriented defaults with deep scan and supply-chain auditing.",
-    source: "builtin",
-    scanProfile: {
-      scanMode: "deep",
-      severityGate: "P1",
-      sbomMode: "audit",
-    },
-  },
-  {
-    id: "compliance-hipaa",
-    name: "Compliance HIPAA",
-    description: "HIPAA-oriented defaults with strict severity gating.",
-    source: "builtin",
-    scanProfile: {
-      scanMode: "deep",
-      severityGate: "P0",
-      sbomMode: "audit",
-    },
-  },
-]);
-
-function normalizePackId(rawValue) {
-  return String(rawValue || "")
-    .trim()
-    .toLowerCase();
-}
-
-function mapCustomPack(pluginEntry) {
-  return {
-    id: pluginEntry.id,
-    name: pluginEntry.name,
-    description: `Plugin policy pack (${pluginEntry.packType})`,
-    source: "plugin",
-    scanProfile: {},
-    plugin: {
-      version: pluginEntry.version,
-      stage: pluginEntry.stage,
-      path: pluginEntry.path,
-      policyCount: pluginEntry.policyCount,
-    },
-  };
-}
-
-export async function listPolicyPacks({ cwd, outputDir, env } = {}) {
-  const builtins = BUILTIN_POLICY_PACKS.map((pack) => ({ ...pack }));
-  const pluginListing = await listPluginManifests({
-    cwd,
-    outputDir,
-    env,
-  });
-  const custom = pluginListing.plugins
-    .filter(
-      (plugin) =>
-        plugin.policyCount > 0 && (plugin.packType === "policy_pack" || plugin.packType === "hybrid")
-    )
-    .map((plugin) => mapCustomPack(plugin));
-
-  custom.sort((left, right) => left.id.localeCompare(right.id));
-  const all = [...builtins];
-  for (const customPack of custom) {
-    if (!all.some((builtin) => builtin.id === customPack.id)) {
-      all.push(customPack);
-    }
-  }
-
-  return {
-    packs: all,
-    builtins,
-    custom,
-    pluginsRoot: pluginListing.pluginsRoot,
-    invalidManifestCount: pluginListing.invalid.length,
-  };
-}
-
-export async function resolvePolicyPackById({ packId, cwd, outputDir, env } = {}) {
-  const normalizedPackId = normalizePackId(packId);
-  const listing = await listPolicyPacks({ cwd, outputDir, env });
-  const selected = listing.packs.find((pack) => pack.id === normalizedPackId);
-  return {
-    ...listing,
-    packId: normalizedPackId,
-    selected: selected || null,
-  };
-}
-
-export async function resolveActivePolicyPack({ cwd, outputDir, env } = {}) {
-  const config = await loadConfig({ cwd, env });
-  const configuredId = normalizePackId(config.resolved.defaultPolicyPack) || DEFAULT_POLICY_PACK_ID;
-  const resolved = await resolvePolicyPackById({
-    packId: configuredId,
-    cwd,
-    outputDir,
-    env,
-  });
-  const fallback =
-    resolved.selected || resolved.packs.find((pack) => pack.id === DEFAULT_POLICY_PACK_ID) || null;
-
-  return {
-    configuredId,
-    selected: fallback,
-    listing: resolved,
-  };
-}
-
-export function applyPolicyPackToScanProfile(profile = {}, policyPack = null) {
-  if (!policyPack || !policyPack.scanProfile) {
-    return profile;
-  }
-  const next = { ...profile };
-  for (const [key, value] of Object.entries(policyPack.scanProfile)) {
-    const normalized = String(value || "").trim();
-    if (normalized) {
-      next[key] = normalized;
-    }
-  }
-  return next;
-}
+import { loadConfig } from "../config/service.js";
+import { listPluginManifests } from "../plugin/manifest.js";
+
+export const DEFAULT_POLICY_PACK_ID = "community";
+
+export const BUILTIN_POLICY_PACKS = Object.freeze([
+  {
+    id: "community",
+    name: "Community",
+    description: "Balanced defaults for everyday repositories.",
+    source: "builtin",
+    scanProfile: {},
+  },
+  {
+    id: "strict",
+    name: "Strict",
+    description: "Aggressive security gating with stricter severity threshold.",
+    source: "builtin",
+    scanProfile: {
+      scanMode: "deep",
+      severityGate: "P0",
+      sbomMode: "audit",
+    },
+  },
+  {
+    id: "compliance-soc2",
+    name: "Compliance SOC2",
+    description: "SOC2-oriented defaults with deep scan and supply-chain auditing.",
+    source: "builtin",
+    scanProfile: {
+      scanMode: "deep",
+      severityGate: "P1",
+      sbomMode: "audit",
+    },
+  },
+  {
+    id: "compliance-hipaa",
+    name: "Compliance HIPAA",
+    description: "HIPAA-oriented defaults with strict severity gating.",
+    source: "builtin",
+    scanProfile: {
+      scanMode: "deep",
+      severityGate: "P0",
+      sbomMode: "audit",
+    },
+  },
+]);
+
+function normalizePackId(rawValue) {
+  return String(rawValue || "")
+    .trim()
+    .toLowerCase();
+}
+
+function mapCustomPack(pluginEntry) {
+  return {
+    id: pluginEntry.id,
+    name: pluginEntry.name,
+    description: `Plugin policy pack (${pluginEntry.packType})`,
+    source: "plugin",
+    scanProfile: {},
+    plugin: {
+      version: pluginEntry.version,
+      stage: pluginEntry.stage,
+      path: pluginEntry.path,
+      policyCount: pluginEntry.policyCount,
+    },
+  };
+}
+
+export async function listPolicyPacks({ cwd, outputDir, env } = {}) {
+  const builtins = BUILTIN_POLICY_PACKS.map((pack) => ({ ...pack }));
+  const pluginListing = await listPluginManifests({
+    cwd,
+    outputDir,
+    env,
+  });
+  const custom = pluginListing.plugins
+    .filter(
+      (plugin) =>
+        plugin.policyCount > 0 && (plugin.packType === "policy_pack" || plugin.packType === "hybrid")
+    )
+    .map((plugin) => mapCustomPack(plugin));
+
+  custom.sort((left, right) => left.id.localeCompare(right.id));
+  const all = [...builtins];
+  for (const customPack of custom) {
+    if (!all.some((builtin) => builtin.id === customPack.id)) {
+      all.push(customPack);
+    }
+  }
+
+  return {
+    packs: all,
+    builtins,
+    custom,
+    pluginsRoot: pluginListing.pluginsRoot,
+    invalidManifestCount: pluginListing.invalid.length,
+  };
+}
+
+export async function resolvePolicyPackById({ packId, cwd, outputDir, env } = {}) {
+  const normalizedPackId = normalizePackId(packId);
+  const listing = await listPolicyPacks({ cwd, outputDir, env });
+  const selected = listing.packs.find((pack) => pack.id === normalizedPackId);
+  return {
+    ...listing,
+    packId: normalizedPackId,
+    selected: selected || null,
+  };
+}
+
+export async function resolveActivePolicyPack({ cwd, outputDir, env } = {}) {
+  const config = await loadConfig({ cwd, env });
+  const configuredId = normalizePackId(config.resolved.defaultPolicyPack) || DEFAULT_POLICY_PACK_ID;
+  const resolved = await resolvePolicyPackById({
+    packId: configuredId,
+    cwd,
+    outputDir,
+    env,
+  });
+  const fallback =
+    resolved.selected || resolved.packs.find((pack) => pack.id === DEFAULT_POLICY_PACK_ID) || null;
+
+  return {
+    configuredId,
+    selected: fallback,
+    listing: resolved,
+  };
+}
+
+export function applyPolicyPackToScanProfile(profile = {}, policyPack = null) {
+  if (!policyPack || !policyPack.scanProfile) {
+    return profile;
+  }
+  const next = { ...profile };
+  for (const [key, value] of Object.entries(policyPack.scanProfile)) {
+    const normalized = String(value || "").trim();
+    if (normalized) {
+      next[key] = normalized;
+    }
+  }
+  return next;
+}

package/src/prompt/generator.js

@@ -1,118 +1,136 @@
-export const SUPPORTED_PROMPT_TARGETS = Object.freeze([
-  "claude",
-  "cursor",
-  "copilot",
-  "codex",
-  "generic",
-]);
-
-const TARGET_GUIDANCE = Object.freeze({
-  claude: [
-    "Use strict PR-scoped execution with explicit plan -> implement -> verify loop.",
-    "Prioritize deterministic checks before optional AI-dependent steps.",
-    "Record evidence for every claim in the final report.",
-  ],
-  cursor: [
-    "Apply edits in small, reviewable commits.",
-    "Keep changes aligned with existing project conventions and tests.",
-    "Run local verification before proposing follow-up iterations.",
-  ],
-  copilot: [
-    "Generate code with strong type and error-path handling.",
-    "Avoid introducing implicit behavior changes in existing modules.",
-    "Include targeted tests for all new logic paths.",
-  ],
-  codex: [
-    "Operate autonomously but keep one PR scope at a time.",
-    "Use deterministic ingest/spec context as primary source of truth.",
-    "Fail closed when requirements are ambiguous or unsafe.",
-  ],
-  generic: [
-    "Follow the provided spec exactly.",
-    "Implement in incremental, verifiable steps.",
-    "Document assumptions and unresolved risks.",
-  ],
-});
-
-function normalizeTarget(target) {
-  const normalized = String(target || "generic").trim().toLowerCase();
-  if (!SUPPORTED_PROMPT_TARGETS.includes(normalized)) {
-    throw new Error(
-      `Unsupported prompt target '${target}'. Use one of: ${SUPPORTED_PROMPT_TARGETS.join(", ")}`
-    );
-  }
-  return normalized;
-}
-
-function buildAgentHeader(target) {
-  const headers = {
-    claude: "Claude Code execution prompt",
-    cursor: "Cursor execution prompt",
-    copilot: "GitHub Copilot execution prompt",
-    codex: "Codex execution prompt",
-    generic: "Generic execution prompt",
-  };
-  return headers[target] || headers.generic;
-}
-
-export function resolvePromptTarget(target) {
-  return normalizeTarget(target);
-}
-
-export function defaultPromptFileName(target) {
-  const normalized = normalizeTarget(target);
-  if (normalized === "generic") {
-    return "PROMPT.md";
-  }
-  return `PROMPT_${normalized}.md`;
-}
-
-export function generateExecutionPrompt({
-  specMarkdown,
-  target = "generic",
-  projectPath,
-  generatedAt = new Date().toISOString(),
-} = {}) {
-  const resolvedTarget = normalizeTarget(target);
-  const guidance = TARGET_GUIDANCE[resolvedTarget] || TARGET_GUIDANCE.generic;
-
-  const specText = String(specMarkdown || "").trim();
-  if (!specText) {
-    throw new Error("Spec content is empty. Generate or provide a spec before creating a prompt.");
-  }
-
-  const guidanceMarkdown = guidance.map((item, index) => `${index + 1}. ${item}`).join("\n");
-
-  const hasAidenId = specText.toLowerCase().includes("aidenid");
-  const aidenidGuidance = hasAidenId
-    ? `
-## AIdenID E2E Testing
-- AIdenID credentials are auto-provisioned via \`sl auth login\`. No manual env vars needed.
-- Run \`sl auth status\` to confirm AIdenID is provisioned before using identity commands.
-- Use \`sl ai provision-email --execute --json\` to create ephemeral test emails.
-- Use \`sl ai identity wait-for-otp <identityId> --timeout 30\` to poll for OTP extraction.
-- Revoke test identities after verification: \`sl ai identity revoke <identityId>\`.
-`
-    : "";
-
-  return `# ${buildAgentHeader(resolvedTarget)}
-
-Generated: ${generatedAt}
-Agent target: ${resolvedTarget}
-Workspace: ${projectPath || "(not provided)"}
-
-## Operating Rules
-${guidanceMarkdown}
-
-## Execution Workflow
-1. Read the full spec and derive a concrete PR-scoped implementation plan.
-2. Implement only the current scope with deterministic checkpoints.
-3. Run verification commands and capture outcomes.
-4. Report findings first (bugs/regressions), then summarize changes.
-${aidenidGuidance}
-## Source Spec (Authoritative)
-\n\`\`\`markdown
-${specText}
-\`\`\`
-`;
-}
+export const SUPPORTED_PROMPT_TARGETS = Object.freeze([
+  "claude",
+  "cursor",
+  "copilot",
+  "codex",
+  "generic",
+]);
+
+const TARGET_GUIDANCE = Object.freeze({
+  claude: [
+    "Use strict PR-scoped execution with explicit plan -> implement -> verify loop.",
+    "Prioritize deterministic checks before optional AI-dependent steps.",
+    "Record evidence for every claim in the final report.",
+  ],
+  cursor: [
+    "Apply edits in small, reviewable commits.",
+    "Keep changes aligned with existing project conventions and tests.",
+    "Run local verification before proposing follow-up iterations.",
+  ],
+  copilot: [
+    "Generate code with strong type and error-path handling.",
+    "Avoid introducing implicit behavior changes in existing modules.",
+    "Include targeted tests for all new logic paths.",
+  ],
+  codex: [
+    "Operate autonomously but keep one PR scope at a time.",
+    "Use deterministic ingest/spec context as primary source of truth.",
+    "Fail closed when requirements are ambiguous or unsafe.",
+  ],
+  generic: [
+    "Follow the provided spec exactly.",
+    "Implement in incremental, verifiable steps.",
+    "Document assumptions and unresolved risks.",
+  ],
+});
+
+const SESSION_COORDINATION_GUIDANCE = Object.freeze([
+  "Multi-agent coordination: use `sl session` commands to communicate with other agents.",
+  "Always update the session chat room with your current activity so joining agents have context.",
+  "Never break your autonomous loop on unexpected file changes; ask in the session first.",
+]);
+
+function normalizeTarget(target) {
+  const normalized = String(target || "generic").trim().toLowerCase();
+  if (!SUPPORTED_PROMPT_TARGETS.includes(normalized)) {
+    throw new Error(
+      `Unsupported prompt target '${target}'. Use one of: ${SUPPORTED_PROMPT_TARGETS.join(", ")}`
+    );
+  }
+  return normalized;
+}
+
+function buildAgentHeader(target) {
+  const headers = {
+    claude: "Claude Code execution prompt",
+    cursor: "Cursor execution prompt",
+    copilot: "GitHub Copilot execution prompt",
+    codex: "Codex execution prompt",
+    generic: "Generic execution prompt",
+  };
+  return headers[target] || headers.generic;
+}
+
+function shouldAppendSessionGuidance(specMarkdown) {
+  const normalized = String(specMarkdown || "").toLowerCase();
+  if (!normalized) {
+    return false;
+  }
+  return normalized.includes("coordination protocol") || normalized.includes("session");
+}
+
+export function resolvePromptTarget(target) {
+  return normalizeTarget(target);
+}
+
+export function defaultPromptFileName(target) {
+  const normalized = normalizeTarget(target);
+  if (normalized === "generic") {
+    return "PROMPT.md";
+  }
+  return `PROMPT_${normalized}.md`;
+}
+
+export function generateExecutionPrompt({
+  specMarkdown,
+  target = "generic",
+  projectPath,
+  generatedAt = new Date().toISOString(),
+} = {}) {
+  const resolvedTarget = normalizeTarget(target);
+  const guidance = TARGET_GUIDANCE[resolvedTarget] || TARGET_GUIDANCE.generic;
+
+  const specText = String(specMarkdown || "").trim();
+  if (!specText) {
+    throw new Error("Spec content is empty. Generate or provide a spec before creating a prompt.");
+  }
+
+  const operatingRules = [...guidance];
+  if (shouldAppendSessionGuidance(specText)) {
+    operatingRules.push(...SESSION_COORDINATION_GUIDANCE);
+  }
+  const guidanceMarkdown = operatingRules.map((item, index) => `${index + 1}. ${item}`).join("\n");
+
+  const hasAidenId = specText.toLowerCase().includes("aidenid");
+  const aidenidGuidance = hasAidenId
+    ? `
+## AIdenID E2E Testing
+- AIdenID credentials are auto-provisioned via \`sl auth login\`. No manual env vars needed.
+- Run \`sl auth status\` to confirm AIdenID is provisioned before using identity commands.
+- Use \`sl ai provision-email --execute --json\` to create ephemeral test emails.
+- Use \`sl ai identity wait-for-otp <identityId> --timeout 30\` to poll for OTP extraction.
+- Revoke test identities after verification: \`sl ai identity revoke <identityId>\`.
+`
+    : "";
+
+  return `# ${buildAgentHeader(resolvedTarget)}
+
+Generated: ${generatedAt}
+Agent target: ${resolvedTarget}
+Workspace: ${projectPath || "(not provided)"}
+
+## Operating Rules
+${guidanceMarkdown}
+
+## Execution Workflow
+1. Read the full spec and derive a concrete PR-scoped implementation plan.
+2. Implement only the current scope with deterministic checkpoints.
+3. Run verification commands and capture outcomes.
+4. Report findings first (bugs/regressions), then summarize changes.
+${aidenidGuidance}
+## Source Spec (Authoritative)
+\n\`\`\`markdown
+${specText}
+\`\`\`
+`;
+}