@tellegen/engine 0.2.0 → 0.4.0

package/dist/protocol.js

@@ -1,20 +1,59 @@
 /** The engine call protocol: one request shape shared by the worker host
  * (postMessage) and the main-thread host (direct dispatch), so a request built
  * once runs on either side. Payloads are the wasm surface's own JSON strings
- * (or raw display bytes); the typed translation stays in index.ts. Study
- * handles are allocated by the caller, which keeps them valid when pending
- * requests replay against the other host. */
+ * (or raw display bytes, or numeric arrays and synthetic previews that cross
+ * as transferable typed arrays); the typed translation stays in index.ts.
+ * Study and session handles are allocated by the caller, which keeps them
+ * valid when pending requests replay against the other host. */
+/** The buffers an answer moves to the caller instead of copying. */
+export function transferables(value) {
+    if (value instanceof Float64Array)
+        return [value.buffer];
+    if (value !== null && typeof value === "object" && value.kind === "synth_preview") {
+        return [
+            value.busPositions.buffer,
+            value.busKinds.buffer,
+            value.busKv.buffer,
+            value.branchPositions.buffer,
+            value.branchStartIndices.buffer,
+            value.branchKv.buffer,
+        ];
+    }
+    return [];
+}
+/** An empty handle table for one side of the boundary. */
+export function emptyHandles() {
+    return { studies: new Map(), mcPfSessions: new Map(), synthSessions: new Map() };
+}
 /** Run one request against a loaded wasm module. `studies` maps caller
  * allocated handles to live wasm Study instances on this side of the
  * boundary. */
