@sema-agent/core 5.57.0 → 5.58.0

package/dist/core/memory-engine/engine.d.ts

@@ -1,5 +1,5 @@
 import type { EngineNotice } from "../types.js";
-import { type ConsolidationGateRow, type ConsolidationPlanFile, type ConsolidationProposal, type MemoryConsolidationOptions } from "./consolidation.js";
+import { type ConsolidationGateRow, type ConsolidationPlanFile, type ConsolidationProposal, type ConsolidationRunStopReason, type MemoryConsolidationOptions } from "./consolidation.js";
 import { foreignDanglingSessionAccounts, type EffectiveSettlement, type HoldRow } from "./delegation-settlement.js";
 import { type OriginClearanceRow } from "./origin-clearance.js";
 import { type CommittedBinding, type EraseMemoryEntriesInput, type MemoryErasureAttestation, type TransferEvidence } from "./file-backend.js";
@@ -251,7 +251,7 @@ export interface MemoryInjection {
      *  session's harvest / the backend's read-side external-change detection). Already rendered into
      *  {@link block}; exposed raw for observability/tests. Absent when the queue was empty. */
     announcements?: MemoryAnnouncement[];
-    /** The RENDERED announcements segment of {@link block} (design/142 S2b, codex H11): dual-root
+    /** The RENDERED announcements segment of {@link block} (design/142 S2b): dual-root
      *  merging composes from STRUCTURED fields — never by re-parsing `block` (whose instruction/index
      *  segments contain blank lines a split would shred). Absent when the queue was empty. */
     announceBlock?: string;
@@ -485,7 +485,7 @@ export interface ConsolidationReconcileReport {
         state: "completed" | "conflict";
     };
     releasedOrphanSeat?: string;
