@lucern/contracts 0.3.0-alpha.0 → 0.3.0-alpha.1

package/dist/index.d.ts

@@ -6,19 +6,429 @@ export { BELIEF_TYPE_BONUS, BeliefLatticeSeed, CONTEXT_PACK_SCHEMA_VERSION, CONT
 export { CreateDomainEventInput, DOMAIN_EVENT_TYPES, DOMAIN_EVENT_VERSION, DomainActorType, DomainEvent, DomainEventData, DomainEventType, DomainResourceType, EVENT_RETENTION_DEFAULT_DAYS, EventCursor, EventListQuery, EventListResult, ReplayEventsInput, ReplayEventsResult, WEBHOOK_MAX_ATTEMPTS, WEBHOOK_RETRY_DELAYS_MS, WebhookCreateInput, WebhookDeliveriesResult, WebhookDeliveryAttemptRecord, WebhookDeliveryRecord, WebhookDeliveryStatus, WebhookHealthResult, WebhookRecord, WebhookSecretMode, WebhookTestResult, WebhookUpdateInput, buildDomainEvent, compareEventCursor, createEventId, decodeEventCursor, emitDomainEvent, encodeEventCursor, inferActorType, isAfterCursor, normalizeRetentionDays, sortEventsByCursor } from './events.contract.js';
 export { DecodedPrefixedId, decodePrefixedId, encodePrefixedId, hasPrefixedIdPrefix } from './ids.contract.js';
 export { d as contractDsl } from './dsl-BgpoVOVQ.js';
-export { i as schemaContracts } from './index-DoDXl8KS.js';
+export { i as schemaContracts } from './index-CV-0_VWJ.js';
+export { ComponentTableManifest, ComponentTableManifestSchema } from './schemas/component-table-manifest.js';
+export { SLOpinionInput, SLOpinionInputSchema } from './schemas/sl-opinion.js';
+import * as zod from 'zod';
+import { z } from 'zod';
 export * from './function-registry/index.js';
-export { t as mcpToolsContract } from './tool-contracts-WCnuE9DW.js';
+export { t as mcpToolsContract } from './tool-contracts-C92-9ueT.js';
 export { EntityConnectionMatch, EntityMatchCandidate, EntityTypeMatch, OntologyEntityType, rankEntityConnections, rankEntityTypeMatches, scoreEntityConnection, scoreEntityTypeMatch } from './v1/ontologies/v1.js';
 export { LucernPrompt, LucernPromptModelHint, isLucernPrompt } from './prompt.contract.js';
 export { AddEvidenceInput, AddWorktreeInput, BeliefResult, BisectConfidenceInput, BisectResult, BranchResult, CompileContextInput, CompiledContextResult, ConfidenceResult, ContradictionResult, CreateBeliefInput, CreateBranchInput, CreateEdgeInput, EdgeResult, EvidenceResult, FlagContradictionInput, ForkBeliefInput, ForkResult, JudgmentResult, LineageResult, LucernClient, LucernClientConfig, LucernGraphMethods, LucernWorkflowMethods, MergeInput, MergeResult, ModulateConfidenceInput, OpenPullRequestInput, PullRequestResult, PushInput, PushResult, QueryLineageInput, RecordJudgmentInput, RefineBeliefInput, SearchBeliefsInput, WorktreeResult } from './sdk-methods.contract.js';
-export { s as sdkToolsContract } from './sdk-tools.contract-C2kQN_Xk.js';
+export { s as sdkToolsContract } from './sdk-tools.contract-S4ia0TTo.js';
 export { LexicalRerankOptions, LexicalSignal, LexicalStrategy, PreparedLexicalQuery, bigramTokenize, jaccardSimilarity, prepareLexicalQuery, rankWindowScore, rerankLexicalWindow, scoreLexicalSignal, scoreLexicalSignals, stemToken, tokenOverlapScore, tokenizeSearchText, wordOverlapScore, wordTokenize } from './text-matching.contract.js';
 export { ROOT_TOPIC_ID, TopicDoc, collectTopicNeighborhood } from './v1/topics/v1.js';
 export { CANONICAL_WORKFLOW_DEFINITIONS, DEFAULT_TIER_APPROVAL_MODE, DEFAULT_WORKFLOW_AUTO_FIX_POLICY, EngineeringBriefOutput, InboxSummaryOutput, MORNING_BRIEF_WORKFLOW_ID, NIGHTLY_RECONCILIATION_WORKFLOW_ID, PipelineBriefOutput, ResearchMemoOutput, StrategyArtifactOutput, StructuredPayloadOutput, WORKFLOW_ACTION_KINDS, WORKFLOW_APPROVAL_MODES, WORKFLOW_AUTO_FIX_MODES, WORKFLOW_HOOK_EVENTS, WORKFLOW_INTEGRITY_CHECKS, WORKFLOW_MUTATION_TIERS, WORKFLOW_OUTPUT_KINDS, WORKFLOW_PROOF_ARTIFACT_KINDS, WORKFLOW_RUNTIME_SCHEMA_VERSION, WORKFLOW_RUN_STATUSES, WORKFLOW_STAFFING_HINTS, WORKFLOW_TRIGGER_KINDS, WorkflowActionContract, WorkflowActionKind, WorkflowApprovalMode, WorkflowApprovalPolicy, WorkflowAutoFixMode, WorkflowAutoFixPolicy, WorkflowDefinitionV1, WorkflowHookContract, WorkflowHookEvent, WorkflowIntegrityCheckId, WorkflowMutationTier, WorkflowOutputBase, WorkflowOutputContract, WorkflowOutputKind, WorkflowProofArtifact, WorkflowProofArtifactKind, WorkflowRunReceiptV1, WorkflowRunStatus, WorkflowStaffingHint, WorkflowTriggerContract, WorkflowTriggerKind } from './workflow-runtime.contract.js';
 import './defineFunction-DO97DKs4.js';
-import 'zod';
 import './defineTable-CBQ03FXl.js';
 import './idOf-DR8tkhQS.js';
 import './schemas/enums.js';
 import './schemas/manifest.js';
+
+declare const EpistemicNodeTypeSchema: z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>;
+type EpistemicNodeType = z.infer<typeof EpistemicNodeTypeSchema>;
+type GraphRef = {
+    kind: "epistemic_node";
+    nodeId: string;
+    nodeType: EpistemicNodeType;
+} | {
+    kind: "external_belief";
+    ref: {
+        tenantId: string;
+        beliefId: string;
+    };
+};
+declare const GraphRefSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"epistemic_node">;
+    nodeId: z.ZodString;
+    nodeType: z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>;
+}, "strip", z.ZodTypeAny, {
+    nodeType: "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens";
+    nodeId: string;
+    kind: "epistemic_node";
+}, {
+    nodeType: "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens";
+    nodeId: string;
+    kind: "epistemic_node";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"external_belief">;
+    ref: z.ZodObject<{
+        tenantId: z.ZodString;
+        beliefId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        tenantId: string;
+        beliefId: string;
+    }, {
+        tenantId: string;
+        beliefId: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "external_belief";
+    ref: {
+        tenantId: string;
+        beliefId: string;
+    };
+}, {
+    kind: "external_belief";
+    ref: {
+        tenantId: string;
+        beliefId: string;
+    };
+}>]>;
+
+declare const EdgePolicyEntrySchema: z.ZodObject<{
+    edgeType: z.ZodString;
+    fromKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+    fromNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+    toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+    toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+    description: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    edgeType: string;
+    fromKinds: ("epistemic_node" | "external_belief")[];
+    toKinds: ("epistemic_node" | "external_belief")[];
+    fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+    toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+}, {
+    description: string;
+    edgeType: string;
+    fromKinds: ("epistemic_node" | "external_belief")[];
+    toKinds: ("epistemic_node" | "external_belief")[];
+    fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+    toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+}>;
+declare const EdgePolicyManifestSchema: z.ZodObject<{
+    manifestVersion: z.ZodLiteral<"1.0.0">;
+    policies: z.ZodArray<z.ZodObject<{
+        edgeType: z.ZodString;
+        fromKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+        fromNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+        toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+        toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+        description: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+    }, {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    manifestVersion: "1.0.0";
+    policies: {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+    }[];
+}, {
+    manifestVersion: "1.0.0";
+    policies: {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "answer" | "lens")[] | undefined;
+    }[];
+}>;
+type EdgePolicyEntry = z.infer<typeof EdgePolicyEntrySchema>;
+type EdgePolicyManifest = z.infer<typeof EdgePolicyManifestSchema>;
+type EdgePolicyViolation = {
+    code: "POLICY_VIOLATION";
+    edgeType: string;
+    from: GraphRef;
+    to: GraphRef;
+};
+declare function findEdgePolicy(manifest: EdgePolicyManifest, edgeType: string): EdgePolicyEntry | undefined;
+declare function assertEdgePolicyAllowed(manifest: EdgePolicyManifest, edgeType: string, from: GraphRef, to: GraphRef): void;
+
+declare const edgePolicyManifest: {
+    manifestVersion: "1.0.0";
+    policies: ({
+        edgeType: string;
+        fromKinds: "epistemic_node"[];
+        fromNodeTypes: "evidence"[];
+        toKinds: "epistemic_node"[];
+        toNodeTypes: "evidence"[];
+        description: string;
+    } | {
+        edgeType: string;
+        fromKinds: "epistemic_node"[];
+        fromNodeTypes: "evidence"[];
+        toKinds: "epistemic_node"[];
+        toNodeTypes: "belief"[];
+        description: string;
+    } | {
+        edgeType: string;
+        fromKinds: "epistemic_node"[];
+        fromNodeTypes: "evidence"[];
+        toKinds: "epistemic_node"[];
+        toNodeTypes: "question"[];
+        description: string;
+    })[];
+};
+
+interface ProjectionDef<TInput, TConvexArgs> {
+    contractName: string;
+    inputSchema: z.ZodSchema<TInput>;
+    project: (input: TInput) => TConvexArgs;
+    convexArgsValidator: unknown;
+}
+declare function defineProjection<I, C>(def: ProjectionDef<I, C>): ProjectionDef<I, C>;
+
+declare const createEvidenceProjection: ProjectionDef<z.objectInputType<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">, Record<string, unknown>>;
+
+declare const listBeliefsProjection: ProjectionDef<{
+    topicId: string;
+    status?: "active" | "archived" | "unscored" | "scored" | "superseded" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    minConfidence?: number | undefined;
+    includeEdgeAssociated?: boolean | undefined;
+}, Record<string, unknown>>;
+
+declare const listTasksProjection: ProjectionDef<{
+    topicId: string;
+    status?: "blocked" | "in_progress" | "todo" | "done" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    linkedWorktreeId?: string | undefined;
+}, Record<string, unknown>>;
+
+declare const modulateConfidenceProjection: ProjectionDef<{
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
+    rationale: string;
+    belief?: number | undefined;
+    worktreeId?: string | undefined;
+    disbelief?: number | undefined;
+    uncertainty?: number | undefined;
+    baseRate?: number | undefined;
+    triggeringEvidenceId?: string | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    nodeId?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    opinion?: {
+        belief: number;
+        disbelief: number;
+        uncertainty: number;
+        baseRate: number;
+    } | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
+}, {
+    nodeId: string;
+    worktreeId: string | undefined;
+    belief: number;
+    disbelief: number;
+    uncertainty: number;
+    baseRate: number;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic";
+    triggeringEvidenceId: string | undefined;
+    triggeringQuestionId: string | undefined;
+    triggeringAnswerId: string | undefined;
+    triggeringContradictionId: string | undefined;
+    triggeringWorktreeId: string | undefined;
+    rationale: string;
+    trustedBypassAccessCheck: boolean;
+}>;
+
+declare const projections: {
+    readonly create_evidence: ProjectionDef<zod.objectInputType<{
+        projectId: zod.ZodOptional<zod.ZodString>;
+        topicId: zod.ZodOptional<zod.ZodString>;
+        text: zod.ZodOptional<zod.ZodString>;
+        canonicalText: zod.ZodOptional<zod.ZodString>;
+        title: zod.ZodOptional<zod.ZodString>;
+        content: zod.ZodOptional<zod.ZodString>;
+        contentType: zod.ZodOptional<zod.ZodString>;
+        kind: zod.ZodOptional<zod.ZodString>;
+        tags: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+        source: zod.ZodOptional<zod.ZodString>;
+        sourceUrl: zod.ZodOptional<zod.ZodString>;
+        sourceType: zod.ZodOptional<zod.ZodString>;
+        externalSourceType: zod.ZodOptional<zod.ZodString>;
+        sourceQuestionId: zod.ZodOptional<zod.ZodString>;
+        methodology: zod.ZodOptional<zod.ZodString>;
+        informationAsymmetry: zod.ZodOptional<zod.ZodString>;
+        sourceDescription: zod.ZodOptional<zod.ZodString>;
+        targetId: zod.ZodOptional<zod.ZodString>;
+        targetNodeId: zod.ZodOptional<zod.ZodString>;
+        linkedBeliefNodeId: zod.ZodOptional<zod.ZodString>;
+        evidenceRelation: zod.ZodOptional<zod.ZodEnum<["supports", "contradicts", "neutral"]>>;
+        confidence: zod.ZodOptional<zod.ZodNumber>;
+        weight: zod.ZodOptional<zod.ZodNumber>;
+        reasoning: zod.ZodOptional<zod.ZodString>;
+        rationale: zod.ZodString;
+        metadata: zod.ZodOptional<zod.ZodRecord<zod.ZodString, zod.ZodUnknown>>;
+        trustedBypassAccessCheck: zod.ZodOptional<zod.ZodBoolean>;
+    }, zod.ZodTypeAny, "passthrough">, Record<string, unknown>>;
+    readonly list_beliefs: ProjectionDef<{
+        topicId: string;
+        status?: "active" | "archived" | "unscored" | "scored" | "superseded" | undefined;
+        worktreeId?: string | undefined;
+        limit?: number | undefined;
+        minConfidence?: number | undefined;
+        includeEdgeAssociated?: boolean | undefined;
+    }, Record<string, unknown>>;
+    readonly list_tasks: ProjectionDef<{
+        topicId: string;
+        status?: "blocked" | "in_progress" | "todo" | "done" | undefined;
+        worktreeId?: string | undefined;
+        limit?: number | undefined;
+        linkedWorktreeId?: string | undefined;
+    }, Record<string, unknown>>;
+    readonly modulate_confidence: ProjectionDef<{
+        trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | "answer_recorded";
+        rationale: string;
+        belief?: number | undefined;
+        worktreeId?: string | undefined;
+        disbelief?: number | undefined;
+        uncertainty?: number | undefined;
+        baseRate?: number | undefined;
+        triggeringEvidenceId?: string | undefined;
+        triggeringQuestionId?: string | undefined;
+        triggeringAnswerId?: string | undefined;
+        triggeringContradictionId?: string | undefined;
+        triggeringWorktreeId?: string | undefined;
+        beliefNodeId?: string | undefined;
+        nodeId?: string | undefined;
+        trustedBypassAccessCheck?: boolean | undefined;
+        opinion?: {
+            belief: number;
+            disbelief: number;
+            uncertainty: number;
+            baseRate: number;
+        } | undefined;
+        provenance?: {
+            evidence?: string | undefined;
+            question?: string | undefined;
+            contradiction?: string | undefined;
+            worktree?: string | undefined;
+            answer?: string | undefined;
+        } | undefined;
+    }, {
+        nodeId: string;
+        worktreeId: string | undefined;
+        belief: number;
+        disbelief: number;
+        uncertainty: number;
+        baseRate: number;
+        trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic";
+        triggeringEvidenceId: string | undefined;
+        triggeringQuestionId: string | undefined;
+        triggeringAnswerId: string | undefined;
+        triggeringContradictionId: string | undefined;
+        triggeringWorktreeId: string | undefined;
+        rationale: string;
+        trustedBypassAccessCheck: boolean;
+    }>;
+};
+type ProjectionRegistry = typeof projections;
+
+type InvariantId = string;
+type CheckerKind = "ast" | "manifest" | "runtime";
+type InvariantSeverity = "block_publish" | "block_pr" | "warn";
+interface CheckContext {
+    repoRoot: string;
+    projections: ProjectionRegistry;
+}
+interface InvariantResult {
+    status: "passed" | "failed" | "skipped";
+    evidenceRefs: string[];
+    reason?: string;
+}
+interface InvariantRule {
+    invariant: InvariantId;
+    description: string;
+    checker: CheckerKind;
+    severity: InvariantSeverity;
+    evaluate: (ctx: CheckContext) => Promise<InvariantResult>;
+}
+declare const InvariantManifestSchema: z.ZodObject<{
+    manifestVersion: z.ZodLiteral<"1.0.0">;
+    rules: z.ZodArray<z.ZodObject<{
+        invariant: z.ZodString;
+        description: z.ZodString;
+        checker: z.ZodEnum<["ast", "manifest", "runtime"]>;
+        severity: z.ZodEnum<["block_publish", "block_pr", "warn"]>;
+    }, "strip", z.ZodTypeAny, {
+        invariant: string;
+        description: string;
+        severity: "warn" | "block_publish" | "block_pr";
+        checker: "runtime" | "ast" | "manifest";
+    }, {
+        invariant: string;
+        description: string;
+        severity: "warn" | "block_publish" | "block_pr";
+        checker: "runtime" | "ast" | "manifest";
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    rules: {
+        invariant: string;
+        description: string;
+        severity: "warn" | "block_publish" | "block_pr";
+        checker: "runtime" | "ast" | "manifest";
+    }[];
+    manifestVersion: "1.0.0";
+}, {
+    rules: {
+        invariant: string;
+        description: string;
+        severity: "warn" | "block_publish" | "block_pr";
+        checker: "runtime" | "ast" | "manifest";
+    }[];
+    manifestVersion: "1.0.0";
+}>;
+type InvariantManifest = z.infer<typeof InvariantManifestSchema>;
+
+export { type CheckContext, type CheckerKind, type EdgePolicyEntry, EdgePolicyEntrySchema, type EdgePolicyManifest, EdgePolicyManifestSchema, type EdgePolicyViolation, type EpistemicNodeType, EpistemicNodeTypeSchema, type GraphRef, GraphRefSchema, type InvariantId, type InvariantManifest, InvariantManifestSchema, type InvariantResult, type InvariantRule, type InvariantSeverity, type ProjectionDef, type ProjectionRegistry, assertEdgePolicyAllowed, createEvidenceProjection, defineProjection, edgePolicyManifest, findEdgePolicy, listBeliefsProjection, listTasksProjection, modulateConfidenceProjection, projections };