openalgo-script 0.1.0-alpha.1 → 0.2.0

package/dist/core/engine/timeframe.js

@@ -0,0 +1,140 @@
+/**
+ * Timeframe strings, and the buckets a read folds bars into.
+ *
+ * `stdlib.md` section 15.2 fixes the spelling: a count and a unit, with the
+ * unit letters case sensitive so `"1M"` is one month and `"1m"` one minute, and
+ * a bare number read as minutes because that is the form an interval input
+ * supplies. This file is that grammar and the arithmetic that follows from it,
+ * and nothing else.
+ *
+ * **A bucket is named by a key rather than by a range**, because a key is one
+ * integer per bar and a range is two comparisons and an edge case. Two bars
+ * belong to the same requested bar exactly when their open instants give the
+ * same key, and a bucket has begun on the first bar whose key is new. Every
+ * boundary question in `requests.ts` reduces to that one comparison, which is
+ * what keeps the off-by-one out of the fold.
+ *
+ * **The two families are keyed differently, and the specification says why.**
+ * An intraday request is folded by counting, so its key is the instant divided
+ * by the period: buckets fall on the same boundaries for every engine, a
+ * session gap moves nothing, and a chart whose bars are not evenly spaced still
+ * folds. A day, week or month request is folded by the calendar, so its key is
+ * a civil date read in the instrument's timezone. That is OS6015's distinction,
+ * which exempts the calendar units from the whole multiple rule for exactly
+ * this reason.
+ *
+ * **A calendar bucket with no timezone has no key.** A host states the zone or
+ * it does not, and an engine that quietly folded days in UTC would put a day
+ * boundary in the middle of a session for most of the world and look right. It
+ * is the same answer `library/dates.ts` gives for the same question: a host that
+ * states no timezone leaves the call absent rather than answered in a zone
+ * nobody chose. A read in that position is absent on every bar of the run, so
+ * `request-plan.ts` gives it the reason `req.error` reports: an absence with no
+ * explanation is the one failure a trader cannot get past on their own.
+ */
+import { dayNumber, fieldsIn } from '../stdlib/index.js';
+/** The grammar of 15.2. A bare number is minutes, which is the interval form. */
+const WRITTEN = /^([0-9]+)(m|h|D|W|M)?$/;
+const MINUTE = 60_000;
+/** The nominal length of one unit, in minutes, for ordering two timeframes. */
+const NOMINAL = {
+    m: 1,
+    h: 60,
+    D: 1440,
+    W: 10_080,
+    M: 43_200,
+};
+export function parseTimeframe(text) {
+    const match = WRITTEN.exec(text.trim());
+    if (match === null)
+        return undefined;
+    const count = Number(match[1]);
+    if (!Number.isInteger(count) || count < 1)
+        return undefined;
+    return { count, unit: (match[2] ?? 'm'), text };
+}
+/** Whether this timeframe is folded by counting rather than by the calendar. */
+export function isIntraday(timeframe) {
+    return timeframe.unit === 'm' || timeframe.unit === 'h';
+}
+/** Minutes one bar covers, for an intraday timeframe only. */
+export function minutesOf(timeframe) {
+    return isIntraday(timeframe) ? timeframe.count * NOMINAL[timeframe.unit] : undefined;
+}
+/**
+ * One timeframe's length in minutes, with a month treated as thirty days.
+ *
+ * Two uses and neither of them folds anything: ordering two timeframes, which
+ * is "is the request finer than the chart" and therefore OS6002, and sizing the
+ * range of history a host is asked to fetch, which is a floor. A month is not a
+ * fixed number of minutes, and where a bucket actually begins is the calendar's
+ * job below.
+ */
+export function nominalMinutes(timeframe) {
+    return timeframe.count * NOMINAL[timeframe.unit];
+}
+/**
+ * Minutes one bar of a chart's own interval covers, or nothing where the host
+ * stated no interval this engine can read.
+ *
+ * A month is counted at its nominal length here, which is the answer the
+ * session facts need and not a claim about a calendar: any bar of a day or more
+ * spans a whole session whatever the exact figure, so every number past the
+ * length of a session gives those facts the same answer.
+ */
+export function barMinutesOf(interval) {
+    if (interval === undefined)
+        return null;
+    const timeframe = parseTimeframe(interval);
+    return timeframe === undefined ? null : nominalMinutes(timeframe);
+}
+/**
+ * The bucket an instant falls in, or nothing when no key can be worked out.
+ *
+ * Nothing comes back for a calendar unit with no zone, and for an instant that
+ * is not a finite number. Both leave the read absent rather than folded into a
+ * bucket the engine invented.
+ */
+export function bucketKeyOf(instant, timeframe, zone) {
+    if (!Number.isFinite(instant))
+        return undefined;
+    const minutes = minutesOf(timeframe);
+    if (minutes !== undefined)
+        return Math.floor(instant / (minutes * MINUTE));
+    if (zone === null)
+        return undefined;
+    const civil = fieldsIn(instant, zone);
+    if (civil === null)
+        return undefined;
+    if (timeframe.unit === 'M') {
+        return Math.floor((civil.year * 12 + (civil.month - 1)) / timeframe.count);
+    }
+    const days = dayNumber(civil.year, civil.month, civil.day);
+    if (timeframe.unit === 'D')
+        return Math.floor(days / timeframe.count);
+    // 1970-01-01 was a Thursday, so shifting by three puts a Monday at the start
+    // of week zero, which is the week start `stdlib.md` 12.2 fixes.
+    return Math.floor(Math.floor((days + 3) / 7) / timeframe.count);
+}
+/**
+ * Whether the chart's bars can be folded into the requested ones.
+ *
+ * Two refusals and no third. A request finer than the chart is OS6002, because
+ * folding cannot invent bars that were never loaded, and an intraday request
+ * that is not a whole multiple of the chart's is OS6015, because an intraday
+ * bucket is counted rather than dated and a bucket boundary that fell inside a
+ * chart bar would put part of one bar in two requested bars. A day, week or
+ * month request is dated, so the multiple rule does not apply to it.
+ */
+export function foldRefusal(requested, chart) {
+    if (nominalMinutes(requested) < nominalMinutes(chart))
+        return { code: 'OS6002' };
+    const wanted = minutesOf(requested);
+    const have = minutesOf(chart);
+    if (wanted === undefined || have === undefined)
+        return undefined;
+    if (wanted % have === 0)
+        return undefined;
+    return { code: 'OS6015', suggestion: `${Math.ceil(wanted / have) * have}` };
+}
+//# sourceMappingURL=timeframe.js.map

