@ahmadmoussawi/webdb 0.0.0-stage → 0.1.1

package/dist/host/compiler/planner/types.d.ts

@@ -0,0 +1,100 @@
+import { TableMeta, IndexDescriptor, JoinType } from '../../../types/index.js';
+import { QueryPlan, JoinPlan, QueryFilter, ComparisonOp, SortKey } from '../compiler.js';
+import { ParsedSelectExpr } from '../expr_parser.js';
+export interface WhereMetrics {
+    originalCount: number;
+    optimizedCount: number;
+    isAlwaysFalse: boolean;
+    isAlwaysTrue: boolean;
+    contradictionReason?: string;
+    eliminatedFiltersCount: number;
+    reordered: boolean;
+}
+export interface PlanCostMetrics {
+    totalCost: number;
+    estimatedRows: number;
+    joinOrder: string[];
+    singleTableFilters: Map<number, QueryFilter[]>;
+    crossFilters: QueryFilter[];
+    tableScanTypes: ('TableScan' | 'IndexScan')[];
+    tableIndexNames: (string | undefined)[];
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+}
+export interface OptimizedPlanResult {
+    plan: QueryPlan;
+    orderedTables: TableMeta[];
+    metrics: PlanCostMetrics | null;
+    isAlwaysFalse?: boolean;
+    isAlwaysTrue?: boolean;
+    whereMetrics?: WhereMetrics;
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+}
+export interface QueryPlanner {
+    readonly name: string;
+    optimize(plan: QueryPlan): OptimizedPlanResult;
+}
+export interface JoinEdge {
+    tableA: number;
+    tableB: number;
+    colA: string;
+    colB: string;
+    op: ComparisonOp;
+    type: JoinType;
+    declaredRightTable: number;
+}
+export declare const COST_INDEX_SEEK = 0.5;
+export declare const COST_INDEX_NEXT = 0.05;
+export declare const COST_ROW_EVAL = 0.02;
+/**
+ * Extracts all column names referenced in a filter (both direct colName and expr).
+ */
+export declare function extractFilterColumnNames(filter: QueryFilter): string[];
+/**
+ * Determines which table indices (in `tables`) are referenced by a filter.
+ */
+export declare function getFilterReferencedTables(filter: QueryFilter, tables: TableMeta[]): Set<number>;
+/**
+ * Estimates filter selectivity based on operation, column index presence, and table row count.
+ */
+export declare function estimateFilterSelectivity(filter: QueryFilter, table: TableMeta): number;
+/**
+ * Computes single-table base cardinality and scan cost for a table when used as driving table.
+ */
+export declare function getSingleTableBaseCost(table: TableMeta, filters: QueryFilter[], orderBy?: SortKey[], limit?: number): {
+    cost: number;
+    rows: number;
+    scanType: 'TableScan' | 'IndexScan';
+    indexName?: string;
+    isOrderSatisfied?: boolean;
+    sortCostAvoided?: number;
+};
+/**
+ * Checks if targetTable has an index on the given column.
+ */
+export declare function findIndexOnColumn(table: TableMeta, colName: string): {
+    index: IndexDescriptor;
+    isUnique: boolean;
+} | null;
+/**
+ * Builds join edges and left-join dependency constraints from query join clauses.
+ */
+export declare function buildJoinEdges(plan: QueryPlan, originalTables: TableMeta[]): {
+    edges: JoinEdge[];
+    dependencies: Set<number>[];
+};
+/**
+ * Preserves output column projection order in case of table reordering.
+ */
+export declare function materializeOutputSelectExprs(plan: QueryPlan, originalTables: TableMeta[]): ParsedSelectExpr[] | undefined;
+/**
+ * Reconstructs JoinPlan[] for the ordered tables based on resolved join edges.
+ */
+export declare function reconstructJoinPlans(winningOrder: number[], originalTables: TableMeta[], edges: JoinEdge[], originalJoinedPlans?: JoinPlan[]): JoinPlan[];
+/**
+ * Checks whether all ORDER BY keys belong to candidateTable and are ASC,
+ * which enables nested-loop join order preservation if candidateTable is the driving table.
+ */
+export declare function doesTableSatisfyJoinOrderKeys(candidateTable: TableMeta, candidateTableIdx: number, allTables: TableMeta[], orderBy?: SortKey[], selectExprs?: ParsedSelectExpr[]): boolean;
+//# sourceMappingURL=types.d.ts.map

