@fabricorg/gen-conformance 1.0.6 → 1.0.8

package/dist/index.d.ts

@@ -1,147 +1,146 @@
-import { GeneratorTarget } from '@fabricorg/compiler';
-import { ModuleManifest } from '@fabricorg/platform';
-
+import { GeneratorTarget } from "@fabricorg/compiler";
+import { ModuleManifest } from "@fabricorg/platform";
+//#region index.d.ts
 /** Checks a single module's own behaviour, verifiable against a governed host. */
-declare const MODULE_CONFORMANCE_CHECKS: readonly ["fabric.idempotency.same-command-replay.v1", "fabric.idempotency.conflicting-payload.v1", "fabric.idempotency.concurrent-submission.v1", "fabric.authorization.governing-moment.v1", "fabric.authorization.offline-replay.v1", "fabric.events.compatibility.v1", "fabric.provenance.propagation.v1", "fabric.consumers.tolerant-envelope.v1"];
+export declare const MODULE_CONFORMANCE_CHECKS: readonly ["fabric.idempotency.same-command-replay.v1", "fabric.idempotency.conflicting-payload.v1", "fabric.idempotency.concurrent-submission.v1", "fabric.authorization.governing-moment.v1", "fabric.authorization.offline-replay.v1", "fabric.events.compatibility.v1", "fabric.provenance.propagation.v1", "fabric.consumers.tolerant-envelope.v1"];
 /**
  * Checks that belong to a repository rather than a module. They are certification
  * evidence like any other check, but no per-module suite can produce them.
  */
