@opengeni/artifact-tool 0.2.8 → 0.3.4-canary.0

package/src/office-import.ts

@@ -1,6 +1,16 @@
 import { createHash } from "node:crypto";
 import { decodeEditableArtifactCausalFrontier } from "@opengeni/contracts/editable-artifact-causal-frontier";
-import { EDITABLE_ARTIFACT_PRODUCT_MAX_SNAPSHOT_BYTES } from "@opengeni/contracts/editable-artifacts";
+import {
+  EDITABLE_ARTIFACT_PRODUCT_MAX_SNAPSHOT_BYTES,
+  currentEditableArtifactCompatibility,
+} from "@opengeni/contracts/editable-artifacts";
+import {
+  COMMITTED_TRANSACTION_PROTOCOL_VERSION,
+  DOCUMENT_ARTIFACT_MODEL_SCHEMA_VERSION,
+  PRESENTATION_ARTIFACT_MODEL_SCHEMA_VERSION,
+  SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION,
+  SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
+} from "@opengeni/contracts/editable-artifact-versions";
 import type { ArtifactSnapshot } from "./snapshot";
 
 export type ArtifactOfficeModality = "spreadsheet" | "document" | "presentation";
@@ -23,19 +33,29 @@ export type PreparedArtifactOfficeImport = Readonly<{
         byteSize: number;
         contentHash: `sha256:${string}`;
         stateHash: `sha256:${string}`;
-        modelSchemaVersion: 1;
+        modelSchemaVersion: typeof SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION;
         kernelVersion: string;
         coveredCausalFrontier: readonly Readonly<{ replicaId: string; counter: number }>[];
-        operationProtocolVersion: 1;
-        crdtStateVersion: 1;
+        operationProtocolVersion: typeof COMMITTED_TRANSACTION_PROTOCOL_VERSION;
+        crdtStateVersion: typeof SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION;
       }>
     | Readonly<{
-        modality: "document" | "presentation";
+        modality: "document";
         bytes: Uint8Array;
         byteSize: number;
         contentHash: `sha256:${string}`;
         stateHash: `sha256:${string}`;
-        modelSchemaVersion: 1;
+        modelSchemaVersion: typeof DOCUMENT_ARTIFACT_MODEL_SCHEMA_VERSION;
+        kernelVersion: string;
+        nativeRevision: number;
+      }>
+    | Readonly<{
+        modality: "presentation";
+        bytes: Uint8Array;
+        byteSize: number;
+        contentHash: `sha256:${string}`;
+        stateHash: `sha256:${string}`;
+        modelSchemaVersion: typeof PRESENTATION_ARTIFACT_MODEL_SCHEMA_VERSION;
         kernelVersion: string;
         nativeRevision: number;
       }>;