package/dist/host/compiler/planner/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,eAAe,EAEf,QAAQ,EACT,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,SAAS,EACT,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,OAAO,EAIR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,YAAY,EAAE,OAAO,CAAC;IACtB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/C,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,cAAc,EAAE,CAAC,WAAW,GAAG,WAAW,CAAC,EAAE,CAAC;IAC9C,eAAe,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACxC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,SAAS,CAAC;IAChB,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B,OAAO,EAAE,eAAe,GAAG,IAAI,CAAC;IAChC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,mBAAmB,CAAC;CAChD;AAED,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,YAAY,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,eAAO,MAAM,eAAe,MAAM,CAAC;AACnC,eAAO,MAAM,eAAe,OAAO,CAAC;AACpC,eAAO,MAAM,aAAa,OAAO,CAAC;AAElC;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,EAAE,CAoCtE;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,SAAS,EAAE,GAClB,GAAG,CAAC,MAAM,CAAC,CAUb;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EACnB,KAAK,EAAE,SAAS,GACf,MAAM,CAmDR;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,WAAW,EAAE,EACtB,OAAO,CAAC,EAAE,OAAO,EAAE,EACnB,KAAK,CAAC,EAAE,MAAM,GACb;IACD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,GAAG,WAAW,CAAC;IACpC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CA+EA;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,MAAM,GACd;IAAE,KAAK,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAuBtD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,SAAS,EACf,cAAc,EAAE,SAAS,EAAE,GAC1B;IAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAA;CAAE,CAsCpD;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,SAAS,EACf,cAAc,EAAE,SAAS,EAAE,GAC1B,gBAAgB,EAAE,GAAG,SAAS,CA8BhC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EAAE,EACtB,cAAc,EAAE,SAAS,EAAE,EAC3B,KAAK,EAAE,QAAQ,EAAE,EACjB,mBAAmB,CAAC,EAAE,QAAQ,EAAE,GAC/B,QAAQ,EAAE,CAqDZ;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,cAAc,EAAE,SAAS,EACzB,iBAAiB,EAAE,MAAM,EACzB,SAAS,EAAE,SAAS,EAAE,EACtB,OAAO,CAAC,EAAE,OAAO,EAAE,EACnB,WAAW,CAAC,EAAE,gBAAgB,EAAE,GAC/B,OAAO,CAkBT"}

package/dist/host/compiler/planner/where_optimizer.d.ts

@@ -0,0 +1,30 @@
+import { TableMeta } from '../../../types/index.js';
+import { QueryFilter } from '../compiler.js';
+import { WhereMetrics } from './types.js';
+/**
+ * Assigns an estimated relative CPU/evaluation cost to a filter for optimal short-circuit reordering.
+ * Lower numbers = cheaper to evaluate -> placed first in execution.
+ */
+export declare function estimateWhereCost(filter: QueryFilter, tables?: TableMeta[]): number;
+/**
+ * Optimizes an array of query filters by:
+ * 1. Detecting contradictions (short-circuiting).
+ * 2. Pruning redundant duplicates and subsumed range bounds.
+ * 3. Reordering filters by evaluation cost.
+ */
+export declare function optimizeWherePredicates(filters: QueryFilter[], tables?: TableMeta[]): {
+    filters: QueryFilter[];
+    isAlwaysFalse: boolean;
+    isAlwaysTrue: boolean;
+    metrics: WhereMetrics;
+};
+/**
+ * Infers transitive equality predicates across inner/left joins.
+ */
+export declare function inferTransitivePredicates(filters: QueryFilter[], joinedPlans: {
+    leftCol: string;
+    op: string;
+    rightCol: string;
+    type: string;
+}[]): QueryFilter[];
+//# sourceMappingURL=where_optimizer.d.ts.map

package/dist/host/compiler/planner/where_optimizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"where_optimizer.d.ts","sourceRoot":"","sources":["../../../../src/host/compiler/planner/where_optimizer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,MAAM,CAsDnF;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,WAAW,EAAE,EACtB,MAAM,CAAC,EAAE,SAAS,EAAE,GACnB;IACD,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,aAAa,EAAE,OAAO,CAAC;IACvB,YAAY,EAAE,OAAO,CAAC;IACtB,OAAO,EAAE,YAAY,CAAC;CACvB,CAqGA;AAkMD;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,WAAW,EAAE,EACtB,WAAW,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAC7E,WAAW,EAAE,CA6Df"}

package/dist/host/compiler/planner.d.ts

@@ -0,0 +1,2 @@
+export * from './planner/index.js';
+//# sourceMappingURL=planner.d.ts.map

package/dist/host/compiler/planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/host/compiler/planner.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC"}

package/dist/host/driver/buffer_pool_driver.d.ts

