@lucern/contracts 0.3.0-alpha.17 → 0.3.0-alpha.2

package/dist/index.d.ts

@@ -1,50 +1,434 @@
 export { BELIEF_STATUSES, BRANCH_STATUSES, BeliefStatus, BranchStatus, CONFIDENCE_TRIGGERS, CONTRADICTION_SEVERITIES, CONTRADICTION_STATUSES, ConfidenceTrigger, ContradictionSeverity, ContradictionStatus, DEFEAT_TYPES, DefeatType, EPISTEMIC_LAYERS, EpistemicLayer, FORK_REASONS, ForkReason, INTEGRATION_EDGE_TYPES, IntegrationEdgeType, JUDGMENT_TYPES, JudgmentType, MERGE_OUTCOMES, MergeOutcome, PULL_REQUEST_STATUSES, PullRequestStatus, REASONING_METHODS, ReasoningMethod, WORKTREE_PHASES, WorktreePhase } from './api-enums.contract.js';
 export { AuthContext, LucernSdkClient, McpTransportKind, SESSION_AUTH_MODES, SESSION_LIFECYCLE_STATUSES, SESSION_PRINCIPAL_TYPES, SessionAuditEnvelope, SessionAuditOutcome, SessionAuthMode, SessionDelegationHop, SessionLifecycleStatus, SessionPrincipalType, inferSessionPrincipalType, lastDelegator, normalizeDelegationChain } from './auth.contract.js';
-export { COMPONENT_BOUNDARY_COMPONENT_LAYERS, COMPONENT_BOUNDARY_CONTRACT_VERSION, COMPONENT_BOUNDARY_DIRECT_DB_METHODS, COMPONENT_BOUNDARY_HIGH_RISK_TABLES, COMPONENT_BOUNDARY_HOST_SOURCE_ROOTS, ComponentBoundaryComponentLayer, ComponentBoundaryDirectDbMethod, ComponentBoundaryHighRiskTable, getComponentBoundaryTableLayer, isComponentBoundaryComponentOwnedTable } from './component-boundary.contract.js';
-export { COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION, COMPONENT_HOST_DB_READ_OPERATIONS, COMPONENT_HOST_DB_WRITE_OPERATIONS, COMPONENT_HOST_PROTECTED_TABLES, COMPONENT_HOST_PROTECTED_TABLE_OWNERS, COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS, COMPONENT_HOST_WRITE_AUDIT_ROOTS, ComponentHostDbOperation, ComponentHostDbReadOperation, ComponentHostDbWriteOperation, ComponentHostProtectedTable, ComponentHostWriteAuditRoot } from './component-host-boundary.contract.js';
 export { ConvexAdminClient } from './convex-admin.contract.js';
 export { CutoverDomain, CutoverFlagState, GatewayAuthContext, GatewayAuthMode, GatewayEnvironment, GatewayErrorArgs, GatewayScope, GatewaySuccessArgs, KeyLifecycleStatus, PlatformApiErrorCode, requireActorPrincipalId } from './gateway.contract.js';
