nucleation 0.10.4 → 0.10.7

package/Hdl.d.mts

@@ -0,0 +1,56 @@
+// generated by diplomat-tool
+import type { NucleationError } from "./NucleationError.mjs"
+import type { Schematic } from "./Schematic.mjs"
+import type { pointer, codepoint } from "./diplomat-runtime.d.ts";
+
+
+
+/**
+ * Namespacing opaque for the HDL compiler entry points (static methods,
+ * like `Routing`).
+ */
+export class Hdl {
+    /** @internal */
+    get ffiValue(): pointer;
+    /** @internal */
+    constructor();
+
+
+    /**
+     * Compile combinational BLIF text into a redstone PLA schematic.
+     *
+     * `blif` is yosys `write_blif` output (`.latch`/`.subckt` are
+     * rejected — combinational only). One floor lever per `.inputs` net
+     * drives the build; every signal has a dust probe. `bake=true`
+     * settles the build in the tick engine first and saves it at rest
+     * (needs the `mc-tick` feature, else errors).
+     *
+     * Probe/lever coordinates and stats come from `compile_blif_report`.
+     */
+    static compileBlif(blif: string, name: string, bake: boolean): Schematic;
+
+    /**
+     * Compile `blif` and write the JSON report: stats (`prims`,
+     * `levels`, `peephole_removed`, `blocks`, `bounds`), `inputs` (=
+     * lever drive order), `outputs` (each `{name, probe}` or `{name,
+     * const}`), `levers` (`{signal, pos}`), and `probes`
+     * (signal -> `[x, y, z]` dust cell, in the schematic's own
+     * coordinates).
+     */
+    static compileBlifReport(blif: string, name: string): string;
+
+    /**
+     * Compile `blif` and write its typed-cell contract as JSON — the
+     * `CellContract` file format (name, `io` with typed ports/buses,
+     * `physical` sidecar). Vector ports (`a[0..3]` or `a0..a3`) group
+     * into word buses (LSB = index 0); single bits are boolean. Input
+     * port positions are the drive levers, output positions the dust
+     * probes, in the same schematic coordinates as `compile_blif`.
+     *
+     * The `physical.delays_rt` table is ESTIMATED from levelization
+     * depth (2 redstone ticks per level), not measured; `paste_safe`
+     * is false until proven. Pair with `compile_blif` for the
+     * schematic: schematic + this contract = an executable typed cell.
+     */
+    static compileBlifContract(blif: string, name: string): string;
+}

package/Hdl.d.ts

@@ -0,0 +1,56 @@
+// generated by diplomat-tool
+import type { NucleationError } from "./NucleationError.mjs"
+import type { Schematic } from "./Schematic.mjs"
+import type { pointer, codepoint } from "./diplomat-runtime.d.ts";
+
+
+
+/**
+ * Namespacing opaque for the HDL compiler entry points (static methods,
+ * like `Routing`).
+ */
+export class Hdl {
+    /** @internal */
+    get ffiValue(): pointer;
+    /** @internal */
+    constructor();
+
+
+    /**
+     * Compile combinational BLIF text into a redstone PLA schematic.
+     *
+     * `blif` is yosys `write_blif` output (`.latch`/`.subckt` are
+     * rejected — combinational only). One floor lever per `.inputs` net
+     * drives the build; every signal has a dust probe. `bake=true`
+     * settles the build in the tick engine first and saves it at rest
+     * (needs the `mc-tick` feature, else errors).
+     *
+     * Probe/lever coordinates and stats come from `compile_blif_report`.
+     */
+    static compileBlif(blif: string, name: string, bake: boolean): Schematic;
+
+    /**
+     * Compile `blif` and write the JSON report: stats (`prims`,
+     * `levels`, `peephole_removed`, `blocks`, `bounds`), `inputs` (=
+     * lever drive order), `outputs` (each `{name, probe}` or `{name,
+     * const}`), `levers` (`{signal, pos}`), and `probes`
+     * (signal -> `[x, y, z]` dust cell, in the schematic's own
+     * coordinates).
+     */
+    static compileBlifReport(blif: string, name: string): string;
+
+    /**
+     * Compile `blif` and write its typed-cell contract as JSON — the
+     * `CellContract` file format (name, `io` with typed ports/buses,
+     * `physical` sidecar). Vector ports (`a[0..3]` or `a0..a3`) group
+     * into word buses (LSB = index 0); single bits are boolean. Input
+     * port positions are the drive levers, output positions the dust
+     * probes, in the same schematic coordinates as `compile_blif`.
+     *
+     * The `physical.delays_rt` table is ESTIMATED from levelization
+     * depth (2 redstone ticks per level), not measured; `paste_safe`
+     * is false until proven. Pair with `compile_blif` for the
+     * schematic: schematic + this contract = an executable typed cell.
+     */
+    static compileBlifContract(blif: string, name: string): string;
+}

