@contractspec/lib.contracts 1.52.0 → 1.53.0

package/dist/operations/report/getContractVerificationStatus.d.ts

@@ -0,0 +1,75 @@
+import { OperationSpec } from "../operation.js";
+import "../index.js";
+import * as _contractspec_lib_schema380 from "@contractspec/lib.schema";
+import { SchemaModel, ZodSchemaType } from "@contractspec/lib.schema";
+import * as z$2 from "zod";
+
+//#region src/operations/report/getContractVerificationStatus.d.ts
+/**
+ * Status of a single contract's verification within the impact report.
+ */
+declare const ContractVerificationStatusModel: SchemaModel<{
+  name: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: false;
+  };
+  lastVerifiedSha: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: true;
+  };
+  lastVerifiedDate: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: true;
+  };
+  surfaces: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: false;
+    isArray: true;
+  };
+  driftMismatches: {
+    type: _contractspec_lib_schema380.FieldType<number, number>;
+    isOptional: false;
+  };
+}>;
+declare const GetContractVerificationStatusInput: SchemaModel<{
+  projectPath: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: false;
+  };
+  baseline: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: true;
+  };
+}>;
+declare const GetContractVerificationStatusOutput: ZodSchemaType<z$2.ZodObject<{
+  contracts: z$2.ZodArray<z$2.ZodObject<{
+    name: z$2.ZodString;
+    lastVerifiedSha: z$2.ZodOptional<z$2.ZodString>;
+    lastVerifiedDate: z$2.ZodOptional<z$2.ZodString>;
+    surfaces: z$2.ZodArray<z$2.ZodString>;
+    driftMismatches: z$2.ZodInt;
+  }, z$2.core.$strip>>;
+}, z$2.core.$strip>>;
+/**
+ * Query to retrieve per-contract verification status for the impact report.
+ */
+declare const GetContractVerificationStatusQuery: OperationSpec<SchemaModel<{
+  projectPath: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: false;
+  };
+  baseline: {
+    type: _contractspec_lib_schema380.FieldType<string, string>;
+    isOptional: true;
+  };
+}>, ZodSchemaType<z$2.ZodObject<{
+  contracts: z$2.ZodArray<z$2.ZodObject<{
+    name: z$2.ZodString;
+    lastVerifiedSha: z$2.ZodOptional<z$2.ZodString>;
+    lastVerifiedDate: z$2.ZodOptional<z$2.ZodString>;
+    surfaces: z$2.ZodArray<z$2.ZodString>;
+    driftMismatches: z$2.ZodInt;
+  }, z$2.core.$strip>>;
+}, z$2.core.$strip>>, undefined>;
+//#endregion
+export { ContractVerificationStatusModel, GetContractVerificationStatusInput, GetContractVerificationStatusOutput, GetContractVerificationStatusQuery };

package/dist/operations/report/getContractVerificationStatus.js

@@ -0,0 +1,96 @@
+import { StabilityEnum } from "../../ownership.js";
+import { defineQuery } from "../operation.js";
+import { ScalarTypeEnum, SchemaModel, ZodSchemaType } from "@contractspec/lib.schema";
+import * as z$2 from "zod";
+
+//#region src/operations/report/getContractVerificationStatus.ts
+const REPORT_DOMAIN = "report";
+const REPORT_OWNERS = ["platform.core"];
+const REPORT_TAGS = [
+	"report",
+	"drift",
+	"verification"
+];
+const REPORT_STABILITY = StabilityEnum.Experimental;
+/**
+* Status of a single contract's verification within the impact report.
+*/
+const ContractVerificationStatusModel = new SchemaModel({
+	name: "ContractVerificationStatus",
+	fields: {
+		name: {
+			type: ScalarTypeEnum.String_unsecure(),
+			isOptional: false
+		},
+		lastVerifiedSha: {
+			type: ScalarTypeEnum.String_unsecure(),
+			isOptional: true
+		},
+		lastVerifiedDate: {
+			type: ScalarTypeEnum.String_unsecure(),
+			isOptional: true
+		},
+		surfaces: {
+			type: ScalarTypeEnum.String_unsecure(),
+			isOptional: false,
+			isArray: true
+		},
+		driftMismatches: {
+			type: ScalarTypeEnum.Int_unsecure(),
+			isOptional: false
+		}
+	}
+});
+const GetContractVerificationStatusInput = new SchemaModel({
+	name: "GetContractVerificationStatusInput",
+	fields: {
+		projectPath: {
+			type: ScalarTypeEnum.String_unsecure(),
+			isOptional: false
+		},
+		baseline: {
+			type: ScalarTypeEnum.String_unsecure(),
+			isOptional: true
+		}
+	}
+});
+const GetContractVerificationStatusOutput = new ZodSchemaType(z$2.object({ contracts: z$2.object({
+	name: z$2.string(),
+	lastVerifiedSha: z$2.string().optional(),
+	lastVerifiedDate: z$2.string().optional(),
+	surfaces: z$2.string().array(),
+	driftMismatches: z$2.int()
+}).array() }), { name: "GetContractVerificationStatusOutput" });
+/**
+* Query to retrieve per-contract verification status for the impact report.
+*/
+const GetContractVerificationStatusQuery = defineQuery({
+	meta: {
+		key: "report.getContractVerificationStatus",
+		title: "Get Contract Verification Status",
+		version: "1.0.0",
+		description: "Retrieves per-contract verification status for the impact report.",
+		goal: "Enable stakeholders to see contract health at a glance.",
+		context: "Part of the impact report domain. Reads from drift check outputs and verified.json to provide a consolidated view of each contract's drift debt and surface coverage.",
+		domain: REPORT_DOMAIN,
+		owners: REPORT_OWNERS,
+		tags: REPORT_TAGS,
+		stability: REPORT_STABILITY
+	},
+	io: {
+		input: GetContractVerificationStatusInput,
+		output: GetContractVerificationStatusOutput,
+		errors: { PROJECT_NOT_FOUND: {
+			description: "Project path does not exist.",
+			http: 404,
+			when: "The provided projectPath does not resolve to a valid directory."
+		} }
+	},
+	policy: {
+		auth: "anonymous",
+		pii: []
+	}
+});
+
+//#endregion
+export { ContractVerificationStatusModel, GetContractVerificationStatusInput, GetContractVerificationStatusOutput, GetContractVerificationStatusQuery };