package/dist/core/engine/timeframe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeframe.js","sourceRoot":"","sources":["../../../src/core/engine/timeframe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAWzD,iFAAiF;AACjF,MAAM,OAAO,GAAG,wBAAwB,CAAC;AAEzC,MAAM,MAAM,GAAG,MAAM,CAAC;AAEtB,+EAA+E;AAC/E,MAAM,OAAO,GAA4C;IACvD,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;CACV,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAkB,EAAE,IAAI,EAAE,CAAC;AACnE,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,SAAoB;IAC7C,OAAO,SAAS,CAAC,IAAI,KAAK,GAAG,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG,CAAC;AAC1D,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,SAAS,CAAC,SAAoB;IAC5C,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,SAAoB;IACjD,OAAO,SAAS,CAAC,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,QAA4B;IACvD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC3C,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;AACpE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,OAAe,EACf,SAAoB,EACpB,IAAmB;IAEnB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC;IAE3E,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAErC,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACtE,6EAA6E;IAC7E,gEAAgE;IAChE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAOD;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CACzB,SAAoB,EACpB,KAAgB;IAEhB,IAAI,cAAc,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjF,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC;AAC9E,CAAC"}

package/dist/core/engine/types.d.ts

@@ -0,0 +1,15 @@
+/**
+ * The compiled program, as the engine sees it.
+ *
+ * The shape is the emitter's, and deliberately not a second declaration of it.
+ * `compiled-program.md` is the contract, `emit/program.ts` is that contract
+ * written in types, and an engine that declared its own copy would be the first
+ * place the two could drift: a field renamed on one side and not the other
+ * would compile on both and fail at a customer's.
+ *
+ * Nothing is imported at run time. Every import here is a type, so the engine
+ * carries no dependency on the emitter in a build: a host that only runs
+ * compiled programs never loads a line of the compiler.
+ */
+export type { Alert, Band, CallSite, CandleChannels, Cell, Channel, Colour, CompiledFunction, CompiledInput, CompiledProgram, Constant, Debug, Field, Grid, InputReference, Instruction, Level, Library, LibraryFunction, Limits, Loop, Marker, Meta, Outputs, Plot, Position, Register, Request, RequestBody, RequestField, RequestInput, StateRegion, } from '../emit/index.js';
+//# sourceMappingURL=types.d.ts.map

