@devflow-tools/database 0.17.7 → 0.18.0

package/dist/index.d.ts

@@ -1,20 +1,24 @@
 export { DevFlowDatabase, getGlobalDevFlowDbPath, openGlobalDevFlowDatabase, openGlobalDevFlowReadOnlyDatabase, } from './database';
+export { LocalDataProvider } from './data/LocalDataProvider';
+export { DEVFLOW_SCHEMA_SQL, DEVFLOW_TABLE_NAMES } from './data/devflow-schema';
+export { DEFAULT_ENFORCER_RULES, seedDefaultEnforcerRules } from './data/default-enforcer-rules';
 export type { BenchmarkReportMetaRecord, BenchmarkReportRecord, FeedbackRecord, GovernanceAuditRecord, GovernanceRuleRecord, HookFallbackRecord, HookReceiptRecord, ContextReceiptRecord, ContextSelectionEventRecord, PolicyVerificationBaselineRecord, MemoryDistillCheckpointRecord, MemoryTurnRecord, MemoryTurnStatus, TelemetryFailureRecord, } from './database';
 export type { EnqueueWorkInput, LeaseWorkInput, RequestSessionClosureInput, SessionClosureRecord, SessionClosureState, WorkError, WorkItemRecord, WorkKind, WorkQueueHealth, WorkState, ProjectMutationLeaseRecord, } from './work-queue';
-export type { RetrievalLedgerEventRecord, RetrievalLedgerSourceType, RetrievalLedgerStage, } from './retrieval-ledger';
+export type { RetrievalLedgerEventRecord, RetrievalLedgerSourceType, RetrievalLedgerStage, VerifyReceiptBoundRetrievalInput, VerifyReceiptBoundRetrievalResult, } from './retrieval-ledger';
+export { retrievalLedgerTransitionId } from './retrieval-ledger';
 export { hostActionReportsEqual, isHostActionState, mapHostActionRow, serializeHostActionReport, } from './host-actions';
 export { RETRIEVAL_MAX_CYCLES, isRetrievalSessionState } from './retrieval-sessions';
 export type { AppendRetrievalCycleInput, CreateRetrievalSessionInput, RetrievalCycleRecord, RetrievalGapKind, RetrievalGapRecord, RetrievalSessionRecord, RetrievalSessionState, } from './retrieval-sessions';
+export type { AppendRetrievalCycleV2Input, CreateRetrievalSessionV2Input, RetrievalSessionV2Record, } from './retrieval-runtime';
 export type { FailHostActionInput, HostActionRecord, HostActionState, ReportHostActionInput, RequestHostActionInput, StartHostActionInput, VerifyHostActionInput, } from './host-actions';
 export { mapSessionObligationRow, normalizeTurnId, } from './obligation-ledger';
 export { assertTaskIdentity, mapChannelQueryPlanRow, mapTaskIntentArtifactRow, mapTerminalTransitionRow, mapToolNameResolutionRow, mapTranscriptCheckpointRow, stableSemanticJson, } from './task-semantic-control';
 export { mapTaskRuntimeEventRow, mapTaskRuntimeSnapshotRow, stableTaskRuntimeHash, stableTaskRuntimeJson, } from './task-runtime';
+export type { AppendTaskAggregateInput, AppendTaskAggregateResult, LeaseTaskOutboxInput, TaskAggregateRecord, TaskOutboxRecord, } from './task-aggregate';
 export type { TaskRuntimeChannelRecord, TaskRuntimeChannelRequirement, TaskRuntimeChannelStatus, TaskRuntimeEventRecord, TaskRuntimeIdentityRecord, TaskRuntimeObligationRecord, TaskRuntimeObligationState, TaskRuntimeSnapshotRecord, } from './task-runtime';