-declare const PLATFORM_CONFORMANCE_CHECKS: readonly ["fabric.documentation.parity.v1", "fabric.documentation.llms-contract.v1"];
-declare const PHASE_1_CONFORMANCE_CHECKS: readonly ["fabric.idempotency.same-command-replay.v1", "fabric.idempotency.conflicting-payload.v1", "fabric.idempotency.concurrent-submission.v1", "fabric.authorization.governing-moment.v1", "fabric.authorization.offline-replay.v1", "fabric.events.compatibility.v1", "fabric.provenance.propagation.v1", "fabric.consumers.tolerant-envelope.v1", "fabric.documentation.parity.v1", "fabric.documentation.llms-contract.v1"];
-type ModuleConformanceCheckId = typeof MODULE_CONFORMANCE_CHECKS[number];
-type PlatformConformanceCheckId = typeof PLATFORM_CONFORMANCE_CHECKS[number];
-type Phase1ConformanceCheckId = ModuleConformanceCheckId | PlatformConformanceCheckId;
-interface ConformanceEvidence {
-    id: Phase1ConformanceCheckId;
-    status: "passed" | "failed";
-    evidence: string[];
+export declare const PLATFORM_CONFORMANCE_CHECKS: readonly ["fabric.documentation.parity.v1", "fabric.documentation.llms-contract.v1"];
+export declare const PHASE_1_CONFORMANCE_CHECKS: readonly ["fabric.idempotency.same-command-replay.v1", "fabric.idempotency.conflicting-payload.v1", "fabric.idempotency.concurrent-submission.v1", "fabric.authorization.governing-moment.v1", "fabric.authorization.offline-replay.v1", "fabric.events.compatibility.v1", "fabric.provenance.propagation.v1", "fabric.consumers.tolerant-envelope.v1", "fabric.documentation.parity.v1", "fabric.documentation.llms-contract.v1"];
+export type ModuleConformanceCheckId = typeof MODULE_CONFORMANCE_CHECKS[number];
+export type PlatformConformanceCheckId = typeof PLATFORM_CONFORMANCE_CHECKS[number];
+export type Phase1ConformanceCheckId = ModuleConformanceCheckId | PlatformConformanceCheckId;
+export interface ConformanceEvidence {
+  id: Phase1ConformanceCheckId;
+  status: "passed" | "failed";
+  evidence: string[];
 }
-interface CertificationResult {
-    formatVersion: 1;
-    manifestDigest: string;
-    compilerVersion: string;
-    generatorDigests: Record<string, string>;
-    checks: ConformanceEvidence[];
-    passed: boolean;
+export interface CertificationResult {
+  formatVersion: 1;
+  manifestDigest: string;
+  compilerVersion: string;
+  generatorDigests: Record<string, string>;
+  checks: ConformanceEvidence[];
+  passed: boolean;
 }
-interface PlannedAction {
-    actionId: string;
-    version: number;
-    mutatesDomain: boolean;
-    idempotent: boolean;
-    idempotency?: "required" | "supported" | "prohibited";
-    authorityMoment?: "capture" | "execution" | "both";
-    connectivity?: "online-required" | "offline-capturable";
-    consistency?: "authoritative-now" | "provisional-until-reconciled";
+export interface PlannedAction {
+  actionId: string;
+  version: number;
+  mutatesDomain: boolean;
+  idempotent: boolean;
+  idempotency?: "required" | "supported" | "prohibited";
+  authorityMoment?: "capture" | "execution" | "both";
+  connectivity?: "online-required" | "offline-capturable";
+  consistency?: "authoritative-now" | "provisional-until-reconciled";
 }
-interface PlannedView {
-    name: string;
-    version: string;
-    parameterSchema?: ModuleManifest["views"][number]["parameterSchema"];
-    consumes: Array<{
-        eventType: string;
-        schemaVersions: number[];
-    }>;
+export interface PlannedView {
+  name: string;
+  version: string;
+  parameterSchema?: ModuleManifest["views"][number]["parameterSchema"];
+  consumes: Array<{
+    eventType: string;
+    schemaVersions: number[];
+  }>;
 }
-interface ModuleConformancePlan {
-    formatVersion: 1;
-    module: string;
-    manifestDigest: string;
-    requiredChecks: readonly ModuleConformanceCheckId[];
-    platformChecks: readonly PlatformConformanceCheckId[];
-    actions: PlannedAction[];
-    views: PlannedView[];
-    eventTypes: Array<{
-        eventType: string;
-        schemaVersion: number;
-    }>;
+export interface ModuleConformancePlan {
+  formatVersion: 1;
+  module: string;
+  manifestDigest: string;
+  requiredChecks: readonly ModuleConformanceCheckId[];
+  platformChecks: readonly PlatformConformanceCheckId[];
+  actions: PlannedAction[];
+  views: PlannedView[];
+  eventTypes: Array<{
+    eventType: string;
+    schemaVersion: number;
+  }>;
 }
-interface ConformanceScope {
-    tenantId: string;
-    spaceId: string;
-    actorId: string;
-    actorType: string;
+export interface ConformanceScope {
+  tenantId: string;
+  spaceId: string;
+  actorId: string;
+  actorType: string;
 }
-interface ConformanceSubmitInput {
-    actionId: string;
-    parameters: Record<string, unknown>;
-    idempotencyKey?: string;
-    correlationId?: string;
-    provenance?: {
-        source: string;
-        correlationId: string;
-        auditAttributes?: Record<string, string>;
-    };
-    /**
-     * Declares only the intent of the binding. The harness completes tenant, actor,
-     * action and parameter-digest identity, because only it knows the command shape.
-     */
-    authorizationBinding?: {
-        governingMoment: "capture" | "execution" | "both";
-        capturedAt?: string;
-        expiresAt?: string;
-    };
-    executionReason?: "initial" | "offline_replay";
+export interface ConformanceSubmitInput {
+  actionId: string;
+  parameters: Record<string, unknown>;
+  idempotencyKey?: string;
+  correlationId?: string;
+  provenance?: {
+    source: string;
+    correlationId: string;
+    auditAttributes?: Record<string, string>;
+  };
+  /**
+   * Declares only the intent of the binding. The harness completes tenant, actor,
+   * action and parameter-digest identity, because only it knows the command shape.
+   */
+  authorizationBinding?: {
+    governingMoment: "capture" | "execution" | "both";
+    capturedAt?: string;
+    expiresAt?: string;
+  };
+  executionReason?: "initial" | "offline_replay";
 }
-interface ConformanceSubmitResult {
-    actionInvocationId: string;
-    status: string;
-    reconciliation?: {
-        kind: string;
-    };
+export interface ConformanceSubmitResult {
+  actionInvocationId: string;
+  status: string;
+  reconciliation?: {
+    kind: string;
+  };
 }
-interface ConformanceEventEnvelope {
-    eventType: string;
-    correlationId?: string;
-    actionInvocationId?: string;
-    tenantId?: string;
-    spaceId?: string;
-    subjectType?: string;
-    subjectId?: string;
-    sequence?: number;
-    [key: string]: unknown;
+export interface ConformanceEventEnvelope {
+  eventType: string;
+  correlationId?: string;
+  actionInvocationId?: string;
+  tenantId?: string;
+  spaceId?: string;
+  subjectType?: string;
+  subjectId?: string;
+  sequence?: number;
+  [key: string]: unknown;
 }
 /**
  * What an application supplies so its module's generated suite can run. Structural
  * by design: any store or host that satisfies it is a valid subject.
  */
-interface ConformanceHarness {
-    scope: ConformanceScope;
-    /** Representative parameters for an action; the module owns its own fixtures. */
-    parameters(actionId: string): Record<string, unknown>;
-    submit(input: ConformanceSubmitInput): Promise<ConformanceSubmitResult>;
-    events(): Promise<ConformanceEventEnvelope[]>;
-    /** Withdraw execution-time authority so a replay must be refused. */
-    revokeAuthority(actionId: string): Promise<void>;
-    /**
-     * Observable effects an action has produced so far — events appended, rows written,
-     * whatever the application counts. Supply it and the idempotency checks prove the
-     * handler did not run twice, rather than only that the same identifier came back.
-     */
-    sideEffects?(actionId: string): Promise<number>;
-    /**
-     * Hand a real emitted envelope to a real consumer. Supply it and the
-     * tolerant-envelope check stops being producer-side only: it proves a consumer
-     * survives fields it does not recognise, which is what tolerance means.
-     */
-    acceptsEnvelope?(envelope: ConformanceEventEnvelope): Promise<boolean> | boolean;
+export interface ConformanceHarness {
+  scope: ConformanceScope;
+  /** Representative parameters for an action; the module owns its own fixtures. */
+  parameters(actionId: string): Record<string, unknown>;
+  submit(input: ConformanceSubmitInput): Promise<ConformanceSubmitResult>;
+  events(): Promise<ConformanceEventEnvelope[]>;
+  /** Withdraw execution-time authority so a replay must be refused. */
+  revokeAuthority(actionId: string): Promise<void>;
+  /**
+   * Observable effects an action has produced so far — events appended, rows written,
+   * whatever the application counts. Supply it and the idempotency checks prove the
+   * handler did not run twice, rather than only that the same identifier came back.
+   */
+  sideEffects?(actionId: string): Promise<number>;
+  /**
+   * Hand a real emitted envelope to a real consumer. Supply it and the
+   * tolerant-envelope check stops being producer-side only: it proves a consumer
+   * survives fields it does not recognise, which is what tolerance means.
+   */
+  acceptsEnvelope?(envelope: ConformanceEventEnvelope): Promise<boolean> | boolean;
 }
-type ConformanceOutcome = {
-    status: "passed";
-    evidence: string[];
+export type ConformanceOutcome = {
+  status: "passed";
+  evidence: string[];
 } | {
-    status: "not-applicable";
-    reason: string;
+  status: "not-applicable";
+  reason: string;
 };
-interface ConformanceCheck {
-    id: ModuleConformanceCheckId;
-    title: string;
-    run(harness: ConformanceHarness, plan: ModuleConformancePlan): Promise<ConformanceOutcome>;
+export interface ConformanceCheck {
+  id: ModuleConformanceCheckId;
+  title: string;
+  run(harness: ConformanceHarness, plan: ModuleConformancePlan): Promise<ConformanceOutcome>;
 }
-declare function moduleConformanceChecks(): ConformanceCheck[];
-declare function createCertificationResult(input: Omit<CertificationResult, "formatVersion" | "passed">): CertificationResult;
-declare function buildModuleConformancePlan(module: ModuleManifest, manifestDigest: string): ModuleConformancePlan;
-declare const conformanceGenerator: GeneratorTarget;
-
-export { type CertificationResult, type ConformanceCheck, type ConformanceEventEnvelope, type ConformanceEvidence, type ConformanceHarness, type ConformanceOutcome, type ConformanceScope, type ConformanceSubmitInput, type ConformanceSubmitResult, MODULE_CONFORMANCE_CHECKS, type ModuleConformanceCheckId, type ModuleConformancePlan, PHASE_1_CONFORMANCE_CHECKS, PLATFORM_CONFORMANCE_CHECKS, type Phase1ConformanceCheckId, type PlannedAction, type PlannedView, type PlatformConformanceCheckId, buildModuleConformancePlan, conformanceGenerator, createCertificationResult, moduleConformanceChecks };
+export declare function moduleConformanceChecks(): ConformanceCheck[];
+export declare function createCertificationResult(input: Omit<CertificationResult, "formatVersion" | "passed">): CertificationResult;
+export declare function buildModuleConformancePlan(module: ModuleManifest, manifestDigest: string): ModuleConformancePlan;
+export declare const conformanceGenerator: GeneratorTarget;
+//#endregion