package/dist/core/engine/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/engine/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,YAAY,EACV,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,IAAI,EACJ,OAAO,EACP,MAAM,EACN,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,QAAQ,EACR,KAAK,EACL,KAAK,EACL,IAAI,EACJ,cAAc,EACd,WAAW,EACX,KAAK,EACL,OAAO,EACP,eAAe,EACf,MAAM,EACN,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,GACZ,MAAM,kBAAkB,CAAC"}

package/dist/core/engine/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/engine/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/engine/types.ts"],"names":[],"mappings":""}

package/dist/core/engine/values/heap.d.ts

@@ -0,0 +1,134 @@
+/**
+ * The object heap: arrays, grids and drawing objects, `compiled-program.md`
+ * 3.2.
+ *
+ * Everything here exists to serve one requirement, section 6.2's: after a
+ * restore, two cells that held the same array still hold the same array, and a
+ * `push` through one is visible through the other. A heap addressed by integer
+ * gives that for nothing, because a restore puts integers back and the graph
+ * was never taken apart.
+ *
+ * **Rollback is an undo journal rather than a copy.** Section 6.2 permits a
+ * full copy, copy on write, an undo journal or nothing at all, and requires the
+ * semantics rather than the representation. A full copy of the heap at every
+ * bar is quadratic in a study that keeps a drawing object per bar, which is a
+ * study people write, so the journal takes a copy of an object the first time a
+ * bar touches it and of nothing else. A bar that changes nothing costs nothing.
+ *
+ * **What nothing can reach is dropped at a checkpoint.** A study that builds an
+ * array every bar and keeps none of them would otherwise grow for as long as
+ * the chart is open, and refusing it at a ceiling would be the wrong answer:
+ * the objects are rubbish, not a program asking for too much. The sweep runs
+ * only once the heap has grown past what the last one found live, so its cost
+ * is spread over the allocations that made it necessary.
+ */
+import type { Value } from './value.js';
+/** The kinds of object a reference can point at. */
+export type ObjectKind = 'array' | 'table' | 'line' | 'label' | 'box' | 'polyline';
+/** One cell a script wrote into a grid during this bar. */
+export interface GridCell {
+    readonly row: number;
+    readonly col: number;
+    readonly text: Value;
+    readonly textColor: Value;
+    readonly bgColor: Value;
+    readonly align: Value;
+}
+export interface ArrayObject {
+    readonly kind: 'array';
+    items: Value[];
+}
+export interface TableObject {
+    readonly kind: 'table';
+    readonly rows: number;
+    readonly cols: number;
+    /**
+     * The cells written this bar, in write order.
+     *
+     * Not in a checkpoint and not rolled back: step 3 of every execution empties
+     * the buffers, so a re-executed bar rebuilds them from nothing.
+     */
+    cells: GridCell[];
+}
+export interface DrawingObject {
+    readonly kind: 'line' | 'label' | 'box' | 'polyline';
+    props: Record<string, Value>;
+    deleted: boolean;
+    /** The bar it was deleted on, for OS4005's message. */
+    deletedAt: number;
+}
+export type HeapObject = ArrayObject | TableObject | DrawingObject;
+export declare function isDrawing(object: HeapObject): object is DrawingObject;
+/** What a caller must offer the sweep: every value a live root holds. */
+export type RootWalk = (visit: (value: Value) => void) => void;
+export declare class Heap {
+    private readonly objects;
+    private readonly free;
+    /** Drawing object ids in creation order, which is the order a host draws them. */
+    private drawingIds;
+    /** A copy of each object taken before the first change this bar made to it. */
+    private readonly taken;
+    /** Ids allocated during this bar, oldest first. */
+    private created;
+    /** The drawing roster's length when this bar began. */
+    private drawingsAtBarStart;
+    private liveAtSweep;
+    private sinceSweep;
+    private elements;
+    /**
+     * Drawing objects created and not yet deleted, kept as a running count.
+     *
+     * Counted rather than measured because two things ask for it on the hot
+     * path: `draw.count()` on every bar and the object ceiling on every
+     * creation. Walking the roster for each would make a study that holds ten
+     * thousand objects quadratic in the number it holds, which is the study the
+     * ceiling exists for. The count is adjusted by the same journal that undoes
+     * everything else, so a rolled back creation is a rolled back count.
+     */
+    private drawingsLive;
+    /** Objects alive right now, which is what a heap ceiling counts. */
+    liveCount(): number;
+    /** Drawing objects the script has created and not deleted. */
+    drawingCount(): number;
+    /** Total array elements held. */
+    elementCount(): number;
+    get(id: number): HeapObject | undefined;
+    /** The object a reference names, or nothing when the value is not one. */
+    deref(value: Value): HeapObject | undefined;
+    allocate(object: HeapObject): number;
+    /**
+     * Delete one drawing object, which is the only thing that ends its life.
+     *
+     * Here rather than in the library call so that the roster, the count and the
+     * journal cannot disagree: a caller that set the flag itself would leave the
+     * count saying one thing and the objects another, and the first symptom
+     * would be a ceiling refusing a script that had deleted everything.
+     *
+     * Deleting twice does nothing and is not an error. The script asked for the
+     * object to be gone and it is gone; only a change to a deleted object is
+     * OS4005.
+     */
+    deleteDrawing(id: number, bar: number): void;
+    /**
+     * Announce a change to an object before making it.
+     *
+     * The copy is taken once per bar per object: the journal only has to restore
+     * the state the bar started in, so the second change to the same object has
+     * nothing to record.
+     */
+    touch(id: number): void;
+    /** Called after an array's length changes, so the ceiling sees it. */
+    countElements(delta: number): void;
+    /** The drawing objects a host should see, in creation order. */
+    drawings(): readonly {
+        readonly id: number;
+        readonly object: DrawingObject;
+    }[];
+    /** Undo every change this bar made, which is section 6.3 for the heap. */
+    rollback(): void;
+    /** Accept every change this bar made. The journal starts again empty. */
+    commit(): void;
+    /** Drop what nothing can reach. Only at a checkpoint, and only when it pays. */
+    sweep(roots: RootWalk): void;
+}
+//# sourceMappingURL=heap.d.ts.map

