@jungjaehoon/mama-core 2.4.1 → 4.1.0

package/dist/knowledge/identity.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Knowledge identity: the T4 correction command — alias, merge, split, and ref
+ * assignment — under the knowledge boundary. The registry keeps the SQL owner;
+ * this module is the §3 access-facing home that maps the caller's trusted
+ * authority onto it.
+ *
+ * @module knowledge/identity
+ */
+import type { DatabaseAdapter } from '../db-manager.js';
+import type { IdentityCorrection, IdentityCorrectionReceipt } from '../memory/judgment-types.js';
+import type { JudgmentAccess } from './judgments.js';
+export interface IdentityDeps {
+    adapter: DatabaseAdapter;
+}
+export declare function correctIdentity(command: IdentityCorrection, access: JudgmentAccess, deps: IdentityDeps): IdentityCorrectionReceipt;
+//# sourceMappingURL=identity.d.ts.map

package/dist/knowledge/identity.js

@@ -0,0 +1,22 @@
+"use strict";
+/**
+ * Knowledge identity: the T4 correction command — alias, merge, split, and ref
+ * assignment — under the knowledge boundary. The registry keeps the SQL owner;
+ * this module is the §3 access-facing home that maps the caller's trusted
+ * authority onto it.
+ *
+ * @module knowledge/identity
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.correctIdentity = correctIdentity;
+const corrections_js_1 = require("../registry/corrections.js");
+function correctIdentity(command, access, deps) {
+    return (0, corrections_js_1.appendIdentityCorrection)(deps.adapter, command, {
+        principalId: access.principalId,
+        agentId: access.agentId,
+        scopes: access.scopes,
+        connectors: access.connectors ?? [],
+        channels: access.channels,
+    });
+}
+//# sourceMappingURL=identity.js.map

package/dist/knowledge/index.d.ts

@@ -0,0 +1,47 @@
+import type { DatabaseInstance } from '../db-manager.js';
+import { type JudgmentAccess, type JudgmentKnowledgeOptions } from './judgments.js';
+import type { CommitmentPage, CreateWorkCommand, ReviseWorkCommand, WithdrawWorkCommand, WorkRead, WorkWriteResult } from './commitments.js';
+import type { SourceIngestCommand, SourceIngestReceipt } from './source-ingest.js';
+import type { IdentityCorrection, IdentityCorrectionReceipt, JudgmentCommand, JudgmentReceipt, WorkGraphPage, WorkGraphQuery } from '../memory/judgment-types.js';
+export type { JudgmentAccess } from './judgments.js';
+export { judgmentRecordId } from './judgments.js';
+export type { IdentityCorrection, IdentityCorrectionReceipt, JudgmentAmendment, JudgmentCommand, JudgmentEventMeta, JudgmentProjections, JudgmentReceipt, JudgmentRecordFields, JsonValue, OwnerWorkPatch, RecordLink, WorkGraphPage, WorkGraphQuery, WorkReclassifyDisposition, WorkReference, } from '../memory/judgment-types.js';
+export { WORK_RECLASSIFY_DISPOSITIONS } from '../memory/judgment-types.js';
+export { JudgmentError, appendJudgment, insertTwinEdge, getTwinEdge, listTwinEdgesForRefs, mapTwinEdgeRow, } from './judgments.js';
+export { assertTwinRefsVisible, channelGrantClause, isChannelGranted, listVisibleTwinEdgesForRefs, visibleTwinRefKeys, visibleTwinRefKeysRecursive, TwinRefNotVisibleError, } from './access.js';
+export type { ChannelGrant, ChannelGrantClause } from './access.js';
+export { TWIN_EDGE_SOURCES, TWIN_EDGE_TYPES, TWIN_REF_KINDS, type InsertTwinEdgeInput, type ListVisibleTwinEdgesOptions, type TwinEdgeInsert, type TwinEdgeRecord, type TwinEdgeSource, type TwinEdgeSubjectRef, type TwinEdgeType, type TwinProjectRef, type TwinRef, type TwinRefKind, type TwinScopeRef, type TwinVisibility, } from './twin-edge-types.js';
+export { ingestSource } from './source-ingest.js';
+export { correctIdentity, type IdentityDeps } from './identity.js';
+export { observationVersionId, appendObservationVersion, getObservationVersion, searchOwnerObservationVersions, readObservationVersion, isObservationVersionVisible, isObservationVisibilityRowVisible, type ObservationBodyLocation, type ObservationVersionInput, type ObservationVersionRecord, type OwnerObservationSearchItem, type ObservationBodyReader, type ObservationReadResult, type ObservationVisibilityAuthority, type ObservationVisibilityRow, } from './observations.js';
+export { createWork, readWork, reviseWork, withdrawWork } from './commitments.js';
+export { parseExactDueAt, assertIsoDate, assertWorkPatchValues, WORK_PATCH_DEADLINE_PATTERN, WORK_PATCH_DUE_AT_PATTERN, type ParsedExactDueAt, } from './work-dates.js';
+export type { CommitmentPage, CommitmentChainEntry, CommitmentRevision, CommitmentView, CreateWorkCommand, ReviseWorkCommand, WithdrawWorkCommand, WorkRead, WorkWriteResult, } from './commitments.js';
+export { vectorSearch, fts5Search } from './search.js';
+export { queryDecisionGraph, querySemanticEdges, getGraphNeighborhood, getGraphPaths, getGraphTimeline, queryGraph, AgentGraphValidationError, type AgentGraphAdapter, type AgentGraphEdgeFilters, type AgentGraphResult, type AgentGraphCurrentProjection, type AgentGraphPath, type AgentGraphTimelineEvent, type AgentGraphTimelineMemoryEvent, type AgentGraphTimelineCaseEvent, type AgentGraphTimelineRawEvent, type AgentGraphTimelineEdgeEvent, type GraphNeighborhoodInput, type GraphPathsInput, type GraphPathsResult, type GraphTimelineInput, type GraphTimelineResult, } from './graph-query.js';
+export type { SourceIngestCommand, SourceIngestReceipt } from './source-ingest.js';
+export { upsertDecisionEdge, proposeDecisionEdge, approveDecisionEdge, rejectDecisionEdge, deprecateAutoDecisionEdges, deleteDecisionEdgesWithAudit, type DecisionEdgeKey, type DecisionEdgeRow, type DecisionEdgeDeleteFailure, } from './decision-edges.js';
+export interface KnowledgeOptions extends JudgmentKnowledgeOptions {
+    adapter: DatabaseInstance;
+}
+export interface Knowledge {
+    appendJudgment(command: JudgmentCommand, access: JudgmentAccess): Promise<JudgmentReceipt>;
+    /** T4 correction — alias, merge, split, ref assignment — under trusted authority. */
+    correctIdentity(command: IdentityCorrection, access: JudgmentAccess): IdentityCorrectionReceipt;
+    ingestSource(command: SourceIngestCommand, access: JudgmentAccess): Promise<SourceIngestReceipt>;
+    /** Commit new owner work; the record and the commitment commit together. */
+    createWork(command: CreateWorkCommand, access: JudgmentAccess): Promise<WorkWriteResult>;
+    /** Revise owner work at an expected revision. */
+    reviseWork(command: ReviseWorkCommand, access: JudgmentAccess): Promise<WorkWriteResult>;
+    /** Withdraw owner work without erasing what it held. */
+    withdrawWork(command: WithdrawWorkCommand, access: JudgmentAccess): Promise<WorkWriteResult>;
+    /** Read owner work back out of the commitment log this instance writes. */
+    readWork(query: WorkRead, access: JudgmentAccess): CommitmentPage;
+    /**
+     * Read the twin-edge graph: overview roots, name-free search seeds, neighbors,
+     * paths, timelines, and hydrated details — all under the caller's authority.
+     */
+    queryGraph(query: WorkGraphQuery, access: JudgmentAccess): WorkGraphPage;
+}
+export declare function createKnowledge(options: KnowledgeOptions): Knowledge;
+//# sourceMappingURL=index.d.ts.map