-export type { ChannelQueryPlanRecord, TaskIdentityRecord, TaskIntentArtifactRecord, TerminalTransitionRecord, ToolNameResolutionRecord, ToolNameResolutionStatus, TranscriptCheckpointRecord, } from './task-semantic-control';
+export type { CanonicalSemanticTaskWrite, ChannelQueryPlanRecord, TaskIdentityRecord, TaskIntentArtifactRecord, TerminalTransitionRecord, ToolNameResolutionRecord, ToolNameResolutionStatus, TranscriptCheckpointRecord, } from './task-semantic-control';
 export { LEGAL_WORKFLOW_WORKER_TRANSITIONS, TERMINAL_WORKFLOW_WORKER_STATES, mapWorkflowMergeRow, mapWorkflowWorkerEventRow, mapWorkflowWorkerRow, } from './workflow-workers';
 export type { CreateWorkflowWorkerInput, EnqueueWorkflowMergeInput, TransitionWorkflowWorkerInput, WorkflowMergeRecord, WorkflowMergeState, WorkflowWorkerEventRecord, WorkflowWorkerRecord, WorkflowWorkerState, } from './workflow-workers';
 export { mapLearningCandidateRow, mapLearningEvidenceRow, mapLearningVersionRow, stableLearningJson, } from './learning-candidates';
 export type { AddLearningCandidateEvidenceInput, LearningCandidateEvidenceRecord, LearningCandidateKind, LearningCandidateRecord, LearningCandidateState, LearningCandidateVersionRecord, LearningEvidencePolarity, LearningOutcomeState, TransitionLearningCandidateInput, UpsertLearningCandidateInput, } from './learning-candidates';
 export type { SessionObligationKind, SessionObligationRecord, SessionObligationState, } from './obligation-ledger';
-export { assertSemanticResolutionRecord, mapSemanticResolutionRow, stableSemanticResolutionJson, } from './semantic-resolution';
-export type { PersistedSemanticGeneratedBy, PersistedSemanticResolutionState, SemanticResolutionRecord, } from './semantic-resolution';

package/dist/index.js

@@ -1,11 +1,21 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.stableSemanticResolutionJson = exports.mapSemanticResolutionRow = exports.assertSemanticResolutionRecord = exports.stableLearningJson = exports.mapLearningVersionRow = exports.mapLearningEvidenceRow = exports.mapLearningCandidateRow = exports.mapWorkflowWorkerRow = exports.mapWorkflowWorkerEventRow = exports.mapWorkflowMergeRow = exports.TERMINAL_WORKFLOW_WORKER_STATES = exports.LEGAL_WORKFLOW_WORKER_TRANSITIONS = exports.stableTaskRuntimeJson = exports.stableTaskRuntimeHash = exports.mapTaskRuntimeSnapshotRow = exports.mapTaskRuntimeEventRow = exports.stableSemanticJson = exports.mapTranscriptCheckpointRow = exports.mapToolNameResolutionRow = exports.mapTerminalTransitionRow = exports.mapTaskIntentArtifactRow = exports.mapChannelQueryPlanRow = exports.assertTaskIdentity = exports.normalizeTurnId = exports.mapSessionObligationRow = exports.isRetrievalSessionState = exports.RETRIEVAL_MAX_CYCLES = exports.serializeHostActionReport = exports.mapHostActionRow = exports.isHostActionState = exports.hostActionReportsEqual = exports.openGlobalDevFlowReadOnlyDatabase = exports.openGlobalDevFlowDatabase = exports.getGlobalDevFlowDbPath = exports.DevFlowDatabase = void 0;
+exports.stableLearningJson = exports.mapLearningVersionRow = exports.mapLearningEvidenceRow = exports.mapLearningCandidateRow = exports.mapWorkflowWorkerRow = exports.mapWorkflowWorkerEventRow = exports.mapWorkflowMergeRow = exports.TERMINAL_WORKFLOW_WORKER_STATES = exports.LEGAL_WORKFLOW_WORKER_TRANSITIONS = exports.stableTaskRuntimeJson = exports.stableTaskRuntimeHash = exports.mapTaskRuntimeSnapshotRow = exports.mapTaskRuntimeEventRow = exports.stableSemanticJson = exports.mapTranscriptCheckpointRow = exports.mapToolNameResolutionRow = exports.mapTerminalTransitionRow = exports.mapTaskIntentArtifactRow = exports.mapChannelQueryPlanRow = exports.assertTaskIdentity = exports.normalizeTurnId = exports.mapSessionObligationRow = exports.isRetrievalSessionState = exports.RETRIEVAL_MAX_CYCLES = exports.serializeHostActionReport = exports.mapHostActionRow = exports.isHostActionState = exports.hostActionReportsEqual = exports.retrievalLedgerTransitionId = exports.seedDefaultEnforcerRules = exports.DEFAULT_ENFORCER_RULES = exports.DEVFLOW_TABLE_NAMES = exports.DEVFLOW_SCHEMA_SQL = exports.LocalDataProvider = exports.openGlobalDevFlowReadOnlyDatabase = exports.openGlobalDevFlowDatabase = exports.getGlobalDevFlowDbPath = exports.DevFlowDatabase = void 0;
 var database_1 = require("./database");
 Object.defineProperty(exports, "DevFlowDatabase", { enumerable: true, get: function () { return database_1.DevFlowDatabase; } });
 Object.defineProperty(exports, "getGlobalDevFlowDbPath", { enumerable: true, get: function () { return database_1.getGlobalDevFlowDbPath; } });
 Object.defineProperty(exports, "openGlobalDevFlowDatabase", { enumerable: true, get: function () { return database_1.openGlobalDevFlowDatabase; } });
 Object.defineProperty(exports, "openGlobalDevFlowReadOnlyDatabase", { enumerable: true, get: function () { return database_1.openGlobalDevFlowReadOnlyDatabase; } });
