@astrosheep/square 0.3.93 → 0.3.95

package/dist/square-migration.js

@@ -1,12 +1,14 @@
+import { DatabaseSync } from 'node:sqlite';
 import { createHash } from 'node:crypto';
 import { openExistingSquareDatabase } from './artifact.js';
 import { inSqliteTransaction } from './sqlite-transaction.js';
 import { canonicalPath, canonicalPathSync } from './canonical-path.js';
-import { formatActivityId, isWakeRouteKind, nameKey, sameBody, validateBody } from './model.js';
+import { harnessOwner, decodeHarnessOwner } from './owner.js';
+import { formatActivityId, isWakeRouteKind, nameKey } from './model.js';
 import { parseActivityId } from './square-core.js';
 import { readLegacyHostData } from './square-migration-host-ledger.js';
 import { legacyRowFramingIssue, FORMAT4_ADDED_OBJECTS } from './square-legacy-framing.js';
-import { APPLICATION_ID, ACTIVITIES_TABLE_SQL, ACTIVITY_INDEXES_SQL, CURRENT_USER_VERSION, V2_USER_VERSION, V3_USER_VERSION, V4_USER_VERSION, SCHEMA_SQL, FORMAT4_SCHEMA_SQL, DELIVERY_DEFERRALS_SQL, validateRowFraming, inspectSqlite, createSqliteDriver, invalidArtifact, validateStoredActivity } from './square-sqlite.js';
+import { APPLICATION_ID, ACTIVITIES_TABLE_SQL, ACTIVITY_INDEXES_SQL, CURRENT_USER_VERSION, V2_USER_VERSION, V3_USER_VERSION, V4_USER_VERSION, V5_USER_VERSION, V6_USER_VERSION, V7_USER_VERSION, SCHEMA_SQL, FORMAT4_SCHEMA_SQL, DELIVERY_DEFERRALS_SQL, validateRowFraming, inspectSqlite, createSqliteDriver, invalidArtifact, validateStoredActivity, exportSqliteState, initializeSqlite } from './square-sqlite.js';
 function isObject(value) {
     return typeof value === 'object' && value !== null && !Array.isArray(value);
 }