-export { GRAPH_INTELLIGENCE_MODE_TOOL_NAMES, GRAPH_INTELLIGENCE_PUBLIC_TOOL_NAMES, GRAPH_INTELLIGENCE_QUERIES, GRAPH_INTELLIGENCE_QUERIES_WITH_TOOLS, GRAPH_INTELLIGENCE_QUERY_CATALOG_VERSION, GRAPH_INTELLIGENCE_QUERY_CATEGORIES, GRAPH_INTELLIGENCE_QUERY_MODES, GRAPH_INTELLIGENCE_QUICK_QUERIES, GraphIntelligenceCatalogFilter, GraphIntelligencePublicToolName, GraphIntelligenceQueryCategory, GraphIntelligenceQueryDefinition, GraphIntelligenceQueryId, GraphIntelligenceQueryInputType, GraphIntelligenceQueryMode, GraphIntelligenceQueryWithTools, GraphIntelligenceQuickQuery, fillGraphIntelligencePromptTemplate, getGraphIntelligenceQuery, isGraphIntelligenceQueryMode, listGraphIntelligenceQueries } from './graph-intelligence.contract.js';
 export { BELIEF_TYPE_BONUS, BeliefLatticeSeed, CONTEXT_PACK_SCHEMA_VERSION, CONTEXT_PACK_SECTION_KEYS, CONTEXT_RANKING_PROFILES, ContextCompilationMode, ContextPackBelief, ContextPackContradiction, ContextPackDeltaReport, ContextPackDiagnostics, ContextPackEntity, ContextPackEvidence, ContextPackFailure, ContextPackFailureContext, ContextPackInjectionPolicy, ContextPackQuestion, ContextPackRequestV1, ContextPackSectionKey, ContextPackSummary, ContextPackV1, ContextRankingProfile, DEFAULT_BELIEF_TYPE_BONUS, DEFAULT_COMPILATION_MODE, DEFAULT_ENTITY_LIMIT, DEFAULT_PRIORITY_SCORE, DEFAULT_RANKING_PROFILE, DEFAULT_SECTION_LIMIT, DEFAULT_SEVERITY_SCORE, DEFAULT_TOKEN_BUDGET, ENTITY_RANKING_WEIGHTS, MAX_ENTITY_LIMIT, MAX_SECTION_LIMIT, MAX_TOKEN_BUDGET, MIN_CONTRADICTION_BUDGET, MIN_TOKEN_BUDGET, MIN_TOKEN_ESTIMATE, PRIORITY_SCORES, PackWeightOverride, PublicCompiledContext, PublicContextBelief, PublicContextContradiction, PublicContextEntity, PublicContextEvidence, PublicContextInjectionPolicy, PublicContextQuestion, RANKING_WEIGHTS, RECENCY_HALF_LIFE_DAYS, RESOLVED_QUESTION_STATUSES, RankingWeightVector, SECTION_BUDGET_RATIOS, SEVERITY_SCORES, TOKENS_PER_WORD, VerificationObligation } from './context-pack.contract.js';
 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-DVPthQGY.js';
-export { i as schemaContracts } from './index-CM1Pl_vI.js';
+export { d as contractDsl } from './dsl-BgpoVOVQ.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';
-export { E as EdgePolicyEntry, a as EdgePolicyEntrySchema, b as EdgePolicyManifest, c as EdgePolicyManifestSchema, d as EdgePolicyViolation, e as EpistemicNodeType, f as EpistemicNodeTypeSchema, G as GRAPH_REF_NODE_TYPES, g as GraphRef, h as GraphRefSchema, i as assertEdgePolicyAllowed, j as findEdgePolicy } from './edge-policy-manifest-Dw5IhT1L.js';
-export { edgePolicyManifest } from './manifests/edge-policy-manifest.data.js';
-export { INFISICAL_RUNTIME_MANIFEST, InfisicalRuntimeManifest } from './manifests/infisical-runtime-manifest.js';
-export { CheckContext, CheckerKind, InvariantId, InvariantManifest, InvariantManifestSchema, InvariantResult, InvariantRule, InvariantSeverity } from './manifests/invariant-manifest.js';
-export { TENANT_CLIENT_MANIFEST, TenantClientManifest } from './manifests/tenant-client-manifest.js';
-export { GENERATED_INFISICAL_BOOTSTRAP_ENV_NAMES, GENERATED_INFISICAL_CONTROL_ENV_NAMES, GENERATED_INFISICAL_KNOWN_ENV_NAMES, GENERATED_INFISICAL_MANAGED_ENV_NAMES, GENERATED_INFISICAL_RUNTIME_ENV, GeneratedInfisicalControlEnvVariable, GeneratedInfisicalDestinationId, GeneratedInfisicalEnvReadResult, GeneratedInfisicalEnvSource, GeneratedInfisicalEnvSurface, GeneratedInfisicalEnvVariable, GeneratedInfisicalRuntimeEnvPayload, GeneratedInfisicalRuntimeSurfaceId, canonicalGeneratedInfisicalEnvName, generatedInfisicalVariableForName, isGeneratedInfisicalKnownEnvName, isGeneratedInfisicalManagedEnvName, readGeneratedInfisicalDestinationEnv, readGeneratedInfisicalEnvValue, readGeneratedInfisicalRuntimeEnvSurface } from './generated/infisicalRuntimeEnv.js';
-export { GENERATED_LUCERN_GATEWAY_ENV_NAMES, GeneratedLucernGatewayEnv, GeneratedLucernGatewayEnvSource, readGeneratedLucernGatewayEnv } from './generated/lucernGatewayEnv.js';
-export { GENERATED_LUCERN_WEB_PUBLIC_ENV_NAMES, GeneratedLucernWebPublicEnv, GeneratedLucernWebPublicEnvSource, readGeneratedLucernWebPublicEnv } from './generated/lucernWebPublicEnv.js';
-export { GENERATED_LUCERN_WEB_SERVER_ENV_NAMES, GeneratedLucernWebServerEnv, GeneratedLucernWebServerEnvSource, readGeneratedLucernWebServerEnv } from './generated/lucernWebServerEnv.js';
-export { ProjectionRegistry, projections } from './projections/index.js';
+import * as zod from 'zod';
+import { z } from 'zod';
 export * from './function-registry/index.js';
