@ivorycanvas/qamap 0.3.4 → 0.4.0

package/dist/index.d.ts

@@ -1,4 +1,8 @@
 export { buildAgentQaSection, formatAgentInitReport, initAgentSetup } from "./agent-init.js";
+export { analyzeBehaviorGraph, behaviorEdgeKinds, behaviorEvidenceKinds, behaviorGraphSchemaVersion, behaviorGraphSchemaUrl, behaviorNodeKinds, behaviorSurfaceKinds, createBehaviorEdge, createBehaviorNodeId, createInferredFlowBehaviorAdapter, mergeBehaviorGraphFragments, } from "./behavior.js";
+export { createManifestBehaviorAdapter } from "./behavior-manifest.js";
+export { createChangeIntentBehaviorAdapter } from "./behavior-intent.js";
+export { analyzeChangeIntents } from "./change-intent.js";
 export { defaultConfig, loadConfig, writeDefaultConfig } from "./config.js";
 export { detectDlxCommand, generateAgentContext } from "./context.js";
 export { buildDomainLanguageSummary } from "./domain-language.js";
@@ -18,11 +22,15 @@ export { scanProject } from "./scanner.js";
 export { collectTestSuiteInventory, evaluateFlowCoverageEvidence, summarizeTestSuiteInventory } from "./test-evidence.js";
 export { formatMarkdownTestPlan, generateTestPlan } from "./test-plan.js";
 export { formatMarkdownVerifyReport, formatVerifyReport, verifyChange } from "./verify.js";
+export type { BehaviorAdapterConfidence, BehaviorAdapterDetection, BehaviorAdapterRun, BehaviorAnalysisContext, BehaviorAnalyzerAdapter, BehaviorAttributeValue, BehaviorChangedFile, BehaviorConfidence, BehaviorDiagnostic, BehaviorDiagnosticSeverity, BehaviorEdge, BehaviorEdgeKind, BehaviorEvidence, BehaviorEvidenceKind, BehaviorGraph, BehaviorGraphFragment, BehaviorGraphSummary, BehaviorImpact, BehaviorImpactKind, BehaviorNode, BehaviorNodeKind, BehaviorSurfaceKind, InferredBehaviorCoverage, InferredBehaviorEntrypoint, InferredBehaviorFlow, InferredBehaviorSelector, InferredFlowAdapterOptions, } from "./behavior.js";
+export type { ManifestBehaviorAdapterOptions } from "./behavior-manifest.js";
+export type { ChangeIntentBehaviorAdapterOptions } from "./behavior-intent.js";
+export type { BehaviorLifecycleStage, BehaviorLifecycleStageKind, ChangeIntent, ChangeIntentAnalysis, ChangeIntentAnalysisOptions, ChangeIntentCommit, ChangeIntentConfidence, ChangeIntentEvidence, ChangeIntentEvidenceKind, IntentQaScenario, IntentQaScenarioKind, IntentQaScenarioPriority, } from "./change-intent.js";
 export type { CoverageEvidence, CoverageEvidenceConfidence, CoverageEvidenceStatus, FlowCoverageInput, TestSuiteEvidenceFile, TestSuiteInventory, TestSuiteSummary, } from "./test-evidence.js";
 export type { DoctorArea, DoctorPriority, DoctorResult } from "./doctor.js";
 export type { DomainLanguageConfidence, DomainLanguageSource, DomainLanguageSummary, DomainLanguageTerm, DomainScenarioSuggestion, } from "./domain-language.js";
 export type { DomainDefinition, DomainManifest, DomainScenarioDefinition, MatchedDomain, } from "./domains.js";