@@ -23,6 +25,9 @@ function isNonNegativeInteger(value) {
 function isStringArray(value) {
     return Array.isArray(value) && value.every((item) => typeof item === 'string');
 }
+function sameCoordinate(left, right) {
+    return left.channel === right.channel && left.session === right.session && left.agent === right.agent;
+}
 function validateRecord(value, item) {
     return isObject(value) && Object.entries(value).every(([key, candidate]) => key.length > 0 && item(candidate));
 }
@@ -130,19 +135,48 @@ function standing(database) {
     return createSqliteDriver(database).roster().filter((participant) => participant.joined).length;
 }
 const ACTIVITY_INDEX_NAMES = ['activity_kind_index', 'activity_actor_index', 'activity_say_actor_index', 'activity_say_time', 'activity_bell_actor_time'];
-function rebuildV2Activities(database) {
+function migrateActivities(database) {
+    // Only activity identity references are deleted. Range watermarks (read.through and
+    // delivery cancellation boundaries) remain meaningful even when their endpoint is gone.
+    for (const table of ['landed_audience', 'receipts', 'delivery_evidence']) {
+        database.exec(`DELETE FROM ${table} WHERE act_index IN (SELECT act_index FROM activities WHERE kind IN ('hold','resume'));`);
+    }
     database.exec([
+        "UPDATE activities SET reply_index=NULL WHERE reply_index IN (SELECT act_index FROM activities WHERE kind IN ('hold','resume'));",
         ...ACTIVITY_INDEX_NAMES.map((name) => `DROP INDEX ${name};`),
-        'ALTER TABLE activities RENAME TO activities_v2;',
+        'ALTER TABLE activities RENAME TO activities_legacy;',
         ACTIVITIES_TABLE_SQL,
-        'INSERT INTO activities(act_index,at,kind,actor_json,actor_key_json,reach,reply_index,payload_json) SELECT act_index,at,kind,actor_json,actor_key_json,reach,reply_index,payload_json FROM activities_v2 ORDER BY act_index;',
-        'DROP TABLE activities_v2;',
+        "INSERT INTO activities(act_index,at,kind,actor_json,actor_key_json,reach,reply_index,payload_json) SELECT act_index,at,kind,actor_json,actor_key_json,reach,reply_index,payload_json FROM activities_legacy WHERE kind NOT IN ('hold','resume') ORDER BY act_index;",
+        'DROP TABLE activities_legacy;',
         ...ACTIVITY_INDEXES_SQL.map((sql) => `${sql};`),
     ].join('\n'));
+    // Actor-bearing deleted activities and cleared replies can change maintained indices.
+    // Replay surviving facts only, without lowering the authoritative next allocator.
+    const names = database.prepare('SELECT name_key_json,name_json FROM participants').all();
+    const rebuilt = new DatabaseSync(':memory:');
+    try {
+        initializeSqlite(rebuilt, exportSqliteState(database));
+        // Canonical spelling is an established identity fact, not the spelling of
+        // whichever actor activity happens to survive this migration first.
+        const retainName = rebuilt.prepare('UPDATE participants SET name_json=? WHERE name_key_json=?');
+        for (const row of names)
+            retainName.run(row.name_json, row.name_key_json);
+        for (const table of ['participants', 'attention', 'landed_audience']) {
+            database.exec(`DELETE FROM ${table};`);
+            for (const row of rebuilt.prepare(`SELECT * FROM ${table}`).all()) {
+                const columns = Object.keys(row);
+                database.prepare(`INSERT INTO ${table}(${columns.join(',')}) VALUES(${columns.map(() => '?').join(',')})`)
+                    .run(...Object.values(row));
+            }
+        }
+    }
+    finally {
+        rebuilt.close();
+    }
 }
 function validateCurrentFraming(database, location) {
     validateRowFraming(database, CURRENT_USER_VERSION, location);
-    createSqliteDriver(database).header();
+    inspectSqlite(database);
 }
 function assertSource(condition, detail = 'row is malformed.') {
     if (!condition)
@@ -190,12 +224,12 @@ function decodeLegacyRoute(row) {
     assertSource(row.participant_key_json === JSON.stringify(nameKey(participant)), 'route participant key is malformed.');
     const sessionId = decodeJsonString(row.session_json);
     sourceFinite(row.updated_at);
-    const body = { channel: parsed.channel, session: sessionId, ...(parsed.extra.agent === undefined ? {} : { agent: parsed.extra.agent }) };
-    validateBody(body);
+    const coordinate = { channel: parsed.channel, session: sessionId, ...(parsed.extra.agent === undefined ? {} : { agent: parsed.extra.agent }) };
+    harnessOwner(coordinate);
     const address = parsed.address;
     if (row.kind === 'claude-native')
         assertSource(address.sessionId === undefined || address.sessionId === sessionId, 'native route session conflicts with its body.');
-    return { location: parsed.location, participant, body,
+    return { location: parsed.location, participant, coordinate,
         wakeAddress: { kind: row.kind, address: { ...address, ...(row.kind === 'claude-native' ? { sessionId } : {}) } } };
 }
 function validateLegacyLease(value) {
@@ -235,14 +269,15 @@ function planSeats(location, roster, routes, owners, driver) {
         const joined = establishingJoin(driver, participant);
         const candidates = localRoutes.filter((route) => nameKey(route.participant) === nameKey(participant.name));
         const owner = owners.find(row => nameKey(row.participant) === nameKey(participant.name));
-        const body = owner?.body ?? candidates[0]?.body;
-        if (body === undefined || !candidates.every(route => sameBody(route.body, body)))
+        const coordinates = [...candidates.map(route => route.coordinate), ...(owner === undefined ? [] : [owner.coordinate])];
+        if (coordinates.length === 0 || !coordinates.every(coordinate => sameCoordinate(coordinate, coordinates[0])))
             continue;
         const address = uniqueSeatAddress(candidates);
         seats.push({
             participant: participant.name,
-            body,
+            owner: harnessOwner(coordinates[0]),
             generation: formatActivityId(joined),
+            attachment: 'attached',
             ...(address === undefined ? {} : { wakeAddress: address }),
         });
     }
@@ -277,7 +312,7 @@ function inspectLegacyRowArtifact(database, location, host) {
     const driver = createSqliteDriver(database);
     let activityCount = 0;
     let previous = -1;
-    for (const row of database.prepare('SELECT act_index FROM activities ORDER BY act_index').iterate()) {
+    for (const row of database.prepare("SELECT act_index FROM activities WHERE kind NOT IN ('hold','resume') ORDER BY act_index").iterate()) {
         const index = sourceInteger(row.act_index);
         assertSource(index > previous && index < nextActIndex, 'activity index is malformed or unassigned.');
         const activity = driver.activity(index);
@@ -321,7 +356,7 @@ function inspectLegacyRowArtifact(database, location, host) {
         routes: routes.length,
         recoveredSeats: seats.length,
         unownedStanding: standingCount - seats.length,
-        sharedBodySeats: seats.filter(seat => seats.some(other => other !== seat && sameBody(other.body, seat.body))).length,
+        sharedBodySeats: seats.filter(seat => seats.some(other => other !== seat && other.owner === seat.owner)).length,
         skippedEvidence: host.evidence.length - deliveries.length,
     };
     const sourceToken = legacySourceToken(database);
@@ -373,26 +408,26 @@ function planLegacyDeliveries(records, seats, driver) {
         const native = source.kind === 'wake' && source.nativeDelivery !== undefined;
         if (!participant?.joined && !(participant?.done && native))
             continue;
-        if (participant.joined && (seat === undefined || seat.body.session !== source.session
-            || source.agent !== seat.body.agent || source.channel !== undefined && source.channel !== seat.body.channel))
+        const seatCoordinate = seat === undefined ? undefined : decodeHarnessOwner(seat.owner);
+        if (participant.joined && (seatCoordinate === undefined || seatCoordinate.session !== source.session
+            || seatCoordinate.agent !== source.agent || source.channel !== undefined && seatCoordinate.channel !== source.channel))
             continue;
         const harness = source.nativeDelivery?.harness;
-        if (native && seat !== undefined && harness !==
-            (seat.body.channel === 'claude-code' ? 'claude' : seat.body.channel === 'opencode' ? 'opencode' : undefined))
+        if (native && source.channel !== undefined && source.channel !== (harness === 'claude' ? 'claude-code' : 'opencode'))
+            continue;
+        if (native && seat !== undefined && harness !== undefined && seat.owner !== harnessOwner({ channel: harness === 'claude' ? 'claude-code' : 'opencode', session: source.session, ...(source.agent === undefined ? {} : { agent: source.agent }) }))
             continue;
         const joined = establishingJoin(driver, participant);
         const generation = formatActivityId(joined);
-        if (index <= joined || driver.activity(index)?.kind !== 'say' || driver.directedAt(participant.name, index) === undefined)
+        if (index <= joined || driver.activityHeads({ indexes: [index], kinds: ['say'] }, { edge: 'oldest', limit: 1 }).items.length === 0 || driver.directedAt(participant.name, index) === undefined)
             continue;
         if (participant.done) {
             const done = driver.activityHeads({ actors: [participant.name], kinds: ['done'] }, { edge: 'newest', limit: 1 }).items[0];
             if (done === undefined || index >= done.index)
                 continue;
-            const body = { channel: harness === 'claude' ? 'claude-code' : 'opencode', session: source.session,
-                ...(source.agent === undefined ? {} : { agent: source.agent }) };
-            if (source.channel !== undefined && source.channel !== body.channel)
-                continue;
-            const coordinate = JSON.stringify([body.channel, body.session, body.agent]);
+            const owner = harnessOwner({ channel: harness === 'claude' ? 'claude-code' : 'opencode', session: source.session,
+                ...(source.agent === undefined ? {} : { agent: source.agent }) });
+            const coordinate = JSON.stringify([owner]);
             const key = nameKey(participant.name), previous = completedBodies.get(key);
             completedBodies.set(key, previous === undefined || previous === coordinate ? coordinate : null);
         }
@@ -429,7 +464,6 @@ function planLegacyDeliveries(records, seats, driver) {
     }
     return deliveries.filter(row => row.claimToken === undefined || tokens.get(row.claimToken) === 1);
 }
-const V4_REBUILT_TABLES = ['square_meta', 'catch_leases'];
 function tableDefinition(name) {
     const definition = SCHEMA_SQL.split(';').map((statement) => statement.trim()).find((statement) => statement.startsWith(`CREATE TABLE ${name} (`));
     if (definition === undefined)
@@ -439,16 +473,32 @@ function tableDefinition(name) {
 function currentAdditionStatements() {
     return SCHEMA_SQL.split(';').map((statement) => statement.trim()).filter((statement) => {
         const match = /^(?:CREATE (?:UNIQUE )?TABLE|CREATE (?:UNIQUE )?INDEX)\s+([a-z_]+)/i.exec(statement);
-        return match !== null && FORMAT4_ADDED_OBJECTS.has(match[1]);
+        return match !== null && (FORMAT4_ADDED_OBJECTS.has(match[1]) || match[1] === 'seat_owner');
     }).map((statement) => `${statement};`);
 }
+function migrateSeatOwnership(database, source) {
+    const rows = database.prepare('SELECT * FROM seats ORDER BY participant_key_json').all();
+    database.exec('ALTER TABLE seats RENAME TO seats_legacy;');
+    database.exec(tableDefinition('seats'));
+    database.exec('CREATE INDEX seat_owner ON seats(owner_json);');
+    const insert = database.prepare('INSERT INTO seats(participant_key_json,participant_json,owner_json,generation_json,wake_address_json,attachment) VALUES(?,?,?,?,?,?)');
+    for (const row of rows) {
+        const channel = decodeJsonString(row.channel_json, true), session = decodeJsonString(row.session_json, true);
+        const agent = row.agent_json === null ? undefined : decodeJsonString(row.agent_json, true);
+        const owner = harnessOwner({ channel, session, ...(agent === undefined ? {} : { agent }) });
+        const attachment = source === 6 ? row.attachment : 'attached';
+        assertSource(attachment === 'attached' || attachment === 'detached', 'seat attachment is malformed.');
+        insert.run(row.participant_key_json, row.participant_json, JSON.stringify(owner), row.generation_json, row.wake_address_json, attachment);
+    }
+    database.exec('DROP TABLE seats_legacy;');
+}
 function importOwnershipAndEvidence(database, plan) {
     for (const generation of plan.leaseGenerations) {
         database.prepare('UPDATE catch_leases SET generation_json=? WHERE owner_json=?').run(JSON.stringify(generation.generation), generation.ownerJson);
     }
-    const insertSeat = database.prepare('INSERT INTO seats(participant_key_json,participant_json,channel_json,session_json,agent_json,generation_json,wake_address_json) VALUES(?,?,?,?,?,?,?)');
+    const insertSeat = database.prepare('INSERT INTO seats(participant_key_json,participant_json,owner_json,generation_json,wake_address_json,attachment) VALUES(?,?,?,?,?,?)');
     for (const seat of plan.seats) {
-        insertSeat.run(JSON.stringify(nameKey(seat.participant)), JSON.stringify(seat.participant), JSON.stringify(seat.body.channel), JSON.stringify(seat.body.session), seat.body.agent === undefined ? null : JSON.stringify(seat.body.agent), JSON.stringify(seat.generation), seat.wakeAddress === undefined ? null : JSON.stringify(seat.wakeAddress));
+        insertSeat.run(JSON.stringify(nameKey(seat.participant)), JSON.stringify(seat.participant), JSON.stringify(seat.owner), JSON.stringify(seat.generation), seat.wakeAddress === undefined ? null : JSON.stringify(seat.wakeAddress), seat.attachment);
     }
     const insertDelivery = database.prepare('INSERT INTO delivery_evidence(participant_key_json,participant_json,generation_json,act_index,kind,attempt_n,outcome,at,expires_at,claim_token_json,payload_json) VALUES(?,?,?,?,?,?,?,?,?,?,?)');
     for (const evidence of plan.deliveries) {
@@ -468,6 +518,7 @@ function upgradeRowArtifact(database, location, plan) {
     importOwnershipAndEvidence(database, plan);
     database.exec('DROP TABLE routes;');
     database.exec(DELIVERY_DEFERRALS_SQL);
+    migrateActivities(database);
     database.exec(`PRAGMA user_version = ${CURRENT_USER_VERSION};`);
     validateCurrentFraming(database, location);
 }
@@ -481,10 +532,9 @@ function validateMigrationSource(database, location) {
             throw invalidArtifact(issue);
         return before.userVersion;
     }
-    if (before.userVersion === V4_USER_VERSION) {
-        validateRowFraming(database, V4_USER_VERSION, location);
-        inspectSqlite(database);
-        return V4_USER_VERSION;
+    if (before.userVersion === V4_USER_VERSION || before.userVersion === V5_USER_VERSION || before.userVersion === V6_USER_VERSION || before.userVersion === V7_USER_VERSION) {
+        validateRowFraming(database, before.userVersion, location);
+        return before.userVersion;
     }
     if (before.userVersion === CURRENT_USER_VERSION) {
         validateCurrentFraming(database, location);
@@ -495,7 +545,10 @@ function validateMigrationSource(database, location) {
 /**
  * Explicit conversion of the supported legacy formats. Row-backed versions 2 and 3 are
  * preflighted read-only, then receive ownership/evidence and deferral storage in one
- * format-5 transaction. Format 4 adds only the empty deferral table and its index.
+ * format-8 transaction. Formats 4/5 gain attachment; format 4 also gains empty deferrals.
+ * All legacy seats are encoded as opaque owners, preserving format-6 attachment.
+ * Every source drops obsolete activities and their identity references, clears dangling
+ * replies and rebuilds derived indices; surviving ids and allocation watermarks remain stable.
  * Legacy delivery evidence is copied from HostLedger only when its owner/session mapping is
  * unique; no source record is retired. Version 1 is not a supported source for this format transition.
  */
@@ -506,11 +559,15 @@ export async function migrateSquareFile(location, signal, env = process.env) {
         const source = await inSqliteTransaction(database, false, () => validateMigrationSource(database, squarePath), value => value, signal);
         if (source === undefined)
             return { status: 'already-current', standing: standing(database) };
-        if (source === V4_USER_VERSION) {
+        if (source === V4_USER_VERSION || source === V5_USER_VERSION || source === V6_USER_VERSION || source === V7_USER_VERSION) {
             return await inSqliteTransaction(database, true, () => {
                 assertSource(validateMigrationSource(database, squarePath) === source, 'source format changed during migration preflight.');
             }, () => {
-                database.exec(DELIVERY_DEFERRALS_SQL);
+                if (source === V4_USER_VERSION)
+                    database.exec(DELIVERY_DEFERRALS_SQL);
+                if (source !== V7_USER_VERSION)
+                    migrateSeatOwnership(database, source);
+                migrateActivities(database);
                 database.exec(`PRAGMA user_version = ${CURRENT_USER_VERSION};`);
                 validateCurrentFraming(database, squarePath);
                 return { status: 'migrated', standing: standing(database) };
@@ -530,8 +587,6 @@ export async function migrateSquareFile(location, signal, env = process.env) {
             assertSource(lockedPlan.sourceToken === plan.sourceToken, 'source changed during migration preflight.');
             result.plan = lockedPlan;
         }, () => {
-            if (source === 2)
-                rebuildV2Activities(database);
             const migratedPlan = result.plan;
             upgradeRowArtifact(database, squarePath, migratedPlan);
             result.outcome = { status: 'migrated', standing: migratedPlan.standing, counts: migratedPlan.counts };

package/dist/square-receive.d.ts

@@ -0,0 +1,6 @@
+import type { AudienceRoute } from './attention.js';
+import type { StoredAct } from './model.js';
+import type { DirectedFilter, SquareRead } from './ports.js';
+import type { ReceiveRead } from './receive.js';
+/** Transaction-local projections only; the artifact still owns indexed selection and bodies. */
+export declare function squareReceiveRead(facts: SquareRead): ReceiveRead<number, StoredAct, AudienceRoute, DirectedFilter>;

package/dist/square-receive.js

@@ -0,0 +1,18 @@
+/** Transaction-local projections only; the artifact still owns indexed selection and bodies. */
+export function squareReceiveRead(facts) {
+    const filter = (query, unconsumed) => {
+        const { unseenOnly: _, ...rest } = query;
+        return unconsumed ? { ...rest, unseenOnly: true } : rest;
+    };
+    return {
+        heads: (recipient, query, options) => facts.directed(recipient, filter(query, options.unconsumed), { edge: 'oldest', limit: options.limit })
+            .items.map(item => ({ key: item.index, via: item.route })),
+        addressed(recipient, index) {
+            const head = facts.directedAt(recipient, index);
+            return head === undefined ? undefined : { key: head.index, via: head.route };
+        },
+        load: keys => new Map(facts.activities(keys).map(item => [item.index, item])),
+        count: (recipient, query, unconsumed) => facts.directedCount(recipient, filter(query, unconsumed)),
+        receipt: ref => facts.receipt(ref.recipient, ref.item),
+    };
+}

package/dist/square-sqlite.d.ts

@@ -21,7 +21,10 @@ export declare const APPLICATION_ID = 1397838405;
 export declare const V2_USER_VERSION = 2;
 export declare const V3_USER_VERSION = 3;
 export declare const V4_USER_VERSION = 4;
-export declare const CURRENT_USER_VERSION = 5;
+export declare const V5_USER_VERSION = 5;
+export declare const V6_USER_VERSION = 6;
+export declare const V7_USER_VERSION = 7;
+export declare const CURRENT_USER_VERSION = 8;
 export declare const V1_SNAPSHOT_TABLE = "square_snapshot";
 export interface LegacyFraming {
     readonly applicationId: number;
@@ -35,15 +38,18 @@ export interface LegacyFraming {
  * migration. Anything else is unrelated or unsupported, not repaired.
  */
 export declare function validateLegacyFraming(database: DatabaseSync, applicationId: number, location?: string): LegacyFraming;
-export declare const ACTIVITIES_TABLE_SQL = "CREATE TABLE activities (\n  act_index INTEGER PRIMARY KEY CHECK (act_index BETWEEN 0 AND 9007199254740991),\n  at REAL NOT NULL,\n  kind TEXT NOT NULL CHECK (kind IN ('join','done','say','hold','resume','read','listen','ignore','unlisten')),\n  actor_json TEXT COLLATE BINARY,\n  actor_key_json TEXT COLLATE BINARY,\n  reach TEXT CHECK (reach = 'bell'),\n  reply_index INTEGER CHECK (reply_index >= 0 AND reply_index < act_index),\n  payload_json TEXT NOT NULL CHECK (json_valid(payload_json)),\n  CHECK ((actor_json IS NULL) = (actor_key_json IS NULL)),\n  CHECK (kind IN ('hold','resume') OR actor_json IS NOT NULL),\n  CHECK (kind = 'say' OR (reach IS NULL AND reply_index IS NULL))\n);";
+export declare const ACTIVITIES_TABLE_SQL = "CREATE TABLE activities (\n  act_index INTEGER PRIMARY KEY CHECK (act_index BETWEEN 0 AND 9007199254740991),\n  at REAL NOT NULL,\n  kind TEXT NOT NULL CHECK (kind IN ('join','done','say','read','listen','ignore','unlisten')),\n  actor_json TEXT COLLATE BINARY NOT NULL,\n  actor_key_json TEXT COLLATE BINARY NOT NULL,\n  reach TEXT CHECK (reach = 'bell'),\n  reply_index INTEGER CHECK (reply_index >= 0 AND reply_index < act_index),\n  payload_json TEXT NOT NULL CHECK (json_valid(payload_json)),\n  CHECK (kind = 'say' OR (reach IS NULL AND reply_index IS NULL))\n);";
 export declare const ACTIVITY_INDEXES_SQL: readonly ["CREATE INDEX activity_kind_index ON activities(kind, act_index)", "CREATE INDEX activity_actor_index ON activities(actor_key_json, act_index)", "CREATE INDEX activity_say_actor_index ON activities(actor_key_json, act_index) WHERE kind='say'", "CREATE INDEX activity_say_time ON activities(at, act_index) WHERE kind='say'", "CREATE INDEX activity_bell_actor_time ON activities(actor_key_json, at, act_index) WHERE kind='say' AND reach='bell'"];
 export declare const DELIVERY_DEFERRALS_SQL = "CREATE TABLE delivery_deferrals (\n  participant_key_json TEXT COLLATE BINARY NOT NULL,\n  participant_json TEXT NOT NULL,\n  generation_json TEXT NOT NULL,\n  deferral_id_json TEXT NOT NULL,\n  match_json TEXT NOT NULL CHECK (json_valid(match_json)),\n  expires_at REAL NOT NULL,\n  PRIMARY KEY (participant_key_json,generation_json,deferral_id_json)\n) WITHOUT ROWID;\nCREATE INDEX delivery_deferral_expiry ON delivery_deferrals(participant_key_json,generation_json,expires_at);";
 export declare const SCHEMA_SQL: string;
+export declare const FORMAT7_SCHEMA_SQL: string;
+export declare const FORMAT6_SCHEMA_SQL: string;
+export declare const FORMAT5_SCHEMA_SQL: string;
 export declare const FORMAT4_SCHEMA_SQL: string;
 export declare function invalidArtifact(detail: string): SquareError;
 export declare function validateStoredActivity(value: unknown): StoredAct;
 export declare function validateWatchLease(value: unknown): WatchLease;
-export declare function validateRowFraming(db: DatabaseSync, version: 2 | 3 | 4 | 5, location?: string): void;
+export declare function validateRowFraming(db: DatabaseSync, version: 2 | 3 | 4 | 5 | 6 | 7 | 8, location?: string): void;
 export declare function validateSqliteHeader(db: DatabaseSync, location?: string): SquareHeader;
 export interface SqliteDriver extends SquareRead, LandingWriter {
     readonly changed: boolean;