@plurnk/plurnk-service 1.3.12 → 1.5.0

package/dist/schemes/EffectPolicy.js

@@ -2,15 +2,18 @@
 // lifecycle. The executor declares the FACT (does this invocation mutate the
 // host?); the service decides the POLICY (does it need a human gate?).
 //
-// Default (plurnk-service#182): `host` runs code / mutates the host → propose;
+// {§exec-host-proposes} `host` runs code / mutates the host → propose;
 // `read` (observes external state) and `pure` (no observable effect) are
-// side-effect-free → auto-run, no human in the loop. Conservative by
+// side-effect-free → auto-run, no human in the loop ({§exec-readpure-ungated}). Conservative by
 // construction — an undeclared/unknown effect classifies as `host` upstream
 // (BaseExecutor.effect defaults to host), so it lands here as propose.
 //
 // Deployment-tunability (a high-security deployment proposing even `read`) is a
 // later env knob; the default map is the contract until one is needed.
 export default class EffectPolicy {
+    static isEffect(value) {
+        return value === "pure" || value === "read" || value === "host";
+    }
     static decide(effect) {
         return effect === "host" ? "propose" : "auto";
     }

package/dist/schemes/EffectPolicy.js.map

@@ -1 +1 @@
-{"version":3,"file":"EffectPolicy.js","sourceRoot":"","sources":["../../src/schemes/EffectPolicy.ts"],"names":[],"mappings":"AAIA,2EAA2E;AAC3E,6EAA6E;AAC7E,uEAAuE;AACvE,EAAE;AACF,+EAA+E;AAC/E,yEAAyE;AACzE,qEAAqE;AACrE,4EAA4E;AAC5E,uEAAuE;AACvE,EAAE;AACF,gFAAgF;AAChF,uEAAuE;AACvE,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,MAAM,CAAC,MAAM,CAAC,MAAc;QACxB,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,CAAC;CACJ"}
+{"version":3,"file":"EffectPolicy.js","sourceRoot":"","sources":["../../src/schemes/EffectPolicy.ts"],"names":[],"mappings":"AAIA,2EAA2E;AAC3E,6EAA6E;AAC7E,uEAAuE;AACvE,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,gGAAgG;AAChG,4EAA4E;AAC5E,uEAAuE;AACvE,EAAE;AACF,gFAAgF;AAChF,uEAAuE;AACvE,MAAM,CAAC,OAAO,OAAO,YAAY;IAC7B,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC1B,OAAO,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,MAAM,CAAC;IACpE,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,MAAc;QACxB,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,CAAC;CACJ"}

package/dist/schemes/Exec.d.ts

@@ -1,16 +1,14 @@
-import type { ExecStatement, FindStatement, ReadStatement } from "@plurnk/plurnk-grammar";
+import type { ExecStatement, FindStatement, ParsedPath, ReadStatement } from "@plurnk/plurnk-contracts";
 import { type WebFetchResult } from "@plurnk/plurnk-schemes-http";
 import type { SchemeManifest, PlurnkSchemeContext } from "../core/scheme-types.ts";
-import type { ReadResult } from "./_entry-ops.ts";
 import type { EntryData, ReadEntryResult, WriteEntryResult, DeleteEntryResult } from "./_entry-crud.ts";
 import type { FindResult } from "./_entry-find.ts";
 import { CoreSchemeAdapterBase } from "../core/CoreSchemeServices.ts";
-import type { CoreSchemeCallContext } from "../core/CoreSchemeServices.ts";
-type ExecResult = {
-    status: number;
+import type { CoreEntryAddress, CoreSchemeCallContext } from "../core/CoreSchemeServices.ts";
+import { type SchemeResultBase } from "../core/results.ts";
+type ExecResult = SchemeResultBase & {
     body?: string;
     attrs?: object;
-    error?: string;
 };
 export declare const resolveStreamStatement: <S extends {
     target: ReadStatement["target"];
@@ -26,23 +24,20 @@ export default class Exec extends CoreSchemeAdapterBase {
     static manifest: SchemeManifest;
     constructor(fetchWeb?: WebFetch);
     idle(): Promise<void>;
+    close(): Promise<void>;
     hasActiveSpawns(workerId: number): boolean;
+    settleTurnSpawns(workerId: number, turnId: number, timeoutMs: number, signal?: AbortSignal): Promise<boolean>;
     hasActiveHoldSpawns(workerId: number, holdSet: ReadonlySet<string>): boolean;
-    kill(pathname: string, signal: number | null, ctx: CoreSchemeCallContext, scheme?: string): Promise<{
-        status: number;
-        error?: string;
-    }>;
+    kill(pathname: string, signal: number | null, ctx: CoreSchemeCallContext, scheme?: string): Promise<SchemeResultBase>;
     exec(statement: ExecStatement, ctx: CoreSchemeCallContext): Promise<ExecResult>;
     applyResolution(args: {
         attrs: object;
         body?: string;
-    }, ctx: CoreSchemeCallContext): Promise<{
-        status: number;
+    }, ctx: CoreSchemeCallContext): Promise<SchemeResultBase & {
         outcome?: string;
         body?: string;
-        error?: string;
     }>;
-    read(statement: ReadStatement, ctx: CoreSchemeCallContext): Promise<ReadResult>;
+    resolveEntryAddress(target: ParsedPath, ctx: CoreSchemeCallContext): Promise<CoreEntryAddress | SchemeResultBase | null>;
     find(statement: FindStatement, ctx: CoreSchemeCallContext): Promise<FindResult>;
     readEntry(pathname: string, ctx: CoreSchemeCallContext): Promise<ReadEntryResult>;
     writeEntry(pathname: string, entry: EntryData, ctx: CoreSchemeCallContext): Promise<WriteEntryResult>;

package/dist/schemes/Exec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Exec.d.ts","sourceRoot":"","sources":["../../src/schemes/Exec.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,EAAkB,MAAM,wBAAwB,CAAC;AAE1G,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAK9E,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAOnF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACxG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAQnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,KAAK,UAAU,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AA4DpF,eAAO,MAAM,sBAAsB,GAAU,CAAC,SAAS;IAAE,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAAE,aAC3E,CAAC,OACP,mBAAmB,KACzB,OAAO,CAAC;IAAE,SAAS,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAOlD,CAAC;AAKF,MAAM,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,WAAW,CAAA;CAAE,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;AAExG,MAAM,CAAC,OAAO,OAAO,IAAK,SAAQ,qBAAqB;;IACnD,MAAM,CAAC,QAAQ,EAAE,cAAc,CAc7B;IAOF,YAAY,QAAQ,CAAC,EAAE,QAAQ,EAU9B;IAKK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAG1B;IAMD,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGzC;IAMD,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAG3E;IASK,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,qBAAqB,EAAE,MAAM,SAAS,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAgB5I;IAUK,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,UAAU,CAAC,CAqFpF;IAEK,eAAe,CACjB,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EACtC,GAAG,EAAE,qBAAqB,GAC3B,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CA4G9E;IA2NK,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,UAAU,CAAC,CAKpF;IAEK,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,UAAU,CAAC,CAKpF;IAEK,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,eAAe,CAAC,CAGtF;IAEK,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAE1G;IAEK,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAE1F;CACJ"}
+{"version":3,"file":"Exec.d.ts","sourceRoot":"","sources":["../../src/schemes/Exec.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAGxG,OAAO,EAGH,KAAK,cAAc,EAEtB,MAAM,6BAA6B,CAAC;AAKrC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAKnF,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACxG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAQnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE7F,OAAgB,EAA4C,KAAK,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAO9G,KAAK,UAAU,GAAG,gBAAgB,GAAG;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AA2EvE,eAAO,MAAM,sBAAsB,GAAU,CAAC,SAAS;IAAE,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAAE,aAC3E,CAAC,OACP,mBAAmB,KACzB,OAAO,CAAC;IAAE,SAAS,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAOlD,CAAC;AAMF,MAAM,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,WAAW,CAAA;CAAE,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;AAExG,MAAM,CAAC,OAAO,OAAO,IAAK,SAAQ,qBAAqB;;IACnD,MAAM,CAAC,QAAQ,EAAE,cAAc,CAa7B;IAKF,YAAY,QAAQ,CAAC,EAAE,QAAQ,EAQ9B;IAKK,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAE1B;IAGK,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3B;IAMD,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGzC;IAKK,gBAAgB,CAClB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,MAAM,CAAC,EAAE,WAAW,GACrB,OAAO,CAAC,OAAO,CAAC,CAiBlB;IAID,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAG3E;IAIK,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,qBAAqB,EAAE,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAsD1H;IAUK,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,UAAU,CAAC,CAwJpF;IAEK,eAAe,CACjB,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EACtC,GAAG,EAAE,qBAAqB,GAC3B,OAAO,CAAC,gBAAgB,GAAG;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAyJjE;IAsTK,mBAAmB,CACrB,MAAM,EAAE,UAAU,EAClB,GAAG,EAAE,qBAAqB,GAC3B,OAAO,CAAC,gBAAgB,GAAG,gBAAgB,GAAG,IAAI,CAAC,CAWrD;IAEK,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,UAAU,CAAC,CAUpF;IAEK,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,eAAe,CAAC,CAGtF;IAEK,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAE1G;IAEK,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAE1F;CACJ"}