-export function runRequest(mod, studies, req) {
+export function runRequest(mod, handles, req, cancelled = () => false) {
     const study = (handle) => {
-        const s = studies.get(handle);
+        const s = handles.studies.get(handle);
         if (!s)
             throw new Error(`unknown study handle ${handle}`);
         return s;
     };
+    const mcPfSession = (handle) => {
+        const session = handles.mcPfSessions.get(handle);
+        if (!session)
+            throw new Error(`unknown multiconductor PF session handle ${handle}`);
+        return session;
+    };
+    const synthSession = (handle) => {
+        const session = handles.synthSessions.get(handle);
+        if (!session)
+            throw new Error(`unknown synthetic generation session handle ${handle}`);
+        return session;
+    };
     switch (req.op) {
+        case "study_document_create":
+            return mod.study_document_create(req.request);
+        case "study_document_import":
+            return mod.study_document_import(req.bundle);
+        case "study_document_run":
+            return mod.study_document_run(req.bundle, req.request, cancelled);
         case "preload":
             return null; // loading the module was the work
         case "classify_json":
@@ -23,10 +62,6 @@ export function runRequest(mod, studies, req) {
             return mod.ingest_json_drop(req.bytes);
         case "ingest_case":
             return mod.ingest_case(req.bytes, req.format);
-        case "ingest_model_json":
-            return mod.ingest_model_json(req.network_json);
-        case "ingest_model_json_bytes":
-            return mod.ingest_model_json_bytes(req.bytes);
         case "ingest_dist_case":
             return mod.ingest_dist_case(req.text, req.format);
         case "ingest_dist_case_bytes":
@@ -36,19 +71,69 @@ export function runRequest(mod, studies, req) {
         case "parse_geo":
             return mod.parse_geo(req.bytes, req.hint);
         case "apply_geo":
-            return mod.apply_geo(req.network_json, req.layer);
+            return mod.apply_geo(req.module_json, req.layer);
         case "apply_layout":
-            return mod.apply_layout(req.network_json, req.coords, req.kind);
+            return mod.apply_layout(req.module_json, req.coords, req.kind);
         case "extract_geo":
-            return mod.extract_geo(req.network_json);
+            return mod.extract_geo(req.module_json);
         case "apply_display_geo":
-            return mod.apply_display_geo(req.network_json, req.bytes);
+            return mod.apply_display_geo(req.module_json, req.bytes);
         case "capabilities":
             return mod.capabilities_json();
-        case "solve_json":
-            return mod.solve_json(req.network_json, req.request);
+        case "solve_module":
+            return mod.solve_module(req.module_json, req.request);
+        case "solve_mc_bmopf":
+            return mod.solve_mc_bmopf(req.text, req.options);
+        case "solve_mc_module":
+            return mod.solve_mc_module(req.module_json, req.options);
+        case "solve_mc_study":
+            return mod.solve_mc_study(req.module_json, req.study_id, req.study_title, req.options);
+        case "replay_mc_study":
+            return mod.replay_mc_study(req.snapshot);
+        case "apply_mc_study_geo":
+            return mod.apply_mc_study_geo(req.snapshot, req.layer);
+        case "mc_pf_session_new": {
+            const session = new mod.McPfSession(req.module_json, req.options);
+            handles.mcPfSessions.set(req.session, session);
+            return session.summary();
+        }
+        case "mc_pf_session_result":
+            return mcPfSession(req.session).result();
+        case "mc_pf_session_summary":
+            return mcPfSession(req.session).summary();
+        case "mc_pf_session_detail":
+            return mcPfSession(req.session).detail(req.query);
+        case "mc_pf_session_terminal_ids":
+            return mcPfSession(req.session).terminal_ids();
+        case "mc_pf_session_terminal_voltages":
+            return mcPfSession(req.session).terminal_voltages();
+        case "mc_pf_session_terminal_currents":
+            return mcPfSession(req.session).terminal_currents();
+        case "mc_pf_session_profile":
+            return req.cold
+                ? mcPfSession(req.session).cold_profile()
+                : mcPfSession(req.session).profile();
+        case "mc_pf_session_materialization_count":
+            return String(mcPfSession(req.session).materialization_count());
+        case "mc_pf_session_load_branches":
+            return mcPfSession(req.session).load_branches();
+        case "mc_pf_session_replace_load_powers":
+            return mcPfSession(req.session).replace_load_powers(req.edits);
+        case "mc_pf_session_input_module":
+            return mcPfSession(req.session).input_module();
+        case "mc_pf_session_snapshot":
+            return mcPfSession(req.session).snapshot(req.study_id, req.study_title);
+        case "mc_pf_session_free":
+            handles.mcPfSessions.get(req.session)?.free();
+            handles.mcPfSessions.delete(req.session);
+            return null;
+        case "memory_stats":
+            return mod.memory_stats();
+        case "reset_peak_memory":
+            mod.reset_peak_memory();
+            return null;
         case "study_new":
-            studies.set(req.study, new mod.Study(req.network_json, req.formulation));
+            handles.studies.set(req.study, new mod.Study(req.module_json, req.formulation));
             return null;
         case "study_replace_edits":
             return study(req.study).replace_edits(req.edits, req.sensitivities);
@@ -56,20 +141,62 @@ export function runRequest(mod, studies, req) {
             return study(req.study).preview_replacement(req.edits, req.operands);
         case "study_solution":
             return study(req.study).solution();
-        case "study_save_package":
-            return study(req.study).save_package();
+        case "study_plan":
+            return study(req.study).plan(req.spec);
+        case "study_save_instance_module":
+            return study(req.study).save_instance_module();
+        case "study_save_module":
+            return study(req.study).save_module();
+        case "study_save_solution_module":
+            return study(req.study).save_solution_module();
+        case "study_export":
+            return study(req.study).export(req.format);
         case "study_apply_geo":
             return study(req.study).apply_geo(req.layer);
-        case "load_package":
-            return mod.load_package(req.text);
-        case "load_package_bytes":
-            return mod.load_package_bytes(req.bytes);
-        case "export_study":
-            return mod.export_study(req.package_json, req.commit, req.format);
         case "study_free":
-            studies.get(req.study)?.free();
-            studies.delete(req.study);
+            handles.studies.get(req.study)?.free();
+            handles.studies.delete(req.study);
+            return null;
+        case "synth_load_places":
+            return mod.synth_load_places(req.bytes);
+        case "synth_overpass_queries":
+            return mod.synth_overpass_queries(req.request);
+        case "synth_session_new":
+            handles.synthSessions.set(req.session, new mod.SynthSession(req.request, req.osm ?? undefined));
+            return null;
+        case "synth_session_advance":
+            return synthSession(req.session).advance();
+        case "synth_session_preview": {
+            const buffers = synthSession(req.session).preview_buffers();
+            try {
+                return {
+                    kind: "synth_preview",
+                    busPositions: buffers.bus_positions(),
+                    busKinds: buffers.bus_kinds(),
+                    busKv: buffers.bus_kv(),
+                    branchPositions: buffers.branch_positions(),
+                    branchStartIndices: buffers.branch_start_indices(),
+                    branchKv: buffers.branch_kv(),
+                };
+            }
+            finally {
+                buffers.free();
+            }
+        }
+        case "synth_session_report":
+            return synthSession(req.session).report();
+        case "synth_session_module":
+            return synthSession(req.session).module();
+        case "synth_session_ingest":
+            return synthSession(req.session).ingest();
+        case "synth_session_export_gridfm":
+            return synthSession(req.session).export_gridfm();
+        case "synth_session_free":
+            handles.synthSessions.get(req.session)?.free();
+            handles.synthSessions.delete(req.session);
             return null;
+        case "synth_generate":
+            return mod.synth_generate(req.request, req.osm ?? undefined);
     }
 }
 //# sourceMappingURL=protocol.js.map

package/dist/protocol.js.map

@@ -1 +1 @@
-{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA;;;;;6CAK6C;AAmD7C;;eAEe;AACf,MAAM,UAAU,UAAU,CACxB,GAAe,EACf,OAA+B,EAC/B,GAAkB;IAElB,MAAM,KAAK,GAAG,CAAC,MAAc,EAAa,EAAE;QAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,EAAE,CAAC,CAAC;QAC1D,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,QAAQ,GAAG,CAAC,EAAE,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,CAAC,kCAAkC;QACjD,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAChD,KAAK,mBAAmB;YACtB,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACjD,KAAK,yBAAyB;YAC5B,OAAO,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,KAAK,wBAAwB;YAC3B,OAAO,GAAG,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3D,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAClE,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3C,KAAK,mBAAmB;YACtB,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,iBAAiB,EAAE,CAAC;QACjC,KAAK,YAAY;YACf,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACvD,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,KAAK,qBAAqB;YACxB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;QACtE,KAAK,eAAe;YAClB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvE,KAAK,gBAAgB;YACnB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrC,KAAK,oBAAoB;YACvB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,CAAC;QACzC,KAAK,iBAAiB;YACpB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,oBAAoB;YACvB,OAAO,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3C,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACpE,KAAK,YAAY;YACf,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;YAC/B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC1B,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA;;;;;;gEAMgE;AA6HhE,oEAAoE;AACpE,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,IAAI,KAAK,YAAY,YAAY;QAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClF,OAAO;YACL,KAAK,CAAC,YAAY,CAAC,MAAM;YACzB,KAAK,CAAC,QAAQ,CAAC,MAAM;YACrB,KAAK,CAAC,KAAK,CAAC,MAAM;YAClB,KAAK,CAAC,eAAe,CAAC,MAAM;YAC5B,KAAK,CAAC,kBAAkB,CAAC,MAAM;YAC/B,KAAK,CAAC,QAAQ,CAAC,MAAM;SACtB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAiBD,0DAA0D;AAC1D,MAAM,UAAU,YAAY;IAC1B,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AACnF,CAAC;AAED;;eAEe;AACf,MAAM,UAAU,UAAU,CACxB,GAAe,EACf,OAAsB,EACtB,GAAkB,EAClB,SAAS,GAAkB,GAAG,EAAE,CAAC,KAAK;IAEtC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAa,EAAE;QAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,EAAE,CAAC,CAAC;QAC1D,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,MAAc,EAAmB,EAAE;QACtD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,MAAM,EAAE,CAAC,CAAC;QACpF,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,MAAc,EAAoB,EAAE;QACxD,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,MAAM,EAAE,CAAC,CAAC;QACvF,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,QAAQ,GAAG,CAAC,EAAE,EAAE,CAAC;QACf,KAAK,uBAAuB;YAC1B,OAAO,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,KAAK,uBAAuB;YAC1B,OAAO,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,KAAK,oBAAoB;YACvB,OAAO,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACpE,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,CAAC,kCAAkC;QACjD,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAChD,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACpD,KAAK,wBAAwB;YAC3B,OAAO,GAAG,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3D,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACnD,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACjE,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC1C,KAAK,mBAAmB;YACtB,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,iBAAiB,EAAE,CAAC;QACjC,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACxD,KAAK,gBAAgB;YACnB,OAAO,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnD,KAAK,iBAAiB;YACpB,OAAO,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,KAAK,gBAAgB;YACnB,OAAO,GAAG,CAAC,cAAc,CACvB,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,OAAO,CACZ,CAAC;QACJ,KAAK,iBAAiB;YACpB,OAAO,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3C,KAAK,oBAAoB;YACvB,OAAO,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACzD,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAClE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/C,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC3B,CAAC;QACD,KAAK,sBAAsB;YACzB,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3C,KAAK,uBAAuB;YAC1B,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,KAAK,sBAAsB;YACzB,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,4BAA4B;YAC/B,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC;QACjD,KAAK,iCAAiC;YACpC,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACtD,KAAK,iCAAiC;YACpC,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACtD,KAAK,uBAAuB;YAC1B,OAAO,GAAG,CAAC,IAAI;gBACb,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE;gBACzC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;QACzC,KAAK,qCAAqC;YACxC,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,qBAAqB,EAAE,CAAC,CAAC;QAClE,KAAK,6BAA6B;YAChC,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;QAClD,KAAK,mCAAmC;YACtC,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjE,KAAK,4BAA4B;YAC/B,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC;QACjD,KAAK,wBAAwB;YAC3B,OAAO,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QAC1E,KAAK,oBAAoB;YACvB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC;YAC9C,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,KAAK,cAAc;YACjB,OAAO,GAAG,CAAC,YAAY,EAAE,CAAC;QAC5B,KAAK,mBAAmB;YACtB,GAAG,CAAC,iBAAiB,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;YAChF,OAAO,IAAI,CAAC;QACd,KAAK,qBAAqB;YACxB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;QACtE,KAAK,eAAe;YAClB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvE,KAAK,gBAAgB;YACnB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrC,KAAK,YAAY;YACf,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,KAAK,4BAA4B;YAC/B,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,oBAAoB,EAAE,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,4BAA4B;YAC/B,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,oBAAoB,EAAE,CAAC;QACjD,KAAK,cAAc;YACjB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,YAAY;YACf,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,KAAK,mBAAmB;YACtB,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,wBAAwB;YAC3B,OAAO,GAAG,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjD,KAAK,mBAAmB;YACtB,OAAO,CAAC,aAAa,CAAC,GAAG,CACvB,GAAG,CAAC,OAAO,EACX,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,IAAI,SAAS,CAAC,CACxD,CAAC;YACF,OAAO,IAAI,CAAC;QACd,KAAK,uBAAuB;YAC1B,OAAO,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7C,KAAK,uBAAuB,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,eAAe,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,YAAY,EAAE,OAAO,CAAC,aAAa,EAAE;oBACrC,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE;oBAC7B,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE;oBACvB,eAAe,EAAE,OAAO,CAAC,gBAAgB,EAAE;oBAC3C,kBAAkB,EAAE,OAAO,CAAC,oBAAoB,EAAE;oBAClD,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE;iBAC9B,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QACD,KAAK,sBAAsB;YACzB,OAAO,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5C,KAAK,sBAAsB;YACzB,OAAO,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5C,KAAK,sBAAsB;YACzB,OAAO,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5C,KAAK,6BAA6B;YAChC,OAAO,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;QACnD,KAAK,oBAAoB;YACvB,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC;YAC/C,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB;YACnB,OAAO,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;IACjE,CAAC;AACH,CAAC"}

package/dist/study-document.d.ts

@@ -0,0 +1,46 @@
+import type { CreateStudy, StudyBundle, StudyRequest, StudyOperationResult } from "./generated/study-types.js";
+export type { CreateStudy, StudyBundle, StudyDocument, StudyRequest, StudyOperation, StudyOperationResult, GoalRevision, DecisionSpace, StudyObjective, StateNode, Comparison } from "./generated/study-types.js";
+export interface StudyBackend {
+    create(request: CreateStudy, signal?: AbortSignal): Promise<StudyBundle>;
+    validate(text: string): Promise<StudyBundle>;
+    execute(bundle: StudyBundle, request: StudyRequest, signal?: AbortSignal): Promise<{
+        bundle: StudyBundle;
+        result: StudyOperationResult;
+    }>;
+}
+export declare const studyBackend: StudyBackend;
+export interface StudyStore {
+    load(id: string): Promise<StudyBundle | null>;
+    create(bundle: StudyBundle): Promise<void>;
+    commit(expectedRevision: number, bundle: StudyBundle): Promise<void>;
+}
+/** IndexedDB commits the complete document and its deduplicated artifact map together. */
+export declare class IndexedDbStudyStore implements StudyStore {
+    #private;
+    constructor(name?: string);
+    load(id: string): Promise<StudyBundle | null>;
+    list(): Promise<Array<{
+        id: string;
+        title: string;
+        revision: number;
+    }>>;
+    create(bundle: StudyBundle): Promise<void>;
+    commit(expectedRevision: number, bundle: StudyBundle): Promise<void>;
+    close(): Promise<void>;
+}
+/** Browser controls and agent tools share serialized, durable Study mutations. */
+export declare class StudyDocumentController {
+    #private;
+    private constructor();
+    static create(request: CreateStudy, store: StudyStore, backend?: StudyBackend, signal?: AbortSignal): Promise<StudyDocumentController>;
+    static open(id: string, store: StudyStore, backend?: StudyBackend): Promise<StudyDocumentController>;
+    static import(text: string, store: StudyStore, backend?: StudyBackend): Promise<StudyDocumentController>;
+    get bundle(): StudyBundle;
+    export(): string;
+    execute(request: StudyRequest, signal?: AbortSignal): Promise<StudyOperationResult>;
+    /** Call only from the user's approval action; tokens stay in this controller. */
+    recordUserApproval(proposal: string): string;
+    isApprovalCurrent(token: string): boolean;
+    applyApprovedProposal(token: string, signal?: AbortSignal): Promise<StudyOperationResult>;
+}
+//# sourceMappingURL=study-document.d.ts.map

package/dist/study-document.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-document.d.ts","sourceRoot":"","sources":["../src/study-document.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAE/G,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,oBAAoB,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAElN,MAAM,WAAW,YAAY;IAC3B,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACzE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC7C,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,MAAM,EAAE,oBAAoB,CAAA;KAAE,CAAC,CAAC;CAC3I;AAmBD,eAAO,MAAM,YAAY,EAAE,YAM1B,CAAC;AAEF,MAAM,WAAW,UAAU;IACzB,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,CAAC,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACtE;AAOD,0FAA0F;AAC1F,qBAAa,mBAAoB,YAAW,UAAU;;IAEpD,YAAY,IAAI,SAAqB,EAQpC;IACK,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CAQlD;IACK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAe5E;IACK,MAAM,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAsC;IAChF,MAAM,CAAC,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAkD;IAqBtH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAoC;CACjE;AAID,kFAAkF;AAClF,qBAAa,uBAAuB;;IAOlC,OAAO,eAEN;IACD,OAAa,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAE,YAA2B,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAIzJ;IACD,OAAa,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAE,YAA2B,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKvH;IACD,OAAa,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAE,YAA2B,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAG3H;IACD,IAAI,MAAM,IAAI,WAAW,CAA0C;IACnE,MAAM,IAAI,MAAM,CAAyC;IAEzD,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAGlF;IAkBD,iFAAiF;IACjF,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAO3C;IACD,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAIxC;IACD,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAIxF;CACF"}

package/dist/study-document.js

@@ -0,0 +1,183 @@
+import { isolatedEngineHost } from "./host.js";
+async function callIsolated(request, signal) {
+    signal?.throwIfAborted();
+    const host = isolatedEngineHost();
+    const cooperative = request.op === "study_document_run";
+    const cancel = () => cooperative ? host.requestStop?.() : host.cancel?.(new DOMException("Study operation cancelled", "AbortError"));
+    signal?.addEventListener("abort", cancel, { once: true });
+    try {
+        const result = await host.call(request);
+        if (!cooperative)
+            signal?.throwIfAborted();
+        if (typeof result !== "string")
+            throw new Error("The engine returned no Study result");
+        return result;
+    }
+    finally {
+        signal?.removeEventListener("abort", cancel);
+        host.cancel?.(new Error("Study operation completed"));
+    }
+}
+export const studyBackend = {
+    async create(request, signal) { return JSON.parse(await callIsolated({ op: "study_document_create", request: JSON.stringify(request) }, signal)); },
+    async validate(text) { return JSON.parse(await callIsolated({ op: "study_document_import", bundle: text })); },
+    async execute(bundle, request, signal) {
+        return JSON.parse(await callIsolated({ op: "study_document_run", bundle: JSON.stringify(bundle), request: JSON.stringify(request) }, signal));
+    },
+};
+function storageError(error) {
+    const cause = error instanceof Error ? error.message : String(error);
+    return new Error(`Study was not saved: ${cause}. Free browser storage or export the Study and choose another destination before retrying.`);
+}
+/** IndexedDB commits the complete document and its deduplicated artifact map together. */
+export class IndexedDbStudyStore {
+    #database;
+    constructor(name = "tellegen-studies") {
+        this.#database = new Promise((resolve, reject) => {
+            const request = indexedDB.open(name, 1);
+            request.onupgradeneeded = () => request.result.createObjectStore("studies", { keyPath: "document.id" });
+            request.onsuccess = () => { request.result.onversionchange = () => request.result.close(); resolve(request.result); };
+            request.onerror = () => reject(storageError(request.error));
+            request.onblocked = () => reject(new Error("Study storage is blocked by another tab; close its connection and reload"));
+        });
+    }
+    async load(id) {
+        const db = await this.#database;
+        return new Promise((resolve, reject) => {
+            const tx = db.transaction("studies", "readonly");
+            const request = tx.objectStore("studies").get(id);
+            request.onsuccess = () => resolve(request.result ?? null);
+            request.onerror = () => reject(storageError(request.error));
+        });
+    }
+    async list() {
+        const db = await this.#database;
+        return new Promise((resolve, reject) => {
+            const rows = [];
+            const tx = db.transaction("studies", "readonly");
+            const request = tx.objectStore("studies").openCursor();
+            request.onsuccess = () => {
+                const cursor = request.result;
+                if (!cursor)
+                    return;
+                const { id, title, revision } = cursor.value.document;
+                rows.push({ id, title, revision });
+                cursor.continue();
+            };
+            tx.oncomplete = () => resolve(rows);
+            tx.onabort = tx.onerror = () => reject(storageError(tx.error));
+        });
+    }
+    async create(bundle) { return this.#write(null, bundle); }
+    async commit(expectedRevision, bundle) { return this.#write(expectedRevision, bundle); }
+    async #write(expected, bundle) {
+        const db = await this.#database;
+        return new Promise((resolve, reject) => {
+            const tx = db.transaction("studies", "readwrite");
+            const store = tx.objectStore("studies");
+            let conflict;
+            const request = store.get(bundle.document.id);
+            request.onsuccess = () => {
+                const current = request.result;
+                if (expected === null ? current !== undefined : current?.document.revision !== expected || bundle.document.revision !== expected + 1) {
+                    conflict = new Error("Study storage revision changed; reload the saved Study before retrying");
+                    tx.abort();
+                    return;
+                }
+                try {
+                    store.put(bundle);
+                }
+                catch (error) {
+                    conflict = storageError(error);
+                    tx.abort();
+                }
+            };
+            tx.oncomplete = () => resolve();
+            tx.onabort = () => reject(conflict ?? storageError(tx.error));
+            tx.onerror = () => reject(conflict ?? storageError(tx.error));
+        });
+    }
+    async close() { (await this.#database).close(); }
+}
+/** Browser controls and agent tools share serialized, durable Study mutations. */
+export class StudyDocumentController {
+    #bundle;
+    #store;
+    #backend;
+    #queue = Promise.resolve();
+    #approvals = new Map();
+    constructor(bundle, store, backend) {
+        this.#bundle = bundle;
+        this.#store = store;
+        this.#backend = backend;
+    }
+    static async create(request, store, backend = studyBackend, signal) {
+        const bundle = await backend.create(request, signal);
+        signal?.throwIfAborted();
+        await store.create(bundle);
+        return new StudyDocumentController(bundle, store, backend);
+    }
+    static async open(id, store, backend = studyBackend) {
+        const saved = await store.load(id);
+        if (!saved)
+            throw new Error(`Study ${id} is unavailable`);
+        const bundle = await backend.validate(JSON.stringify(saved));
+        return new StudyDocumentController(bundle, store, backend);
+    }
+    static async import(text, store, backend = studyBackend) {
+        const bundle = await backend.validate(text);
+        await store.create(bundle);
+        return new StudyDocumentController(bundle, store, backend);
+    }
+    get bundle() { return structuredClone(this.#bundle); }
+    export() { return JSON.stringify(this.#bundle); }
+    execute(request, signal) {
+        if (request.operation.kind === "apply")
+            return Promise.reject(new Error("Apply requires explicit user approval of the current proposal"));
+        return this.#execute(request, signal);
+    }
+    #execute(request, signal) {
+        const queuedRequest = structuredClone(request);
+        const operation = this.#queue.then(async () => {
+            signal?.throwIfAborted();
+            if (queuedRequest.expected_revision !== this.#bundle.document.revision)
+                throw new Error("Stale Study revision; inspect the current Study and retry");
+            const completed = await this.#backend.execute(structuredClone(this.#bundle), queuedRequest, signal);
+            if (queuedRequest.operation.kind !== "propose")
+                signal?.throwIfAborted();
+            await this.#store.commit(queuedRequest.expected_revision, completed.bundle);
+            this.#bundle = completed.bundle;
+            if (["inspect", "compare", "record_evidence"].includes(queuedRequest.operation.kind)) {
+                for (const approval of this.#approvals.values())
+                    approval.revision = completed.bundle.document.revision;
+            }
+            else
+                this.#approvals.clear();
+            return completed.result;
+        });
+        this.#queue = operation.catch(() => undefined);
+        return operation;
+    }
+    /** Call only from the user's approval action; tokens stay in this controller. */
+    recordUserApproval(proposal) {
+        const d = this.#bundle.document;
+        const experiment = d.experiments[proposal];
+        if (!experiment || !["planning", "counterfactual"].includes(experiment.kind) || !experiment.start_state || experiment.goal !== d.active_goal || !d.recommended_state || !experiment.result_states.includes(d.recommended_state))
+            throw new Error("The proposal no longer matches the active goal and recommendation");
+        const token = crypto.randomUUID();
+        this.#approvals.set(token, { proposal, state: d.recommended_state, goal: d.active_goal ?? null, base: experiment.start_state, revision: d.revision });
+        return token;
+    }
+    isApprovalCurrent(token) {
+        const approval = this.#approvals.get(token), d = this.#bundle.document;
+        return !!approval && d.revision === approval.revision && d.active_goal === approval.goal &&
+            d.recommended_state === approval.state && d.experiments[approval.proposal]?.start_state === approval.base;
+    }
+    applyApprovedProposal(token, signal) {
+        const approval = this.#approvals.get(token);
+        if (!approval || !this.isApprovalCurrent(token))
+            return Promise.reject(new Error("Proposal approval expired; review the current proposal again"));
+        return this.#execute({ expected_revision: approval.revision, operation: { kind: "apply", proposal: approval.proposal, state: approval.state, goal: approval.goal, base_state: approval.base } }, signal);
+    }
+}
+//# sourceMappingURL=study-document.js.map

package/dist/study-document.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-document.js","sourceRoot":"","sources":["../src/study-document.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAmB,MAAM,WAAW,CAAC;AAWhE,KAAK,UAAU,YAAY,CAAC,OAA0C,EAAE,MAAoB;IAC1F,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,kBAAkB,EAAE,CAAC;IAClC,MAAM,WAAW,GAAG,OAAO,CAAC,EAAE,KAAK,oBAAoB,CAAC;IACxD,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,YAAY,CAAC,2BAA2B,EAAE,YAAY,CAAC,CAAC,CAAC;IACrI,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,WAAW;YAAE,MAAM,EAAE,cAAc,EAAE,CAAC;QAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACvF,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAiB;IACxC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,EAAE,EAAE,EAAE,uBAAuB,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAgB,CAAC,CAAC,CAAC;IAClK,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,EAAE,EAAE,EAAE,uBAAuB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAgB,CAAC,CAAC,CAAC;IAC7H,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,EAAE,EAAE,EAAE,oBAAoB,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAA0D,CAAC;IACzM,CAAC;CACF,CAAC;AAQF,SAAS,YAAY,CAAC,KAAc;IAClC,MAAM,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrE,OAAO,IAAI,KAAK,CAAC,wBAAwB,KAAK,4FAA4F,CAAC,CAAC;AAC9I,CAAC;AAED,0FAA0F;AAC1F,MAAM,OAAO,mBAAmB;IAC9B,SAAS,CAAuB;IAChC,YAAY,IAAI,GAAG,kBAAkB;QACnC,IAAI,CAAC,SAAS,GAAG,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC/C,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxC,OAAO,CAAC,eAAe,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;YACxG,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,eAAe,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACtH,OAAO,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5D,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC,CAAC;QAC1H,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAU;QACnB,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC;QAChC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClD,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,OAAO,CAAE,OAAO,CAAC,MAAkC,IAAI,IAAI,CAAC,CAAC;YACvF,OAAO,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI;QACR,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC;QAChC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,IAAI,GAA2D,EAAE,CAAC;YACxE,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,CAAC;YACvD,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE;gBACvB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;gBAC9B,IAAI,CAAC,MAAM;oBAAE,OAAO;gBACpB,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAI,MAAM,CAAC,KAAqB,CAAC,QAAQ,CAAC;gBACvE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxD,CAAC,CAAC;YACF,EAAE,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACpC,EAAE,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,MAAmB,IAAmB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACtF,KAAK,CAAC,MAAM,CAAC,gBAAwB,EAAE,MAAmB,IAAmB,OAAO,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5H,KAAK,CAAC,MAAM,CAAC,QAAuB,EAAE,MAAmB;QACvD,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC;QAChC,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YACxC,IAAI,QAA2B,CAAC;YAChC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE;gBACvB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAiC,CAAC;gBAC1D,IAAI,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,GAAG,CAAC,EAAE,CAAC;oBACrI,QAAQ,GAAG,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;oBAAC,EAAE,CAAC,KAAK,EAAE,CAAC;oBAAC,OAAO;gBACrH,CAAC;gBACD,IAAI,CAAC;oBAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAAC,CAAC;gBAC1B,OAAO,KAAK,EAAE,CAAC;oBAAC,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;oBAAC,EAAE,CAAC,KAAK,EAAE,CAAC;gBAAC,CAAC;YAC/D,CAAC,CAAC;YACF,EAAE,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;YAChC,EAAE,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,EAAE,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,KAAK,KAAoB,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACjE;AAID,kFAAkF;AAClF,MAAM,OAAO,uBAAuB;IAClC,OAAO,CAAc;IACrB,MAAM,CAAa;IACnB,QAAQ,CAAe;IACvB,MAAM,GAAqB,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7C,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEzC,YAAoB,MAAmB,EAAE,KAAiB,EAAE,OAAqB;QAC/E,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QAAC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACtE,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAoB,EAAE,KAAiB,EAAE,OAAO,GAAiB,YAAY,EAAE,MAAoB;QACrH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAAC,MAAM,EAAE,cAAc,EAAE,CAAC;QAC/E,MAAM,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3B,OAAO,IAAI,uBAAuB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAU,EAAE,KAAiB,EAAE,OAAO,GAAiB,YAAY;QACnF,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,OAAO,IAAI,uBAAuB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAY,EAAE,KAAiB,EAAE,OAAO,GAAiB,YAAY;QACvF,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAAC,MAAM,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxE,OAAO,IAAI,uBAAuB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,MAAM,KAAkB,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,KAAa,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAEzD,OAAO,CAAC,OAAqB,EAAE,MAAoB;QACjD,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC,CAAC;QAC1I,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IACD,QAAQ,CAAC,OAAqB,EAAE,MAAoB;QAClD,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;YAC5C,MAAM,EAAE,cAAc,EAAE,CAAC;YACzB,IAAI,aAAa,CAAC,iBAAiB,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;YACrJ,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;YACpG,IAAI,aAAa,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,EAAE,cAAc,EAAE,CAAC;YACzE,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YAC5E,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC;YAChC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrF,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;oBAAE,QAAQ,CAAC,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC1G,CAAC;;gBAAM,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC,MAAM,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,iFAAiF;IACjF,kBAAkB,CAAC,QAAgB;QACjC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAChC,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACtT,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACtJ,OAAO,KAAK,CAAC;IACf,CAAC;IACD,iBAAiB,CAAC,KAAa;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvE,OAAO,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,IAAI;YACtF,CAAC,CAAC,iBAAiB,KAAK,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,KAAK,QAAQ,CAAC,IAAI,CAAC;IAC9G,CAAC;IACD,qBAAqB,CAAC,KAAa,EAAE,MAAoB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC,CAAC;QAClJ,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IAC3M,CAAC;CACF"}

package/dist/study-document.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=study-document.test.d.ts.map

package/dist/study-document.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-document.test.d.ts","sourceRoot":"","sources":["../src/study-document.test.ts"],"names":[],"mappings":""}

package/dist/study-document.test.js

@@ -0,0 +1,119 @@
+import { describe, expect, it, vi } from "vitest";
+import { StudyDocumentController } from "./study-document.js";
+const input = { id: "s", title: "Study", input: "", formulation: "dcopf", request: "Lower prices", interpretation: "Weighted prices",
+    objective: { kind: "weighted_observable", operand: { Price: "Active" }, weights: [{ element: 2, weight: 1 }] },
+    decisions: { variables: [{ id: "line", element: 1, intervention: "branch_rating", lower: 0, upper: 10, increment: 1, budget_weight: 1 }], total_budget: 10, max_changed_elements: 1 } };
+function fixture() {
+    return { document: { schema: "tellegen-study", version: 1, id: "s", title: "Study", revision: 0,
+            goals: {}, states: {}, experiments: { p: { kind: "planning", start_state: "base", goal: "g", rationale: "Test", evidence: [], trials: [], result_states: ["candidate"], solve_count: 1, termination: "completed" } },
+            experiment_order: ["p"], decisions: {}, active_goal: "g", inspected_state: "base", applied_state: "base", recommended_state: "candidate" }, artifacts: {} };
+}
+class Store {
+    saved = null;
+    fail = false;
+    async load() { return structuredClone(this.saved); }
+    async create(bundle) { this.saved = structuredClone(bundle); }
+    async commit(expected, bundle) {
+        if (this.fail)
+            throw new Error("QuotaExceededError: free storage");
+        if (this.saved?.document.revision !== expected)
+            throw new Error("stale stored revision");
+        this.saved = structuredClone(bundle);
+    }
+}
+function backend() {
+    return {
+        create: async () => fixture(), validate: async (text) => JSON.parse(text),
+        execute: vi.fn(async (bundle, request) => {
+            bundle.document.revision++;
+            if (request.operation.kind === "inspect")
+                bundle.document.inspected_state = request.operation.state;
+            if (request.operation.kind === "apply")
+                bundle.document.applied_state = request.operation.state;
+            const result = { summary: { id: "s", title: "Study", revision: bundle.document.revision, state_count: 0, experiment_count: 1, recent_experiments: [], unavailable_historical_states: 0 }, experiment: null, comparison: null, inspected_view: null };
+            return { bundle, result };
+        }),
+    };
+}
+describe("durable Study controller", () => {
+    it("publishes completed mutations only after storage succeeds", async () => {
+        const store = new Store();
+        const engine = backend();
+        const controller = await StudyDocumentController.create(input, store, engine);
+        store.fail = true;
+        await expect(controller.execute({ expected_revision: 0, operation: { kind: "inspect", state: "candidate" } })).rejects.toThrow("QuotaExceededError");
+        expect(controller.bundle.document.revision).toBe(0);
+        expect(controller.bundle.document.inspected_state).toBe("base");
+        expect(store.saved?.document.revision).toBe(0);
+        store.fail = false;
+        await controller.execute({ expected_revision: 0, operation: { kind: "inspect", state: "candidate" } });
+        expect(controller.bundle.document.applied_state).toBe("base");
+        expect(store.saved?.document.inspected_state).toBe("candidate");
+    });
+    it("serializes mutations and rejects requests based on stale state", async () => {
+        const store = new Store();
+        const engine = backend();
+        const controller = await StudyDocumentController.create(input, store, engine);
+        const first = controller.execute({ expected_revision: 0, operation: { kind: "inspect", state: "candidate" } });
+        const second = controller.execute({ expected_revision: 0, operation: { kind: "inspect", state: "base" } });
+        await first;
+        await expect(second).rejects.toThrow("Stale Study revision");
+        expect(engine.execute).toHaveBeenCalledTimes(1);
+    });
+    it("binds explicit approval to a proposal and never restores approval on reload", async () => {
+        const store = new Store();
+        const engine = backend();
+        const controller = await StudyDocumentController.create(input, store, engine);
+        const token = controller.recordUserApproval("p");
+        const restored = await StudyDocumentController.open("s", store, engine);
+        await expect(restored.applyApprovedProposal(token)).rejects.toThrow("expired");
+        await expect(controller.execute({ expected_revision: 0, operation: { kind: "apply", proposal: "p", goal: "g", base_state: "base", state: "candidate" } })).rejects.toThrow("explicit user approval");
+        await controller.applyApprovedProposal(token);
+        expect(controller.bundle.document.applied_state).toBe("candidate");
+        expect(controller.export()).not.toContain(token);
+        await expect(controller.applyApprovedProposal(token)).rejects.toThrow("expired");
+    });
+    it("saves completed planning evidence when cancellation ends an active proposal", async () => {
+        const store = new Store();
+        const engine = backend();
+        const cancel = new AbortController();
+        const execute = engine.execute;
+        engine.execute = async (bundle, request, signal) => {
+            cancel.abort();
+            const completed = await execute(bundle, request, signal);
+            completed.bundle.document.experiments.p.termination = "cancelled";
+            return completed;
+        };
+        const controller = await StudyDocumentController.create(input, store, engine);
+        await controller.execute({ expected_revision: 0, operation: { kind: "propose", state: "base", goal: "g", rationale: "Explore", options: { max_solves: 5, beam_width: 2, max_iterations: 2, min_improvement: 1e-7 } } }, cancel.signal);
+        expect(controller.bundle.document.revision).toBe(1);
+        expect(store.saved?.document.experiments.p.termination).toBe("cancelled");
+        expect(store.saved?.document.applied_state).toBe("base");
+    });
+    it("invalidates approval when branching and rejects pre-cancelled work", async () => {
+        const store = new Store();
+        const engine = backend();
+        const controller = await StudyDocumentController.create(input, store, engine);
+        const token = controller.recordUserApproval("p");
+        await controller.execute({ expected_revision: 0, operation: { kind: "branch", state: "candidate", rationale: "Explore this branch" } });
+        await expect(controller.applyApprovedProposal(token)).rejects.toThrow("expired");
+        const signal = AbortSignal.abort();
+        await expect(controller.execute({ expected_revision: 1, operation: { kind: "inspect", state: "base" } }, signal)).rejects.toThrow();
+        expect(controller.bundle.document.revision).toBe(1);
+    });
+    it("keeps approval through inspection and retries a failed durable apply", async () => {
+        const store = new Store(), engine = backend();
+        const controller = await StudyDocumentController.create(input, store, engine);
+        const token = controller.recordUserApproval("p");
+        await controller.execute({ expected_revision: 0, operation: { kind: "inspect", state: "candidate" } });
+        expect(controller.isApprovalCurrent(token)).toBe(true);
+        store.fail = true;
+        await expect(controller.applyApprovedProposal(token)).rejects.toThrow("QuotaExceededError");
+        expect(controller.bundle.document.applied_state).toBe("base");
+        expect(controller.isApprovalCurrent(token)).toBe(true);
+        store.fail = false;
+        await controller.applyApprovedProposal(token);
+        expect(controller.bundle.document.applied_state).toBe("candidate");
+    });
+});
+//# sourceMappingURL=study-document.test.js.map