package/dist/core/engine/values/heap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"heap.d.ts","sourceRoot":"","sources":["../../../../src/core/engine/values/heap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGxC,oDAAoD;AACpD,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,UAAU,CAAC;AAEnF,2DAA2D;AAC3D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,KAAK,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,UAAU,CAAC;IACrD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,uDAAuD;IACvD,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAEnE,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,aAAa,CAErE;AAeD,yEAAyE;AACzE,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC;AAE/D,qBAAa,IAAI;IACf,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAkC;IAC1D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAgB;IACrC,kFAAkF;IAClF,OAAO,CAAC,UAAU,CAAgB;IAClC,+EAA+E;IAC/E,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAiC;IACvD,mDAAmD;IACnD,OAAO,CAAC,OAAO,CAAgB;IAC/B,uDAAuD;IACvD,OAAO,CAAC,kBAAkB,CAAK;IAC/B,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,UAAU,CAAK;IACvB,OAAO,CAAC,QAAQ,CAAK;IACrB;;;;;;;;;OASG;IACH,OAAO,CAAC,YAAY,CAAK;IAEzB,oEAAoE;IACpE,SAAS,IAAI,MAAM;IAInB,8DAA8D;IAC9D,YAAY,IAAI,MAAM;IAItB,iCAAiC;IACjC,YAAY,IAAI,MAAM;IAItB,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAIvC,0EAA0E;IAC1E,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,GAAG,SAAS;IAI3C,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM;IAcpC;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAS5C;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAOvB,sEAAsE;IACtE,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAIlC,gEAAgE;IAChE,QAAQ,IAAI,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;KAAE,EAAE;IAU9E,0EAA0E;IAC1E,QAAQ,IAAI,IAAI;IA8BhB,yEAAyE;IACzE,MAAM,IAAI,IAAI;IAMd,gFAAgF;IAChF,KAAK,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;CAoD7B"}

package/dist/core/engine/values/heap.js

