pi-daddy 0.22.0 → 0.23.0

package/dist/factory-migration.js

@@ -0,0 +1,55 @@
+import { cloneExperiment, closed, experimentHash } from "./experiment-contract.js";
+import { experimentStore } from "./experiment-store.js";
+import { replayExperiment } from "./experiment-state.js";
+import { factoryAuthority, factoryCharter, factoryOrderDigest, requireFactoryAuthority } from "./factory-contract.js";
+import { factoryRegistryStore, replayRegistry } from "./factory-registry.js";
+import { createFactoryOrder } from "./factory-order.js";
+export const factoryMigrationDigest = (request) => experimentHash(request);
+/** Only unstarted controllers can be superseded. An original claim is a refusal, never an idle/PID guess. */
+export async function migrateFactoryOrder(inputRegistry, input, host) {
+    const b = factoryRegistryStore(inputRegistry).binding;
+    const r = cloneExperiment(input), a = requireFactoryAuthority(factoryAuthority(host), b.initial.authorityId);
+    closed(r, ["version", "requestId", "sourceOrderId", "successor"]);
+    if (r.version !== "factory-migration-v1" || !/^[a-zA-Z0-9:_-]{1,128}$/.test(r.requestId) || r.sourceOrderId === r.successor.orderId || !a.migrationDigests.includes(factoryMigrationDigest(r)))
+        throw new Error("independent migration authority required");
+    r.successor = factoryCharter(r.successor);
+    if (!a.orderDigests.includes(factoryOrderDigest(r.successor)))
+        throw new Error("successor order authority required");
+    const store = factoryRegistryStore(b);
+    let fresh = false;
+    await store.transaction(async (events, append) => {
+        const s = replayRegistry(b, events), old = s.changes.get(r.requestId);
+        if (old) {
+            if (old !== factoryMigrationDigest(r))
+                throw new Error("conflicting migration ID");
+            return;
+        }
+        const source = s.orders.get(r.sourceOrderId);
+        if (!source?.binding || !a.orderDigests.includes(factoryOrderDigest(source.charter)))
+            throw new Error("source order authority unavailable");
+        if (r.successor.scopeDigest !== b.initial.scopeDigest || r.successor.pin.revision !== s.revision || r.successor.pin.candidateDigest !== s.candidateDigest || s.orders.has(r.successor.orderId))
+            throw new Error("stale migration target");
+        const e = { type: "migration-request", requestId: r.requestId, sourceOrderId: r.sourceOrderId, targetOrderId: r.successor.orderId, requestDigest: factoryMigrationDigest(r) };
+        replayRegistry(b, [...events, e]);
+        await append(e);
+        fresh = true;
+    });
+    if (fresh) {
+        const s = replayRegistry(b, (await store.read()).events), source = s.orders.get(r.sourceOrderId), binding = source.binding, old = experimentStore(binding);
+        const applied = await old.transaction(async (events, append) => {
+            const state = replayExperiment(binding.charter, events);
+            if (state.claim || state.superseded)
+                return false;
+            const e = { type: "order-migrated", requestId: r.requestId, successorDigest: factoryOrderDigest(r.successor) };
+            replayExperiment(binding.charter, [...events, e]);
+            await append(e);
+            return true;
+        });
+        if (applied)
+            await createFactoryOrder(b, r.successor, a);
+        await store.transaction(async (events, append) => { const e = { type: "migration-receipt", requestId: r.requestId, application: applied ? "applied" : "refused-active", renewedObligations: applied ? source.charter.nodes.map(n => n.obligation) : [] }; replayRegistry(b, [...events, e]); await append(e); });
+    }
+    const m = replayRegistry(b, (await store.read()).events).migrations.get(r.requestId);
+    return { ...m, requestId: r.requestId, grantExpansion: false, acceptanceTransfer: "none" };
+}
+//# sourceMappingURL=factory-migration.js.map