package/Hdl.mjs

@@ -0,0 +1,163 @@
+// generated by diplomat-tool
+import { NucleationError } from "./NucleationError.mjs"
+import { Schematic } from "./Schematic.mjs"
+import wasm from "./diplomat-wasm.mjs";
+import * as diplomatRuntime from "./diplomat-runtime.mjs";
+
+const Hdl_box_destroy_registry = new FinalizationRegistry((ptr) => {
+    wasm.Hdl_destroy(ptr);
+});
+
+/**
+ * Namespacing opaque for the HDL compiler entry points (static methods,
+ * like `Routing`).
+ */
+export class Hdl {
+    // Internal ptr reference:
+    #ptr = null;
+
+    // Lifetimes are only to keep dependencies alive.
+    // Since JS won't garbage collect until there are no incoming edges.
+    #selfEdge = [];
+
+    #internalConstructor(symbol, ptr, selfEdge) {
+        if (symbol !== diplomatRuntime.internalConstructor) {
+            console.error("Hdl is an Opaque type. You cannot call its constructor.");
+            return;
+        }
+        this.#ptr = ptr;
+        this.#selfEdge = selfEdge;
+
+        // Are we being borrowed? If not, we can register.
+        if (this.#selfEdge.length === 0) {
+            Hdl_box_destroy_registry.register(this, this.#ptr);
+        }
+
+        return this;
+    }
+    /** @internal */
+    get ffiValue() {
+        return this.#ptr;
+    }
+
+
+    /**
+     * Compile combinational BLIF text into a redstone PLA schematic.
+     *
+     * `blif` is yosys `write_blif` output (`.latch`/`.subckt` are
+     * rejected — combinational only). One floor lever per `.inputs` net
+     * drives the build; every signal has a dust probe. `bake=true`
+     * settles the build in the tick engine first and saves it at rest
+     * (needs the `mc-tick` feature, else errors).
+     *
+     * Probe/lever coordinates and stats come from `compile_blif_report`.
+     */
+    static compileBlif(blif, name, bake) {
+        let functionCleanupArena = new diplomatRuntime.CleanupArena();
+
+        const blifSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, blif)));
+        const nameSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, name)));
+        const diplomatReceive = new diplomatRuntime.DiplomatReceiveBuf(wasm, 5, 4, true);
+
+
+        const result = wasm.Hdl_compile_blif(diplomatReceive.buffer, blifSlice.ptr, nameSlice.ptr, bake);
+
+        try {
+            if (!diplomatReceive.resultFlag) {
+                const cause = new NucleationError(diplomatRuntime.internalConstructor, diplomatRuntime.enumDiscriminant(wasm, diplomatReceive.buffer));
+                throw new globalThis.Error('NucleationError.' + cause.value, { cause });
+            }
+            return new Schematic(diplomatRuntime.internalConstructor, diplomatRuntime.ptrRead(wasm, diplomatReceive.buffer), []);
+        }
+
+        finally {
+            diplomatRuntime.FUNCTION_PARAM_ALLOC.clean();
+            functionCleanupArena.free();
+
+            diplomatReceive.free();
+        }
+    }
+
+    /**
+     * Compile `blif` and write the JSON report: stats (`prims`,
+     * `levels`, `peephole_removed`, `blocks`, `bounds`), `inputs` (=
+     * lever drive order), `outputs` (each `{name, probe}` or `{name,
+     * const}`), `levers` (`{signal, pos}`), and `probes`
+     * (signal -> `[x, y, z]` dust cell, in the schematic's own
+     * coordinates).
+     */
+    static compileBlifReport(blif, name) {
+        let functionCleanupArena = new diplomatRuntime.CleanupArena();
+
+        const blifSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, blif)));
+        const nameSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, name)));
+        const diplomatReceive = new diplomatRuntime.DiplomatReceiveBuf(wasm, 5, 4, true);
+
+        const write = new diplomatRuntime.DiplomatWriteBuf(wasm);
+
+
+        const result = wasm.Hdl_compile_blif_report(diplomatReceive.buffer, blifSlice.ptr, nameSlice.ptr, write.buffer);
+
+        try {
+            if (!diplomatReceive.resultFlag) {
+                const cause = new NucleationError(diplomatRuntime.internalConstructor, diplomatRuntime.enumDiscriminant(wasm, diplomatReceive.buffer));
+                throw new globalThis.Error('NucleationError.' + cause.value, { cause });
+            }
+            return write.readString8();
+        }
+
+        finally {
+            diplomatRuntime.FUNCTION_PARAM_ALLOC.clean();
+            functionCleanupArena.free();
+
+            diplomatReceive.free();
+            write.free();
+        }
+    }
+
+    /**
+     * Compile `blif` and write its typed-cell contract as JSON — the
+     * `CellContract` file format (name, `io` with typed ports/buses,
+     * `physical` sidecar). Vector ports (`a[0..3]` or `a0..a3`) group
+     * into word buses (LSB = index 0); single bits are boolean. Input
+     * port positions are the drive levers, output positions the dust
+     * probes, in the same schematic coordinates as `compile_blif`.
+     *
+     * The `physical.delays_rt` table is ESTIMATED from levelization
+     * depth (2 redstone ticks per level), not measured; `paste_safe`
+     * is false until proven. Pair with `compile_blif` for the
+     * schematic: schematic + this contract = an executable typed cell.
+     */
+    static compileBlifContract(blif, name) {
+        let functionCleanupArena = new diplomatRuntime.CleanupArena();
+
+        const blifSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, blif)));
+        const nameSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, name)));
+        const diplomatReceive = new diplomatRuntime.DiplomatReceiveBuf(wasm, 5, 4, true);
+
+        const write = new diplomatRuntime.DiplomatWriteBuf(wasm);
+
+
+        const result = wasm.Hdl_compile_blif_contract(diplomatReceive.buffer, blifSlice.ptr, nameSlice.ptr, write.buffer);
+
+        try {
+            if (!diplomatReceive.resultFlag) {
+                const cause = new NucleationError(diplomatRuntime.internalConstructor, diplomatRuntime.enumDiscriminant(wasm, diplomatReceive.buffer));
+                throw new globalThis.Error('NucleationError.' + cause.value, { cause });
+            }
+            return write.readString8();
+        }
+
+        finally {
+            diplomatRuntime.FUNCTION_PARAM_ALLOC.clean();
+            functionCleanupArena.free();
+
+            diplomatReceive.free();
+            write.free();
+        }
+    }
+
+    constructor(symbol, ptr, selfEdge) {
+        return this.#internalConstructor(...arguments)
+    }
+}