@@ -0,0 +1,94 @@
+import { computeBufferPoolOffsets } from '../../constants.ts';
+import { IVfsAdapter } from '../storage/vfs.ts';
+import { Io } from '../storage/io.ts';
+import { VmStatus, VmContext } from '../../types/index.ts';
+export type BufferPoolOffsets = ReturnType<typeof computeBufferPoolOffsets>;
+export declare function createWasmMemory(slotCount?: number, maxQueryMemory?: number): WebAssembly.Memory;
+export interface BufferPoolDriverOptions {
+    vfs?: IVfsAdapter;
+    io?: Io;
+    memory?: WebAssembly.Memory;
+    pool?: {
+        wasmMemory: WebAssembly.Memory;
+        slotCount?: number;
+        maxQueryMemory?: number;
+    };
+    slotCount?: number;
+    maxQueryMemory?: number;
+    useDefaultLayoutOffsets?: boolean;
+}
+/**
+ * Async Buffer Pool Driver Loop.
+ *
+ * Implemented 100% in TypeScript on the Host Layer.
+ * Interacts with the C Engine purely through shared WebAssembly.Memory and layout offsets.
+ * Does NOT import or invoke any C-layer classes.
+ */
+export declare class BufferPoolDriver {
+    readonly io: Io;
+    readonly wasmMemory: WebAssembly.Memory;
+    readonly buffer: ArrayBuffer;
+    readonly view: DataView;
+    readonly uint8: Uint8Array;
+    readonly slotCount: number;
+    readonly maxQueryMemory: number;
+    readonly offsets: BufferPoolOffsets;
+    readonly slotsEndOffset: number;
+    readonly slotToPageOffset: number;
+    readonly pageToSlotOffset: number;
+    readonly pageToSlotBuckets: number;
+    readonly dirtyMaskOffset: number;
+    readonly vmContextOffset: number;
+    readonly resultBufferOffset: number;
+    readonly bytecodeOffset: number;
+    readonly pageScratchpadOffset: number;
+    readonly transientArenaOffset: number;
+    readonly pin_counts: Uint32Array;
+    readonly slot_dirty_generations: Uint32Array;
+    readonly ref_bits: Uint8Array;
+    private clock_hand;
+    private arena_offset;
+    private in_flight_acquires;
+    private allocation_lock;
+    constructor(options: BufferPoolDriverOptions);
+    private validate_slot_idx;
+    private validate_page_id;
+    private with_allocation_lock;
+    setTransactionCoordinator(coordinator: any): void;
+    getSlotOffset(slotIdx: number): number;
+    getPageBytesInSlot(slotIdx: number): Uint8Array;
+    getSlotDataView(slotIdx: number): DataView;
+    getResidentSlot(pageId: number): number;
+    getAssignedPage(slotIdx: number): number;
+    assignSlot(slotIdx: number, pageId: number): void;
+    unassignSlot(slotIdx: number): void;
+    markDirty(slotIdx: number): void;
+    clearDirty(slotIdx: number): void;
+    isDirty(slotIdx: number): boolean;
+    pinSlot(slotIdx: number): void;
+    unpinSlot(slotIdx: number): void;
+    pinPage(pageId: number): void;
+    unpinPage(pageId: number): void;
+    forceUnpinSlot(slotIdx: number): void;
+    forceUnpinPage(pageId: number): void;
+    isSlotPinned(slotIdx: number): boolean;
+    getPinCount(slotIdx: number): number;
+    getRefBit(slotIdx: number): number;
+    setRefBit(slotIdx: number, val: number): void;
+    allocArena(size: number): number;
+    resetArena(): void;
+    getArenaOffset(): number;
+    acquirePage(page_id: number, pin?: boolean): Promise<number>;
+    acquireAndPinPage(page_id: number): Promise<number>;
+    flushSlot(slot_idx: number): Promise<void>;
+    flushPage(page_id: number): Promise<void>;
+    flushAllDirty(): Promise<void>;
+    allocatePage(pin?: boolean): Promise<number>;
+    allocateAndPinPage(): Promise<number>;
+    freePage(page_id: number, force?: boolean): Promise<void>;
+    /**
+     * Drives the VDBE VM step loop, handling STATUS_PAGE_FAULT until completion.
+     */
+    stepVm(ctx: VmContext, bytecode: Uint8Array): Promise<VmStatus>;
+}
+//# sourceMappingURL=buffer_pool_driver.d.ts.map

package/dist/host/driver/buffer_pool_driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"buffer_pool_driver.d.ts","sourceRoot":"","sources":["../../../src/host/driver/buffer_pool_driver.ts"],"names":[],"mappings":"AAAA,OAAO,EAYL,wBAAwB,EACzB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE5E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAEtC,OAAO,EAGL,QAAQ,EACR,SAAS,EACV,MAAM,sBAAsB,CAAC;AAuB9B,wBAAgB,gBAAgB,CAC9B,SAAS,GAAE,MAA2B,EACtC,cAAc,GAAE,MAAiC,GAChD,WAAW,CAAC,MAAM,CAWpB;AAMD,MAAM,WAAW,uBAAuB;IACtC,GAAG,CAAC,EAAE,WAAW,CAAC;IAClB,EAAE,CAAC,EAAE,EAAE,CAAC;IACR,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,EAAE;QACL,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC;QAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED;;;;;;GAMG;AACH,qBAAa,gBAAgB;IAC3B,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAChB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IAGpC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IAEtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,sBAAsB,EAAE,WAAW,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,YAAY,CAAa;IAEjC,OAAO,CAAC,kBAAkB,CAAsC;IAChE,OAAO,CAAC,eAAe,CAAoC;gBAE/C,OAAO,EAAE,uBAAuB;IAmE5C,OAAO,CAAC,iBAAiB;IAYzB,OAAO,CAAC,gBAAgB;YAQV,oBAAoB;IAclC,yBAAyB,CAAC,WAAW,EAAE,GAAG,GAAG,IAAI;IAQjD,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAKtC,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU;IAK/C,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ;IAK1C,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAUvC,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IASxC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IA+BjD,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAkBnC,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAMhC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAKjC,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAKjC,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAK9B,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAKhC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAW7B,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAS/B,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAMrC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IASpC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAKtC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAKpC,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAKlC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAK7C,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAShC,UAAU,IAAI,IAAI;IAMlB,cAAc,IAAI,MAAM;IAQlB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,GAAE,OAAe,GAAG,OAAO,CAAC,MAAM,CAAC;IAwEzE,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAI7C,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAmB1C,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQzC,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC;IAS9B,YAAY,CAAC,GAAG,GAAE,OAAe,GAAG,OAAO,CAAC,MAAM,CAAC;IAgEzD,kBAAkB,IAAI,OAAO,CAAC,MAAM,CAAC;IAI/B,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,GAAE,OAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAuEtE;;OAEG;IACG,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC;CAUtE"}

