@tinta-lang/engine 0.0.0-stage → 0.1.0-dev.0

package/dist/programs.d.ts

@@ -0,0 +1,3 @@
+import type { Program } from "@tinta-lang/types";
+import type { Bound } from "./binding.js";
+export declare const programs: WeakMap<Program, Bound>;

package/dist/programs.js

@@ -0,0 +1 @@
+export const programs = new WeakMap();

package/dist/registry.d.ts

@@ -0,0 +1,144 @@
+export declare const registry: {
+    readonly contractRevision: "1.0-draft.3";
+    readonly sourceVersion: "1.0";
+    readonly workingName: "Tinta";
+    readonly sourceExtension: ".tinta";
+    readonly bundleExtension: ".tinta.zip";
+    readonly profiles: readonly ["markdown", "tinta"];
+    readonly directives: readonly ["meta", "let", "calc", "slider", "toggle", "choice", "when", "details", "data", "view", "table", "chart"];
+    readonly blockDirectives: readonly ["when", "details", "data"];
+    readonly blockDelimiter: "end";
+    readonly functions: readonly ["if", "min", "max", "round", "pow", "count", "sum", "mean", "fixed", "percent", "money"];
+    readonly chartTypes: readonly ["line", "area", "bar", "scatter", "pie", "donut", "histogram"];
+    readonly reservedIdentifiers: readonly ["true", "false", "and", "or", "not", "row", "__proto__", "prototype", "constructor", "if", "min", "max", "round", "pow", "count", "sum", "mean", "fixed", "percent", "money"];
+    readonly locales: readonly ["en-US", "en-GB", "es-ES", "fr-FR", "de-DE", "ja-JP", "zh-CN", "zh-TW"];
+    readonly currencies: readonly ["USD", "EUR", "GBP", "JPY", "CHF", "CAD", "AUD", "CNY"];
+    readonly defaults: {
+        readonly locale: "en-US";
+        readonly currency: "USD";
+        readonly version: "1.0";
+        readonly sliderMin: 0;
+        readonly sliderMax: 100;
+        readonly sliderStep: 1;
+        readonly histogramBins: 8;
+    };
+    readonly limits: {
+        readonly sourceBytes: 2097152;
+        readonly sourceLineUnits: 65536;
+        readonly expressionUnits: 8192;
+        readonly expressionDepth: 32;
+        readonly astNodes: 100000;
+        readonly tintaBlockDepth: 16;
+        readonly markdownDepth: 64;
+        readonly declarations: 512;
+        readonly controls: 128;
+        readonly identifierUnits: 64;
+        readonly textValueUnits: 65536;
+        readonly literalListItems: 1000;
+        readonly tableCount: 64;
+        readonly tableRows: 10000;
+        readonly tableColumns: 64;
+        readonly totalCells: 100000;
+        readonly chartRows: 2000;
+        readonly chartCategories: 200;
+        readonly chartSectors: 24;
+        readonly chartSeries: 6;
+        readonly chartMarks: 12000;
+        readonly documentChartMarks: 32000;
+        readonly chartCount: 32;
+        readonly histogramBinsMin: 2;
+        readonly histogramBinsMax: 30;
+        readonly histogramBinsDefault: 8;
+        readonly choiceOptions: 50;
+        readonly choiceOptionCodePoints: 120;
+        readonly labelCodePoints: 200;
+        readonly sliderTicks: 100000;
+        readonly sliderFractionalDigits: 6;
+        readonly sliderMagnitude: 1000000000;
+        readonly evaluationOperations: 2000000;
+        readonly compileOperations: 5000000;
+        readonly diagnostics: 100;
+        readonly importBytes: 5242880;
+        readonly assetCount: 100;
+        readonly assetBytes: 10485760;
+        readonly totalAssetBytes: 26214400;
+        readonly imagePixels: 20000000;
+        readonly bundleCompressedBytes: 31457280;
+        readonly bundleExpandedBytes: 31457280;
+        readonly bundleEntries: 102;
+        readonly htmlBytes: 41943040;
+        readonly workerWatchdogMs: 3000;
+        readonly editorDebounceMs: 200;
+        readonly recoveryDebounceMs: 1000;
+        readonly recoveryEntries: 10;
+        readonly recoveryTotalBytes: 31457280;
+    };
+    readonly errors: {
+        readonly E_ENCODING: "Invalid UTF-8 source or import encoding.";
+        readonly E_LIMIT: "A named resource limit was exceeded.";
+        readonly E_DIRECTIVE_UNKNOWN: "Unregistered column-1 directive.";
+        readonly E_DIRECTIVE_SYNTAX: "Malformed directive operands/options.";
+        readonly E_BLOCK_END: "Unexpected closing @end.";
+        readonly E_BLOCK_UNCLOSED: "Tinta block has no closing @end.";
+        readonly E_BLOCK_EMPTY: "Conditional/detail block contains no renderable content.";
+        readonly E_DECLARATION_SCOPE: "Root-only declaration used in a nested block.";
+        readonly E_PROPERTY_UNKNOWN: "Unsupported option key.";
+        readonly E_PROPERTY_DUPLICATE: "Option key repeated.";
+        readonly E_PROPERTY_REQUIRED: "Required option missing.";
+        readonly E_PROPERTY_DEPENDENCY: "Option depends on another missing option.";
+        readonly E_PROPERTY_VALUE: "Option has an invalid literal value.";
+        readonly E_VERSION: "Unsupported source format version.";
+        readonly E_META_POSITION: "Repeated or misplaced metadata.";
+        readonly E_META_VALUE: "Unsupported metadata setting.";
+        readonly E_EXPRESSION_SYNTAX: "Invalid/unfinished expression token sequence.";
+        readonly E_NAME_RESERVED: "Reserved or invalid identifier.";
+        readonly E_NAME_DUPLICATE: "Document name declared more than once.";
+        readonly E_NAME_UNKNOWN: "Unresolved global name.";
+        readonly E_ROW_SCOPE: "row.field used outside a supported row context.";
+        readonly E_COLUMN_UNKNOWN: "Referenced table column does not exist.";
+        readonly E_TYPE: "Types do not satisfy an operator/directive/function contract.";
+        readonly E_FUNCTION_ARITY: "Incorrect number of function arguments.";
+        readonly E_CONST_DEPENDENCY: "Constant depends on nonconstant state/data.";
+        readonly E_CYCLE: "Dependency cycle detected.";
+        readonly E_NUMBER_RANGE: "Numeric operation produced a non-finite/non-real result.";
+        readonly E_DIV_ZERO: "Division or remainder by zero.";
+        readonly E_DIGITS_RANGE: "Formatting/rounding digits are outside integer 0–10.";
+        readonly E_EMPTY_MEAN: "Mean requested for an empty table/view.";
+        readonly E_STATE_NAME: "Update names an unknown/non-control symbol.";
+        readonly E_STATE_DOMAIN: "Control update/default violates its allowed domain.";
+        readonly E_DATA_HEADER: "Invalid or duplicate typed table header.";
+        readonly E_DATA_ARITY: "Row cell count differs from the schema.";
+        readonly E_DATA_VALUE: "Cell is not a valid scalar for its declared type.";
+        readonly E_CHART_TYPE: "Unknown chart type.";
+        readonly E_CHART_SERIES: "Invalid series count/form for chart type.";
+        readonly E_CHART_DUPLICATE_X: "Chart requires unique x values.";
+        readonly E_CHART_VALUE: "Invalid chart datum, e.g. negative sector value.";
+        readonly E_CHART_DOMAIN: "Finite chart geometry cannot be constructed.";
+        readonly E_SELECTION_TARGET: "Invalid linked-control type/name.";
+        readonly E_SELECTION_DOMAIN: "Chart x cannot be represented by the linked control.";
+        readonly E_IMPORT_SCHEMA: "Unsupported import structure or conversion.";
+        readonly E_IMPORT_PRESERVATION: "Markdown enrichment changed unintended semantics.";
+        readonly E_ASSET_MISSING: "Referenced local image was not supplied.";
+        readonly E_ASSET_EXTERNAL: "Remote/nonlocal image is not permitted.";
+        readonly E_ASSET_TYPE: "Unsupported/mismatched raster image format.";
+        readonly E_ASSET_PATH: "Unsafe resource or ZIP entry path.";
+        readonly E_BUNDLE: "Malformed bundle, duplicate keys/entries, CRC or manifest mismatch.";
+        readonly E_HASH_MISMATCH: "Source/resource hash does not match its envelope.";
+        readonly E_SNAPSHOT: "State envelope does not match source/schema/controls.";
+        readonly E_EXPORT_INVALID: "Export requested for invalid/stale source or an invalid state.";
+        readonly E_OUTPUT_EXISTS: "Output already exists and replacement is not authorized.";
+        readonly E_IO: "Authorized filesystem operation failed.";
+        readonly E_WORKER_TIMEOUT: "Worker did not complete before the watchdog.";
+        readonly E_PROTOCOL: "Malformed or unauthorized host protocol message; stale valid results are ignored.";
+        readonly E_INTERNAL: "Unexpected engine fault; not a document syntax diagnosis.";
+    };
+    readonly warnings: {
+        readonly W_NUL_REPLACED: "NUL displayed as the replacement character.";
+        readonly W_HTML_INERT: "Raw author HTML displayed as text.";
+        readonly W_LINK_LOCAL_UNSUPPORTED: "Local document navigation is not implemented.";
+        readonly W_LINK_UNSAFE: "Unsafe/unsupported link disabled.";
+        readonly W_ASSET_UNAVAILABLE: "Preview image unavailable; export remains blocked.";
+        readonly W_RECOVERY_UNAVAILABLE: "Local browser recovery is unavailable.";
+        readonly W_MARKDOWN_COLLISION: "Enrichment proposes escapes for Tinta-looking literal text.";
+    };
+};

