@feltdb/core 0.7.0 → 0.7.2

package/README.md

@@ -77,7 +77,7 @@ across tabs through `BroadcastChannel` when available.
 
 ## Atomic conditional transactions
 
-Core 0.7.0 can fence a multi-record transaction on the exact version read by
+Core 0.7.1 can fence a multi-record transaction on the exact version read by
 the caller. The transaction either commits every operation or writes nothing:
 
 ```typescript
@@ -107,6 +107,32 @@ Reusing a successful `transactionId` safely replays its result without
 advancing record versions twice. This API requires a FeltDB authority that
 supports transaction-level `ifVersion` preconditions.
 
+A write with `requireAbsent: true` is an atomic create. The authority assigns
+it `__version: 1`—overriding any caller-supplied version—so it can immediately
+be updated with `ifVersion: 1`.
+
+## Bounded authority queries
+
+Remote databases can filter, order, and limit records inside the authority:
+
+```typescript
+const page = await db.query({
+  collection: 'outbox',
+  where: [
+    { field: 'status', eq: 'pending' },
+    { field: 'nextAttemptAt', lte: Date.now() },
+  ],
+  orderBy: [{ field: 'nextAttemptAt', direction: 'asc' }],
+  limit: 100,
+  cursor,
+});
+```
+
+The server adds `recordId` as a deterministic final tie-breaker and returns an
+opaque `nextCursor`. Page snapshots are stable across concurrent inserts and
+deletes. This method is intentionally unavailable on embedded runtimes;
+`Collection.where()` and `Collection.find()` retain their existing behavior.
+
 ## Durable Operation Management
 
 FeltDB provides atomic operation admission and lifecycle management for systems that need to survive process crashes with guaranteed identity stability.

package/dist/cli/commands.js

@@ -232,35 +232,69 @@ async function handleFlowDeploy(args) {
     }
 }
 async function handleServer(args) {
-    console.log('🚀 Starting FeltDB Server\n');
-    const port = args.includes('--port') ? args[args.indexOf('--port') + 1] || '7700' : '7700';
-    const dataDir = args.includes('--data') ? args[args.indexOf('--data') + 1] || './data' : './data';
-    const authEnabled = args.includes('--auth');
-    console.log('FeltDB Self-Hosted Server');
-    console.log(`  Listen:     0.0.0.0:${port}`);
-    console.log(`  Storage:    ${dataDir}`);
-    console.log(`  Auth:       ${authEnabled ? 'Enabled' : 'Development (no auth required)'}`);
-    console.log(`  Namespace:  default\n`);
-    // Ensure data directory exists
-    if (!fs.existsSync(dataDir)) {
-        fs.mkdirSync(dataDir, { recursive: true });
-    }
-    // Store server info
-    const serverConfig = {
-        port: parseInt(port),
-        dataDir,
-        authEnabled,
-        startTime: new Date().toISOString(),
+    const require = createRequire(import.meta.url);
+    const packageRoot = path.dirname(require.resolve('@feltdb/core/package.json'));
+    const executable = process.platform === 'win32' ? 'feltdb-server.exe' : 'feltdb-server';
+    const candidates = [
+        process.env.FELTDB_SERVER_BIN,
+        path.join(packageRoot, 'dist', 'server-bin', `${process.platform}-${process.arch}`, executable),
+        path.resolve(packageRoot, '..', '..', 'target', 'release', executable),
+        path.resolve(packageRoot, '..', '..', 'target', 'debug', executable),
+    ].filter((value) => Boolean(value));
+    const binary = candidates.find(value => fs.existsSync(value));
+    const manifests = [
+        path.join(packageRoot, 'dist', 'server-source', 'Cargo.toml'),
+        path.join(packageRoot, 'dist', 'create', 'server-source', 'Cargo.toml'),
+    ];
+    const manifest = manifests.find(value => fs.existsSync(value));
+    if (process.env.FELTDB_SERVER_BIN && !binary) {
+        throw new Error(`FELTDB_SERVER_BIN does not exist: ${process.env.FELTDB_SERVER_BIN}`);
+    }
+    if (!binary && !manifest) {
+        throw new Error('No FeltDB authority is available. Reinstall @feltdb/core or set FELTDB_SERVER_BIN to a feltdb-server executable.');
+    }
+    const forwarded = [...args];
+    if (!forwarded.includes('--host'))
+        forwarded.unshift('--host', '0.0.0.0');
+    if (!forwarded.includes('--data'))
+        forwarded.push('--data', path.resolve('data', 'feltdb.log'));
+    const dataIndex = forwarded.indexOf('--data');
+    if (dataIndex >= 0 && forwarded[dataIndex + 1]) {
+        const data = path.resolve(forwarded[dataIndex + 1]);
+        const directoryStyle = data.endsWith(path.sep)
+            || (fs.existsSync(data) && fs.statSync(data).isDirectory())
+            || path.extname(data) === '';
+        if (directoryStyle) {
+            fs.mkdirSync(data, { recursive: true });
+            forwarded[dataIndex + 1] = path.join(data, 'feltdb.log');
+        }
+        else {
+            fs.mkdirSync(path.dirname(data), { recursive: true });
+            forwarded[dataIndex + 1] = data;
+        }
+    }
+    const command = binary || 'cargo';
+    const commandArgs = binary
+        ? forwarded
+        : ['run', '--quiet', '--locked', '--manifest-path', manifest, '--package', 'feltdb-server', '--', ...forwarded];
+    console.log(`Starting FeltDB authority (${binary ? binary : 'packaged Rust source'})`);
+    const child = spawn(command, commandArgs, { stdio: 'inherit', env: process.env });
+    const forwardSignal = (signal) => {
+        if (child.exitCode === null)
+            child.kill(signal);
     };
-    const configFile = path.join(dataDir, 'server.json');
-    fs.writeFileSync(configFile, JSON.stringify(serverConfig, null, 2));
-    console.log('🌐 Server listening...');
-    console.log(`   http://0.0.0.0:${port}\n`);
-    console.log('✅ Ready for connections\n');
-    console.log('To connect from another machine:');
-    console.log(`  feltdb connect http://localhost:${port}\n`);
-    // Keep the server running
-    await new Promise(() => { });
+    const onSigint = () => forwardSignal('SIGINT');
+    const onSigterm = () => forwardSignal('SIGTERM');
+    process.once('SIGINT', onSigint);
+    process.once('SIGTERM', onSigterm);
+    const exitCode = await new Promise((resolve, reject) => {
+        child.once('error', reject);
+        child.once('exit', (code, signal) => resolve(code ?? (signal ? 1 : 0)));
+    });
+    process.off('SIGINT', onSigint);
+    process.off('SIGTERM', onSigterm);
+    if (exitCode !== 0)
+        throw new Error(`FeltDB authority exited with code ${exitCode}`);
 }
 async function handleKeys(args) {
     const subcommand = args[0];
@@ -1299,6 +1333,8 @@ Studio:
 
 Server Options:
   feltdb server [--port 7700] [--data ./data] [--auth]
+  Starts the real Rust HTTP authority. Set FELTDB_MASTER_KEY; Cargo builds the
+  version-matched bundled source when no FELTDB_SERVER_BIN override is set.
 
 API Key Commands:
   feltdb keys create [--name dev] [--scope '*']

package/dist/cli/index.js

@@ -23,7 +23,7 @@ import * as path from 'path';
 import * as readline from 'readline';
 import { getClient } from './api-client.js';
 import { loadFeltDBConfig, createDefaultConfig, validateModel, } from './config.js';
-const VERSION = '0.6.14';
+const VERSION = '0.7.2';
 function prompt(question) {
     const rl = readline.createInterface({
         input: process.stdin,

package/dist/collection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAIL,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACd,MAAM,gBAAgB,CAAC;AAIxB,OAAO,KAAK,EAAE,WAAW,EAAc,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAErF,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;AAChD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,gGAAgG;IAChG,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC;IACnC,4EAA4E;IAC5E,eAAe,EAAE,OAAO,CAAC;IACzB,oEAAoE;IACpE,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,qBAAqB,CAAC,CAAC;IACtC,mCAAmC;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,iEAAiE;IACjE,IAAI,CAAC,EAAE,CAAC,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IACjC,+DAA+D;IAC/D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,qBAAa,UAAU,CAAC,CAAC;IACvB,OAAO,CAAC,EAAE,CAAO;IACjB,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,YAAY,CAAS;IAC7B,OAAO,CAAC,SAAS,CAA6B;IAC9C,OAAO,CAAC,KAAK,CAAW;IACxB,OAAO,CAAC,WAAW,CAAiC;IACpD,OAAO,CAAC,MAAM,CAA8B;IAC5C,OAAO,CAAC,QAAQ,CAAuB;IACvC,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,oBAAoB,CAA8B;IAC1D,OAAO,CAAC,gBAAgB,CAA6B;IACrD,OAAO,CAAC,kBAAkB,CAA6B;IACvD,OAAO,CAAC,YAAY,CAAoC;IACxD,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,aAAa,CAAS;IAC9B,mFAAmF;IACnF,OAAO,CAAC,eAAe,CAAK;IAC5B,gFAAgF;IAChF,OAAO,CAAC,iBAAiB,CAAM;IAC/B,OAAO,CAAC,QAAQ,CAAoC;IACpD,oEAAoE;IACpE,OAAO,CAAC,WAAW,CAA+B;IAClD,kFAAkF;IAClF,OAAO,CAAC,eAAe,CAAuB;IAC9C;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc,CAAyB;IAC/C,yEAAyE;IACzE,OAAO,CAAC,aAAa,CAA+B;gBAExC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,UAAO;IAoBxG;;OAEG;YACW,oBAAoB;IAalC;;;OAGG;IACG,GAAG,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC;IAKzB;;;;;;;;;;;;;OAaG;IACG,IAAI,CAAC,KAAK,GAAE,OAAO,CAAC,CAAC,CAAM,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC;IAsChD;;;;;OAKG;IACH,aAAa,IAAI,mBAAmB,GAAG,IAAI;IAI3C,wEAAwE;IACxE,OAAO,CAAC,QAAQ;IAWhB;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAiBvB;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IA0BhC;;;;;OAKG;IACH,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI;IAWtC;;OAEG;IACH,WAAW,IAAI,WAAW,EAAE;IAI5B;;;OAGG;IACG,cAAc,IAAI,OAAO,CAAC,IAAI,CAAC;IAYrC;;OAEG;IACG,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;IAazC;;OAEG;IACG,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAYjD;;;OAGG;IACH,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC;IAO7C;;;OAGG;IACG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IA4BrE;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IA8BrE;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACG,eAAe,CACnB,EAAE,EAAE,MAAM,GAAG,MAAM,EACnB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACnB,aAAa,CAAC,EAAE,MAAM,EACtB,eAAe,CAAC,EAAE,MAAM,EACxB,gBAAgB,CAAC,EAAE,OAAO,EAC1B,YAAY,CAAC,EAAE,CAAC,GACf,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAmEpC;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA2BhD;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC;IAK9B;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAKnD;;;;;;OAMG;IACG,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;QAAE,QAAQ,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAmClG;;;OAGG;IACH,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,IAAI;IA6CxE,mEAAmE;IACnE,KAAK,IAAI,IAAI;IASb;;;;;;;;;;;OAWG;IACH,SAAS,IAAI,OAAO,CAAC,mBAAmB,CAAC;IAIzC;;;;;;OAMG;IACH,kBAAkB,IAAI,cAAc,GAAG,IAAI;IAI3C;;;;;;;;;OASG;YACW,eAAe;IAQ7B;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CA2E/B;AAED;;GAEG;AACH,qBAAa,YAAY,CAAC,MAAM,EAAE,KAAK;IACrC,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,OAAO,CAAO;IACtB,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,UAAU,CAAoC;gBAGpD,QAAQ,EAAE,IAAI,EACd,OAAO,EAAE,IAAI,EACb,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,GAAG,MAAM;IAQ/C;;OAEG;IACG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;CAoBxD"}
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAIL,KAAK,mBAAmB,EACxB,KAAK,QAAQ,EACd,MAAM,gBAAgB,CAAC;AAIxB,OAAO,KAAK,EAAE,WAAW,EAAc,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAErF,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC;AAChD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,gGAAgG;IAChG,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC;IACnC,4EAA4E;IAC5E,eAAe,EAAE,OAAO,CAAC;IACzB,oEAAoE;IACpE,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,mCAAmC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,qBAAqB,CAAC,CAAC;IACtC,mCAAmC;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,iEAAiE;IACjE,IAAI,CAAC,EAAE,CAAC,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IACjC,+DAA+D;IAC/D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,qBAAa,UAAU,CAAC,CAAC;IACvB,OAAO,CAAC,EAAE,CAAO;IACjB,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,YAAY,CAAS;IAC7B,OAAO,CAAC,SAAS,CAA6B;IAC9C,OAAO,CAAC,KAAK,CAAW;IACxB,OAAO,CAAC,WAAW,CAAiC;IACpD,OAAO,CAAC,MAAM,CAA8B;IAC5C,OAAO,CAAC,QAAQ,CAAuB;IACvC,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,oBAAoB,CAA8B;IAC1D,OAAO,CAAC,gBAAgB,CAA6B;IACrD,OAAO,CAAC,kBAAkB,CAA6B;IACvD,OAAO,CAAC,YAAY,CAAoC;IACxD,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,aAAa,CAAS;IAC9B,mFAAmF;IACnF,OAAO,CAAC,eAAe,CAAK;IAC5B,gFAAgF;IAChF,OAAO,CAAC,iBAAiB,CAAM;IAC/B,OAAO,CAAC,QAAQ,CAAoC;IACpD,oEAAoE;IACpE,OAAO,CAAC,WAAW,CAA+B;IAClD,kFAAkF;IAClF,OAAO,CAAC,eAAe,CAAuB;IAC9C;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc,CAAyB;IAC/C,yEAAyE;IACzE,OAAO,CAAC,aAAa,CAA+B;gBAExC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,UAAO;IAoBxG;;OAEG;YACW,oBAAoB;IAalC;;;OAGG;IACG,GAAG,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC;IAKzB;;;;;;;;;;;;;OAaG;IACG,IAAI,CAAC,KAAK,GAAE,OAAO,CAAC,CAAC,CAAM,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC;IAsChD;;;;;OAKG;IACH,aAAa,IAAI,mBAAmB,GAAG,IAAI;IAI3C,wEAAwE;IACxE,OAAO,CAAC,QAAQ;IAWhB;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAiBvB;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IA0BhC;;;;;OAKG;IACH,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI;IAWtC;;OAEG;IACH,WAAW,IAAI,WAAW,EAAE;IAI5B;;;OAGG;IACG,cAAc,IAAI,OAAO,CAAC,IAAI,CAAC;IAYrC;;OAEG;IACG,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC;IAazC;;OAEG;IACG,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAYjD;;;OAGG;IACH,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC;IAO7C;;;OAGG;IACG,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IA4BrE;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IA+BrE;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACG,eAAe,CACnB,EAAE,EAAE,MAAM,GAAG,MAAM,EACnB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACnB,aAAa,CAAC,EAAE,MAAM,EACtB,eAAe,CAAC,EAAE,MAAM,EACxB,gBAAgB,CAAC,EAAE,OAAO,EAC1B,YAAY,CAAC,EAAE,CAAC,GACf,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAmEpC;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IA2BhD;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC;IAK9B;;OAEG;IACG,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAKnD;;;;;;OAMG;IACG,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;QAAE,QAAQ,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IAmClG;;;OAGG;IACH,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,IAAI;IA6CxE,mEAAmE;IACnE,KAAK,IAAI,IAAI;IASb;;;;;;;;;;;OAWG;IACH,SAAS,IAAI,OAAO,CAAC,mBAAmB,CAAC;IAIzC;;;;;;OAMG;IACH,kBAAkB,IAAI,cAAc,GAAG,IAAI;IAI3C;;;;;;;;;OASG;YACW,eAAe;IAQ7B;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CA2E/B;AAED;;GAEG;AACH,qBAAa,YAAY,CAAC,MAAM,EAAE,KAAK;IACrC,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,OAAO,CAAO;IACtB,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,UAAU,CAAoC;gBAGpD,QAAQ,EAAE,IAAI,EACd,OAAO,EAAE,IAAI,EACb,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,GAAG,MAAM;IAQ/C;;OAEG;IACG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;CAoBxD"}

package/dist/collection.js

@@ -333,7 +333,8 @@ export class Collection {
         if (!current) {
             throw new Error(`Record ${id} not found`);
         }
-        const updated = { ...current, ...changes };
+        const nextVersion = (current.__version || 1) + 1;
+        const updated = { ...current, ...changes, __version: nextVersion };
         const key = `${this.name}:${id}`;
         const result = await (this.db.update
             ? this.db.update(key, JSON.stringify(updated))

package/dist/create/package-versions.js

@@ -1,4 +1,4 @@
 // One release train keeps generated applications installable. The repository
 // validation script checks these values against every workspace manifest.
-export const FELTDB_PACKAGE_VERSION = '0.6.14';
+export const FELTDB_PACKAGE_VERSION = '0.7.2';
 export const feltdbPackageRange = `^${FELTDB_PACKAGE_VERSION}`;

package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs

@@ -1051,6 +1051,90 @@ async fn main() -> Result<(), Box<dyn std::error::Error>> {
                 io::stdout().flush().ok();
             }
 
+            "list-operations" => {
+                let guard = core.lock().await;
+                let (executor, _) = &*guard;
+                
+                // Get all operations from the log
+                let mut all_ops = Vec::new();
+                let mut applied_ops = Vec::new();
+                let pending_ops = executor.pending_causal_keys();
+                let deferred_ops = executor.deferred_causal_keys();
+                
+                if let Some(ref log) = executor.operation_log {
+                    if let Ok(envelopes) = log.load_all() {
+                        for env in &envelopes {
+                            let key = format!("{}:{}", env.envelope_id.originating_node, env.envelope_id.sequence);
+                            all_ops.push(key.clone());
+                        }
+                    }
+                }
+                
+                // Get applied operations from the barrier
+                for key in executor.causal_barrier.applied_keys() {
+                    applied_ops.push(key.to_string());
+                }
+                
+                println!(
+                    "OPERATIONS {}",
+                    json!({
+                        "all": all_ops,
+                        "applied": applied_ops,
+                        "pending": pending_ops,
+                        "deferred": deferred_ops,
+                        "operations_applied": executor.get_replica_state(&node_id).map(|r| r.operations_applied).unwrap_or(0),
+                    })
+                );
+                io::stdout().flush().ok();
+            }
+
+            "operation-inventory" => {
+                let guard = core.lock().await;
+                let (executor, _) = &*guard;
+                
+                // Get all operations from the log
+                let mut operations = json!({
+                    "applied": [],
+                    "pending": [],
+                    "deferred": [],
+                });
+                
+                if let Some(ref log) = executor.operation_log {
+                    if let Ok(envelopes) = log.load_all() {
+                        let applied_keys = executor.causal_barrier.applied_keys();
+                        let pending_keys = executor.pending_causal_keys();
+                        let deferred_keys = executor.deferred_causal_keys();
+                        
+                        for env in &envelopes {
+                            let key = format!("{}:{}", env.envelope_id.originating_node, env.envelope_id.sequence);
+                            
+                            if applied_keys.contains(&key) {
+                                operations["applied"].as_array_mut().unwrap().push(json!({
+                                    "id": key,
+                                    "origin": env.envelope_id.originating_node,
+                                    "sequence": env.envelope_id.sequence,
+                                }));
+                            } else if pending_keys.contains(&key) {
+                                operations["pending"].as_array_mut().unwrap().push(json!({
+                                    "id": key,
+                                    "origin": env.envelope_id.originating_node,
+                                    "sequence": env.envelope_id.sequence,
+                                }));
+                            } else if deferred_keys.contains(&key) {
+                                operations["deferred"].as_array_mut().unwrap().push(json!({
+                                    "id": key,
+                                    "origin": env.envelope_id.originating_node,
+                                    "sequence": env.envelope_id.sequence,
+                                }));
+                            }
+                        }
+                    }
+                }
+                
+                println!("INVENTORY {}", operations);
+                io::stdout().flush().ok();
+            }
+
             "peers" => {
                 let mut state = json!({});
                 for link in &send_links {

package/dist/create/server-source/crates/feltdb/src/lib.rs

@@ -27,6 +27,8 @@ pub mod sharding;
 pub mod transaction_preconditions;
 pub mod transactions;
 pub mod state_hash;
+pub mod state_model;
+pub mod state_facade;
 pub mod crash_injection;
 pub mod concurrency_fuzzing;
 pub mod replay_fuzzing;
@@ -167,6 +169,12 @@ pub use transactions::{
     TransitionResult,
 };
 pub use state_hash::{CanonicalState, StateHash};
+pub use state_model::{
+    StateId, StateRevision, StateTopology, Relationship, SemanticDiff, SemanticChange, 
+    ChangeKind, PathComponent, ConflictClassification, ConflictClass, PathConflict,
+    ReconciliationPlan, StateReconciliationResult, StateStore, STATE_MODEL_VERSION,
+};
+pub use state_facade::FeltDBStateSystem;
 pub use permutation_scheduler::{OperationSchedule, PermutationScheduler, ScheduleStrategy};
 pub use multi_node_convergence::{
     ConvergenceAggregation, ConvergenceResult, MultiNodeConvergenceSimulator, NodeExecutionResult,
@@ -1175,18 +1183,27 @@ impl FeltDb {
                 }
             }
 
-            // Every precondition held. A write fenced by `expected_version` is a
-            // conditional replacement and behaves as `updateIfVersion` does:
-            // the authority validated version N above and writes N + 1 here,
-            // inside the same lock, so the check and the advance cannot be
-            // separated by another writer.
+            // Every precondition held. The authority owns both ends of the
+            // public document-version lifecycle inside this lock:
+            //
+            // - a create protected by `requireAbsent` writes version 1;
+            // - a write fenced by `expected_version = N` writes N + 1.
             //
-            // Only a version-fenced write advances. An unconditional write
-            // stores the caller's object verbatim, which is what preserves
-            // every existing transaction caller, and a guard-only precondition
-            // writes nothing at all. See
+            // An unconditional write remains verbatim, and a guard-only
+            // precondition writes nothing. See
             // docs/architecture/transaction-version-contract.md.
-            let mut advanced: Vec<AtomicMutation> = Vec::new();
+            let advanced: Vec<AtomicMutation>;
+            let creates: HashSet<(&str, &str)> = preconditions
+                .iter()
+                .filter(|condition| condition.expected_version.is_none())
+                .map(|condition| (condition.capability.as_str(), condition.key.as_str()))
+                .chain(
+                    record_preconditions
+                        .iter()
+                        .filter(|condition| condition.require_absent)
+                        .map(|condition| (condition.capability.as_str(), condition.key.as_str())),
+                )
+                .collect();
             let fenced: HashMap<(&str, &str), u64> = record_preconditions
                 .iter()
                 .filter_map(|condition| {
@@ -1195,15 +1212,19 @@ impl FeltDb {
                         .map(|version| ((condition.capability.as_str(), condition.key.as_str()), version))
                 })
                 .collect();
-            let mutations: &[AtomicMutation] = if fenced.is_empty() {
+            let mutations: &[AtomicMutation] = if fenced.is_empty() && creates.is_empty() {
                 mutations
             } else {
                 advanced = mutations
                     .iter()
                     .map(|mutation| {
-                        let Some(expected) =
-                            fenced.get(&(mutation.capability.as_str(), mutation.key.as_str()))
-                        else {
+                        let record = (mutation.capability.as_str(), mutation.key.as_str());
+                        let version = if creates.contains(&record) {
+                            Some(1)
+                        } else {
+                            fenced.get(&record).map(|expected| expected + 1)
+                        };
+                        let Some(version) = version else {
                             return mutation.clone();
                         };
                         // A delete has no record left to carry a version, so a
@@ -1212,12 +1233,9 @@ impl FeltDb {
                             return mutation.clone();
                         };
                         let mut fields = fields;
-                        // The authority owns the transition. A `__version` the
-                        // caller put in the value is replaced rather than
-                        // honoured, exactly as updateIfVersion strips it,
-                        // because a caller that computes a different next
-                        // version must not be able to install it.
-                        fields.insert("__version".to_string(), Value::from(expected + 1));
+                        // The caller cannot manufacture either the initial or
+                        // next authoritative version.
+                        fields.insert("__version".to_string(), Value::from(version));
                         AtomicMutation {
                             capability: mutation.capability.clone(),
                             key: mutation.key.clone(),