package/dist/operations/report/index.d.ts

@@ -0,0 +1,13 @@
+import { ContractVerificationStatusModel, GetContractVerificationStatusInput, GetContractVerificationStatusOutput, GetContractVerificationStatusQuery } from "./getContractVerificationStatus.js";
+import { HandlerForOperationSpec } from "../../install.js";
+import { ContractVerificationTableDataView } from "../../data-views/report/contractVerificationTable.js";
+import { OperationSpecRegistry } from "../registry.js";
+
+//#region src/operations/report/index.d.ts
+declare const getContractVerificationStatusHandler: HandlerForOperationSpec<typeof GetContractVerificationStatusQuery>;
+/**
+ * Register report-related operation contracts in the given registry.
+ */
+declare function registerReportContracts(registry: OperationSpecRegistry): OperationSpecRegistry;
+//#endregion
+export { ContractVerificationStatusModel, ContractVerificationTableDataView, GetContractVerificationStatusInput, GetContractVerificationStatusOutput, GetContractVerificationStatusQuery, getContractVerificationStatusHandler, registerReportContracts };

package/dist/operations/report/index.js

@@ -0,0 +1,45 @@
+import { installOp } from "../../install.js";
+import { ContractVerificationStatusModel, GetContractVerificationStatusInput, GetContractVerificationStatusOutput, GetContractVerificationStatusQuery } from "./getContractVerificationStatus.js";
+import { ContractVerificationTableDataView } from "../../data-views/report/contractVerificationTable.js";
+
+//#region src/operations/report/index.ts
+const getContractVerificationStatusHandler = async (input, _ctx) => {
+	try {
+		const cmdStdout = await Bun.spawn([
+			"contractspec",
+			"impl",
+			"status",
+			"--format",
+			"json",
+			"--all"
+		], { cwd: input.projectPath }).stdout;
+		const output = await Bun.readableStreamToText(cmdStdout);
+		if (!output) return { contracts: [] };
+		const cliOutput = JSON.parse(output);
+		const contracts = [];
+		for (const spec of cliOutput.results || []) {
+			const contract = {
+				name: spec.specKey,
+				lastVerifiedSha: spec.specHash,
+				lastVerifiedDate: spec.specHash ? (/* @__PURE__ */ new Date()).toISOString() : void 0,
+				surfaces: spec.implementations.filter((impl) => impl.exists).map((impl) => impl.type),
+				driftMismatches: spec.implementations.filter((impl) => !impl.exists).length
+			};
+			contracts.push(contract);
+		}
+		return { contracts };
+	} catch (error) {
+		console.error("Failed to get contract verification status:", error);
+		return { contracts: [] };
+	}
+};
+/**
+* Register report-related operation contracts in the given registry.
+*/
+function registerReportContracts(registry) {
+	installOp(registry, GetContractVerificationStatusQuery, getContractVerificationStatusHandler);
+	return registry;
+}
+
+//#endregion
+export { ContractVerificationStatusModel, ContractVerificationTableDataView, GetContractVerificationStatusInput, GetContractVerificationStatusOutput, GetContractVerificationStatusQuery, getContractVerificationStatusHandler, registerReportContracts };

package/dist/policy/validation.d.ts

@@ -1,6 +1,6 @@
 import { PolicySpec } from "./spec.js";
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { PolicyRegistry } from "./registry.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 
 //#region src/policy/validation.d.ts
 