@@ -119,13 +139,14 @@ function validateSnapshot(
   expectedKernelVersion: string,
 ): PreparedArtifactOfficeImport["snapshot"] {
   const snapshot = exactNamespace(value, "artifact snapshot") as unknown as ArtifactSnapshot;
+  const current = currentEditableArtifactCompatibility(modality);
   if (
     snapshot.schemaVersion !== 1 ||
     snapshot.modality !== modality ||
     snapshot.runtimeTarget !== expectedRuntimeTarget ||
     snapshot.kernelVersion !== expectedKernelVersion ||
-    snapshot.modelSchemaVersion !== 1 ||
-    snapshot.snapshotVersion !== 1 ||
+    snapshot.modelSchemaVersion !== current.modelSchemaVersion ||
+    snapshot.snapshotVersion !== current.snapshotVersion ||
     !/^sha256:[0-9a-f]{64}$/u.test(snapshot.stateHash)
   ) {
     throw new TypeError("Imported snapshot differs from the verified native runtime boundary");
@@ -143,35 +164,43 @@ function validateSnapshot(
     byteSize: bytes.byteLength,
     contentHash: sha256(bytes),
     stateHash: snapshot.stateHash as `sha256:${string}`,
-    modelSchemaVersion: 1 as const,
     kernelVersion: snapshot.kernelVersion,
   };
   if (snapshot.modality === "spreadsheet") {
     if (
       !(snapshot.coveredCausalFrontierBytes instanceof Uint8Array) ||
-      snapshot.operationProtocolVersion !== 1 ||
-      snapshot.crdtStateVersion !== 1
+      snapshot.operationProtocolVersion !== COMMITTED_TRANSACTION_PROTOCOL_VERSION ||
+      snapshot.crdtStateVersion !== SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION
     ) {
       throw new TypeError("Imported spreadsheet snapshot coverage is invalid");
     }
     return Object.freeze({
       ...common,
       modality: "spreadsheet" as const,
+      modelSchemaVersion: SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION,
       coveredCausalFrontier: decodeEditableArtifactCausalFrontier(
         snapshot.coveredCausalFrontierBytes,
       ),
-      operationProtocolVersion: 1 as const,
-      crdtStateVersion: 1 as const,
+      operationProtocolVersion: COMMITTED_TRANSACTION_PROTOCOL_VERSION,
+      crdtStateVersion: SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
     });
   }
   if (!Number.isSafeInteger(snapshot.nativeRevision) || snapshot.nativeRevision < 0) {
     throw new TypeError("Imported serialized snapshot revision is invalid");
   }
-  return Object.freeze({
-    ...common,
-    modality: snapshot.modality,
-    nativeRevision: snapshot.nativeRevision,
-  });
+  return snapshot.modality === "document"
+    ? Object.freeze({
+        ...common,
+        modality: "document" as const,
+        modelSchemaVersion: DOCUMENT_ARTIFACT_MODEL_SCHEMA_VERSION,
+        nativeRevision: snapshot.nativeRevision,
+      })
+    : Object.freeze({
+        ...common,
+        modality: "presentation" as const,
+        modelSchemaVersion: PRESENTATION_ARTIFACT_MODEL_SCHEMA_VERSION,
+        nativeRevision: snapshot.nativeRevision,
+      });
 }
 
 function officeImporter(

package/src/production-spreadsheet-native.ts

@@ -1,4 +1,5 @@
 import {
+  SPREADSHEET_ARTIFACT_COMMAND_VERSION,
   SPREADSHEET_ARTIFACT_PROJECTION_MAX_BYTES,
   SPREADSHEET_ARTIFACT_VIEWPORT_MAX_CELLS,
   decodeSpreadsheetMetadataKernelProjection,
@@ -292,7 +293,7 @@ function nativeFormula(value: unknown): SpreadsheetCellInput {
     throw new TypeError("Spreadsheet formulas must be strings or null");
   const trimmed = value.trim();
   if (trimmed.length === 0) return null;
-  return { formula: trimmed.startsWith("=") ? trimmed : `=${trimmed}`, cached: null };
+  return { formula: trimmed.startsWith("=") ? trimmed : `=${trimmed}` };
 }
 
 function normalizedSheetName(value: unknown): string {
@@ -485,7 +486,7 @@ class SpreadsheetProjectionAuthor {
             : [{ replicaId: this.#replicaId, counter: this.#transactionCounter }],
         selectiveUndoOperationIds: [],
       },
-      commands: { version: 1, commands },
+      commands: { version: SPREADSHEET_ARTIFACT_COMMAND_VERSION, commands },
       resolvedBaseBytes: this.#session.frontier(),
     });
     this.#transactionCounter = counter;
@@ -578,7 +579,7 @@ function* cellCommands(
 }
 
 function nativeCell(cell: SerializedCell): SpreadsheetCellInput {
-  if (cell.formula !== null) return { formula: cell.formula, cached: null };
+  if (cell.formula !== null) return { formula: cell.formula };
   const value = cell.value;
   if (typeof value === "object" && value !== null) {
     if ("type" in value && value.type === "date") {

package/src/runtime-receipt.ts

@@ -19,8 +19,8 @@ const WASM_RUNTIME_FILES = [
 const MAX_CAPABILITIES_BYTES = 1024 * 1024;
 
 export type ArtifactKernelBuildReceipt = Readonly<{
-  schemaVersion: 1;
-  producer: "opengeni-artifact-kernel-smoke-v1";
+  schemaVersion: 2;
+  producer: "opengeni-artifact-kernel-smoke-v2";
   target: ArtifactRuntimeTarget;
   kind: "native" | "wasm";
   buildIdentity: string;
@@ -28,6 +28,7 @@ export type ArtifactKernelBuildReceipt = Readonly<{
     bytes: number;
     sha256: `sha256:${string}`;
   }>;
+  spreadsheetFormulaProjectionCorpusSha256: `sha256:${string}`;
   runtimeFiles: readonly Readonly<{
     path: string;
     bytes: number;
@@ -48,11 +49,12 @@ export function validateArtifactKernelBuildReceipt(
       "kind",
       "buildIdentity",
       "capabilities",
+      "spreadsheetFormulaProjectionCorpusSha256",
       "runtimeFiles",
     ],
     "target build receipt",
   );
-  if (record.schemaVersion !== 1 || record.producer !== "opengeni-artifact-kernel-smoke-v1") {
+  if (record.schemaVersion !== 2 || record.producer !== "opengeni-artifact-kernel-smoke-v2") {
     invalid("target build receipt schema/producer is invalid");
   }
   if (
@@ -77,6 +79,13 @@ export function validateArtifactKernelBuildReceipt(
   if (capabilities.bytes > MAX_CAPABILITIES_BYTES) {
     invalid("target build capabilities exceed their maximum size");
   }
+  const spreadsheetFormulaProjectionCorpusSha256 = record.spreadsheetFormulaProjectionCorpusSha256;
+  if (
+    typeof spreadsheetFormulaProjectionCorpusSha256 !== "string" ||
+    !/^sha256:[0-9a-f]{64}$/u.test(spreadsheetFormulaProjectionCorpusSha256)
+  ) {
+    invalid("target build formula projection corpus digest is invalid");
+  }
   if (
     !Array.isArray(record.runtimeFiles) ||
     record.runtimeFiles.length === 0 ||
@@ -97,12 +106,14 @@ export function validateArtifactKernelBuildReceipt(
     invalid("target build receipt runtimeFiles do not match the target package");
   }
   return {
-    schemaVersion: 1,
-    producer: "opengeni-artifact-kernel-smoke-v1",
+    schemaVersion: 2,
+    producer: "opengeni-artifact-kernel-smoke-v2",
     target: descriptor.target,
     kind: descriptor.kind,
     buildIdentity: record.buildIdentity,
     capabilities: { bytes: capabilities.bytes, sha256: capabilities.sha256 },
+    spreadsheetFormulaProjectionCorpusSha256:
+      spreadsheetFormulaProjectionCorpusSha256 as `sha256:${string}`,
     runtimeFiles,
   };
 }

package/src/runtime.ts

@@ -1,3 +1,12 @@
+import {
+  COMMITTED_TRANSACTION_PROTOCOL_VERSION,
+  SPREADSHEET_ARTIFACT_COMMAND_VERSION,
+  SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION,
+  SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
+  SPREADSHEET_KERNEL_COMMAND_VERSION,
+  SPREADSHEET_KERNEL_SNAPSHOT_VERSION,
+} from "@opengeni/contracts/editable-artifact-versions";
+
 /**
  * Exact artifact-kernel distribution and runtime boundary.
  *
@@ -163,13 +172,14 @@ export type ArtifactRuntimeKernelDependencies = Pick<
 export type ArtifactKernelCapabilities = {
   readonly abiVersion: 1;
   readonly buildIdentityFormat: "utf8";
-  readonly commandSchemaVersion: 1;
-  readonly spreadsheetCommandVersion: 1;
-  readonly kernelSnapshotVersion: 1;
+  readonly commandSchemaVersion: typeof SPREADSHEET_KERNEL_COMMAND_VERSION;
+  readonly spreadsheetCommandVersion: typeof SPREADSHEET_ARTIFACT_COMMAND_VERSION;
+  readonly spreadsheetModelSchemaVersion: typeof SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION;
+  readonly kernelSnapshotVersion: typeof SPREADSHEET_KERNEL_SNAPSHOT_VERSION;
   readonly receiptSchemaVersion: 1;
-  readonly collaborationSnapshotVersion: 1;
+  readonly collaborationSnapshotVersion: typeof SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION;
   readonly editableArtifactIntentVersion: 1;
-  readonly committedTransactionVersion: 1;
+  readonly committedTransactionVersion: typeof COMMITTED_TRANSACTION_PROTOCOL_VERSION;
   readonly queryVersion: 1;
   readonly queryResponseVersion: 1;
   readonly collaboration: true;
@@ -237,6 +247,7 @@ export type ArtifactRuntimeErrorCode =
   | "ARTIFACT_RUNTIME_INCOMPATIBLE"
   | "ARTIFACT_RUNTIME_INTEGRITY"
   | "ARTIFACT_RUNTIME_MANIFEST_INVALID"
+  | "ARTIFACT_RUNTIME_PROJECTION_PARITY"
   | "ARTIFACT_RUNTIME_UNAVAILABLE"
   | "ARTIFACT_RUNTIME_UNSUPPORTED_TARGET";
 
@@ -1208,13 +1219,14 @@ function parseCapabilities(value: unknown): ArtifactKernelCapabilities {
   const required = {
     abiVersion: 1,
     buildIdentityFormat: "utf8",
-    commandSchemaVersion: 1,
-    spreadsheetCommandVersion: 1,
-    kernelSnapshotVersion: 1,
+    commandSchemaVersion: SPREADSHEET_KERNEL_COMMAND_VERSION,
+    spreadsheetCommandVersion: SPREADSHEET_ARTIFACT_COMMAND_VERSION,
+    spreadsheetModelSchemaVersion: SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION,
+    kernelSnapshotVersion: SPREADSHEET_KERNEL_SNAPSHOT_VERSION,
     receiptSchemaVersion: 1,
-    collaborationSnapshotVersion: 1,
+    collaborationSnapshotVersion: SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
     editableArtifactIntentVersion: 1,
-    committedTransactionVersion: 1,
+    committedTransactionVersion: COMMITTED_TRANSACTION_PROTOCOL_VERSION,
     queryVersion: 1,
     queryResponseVersion: 1,
     collaboration: true,

package/src/snapshot.ts

@@ -1,7 +1,11 @@
 import {
   COMMITTED_TRANSACTION_PROTOCOL_VERSION,
-  EDITABLE_ARTIFACT_MODEL_SCHEMA_VERSION,
-  EDITABLE_ARTIFACT_SNAPSHOT_VERSION,
+  DOCUMENT_ARTIFACT_MODEL_SCHEMA_VERSION,
+  DOCUMENT_ARTIFACT_SNAPSHOT_VERSION,
+  PRESENTATION_ARTIFACT_MODEL_SCHEMA_VERSION,
+  PRESENTATION_ARTIFACT_SNAPSHOT_VERSION,
+  SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION,
+  SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
 } from "@opengeni/contracts/editable-artifact-versions";
 import type { Document } from "./document";
 import {
@@ -15,11 +19,8 @@ import type { Workbook } from "./spreadsheet";
 
 type ArtifactSnapshotCommon = Readonly<{
   schemaVersion: 1;
-  modality: "spreadsheet" | "document" | "presentation";
   runtimeTarget: string;
   kernelVersion: string;
-  modelSchemaVersion: 1;
-  snapshotVersion: 1;
   stateHash: string;
   snapshotBytes: Uint8Array;
 }>;
@@ -29,13 +30,24 @@ export type ArtifactSnapshot =
   | (ArtifactSnapshotCommon &
       Readonly<{
         modality: "spreadsheet";
+        modelSchemaVersion: typeof SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION;
+        snapshotVersion: typeof SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION;
         coveredCausalFrontierBytes: Uint8Array;
-        operationProtocolVersion: 1;
-        crdtStateVersion: 1;
+        operationProtocolVersion: typeof COMMITTED_TRANSACTION_PROTOCOL_VERSION;
+        crdtStateVersion: typeof SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION;
       }>)
   | (ArtifactSnapshotCommon &
       Readonly<{
-        modality: "document" | "presentation";
+        modality: "document";
+        modelSchemaVersion: typeof DOCUMENT_ARTIFACT_MODEL_SCHEMA_VERSION;
+        snapshotVersion: typeof DOCUMENT_ARTIFACT_SNAPSHOT_VERSION;
+        nativeRevision: number;
+      }>)
+  | (ArtifactSnapshotCommon &
+      Readonly<{
+        modality: "presentation";
+        modelSchemaVersion: typeof PRESENTATION_ARTIFACT_MODEL_SCHEMA_VERSION;
+        snapshotVersion: typeof PRESENTATION_ARTIFACT_SNAPSHOT_VERSION;
         nativeRevision: number;
       }>);
 
@@ -47,11 +59,8 @@ export function createArtifactSnapshot(
   const native = state.native;
   const common = {
     schemaVersion: 1 as const,
-    modality: state.modality,
     runtimeTarget: native.target,
     kernelVersion: native.buildIdentity,
-    modelSchemaVersion: EDITABLE_ARTIFACT_MODEL_SCHEMA_VERSION,
-    snapshotVersion: EDITABLE_ARTIFACT_SNAPSHOT_VERSION,
     stateHash: native.stateHash(),
     snapshotBytes: Uint8Array.from(native.snapshot()),
   };
@@ -62,9 +71,11 @@ export function createArtifactSnapshot(
     return Object.freeze({
       ...common,
       modality: "spreadsheet" as const,
+      modelSchemaVersion: SPREADSHEET_ARTIFACT_MODEL_SCHEMA_VERSION,
+      snapshotVersion: SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
       coveredCausalFrontierBytes: Uint8Array.from(native.frontier()),
       operationProtocolVersion: COMMITTED_TRANSACTION_PROTOCOL_VERSION,
-      crdtStateVersion: EDITABLE_ARTIFACT_SNAPSHOT_VERSION,
+      crdtStateVersion: SPREADSHEET_COLLABORATION_SNAPSHOT_VERSION,
     });
   }
   if (
@@ -73,11 +84,22 @@ export function createArtifactSnapshot(
   ) {
     throw new Error("Serialized composite does not own its expected native session");
   }
-  return Object.freeze({
-    ...common,
-    modality: state.modality,
-    nativeRevision: safeNativeRevision(native.revision()),
-  });
+  const nativeRevision = safeNativeRevision(native.revision());
+  return state.modality === "document"
+    ? Object.freeze({
+        ...common,
+        modality: "document" as const,
+        modelSchemaVersion: DOCUMENT_ARTIFACT_MODEL_SCHEMA_VERSION,
+        snapshotVersion: DOCUMENT_ARTIFACT_SNAPSHOT_VERSION,
+        nativeRevision,
+      })
+    : Object.freeze({
+        ...common,
+        modality: "presentation" as const,
+        modelSchemaVersion: PRESENTATION_ARTIFACT_MODEL_SCHEMA_VERSION,
+        snapshotVersion: PRESENTATION_ARTIFACT_SNAPSHOT_VERSION,
+        nativeRevision,
+      });
 }
 
 function safeNativeRevision(value: bigint): number {

package/src/spreadsheet-formula.ts

@@ -509,7 +509,9 @@ class FormulaParser {
     if (this.isOperator("^")) {
       this.consume();
       const right = this.withNesting(() => this.power());
-      left = calculate(left, right, (a, b) => finiteNumber(Math.pow(numeric(a), numeric(b))));
+      left = calculate(left, right, (a, b) =>
+        finiteNumber(deterministicIntegerPower(numeric(a), numeric(b))),
+      );
     }
     return left;
   }
@@ -974,24 +976,24 @@ function callFunction(name: string, args: Evaluated[], budget: FormulaEvaluation
       return Math.abs(numeric(args[0] ?? 0));
     case "ROUND": {
       const digits = numeric(args[1] ?? 0);
-      const factor = 10 ** digits;
+      const factor = deterministicIntegerPower(10, digits);
       const value = numeric(args[0] ?? 0) * factor;
       return (Math.sign(value) * Math.round(Math.abs(value))) / factor;
     }
     case "ROUNDUP": {
       const digits = numeric(args[1] ?? 0);
-      const factor = 10 ** digits;
+      const factor = deterministicIntegerPower(10, digits);
       const value = numeric(args[0] ?? 0) * factor;
       return (Math.sign(value) * Math.ceil(Math.abs(value))) / factor;
     }
     case "ROUNDDOWN": {
       const digits = numeric(args[1] ?? 0);
-      const factor = 10 ** digits;
+      const factor = deterministicIntegerPower(10, digits);
       const value = numeric(args[0] ?? 0) * factor;
       return (Math.sign(value) * Math.floor(Math.abs(value))) / factor;
     }
     case "POWER":
-      return finiteNumber(Math.pow(numeric(args[0] ?? 0), numeric(args[1] ?? 0)));
+      return finiteNumber(deterministicIntegerPower(numeric(args[0] ?? 0), numeric(args[1] ?? 0)));
     case "SQRT": {
       const value = numeric(args[0] ?? 0);
       if (value < 0) throw new FormulaFault("#NUM!");
@@ -1067,7 +1069,30 @@ function dateValue(value: Evaluated | undefined): Date {
 
 function finiteNumber(value: number): number {
   if (!Number.isFinite(value)) throw new FormulaFault("#NUM!");
-  return value;
+  return value === 0 ? 0 : value;
+}
+
+/** Mirrors the kernel's explicitly ordered path for exact integer exponents. */
+function deterministicIntegerPower(base: number, exponent: number): number {
+  if (
+    Number.isFinite(exponent) &&
+    Number.isInteger(exponent) &&
+    Math.abs(exponent) <= Number.MAX_SAFE_INTEGER
+  ) {
+    const reciprocal = exponent < 0;
+    let remaining = Math.abs(exponent);
+    // Match the kernel at underflow boundaries: forming the positive power
+    // first can overflow before a representable reciprocal is taken.
+    let factor = reciprocal ? 1 / base : base;
+    let result = 1;
+    while (remaining !== 0) {
+      if (remaining % 2 === 1) result *= factor;
+      remaining = Math.floor(remaining / 2);
+      if (remaining !== 0) factor *= factor;
+    }
+    return result;
+  }
+  return Math.pow(base, exponent);
 }
 
 function boundedText(value: string, maximum: number): string {
@@ -1079,7 +1104,10 @@ function boundedText(value: string, maximum: number): string {
 
 function boundedScalar(value: Scalar, maximum: number): Scalar {
   if (typeof value === "string") return boundedText(value, maximum);
-  if (typeof value === "number" && !Number.isFinite(value)) throw new FormulaFault("#NUM!");
+  if (typeof value === "number") {
+    if (!Number.isFinite(value)) throw new FormulaFault("#NUM!");
+    return value === 0 ? 0 : value;
+  }
   return value;
 }