package/dist/factory-migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"factory-migration.js","sourceRoot":"","sources":["../src/factory-migration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACnF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,kBAAkB,EAAE,uBAAuB,EAAmD,MAAM,uBAAuB,CAAC;AACvK,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAA+B,MAAM,uBAAuB,CAAC;AAC1G,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,CAAC,MAAM,sBAAsB,GAAC,CAAC,OAAwB,EAAC,EAAE,CAAA,cAAc,CAAC,OAAO,CAAC,CAAC;AACxF,6GAA6G;AAC7G,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,aAAoC,EAAC,KAAsB,EAAC,IAA0B;IAC9H,MAAM,CAAC,GAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC;IACpD,MAAM,CAAC,GAAC,eAAe,CAAC,KAAK,CAAC,EAAC,CAAC,GAAC,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAAA,MAAM,CAAC,CAAC,EAAC,CAAC,SAAS,EAAC,WAAW,EAAC,eAAe,EAAC,WAAW,CAAC,CAAC,CAAC;IACrK,IAAG,CAAC,CAAC,OAAO,KAAG,sBAAsB,IAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAE,CAAC,CAAC,aAAa,KAAG,CAAC,CAAC,SAAS,CAAC,OAAO,IAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAChP,CAAC,CAAC,SAAS,GAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAAA,IAAG,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC3J,MAAM,KAAK,GAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAAA,IAAI,KAAK,GAAC,KAAK,CAAC;IACpD,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE;QAAC,MAAM,CAAC,GAAC,cAAc,CAAC,CAAC,EAAC,MAAM,CAAC,EAAC,GAAG,GAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAAA,IAAG,GAAG,EAAC,CAAC;YAAA,IAAG,GAAG,KAAG,sBAAsB,CAAC,CAAC,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAAA,OAAO;QAAA,CAAC;QAC5M,MAAM,MAAM,GAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAAA,IAAG,CAAC,MAAM,EAAE,OAAO,IAAE,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACnL,IAAG,CAAC,CAAC,SAAS,CAAC,WAAW,KAAG,CAAC,CAAC,OAAO,CAAC,WAAW,IAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,KAAG,CAAC,CAAC,QAAQ,IAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,KAAG,CAAC,CAAC,eAAe,IAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;YAAC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5N,MAAM,CAAC,GAAC,EAAC,IAAI,EAAC,mBAAmB,EAAC,SAAS,EAAC,CAAC,CAAC,SAAS,EAAC,aAAa,EAAC,CAAC,CAAC,aAAa,EAAC,aAAa,EAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAC,aAAa,EAAC,sBAAsB,CAAC,CAAC,CAAC,EAAC,CAAC;QAAA,cAAc,CAAC,CAAC,EAAC,CAAC,GAAG,MAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QAAA,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC;QAAA,KAAK,GAAC,IAAI,CAAC;IAC9N,CAAC,CAAC,CAAC;IACH,IAAG,KAAK,EAAC,CAAC;QAAA,MAAM,CAAC,GAAC,cAAc,CAAC,CAAC,EAAC,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAC,MAAM,GAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAE,EAAC,OAAO,GAAC,MAAM,CAAC,OAAQ,EAAC,GAAG,GAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACzJ,MAAM,OAAO,GAAC,MAAM,GAAG,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE;YAAC,MAAM,KAAK,GAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAC,MAAM,CAAC,CAAC;YAAA,IAAG,KAAK,CAAC,KAAK,IAAE,KAAK,CAAC,UAAU;gBAAC,OAAO,KAAK,CAAC;YAC5J,MAAM,CAAC,GAAC,EAAC,IAAI,EAAC,gBAAgB,EAAC,SAAS,EAAC,CAAC,CAAC,SAAS,EAAC,eAAe,EAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAC,CAAC;YAAA,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAC,CAAC,GAAG,MAAM,EAAC,CAAC,CAAC,CAAC,CAAC;YAAA,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC;YAAA,OAAO,IAAI,CAAC;QAAA,CAAC,CAAC,CAAC;QACvL,IAAG,OAAO;YAAC,MAAM,kBAAkB,CAAC,CAAC,EAAC,CAAC,CAAC,SAAS,EAAC,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,EAAC,MAAM,EAAC,MAAM,EAAC,EAAE,GAAC,MAAM,CAAC,GAAC,EAAC,IAAI,EAAC,mBAAmB,EAAC,SAAS,EAAC,CAAC,CAAC,SAAS,EAAC,WAAW,EAAC,OAAO,CAAA,CAAC,CAAA,SAAS,CAAA,CAAC,CAAA,gBAAgB,EAAC,kBAAkB,EAAC,OAAO,CAAA,CAAC,CAAA,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,UAAU,CAAC,CAAA,CAAC,CAAA,EAAE,EAAC,CAAC,CAAA,cAAc,CAAC,CAAC,EAAC,CAAC,GAAG,MAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAA,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,CAAC,CAAC;IACpR,CAAC;IACD,MAAM,CAAC,GAAC,cAAc,CAAC,CAAC,EAAC,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC;IACnF,OAAO,EAAC,GAAG,CAAC,EAAC,SAAS,EAAC,CAAC,CAAC,SAAS,EAAC,cAAc,EAAC,KAAK,EAAC,kBAAkB,EAAC,MAAe,EAAC,CAAC;AAC9F,CAAC"}