-    /** codex r2 — a seat whose plan file is absent but whose claim is YOUNGER than the freeze grace:
+    /** a seat whose plan file is absent but whose claim is YOUNGER than the freeze grace:
      *  a live commit is (very likely) mid-freeze; reconcile leaves it alone and reports it here. */
     seatInFlight?: string;
     corruptPlan?: {
@@ -543,6 +543,28 @@ export declare function memoryConsolidationConflictNotice(input: {
     planId: string;
     scope: string;
 }): EngineNotice;
+/**
+ * design/376 §1.6-2 — the ADVISORY notice for a driver run that stopped short of its fixpoint
+ * (`memory.consolidation_incomplete`). Partial folds are measurably worse than no fold (currency
+ * queries regress to the unconsolidated baseline while the residue stays buried), so a run that
+ * committed some cycles and stopped must be visible as a TRANSITIONAL state — without this code an
+ * operator sees only a trail of `_committed` notices and cannot tell a settled library from one
+ * mid-fold. `stop` takes its value from the ONE closed set the run receipt uses
+ * ({@link ConsolidationRunStopReason}); the two channels never carry different vocabularies.
+ *
+ * The message branches on `cyclesDone` (truthfulness, both arms pinned): a run that stopped at
+ * the door — a parked seat, a failed mint — committed NOTHING, and its line says the library is
+ * unchanged by this run rather than asserting a partial fold this run never produced. (The
+ * PARTIAL-fold claim stays a per-run statement; whether the library was already mid-fold from an
+ * earlier run is the gate's account, not this line's.)
+ */
+export declare function memoryConsolidationIncompleteNotice(input: {
+    scope: string;
+    runId: string;
+    stop: ConsolidationRunStopReason;
+    residueProducts: number;
+    cyclesDone: number;
+}): EngineNotice;
 /** The refusal's notice dialect (the verb itself throws the coded {@link ConsolidationRefusedError};
  *  a host converting the throw into its notice stream uses this one spelling). */
 export declare function memoryConsolidationRefusedNotice(input: {
@@ -1006,6 +1028,28 @@ export declare class MemoryEngine {
     /** §6.2 — host read face: one scope's gate row (undefined when the store has no row — reading
      *  never creates the file, so the OFF deployment stays byte-identical, G1). */
     readConsolidationGate(scope: string): ConsolidationGateRow | undefined;
+    /**
+     * design/376 片② — host read face: one scope's committed FOLD STATE, in the freeze's own
+     * accounting (`active` counts entries neither superseded nor excluded — byte-for-byte the
+     * denominator `commitConsolidationPlan` re-derives for the supersession fuse). The driver plans
+     * UNDER the fuse instead of discovering it as a refusal, and every count it publishes is a store
+     * delta read through here — the fuse denominator and the published counts are store facts, never
+     * driver assumptions. Side-effect-free committed read; an unreadable governance overlay refuses
+     * coded (a silently wrong denominator would mis-schedule every remaining cycle).
+     */
+    readConsolidationFoldState(scope: string): Promise<{
+        active: number;
+        superseded: number;
+        products: number;
+    }>;
+    /**
+     * Host read face: the engine's RESOLVED control-plane directory (the same coordinate a
+     * directory-pinned backend already publishes as `controlPlaneRoot`; this accessor answers it
+     * after the engine's own precedence — backend pin > constructor argument > derived default).
+     * The shipped consolidation driver keeps its run account and mint archives in this plane
+     * (design/376 §1.6-4); path knowledge is not authority — nothing here bypasses a verb.
+     */
+    get controlPlaneRoot(): string;
     /** The committed, side-effect-free audit read: the adoption-restricted committed view when the
      *  backend offers one (zero-copy File — ledger+shadow, no disk adoption), else the non-adopting
      *  retrieval view (copy-out File), else the backend itself (Pg/TiDB shapes — naturally committed

package/dist/core/memory-engine/engine.js

@@ -197,6 +197,15 @@ export function memoryConsolidationConflictNotice(input) {
         detail: { planId: input.planId, scope: inlineUntrusted(input.scope, 80) },
     };
 }
+export function memoryConsolidationIncompleteNotice(input) {
+    return {
+        code: "memory.consolidation_incomplete",
+        message: input.cyclesDone === 0
+            ? `Memory consolidation run ${input.runId} for scope ${inlineUntrusted(input.scope, 80)} stopped ${input.stop} after 0 committed cycle(s) — this run made no writes and the library is unchanged by it (the stop reason names the block; a fresh run re-distills from a full snapshot).`
+            : `Memory consolidation run ${input.runId} for scope ${inlineUntrusted(input.scope, 80)} stopped ${input.stop} after ${input.cyclesDone} committed cycle(s) with ${input.residueProducts} proposed product(s) unfolded — the library is in a PARTIAL fold (committed cycles stand; the next run's full snapshot re-distills the remainder).`,
+        detail: { scope: inlineUntrusted(input.scope, 80), runId: input.runId, stop: input.stop, residueProducts: input.residueProducts, cyclesDone: input.cyclesDone },
+    };
+}
 export function memoryConsolidationRefusedNotice(input) {
     return {
         code: "memory.consolidation_refused",
@@ -2579,7 +2588,7 @@ export class MemoryEngine {
         const marked = candidates.some((c) => c.marked);
         const epoch = row?.epoch ?? 0;
         const cycleToken = createHash("sha256").update(JSON.stringify([scope, epoch, at, Object.entries(candidateRevs).sort()]), "utf8").digest("hex").slice(0, 32);
-        updateConsolidationGate(this.controlDir, (file) => {
+        const announceForce = updateConsolidationGate(this.controlDir, (file) => {
             const fresh = file.scopes[scope] ?? { sessions: { count: 0, ring: [] }, epoch: 0 };
             if (fresh.openPlanId !== undefined) {
                 throw new ConsolidationRefusedError("memory.consolidation_busy", `memory consolidation refused: plan ${fresh.openPlanId} claimed the ${JSON.stringify(scope)} seat during the snapshot read.`);
@@ -2588,10 +2597,15 @@ export class MemoryEngine {
                 throw new ConsolidationRefusedError("memory.consolidation_stale_snapshot", `memory consolidation refused: the ${JSON.stringify(scope)} watermark advanced during the snapshot read — retake the snapshot.`);
             }
             fresh.snapshot = { token: cycleToken, at, epoch, candidates: candidateRevs, eligible: eligibleRevs, marked };
+            let announce = false;
+            if (opts.force !== undefined && fresh.lastForcedRequestId !== opts.force.requestId) {
+                fresh.lastForcedRequestId = opts.force.requestId;
+                announce = true;
+            }
             file.scopes[scope] = fresh;
-            return { next: file, result: undefined };
+            return { next: file, result: announce };
         });
-        if (opts.force !== undefined) {
+        if (opts.force !== undefined && announceForce) {
             try {
                 enqueueMemoryAnnouncement(this.controlDir, { kind: "gate", at, items: [`memory consolidation snapshot FORCED past the time/session gates for scope ${inlineUntrusted(scope, 80)} (requestId ${inlineUntrusted(opts.force.requestId, 80)})`] });
             }
@@ -3444,6 +3458,26 @@ export class MemoryEngine {
             return undefined;
         }
     }
+    async readConsolidationFoldState(scope) {
+        const face = this.committedAuditFace();
+        const headers = await face.listHeaders([scope]);
+        let exclusions;
+        try {
+            exclusions = this.readChallengeExclusions();
+        }
+        catch (err) {
+            throw new ConsolidationRefusedError("memory.consolidation_governance_unreadable", `memory consolidation fold-state read refused: the challenge/lineage ledger cannot be trusted (fail-closed): ${err instanceof Error ? err.message : String(err)}`);
+        }
+        const superseded = deriveSupersededSet(headers, { excluded: (id) => exclusions.has(id) });
+        return {
+            active: headers.filter((h) => !superseded.has(h.id) && !exclusions.has(h.id)).length,
+            superseded: superseded.size,
+            products: headers.filter((h) => h.distilled !== undefined).length,
+        };
+    }
+    get controlPlaneRoot() {
+        return this.controlDir;
+    }
     committedAuditFace() {
         const b = this.backend;
         return b.restrictedAdoptionView?.({ audit: false }) ?? b.retrievalView?.() ?? this.backend;

package/dist/core/memory-engine/file-backend.d.ts

@@ -357,7 +357,7 @@ export interface FileMemoryEngineBackendOptions {
     onIncident?: MemoryPartitionIncidentSink;
 }
 /**
- * ⚠️ DEPLOYMENT BOUNDARY (N0 定谳,channel 给service-AI.md [412],2026-07-09):this backend — and the
+ * ⚠️ DEPLOYMENT BOUNDARY (ruled 2026-07-09): this backend — and the
  * file memory engine's materialize/harvest — operates on the WORKER-HOST fs plane (node:fs), matching
  * CC's `~/.claude` host-plane memory (the only behavior anchor). It is NOT ExecutionEnv-aware: when a
  * deployment routes the model's file tools to a REMOTE sandbox (e2b/k8s/ssh/adb/local-docker), the two

package/dist/core/memory-engine/index.d.ts

@@ -1,4 +1,4 @@
-export { MemoryEngine, buildMemoryInstruction, truncateIndex, MEMORY_INSTRUCTION_TEMPLATE, MEMORY_RECALL_DISCIPLINE, memoryRecallDisciplineSegment, entryFileHeadCarriesOrigin, MEMORY_PREFERENCE_DISCIPLINE, MEMORY_READONLY_NOTICE, MEMORY_INDEX_MAX_LINES, MEMORY_INDEX_MAX_BYTES, STUB_ARCHIVED_LINE, DEFAULT_MAX_MEMORY_FILES, DEFAULT_HARVEST_DEADLINE_MS, DEFAULT_HARVEST_FILE_BUDGET, MASS_DELETION_FUSE_RATIO, renderAnnouncements, type MemoryEngineOptions, type MemoryInjection, type EntryProvenanceAccount, memoryConsolidationRecommendedNotice, memoryConsolidationCommittedNotice, memoryConsolidationConflictNotice, memoryConsolidationRefusedNotice, type ConsolidationCommitReceipt, type ConsolidationReconcileReport, type ConsolidationResolveReceipt, type ConsolidationPlanSummary, } from "./engine.js";
+export { MemoryEngine, buildMemoryInstruction, truncateIndex, MEMORY_INSTRUCTION_TEMPLATE, MEMORY_RECALL_DISCIPLINE, memoryRecallDisciplineSegment, entryFileHeadCarriesOrigin, MEMORY_PREFERENCE_DISCIPLINE, MEMORY_READONLY_NOTICE, MEMORY_INDEX_MAX_LINES, MEMORY_INDEX_MAX_BYTES, STUB_ARCHIVED_LINE, DEFAULT_MAX_MEMORY_FILES, DEFAULT_HARVEST_DEADLINE_MS, DEFAULT_HARVEST_FILE_BUDGET, MASS_DELETION_FUSE_RATIO, renderAnnouncements, type MemoryEngineOptions, type MemoryInjection, type EntryProvenanceAccount, memoryConsolidationRecommendedNotice, memoryConsolidationCommittedNotice, memoryConsolidationConflictNotice, memoryConsolidationIncompleteNotice, memoryConsolidationRefusedNotice, type ConsolidationCommitReceipt, type ConsolidationReconcileReport, type ConsolidationResolveReceipt, type ConsolidationPlanSummary, } from "./engine.js";
 export { MEMORY_SEARCH_TOOL_NAME, MEMORY_GET_TOOL_NAME, MEMORY_ENGINE_TOOL_NAMES, type MemorySearchDetails, type MemorySearchHit, type CleanMemorySearchHit, type ExposedMemorySearchHit, type MemoryGetDetails, } from "./tools.js";
 export { MEMORY_EXPOSURE_BANNER, MEMORY_EXPOSURE_HANDLE_TAG, MEMORY_PROVENANCE_RECALL_SENTENCE, MEMORY_PROVENANCE_SEARCH_SENTENCE, memoryExposureIndexRow, parseMemoryExposureIndexRow, } from "./provenance-wording.js";
 export { scanMemoryWrite, scanMemoryFileName, scanRemediation, MEMORY_FILENAME_SEGMENT_RE } from "./scan.js";
@@ -8,7 +8,9 @@ export { ControlPlaneCorruptError, deriveControlPlaneDir, deriveRepoControlPlane
 export { readV2HeaderHints, isInstructionEntry, type V2HeaderHints } from "./header-hints.js";
 export { parseEntryFile, serializeEntryFile, computeEntryRev, entryFromFile, committedOriginOf, originEquals, ambiguousOriginRepresentation, type ParsedEntryFile } from "./frontmatter.js";
 export { committedDistilledOf, distilledEquals } from "./frontmatter.js";
-export { CONSOLIDATION_DEFAULTS, ConsolidationRefusedError, MEMORY_SEARCH_SUPERSEDED_TAG, consolidationTypeEligible, deriveSupersededSet, memorySupersededNote, readIntentCredentials, supersessionFuseCeiling, type ConsolidationGateRow, type ConsolidationIntent, type ConsolidationIntentCredentialRow, type ConsolidationLeaseSeat, type ConsolidationProductProposal, type ConsolidationProposal, type MemoryConsolidationOptions, } from "./consolidation.js";
+export { CONSOLIDATION_DEFAULTS, ConsolidationRefusedError, MEMORY_SEARCH_SUPERSEDED_TAG, consolidationTypeEligible, deriveSupersededSet, memorySupersededNote, readIntentCredentials, supersessionFuseCeiling, type ConsolidationGateRow, type ConsolidationIntent, type ConsolidationIntentCredentialRow, type ConsolidationLeaseSeat, type ConsolidationProductProposal, type ConsolidationProposal, type MemoryConsolidationOptions, CONSOLIDATION_RUN_STOP_REASONS, type ConsolidationRunStopReason, } from "./consolidation.js";
+export { DISTILLER_DEFAULT_MAX_INPUTS_PER_PRODUCT, LLM_DISTILLER_CONTRACT, LLM_DISTILLER_CONTRACT_DL2, LLM_DISTILLER_CONTRACT_DL3, LLM_DISTILLER_CONTRACTS, MEMORY_DISTILLER_CONTRACT_V1, contractGroupingDiff, driveConsolidationToFixpoint, isAliasModelId, llmPlanDistiller, mintLlmConsolidationPlan, openAiCompatChatSeat, parseJsonAnswer, planParseRepairs, sanitizeLlmGroups, scheduleUnderFuse, type ConsolidationDistillFn, type ConsolidationDriveCycleRow, type ConsolidationDriveEngine, type ConsolidationDriveResult, type ConsolidationFoldState, type DistillerCandidate, type DistillerChatAnswer, type DistillerChatFn, type DistillerChatRequest, type FuseSchedule, type LlmConsolidationPlan, type LlmConsolidationPlanProduct, type LlmDistillerContract, type MintLlmConsolidationPlanResult, type PlanParseRepairs, type SanitizedLlmGroups, } from "./distiller.js";
+export { CONSOLIDATION_DRIVER_PLANS_DIR, CONSOLIDATION_DRIVER_RUNS_FILE, archiveDistillerPlan, readConsolidationDriverRun, runMemoryConsolidationDriver, type ConsolidationDriverEngine, type ConsolidationDriverRunRow, type ConsolidationRunReceipt, type RunMemoryConsolidationOptions, } from "./consolidation-driver.js";
 export { MEMORY_ORIGIN_CAUSES } from "./types.js";
 export type { MemoryBackend, MemoryEntry, MemoryEntryFrontmatter, MemoryEntryOrigin, MemoryOriginCause, MemoryEntryDistilled, MemoryEntryDistilledInput, MemoryEntryHeader, ScoredMemoryEntry, NotePatch, PatchReport, MaterializedFile, MemorySessionHandle, HarvestReport, HarvestRejection, HarvestRejectionCode, MemoryAnnouncement, ScanFinding, } from "./types.js";
 export { memoryBackendContract, assertMemoryBackendSearchEquivalence, type MemoryBackendContractHooks, } from "./memory-backend-contract.js";

package/dist/core/memory-engine/index.js

@@ -1,4 +1,4 @@
-export { MemoryEngine, buildMemoryInstruction, truncateIndex, MEMORY_INSTRUCTION_TEMPLATE, MEMORY_RECALL_DISCIPLINE, memoryRecallDisciplineSegment, entryFileHeadCarriesOrigin, MEMORY_PREFERENCE_DISCIPLINE, MEMORY_READONLY_NOTICE, MEMORY_INDEX_MAX_LINES, MEMORY_INDEX_MAX_BYTES, STUB_ARCHIVED_LINE, DEFAULT_MAX_MEMORY_FILES, DEFAULT_HARVEST_DEADLINE_MS, DEFAULT_HARVEST_FILE_BUDGET, MASS_DELETION_FUSE_RATIO, renderAnnouncements, memoryConsolidationRecommendedNotice, memoryConsolidationCommittedNotice, memoryConsolidationConflictNotice, memoryConsolidationRefusedNotice, } from "./engine.js";
+export { MemoryEngine, buildMemoryInstruction, truncateIndex, MEMORY_INSTRUCTION_TEMPLATE, MEMORY_RECALL_DISCIPLINE, memoryRecallDisciplineSegment, entryFileHeadCarriesOrigin, MEMORY_PREFERENCE_DISCIPLINE, MEMORY_READONLY_NOTICE, MEMORY_INDEX_MAX_LINES, MEMORY_INDEX_MAX_BYTES, STUB_ARCHIVED_LINE, DEFAULT_MAX_MEMORY_FILES, DEFAULT_HARVEST_DEADLINE_MS, DEFAULT_HARVEST_FILE_BUDGET, MASS_DELETION_FUSE_RATIO, renderAnnouncements, memoryConsolidationRecommendedNotice, memoryConsolidationCommittedNotice, memoryConsolidationConflictNotice, memoryConsolidationIncompleteNotice, memoryConsolidationRefusedNotice, } from "./engine.js";
 export { MEMORY_SEARCH_TOOL_NAME, MEMORY_GET_TOOL_NAME, MEMORY_ENGINE_TOOL_NAMES, } from "./tools.js";
 export { MEMORY_EXPOSURE_BANNER, MEMORY_EXPOSURE_HANDLE_TAG, MEMORY_PROVENANCE_RECALL_SENTENCE, MEMORY_PROVENANCE_SEARCH_SENTENCE, memoryExposureIndexRow, parseMemoryExposureIndexRow, } from "./provenance-wording.js";
 export { scanMemoryWrite, scanMemoryFileName, scanRemediation, MEMORY_FILENAME_SEGMENT_RE } from "./scan.js";
@@ -8,7 +8,9 @@ export { ControlPlaneCorruptError, deriveControlPlaneDir, deriveRepoControlPlane
 export { readV2HeaderHints, isInstructionEntry } from "./header-hints.js";
 export { parseEntryFile, serializeEntryFile, computeEntryRev, entryFromFile, committedOriginOf, originEquals, ambiguousOriginRepresentation } from "./frontmatter.js";
 export { committedDistilledOf, distilledEquals } from "./frontmatter.js";
-export { CONSOLIDATION_DEFAULTS, ConsolidationRefusedError, MEMORY_SEARCH_SUPERSEDED_TAG, consolidationTypeEligible, deriveSupersededSet, memorySupersededNote, readIntentCredentials, supersessionFuseCeiling, } from "./consolidation.js";
+export { CONSOLIDATION_DEFAULTS, ConsolidationRefusedError, MEMORY_SEARCH_SUPERSEDED_TAG, consolidationTypeEligible, deriveSupersededSet, memorySupersededNote, readIntentCredentials, supersessionFuseCeiling, CONSOLIDATION_RUN_STOP_REASONS, } from "./consolidation.js";
+export { DISTILLER_DEFAULT_MAX_INPUTS_PER_PRODUCT, LLM_DISTILLER_CONTRACT, LLM_DISTILLER_CONTRACT_DL2, LLM_DISTILLER_CONTRACT_DL3, LLM_DISTILLER_CONTRACTS, MEMORY_DISTILLER_CONTRACT_V1, contractGroupingDiff, driveConsolidationToFixpoint, isAliasModelId, llmPlanDistiller, mintLlmConsolidationPlan, openAiCompatChatSeat, parseJsonAnswer, planParseRepairs, sanitizeLlmGroups, scheduleUnderFuse, } from "./distiller.js";
+export { CONSOLIDATION_DRIVER_PLANS_DIR, CONSOLIDATION_DRIVER_RUNS_FILE, archiveDistillerPlan, readConsolidationDriverRun, runMemoryConsolidationDriver, } from "./consolidation-driver.js";
 export { MEMORY_ORIGIN_CAUSES } from "./types.js";
 export { memoryBackendContract, assertMemoryBackendSearchEquivalence, } from "./memory-backend-contract.js";
 export { SCOPE_SEGMENT_MAX_ENCODED, PROJECT_MARKER_PATH, encodeScopeSegment, decodeScopeSegment, parseScopeKey, formatUserScope, formatOrgScope, formatProjScope, formatUserProjScope, isPersonalScope, assertScopeContractPlacement, formatProjectMarker, parseProjectMarker, resolveProjectId, PROJECT_ID_REGEX, } from "./scope-contract.js";

package/dist/core/memory-engine/origin-clearance.d.ts

@@ -63,7 +63,7 @@ export declare function markOriginClearanceTombstoned(controlDir: string, input:
 /**
  * Terminal event append + status flip. Unknown clearanceId is a corrupt-caller refusal.
  *
- * SINGLE-WINNER terminal (codex r1): a row already terminal ignores a late contradictory
+ * SINGLE-WINNER terminal: a row already terminal ignores a late contradictory
  * settlement — two concurrent resumers race the store legs (the store's own CAS decides those),
  * and the loser's stale verdict must not overwrite the winner's audit state (a successfully
  * cleared entry reading `failed` with contradictory events). The loser's own thrown refusal is

package/dist/core/memory-engine/scope-contract.d.ts

@@ -10,7 +10,7 @@ export declare const SCOPE_SEGMENT_MAX_ENCODED = 64;
  */
 export declare function encodeScopeSegment(raw: string): string;
 /**
- * Inverse of {@link encodeScopeSegment}, CANONICAL-FORM ONLY (codex 复审 B6): the input must be
+ * Inverse of {@link encodeScopeSegment}, CANONICAL-FORM ONLY: the input must be
  * exactly what the encoder produces — safe chars stay bare (so `%41` for `A` is refused: two
  * spellings of one identity must not mint two keys), `%XX` sequences must decode as valid UTF-8
  * (fatal decoder — no U+FFFD smoothing), and the 64-char cap holds here too (parse side enforces
@@ -52,7 +52,7 @@ export declare function parseScopeKey(key: string): ParsedScopeKey;
 export declare function isPersonalScope(parsed: ParsedScopeKey): boolean;
 /** True when the key's AUTHORITY is central (design/142 §2 表: user/userproj/org rows) — these keys
  *  must never project into an in-repo memory dir (they would leak to every collaborator AND enter
- *  commit history; codex 复审 B1 extended the F9 gate from personal to org). `proj:`/legacy stay
+ *  commit history; extended the F9 gate from personal to org). `proj:`/legacy stay
  *  repo-planed. */
 export declare function isCentralAuthorityScope(parsed: ParsedScopeKey): boolean;
 /**
@@ -71,14 +71,14 @@ export declare function assertScopeContractPlacement(args: {
 /** Repo-root marker file: minted once (by scaffold/deployment, NEVER by the engine), committed, and
  *  from then on the project's identity survives clone/copy/rename/machine/cloud-sandbox. */
 export declare const PROJECT_MARKER_PATH = ".sema/project";
-/** projectId 格式单源([637]① 承诺):generic UUID,version nibble 不收紧——宽读严写(读面认外部/
+/** projectId 格式单源:generic UUID,version nibble 不收紧——宽读严写(读面认外部/
  *  历史 v4;铸造面 formatProjectMarker / center mint 统一产 uuidv7)。center 侧自持镜像+dev-only
  *  drift 锁对着这条(registry-core coreTypes 先例)。 */
 export declare const PROJECT_ID_REGEX: RegExp;
 /** Serialize a marker file body (scaffold-side helper; the engine itself never writes one). */
 export declare function formatProjectMarker(projectId: string): string;
 /** Parse a marker body: TOML-subset `key = value` lines, `#` comments and blank lines ignored,
- *  optional quotes around the value. Unknown keys are ignored (forward-compatible). codex 复审 H7:
+ *  optional quotes around the value. Unknown keys are ignored (forward-compatible).
  *  ANY line that starts a `projectId` assignment but is not one canonical UUID assignment is a
  *  CORRUPT marker (fail-loud, `config.memory_project_marker`) — an empty value, an unclosed quote,
  *  a non-UUID, or a DUPLICATE projectId line must never degrade to "no marker" (that would be a

package/dist/core/memory-engine/sync-client.d.ts

@@ -5,7 +5,7 @@ import { type MemoryBackend, type MemoryEntry, type PatchReport } from "./types.
  *  DECODED JSON body of a 2xx response; any non-2xx / network failure should THROW (the round then
  *  aborts with zero local side effects — the transport runs before any local write). */
 export type MemorySyncTransport = (path: string, body: unknown) => Promise<unknown>;
-/** The wire REQUEST of one round (the server's `parseMemorySyncRequest` twin — [671]①): the push
+/** The wire REQUEST of one round (the server's `parseMemorySyncRequest` twin): the push
  *  half as computed against the client's own cursor. `deletes` ⊆ `Object.keys(baseRevs)` by
  *  construction (a delete is CAS'd on its baseline; an id never synced cannot be delete-propagated). */
 export interface MemorySyncRequestBody {
@@ -14,20 +14,20 @@ export interface MemorySyncRequestBody {
     baseRevs: Record<string, string>;
     /** Full state of every entry new/changed here since the baseline. When
      *  {@link SyncMemoryScopeOptions.maxPushEntries} is set this is the id-ascending PREFIX of the
-     *  full push set ([767]③ batching — the remainder rides later rounds). */
+     *  full push set (batching — the remainder rides later rounds). */
     entries: MemoryEntry[];
     /** Ids deleted here since the baseline (tombstoned or gone from the local plane). Deletes are
-     *  NEVER batched/split — they are id+baseRev pairs, weightless next to entry bodies ([767]③). */
+     *  NEVER batched/split — they are id+baseRev pairs, weightless next to entry bodies. */
     deletes: string[];
-    /** [767]③ pull-half batching (wire contract; server implements the response side): ask the
-     *  server to cap this round's pull half at `limit` items. Absent ⇔ unbatched (the pre-[767]③
+    /** pull-half batching (wire contract; server implements the response side): ask the
+     *  server to cap this round's pull half at `limit` items. Absent ⇔ unbatched (the prior
      *  wire shape byte-for-byte — old servers never see the key). */
     pull?: {
         limit?: number;
     };
 }
-/** The wire RESPONSE of one round (server `MemorySyncResponse` twin — [671]①: one RTT, both
- *  directions; `serverDeletes` is the delete-propagation leg [codex B4 — without it a central
+/** The wire RESPONSE of one round (server `MemorySyncResponse` twin: one RTT, both
+ *  directions; `serverDeletes` is the delete-propagation leg [without it a central
  *  removal never crosses = livelock]; `cursor` is the server-computed next baseline with the
  *  retention discipline ALREADY applied to the pull half). */
 export interface MemorySyncResponseBody {
@@ -57,7 +57,7 @@ export interface MemorySyncResponseBody {
         baseRevs: Record<string, string>;
         updatedAtMs: number;
     };
-    /** [767]③ pull-half batching (wire contract; server sets it): true ⇔ the server withheld part
+    /** pull-half batching (wire contract; server sets it): true ⇔ the server withheld part
      *  of the pull half under the requested `pull.limit` — the caller should run another round.
      *  The server MUST retain every withheld id at the OLD baseline inside `cursor` (the client
      *  refuses prefilled undelivered revs — see ⑤ defense — so violating this only costs the
@@ -87,22 +87,22 @@ export interface SyncMemoryScopeOptions {
     peer?: string;
     /** Caller-injected clock (engine precedent) — stamps the returned cursor's updatedAtMs. */
     now?: () => number;
-    /** [767]③ push-half batching: cap the number of push-half ENTRIES sent this round. The full
+    /** push-half batching: cap the number of push-half ENTRIES sent this round. The full
      *  push set is put in STABLE order (id ascending — deterministic across rounds/replicas) and the
      *  first `maxPushEntries` ride the wire; a cut round reports `pushTruncated: true`. Deletes are
      *  never split (id+baseRev pairs are weightless next to bodies). CALLER CONTRACT: on
      *  `pushTruncated`/`pullTruncated`, persist the returned cursor and run ANOTHER round until both
      *  flags clear — core deliberately never loops internally (the runner loop is the deployment's,
-     *  server-side semantics per [767]③); bound your loop (e.g. a fixed max-rounds cap ≥
+     *  server-side semantics apply); bound your loop (e.g. a fixed max-rounds cap ≥
      *  ⌈expected entries / limit⌉ + slack) so a misbehaving peer cannot spin it forever. Must be a
      *  POSITIVE integer (≥ 1 — C5: a 0 cap would flag pushTruncated forever and livelock the caller
-     *  loop); absent ⇔ unbatched (pre-[767]③ behavior byte-for-byte). */
+     *  loop); absent ⇔ unbatched (prior behavior byte-for-byte). */
     maxPushEntries?: number;
-    /** [767]③ pull-half batching: forwarded verbatim as the wire request's `pull.limit`; a server
+    /** pull-half batching: forwarded verbatim as the wire request's `pull.limit`; a server
      *  that withholds part of its pull half answers `pullTruncated`, passed through on the result.
      *  Same caller contract as {@link maxPushEntries}: continue rounds (bounded) until it clears.
      *  Must be a POSITIVE integer (≥ 1 — C5, same livelock gate); absent ⇔ the request carries NO
-     *  `pull` key (old-server compatible, pre-[767]③ wire bytes). */
+     *  `pull` key (old-server compatible, pre- wire bytes). */
     maxPullEntries?: number;
     /** design/178 §3 — per-entry byte bound for the PUSH gate, matched against the entry's serialized
      *  file form (the same domain the harvest gate measures). Defaults to {@link MAX_MEMORY_BYTES},
@@ -130,11 +130,11 @@ export interface MemorySyncClientResult {
     /** The cursor the caller should now persist: advanced on full success, otherwise the INPUT
      *  cursor unchanged (undefined on a failed first round) — the retention discipline. */
     cursor: MemorySyncCursor | undefined;
-    /** [767]③: present (true) ⇔ `maxPushEntries` cut this round's push set — run another round off
+    /** present (true) ⇔ `maxPushEntries` cut this round's push set — run another round off
      *  the persisted cursor until it clears (see the {@link SyncMemoryScopeOptions.maxPushEntries}
      *  caller contract). Never present on an uncut round (additive: old callers see no new key). */
     pushTruncated?: true;
-    /** [767]③: present (true) ⇔ the server reported its pull half was cut under `pull.limit` —
+    /** present (true) ⇔ the server reported its pull half was cut under `pull.limit` —
      *  same continue-until-clear caller contract. */
     pullTruncated?: true;
     /** Honest-disclosure channel for tolerated protocol violations (present only when non-empty).
@@ -146,7 +146,7 @@ export interface MemorySyncClientResult {
     warnings?: string[];
 }
 /**
- * One full CLIENT sync round for one (scope, peer) against the [671]① central sync API — see the
+ * One full CLIENT sync round for one (scope, peer) against the central sync API — see the
  * module header for the ①-⑤ flow and the cursor retention discipline. Pure orchestration: all I/O
  * rides the injected backend/transport; the caller persists the returned cursor.
  */

package/dist/core/memory-engine/sync.d.ts

@@ -3,7 +3,7 @@ import type { MemoryEntry, ScoredMemoryEntry } from "./types.js";
  * design/142 §3 — the per-replica per-scope sync cursor: the COMMON BASELINE a reconciliation run
  * judges divergence against (`id → rev` as of the last completed sync round). This is a NEW
  * persistence face — deliberately NOT revs.json (that is the local disk-vs-committed ledger): File
- * plane = a control-plane sidecar, DB plane = a service-owned table (PG+TiDB, [628] dual-dialect).
+ * plane = a control-plane sidecar, DB plane = a service-owned table (PG+TiDB dual-dialect).
  * Serializable by construction.
  */
 export interface MemorySyncCursor {
@@ -31,7 +31,7 @@ export interface MemorySyncPlan {
     /** Entries the LOCAL side should adopt from the peer (new there or changed-there-only). Same CAS
      *  discipline as {@link push}, mirrored: local conditional write with `baseRevs[id]`. */
     pull: MemoryEntry[];
-    /** codex 复审 B4 — DELETE propagation (without these the removal never crosses and every round
+    /** DELETE propagation (without these the removal never crosses and every round
      *  re-plans the same state = livelock): the peer removed an entry the local side left UNCHANGED
      *  since baseline ⇒ delete locally (CAS on baseRev — a local edit racing in makes the delete a
      *  conflict on the next round instead of silent loss). */
@@ -61,7 +61,7 @@ export interface MemorySyncPlan {
  *  - changed on exactly ONE side → push/pull;
  *  - changed on BOTH sides, or delete-on-one × edit-on-the-other → conflict (caller's ladder);
  *  - deleted on one side × UNCHANGED on the other → the delete propagates (deleteLocal/deleteRemote,
- *    CAS on baseRev — codex B4: without this leg removals never cross and the plan livelocks);
+ *    CAS on baseRev: without this leg removals never cross and the plan livelocks);
  *  - present only on one side with NO baseline → new entry → propagate;
  *  - absent on both but present in baseline → cleared (cursor cleanup).
  */
@@ -81,7 +81,7 @@ export declare function nextSyncBaseline(local: readonly MemoryEntry[], remote:
  * because the seat is advisory: the authoritative body is re-read from the real backend by id/slug
  * when a hit is followed. Mount point: a deployment composes its RecallSource(s) inside its recall
  * select hook (the design/65 selective-recall trust seat) or pre-queries before prepare; core adds
- * no RunnerDeps seat until a real integration signals the need (YAGNI, [622]③ two-lane ruling).
+ * no RunnerDeps seat until a real integration signals the need (YAGNI two-lane ruling).
  */
 export interface RecallSource {
     /** Stable adapter name (diagnostics/attribution: hits are labeled, never silently mixed). */

package/dist/core/memory-recall.d.ts

@@ -164,7 +164,7 @@ export declare function composeSelectiveBody(manifestText: string, selected: Mem
  *  both. Core owns the FORMAT so a caller can't drift the wire format (decision 7) — the encoding is OPAQUE
  *  and length-prefixes the scope so a scope/id containing the separator cannot self-declare a collision.
  *
- *  ONE-WAY by design (codex MINOR (d)): the key is only ever PRODUCED here (`surfacedKeys`) and compared by
+ *  ONE-WAY by design ((d)): the key is only ever PRODUCED here (`surfacedKeys`) and compared by
  *  STRING EQUALITY against the caller's persisted set ({@link LayeredRecallOptions.priorSurfacedKeys}, applied
  *  at memory-recall.ts via `priorSurfacedKeys.has(encodeSurfacedKey(h.scope, h.id))`). Nothing ever needs the
  *  `(scope, id)` BACK out of a key, so there is intentionally NO `decodeSurfacedKey` — adding a decode would

package/dist/core/memory.d.ts

@@ -282,7 +282,7 @@ export declare class MemoryGateError extends Error {
  * prose that merely mentions tokens/keys/passwords passes through untouched (false-positives are the head
  * risk — a wrongly-rejected normal note silently breaks legitimate memory).
  *
- * 🔴 RB-445 (blackboard [2230]): this is a BEST-EFFORT tripwire for a handful of high-signal token
+ * 🔴 RB-445: this is a BEST-EFFORT tripwire for a handful of high-signal token
  * formats, NOT a data-loss-prevention boundary — "the write gate passed" never means "the text contains
  * no credential". Known-through shapes (deliberate, per the false-positive stance above): connection
  * strings carrying passwords, `password=`/`Authorization:` header values, bare high-entropy bodies
@@ -530,7 +530,7 @@ export type MemorySpecInput = {
  *  - `writeScope` defaults to the LAST scope (the highest-priority layer); an EXPLICIT `null` means read-only
  *    (no `remember` tool, no consolidation); an explicit non-null string is taken as-is (it need NOT be one
  *    of `scopes` — a deployment may write a layer it does not inject, though normally it is the last scope).
- *    ⚠️ Layered READ seeding (service [646]①, 142-S4): when `scopes` comes from a registry's defaultScopes
+ *    ⚠️ Layered READ seeding (142-S4): when `scopes` comes from a registry's defaultScopes
  *    (shared read layers), ALWAYS pin `writeScope` explicitly — the last-scope default would land every
  *    harvest in whichever shared layer happens to be listed last (a cross-tenant write surface).
  *  - returns `undefined` when there are no usable scopes (the caller treats it like "no memory configured").