@@ -0,0 +1,230 @@
+import { isRef, reference } from './value.js';
+export function isDrawing(object) {
+    return object.kind !== 'array' && object.kind !== 'table';
+}
+function copyObject(object) {
+    if (object.kind === 'array')
+        return { kind: 'array', items: [...object.items] };
+    if (object.kind === 'table') {
+        return { kind: 'table', rows: object.rows, cols: object.cols, cells: [...object.cells] };
+    }
+    return {
+        kind: object.kind,
+        props: { ...object.props },
+        deleted: object.deleted,
+        deletedAt: object.deletedAt,
+    };
+}
+export class Heap {
+    objects = [];
+    free = [];
+    /** Drawing object ids in creation order, which is the order a host draws them. */
+    drawingIds = [];
+    /** A copy of each object taken before the first change this bar made to it. */
+    taken = new Map();
+    /** Ids allocated during this bar, oldest first. */
+    created = [];
+    /** The drawing roster's length when this bar began. */
+    drawingsAtBarStart = 0;
+    liveAtSweep = 0;
+    sinceSweep = 0;
+    elements = 0;
+    /**
+     * Drawing objects created and not yet deleted, kept as a running count.
+     *
+     * Counted rather than measured because two things ask for it on the hot
+     * path: `draw.count()` on every bar and the object ceiling on every
+     * creation. Walking the roster for each would make a study that holds ten
+     * thousand objects quadratic in the number it holds, which is the study the
+     * ceiling exists for. The count is adjusted by the same journal that undoes
+     * everything else, so a rolled back creation is a rolled back count.
+     */
+    drawingsLive = 0;
+    /** Objects alive right now, which is what a heap ceiling counts. */
+    liveCount() {
+        return this.objects.length - this.free.length;
+    }
+    /** Drawing objects the script has created and not deleted. */
+    drawingCount() {
+        return this.drawingsLive;
+    }
+    /** Total array elements held. */
+    elementCount() {
+        return this.elements;
+    }
+    get(id) {
+        return this.objects[id];
+    }
+    /** The object a reference names, or nothing when the value is not one. */
+    deref(value) {
+        return isRef(value) ? this.objects[value.id] : undefined;
+    }
+    allocate(object) {
+        const reused = this.free.pop();
+        const id = reused ?? this.objects.length;
+        this.objects[id] = object;
+        this.created.push(id);
+        this.sinceSweep += 1;
+        if (object.kind === 'array')
+            this.elements += object.items.length;
+        if (isDrawing(object)) {
+            this.drawingIds.push(id);
+            this.drawingsLive += 1;
+        }
+        return id;
+    }
+    /**
+     * Delete one drawing object, which is the only thing that ends its life.
+     *
+     * Here rather than in the library call so that the roster, the count and the
+     * journal cannot disagree: a caller that set the flag itself would leave the
+     * count saying one thing and the objects another, and the first symptom
+     * would be a ceiling refusing a script that had deleted everything.
+     *
+     * Deleting twice does nothing and is not an error. The script asked for the
+     * object to be gone and it is gone; only a change to a deleted object is
+     * OS4005.
+     */
+    deleteDrawing(id, bar) {
+        const object = this.objects[id];
+        if (object === undefined || !isDrawing(object) || object.deleted)
+            return;
+        this.touch(id);
+        object.deleted = true;
+        object.deletedAt = bar;
+        this.drawingsLive -= 1;
+    }
+    /**
+     * Announce a change to an object before making it.
+     *
+     * The copy is taken once per bar per object: the journal only has to restore
+     * the state the bar started in, so the second change to the same object has
+     * nothing to record.
+     */
+    touch(id) {
+        if (this.taken.has(id))
+            return;
+        const object = this.objects[id];
+        if (object === undefined)
+            return;
+        this.taken.set(id, copyObject(object));
+    }
+    /** Called after an array's length changes, so the ceiling sees it. */
+    countElements(delta) {
+        this.elements += delta;
+    }
+    /** The drawing objects a host should see, in creation order. */
+    drawings() {
+        const out = [];
+        for (const id of this.drawingIds) {
+            const object = this.objects[id];
+            if (object === undefined || !isDrawing(object) || object.deleted)
+                continue;
+            out.push({ id, object });
+        }
+        return out;
+    }
+    /** Undo every change this bar made, which is section 6.3 for the heap. */
+    rollback() {
+        for (const [id, object] of this.taken) {
+            const current = this.objects[id];
+            if (current !== undefined && current.kind === 'array' && object.kind === 'array') {
+                this.elements += object.items.length - current.items.length;
+            }
+            // A deletion this bar made is undone with everything else, so the object
+            // comes back and the count comes back with it.
+            if (current !== undefined && isDrawing(current) && isDrawing(object)) {
+                this.drawingsLive += (object.deleted ? 0 : 1) - (current.deleted ? 0 : 1);
+            }
+            this.objects[id] = object;
+        }
+        this.taken.clear();
+        for (let i = this.created.length - 1; i >= 0; i -= 1) {
+            const id = this.created[i];
+            if (id === undefined)
+                continue;
+            const object = this.objects[id];
+            if (object !== undefined && object.kind === 'array')
+                this.elements -= object.items.length;
+            // An object created and then deleted on the same bar was counted out of
+            // the roster by the deletion, so only a live one is counted out here.
+            if (object !== undefined && isDrawing(object) && !object.deleted)
+                this.drawingsLive -= 1;
+            this.objects[id] = undefined;
+            this.free.push(id);
+            this.sinceSweep -= 1;
+        }
+        this.created = [];
+        this.drawingIds.length = this.drawingsAtBarStart;
+    }
+    /** Accept every change this bar made. The journal starts again empty. */
+    commit() {
+        this.taken.clear();
+        this.created = [];
+        this.drawingsAtBarStart = this.drawingIds.length;
+    }
+    /** Drop what nothing can reach. Only at a checkpoint, and only when it pays. */
+    sweep(roots) {
+        if (this.sinceSweep < this.liveAtSweep + 256)
+            return;
+        const live = new Set();
+        const pending = [];
+        const visit = (value) => {
+            if (!isRef(value) || live.has(value.id))
+                return;
+            if (this.objects[value.id] === undefined)
+                return;
+            live.add(value.id);
+            pending.push(value.id);
+        };
+        roots(visit);
+        // Every drawing object that has not been deleted is a root of its own: the
+        // surface holds it, so a script that draws a box and keeps no name for it
+        // still gets a box.
+        for (const id of this.drawingIds) {
+            const object = this.objects[id];
+            if (object !== undefined && isDrawing(object) && !object.deleted)
+                visit(reference(id));
+        }
+        while (pending.length > 0) {
+            const id = pending.pop();
+            if (id === undefined)
+                continue;
+            const object = this.objects[id];
+            if (object === undefined)
+                continue;
+            if (object.kind === 'array')
+                for (const item of object.items)
+                    visit(item);
+            else if (object.kind === 'table') {
+                for (const cell of object.cells) {
+                    visit(cell.text);
+                    visit(cell.textColor);
+                    visit(cell.bgColor);
+                }
+            }
+            else
+                for (const key of Object.keys(object.props))
+                    visit(object.props[key] ?? null);
+        }
+        for (let id = 0; id < this.objects.length; id += 1) {
+            const object = this.objects[id];
+            if (object === undefined || live.has(id))
+                continue;
+            if (object.kind === 'array')
+                this.elements -= object.items.length;
+            // A drawing that has not been deleted is a root of its own, so this
+            // subtracts nothing in practice. It is written because the day the roots
+            // change is the day a silently wrong count would start.
+            if (isDrawing(object) && !object.deleted)
+                this.drawingsLive -= 1;
+            this.objects[id] = undefined;
+            this.free.push(id);
+        }
+        this.drawingIds = this.drawingIds.filter((id) => live.has(id));
+        this.drawingsAtBarStart = this.drawingIds.length;
+        this.liveAtSweep = live.size;
+        this.sinceSweep = 0;
+    }
+}
+//# sourceMappingURL=heap.js.map