package/dist/knowledge/index.js

@@ -0,0 +1,90 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.deprecateAutoDecisionEdges = exports.rejectDecisionEdge = exports.approveDecisionEdge = exports.proposeDecisionEdge = exports.upsertDecisionEdge = exports.AgentGraphValidationError = exports.queryGraph = exports.getGraphTimeline = exports.getGraphPaths = exports.getGraphNeighborhood = exports.querySemanticEdges = exports.queryDecisionGraph = exports.fts5Search = exports.vectorSearch = exports.WORK_PATCH_DUE_AT_PATTERN = exports.WORK_PATCH_DEADLINE_PATTERN = exports.assertWorkPatchValues = exports.assertIsoDate = exports.parseExactDueAt = exports.withdrawWork = exports.reviseWork = exports.readWork = exports.createWork = exports.isObservationVisibilityRowVisible = exports.isObservationVersionVisible = exports.readObservationVersion = exports.searchOwnerObservationVersions = exports.getObservationVersion = exports.appendObservationVersion = exports.observationVersionId = exports.correctIdentity = exports.ingestSource = exports.TWIN_REF_KINDS = exports.TWIN_EDGE_TYPES = exports.TWIN_EDGE_SOURCES = exports.TwinRefNotVisibleError = exports.visibleTwinRefKeysRecursive = exports.visibleTwinRefKeys = exports.listVisibleTwinEdgesForRefs = exports.isChannelGranted = exports.channelGrantClause = exports.assertTwinRefsVisible = exports.mapTwinEdgeRow = exports.listTwinEdgesForRefs = exports.getTwinEdge = exports.insertTwinEdge = exports.appendJudgment = exports.JudgmentError = exports.WORK_RECLASSIFY_DISPOSITIONS = exports.judgmentRecordId = void 0;
+exports.deleteDecisionEdgesWithAudit = void 0;
+exports.createKnowledge = createKnowledge;
+const judgments_js_1 = require("./judgments.js");
+const source_ingest_js_1 = require("./source-ingest.js");
+const commitments_js_1 = require("./commitments.js");
+const identity_js_1 = require("./identity.js");
+const graph_query_js_1 = require("./graph-query.js");
+var judgments_js_2 = require("./judgments.js");
+Object.defineProperty(exports, "judgmentRecordId", { enumerable: true, get: function () { return judgments_js_2.judgmentRecordId; } });
+var judgment_types_js_1 = require("../memory/judgment-types.js");
+Object.defineProperty(exports, "WORK_RECLASSIFY_DISPOSITIONS", { enumerable: true, get: function () { return judgment_types_js_1.WORK_RECLASSIFY_DISPOSITIONS; } });
+var judgments_js_3 = require("./judgments.js");
+Object.defineProperty(exports, "JudgmentError", { enumerable: true, get: function () { return judgments_js_3.JudgmentError; } });
+Object.defineProperty(exports, "appendJudgment", { enumerable: true, get: function () { return judgments_js_3.appendJudgment; } });
+Object.defineProperty(exports, "insertTwinEdge", { enumerable: true, get: function () { return judgments_js_3.insertTwinEdge; } });
+Object.defineProperty(exports, "getTwinEdge", { enumerable: true, get: function () { return judgments_js_3.getTwinEdge; } });
+Object.defineProperty(exports, "listTwinEdgesForRefs", { enumerable: true, get: function () { return judgments_js_3.listTwinEdgesForRefs; } });
+Object.defineProperty(exports, "mapTwinEdgeRow", { enumerable: true, get: function () { return judgments_js_3.mapTwinEdgeRow; } });
+var access_js_1 = require("./access.js");
+Object.defineProperty(exports, "assertTwinRefsVisible", { enumerable: true, get: function () { return access_js_1.assertTwinRefsVisible; } });
+Object.defineProperty(exports, "channelGrantClause", { enumerable: true, get: function () { return access_js_1.channelGrantClause; } });
+Object.defineProperty(exports, "isChannelGranted", { enumerable: true, get: function () { return access_js_1.isChannelGranted; } });
+Object.defineProperty(exports, "listVisibleTwinEdgesForRefs", { enumerable: true, get: function () { return access_js_1.listVisibleTwinEdgesForRefs; } });
+Object.defineProperty(exports, "visibleTwinRefKeys", { enumerable: true, get: function () { return access_js_1.visibleTwinRefKeys; } });
+Object.defineProperty(exports, "visibleTwinRefKeysRecursive", { enumerable: true, get: function () { return access_js_1.visibleTwinRefKeysRecursive; } });
+Object.defineProperty(exports, "TwinRefNotVisibleError", { enumerable: true, get: function () { return access_js_1.TwinRefNotVisibleError; } });
+var twin_edge_types_js_1 = require("./twin-edge-types.js");
+Object.defineProperty(exports, "TWIN_EDGE_SOURCES", { enumerable: true, get: function () { return twin_edge_types_js_1.TWIN_EDGE_SOURCES; } });
+Object.defineProperty(exports, "TWIN_EDGE_TYPES", { enumerable: true, get: function () { return twin_edge_types_js_1.TWIN_EDGE_TYPES; } });
+Object.defineProperty(exports, "TWIN_REF_KINDS", { enumerable: true, get: function () { return twin_edge_types_js_1.TWIN_REF_KINDS; } });
+var source_ingest_js_2 = require("./source-ingest.js");
+Object.defineProperty(exports, "ingestSource", { enumerable: true, get: function () { return source_ingest_js_2.ingestSource; } });
+var identity_js_2 = require("./identity.js");
+Object.defineProperty(exports, "correctIdentity", { enumerable: true, get: function () { return identity_js_2.correctIdentity; } });
+// The connector event index and its raw query layer moved to the package that has
+// connectors. Three of the four consumers of this core have none.
+var observations_js_1 = require("./observations.js");
+Object.defineProperty(exports, "observationVersionId", { enumerable: true, get: function () { return observations_js_1.observationVersionId; } });
+Object.defineProperty(exports, "appendObservationVersion", { enumerable: true, get: function () { return observations_js_1.appendObservationVersion; } });
+Object.defineProperty(exports, "getObservationVersion", { enumerable: true, get: function () { return observations_js_1.getObservationVersion; } });
+Object.defineProperty(exports, "searchOwnerObservationVersions", { enumerable: true, get: function () { return observations_js_1.searchOwnerObservationVersions; } });
+Object.defineProperty(exports, "readObservationVersion", { enumerable: true, get: function () { return observations_js_1.readObservationVersion; } });
+Object.defineProperty(exports, "isObservationVersionVisible", { enumerable: true, get: function () { return observations_js_1.isObservationVersionVisible; } });
+Object.defineProperty(exports, "isObservationVisibilityRowVisible", { enumerable: true, get: function () { return observations_js_1.isObservationVisibilityRowVisible; } });
+var commitments_js_2 = require("./commitments.js");
+Object.defineProperty(exports, "createWork", { enumerable: true, get: function () { return commitments_js_2.createWork; } });
+Object.defineProperty(exports, "readWork", { enumerable: true, get: function () { return commitments_js_2.readWork; } });
+Object.defineProperty(exports, "reviseWork", { enumerable: true, get: function () { return commitments_js_2.reviseWork; } });
+Object.defineProperty(exports, "withdrawWork", { enumerable: true, get: function () { return commitments_js_2.withdrawWork; } });
+var work_dates_js_1 = require("./work-dates.js");
+Object.defineProperty(exports, "parseExactDueAt", { enumerable: true, get: function () { return work_dates_js_1.parseExactDueAt; } });
+Object.defineProperty(exports, "assertIsoDate", { enumerable: true, get: function () { return work_dates_js_1.assertIsoDate; } });
+Object.defineProperty(exports, "assertWorkPatchValues", { enumerable: true, get: function () { return work_dates_js_1.assertWorkPatchValues; } });
+Object.defineProperty(exports, "WORK_PATCH_DEADLINE_PATTERN", { enumerable: true, get: function () { return work_dates_js_1.WORK_PATCH_DEADLINE_PATTERN; } });
+Object.defineProperty(exports, "WORK_PATCH_DUE_AT_PATTERN", { enumerable: true, get: function () { return work_dates_js_1.WORK_PATCH_DUE_AT_PATTERN; } });
+var search_js_1 = require("./search.js");
+Object.defineProperty(exports, "vectorSearch", { enumerable: true, get: function () { return search_js_1.vectorSearch; } });
+Object.defineProperty(exports, "fts5Search", { enumerable: true, get: function () { return search_js_1.fts5Search; } });
+var graph_query_js_2 = require("./graph-query.js");
+Object.defineProperty(exports, "queryDecisionGraph", { enumerable: true, get: function () { return graph_query_js_2.queryDecisionGraph; } });
+Object.defineProperty(exports, "querySemanticEdges", { enumerable: true, get: function () { return graph_query_js_2.querySemanticEdges; } });
+Object.defineProperty(exports, "getGraphNeighborhood", { enumerable: true, get: function () { return graph_query_js_2.getGraphNeighborhood; } });
+Object.defineProperty(exports, "getGraphPaths", { enumerable: true, get: function () { return graph_query_js_2.getGraphPaths; } });
+Object.defineProperty(exports, "getGraphTimeline", { enumerable: true, get: function () { return graph_query_js_2.getGraphTimeline; } });
+Object.defineProperty(exports, "queryGraph", { enumerable: true, get: function () { return graph_query_js_2.queryGraph; } });
+Object.defineProperty(exports, "AgentGraphValidationError", { enumerable: true, get: function () { return graph_query_js_2.AgentGraphValidationError; } });
+var decision_edges_js_1 = require("./decision-edges.js");
+Object.defineProperty(exports, "upsertDecisionEdge", { enumerable: true, get: function () { return decision_edges_js_1.upsertDecisionEdge; } });
+Object.defineProperty(exports, "proposeDecisionEdge", { enumerable: true, get: function () { return decision_edges_js_1.proposeDecisionEdge; } });
+Object.defineProperty(exports, "approveDecisionEdge", { enumerable: true, get: function () { return decision_edges_js_1.approveDecisionEdge; } });
+Object.defineProperty(exports, "rejectDecisionEdge", { enumerable: true, get: function () { return decision_edges_js_1.rejectDecisionEdge; } });
+Object.defineProperty(exports, "deprecateAutoDecisionEdges", { enumerable: true, get: function () { return decision_edges_js_1.deprecateAutoDecisionEdges; } });
+Object.defineProperty(exports, "deleteDecisionEdgesWithAudit", { enumerable: true, get: function () { return decision_edges_js_1.deleteDecisionEdgesWithAudit; } });
+function createKnowledge(options) {
+    const writer = (0, judgments_js_1.createJudgmentWriter)(options);
+    return {
+        appendJudgment: writer.appendJudgment,
+        correctIdentity: (command, access) => (0, identity_js_1.correctIdentity)(command, access, { adapter: options.adapter }),
+        ingestSource: (command, access) => (0, source_ingest_js_1.ingestSource)(command, access, { adapter: options.adapter }),
+        createWork: (command, access) => (0, commitments_js_1.createWork)(command, access, options),
+        reviseWork: (command, access) => (0, commitments_js_1.reviseWork)(command, access, options),
+        withdrawWork: (command, access) => (0, commitments_js_1.withdrawWork)(command, access, options),
+        readWork: (query, access) => (0, commitments_js_1.readWork)(options.adapter, query, access),
+        queryGraph: (query, access) => (0, graph_query_js_1.queryGraph)(options.adapter, query, access),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/knowledge/judgment-edge.d.ts

@@ -0,0 +1,6 @@
+import type { RecordLink, WorkReference } from '../memory/judgment-types.js';
+/** The stable id of the index-th link a judgment command writes. */
+export declare function judgmentEdgeId(commandId: string, index: number, relation: string, target: WorkReference): string;
+/** The content hash stored on a judgment link's twin edge. */
+export declare function judgmentEdgeContentHash(id: string, recordId: string, link: RecordLink): Buffer;
+//# sourceMappingURL=judgment-edge.d.ts.map

package/dist/knowledge/judgment-edge.js

@@ -0,0 +1,22 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.judgmentEdgeId = judgmentEdgeId;
+exports.judgmentEdgeContentHash = judgmentEdgeContentHash;
+const node_crypto_1 = __importDefault(require("node:crypto"));
+const canonicalize_js_1 = require("../canonicalize.js");
+/** The stable id of the index-th link a judgment command writes. */
+function judgmentEdgeId(commandId, index, relation, target) {
+    return `edge_${node_crypto_1.default
+        .createHash('sha256')
+        .update((0, canonicalize_js_1.canonicalizeJSON)({ commandId, index, relation, target }))
+        .digest('hex')
+        .slice(0, 24)}`;
+}
+/** The content hash stored on a judgment link's twin edge. */
+function judgmentEdgeContentHash(id, recordId, link) {
+    return node_crypto_1.default.createHash('sha256').update((0, canonicalize_js_1.canonicalizeJSON)({ id, recordId, link })).digest();
+}
+//# sourceMappingURL=judgment-edge.js.map

package/dist/knowledge/judgments.d.ts

@@ -0,0 +1,118 @@
+import type { DatabaseAdapter, DatabaseInstance } from '../db-manager.js';
+import { type TwinEdgeInsert, type TwinEdgeRecord, type TwinEdgeSource, type TwinEdgeType, type TwinProjectRef, type TwinRef } from './twin-edge-types.js';
+import type { JudgmentCommand, JudgmentReceipt } from '../memory/judgment-types.js';
+import type { MemoryScopeRef } from '../memory/types.js';
+export interface JudgmentAccess {
+    principalId: string;
+    agentId: string;
+    /** Host-stated origin of authored links; a mechanical import is code, not an agent turn. */
+    edgeSource?: TwinEdgeSource;
+    scopes: readonly MemoryScopeRef[];
+    /**
+     * Scopes admitted for READS only, beside `scopes`.
+     *
+     * A run allowed to read a channel's raw events may recall what was extracted
+     * from it, which is not permission to write there. Stating that as a second
+     * field on the principal is what lets a read bound itself more widely than a
+     * write without anyone consulting the name of the tool being called.
+     */
+    readScopes?: readonly MemoryScopeRef[];
+    /**
+     * Connectors the caller's grant resolver admits. Carried on the boundary for the
+     * same reason it is carried on reader inputs: a cited observation or graph ref must
+     * satisfy the same visibility rule as a row the reader would have returned. The
+     * caller supplies the projection; input JSON never grants it.
+     */
+    connectors?: readonly string[];
+    /** Connector-wide stored observation reads granted by the host, never query input. */
+    connectorWideRead?: readonly string[];
+    /** Channels of each granted connector that may be read. */
+    channels?: Readonly<Record<string, readonly string[]>>;
+    /** Project partitions the caller's authority admits; query input never grants it. */
+    projectRefs?: readonly TwinProjectRef[];
+    tenantId?: string | null;
+    /**
+     * The newest observation time this caller may see, as epoch milliseconds.
+     * An as-of question asked of the grant: absent means no clamp. It sits beside
+     * the other three window fields because a citation answers the same question
+     * a read does -- a clamp that reached only one of them would let a citation
+     * out-read reading in time.
+     */
+    maxObservedMs?: number | null;
+    /** Inclusive source/event-time ceiling for replay raw and observation reads. */
+    maxSourceMs?: number | null;
+    /**
+     * Actions this principal may call. Dispatch compares `call.action` against
+     * this list before exec, so an ungranted action is `denied` and the action
+     * body never runs. The list is configuration the product states per
+     * principal — it is never derived from the call, the channel, or the turn.
+     * Exact names only: a wildcard would make the grant depend on what the
+     * catalog happens to hold later.
+     */
+    actions: readonly string[];
+    /**
+     * Destinations this principal may send to. An irreversible send compares its
+     * target against this list inside the adapter that performs it. Empty means
+     * this principal sends nowhere, which is the honest default for a principal
+     * that only reads.
+     */
+    destinations?: readonly DestinationRef[];
+}
+/** One place a send can land. `kind` names the transport, `id` the address. */
+export interface DestinationRef {
+    kind: string;
+    id: string;
+}
+export interface JudgmentKnowledgeOptions {
+    adapter: DatabaseInstance;
+    embedder?: {
+        /** A null result is the explicit no-vector mode (Tier 3); a failure must throw. */
+        embed(text: string, role: 'query' | 'passage'): Promise<Float32Array | null>;
+    };
+}
+export declare class JudgmentError extends Error {
+    readonly code: string;
+    constructor(code: string, message: string);
+}
+/** Deterministic record id a command will be bound to — lets adapters build
+ * projections (timeline events, identity bindings) before the write commits. */
+export declare function judgmentRecordId(commandId: string): string;
+/** Scopes the caller was admitted to; bounds what the command may reference.
+ * Exported for the sibling source-ingest command path; not part of the public API. */
+export declare function admittedScopeIds(access: JudgmentAccess): string[];
+/**
+ * Scopes bound to the new record. An explicit `scopes: []` declares an
+ * unscoped record (legacy parity); an omitted field inherits the access scope.
+ * Exported for the sibling source-ingest command path; not part of the public API.
+ */
+export declare function boundScopeIdsFor(access: JudgmentAccess, command: {
+    scopes?: MemoryScopeRef[];
+}): string[];
+export declare function appendJudgment(command: JudgmentCommand, access: JudgmentAccess, options: JudgmentKnowledgeOptions): Promise<JudgmentReceipt>;
+export declare function createJudgmentWriter(options: JudgmentKnowledgeOptions): {
+    appendJudgment: (command: JudgmentCommand, access: JudgmentAccess) => Promise<JudgmentReceipt>;
+};
+type TwinEdgeReadAdapter = Pick<DatabaseAdapter, 'prepare'>;
+export declare function mapTwinEdgeRow(row: Record<string, unknown>): TwinEdgeRecord;
+/**
+ * The single write boundary for twin_edges. Both former write sites (the
+ * alias_of edge inside the alias write and the judgment-command link insert)
+ * now resolve their columns into a TwinEdgeInsert and call here, inside the
+ * caller's transaction. The row is read back so callers get the stored record.
+ */
+export declare function insertTwinEdge(adapter: TwinEdgeReadAdapter, input: TwinEdgeInsert): TwinEdgeRecord;
+export declare function getTwinEdge(adapter: TwinEdgeReadAdapter, edgeId: string): TwinEdgeRecord | null;
+export declare function listTwinEdgesForRefs(adapter: TwinEdgeReadAdapter, refs: readonly TwinRef[], page?: {
+    /** Newest-first storage scan for a bounded visible page. Omitted keeps the old full scan. */
+    newest: true;
+    limit: number;
+    after?: {
+        createdAt: number;
+        edgeId: string;
+    };
+    edgeTypes?: readonly TwinEdgeType[];
+    startMs?: number | null;
+    asOfMs?: number | null;
+}): TwinEdgeRecord[];
+export {};
+//# sourceMappingURL=judgments.d.ts.map