package/dist/registry.js

@@ -0,0 +1,200 @@
+// Generated from spec/registry.json; verified against the normative registry.
+export const registry = {
+    contractRevision: "1.0-draft.3",
+    sourceVersion: "1.0",
+    workingName: "Tinta",
+    sourceExtension: ".tinta",
+    bundleExtension: ".tinta.zip",
+    profiles: ["markdown", "tinta"],
+    directives: [
+        "meta",
+        "let",
+        "calc",
+        "slider",
+        "toggle",
+        "choice",
+        "when",
+        "details",
+        "data",
+        "view",
+        "table",
+        "chart",
+    ],
+    blockDirectives: ["when", "details", "data"],
+    blockDelimiter: "end",
+    functions: [
+        "if",
+        "min",
+        "max",
+        "round",
+        "pow",
+        "count",
+        "sum",
+        "mean",
+        "fixed",
+        "percent",
+        "money",
+    ],
+    chartTypes: ["line", "area", "bar", "scatter", "pie", "donut", "histogram"],
+    reservedIdentifiers: [
+        "true",
+        "false",
+        "and",
+        "or",
+        "not",
+        "row",
+        "__proto__",
+        "prototype",
+        "constructor",
+        "if",
+        "min",
+        "max",
+        "round",
+        "pow",
+        "count",
+        "sum",
+        "mean",
+        "fixed",
+        "percent",
+        "money",
+    ],
+    locales: [
+        "en-US",
+        "en-GB",
+        "es-ES",
+        "fr-FR",
+        "de-DE",
+        "ja-JP",
+        "zh-CN",
+        "zh-TW",
+    ],
+    currencies: ["USD", "EUR", "GBP", "JPY", "CHF", "CAD", "AUD", "CNY"],
+    defaults: {
+        locale: "en-US",
+        currency: "USD",
+        version: "1.0",
+        sliderMin: 0,
+        sliderMax: 100,
+        sliderStep: 1,
+        histogramBins: 8,
+    },
+    limits: {
+        sourceBytes: 2097152,
+        sourceLineUnits: 65536,
+        expressionUnits: 8192,
+        expressionDepth: 32,
+        astNodes: 100000,
+        tintaBlockDepth: 16,
+        markdownDepth: 64,
+        declarations: 512,
+        controls: 128,
+        identifierUnits: 64,
+        textValueUnits: 65536,
+        literalListItems: 1000,
+        tableCount: 64,
+        tableRows: 10000,
+        tableColumns: 64,
+        totalCells: 100000,
+        chartRows: 2000,
+        chartCategories: 200,
+        chartSectors: 24,
+        chartSeries: 6,
+        chartMarks: 12000,
+        documentChartMarks: 32000,
+        chartCount: 32,
+        histogramBinsMin: 2,
+        histogramBinsMax: 30,
+        histogramBinsDefault: 8,
+        choiceOptions: 50,
+        choiceOptionCodePoints: 120,
+        labelCodePoints: 200,
+        sliderTicks: 100000,
+        sliderFractionalDigits: 6,
+        sliderMagnitude: 1000000000,
+        evaluationOperations: 2000000,
+        compileOperations: 5000000,
+        diagnostics: 100,
+        importBytes: 5242880,
+        assetCount: 100,
+        assetBytes: 10485760,
+        totalAssetBytes: 26214400,
+        imagePixels: 20000000,
+        bundleCompressedBytes: 31457280,
+        bundleExpandedBytes: 31457280,
+        bundleEntries: 102,
+        htmlBytes: 41943040,
+        workerWatchdogMs: 3000,
+        editorDebounceMs: 200,
+        recoveryDebounceMs: 1000,
+        recoveryEntries: 10,
+        recoveryTotalBytes: 31457280,
+    },
+    errors: {
+        E_ENCODING: "Invalid UTF-8 source or import encoding.",
+        E_LIMIT: "A named resource limit was exceeded.",
+        E_DIRECTIVE_UNKNOWN: "Unregistered column-1 directive.",
+        E_DIRECTIVE_SYNTAX: "Malformed directive operands/options.",
+        E_BLOCK_END: "Unexpected closing @end.",
+        E_BLOCK_UNCLOSED: "Tinta block has no closing @end.",
+        E_BLOCK_EMPTY: "Conditional/detail block contains no renderable content.",
+        E_DECLARATION_SCOPE: "Root-only declaration used in a nested block.",
+        E_PROPERTY_UNKNOWN: "Unsupported option key.",
+        E_PROPERTY_DUPLICATE: "Option key repeated.",
+        E_PROPERTY_REQUIRED: "Required option missing.",
+        E_PROPERTY_DEPENDENCY: "Option depends on another missing option.",
+        E_PROPERTY_VALUE: "Option has an invalid literal value.",
+        E_VERSION: "Unsupported source format version.",
+        E_META_POSITION: "Repeated or misplaced metadata.",
+        E_META_VALUE: "Unsupported metadata setting.",
+        E_EXPRESSION_SYNTAX: "Invalid/unfinished expression token sequence.",
+        E_NAME_RESERVED: "Reserved or invalid identifier.",
+        E_NAME_DUPLICATE: "Document name declared more than once.",
+        E_NAME_UNKNOWN: "Unresolved global name.",
+        E_ROW_SCOPE: "row.field used outside a supported row context.",
+        E_COLUMN_UNKNOWN: "Referenced table column does not exist.",
+        E_TYPE: "Types do not satisfy an operator/directive/function contract.",
+        E_FUNCTION_ARITY: "Incorrect number of function arguments.",
+        E_CONST_DEPENDENCY: "Constant depends on nonconstant state/data.",
+        E_CYCLE: "Dependency cycle detected.",
+        E_NUMBER_RANGE: "Numeric operation produced a non-finite/non-real result.",
+        E_DIV_ZERO: "Division or remainder by zero.",
+        E_DIGITS_RANGE: "Formatting/rounding digits are outside integer 0\u201310.",
+        E_EMPTY_MEAN: "Mean requested for an empty table/view.",
+        E_STATE_NAME: "Update names an unknown/non-control symbol.",
+        E_STATE_DOMAIN: "Control update/default violates its allowed domain.",
+        E_DATA_HEADER: "Invalid or duplicate typed table header.",
+        E_DATA_ARITY: "Row cell count differs from the schema.",
+        E_DATA_VALUE: "Cell is not a valid scalar for its declared type.",
+        E_CHART_TYPE: "Unknown chart type.",
+        E_CHART_SERIES: "Invalid series count/form for chart type.",
+        E_CHART_DUPLICATE_X: "Chart requires unique x values.",
+        E_CHART_VALUE: "Invalid chart datum, e.g. negative sector value.",
+        E_CHART_DOMAIN: "Finite chart geometry cannot be constructed.",
+        E_SELECTION_TARGET: "Invalid linked-control type/name.",
+        E_SELECTION_DOMAIN: "Chart x cannot be represented by the linked control.",
+        E_IMPORT_SCHEMA: "Unsupported import structure or conversion.",
+        E_IMPORT_PRESERVATION: "Markdown enrichment changed unintended semantics.",
+        E_ASSET_MISSING: "Referenced local image was not supplied.",
+        E_ASSET_EXTERNAL: "Remote/nonlocal image is not permitted.",
+        E_ASSET_TYPE: "Unsupported/mismatched raster image format.",
+        E_ASSET_PATH: "Unsafe resource or ZIP entry path.",
+        E_BUNDLE: "Malformed bundle, duplicate keys/entries, CRC or manifest mismatch.",
+        E_HASH_MISMATCH: "Source/resource hash does not match its envelope.",
+        E_SNAPSHOT: "State envelope does not match source/schema/controls.",
+        E_EXPORT_INVALID: "Export requested for invalid/stale source or an invalid state.",
+        E_OUTPUT_EXISTS: "Output already exists and replacement is not authorized.",
+        E_IO: "Authorized filesystem operation failed.",
+        E_WORKER_TIMEOUT: "Worker did not complete before the watchdog.",
+        E_PROTOCOL: "Malformed or unauthorized host protocol message; stale valid results are ignored.",
+        E_INTERNAL: "Unexpected engine fault; not a document syntax diagnosis.",
+    },
+    warnings: {
+        W_NUL_REPLACED: "NUL displayed as the replacement character.",
+        W_HTML_INERT: "Raw author HTML displayed as text.",
+        W_LINK_LOCAL_UNSUPPORTED: "Local document navigation is not implemented.",
+        W_LINK_UNSAFE: "Unsafe/unsupported link disabled.",
+        W_ASSET_UNAVAILABLE: "Preview image unavailable; export remains blocked.",
+        W_RECOVERY_UNAVAILABLE: "Local browser recovery is unavailable.",
+        W_MARKDOWN_COLLISION: "Enrichment proposes escapes for Tinta-looking literal text.",
+    },
+};