package/dist/core/engine/values/heap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"heap.js","sourceRoot":"","sources":["../../../../src/core/engine/values/heap.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AA2C9C,MAAM,UAAU,SAAS,CAAC,MAAkB;IAC1C,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,MAAkB;IACpC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAChF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC3F,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE;QAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAC;AACJ,CAAC;AAKD,MAAM,OAAO,IAAI;IACE,OAAO,GAA+B,EAAE,CAAC;IACzC,IAAI,GAAa,EAAE,CAAC;IACrC,kFAAkF;IAC1E,UAAU,GAAa,EAAE,CAAC;IAClC,+EAA+E;IAC9D,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IACvD,mDAAmD;IAC3C,OAAO,GAAa,EAAE,CAAC;IAC/B,uDAAuD;IAC/C,kBAAkB,GAAG,CAAC,CAAC;IACvB,WAAW,GAAG,CAAC,CAAC;IAChB,UAAU,GAAG,CAAC,CAAC;IACf,QAAQ,GAAG,CAAC,CAAC;IACrB;;;;;;;;;OASG;IACK,YAAY,GAAG,CAAC,CAAC;IAEzB,oEAAoE;IACpE,SAAS;QACP,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;IAChD,CAAC;IAED,8DAA8D;IAC9D,YAAY;QACV,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,iCAAiC;IACjC,YAAY;QACV,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED,0EAA0E;IAC1E,KAAK,CAAC,KAAY;QAChB,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,QAAQ,CAAC,MAAkB;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACrB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QAClE,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,EAAU,EAAE,GAAW;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO;QACzE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;QACtB,MAAM,CAAC,SAAS,GAAG,GAAG,CAAC;QACvB,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;IACzB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,EAAU;QACd,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,sEAAsE;IACtE,aAAa,CAAC,KAAa;QACzB,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC;IACzB,CAAC;IAED,gEAAgE;IAChE,QAAQ;QACN,MAAM,GAAG,GAA4C,EAAE,CAAC;QACxD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;gBAAE,SAAS;YAC3E,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,0EAA0E;IAC1E,QAAQ;QACN,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACjF,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;YAC9D,CAAC;YACD,yEAAyE;YACzE,+CAA+C;YAC/C,IAAI,OAAO,KAAK,SAAS,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;YAC1F,wEAAwE;YACxE,sEAAsE;YACtE,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;YACzF,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnB,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC;IACnD,CAAC;IAED,yEAAyE;IACzE,MAAM;QACJ,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;IACnD,CAAC;IAED,gFAAgF;IAChF,KAAK,CAAC,KAAe;QACnB,IAAI,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,WAAW,GAAG,GAAG;YAAE,OAAO;QACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,MAAM,KAAK,GAAG,CAAC,KAAY,EAAQ,EAAE;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,OAAO;YAChD,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,SAAS;gBAAE,OAAO;YACjD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC,CAAC;QAEF,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,2EAA2E;QAC3E,0EAA0E;QAC1E,oBAAoB;QACpB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;QACzF,CAAC;QAED,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;iBACrE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;;gBAAM,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;oBAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QACvF,CAAC;QAED,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACnD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;YAClE,oEAAoE;YACpE,yEAAyE;YACzE,wDAAwD;YACxD,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;YACjE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACjD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;IACtB,CAAC;CACF"}