package/dist/host/driver/crash_recovery.d.ts

@@ -0,0 +1,24 @@
+import { IVfsAdapter } from '../storage/vfs.js';
+export interface RecoveryResult {
+    frameCount: number;
+    committedTxCount: number;
+    abortedTxCount: number;
+    replayedPageCount: number;
+}
+/**
+ * Executes startup crash recovery against the VFS Write-Ahead Log.
+ *
+ * Algorithm (Phase 4 Specification - Section 6):
+ * 1. Checks if WAL has frames. If empty, startup completes immediately.
+ * 2. Validates 32-byte WAL file header. Throws CorruptWalHeaderError on corruption.
+ * 3. Reads frames sequentially. Detects truncated tails and stops cleanly at first
+ *    corrupt or torn frame (CRC32 mismatch or magic mismatch).
+ * 4. Groups frames by tx_id and identifies which transactions reached durable FRAME_TX_COMMIT.
+ * 5. Discards uncommitted transaction groups.
+ * 6. Deduplicates committed frames (latest page version per page_id) and applies them
+ *    to the main database file via vfs.writePages(...).
+ * 7. Flushes the main storage durably via vfs.flush().
+ * 8. Truncates the WAL to 0 via vfs.truncateWal(0).
+ */
+export declare function recoverFromWal(vfs: IVfsAdapter): Promise<RecoveryResult>;
+//# sourceMappingURL=crash_recovery.d.ts.map

package/dist/host/driver/crash_recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"crash_recovery.d.ts","sourceRoot":"","sources":["../../../src/host/driver/crash_recovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAYhD,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAgI9E"}

package/dist/host/driver/index.d.ts

@@ -0,0 +1,4 @@
+export * from './buffer_pool_driver.js';
+export * from './transaction_coordinator.js';
+export * from './crash_recovery.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/host/driver/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/host/driver/index.ts"],"names":[],"mappings":"AAAA,cAAc,yBAAyB,CAAC;AACxC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,qBAAqB,CAAC"}

package/dist/host/driver/transaction_coordinator.d.ts