package/dist/presentations/registry.d.ts

@@ -1,5 +1,5 @@
-import { PresentationSpec } from "./presentations.js";
 import { SpecContractRegistry } from "../registry.js";
+import { PresentationSpec } from "./presentations.js";
 
 //#region src/presentations/registry.d.ts
 /** In-memory registry for PresentationSpec. */

package/dist/registry.d.ts

@@ -1,6 +1,6 @@
-import { OwnerShipMeta } from "./ownership.js";
 import { GroupKeyFn, RegistryFilter } from "./registry-utils.js";
 import { ContractSpecType } from "./types.js";
+import { OwnerShipMeta } from "./ownership.js";
 
 //#region src/registry.d.ts
 interface AnySpecContract {

package/dist/serialization/serializers.d.ts

@@ -1,13 +1,13 @@
-import { PresentationSpec } from "../presentations/presentations.js";
 import { ResourceRefDescriptor } from "../resources.js";
 import { AnyOperationSpec } from "../operations/operation.js";
-import "../operations/index.js";
+import { PresentationSpec } from "../presentations/presentations.js";
 import "../presentations/index.js";
 import { DataViewSpec } from "../data-views/spec.js";
 import "../data-views/index.js";
-import { AnyEventSpec } from "../events.js";
+import "../operations/index.js";
 import { FormSpec } from "../forms/forms.js";
 import "../forms/index.js";
+import { AnyEventSpec } from "../events.js";
 import { SerializedDataViewSpec, SerializedEventSpec, SerializedFormSpec, SerializedOperationSpec, SerializedPresentationSpec, SerializedSchemaModel } from "./types.js";
 import { AnySchemaModel } from "@contractspec/lib.schema";
 

package/dist/server/rest-elysia.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import { RestOptions } from "./rest-generic.js";
 import { Elysia } from "elysia";
 

package/dist/server/rest-express.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import { RestOptions } from "./rest-generic.js";
 import { Request, Router } from "express";
 

package/dist/server/rest-generic.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 
 //#region src/server/rest-generic.d.ts
 interface RestOptions {

package/dist/server/rest-next-app.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import { RestOptions } from "./rest-generic.js";
 
 //#region src/server/rest-next-app.d.ts

package/dist/server/rest-next-mcp.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 
 //#region src/server/rest-next-mcp.d.ts
 declare function makeNextMcpServerFromRegistry(reg: OperationSpecRegistry, ctxFactory: () => HandlerCtx): {

package/dist/server/rest-next-pages.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import { RestOptions } from "./rest-generic.js";
 import { NextApiRequest, NextApiResponse } from "next";
 

package/dist/telemetry/spec.d.ts

@@ -1,5 +1,5 @@
-import { OwnerShipMeta } from "../ownership.js";
 import { SpecContractRegistry } from "../registry.js";
+import { OwnerShipMeta } from "../ownership.js";
 
 //#region src/telemetry/spec.d.ts
 type TelemetryPrivacyLevel = 'public' | 'internal' | 'pii' | 'sensitive';

package/dist/telemetry/tracker.d.ts

@@ -1,5 +1,6 @@
 import { TelemetryEventDef, TelemetryRegistry, TelemetrySpec } from "./spec.js";
 import { TelemetryAnomalyMonitor } from "./anomaly.js";
+import { Actor, Channel } from "../types.js";
 
 //#region src/telemetry/tracker.d.ts
 interface TelemetryEventContext {
@@ -7,8 +8,8 @@ interface TelemetryEventContext {
   organizationId?: string | null;
   userId?: string | null;
   sessionId?: string | null;
-  actor?: 'anonymous' | 'user' | 'admin';
-  channel?: 'web' | 'mobile' | 'job' | 'agent';
+  actor?: Actor;
+  channel?: Channel;
   metadata?: Record<string, unknown>;
 }
 interface TelemetryDispatch {

package/dist/tests/runner.d.ts

@@ -1,6 +1,6 @@
 import { Assertion, TestScenario, TestSpec } from "./spec.js";
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { HandlerCtx } from "../types.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import "../index.js";
 
 //#region src/tests/runner.d.ts

package/dist/themes.d.ts

@@ -1,6 +1,6 @@
 import { VersionedSpecRef } from "./versioning/refs.js";
-import { OwnerShipMeta } from "./ownership.js";
 import { SpecContractRegistry } from "./registry.js";
+import { OwnerShipMeta } from "./ownership.js";
 
 //#region src/themes.d.ts
 /** Scope at which a theme can be applied. */

package/dist/types.d.ts

@@ -34,13 +34,13 @@ type Actor = 'anonymous' | 'user' | 'admin';
  * - `job`: Background job/scheduled task
  * - `agent`: AI agent or automated system
  */
-type Channel = 'web' | 'mobile' | 'job' | 'agent';
+type Channel = 'web' | 'mobile' | 'job' | 'agent' | 'ci';
 /**
  * Discriminator for all ContractSpec specification types.
  *
  * Used to identify the kind of spec in registries and runtime operations.
  */
-type ContractSpecType = 'app-config' | 'agent' | 'operation' | 'example' | 'event' | 'presentation' | 'capability' | 'integration' | 'data-view' | 'feature' | 'workflow' | 'policy' | 'theme' | 'telemetry' | 'experiment' | 'knowledge-space';
+type ContractSpecType = 'operation' | 'event' | 'presentation' | 'feature' | 'capability' | 'data-view' | 'form' | 'agent' | 'migration' | 'workflow' | 'experiment' | 'integration' | 'theme' | 'knowledge' | 'telemetry' | 'example' | 'app-config' | 'policy' | 'test-spec' | 'type' | 'knowledge-space';
 /**
  * Decision for a specific field access.
  * Used for fine-grained field-level authorization.

package/dist/workflow/spec.d.ts

@@ -1,10 +1,10 @@
 import { CapabilityRef } from "../capabilities/capabilities.js";
-import { OwnerShipMeta } from "../ownership.js";
+import { SpecContractRegistry } from "../registry.js";
 import "../capabilities/index.js";
 import { ExperimentRef } from "../experiments/spec.js";
 import { FormRef, OpRef } from "../features/types.js";
 import "../features/index.js";
-import { SpecContractRegistry } from "../registry.js";
+import { OwnerShipMeta } from "../ownership.js";
 
 //#region src/workflow/spec.d.ts
 type StepType = 'human' | 'automation' | 'decision';

package/dist/workflow/validation.d.ts

@@ -1,9 +1,9 @@
 import { CapabilityRegistry } from "../capabilities/capabilities.js";
-import { OperationSpecRegistry } from "../operations/registry.js";
 import { WorkflowRegistry, WorkflowSpec } from "./spec.js";
-import { EventRegistry } from "../events.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import { FormRegistry } from "../forms/forms.js";
 import "../forms/index.js";
+import { EventRegistry } from "../events.js";
 
 //#region src/workflow/validation.d.ts
 type WorkflowValidationLevel = 'error' | 'warning';

package/dist/workspace-config/contractsrc-schema.d.ts

@@ -1,4 +1,4 @@
-import { BumpStrategy, ChangelogFormat, ChangelogTier, CheckRunConfig, CiConfig, ClaudeAgentSDKConfig, ContractsrcConfig, ContractsrcFileConfig, ExternalAgentsConfig, ExternalWorkspace, FolderConventions, FormatterConfig, FormatterType, GroupingRule, GroupingStrategy, HooksConfig, ImpactConfig, LintRules, MetaRepoConfig, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, OpenCodeSDKConfig, PrCommentConfig, ResolvedContractsrcConfig, RuleSeverity, RuleSyncConfig, RuleSyncTarget, RulesConfig, SchemaFormat, SpecKind, TestLinkingConfig, TestLinkingStrategy, TestingConfig, VersioningConfig } from "./contractsrc-types.js";
+import { AgentMode, AgentProvider, BumpStrategy, ChangelogFormat, ChangelogTier, CheckRunConfig, CiConfig, ClaudeAgentSDKConfig, ContractsrcConfig, ContractsrcFileConfig, ExternalAgentsConfig, ExternalWorkspace, FolderConventions, FormatterConfig, FormatterType, GroupingRule, GroupingStrategy, HooksConfig, ImpactConfig, LintRules, MetaRepoConfig, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, OpenCodeSDKConfig, PrCommentConfig, ResolvedContractsrcConfig, RuleSeverity, RuleSyncConfig, RuleSyncTarget, RulesConfig, SchemaFormat, SpecKind, TestLinkingConfig, TestLinkingStrategy, TestingConfig, VersioningConfig } from "./contractsrc-types.js";
 import * as z$2 from "zod";
 
 //#region src/workspace-config/contractsrc-schema.d.ts
@@ -133,10 +133,10 @@ declare const HooksConfigSchema: z$2.ZodType<HooksConfig>;
 /**
  * Full ContractSpec configuration schema (.contractsrc.json).
  */
-declare const ContractsrcSchema: z$2.ZodType<ContractsrcConfig>;
+declare const ContractsrcSchema: z$2.ZodType<ContractsrcFileConfig>;
 /**
  * Default configuration values.
  */
 declare const DEFAULT_CONTRACTSRC: ResolvedContractsrcConfig;
 //#endregion
-export { BumpStrategy, BumpStrategySchema, ChangelogFormat, ChangelogFormatSchema, ChangelogTier, ChangelogTierSchema, CheckRunConfig, CheckRunConfigSchema, CiConfig, CiConfigSchema, ClaudeAgentSDKConfig, ClaudeAgentSDKConfigSchema, ContractsrcConfig, ContractsrcFileConfig, ContractsrcSchema, DEFAULT_CONTRACTSRC, ExternalAgentsConfig, ExternalAgentsConfigSchema, ExternalWorkspace, ExternalWorkspaceSchema, FolderConventions, FolderConventionsSchema, FormatterConfig, FormatterConfigSchema, FormatterType, FormatterTypeSchema, GroupingRule, GroupingRuleSchema, GroupingStrategy, GroupingStrategySchema, HooksConfig, HooksConfigSchema, ImpactConfig, ImpactConfigSchema, LintRules, LintRulesSchema, MetaRepoConfig, MetaRepoConfigSchema, OpenApiConfig, OpenApiConfigSchema, OpenApiExportConfig, OpenApiExportConfigSchema, OpenApiSourceConfig, OpenApiSourceConfigSchema, OpenCodeSDKConfig, OpenCodeSDKConfigSchema, PrCommentConfig, PrCommentConfigSchema, ResolvedContractsrcConfig, RuleSeverity, RuleSeveritySchema, RuleSyncConfig, RuleSyncConfigSchema, RuleSyncTarget, RuleSyncTargetSchema, RulesConfig, RulesConfigSchema, SchemaFormat, SchemaFormatSchema, SpecKind, SpecKindSchema, TestLinkingConfig, TestLinkingConfigSchema, TestLinkingStrategy, TestLinkingStrategySchema, TestingConfig, TestingConfigSchema, VersioningConfig, VersioningConfigSchema };
+export { AgentMode, AgentProvider, BumpStrategy, BumpStrategySchema, ChangelogFormat, ChangelogFormatSchema, ChangelogTier, ChangelogTierSchema, CheckRunConfig, CheckRunConfigSchema, CiConfig, CiConfigSchema, ClaudeAgentSDKConfig, ClaudeAgentSDKConfigSchema, ContractsrcConfig, ContractsrcFileConfig, ContractsrcSchema, DEFAULT_CONTRACTSRC, ExternalAgentsConfig, ExternalAgentsConfigSchema, ExternalWorkspace, ExternalWorkspaceSchema, FolderConventions, FolderConventionsSchema, FormatterConfig, FormatterConfigSchema, FormatterType, FormatterTypeSchema, GroupingRule, GroupingRuleSchema, GroupingStrategy, GroupingStrategySchema, HooksConfig, HooksConfigSchema, ImpactConfig, ImpactConfigSchema, LintRules, LintRulesSchema, MetaRepoConfig, MetaRepoConfigSchema, OpenApiConfig, OpenApiConfigSchema, OpenApiExportConfig, OpenApiExportConfigSchema, OpenApiSourceConfig, OpenApiSourceConfigSchema, OpenCodeSDKConfig, OpenCodeSDKConfigSchema, PrCommentConfig, PrCommentConfigSchema, ResolvedContractsrcConfig, RuleSeverity, RuleSeveritySchema, RuleSyncConfig, RuleSyncConfigSchema, RuleSyncTarget, RuleSyncTargetSchema, RulesConfig, RulesConfigSchema, SchemaFormat, SchemaFormatSchema, SpecKind, SpecKindSchema, TestLinkingConfig, TestLinkingConfigSchema, TestLinkingStrategy, TestLinkingStrategySchema, TestingConfig, TestingConfigSchema, VersioningConfig, VersioningConfigSchema };

package/dist/workspace-config/contractsrc-schema.js

@@ -374,6 +374,7 @@ const ContractsrcSchema = z$2.object({
 		"claude-code",
 		"openai-codex",
 		"claude-agent-sdk",
+		"opencode",
 		"opencode-sdk"
 	]).default("simple").optional(),
 	customEndpoint: z$2.url().nullable().optional(),

package/dist/workspace-config/contractsrc-types.d.ts

@@ -15,6 +15,8 @@ type RuleSyncTarget = 'cursor' | 'windsurf' | 'cline' | 'claude-code' | 'copilot
 type RuleSeverity = 'off' | 'warn' | 'error';
 type SpecKind = 'operation' | 'event' | 'presentation' | 'feature' | 'workflow' | 'data-view' | 'migration' | 'telemetry' | 'experiment' | 'app-config';
 type TestLinkingStrategy = 'target-first' | 'convention-only' | 'both';
+type AgentProvider = 'claude' | 'openai' | 'ollama' | 'custom';
+type AgentMode = 'simple' | 'cursor' | 'claude-code' | 'openai-codex' | 'claude-agent-sdk' | 'opencode' | 'opencode-sdk';
 interface OpenApiSourceConfig {
   /** Friendly name for the source */
   name: string;
@@ -238,7 +240,7 @@ interface LintRules {
   'require-owners-format'?: RuleSeverity;
   /** Require event names to use past tense */
   'event-past-tense'?: RuleSeverity;
-  /** Warn on TODO comments */
+  /** Warn on placeholder comments */
   'no-todo'?: RuleSeverity;
   /** Require workflow transitions */
   'workflow-transitions'?: RuleSeverity;
@@ -283,17 +285,14 @@ interface RulesConfig {
   overrides?: Partial<Record<SpecKind, LintRules>>;
 }
 type HooksConfig = Record<string, string[]>;
-/**
- * Full ContractSpec configuration (.contractsrc.json).
- */
 /**
  * Full ContractSpec configuration (.contractsrc.json).
  * All fields are optional as they come from user configuration.
  */
 interface ContractsrcFileConfig {
-  aiProvider?: 'claude' | 'openai' | 'ollama' | 'custom';
+  aiProvider?: AgentProvider;
   aiModel?: string;
-  agentMode?: 'simple' | 'cursor' | 'claude-code' | 'openai-codex' | 'claude-agent-sdk' | 'opencode-sdk';
+  agentMode?: AgentMode;
   customEndpoint?: string | null;
   customApiKey?: string | null;
   outputDir?: string;
@@ -321,7 +320,7 @@ interface ContractsrcFileConfig {
  */
 interface ResolvedContractsrcConfig extends ContractsrcFileConfig {
   aiProvider: 'claude' | 'openai' | 'ollama' | 'custom';
-  agentMode: 'simple' | 'cursor' | 'claude-code' | 'openai-codex' | 'claude-agent-sdk' | 'opencode-sdk';
+  agentMode: 'simple' | 'cursor' | 'claude-code' | 'openai-codex' | 'claude-agent-sdk' | 'opencode' | 'opencode-sdk';
   outputDir: string;
   conventions: {
     models: string;
@@ -343,4 +342,4 @@ interface ResolvedContractsrcConfig extends ContractsrcFileConfig {
  */
 type ContractsrcConfig = ContractsrcFileConfig;
 //#endregion
-export { BumpStrategy, ChangelogFormat, ChangelogTier, CheckRunConfig, CiConfig, ClaudeAgentSDKConfig, ContractsrcConfig, ContractsrcFileConfig, ExternalAgentsConfig, ExternalWorkspace, FolderConventions, FormatterConfig, FormatterType, GroupingRule, GroupingStrategy, HooksConfig, ImpactConfig, LintRules, MetaRepoConfig, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, OpenCodeSDKConfig, PrCommentConfig, ResolvedContractsrcConfig, RuleSeverity, RuleSyncConfig, RuleSyncTarget, RulesConfig, SchemaFormat, SpecKind, TestLinkingConfig, TestLinkingStrategy, TestingConfig, VersioningConfig };
+export { AgentMode, AgentProvider, BumpStrategy, ChangelogFormat, ChangelogTier, CheckRunConfig, CiConfig, ClaudeAgentSDKConfig, ContractsrcConfig, ContractsrcFileConfig, ExternalAgentsConfig, ExternalWorkspace, FolderConventions, FormatterConfig, FormatterType, GroupingRule, GroupingStrategy, HooksConfig, ImpactConfig, LintRules, MetaRepoConfig, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, OpenCodeSDKConfig, PrCommentConfig, ResolvedContractsrcConfig, RuleSeverity, RuleSyncConfig, RuleSyncTarget, RulesConfig, SchemaFormat, SpecKind, TestLinkingConfig, TestLinkingStrategy, TestingConfig, VersioningConfig };

package/dist/workspace-config/index.d.ts

@@ -1,3 +1,3 @@
-import { BumpStrategy, ChangelogFormat, ChangelogTier, ContractsrcConfig, ContractsrcFileConfig, FolderConventions, FormatterConfig, FormatterType, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, ResolvedContractsrcConfig, RuleSyncConfig, RuleSyncTarget, SchemaFormat, VersioningConfig } from "./contractsrc-types.js";
+import { AgentMode, AgentProvider, BumpStrategy, ChangelogFormat, ChangelogTier, ContractsrcConfig, ContractsrcFileConfig, FolderConventions, FormatterConfig, FormatterType, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, ResolvedContractsrcConfig, RuleSyncConfig, RuleSyncTarget, SchemaFormat, VersioningConfig } from "./contractsrc-types.js";
 import { BumpStrategySchema, ChangelogFormatSchema, ChangelogTierSchema, ContractsrcSchema, DEFAULT_CONTRACTSRC, FolderConventionsSchema, FormatterConfigSchema, FormatterTypeSchema, OpenApiConfigSchema, OpenApiExportConfigSchema, OpenApiSourceConfigSchema, RuleSyncConfigSchema, RuleSyncTargetSchema, SchemaFormatSchema, VersioningConfigSchema } from "./contractsrc-schema.js";
-export { type BumpStrategy, BumpStrategySchema, type ChangelogFormat, ChangelogFormatSchema, type ChangelogTier, ChangelogTierSchema, type ContractsrcConfig, type ContractsrcFileConfig, ContractsrcSchema, DEFAULT_CONTRACTSRC, type FolderConventions, FolderConventionsSchema, type FormatterConfig, FormatterConfigSchema, type FormatterType, FormatterTypeSchema, type OpenApiConfig, OpenApiConfigSchema, type OpenApiExportConfig, OpenApiExportConfigSchema, type OpenApiSourceConfig, OpenApiSourceConfigSchema, type ResolvedContractsrcConfig, type RuleSyncConfig, RuleSyncConfigSchema, type RuleSyncTarget, RuleSyncTargetSchema, type SchemaFormat, SchemaFormatSchema, type VersioningConfig, VersioningConfigSchema };
+export { type AgentMode, type AgentProvider, type BumpStrategy, BumpStrategySchema, type ChangelogFormat, ChangelogFormatSchema, type ChangelogTier, ChangelogTierSchema, type ContractsrcConfig, type ContractsrcFileConfig, ContractsrcSchema, DEFAULT_CONTRACTSRC, type FolderConventions, FolderConventionsSchema, type FormatterConfig, FormatterConfigSchema, type FormatterType, FormatterTypeSchema, type OpenApiConfig, OpenApiConfigSchema, type OpenApiExportConfig, OpenApiExportConfigSchema, type OpenApiSourceConfig, OpenApiSourceConfigSchema, type ResolvedContractsrcConfig, type RuleSyncConfig, RuleSyncConfigSchema, type RuleSyncTarget, RuleSyncTargetSchema, type SchemaFormat, SchemaFormatSchema, type VersioningConfig, VersioningConfigSchema };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contractspec/lib.contracts",
-  "version": "1.52.0",
+  "version": "1.53.0",
   "description": "Core contract specification definitions and runtime",
   "keywords": [
     "contractspec",
@@ -14,7 +14,7 @@
     "publish:pkg": "bun publish --tolerate-republish --ignore-scripts --verbose",
     "publish:pkg:canary": "bun publish:pkg --tag canary",
     "build": "bun build:types && bun build:bundle",
-    "build:bundle": "tsdown",
+    "build:bundle": "NODE_OPTIONS=--max-old-space-size=8192 tsdown",
     "build:types": "tsc --noEmit",
     "dev": "bun build:bundle --watch",
     "registry:build": "bun run scripts/build-registry.ts",
@@ -25,8 +25,8 @@
     "test": "bun test"
   },
   "devDependencies": {
-    "@contractspec/tool.tsdown": "1.52.0",
-    "@contractspec/tool.typescript": "1.52.0",
+    "@contractspec/tool.tsdown": "1.53.0",
+    "@contractspec/tool.typescript": "1.53.0",
     "@types/express": "^5.0.3",
     "@types/turndown": "^5.0.6",
     "tsdown": "^0.19.0",
@@ -36,8 +36,8 @@
   "dependencies": {
     "@aws-sdk/client-secrets-manager": "^3.966.0",
     "@aws-sdk/client-sqs": "^3.966.0",
-    "@contractspec/lib.logger": "1.52.0",
-    "@contractspec/lib.schema": "1.52.0",
+    "@contractspec/lib.logger": "1.53.0",
+    "@contractspec/lib.schema": "1.53.0",
     "@elevenlabs/elevenlabs-js": "^2.30.0",
     "@google-cloud/secret-manager": "^6.1.1",
     "@google-cloud/storage": "^7.18.0",
@@ -84,9 +84,9 @@
     ".": "./dist/index.js",
     "./app-config": "./dist/app-config/index.js",
     "./app-config/app-config.capability": "./dist/app-config/app-config.capability.js",
+    "./app-config/app-config.contracts": "./dist/app-config/app-config.contracts.js",
     "./app-config/app-config.feature": "./dist/app-config/app-config.feature.js",
     "./app-config/branding": "./dist/app-config/branding.js",
-    "./app-config/contracts": "./dist/app-config/contracts.js",
     "./app-config/docs/app-config.docblock": "./dist/app-config/docs/app-config.docblock.js",
     "./app-config/events": "./dist/app-config/events.js",
     "./app-config/lifecycle": "./dist/app-config/lifecycle.js",
@@ -115,13 +115,32 @@
     "./data-views/docs/data-views.docblock": "./dist/data-views/docs/data-views.docblock.js",
     "./data-views/query-generator": "./dist/data-views/query-generator.js",
     "./data-views/registry": "./dist/data-views/registry.js",
+    "./data-views/report/contractVerificationTable": "./dist/data-views/report/contractVerificationTable.js",
     "./data-views/runtime": "./dist/data-views/runtime.js",
     "./data-views/spec": "./dist/data-views/spec.js",
     "./data-views/types": "./dist/data-views/types.js",
     "./docs": "./dist/docs/index.js",
     "./docs/accessibility_wcag_compliance_specs.docblock": "./dist/docs/accessibility_wcag_compliance_specs.docblock.js",
+    "./docs/capabilities": "./dist/docs/capabilities/index.js",
+    "./docs/capabilities/documentationSystem.capability": "./dist/docs/capabilities/documentationSystem.capability.js",
+    "./docs/commands": "./dist/docs/commands/index.js",
+    "./docs/commands/docsGenerate.command": "./dist/docs/commands/docsGenerate.command.js",
+    "./docs/commands/docsPublish.command": "./dist/docs/commands/docsPublish.command.js",
+    "./docs/constants": "./dist/docs/constants.js",
+    "./docs/contracts": "./dist/docs/contracts.js",
+    "./docs/ensure-docblocks": "./dist/docs/ensure-docblocks.js",
+    "./docs/events": "./dist/docs/events/index.js",
+    "./docs/events/docsGenerated.event": "./dist/docs/events/docsGenerated.event.js",
+    "./docs/events/docsPublished.event": "./dist/docs/events/docsPublished.event.js",
+    "./docs/forms": "./dist/docs/forms/index.js",
+    "./docs/forms/docsSearch.form": "./dist/docs/forms/docsSearch.form.js",
     "./docs/meta.docs": "./dist/docs/meta.docs.js",
-    "./docs/presentations": "./dist/docs/presentations.js",
+    "./docs/presentations": "./dist/docs/presentations/index.js",
+    "./docs/presentations/docsLayout.presentation": "./dist/docs/presentations/docsLayout.presentation.js",
+    "./docs/presentations/docsReferencePage.presentation": "./dist/docs/presentations/docsReferencePage.presentation.js",
+    "./docs/queries": "./dist/docs/queries/index.js",
+    "./docs/queries/contractReference.query": "./dist/docs/queries/contractReference.query.js",
+    "./docs/queries/docsIndex.query": "./dist/docs/queries/docsIndex.query.js",
     "./docs/registry": "./dist/docs/registry.js",
     "./docs/tech-contracts.docs": "./dist/docs/tech-contracts.docs.js",
     "./docs/tech/auth/better-auth-nextjs.docblock": "./dist/docs/tech/auth/better-auth-nextjs.docblock.js",
@@ -135,10 +154,12 @@
     "./docs/tech/contracts/tests.docblock": "./dist/docs/tech/contracts/tests.docblock.js",
     "./docs/tech/contracts/themes.docblock": "./dist/docs/tech/contracts/themes.docblock.js",
     "./docs/tech/contracts/vertical-pocket-family-office.docblock": "./dist/docs/tech/contracts/vertical-pocket-family-office.docblock.js",
+    "./docs/tech/docs-system.docblock": "./dist/docs/tech/docs-system.docblock.js",
     "./docs/tech/lifecycle-stage-system.docblock": "./dist/docs/tech/lifecycle-stage-system.docblock.js",
     "./docs/tech/llm/llm-integration.docblock": "./dist/docs/tech/llm/llm-integration.docblock.js",
     "./docs/tech/mcp-endpoints.docblock": "./dist/docs/tech/mcp-endpoints.docblock.js",
     "./docs/tech/presentation-runtime.docblock": "./dist/docs/tech/presentation-runtime.docblock.js",
+    "./docs/tech/report-verification-table.docblock": "./dist/docs/tech/report-verification-table.docblock.js",
     "./docs/tech/schema/README.docblock": "./dist/docs/tech/schema/README.docblock.js",
     "./docs/tech/studio/learning-events.docblock": "./dist/docs/tech/studio/learning-events.docblock.js",
     "./docs/tech/studio/learning-journeys.docblock": "./dist/docs/tech/studio/learning-journeys.docblock.js",
@@ -152,6 +173,10 @@
     "./docs/tech/telemetry-ingest.docblock": "./dist/docs/tech/telemetry-ingest.docblock.js",
     "./docs/tech/vscode-extension.docblock": "./dist/docs/tech/vscode-extension.docblock.js",
     "./docs/types": "./dist/docs/types.js",
+    "./docs/views": "./dist/docs/views/index.js",
+    "./docs/views/contractReference.dataView": "./dist/docs/views/contractReference.dataView.js",
+    "./docs/views/docsIndex.dataView": "./dist/docs/views/docsIndex.dataView.js",
+    "./docs/views/exampleCatalog.dataView": "./dist/docs/views/exampleCatalog.dataView.js",
     "./events": "./dist/events.js",
     "./examples": "./dist/examples/index.js",
     "./examples/docs/examples.docblock": "./dist/examples/docs/examples.docblock.js",
@@ -284,6 +309,8 @@
     "./operations": "./dist/operations/index.js",
     "./operations/operation": "./dist/operations/operation.js",
     "./operations/registry": "./dist/operations/registry.js",
+    "./operations/report": "./dist/operations/report/index.js",
+    "./operations/report/getContractVerificationStatus": "./dist/operations/report/getContractVerificationStatus.js",
     "./ownership": "./dist/ownership.js",
     "./policy": "./dist/policy/index.js",
     "./policy/context": "./dist/policy/context.js",