-export { t as mcpToolsContract } from './tool-contracts-C_xvM9q2.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 { PermitAliasProjection, PermitGroupMembershipProjection, PermitPrincipalProjection, PermitProjectedUserRecord, PermitProjectionPlatformRole, PermitProjectionRows, PermitRoleAssignmentProjection, buildProjectedUserFromPermitPrincipal, findProjectedUserByPermitClerkId, findProjectedUserByPermitPrincipalId, isActivePermitProjectionStatus, mapPermitRoleToPlatformRole, readPermitProjectionString } from './permit-principal-projection.contract.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-CKmSsrZ2.js';
-export { INFISICAL_CONVEX_TIERS, INFISICAL_CONVEX_TIER_BY_VERCEL_ENVIRONMENT, INFISICAL_RUNTIME_BOOTSTRAP_ENV, INFISICAL_RUNTIME_CONTRACT_VERSION, INFISICAL_RUNTIME_CONTROL_ENV, INFISICAL_RUNTIME_DEFAULT_API_URL, INFISICAL_RUNTIME_DEFAULT_PROJECT_ID, INFISICAL_RUNTIME_DELIVERY_MODES, INFISICAL_RUNTIME_ENVIRONMENTS, INFISICAL_RUNTIME_PATHS, INFISICAL_RUNTIME_SURFACES, INFISICAL_RUNTIME_SURFACE_IDS, INFISICAL_SECRET_CONSUMERS, INFISICAL_SECRET_DEFINITIONS, INFISICAL_SECRET_DESTINATION_KINDS, INFISICAL_SECRET_ENVIRONMENT_POLICIES, INFISICAL_SECRET_OWNERS, INFISICAL_SECRET_SCOPES, INFISICAL_TENANT_SOFTWARE_SYSTEMS, INFISICAL_VERCEL_DESTINATION_ENVIRONMENTS, INFISICAL_VERCEL_SYNC_DESTINATIONS, INFISICAL_VERCEL_SYNC_RECONCILIATION, INFISICAL_VERCEL_TARGETS, InfisicalConvexTier, InfisicalRuntimeBootstrapEnv, InfisicalRuntimeControlEnv, InfisicalRuntimeDeliveryMode, InfisicalRuntimeEnvironment, InfisicalRuntimePath, InfisicalRuntimePathDefinition, InfisicalRuntimePathId, InfisicalRuntimeSurface, InfisicalRuntimeSurfaceDefinition, InfisicalRuntimeSurfaceId, InfisicalRuntimeVariable, InfisicalSecretConsumer, InfisicalSecretDefinition, InfisicalSecretDestination, InfisicalSecretDestinationKind, InfisicalSecretEnvironmentPolicy, InfisicalSecretId, InfisicalSecretOwner, InfisicalSecretScope, InfisicalTenantSoftwareSystem, InfisicalTenantSoftwareSystemDefinition, InfisicalTenantSoftwareSystemId, InfisicalVercelDestinationEnvironment, InfisicalVercelSyncDestination, InfisicalVercelTarget, convexTierForVercelDestinationEnvironment, expectedTenantConvexDeploymentForVercelEnvironment, findInfisicalRuntimePath, findInfisicalRuntimeSurface, findInfisicalSecretDefinition, findInfisicalTenantSoftwareSystem, findInfisicalVercelSyncDestination, infisicalSecretDefinitionsForConsumer, infisicalSecretDefinitionsForDestination, tenantSoftwareSystemConvexEnvNames, tenantSoftwareSystemOwnsConvexEnvName, validateInfisicalSecretDefinitions, vercelCustomEnvironmentIdForTenantSoftwareSystem } from './infisical-runtime.contract.js';
-export { TENANT_CLIENT_AUTH_MODES, TENANT_CLIENT_CAPABILITIES, TENANT_CLIENT_COMPONENT_CONFIG_IMPORTS, TENANT_CLIENT_CONTRACT_VERSION, TENANT_CLIENT_FORBIDDEN_IMPORT_PATTERNS, TENANT_CLIENT_FORBIDDEN_INSTALL_TOKEN_INFISICAL_PATHS, TENANT_CLIENT_FORBIDDEN_SECRET_ENV, TENANT_CLIENT_FULL_SUITE_PACKAGE_NAMES, TENANT_CLIENT_INSTALLABLE_PACKAGES, TENANT_CLIENT_INSTALL_PROFILES, TENANT_CLIENT_INSTALL_TOKEN_ENV, TENANT_CLIENT_INSTALL_TOKEN_INFISICAL_PATH, TENANT_CLIENT_ISOLATION_RULES, TENANT_CLIENT_OPTIONAL_CONTEXT_FIELDS, TENANT_CLIENT_PRINCIPAL_TYPES, TENANT_CLIENT_PUBLIC_IMPORTS, TENANT_CLIENT_REQUIRED_CONTEXT_FIELDS, TENANT_CLIENT_REQUIRED_SDK_NAMESPACES, TenantClientAllowedImport, TenantClientAuthMode, TenantClientCapability, TenantClientCapabilityId, TenantClientComponentConfigImport, TenantClientForbiddenImportPattern, TenantClientForbiddenImportPatternId, TenantClientForbiddenInstallTokenInfisicalPath, TenantClientForbiddenSecretEnv, TenantClientImportClassification, TenantClientImportDecision, TenantClientInstallProfile, TenantClientInstallProfileId, TenantClientInstallablePackage, TenantClientInstallablePackageName, TenantClientIsolationRule, TenantClientOptionalContextField, TenantClientPackageRole, TenantClientPrincipalType, TenantClientPublicImport, TenantClientPublicPackage, TenantClientPublicSurface, TenantClientRequiredContextField, TenantClientRequiredSdkNamespace, assertTenantClientImportAllowed, classifyTenantClientImport, findTenantClientInstallablePackage, formatTenantClientImportViolation, isTenantClientAllowedImport, isTenantClientComponentConfigImport, isTenantClientInstallablePackage, isTenantClientPublicImport } from './tenant-client.contract.js';
-export { TENANT_BOOTSTRAP_FORBIDDEN_SEED_TABLES, TENANT_BOOTSTRAP_SEED_AUTH_METADATA_FIELDS, TENANT_BOOTSTRAP_SEED_COMPONENTS, TENANT_BOOTSTRAP_SEED_CONTRACT_VERSION, TENANT_BOOTSTRAP_SEED_MANIFEST, TENANT_BOOTSTRAP_SEED_TABLES, TENANT_BOOTSTRAP_TABLE_REQUIREMENTS, TenantBootstrapCopyMode, TenantBootstrapForbiddenSeedTable, TenantBootstrapPrepopulation, TenantBootstrapSeedAuthMetadataField, TenantBootstrapSeedComponent, TenantBootstrapSeedScope, TenantBootstrapSeedTable, TenantBootstrapSeedTableName, TenantBootstrapTableRequirement, findTenantBootstrapSeedTable, findTenantBootstrapTableRequirement, isTenantBootstrapForbiddenSeedTable, isTenantBootstrapSeedTable } from './tenant-bootstrap-seed.contract.js';
-export { TENANT_BOOTSTRAP_TEMPLATE_ACTOR, TENANT_BOOTSTRAP_TEMPLATE_SEED_VERSION, TENANT_BOOTSTRAP_TEMPLATE_TENANT_ID, TenantBootstrapTemplateSeedOptions, TenantBootstrapTemplateSeedRows, buildTenantBootstrapTemplateSeedRows } from './tenant-bootstrap-seed.defaults.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';
-export { ProjectionDef, defineProjection } from './projections/projection-dsl.js';
-export { createEvidenceProjection } from './projections/create-evidence.projection.js';
-export { listBeliefsProjection } from './projections/list-beliefs.projection.js';
-export { listTasksProjection } from './projections/list-tasks.projection.js';
-export { modulateConfidenceProjection } from './projections/modulate-confidence.projection.js';
-import './generated/tableOwnership.js';
 import './defineFunction-DO97DKs4.js';
-import 'zod';
-import './defineTable-t1wr5wgn.js';
+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 };