+var LocalDataProvider_1 = require("./data/LocalDataProvider");
+Object.defineProperty(exports, "LocalDataProvider", { enumerable: true, get: function () { return LocalDataProvider_1.LocalDataProvider; } });
+var devflow_schema_1 = require("./data/devflow-schema");
+Object.defineProperty(exports, "DEVFLOW_SCHEMA_SQL", { enumerable: true, get: function () { return devflow_schema_1.DEVFLOW_SCHEMA_SQL; } });
+Object.defineProperty(exports, "DEVFLOW_TABLE_NAMES", { enumerable: true, get: function () { return devflow_schema_1.DEVFLOW_TABLE_NAMES; } });
+var default_enforcer_rules_1 = require("./data/default-enforcer-rules");
+Object.defineProperty(exports, "DEFAULT_ENFORCER_RULES", { enumerable: true, get: function () { return default_enforcer_rules_1.DEFAULT_ENFORCER_RULES; } });
+Object.defineProperty(exports, "seedDefaultEnforcerRules", { enumerable: true, get: function () { return default_enforcer_rules_1.seedDefaultEnforcerRules; } });
+var retrieval_ledger_1 = require("./retrieval-ledger");
+Object.defineProperty(exports, "retrievalLedgerTransitionId", { enumerable: true, get: function () { return retrieval_ledger_1.retrievalLedgerTransitionId; } });
 var host_actions_1 = require("./host-actions");
 Object.defineProperty(exports, "hostActionReportsEqual", { enumerable: true, get: function () { return host_actions_1.hostActionReportsEqual; } });
 Object.defineProperty(exports, "isHostActionState", { enumerable: true, get: function () { return host_actions_1.isHostActionState; } });