package/dist/runtime.d.ts

@@ -0,0 +1,4 @@
+import type { Program, Result } from "@tinta-lang/types";
+export { createSession } from "./session.js";
+/** Rehydrate exact export-time validated bytes, authenticated by the trusted shell. */
+export declare function restoreExportProgram(payload: unknown, expectedHash: string): Result<Program>;

package/dist/runtime.js

@@ -0,0 +1,32 @@
+import { hash, encodeUtf8 } from "@tinta-lang/types/common";
+import { attempt, Budget, fail, freeze } from "./common.js";
+import { bind } from "./binding.js";
+import { programs } from "./programs.js";
+import { inspect } from "./inspect.js";
+import validate from "./program-validator.js";
+export { createSession } from "./session.js";
+/** Rehydrate exact export-time validated bytes, authenticated by the trusted shell. */
+export function restoreExportProgram(payload, expectedHash) {
+    const span = {
+        uri: "tinta:program",
+        start: { offset: 0, line: 1, column: 1 },
+        end: { offset: 0, line: 1, column: 1 },
+    };
+    return attempt(() => {
+        const budget = new Budget(span, "decode");
+        const serialized = JSON.stringify(payload);
+        if (serialized.length > 41943040 ||
+            hash(encodeUtf8(serialized)) !== expectedHash)
+            fail("E_HASH_MISMATCH", span, "decode");
+        inspect(payload, budget);
+        if (!validate(payload))
+            fail("E_PROTOCOL", span, "decode");
+        const ir = payload;
+        if (hash(encodeUtf8(ir.source)) !== ir.sourceSha256)
+            fail("E_HASH_MISMATCH", span, "decode");
+        const bound = bind(ir, budget, new Map());
+        const program = freeze(ir);
+        programs.set(program, bound);
+        return program;
+    });
+}

package/dist/session.d.ts

@@ -0,0 +1,4 @@
+import type { ControlState, Program, Result, Session } from "@tinta-lang/types";
+export declare function createSession(program: Program, options?: {
+    readonly baseline?: ControlState;
+}): Result<Session>;