-export type { E2eCoveragePriority, E2eCoverageTarget, E2eBootstrapPlan, E2eBootstrapStep, E2eBootstrapStepCategory, E2eBootstrapStepStatus, E2eEntrypoint, E2eEntrypointConfidence, E2eEntrypointKind, E2eFixtureReadiness, E2eFixtureReadinessStatus, E2eFlow, E2eSelector, E2eSelectorKind, E2eSetupHint, E2eSetupHintConfidence, E2eSetupHintKind, E2eValidationMatrix, E2eValidationMatrixCategory, E2eValidationMatrixRow, E2eValidationMatrixStatus, E2eDraftFile, E2eDraftOptions, E2eDraftResult, E2ePlanOptions, E2ePlanResult, E2eProjectProfile, E2eProjectType, E2eRunnerName, E2eRunnerRecommendation, E2eRunnerSetupProposal, E2eRunnerSetupStatus, E2eSetupOptions, E2eSetupResult, } from "./e2e.js";
+export type { E2eCoveragePriority, E2eCoverageTarget, E2eBootstrapPlan, E2eBootstrapStep, E2eBootstrapStepCategory, E2eBootstrapStepStatus, E2eEntrypoint, E2eEntrypointConfidence, E2eEntrypointKind, E2eFixtureReadiness, E2eFixtureReadinessStatus, E2eFlow, E2eFlowKind, E2eSelector, E2eSelectorKind, E2eSetupHint, E2eSetupHintConfidence, E2eSetupHintKind, E2eValidationMatrix, E2eValidationMatrixCategory, E2eValidationMatrixRow, E2eValidationMatrixStatus, E2eDraftFile, E2eDraftOptions, E2eDraftResult, E2ePlanOptions, E2ePlanResult, E2eProjectProfile, E2eProjectType, E2eRunnerName, E2eRunnerRecommendation, E2eRunnerSetupProposal, E2eRunnerSetupStatus, E2eSetupOptions, E2eSetupResult, } from "./e2e.js";
 export type { EvalCheck, EvalCheckStatus, EvalOptions, EvalRating, EvalResult } from "./eval.js";
 export type { CoreFlowDefinition, CoreFlowManifest, CoreFlowPriority, MatchedCoreFlow, } from "./flows.js";
 export type { GitHubActionMode, GitHubActionOptions, GitHubActionResult } from "./github.js";

package/dist/index.js

@@ -1,4 +1,8 @@
 export { buildAgentQaSection, formatAgentInitReport, initAgentSetup } from "./agent-init.js";
+export { analyzeBehaviorGraph, behaviorEdgeKinds, behaviorEvidenceKinds, behaviorGraphSchemaVersion, behaviorGraphSchemaUrl, behaviorNodeKinds, behaviorSurfaceKinds, createBehaviorEdge, createBehaviorNodeId, createInferredFlowBehaviorAdapter, mergeBehaviorGraphFragments, } from "./behavior.js";
+export { createManifestBehaviorAdapter } from "./behavior-manifest.js";
+export { createChangeIntentBehaviorAdapter } from "./behavior-intent.js";
+export { analyzeChangeIntents } from "./change-intent.js";
 export { defaultConfig, loadConfig, writeDefaultConfig } from "./config.js";
 export { detectDlxCommand, generateAgentContext } from "./context.js";
 export { buildDomainLanguageSummary } from "./domain-language.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC7F,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,YAAY,EACZ,0BAA0B,GAC3B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,cAAc,GACf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AAChG,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,EACd,4BAA4B,GAC7B,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,EACrB,6BAA6B,EAC7B,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,kCAAkC,EAClC,gCAAgC,EAChC,8BAA8B,EAC9B,4BAA4B,EAC5B,gCAAgC,EAChC,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,+BAA+B,EAC/B,2BAA2B,EAC3B,uCAAuC,EACvC,uCAAuC,EACvC,oCAAoC,EACpC,0CAA0C,EAC1C,8BAA8B,EAC9B,wBAAwB,EACxB,yBAAyB,EACzB,4BAA4B,EAC5B,6BAA6B,EAC7B,iCAAiC,GAClC,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAC9G,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAC1H,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAC7F,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,EAC1B,sBAAsB,EACtB,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,iCAAiC,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,YAAY,EACZ,0BAA0B,GAC3B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,cAAc,GACf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AAChG,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,EACd,4BAA4B,GAC7B,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,EACrB,6BAA6B,EAC7B,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,kCAAkC,EAClC,gCAAgC,EAChC,8BAA8B,EAC9B,4BAA4B,EAC5B,gCAAgC,EAChC,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,+BAA+B,EAC/B,2BAA2B,EAC3B,uCAAuC,EACvC,uCAAuC,EACvC,oCAAoC,EACpC,0CAA0C,EAC1C,8BAA8B,EAC9B,wBAAwB,EACxB,yBAAyB,EACzB,4BAA4B,EAC5B,6BAA6B,EAC7B,iCAAiC,GAClC,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAC9G,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAC1H,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC"}