@@ -41,7 +51,3 @@ Object.defineProperty(exports, "mapLearningCandidateRow", { enumerable: true, ge
 Object.defineProperty(exports, "mapLearningEvidenceRow", { enumerable: true, get: function () { return learning_candidates_1.mapLearningEvidenceRow; } });
 Object.defineProperty(exports, "mapLearningVersionRow", { enumerable: true, get: function () { return learning_candidates_1.mapLearningVersionRow; } });
 Object.defineProperty(exports, "stableLearningJson", { enumerable: true, get: function () { return learning_candidates_1.stableLearningJson; } });
-var semantic_resolution_1 = require("./semantic-resolution");
-Object.defineProperty(exports, "assertSemanticResolutionRecord", { enumerable: true, get: function () { return semantic_resolution_1.assertSemanticResolutionRecord; } });
-Object.defineProperty(exports, "mapSemanticResolutionRow", { enumerable: true, get: function () { return semantic_resolution_1.mapSemanticResolutionRow; } });
-Object.defineProperty(exports, "stableSemanticResolutionJson", { enumerable: true, get: function () { return semantic_resolution_1.stableSemanticResolutionJson; } });

package/dist/retrieval-ledger.d.ts

@@ -1,4 +1,4 @@
-export type RetrievalLedgerStage = 'eligible' | 'candidate' | 'selected' | 'exposed' | 'adopted' | 'consumed' | 'verified' | 'positive_outcome' | 'negative_outcome' | 'unknown' | 'unknown_outcome' | 'rejected';
+export type RetrievalLedgerStage = 'eligible' | 'candidate' | 'selected' | 'consumed' | 'verified' | 'positive_outcome' | 'negative_outcome' | 'unknown_outcome' | 'rejected';
 export type RetrievalLedgerSourceType = 'code' | 'memory' | 'knowledge' | 'action';
 export interface RetrievalLedgerEventRecord {
     schemaVersion?: 'retrieval-ledger-event.v1';
@@ -29,3 +29,18 @@ export interface RetrievalLedgerEventRecord {
     payload: Record<string, unknown>;
     createdAt: number;
 }
+export interface VerifyReceiptBoundRetrievalInput {
+    projectRoot: string;
+    sessionId: string;
+    executionId: string;
+    contextReceipt: string;
+    toolUseId: string;
+    verificationReceipt: string;
+    verifiedAt: number;
+}
+export interface VerifyReceiptBoundRetrievalResult {
+    selected: number;
+    consumed: number;
+    verified: number;
+}
+export declare function retrievalLedgerTransitionId(sourceEventId: string, stage: RetrievalLedgerStage, provenance: string): string;

package/dist/retrieval-ledger.js

@@ -1,2 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.retrievalLedgerTransitionId = retrievalLedgerTransitionId;
+const node_crypto_1 = require("node:crypto");
+function retrievalLedgerTransitionId(sourceEventId, stage, provenance) {
+    return `retrieval:${(0, node_crypto_1.createHash)('sha256')
+        .update(`${sourceEventId}\0${stage}\0${provenance}`).digest('hex')}`;
+}

package/dist/retrieval-runtime.d.ts

@@ -0,0 +1,39 @@
+import type { CanonicalTaskIdentity, RetrievalCycleReceiptV1, RetrievalSufficiencyStatus } from '@devflow-tools/sdk';
+export interface RetrievalSessionV2Record {
+    id: string;
+    identity: CanonicalTaskIdentity;
+    taskRevision: number;
+    factsHash: string;
+    planHash: string;
+    activationSnapshotHash: string;
+    coordinatorVersion: string;
+    state: 'open' | RetrievalSufficiencyStatus;
+    cycle: number;
+    noGainCount: number;
+    maxCycles: 3;
+    initialTokenBudget: number;
+    remainingTokenBudget: number;
+    finalReceiptHash?: string;
+    createdAt: number;
+    updatedAt: number;
+    expiresAt: number;
+}
+export interface CreateRetrievalSessionV2Input {
+    id: string;
+    identity: CanonicalTaskIdentity;
+    taskRevision: number;
+    factsHash: string;
+    planHash: string;
+    activationSnapshotHash: string;
+    coordinatorVersion: string;
+    tokenBudget: number;
+    expiresAt: number;
+    createdAt?: number;
+}
+export interface AppendRetrievalCycleV2Input {
+    sessionId: string;
+    projectRoot: string;
+    taskSessionId: string;
+    receipt: RetrievalCycleReceiptV1;
+    remainingTokenBudget: number;
+}

package/dist/retrieval-runtime.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/task-aggregate.d.ts

@@ -0,0 +1,49 @@
+import type { CanonicalTaskIdentity, TaskAggregateEventV1, TaskDefinitionV1, TaskRuntimeSnapshotV2 } from '@devflow-tools/sdk';
+export interface TaskAggregateRecord {
+    identity: CanonicalTaskIdentity;
+    revision: number;
+    definitionHash: string;
+    activationSnapshotHash: string;
+    lastEventSequence: number;
+    snapshot: TaskRuntimeSnapshotV2;
+    updatedAt: number;
+}
+export interface TaskOutboxRecord {
+    operationId: string;
+    eventId: string;
+    projectRoot: string;
+    sessionId: string;
+    turnId: string;
+    revision: number;
+    kind: string;
+    payload: Record<string, unknown>;
+    state: 'pending' | 'leased' | 'completed' | 'dead_letter';
+    leaseOwner?: string;
+    leaseExpiresAt?: number;
+    fencingToken: number;
+    attempts: number;
+    createdAt: number;
+    updatedAt: number;
+}
+export interface AppendTaskAggregateInput {
+    definition?: TaskDefinitionV1;
+    event: TaskAggregateEventV1;
+    snapshot: TaskRuntimeSnapshotV2;
+    outbox?: {
+        operationId: string;
+        kind: string;
+        payload: Record<string, unknown>;
+    };
+}
+export interface AppendTaskAggregateResult {
+    event: TaskAggregateEventV1;
+    snapshot: TaskRuntimeSnapshotV2;
+    replayed: boolean;
+}
+export interface LeaseTaskOutboxInput {
+    projectRoot: string;
+    owner: string;
+    limit: number;
+    leaseMs: number;
+    now?: number;
+}

package/dist/task-aggregate.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/task-semantic-control.d.ts

@@ -5,7 +5,7 @@ export interface TaskIdentityRecord {
     sessionId: string;
     turnId: string;
     requestId: string;
-    executionId?: string;
+    executionId: string;
 }
 export interface TaskIntentArtifactRecord extends TaskIdentityRecord {
     version: number;
@@ -36,6 +36,12 @@ export interface ChannelQueryPlanRecord extends TaskIdentityRecord {
     degradation?: Record<string, unknown>;
     createdAt: number;
 }
+export interface CanonicalSemanticTaskWrite {
+    revision: number;
+    activation: RuntimeActivationSnapshotV1;
+    context: SemanticExecutionContext;
+    definition: TaskDefinitionV1;
+}
 export type ToolNameResolutionStatus = 'canonical' | 'alias' | 'unsupported';
 export interface ToolNameResolutionRecord extends TaskIdentityRecord {
     id: string;
@@ -77,3 +83,4 @@ export declare function mapToolNameResolutionRow(row: Record<string, unknown>):
 export declare function mapTerminalTransitionRow(row: Record<string, unknown>): TerminalTransitionRecord;
 export declare function mapTranscriptCheckpointRow(row: Record<string, unknown>): TranscriptCheckpointRecord;
 export declare function assertTaskIdentity(record: TaskIdentityRecord): void;
+import type { RuntimeActivationSnapshotV1, SemanticExecutionContext, TaskDefinitionV1 } from '@devflow-tools/sdk';

package/dist/task-semantic-control.js

@@ -102,14 +102,12 @@ function assertTaskIdentity(record) {
         sessionId: record.sessionId,
         turnId: record.turnId,
         requestId: record.requestId,
+        executionId: record.executionId,
     })) {
         if (typeof value !== 'string' || value.trim().length === 0) {
             throw new Error(`TASK_IDENTITY_INVALID:${field}`);
         }
     }
-    if (record.executionId !== undefined && record.executionId.trim().length === 0) {
-        throw new Error('TASK_IDENTITY_INVALID:executionId');
-    }
 }
 function mapTaskIdentityRow(row) {
     return {
@@ -119,7 +117,7 @@ function mapTaskIdentityRow(row) {
         sessionId: requiredString(row.session_id, 'session_id'),
         turnId: requiredString(row.turn_id, 'turn_id'),
         requestId: requiredString(row.request_id, 'request_id'),
-        executionId: optionalString(row.execution_id),
+        executionId: requiredString(row.execution_id, 'execution_id'),
     };
 }
 function canonicalize(value) {

package/package.json

@@ -1,17 +1,29 @@
 {
   "name": "@devflow-tools/database",
-  "version": "0.17.7",
-  "description": "DevFlow SQLite database package",
+  "version": "0.18.0",
+  "description": "SQLite persistence primitives shared by DevFlow runtime packages.",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
   "scripts": {
     "build": "tsc",
     "test": "vitest run"
   },
+  "dependencies": {
+    "@devflow-tools/sdk": "0.18.0"
+  },
   "devDependencies": {
     "@types/node": "^22.15.0",
     "typescript": "^5.5.0",
     "vitest": "^2.0.0"
   },
-  "gitHead": "560fe8a097aa9d398fdcfec409134cc94d26f92f"
+  "gitHead": "940c6c004c0ebb59abad3da9bc67137fa2d2a666",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/shilongfeicool/dev-flow.git"
+  },
+  "homepage": "https://github.com/shilongfeicool/dev-flow#readme"
 }