package/dist/core/engine/values/index.d.ts

@@ -0,0 +1,13 @@
+/**
+ * What a running program holds: the six values of `compiled-program.md` 3.1
+ * and the heap the sixth one points into.
+ *
+ * Separate from the engine's own module because the library needs both and the
+ * engine needs both, and a value model that lived inside either one would make
+ * the other import it through a door it has no business going through.
+ */
+export type { ColourValue, Reference, Value } from './value.js';
+export { ABSENT, colour, isAbsent, isBool, isColour, isNumber, isRef, isString, numberValue, reference, tagOf, valuesEqual, } from './value.js';
+export type { ArrayObject, DrawingObject, GridCell, HeapObject, ObjectKind, RootWalk, TableObject, } from './heap.js';
+export { Heap, isDrawing } from './heap.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/engine/values/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/engine/values/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EACL,MAAM,EACN,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,KAAK,EACL,QAAQ,EACR,WAAW,EACX,SAAS,EACT,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,YAAY,EACV,WAAW,EACX,aAAa,EACb,QAAQ,EACR,UAAU,EACV,UAAU,EACV,QAAQ,EACR,WAAW,GACZ,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC"}

package/dist/core/engine/values/index.js

@@ -0,0 +1,3 @@
+export { ABSENT, colour, isAbsent, isBool, isColour, isNumber, isRef, isString, numberValue, reference, tagOf, valuesEqual, } from './value.js';
+export { Heap, isDrawing } from './heap.js';
+//# sourceMappingURL=index.js.map

package/dist/core/engine/values/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/engine/values/index.ts"],"names":[],"mappings":"AASA,OAAO,EACL,MAAM,EACN,MAAM,EACN,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,KAAK,EACL,QAAQ,EACR,WAAW,EACX,SAAS,EACT,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AAWpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC"}