@@ -0,0 +1,166 @@
+import { IVfsAdapter } from '../storage/vfs.js';
+import { Io } from '../storage/io.js';
+import { BufferPoolDriver } from './buffer_pool_driver.js';
+export interface TransactionLease {
+    readonly leaseId: number;
+    readonly txId: number;
+    readonly createdAt: number;
+}
+/**
+ * Enforces the Exclusive Transaction Lease across asynchronous JavaScript microtask boundaries
+ * and across concurrent browser tabs via the Web Locks API (navigator.locks).
+ * While an exclusive lease is held by an active transaction, all external queries, mutations,
+ * and checkpoint requests are strictly enqueued in FIFO order.
+ */
+export declare class ExclusiveLeaseQueue {
+    private activeLease;
+    private inFlightNonTxCount;
+    private queue;
+    private leaseWaiters;
+    private nextLeaseId;
+    private nextTxId;
+    private crossTabLockName?;
+    private onSyncCrossTab?;
+    private releaseWebLock;
+    constructor(crossTabLockName?: string, onSyncCrossTab?: () => Promise<void>);
+    hasWebLocks(): boolean;
+    private acquireWebLock;
+    private releaseCurrentWebLock;
+    get isLeased(): boolean;
+    get currentLease(): TransactionLease | null;
+    /**
+     * Enqueues or dispatches a task through the FIFO coordinator.
+     * If task belongs to the active lease, it executes immediately without queuing.
+     */
+    enqueue<T>(task: () => Promise<T>, leaseId?: number): Promise<T>;
+    /**
+     * Acquires the Exclusive Transaction Lease.
+     * Blocks until all in-flight non-transactional operations finish and acquires the cross-tab Web Lock.
+     */
+    acquireExclusiveLease(): Promise<TransactionLease>;
+    /**
+     * Releases the Exclusive Transaction Lease, releases the cross-tab Web Lock, and drains pending operations.
+     */
+    releaseExclusiveLease(leaseId: number): void;
+    private drain;
+}
+/**
+ * TransactionCoordinator orchestrates:
+ * 1. Exclusive Transaction Lease & FIFO async dispatch.
+ * 2. Write-Ahead Log (WAL) frame generation & durability flush on COMMIT.
+ * 3. Cache spilling of uncommitted pages under memory pressure (FRAME_TX_UNCOMMITTED).
+ * 4. Zero-mutation rollback on abort (memory restoration & WAL truncation).
+ * 5. Deduplicated Monotonic Checkpointing to synchronize main storage.
+ */
+export declare class TransactionCoordinator {
+    private vfs;
+    private pool;
+    private io;
+    private queue;
+    private activeLease;
+    private snapshotFrameCount;
+    private snapshotWalFrameSeq;
+    private slotSnapshots;
+    private pinCountsSnapshot;
+    private spilledPages;
+    private committedWalPages;
+    private walFrameSeq;
+    private txCommitCount;
+    private checkpointSeq;
+    private instanceSalt;
+    private expectedWalFrameCount;
+    private lastDiskChangeCounter;
+    private lastDiskSchemaVersion;
+    private onCrossTabInvalidated?;
+    private idleTimer;
+    private isClosed;
+    constructor(vfs: IVfsAdapter, pool: BufferPoolDriver, io: Io, crossTabLockName?: string);
+    setOnCrossTabInvalidated(cb: () => Promise<void>): void;
+    recordDiskPage1State(): void;
+    private reloadFromDisk;
+    syncCrossTabState(force?: boolean): Promise<void>;
+    get leaseQueue(): ExclusiveLeaseQueue;
+    isInTransaction(): boolean;
+    getActiveLeaseId(): number | null;
+    getActiveTxId(): number | null;
+    hasSpilledPage(pageId: number): boolean;
+    getSpilledPage(pageId: number): Uint8Array | null;
+    onDirectPageWrite(pageId: number, data: Uint8Array): void;
+    /**
+     * Spills an uncommitted dirty slot to the WAL under cache eviction pressure.
+     * Frame type is set to FRAME_TX_UNCOMMITTED (0x0003).
+     */
+    spillUncommittedSlot(slotIdx: number, pageId: number): Promise<void>;
+    /**
+     * Captures a point-in-time snapshot of the buffer pool, spilled pages, and WAL frame count.
+     * Used both at transaction BEGIN and for nested savepoints.
+     */
+    captureSavepoint(): Promise<{
+        frameCount: number;
+        slotSnapshots: Map<number, {
+            pageId: number;
+            dirty: boolean;
+            data: Uint8Array;
+        }>;
+        pinCounts: Uint32Array;
+        spilledPages: Map<number, Uint8Array>;
+        walFrameSeq: number;
+    }>;
+    /**
+     * Restores buffer pool slots, pin counts, spilled pages, and truncates WAL back to a savepoint.
+     */
+    restoreSavepoint(savepoint: {
+        frameCount: number;
+        slotSnapshots: Map<number, {
+            pageId: number;
+            dirty: boolean;
+            data: Uint8Array;
+        }>;
+        pinCounts: Uint32Array;
+        spilledPages: Map<number, Uint8Array>;
+        walFrameSeq: number;
+    }): Promise<void>;
+    /**
+     * Begins an explicit transaction:
+     * 1. Acquires exclusive lease on the async queue (and cross-tab Web Lock).
+     * 2. Synchronizes cross-tab storage state if another tab modified .db / .wal.
+     * 3. Snapshots resident buffer pool slots and current WAL frame count.
+     * 4. Pauses idle checkpoint timer.
+     */
+    begin(): Promise<TransactionLease>;
+    /**
+     * Commits an active transaction:
+     * 1. Collects all dirty slots in memory and appends them as FRAME_PAGE_DATA frames to the WAL.
+     * 2. Appends a FRAME_TX_COMMIT marker frame.
+     * 3. Calls vfs.flushWal() to establish durable commit point.
+     * 4. Releases the exclusive lease.
+     */
+    commit(leaseId: number): Promise<void>;
+    /**
+     * Rolls back an active transaction:
+     * 1. Restores buffer pool slots to their snapshot state at BEGIN.
+     * 2. Clears spilled uncommitted page cache.
+     * 3. Truncates WAL back to the initial snapshot frame count.
+     * 4. Releases the exclusive lease.
+     */
+    rollback(leaseId: number): Promise<void>;
+    /**
+     * Deduplicated Monotonic Checkpoint (Section 4.3):
+     * 1. Scans committed WAL frames chronologically -> wal_index.
+     * 2. Inspects resident dirty slots in memory -> memory_override.
+     * 3. Merges union of unique page_ids and writes to main storage via vfs.writePages().
+     * 4. Calls vfs.flush() to durably sync main disk.
+     * 5. Strictly AFTER vfs.flush() succeeds, truncates WAL to 0.
+     */
+    checkpoint(): Promise<{
+        pagesWritten: number;
+    }>;
+    executeCheckpoint(): Promise<{
+        pagesWritten: number;
+    }>;
+    resetWalAfterImport(): Promise<void>;
+    private scheduleIdleTimer;
+    private pauseIdleTimer;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=transaction_coordinator.d.ts.map

package/dist/host/driver/transaction_coordinator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction_coordinator.d.ts","sourceRoot":"","sources":["../../../src/host/driver/transaction_coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAmB3D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAiC;IACpD,OAAO,CAAC,kBAAkB,CAAK;IAC/B,OAAO,CAAC,KAAK,CAAkC;IAC/C,OAAO,CAAC,YAAY,CAA6D;IACjF,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,QAAQ,CAAK;IAErB,OAAO,CAAC,gBAAgB,CAAC,CAAS;IAClC,OAAO,CAAC,cAAc,CAAC,CAAsB;IAC7C,OAAO,CAAC,cAAc,CAA6B;gBAEvC,gBAAgB,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC;IAK3E,WAAW,IAAI,OAAO;YAQR,cAAc;IAgB5B,OAAO,CAAC,qBAAqB;IAQ7B,IAAI,QAAQ,IAAI,OAAO,CAEtB;IAED,IAAI,YAAY,IAAI,gBAAgB,GAAG,IAAI,CAE1C;IAED;;;OAGG;IACG,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;IA0DtE;;;OAGG;IACG,qBAAqB,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAuBxD;;OAEG;IACH,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAS5C,OAAO,CAAC,KAAK;CAkCd;AAED;;;;;;;GAOG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,GAAG,CAAc;IACzB,OAAO,CAAC,IAAI,CAAmB;IAC/B,OAAO,CAAC,EAAE,CAAK;IACf,OAAO,CAAC,KAAK,CAAsB;IAEnC,OAAO,CAAC,WAAW,CAAiC;IACpD,OAAO,CAAC,kBAAkB,CAAK;IAC/B,OAAO,CAAC,mBAAmB,CAAK;IAChC,OAAO,CAAC,aAAa,CAA2E;IAChG,OAAO,CAAC,iBAAiB,CAA4B;IACrD,OAAO,CAAC,YAAY,CAAiC;IACrD,OAAO,CAAC,iBAAiB,CAAiC;IAC1D,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,aAAa,CAAK;IAG1B,OAAO,CAAC,YAAY,CAAuD;IAC3E,OAAO,CAAC,qBAAqB,CAAK;IAClC,OAAO,CAAC,qBAAqB,CAAK;IAClC,OAAO,CAAC,qBAAqB,CAAK;IAClC,OAAO,CAAC,qBAAqB,CAAC,CAAsB;IAGpD,OAAO,CAAC,SAAS,CAAa;IAC9B,OAAO,CAAC,QAAQ,CAAS;gBAGvB,GAAG,EAAE,WAAW,EAChB,IAAI,EAAE,gBAAgB,EACtB,EAAE,EAAE,EAAE,EACN,gBAAgB,CAAC,EAAE,MAAM;IAW3B,wBAAwB,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI;IAIvD,oBAAoB,IAAI,IAAI;YAMd,cAAc;IAsBtB,iBAAiB,CAAC,KAAK,GAAE,OAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAgD9D,IAAI,UAAU,IAAI,mBAAmB,CAEpC;IAED,eAAe,IAAI,OAAO;IAI1B,gBAAgB,IAAI,MAAM,GAAG,IAAI;IAIjC,aAAa,IAAI,MAAM,GAAG,IAAI;IAI9B,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAIvC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI;IAKjD,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IAWzD;;;OAGG;IACG,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAkC1E;;;OAGG;IACG,gBAAgB,IAAI,OAAO,CAAC;QAChC,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,CAAC;YAAC,IAAI,EAAE,UAAU,CAAA;SAAE,CAAC,CAAC;QACjF,SAAS,EAAE,WAAW,CAAC;QACvB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;IAyBF;;OAEG;IACG,gBAAgB,CAAC,SAAS,EAAE;QAChC,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,CAAC;YAAC,IAAI,EAAE,UAAU,CAAA;SAAE,CAAC,CAAC;QACjF,SAAS,EAAE,WAAW,CAAC;QACvB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC;KACrB,GAAG,OAAO,CAAC,IAAI,CAAC;IAkCjB;;;;;;OAMG;IACG,KAAK,IAAI,OAAO,CAAC,gBAAgB,CAAC;IA4CxC;;;;;;OAMG;IACG,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAiF5C;;;;;;OAMG;IACG,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAsB9C;;;;;;;OAOG;IACG,UAAU,IAAI,OAAO,CAAC;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAM/C,iBAAiB,IAAI,OAAO,CAAC;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IA+GtD,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC;IAiB1C,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,cAAc;IAOhB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAM7B"}

package/dist/host/storage/crc32.d.ts

@@ -0,0 +1,24 @@
+/**
+ * CRC32 IEEE 802.3 standard implementation (polynomial 0xEDB88320).
+ * Used for page-level integrity checks, WAL frame verification, and torn-write detection.
+ */
+/**
+ * Computes CRC32 checksum across a Uint8Array slice.
+ */
+export declare function crc32(data: Uint8Array, start?: number, length?: number): number;
+/**
+ * Computes the CRC32 checksum of a 4KB page.
+ * In WebDB slotted pages, bytes 12..15 store the checksum itself, so they are treated as 0 during computation.
+ */
+export declare function computePageChecksum(pageBytes: Uint8Array): number;
+/**
+ * Computes the CRC32 checksum of Page 1.
+ * Bytes 28..31 store Page 1's checksum, so they are treated as 0 during computation.
+ */
+export declare function computePage1Checksum(pageBytes: Uint8Array): number;
+/**
+ * Computes CRC32 checksum of a WAL Frame.
+ * Checksum is calculated across header bytes 0..23 concatenated with 4096 page payload bytes (bytes 32..4127).
+ */
+export declare function computeWalFrameChecksum(frameBytes: Uint8Array): number;
+//# sourceMappingURL=crc32.d.ts.map

package/dist/host/storage/crc32.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"crc32.d.ts","sourceRoot":"","sources":["../../../src/host/storage/crc32.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAaH;;GAEG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,GAAE,MAAU,EAAE,MAAM,GAAE,MAAgC,GAAG,MAAM,CAO3G;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAQjE;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,UAAU,GAAG,MAAM,CAQlE;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAUtE"}

package/dist/host/storage/idb.d.ts

@@ -0,0 +1,27 @@
+import { IVfsAdapter } from './vfs.js';
+export declare class IndexedDbVfsAdapter implements IVfsAdapter {
+    readonly name: "idb";
+    readonly isSynchronous = false;
+    private dbName;
+    private dbPromise;
+    constructor(dbName: string);
+    private getDb;
+    readPage(pageId: number): Promise<Uint8Array | null>;
+    writePage(pageId: number, data: Uint8Array): Promise<void>;
+    writePages(pages: Array<{
+        pageId: number;
+        data: Uint8Array;
+    }>): Promise<void>;
+    flush(): Promise<void>;
+    truncate(pageCount: number): Promise<void>;
+    readWalHeader(): Promise<Uint8Array | null>;
+    writeWalHeader(header: Uint8Array): Promise<void>;
+    readWalFrame(frameIndex: number): Promise<Uint8Array | null>;
+    readWalFrames(startFrameIndex: number, maxFrames?: number): Promise<Uint8Array[]>;
+    appendWalFrames(frames: Uint8Array[]): Promise<void>;
+    flushWal(): Promise<void>;
+    truncateWal(frameIndex: number): Promise<void>;
+    getWalFrameCount(): Promise<number>;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=idb.d.ts.map

package/dist/host/storage/idb.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"idb.d.ts","sourceRoot":"","sources":["../../../src/host/storage/idb.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEvC,qBAAa,mBAAoB,YAAW,WAAW;IACrD,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAC/B,QAAQ,CAAC,aAAa,SAAS;IAE/B,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,SAAS,CAAqC;gBAE1C,MAAM,EAAE,MAAM;IAI1B,OAAO,CAAC,KAAK;IA8BP,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAmBpD,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAgB1D,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAmB7E,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAItB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAe1C,aAAa,IAAI,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAmB3C,cAAc,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAejD,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAmB5D,aAAa,CAAC,eAAe,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IAyBjF,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAuBpD,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;IAIzB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAqB9C,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC;IAYnC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAO7B"}

package/dist/host/storage/index.d.ts

@@ -0,0 +1,8 @@
+export * from './vfs.js';
+export * from './memory.js';
+export * from './idb.js';
+export * from './opfs.js';
+export * from './crc32.js';
+export * from './io.js';
+export * from './wal_codec.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/host/storage/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/host/storage/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,gBAAgB,CAAC"}

package/dist/host/storage/io.d.ts

@@ -0,0 +1,60 @@
+import { IVfsAdapter } from './vfs.ts';
+export interface IoOptions {
+    vfs: IVfsAdapter;
+    memory: WebAssembly.Memory | ArrayBuffer;
+}
+/**
+ * Pure Block I/O layer for WebDB.
+ *
+ * Responsibilities:
+ * - Reads/writes raw 4KB page blocks between IVfsAdapter and shared linear memory.
+ * - Computes and verifies CRC32 checksums.
+ * - Coalesces in-flight reads and flushes.
+ * - Resolves PAGE_FAULT requests issued by the C Engine state machine.
+ *
+ * DOES NOT:
+ * - Perform eviction candidate selection or Clock sweeps (handled in C Core).
+ * - Maintain page-to-slot tables, pin counts, or reference bits (handled in C Core).
+ * - Hold any reference to C-layer classes.
+ */
+export declare class Io {
+    readonly vfs: IVfsAdapter;
+    readonly buffer: ArrayBuffer;
+    readonly uint8: Uint8Array;
+    readonly view: DataView;
+    private in_flight_flushes;
+    private in_flight_reads;
+    private coordinator;
+    setTransactionCoordinator(coordinator: any): void;
+    isInTransaction(): boolean;
+    /**
+     * Computes and writes the page-level CRC32 checksum into the slot header in linear memory.
+     */
+    stampSlotChecksum(slotIdx: number, pageId: number): void;
+    constructor(options: IoOptions);
+    /**
+     * Reads a page from VFS directly into slotIdx in linear memory.
+     * Validates CRC32 checksum. If page does not exist in storage, zeroes the slot.
+     */
+    readSlot(slotIdx: number, pageId: number): Promise<void>;
+    /**
+     * Writes a page from slotIdx in linear memory to VFS.
+     * Computes CRC32 checksum and writes into slot header before saving snapshot.
+     */
+    writeSlot(slotIdx: number, pageId: number): Promise<void>;
+    /**
+     * Spills a slot to the WAL if an active transaction is open, otherwise writes it to VFS.
+     */
+    spillOrWriteSlot(slotIdx: number, pageId: number): Promise<void>;
+    /**
+     * Resolves a PAGE_FAULT yielded by the C Engine state machine.
+     * If flushPageId > 0, writes the victim dirty block to VFS.
+     * Reads faultPageId from VFS directly into targetSlot memory.
+     */
+    resolvePageFault(targetSlot: number, faultPageId: number, flushPageId: number): Promise<void>;
+    /**
+     * Durably flushes pending VFS adapter writes.
+     */
+    flush(): Promise<void>;
+}
+//# sourceMappingURL=io.d.ts.map

package/dist/host/storage/io.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../../../src/host/storage/io.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAKvC,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,WAAW,CAAC;IACjB,MAAM,EAAE,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC;CAC1C;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,EAAE;IACb,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAExB,OAAO,CAAC,iBAAiB,CAAoC;IAC7D,OAAO,CAAC,eAAe,CAAoC;IAC3D,OAAO,CAAC,WAAW,CAMH;IAEhB,yBAAyB,CAAC,WAAW,EAAE,GAAG,GAAG,IAAI;IAIjD,eAAe,IAAI,OAAO;IAI1B;;OAEG;IACH,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;gBAgB5C,OAAO,EAAE,SAAS;IAsB9B;;;OAGG;IACG,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA8E9D;;;OAGG;IACG,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAkC/D;;OAEG;IACG,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQtE;;;;OAIG;IACG,gBAAgB,CACpB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,IAAI,CAAC;IAkBhB;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B"}

package/dist/host/storage/memory.d.ts

@@ -0,0 +1,28 @@
+import { IVfsAdapter } from './vfs.js';
+export declare class MemoryVfsAdapter implements IVfsAdapter {
+    readonly name: "memory";
+    readonly isSynchronous = true;
+    private pages;
+    private walHeader;
+    private walFrames;
+    readPage(pageId: number): Promise<Uint8Array | null>;
+    writePage(pageId: number, data: Uint8Array): Promise<void>;
+    writePages(pages: Array<{
+        pageId: number;
+        data: Uint8Array;
+    }>): Promise<void>;
+    flush(): Promise<void>;
+    truncate(pageCount: number): Promise<void>;
+    snapshot(): Map<number, Uint8Array>;
+    restoreSnapshot(snap: Map<number, Uint8Array>): void;
+    readWalHeader(): Promise<Uint8Array | null>;
+    writeWalHeader(header: Uint8Array): Promise<void>;
+    readWalFrame(frameIndex: number): Promise<Uint8Array | null>;
+    readWalFrames(startFrameIndex: number, maxFrames?: number): Promise<Uint8Array[]>;
+    appendWalFrames(frames: Uint8Array[]): Promise<void>;
+    flushWal(): Promise<void>;
+    truncateWal(frameIndex: number): Promise<void>;
+    getWalFrameCount(): Promise<number>;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=memory.d.ts.map

package/dist/host/storage/memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../../src/host/storage/memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEvC,qBAAa,gBAAiB,YAAW,WAAW;IAClD,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAClC,QAAQ,CAAC,aAAa,QAAQ;IAE9B,OAAO,CAAC,KAAK,CAAiC;IAC9C,OAAO,CAAC,SAAS,CAA2B;IAC5C,OAAO,CAAC,SAAS,CAAoB;IAE/B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAMpD,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAM1D,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAM7E,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAItB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQhD,QAAQ,IAAI,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;IAQnC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,IAAI;IAS9C,aAAa,IAAI,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAK3C,cAAc,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAMjD,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAM5D,aAAa,CAAC,eAAe,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;IAMjF,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQpD,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;IAIzB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAS9C,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC;IAInC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B"}