package/MchprsWorld.mjs

@@ -195,7 +195,7 @@ export class MchprsWorld {
         const result = wasm.MchprsWorld_get_lever_power(this.ffiValue, x, y, z);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {
@@ -211,7 +211,7 @@ export class MchprsWorld {
         const result = wasm.MchprsWorld_is_lit(this.ffiValue, x, y, z);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {

package/MeshConfig.mjs

@@ -78,7 +78,7 @@ export class MeshConfig {
         const result = wasm.MeshConfig_cull_hidden_faces(this.ffiValue);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {
@@ -107,7 +107,7 @@ export class MeshConfig {
         const result = wasm.MeshConfig_ambient_occlusion(this.ffiValue);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {
@@ -262,7 +262,7 @@ export class MeshConfig {
         const result = wasm.MeshConfig_cull_occluded_blocks(this.ffiValue);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {
@@ -292,7 +292,7 @@ export class MeshConfig {
         const result = wasm.MeshConfig_greedy_meshing(this.ffiValue);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {

package/MeshResult.d.mts

@@ -28,6 +28,17 @@ export class MeshResult {
      */
     static createUsdz(schematic: Schematic, pack: ResourcePack, config: MeshConfig): MeshResult;
 
+    /**
+     * A schematic plus a run timeline, as an animated GLB, base64-encoded.
+     *
+     * `timeline_json` is what `TickSimulation::animation_timeline_json`
+     * produces, and `schematic` the scene it starts from
+     * (`selection_schematic_b64`). Static rather than a method on a mesh
+     * because the animation is built from the schematic and the timeline
+     * together — there is no intermediate `MeshResult` to hang it off.
+     */
+    static animatedGlbB64(schematic: Schematic, pack: ResourcePack, timelineJson: string): string;
+
     /**
      * The mesh as a binary GLB, base64-encoded.
      */

package/MeshResult.d.ts

@@ -28,6 +28,17 @@ export class MeshResult {
      */
     static createUsdz(schematic: Schematic, pack: ResourcePack, config: MeshConfig): MeshResult;
 
+    /**
+     * A schematic plus a run timeline, as an animated GLB, base64-encoded.
+     *
+     * `timeline_json` is what `TickSimulation::animation_timeline_json`
+     * produces, and `schematic` the scene it starts from
+     * (`selection_schematic_b64`). Static rather than a method on a mesh
+     * because the animation is built from the schematic and the timeline
+     * together — there is no intermediate `MeshResult` to hang it off.
+     */
+    static animatedGlbB64(schematic: Schematic, pack: ResourcePack, timelineJson: string): string;
+
     /**
      * The mesh as a binary GLB, base64-encoded.
      */

package/MeshResult.mjs

@@ -89,6 +89,43 @@ export class MeshResult {
         }
     }
 
+    /**
+     * A schematic plus a run timeline, as an animated GLB, base64-encoded.
+     *
+     * `timeline_json` is what `TickSimulation::animation_timeline_json`
+     * produces, and `schematic` the scene it starts from
+     * (`selection_schematic_b64`). Static rather than a method on a mesh
+     * because the animation is built from the schematic and the timeline
+     * together — there is no intermediate `MeshResult` to hang it off.
+     */
+    static animatedGlbB64(schematic, pack, timelineJson) {
+        let functionCleanupArena = new diplomatRuntime.CleanupArena();
+
+        const timelineJsonSlice = functionCleanupArena.alloc(diplomatRuntime.DiplomatBuf.sliceWrapper(wasm, diplomatRuntime.DiplomatBuf.str8(wasm, timelineJson)));
+        const diplomatReceive = new diplomatRuntime.DiplomatReceiveBuf(wasm, 5, 4, true);
+
+        const write = new diplomatRuntime.DiplomatWriteBuf(wasm);
+
+
+        const result = wasm.MeshResult_animated_glb_b64(diplomatReceive.buffer, schematic.ffiValue, pack.ffiValue, timelineJsonSlice.ptr, write.buffer);
+
+        try {
+            if (!diplomatReceive.resultFlag) {
+                const cause = new NucleationError(diplomatRuntime.internalConstructor, diplomatRuntime.enumDiscriminant(wasm, diplomatReceive.buffer));
+                throw new globalThis.Error('NucleationError.' + cause.value, { cause });
+            }
+            return write.readString8();
+        }
+
+        finally {
+            diplomatRuntime.FUNCTION_PARAM_ALLOC.clean();
+            functionCleanupArena.free();
+
+            diplomatReceive.free();
+            write.free();
+        }
+    }
+
     /**
      * The mesh as a binary GLB, base64-encoded.
      */
@@ -199,7 +236,7 @@ export class MeshResult {
         const result = wasm.MeshResult_has_transparency(this.ffiValue);
 
         try {
-            return result;
+            return result === 1;
         }
 
         finally {

package/NucleationError.d.mts

@@ -37,5 +37,17 @@ export class NucleationError {
     static Generation : NucleationError;
 
 
+    /**
+     * Why the last failing bridge call on this thread failed, in words.
+     *
+     * The enum cannot carry a message across the FFI, so a caught error
+     * is a bare variant — `InvalidArgument` — while the layer that
+     * refused already knew it was "19.2M cells over the 8M cap". Modules
+     * that know the story record it; this reads it back, so an exception
+     * handler holding the error value can ask it for the words. Empty
+     * when the last detail-carrying call succeeded.
+     */
+    detail(): string;
+
     constructor(value: NucleationError | string );
 }

package/NucleationError.d.ts

@@ -37,5 +37,17 @@ export class NucleationError {
     static Generation : NucleationError;
 
 
+    /**
+     * Why the last failing bridge call on this thread failed, in words.
+     *
+     * The enum cannot carry a message across the FFI, so a caught error
+     * is a bare variant — `InvalidArgument` — while the layer that
+     * refused already knew it was "19.2M cells over the 8M cap". Modules
+     * that know the story record it; this reads it back, so an exception
+     * handler holding the error value can ask it for the words. Empty
+     * when the last detail-carrying call succeeded.
+     */
+    detail(): string;
+
     constructor(value: NucleationError | string );
 }

package/NucleationError.mjs

@@ -105,6 +105,31 @@ export class NucleationError {
     static Generation = NucleationError.#objectValues[12];
 
 
+    /**
+     * Why the last failing bridge call on this thread failed, in words.
+     *
+     * The enum cannot carry a message across the FFI, so a caught error
+     * is a bare variant — `InvalidArgument` — while the layer that
+     * refused already knew it was "19.2M cells over the 8M cap". Modules
+     * that know the story record it; this reads it back, so an exception
+     * handler holding the error value can ask it for the words. Empty
+     * when the last detail-carrying call succeeded.
+     */
+    detail() {
+        const write = new diplomatRuntime.DiplomatWriteBuf(wasm);
+
+    wasm.NucleationError_detail(this.ffiValue, write.buffer);
+
+        try {
+            return write.readString8();
+        }
+
+        finally {
+            diplomatRuntime.FUNCTION_PARAM_ALLOC.clean();
+            write.free();
+        }
+    }
+
     constructor(value) {
         return this.#internalConstructor(...arguments)
     }

package/Routing.d.mts

@@ -0,0 +1,66 @@
+// generated by diplomat-tool
+import type { NucleationError } from "./NucleationError.mjs"
+import type { Schematic } from "./Schematic.mjs"
+import type { pointer, codepoint } from "./diplomat-runtime.d.ts";
+
+
+
+/**
+ * Namespacing opaque for routing entry points (static methods taking
+ * `&Schematic` explicitly, like `Autostack`).
+ */
+export class Routing {
+    /** @internal */
+    get ffiValue(): pointer;
+    /** @internal */
+    constructor();
+
+
+    /**
+     * Route one net from `(sx, sy, sz)` to `(dx, dy, dz)` with default
+     * rules (torch-ladder vias, stair cap 4, refresh 5) and write the
+     * emitted geometry into the schematic. Writes the routed path as a
+     * JSON array of `[x, y, z]` cells.
+     */
+    static routeNet(schematic: Schematic, sx: number, sy: number, sz: number, dx: number, dy: number, dz: number, label: string): string;
+
+    /**
+     * Route every net in `nets_json` with negotiated congestion
+     * (pnr-core PathFinder) in one labelled workspace, write the
+     * geometry into the schematic, and write the JSON report
+     * (`routes` with per-net `path`/`delay_rt`, `notes`,
+     * `violations`). Supports per-net-class rule overrides
+     * (`classes`: io_contract `NetClassRule`s, with `region`
+     * resolving named route zones tagged on the schematic's
+     * DefinitionRegions), plus `bounds`, `budget` and `congestion`
+     * options — see `crate::routing::route_all_schematic` for the
+     * exact request shape.
+     */
+    static routeAll(schematic: Schematic, netsJson: string): string;
+
+    /**
+     * LVS v1: compare an intended netlist (`{"nets": [{"name",
+     * "terminals": [[x,y,z], ...]}]}`) against the conduction
+     * netlist extracted statically from the schematic (dust
+     * adjacency incl. cut diagonals plus repeater/comparator/torch
+     * through-component edges). Writes `{"clean", "matched",
+     * "opens", "shorts", "cycles"}`.
+     */
+    static lvs(schematic: Schematic, intentJson: string): string;
+
+    /**
+     * Run design-rule checks (support audit, repeater-cycle detection,
+     * optional decay) over the schematic. Writes a JSON array; each
+     * element has `kind` plus violation-specific fields. Label-aware
+     * short checking needs a labelled workspace and stays native.
+     */
+    static drc(schematic: Schematic, checkDecay: boolean): string;
+
+    /**
+     * Static timing over the schematic plus a gate netlist given as
+     * JSON: `{"inputs": ["a", ...], "gates": [{"out": "y",
+     * "ins": ["a", "b"], "delay_rt": 2}, ...]}`. Writes
+     * `{"arrival_rt": {sig: rt}, "critical": [sig, ...]}`.
+     */
+    static sta(schematic: Schematic, netlistJson: string): string;
+}

package/Routing.d.ts

@@ -0,0 +1,66 @@
+// generated by diplomat-tool
+import type { NucleationError } from "./NucleationError.mjs"
+import type { Schematic } from "./Schematic.mjs"
+import type { pointer, codepoint } from "./diplomat-runtime.d.ts";
+
+
+
+/**
+ * Namespacing opaque for routing entry points (static methods taking
+ * `&Schematic` explicitly, like `Autostack`).
+ */
+export class Routing {
+    /** @internal */
+    get ffiValue(): pointer;
+    /** @internal */
+    constructor();
+
+
+    /**
+     * Route one net from `(sx, sy, sz)` to `(dx, dy, dz)` with default
+     * rules (torch-ladder vias, stair cap 4, refresh 5) and write the
+     * emitted geometry into the schematic. Writes the routed path as a
+     * JSON array of `[x, y, z]` cells.
+     */
+    static routeNet(schematic: Schematic, sx: number, sy: number, sz: number, dx: number, dy: number, dz: number, label: string): string;
+
+    /**
+     * Route every net in `nets_json` with negotiated congestion
+     * (pnr-core PathFinder) in one labelled workspace, write the
+     * geometry into the schematic, and write the JSON report
+     * (`routes` with per-net `path`/`delay_rt`, `notes`,
+     * `violations`). Supports per-net-class rule overrides
+     * (`classes`: io_contract `NetClassRule`s, with `region`
+     * resolving named route zones tagged on the schematic's
+     * DefinitionRegions), plus `bounds`, `budget` and `congestion`
+     * options — see `crate::routing::route_all_schematic` for the
+     * exact request shape.
+     */
+    static routeAll(schematic: Schematic, netsJson: string): string;
+
+    /**
+     * LVS v1: compare an intended netlist (`{"nets": [{"name",
+     * "terminals": [[x,y,z], ...]}]}`) against the conduction
+     * netlist extracted statically from the schematic (dust
+     * adjacency incl. cut diagonals plus repeater/comparator/torch
+     * through-component edges). Writes `{"clean", "matched",
+     * "opens", "shorts", "cycles"}`.
+     */
+    static lvs(schematic: Schematic, intentJson: string): string;
+
+    /**
+     * Run design-rule checks (support audit, repeater-cycle detection,
+     * optional decay) over the schematic. Writes a JSON array; each
+     * element has `kind` plus violation-specific fields. Label-aware
+     * short checking needs a labelled workspace and stays native.
+     */
+    static drc(schematic: Schematic, checkDecay: boolean): string;
+
+    /**
+     * Static timing over the schematic plus a gate netlist given as
+     * JSON: `{"inputs": ["a", ...], "gates": [{"out": "y",
+     * "ins": ["a", "b"], "delay_rt": 2}, ...]}`. Writes
+     * `{"arrival_rt": {sig: rt}, "critical": [sig, ...]}`.
+     */
+    static sta(schematic: Schematic, netlistJson: string): string;
+}