package/dist/manifest.js

@@ -384,15 +384,22 @@ export function formatVerificationManifestYaml(manifest) {
 }
 function buildVerificationManifestBaseline(root, manifestRoot, files) {
     const context = buildManifestContext(root, manifestRoot, files);
-    const behaviorFiles = files
-        .filter((file) => isBehaviorFile(file.path))
+    const manifestFiles = files
         .map((file) => ({
         ...file,
         path: toPosixPath(path.relative(manifestRoot, path.join(root, file.path))),
     }))
         .filter((file) => !file.path.startsWith("../"));
+    const behaviorFiles = manifestFiles.filter((file) => isBehaviorFile(file.path));
     const domains = mergeDomainsById(buildBaselineDomains(behaviorFiles, context), buildPythonAppDomains(files, manifestRoot, root)).slice(0, 12);
-    const flows = buildBaselineFlows(behaviorFiles, domains, inferRunner(files), context).slice(0, 16);
+    const runner = inferRunner(files);
+    const uiFlows = buildBaselineFlows(behaviorFiles, domains, runner, context);
+    const apiFlows = buildBaselineApiFlows(manifestFiles, domains, runner);
+    const flows = apiFlows.length === 0
+        ? uiFlows.slice(0, 16)
+        : uiFlows.length === 0
+            ? apiFlows.slice(0, 16)
+            : dedupeFlows([...uiFlows.slice(0, 12), ...apiFlows.slice(0, 4)]).slice(0, 16);
     return {
         $schema: verificationManifestSchemaUrl,
         version: 1,
@@ -1063,6 +1070,133 @@ function buildBaselineFlows(files, domains, runner, context) {
     scored.sort((left, right) => right.score - left.score);
     return interleaveFlowsByDomain(dedupeFlows(scored.map((entry) => entry.flow)));
 }
+function buildBaselineApiFlows(files, domains, runner) {
+    const serviceProject = runner === "manual" && hasApiServiceSignal(files);
+    const grouped = new Map();
+    for (const file of files) {
+        if (!isApiBehaviorFile(file.path, runner, serviceProject)) {
+            continue;
+        }
+        const domain = bestDomainForFile(domains, file.path);
+        const subject = domain?.name ?? apiSubjectFromFile(file.path);
+        const id = slugify(`${domain?.id ?? subject} api contract`);
+        if (!id) {
+            continue;
+        }
+        const symbol = /\.[cm]?[jt]sx?$/.test(file.path) && file.text
+            ? (exportedSymbolFromText(file.text, path.basename(file.path).replace(/\.[^.]+$/, "")) ?? undefined)
+            : undefined;
+        const anchor = {
+            kind: "api",
+            path: file.path,
+            symbol,
+            source: "inferred",
+            confidence: symbol ? "high" : "medium",
+        };
+        const existing = grouped.get(id);
+        if (existing) {
+            if (!existing.anchors.some((candidate) => candidate.path === anchor.path)) {
+                existing.anchors.push(anchor);
+            }
+            continue;
+        }
+        grouped.set(id, {
+            domain,
+            name: `${subject} API contract`,
+            anchors: [anchor],
+        });
+    }
+    return [...grouped.entries()]
+        .map(([id, value]) => ({
+        id,
+        domain: value.domain?.id,
+        name: value.name,
+        runner: "manual",
+        anchors: value.anchors.slice(0, 6),
+        checks: [
+            {
+                id: "response-contract",
+                title: `Return the expected ${value.name.replace(/ API contract$/, "")} response contract`,
+                type: "contract",
+            },
+            {
+                id: "invalid-request",
+                title: "Reject invalid requests without partial side effects",
+                type: "failure",
+            },
+        ],
+        source: {
+            kind: "inferred",
+            confidence: "medium",
+            from: ["api-route-file"],
+        },
+    }))
+        .sort((left, right) => right.anchors.length - left.anchors.length || left.id.localeCompare(right.id));
+}
+function isApiBehaviorFile(file, runner, serviceProject) {
+    const normalized = toPosixPath(file);
+    if (/(?:^|\/)(?:tests?|__tests__|e2e|dist|build|out|\.output|__generated__)(?:\/|$)/i.test(normalized)) {
+        return false;
+    }
+    if (runner !== "manual") {
+        return false;
+    }
+    return (/(?:^|\/)(?:api|routes?|controllers?|handlers?)\/.+\.(?:[cm]?[jt]s|py|go|rs|java|kt|cs|rb)$/i.test(normalized) ||
+        /(?:^|\/)(?:api|routes?|controllers?|handlers?|views)(?:\/[^/]+|[_-][^/]+)?\.py$/i.test(normalized) ||
+        /(?:^|\/)(?:urls|views|api|controllers?|handlers?)\.py$/i.test(normalized) ||
+        (serviceProject && isNamedServiceModule(normalized)));
+}
+function isNamedServiceModule(file) {
+    return (/(?:^|\/)src\/(?:.*\/)?(?:domains?|features?|modules?|services?)\/.+\.(?:[cm]?[jt]s|py|go|rs|java|kt|cs|rb)$/i.test(file) ||
+        /(?:^|\/)[^/]*(?:controller|endpoint|gateway|handler|repository|resolver|router|service|use-?case)[^/]*\.(?:[cm]?[jt]s|py|go|rs|java|kt|cs|rb)$/i.test(file));
+}
+function hasApiServiceSignal(files) {
+    const serverDependencies = new Set([
+        "@hapi/hapi",
+        "@nestjs/core",
+        "express",
+        "fastify",
+        "hono",
+        "koa",
+        "restify",
+    ]);
+    for (const file of files) {
+        if (!file.text) {
+            continue;
+        }
+        const basename = path.basename(file.path).toLowerCase();
+        if (basename === "package.json") {
+            try {
+                const parsed = JSON.parse(file.text);
+                const dependencies = { ...parsed.dependencies, ...parsed.devDependencies };
+                if ([...serverDependencies].some((dependency) => dependencies[dependency] !== undefined)) {
+                    return true;
+                }
+            }
+            catch {
+                continue;
+            }
+        }
+        if (["requirements.txt", "pyproject.toml", "pipfile"].includes(basename) &&
+            /\b(?:django|fastapi|flask|litestar|sanic|starlette)\b/i.test(file.text)) {
+            return true;
+        }
+        if (basename === "go.mod" && /\b(?:gin-gonic|gofiber|labstack\/echo)\b/i.test(file.text)) {
+            return true;
+        }
+        if (basename === "cargo.toml" && /\b(?:actix-web|axum|rocket)\b/i.test(file.text)) {
+            return true;
+        }
+    }
+    return false;
+}
+function apiSubjectFromFile(file) {
+    const segments = toPosixPath(file).split("/").filter(Boolean);
+    const basename = (segments.at(-1) ?? "api").replace(/\.[^.]+$/, "");
+    const generic = /^(?:api|controller|controllers|handler|handlers|index|route|routes|urls|view|views)$/i;
+    const candidate = generic.test(basename) ? (segments.at(-2) ?? "api") : basename;
+    return titleCase(candidate) || "API";
+}
 const productSignalMatcher = /login|signin|sign-in|signup|sign-up|register|auth|password|payment|pay\b|checkout|billing|subscription|purchase|order|cart|onboarding|settings|account|profile|search|upload|home/i;
 // Rank flow candidates by product signal so the flow cap keeps core journeys
 // instead of whichever files sort first alphabetically.
@@ -1632,7 +1766,7 @@ function domainCandidateFromPath(file) {
             }
         }
         // The basename may only speak for itself when the file sits directly
-        // under the route dir (app/SentimentChatPage.tsx), not when a
+        // under the route dir (app/SampleChatPage.tsx), not when a
         // structural directory owns the subtree. Router-convention names
         // (_layout, +not-found, (group)) never qualify.
         if (segments.length === routeIndex + 2) {