@neurcode-ai/cli 0.9.43 → 0.9.45

package/dist/commands/check.js

@@ -44,12 +44,30 @@ const project_detector_1 = require("../utils/project-detector");
 const promises_1 = require("readline/promises");
 const process_1 = require("process");
 const messages_1 = require("../utils/messages");
+function isGitRepository(cwd) {
+    try {
+        const output = (0, child_process_1.execSync)('git rev-parse --is-inside-work-tree', {
+            cwd,
+            encoding: 'utf-8',
+            stdio: ['ignore', 'pipe', 'pipe'],
+            maxBuffer: 1024 * 1024,
+        }).trim().toLowerCase();
+        return output === 'true';
+    }
+    catch {
+        return false;
+    }
+}
 async function checkCommand(options) {
     try {
+        if (!isGitRepository(process.cwd())) {
+            (0, messages_1.printError)('Git repository required', 'Run this command inside a git repository. If this is a new folder, run: git init && git add . && git commit -m "chore: baseline"');
+            process.exit(1);
+        }
         // Determines which diff to capture
         let diffText;
         if (options.staged) {
-            diffText = (0, child_process_1.execSync)('git diff --staged', { maxBuffer: 1024 * 1024 * 1024, encoding: 'utf-8' });
+            diffText = (0, child_process_1.execSync)('git diff --cached', { maxBuffer: 1024 * 1024 * 1024, encoding: 'utf-8' });
         }
         else if (options.base) {
             diffText = (0, git_1.getDiffFromBase)(options.base);
@@ -60,7 +78,7 @@ async function checkCommand(options) {
         else {
             // Default: check staged, fallback to HEAD
             try {
-                diffText = (0, child_process_1.execSync)('git diff --staged', { maxBuffer: 1024 * 1024 * 1024, encoding: 'utf-8' });
+                diffText = (0, child_process_1.execSync)('git diff --cached', { maxBuffer: 1024 * 1024 * 1024, encoding: 'utf-8' });
             }
             catch {
                 diffText = (0, child_process_1.execSync)('git diff HEAD', { maxBuffer: 1024 * 1024 * 1024, encoding: 'utf-8' });

package/dist/commands/contract.js

@@ -12,6 +12,7 @@ const policy_packs_1 = require("../utils/policy-packs");
 const policy_compiler_1 = require("../utils/policy-compiler");
 const change_contract_1 = require("../utils/change-contract");
 const artifact_signature_1 = require("../utils/artifact-signature");
+const plan_symbols_1 = require("../utils/plan-symbols");
 let chalk;
 try {
     chalk = require('chalk');
@@ -60,6 +61,49 @@ function parseAsJsonIfPossible(raw) {
 function normalizeProvider(provider) {
     return String(provider || 'generic').trim().toLowerCase();
 }
+function parseBooleanFlag(raw, fallback) {
+    if (!raw || !raw.trim())
+        return fallback;
+    const normalized = raw.trim().toLowerCase();
+    if (normalized === '1' || normalized === 'true' || normalized === 'yes' || normalized === 'on')
+        return true;
+    if (normalized === '0' || normalized === 'false' || normalized === 'no' || normalized === 'off')
+        return false;
+    return fallback;
+}
+function parseNonNegativeInt(raw) {
+    if (!raw || !raw.trim())
+        return undefined;
+    const parsed = Number(raw);
+    if (!Number.isFinite(parsed))
+        return undefined;
+    const rounded = Math.floor(parsed);
+    return rounded >= 0 ? rounded : undefined;
+}
+function resolveChangeContractOptionsFromEnv() {
+    const maxUnexpectedFiles = parseNonNegativeInt(process.env.NEURCODE_CHANGE_CONTRACT_MAX_UNEXPECTED_FILES);
+    const maxMissingExpectedSymbols = parseNonNegativeInt(process.env.NEURCODE_CHANGE_CONTRACT_MAX_MISSING_EXPECTED_SYMBOLS);
+    return {
+        enforceExpectedFiles: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_EXPECTED_FILES, false),
+        enforceActionMatching: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_ACTION_MATCHING, true),
+        allowRenameForModify: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ALLOW_RENAME_FOR_MODIFY, true),
+        enforceExpectedSymbols: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_EXPECTED_SYMBOLS, false),
+        enforceSymbolActionMatching: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_SYMBOL_ACTION_MATCHING, false),
+        symbolTypeRelaxedMatching: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_SYMBOL_TYPE_RELAXED_MATCHING, true),
+        symbolFileBasenameFallback: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_SYMBOL_FILE_BASENAME_FALLBACK, false),
+        ...(maxUnexpectedFiles !== undefined ? { maxUnexpectedFiles } : {}),
+        ...(maxMissingExpectedSymbols !== undefined ? { maxMissingExpectedSymbols } : {}),
+    };
+}
+function mapPlanFilesForChangeContract(files) {
+    return files
+        .map((file) => ({
+        path: file.path,
+        action: file.action,
+        reason: file.reason,
+    }))
+        .filter((file) => typeof file.path === 'string' && file.path.trim().length > 0);
+}
 function normalizeCandidateLimit(value) {
     if (!Number.isFinite(value))
         return 8;
@@ -407,6 +451,9 @@ function contractCommand(program) {
                     projectId: options.projectId || null,
                     intent: options.intent || response.plan.summary || 'imported-plan',
                     expectedFiles,
+                    planFiles: mapPlanFilesForChangeContract(response.plan.files),
+                    expectedSymbols: (0, plan_symbols_1.mapPlanSymbolsForChangeContract)(response.plan),
+                    options: resolveChangeContractOptionsFromEnv(),
                     policyLockFingerprint: policyLock.lock?.effective.fingerprint || null,
                     compiledPolicyFingerprint: compiledPolicy.artifact?.fingerprint || null,
                 });

package/dist/commands/plan.js

@@ -55,6 +55,7 @@ const change_contract_1 = require("../utils/change-contract");
 const policy_packs_1 = require("../utils/policy-packs");
 const policy_compiler_1 = require("../utils/policy-compiler");
 const artifact_signature_1 = require("../utils/artifact-signature");
+const plan_symbols_1 = require("../utils/plan-symbols");
 // Import chalk with fallback for plain strings if not available
 let chalk;
 try {
@@ -591,6 +592,39 @@ function parseBooleanFlag(raw, fallback) {
     }
     return fallback;
 }
+function parseNonNegativeInt(raw) {
+    if (!raw || !raw.trim())
+        return undefined;
+    const parsed = Number(raw);
+    if (!Number.isFinite(parsed))
+        return undefined;
+    const rounded = Math.floor(parsed);
+    return rounded >= 0 ? rounded : undefined;
+}
+function resolveChangeContractOptionsFromEnv() {
+    const maxUnexpectedFiles = parseNonNegativeInt(process.env.NEURCODE_CHANGE_CONTRACT_MAX_UNEXPECTED_FILES);
+    const maxMissingExpectedSymbols = parseNonNegativeInt(process.env.NEURCODE_CHANGE_CONTRACT_MAX_MISSING_EXPECTED_SYMBOLS);
+    return {
+        enforceExpectedFiles: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_EXPECTED_FILES, false),
+        enforceActionMatching: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_ACTION_MATCHING, true),
+        allowRenameForModify: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ALLOW_RENAME_FOR_MODIFY, true),
+        enforceExpectedSymbols: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_EXPECTED_SYMBOLS, false),
+        enforceSymbolActionMatching: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_ENFORCE_SYMBOL_ACTION_MATCHING, false),
+        symbolTypeRelaxedMatching: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_SYMBOL_TYPE_RELAXED_MATCHING, true),
+        symbolFileBasenameFallback: parseBooleanFlag(process.env.NEURCODE_CHANGE_CONTRACT_SYMBOL_FILE_BASENAME_FALLBACK, false),
+        ...(maxUnexpectedFiles !== undefined ? { maxUnexpectedFiles } : {}),
+        ...(maxMissingExpectedSymbols !== undefined ? { maxMissingExpectedSymbols } : {}),
+    };
+}
+function mapPlanFilesForChangeContract(files) {
+    return files
+        .map((file) => ({
+        path: file.path,
+        action: file.action,
+        reason: file.reason,
+    }))
+        .filter((file) => typeof file.path === 'string' && file.path.trim().length > 0);
+}
 function parseConfidenceScoreThreshold(raw) {
     if (!raw)
         return null;
@@ -854,6 +888,9 @@ function emitCachedPlanHit(input) {
                 projectId: input.projectId || null,
                 intent: input.response.plan.summary || 'cached-plan',
                 expectedFiles,
+                planFiles: mapPlanFilesForChangeContract(input.response.plan.files),
+                expectedSymbols: (0, plan_symbols_1.mapPlanSymbolsForChangeContract)(input.response.plan),
+                options: resolveChangeContractOptionsFromEnv(),
                 policyLockFingerprint: lockRead.lock?.effective.fingerprint || null,
                 compiledPolicyFingerprint: compiledPolicyRead.artifact?.fingerprint || null,
             });
@@ -2284,6 +2321,9 @@ async function planCommand(intent, options) {
                     projectId: finalProjectId || null,
                     intent,
                     expectedFiles,
+                    planFiles: mapPlanFilesForChangeContract(response.plan.files),
+                    expectedSymbols: (0, plan_symbols_1.mapPlanSymbolsForChangeContract)(response.plan),
+                    options: resolveChangeContractOptionsFromEnv(),
                     policyLockFingerprint: lockRead.lock?.effective.fingerprint || null,
                     compiledPolicyFingerprint: compiledPolicyRead.artifact?.fingerprint || null,
                 });

package/dist/commands/verify.d.ts

@@ -37,6 +37,8 @@ interface VerifyOptions {
     runtimeGuard?: string;
     /** Print detailed AI change justification reasoning. */
     explain?: boolean;
+    /** Print extra explanatory output for demos/onboarding. */
+    demo?: boolean;
     /** Use queue-backed async verification mode on the API. */
     asyncMode?: boolean;
     /** Poll interval for async verification job status. */