@typeberry/lib 0.5.10-6923c44 → 0.5.10-7338c21

package/packages/jam/in-core/refine.js

@@ -0,0 +1,176 @@
+import { tryAsCoreIndex, tryAsServiceGas, } from "#@typeberry/block";
+import { W_C } from "#@typeberry/block/gp-constants.js";
+import { WorkExecResult, WorkExecResultKind, WorkRefineLoad, WorkResult } from "#@typeberry/block/work-result.js";
+import { BytesBlob } from "#@typeberry/bytes";
+import { codec, Encoder } from "#@typeberry/codec";
+import { PvmExecutor, ReturnStatus } from "#@typeberry/executor";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { tryAsU32 } from "#@typeberry/numbers";
+import { RefineFetchExternalities } from "#@typeberry/transition/externalities/refine-fetch-externalities.js";
+import { assertNever, Result } from "#@typeberry/utils";
+import { RefineExternalitiesImpl } from "./externalities/refine.js";
+var ServiceCodeError;
+(function (ServiceCodeError) {
+    /** Service id is not found in the state. */
+    ServiceCodeError[ServiceCodeError["ServiceNotFound"] = 0] = "ServiceNotFound";
+    /** Expected service code does not match the state one. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeMismatch"] = 1] = "ServiceCodeMismatch";
+    /** Code preimage missing. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeMissing"] = 2] = "ServiceCodeMissing";
+    /** Code blob is too big. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeTooBig"] = 3] = "ServiceCodeTooBig";
+})(ServiceCodeError || (ServiceCodeError = {}));
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/2ffe002ffe00?v=0.7.2 */
+const REFINE_ARGS_CODEC = codec.object({
+    core: codec.varU32.convert((x) => tryAsU32(x), (x) => tryAsCoreIndex(x)),
+    workItemIndex: codec.varU32,
+    serviceId: codec.varU32.asOpaque(),
+    payloadLength: codec.varU32,
+    packageHash: codec.bytes(HASH_SIZE).asOpaque(),
+});
+/**
+ * Refine PVM invocation (Psi_R).
+ *
+ * Executes a single work item's refinement logic.
+ */
+export class Refine {
+    chainSpec;
+    pvmBackend;
+    blake2b;
+    constructor(chainSpec, pvmBackend, blake2b) {
+        this.chainSpec = chainSpec;
+        this.pvmBackend = pvmBackend;
+        this.blake2b = blake2b;
+    }
+    async invoke(state, lookupState, idx, item, allImports, allExtrinsics, coreIndex, workPackageHash, exportOffset) {
+        const payloadHash = this.blake2b.hashBytes(item.payload);
+        const baseResult = {
+            serviceId: item.service,
+            codeHash: item.codeHash,
+            payloadHash,
+            gas: item.refineGasLimit,
+        };
+        const imports = allImports[idx];
+        const extrinsics = allExtrinsics[idx];
+        const baseLoad = {
+            importedSegments: tryAsU32(imports.length),
+            extrinsicCount: tryAsU32(extrinsics.length),
+            extrinsicSize: tryAsU32(extrinsics.reduce((acc, x) => acc + x.length, 0)),
+        };
+        const maybeCode = this.getServiceCode(state, idx, item);
+        if (maybeCode.isError) {
+            const error = maybeCode.error === ServiceCodeError.ServiceCodeTooBig
+                ? WorkExecResultKind.codeOversize
+                : WorkExecResultKind.badCode;
+            return {
+                exports: [],
+                result: WorkResult.create({
+                    ...baseResult,
+                    result: WorkExecResult.error(error),
+                    load: WorkRefineLoad.create({
+                        ...baseLoad,
+                        gasUsed: tryAsServiceGas(item.refineGasLimit),
+                        exportedSegments: tryAsU32(0),
+                    }),
+                }),
+            };
+        }
+        const code = maybeCode.ok;
+        const externalities = this.createRefineExternalities({
+            payload: item.payload,
+            imports: allImports,
+            extrinsics: allExtrinsics,
+            currentServiceId: item.service,
+            lookupState,
+            exportOffset,
+        });
+        const executor = await PvmExecutor.createRefineExecutor(item.service, code, externalities, this.pvmBackend);
+        const args = Encoder.encodeObject(REFINE_ARGS_CODEC, {
+            serviceId: item.service,
+            core: coreIndex,
+            workItemIndex: tryAsU32(idx),
+            payloadLength: tryAsU32(item.payload.length),
+            packageHash: workPackageHash,
+        });
+        const execResult = await executor.run(args, item.refineGasLimit);
+        const exports = externalities.refine.getExportedSegments();
+        if (exports.length !== item.exportCount) {
+            return {
+                exports: [],
+                result: WorkResult.create({
+                    ...baseResult,
+                    result: WorkExecResult.error(WorkExecResultKind.incorrectNumberOfExports),
+                    load: WorkRefineLoad.create({
+                        ...baseLoad,
+                        gasUsed: tryAsServiceGas(item.refineGasLimit),
+                        exportedSegments: tryAsU32(0),
+                    }),
+                }),
+            };
+        }
+        const result = Refine.extractWorkResult(execResult);
+        return {
+            exports,
+            result: WorkResult.create({
+                ...baseResult,
+                result,
+                load: WorkRefineLoad.create({
+                    ...baseLoad,
+                    gasUsed: tryAsServiceGas(execResult.consumedGas),
+                    exportedSegments: tryAsU32(exports.length),
+                }),
+            }),
+        };
+    }
+    static extractWorkResult(execResult) {
+        if (execResult.status === ReturnStatus.OK) {
+            const slice = execResult.memorySlice;
+            // TODO [ToDr] Verify the output size and change digestTooBig?
+            return WorkExecResult.ok(BytesBlob.blobFrom(slice));
+        }
+        switch (execResult.status) {
+            case ReturnStatus.OOG:
+                return WorkExecResult.error(WorkExecResultKind.outOfGas);
+            case ReturnStatus.PANIC:
+                return WorkExecResult.error(WorkExecResultKind.panic);
+            default:
+                assertNever(execResult);
+        }
+    }
+    getServiceCode(state, idx, item) {
+        const serviceId = item.service;
+        const service = state.getService(serviceId);
+        // TODO [ToDr] GP link
+        // missing service
+        if (service === null) {
+            return Result.error(ServiceCodeError.ServiceNotFound, () => `[i:${idx}] Service ${serviceId} is missing in state.`);
+        }
+        // TODO [ToDr] GP link
+        // TODO [ToDr] shall we rather use the old codehash instead
+        if (!service.getInfo().codeHash.isEqualTo(item.codeHash)) {
+            return Result.error(ServiceCodeError.ServiceCodeMismatch, () => `[i:${idx}] Service ${serviceId} has invalid code hash. Ours: ${service.getInfo().codeHash}, expected: ${item.codeHash}`);
+        }
+        const code = service.getPreimage(item.codeHash.asOpaque());
+        if (code === null) {
+            return Result.error(ServiceCodeError.ServiceCodeMissing, () => `[i:${idx}] Code ${item.codeHash} for service ${serviceId} was not found.`);
+        }
+        if (code.length > W_C) {
+            return Result.error(ServiceCodeError.ServiceCodeTooBig, () => `[i:${idx}] Code ${item.codeHash} for service ${serviceId} is too big! ${code.length} bytes vs ${W_C} bytes max.`);
+        }
+        return Result.ok(code);
+    }
+    createRefineExternalities(args) {
+        // TODO [ToDr] Pass all required fetch data
+        const fetchExternalities = new RefineFetchExternalities(this.chainSpec);
+        const refine = RefineExternalitiesImpl.create({
+            currentServiceId: args.currentServiceId,
+            lookupState: args.lookupState,
+            exportOffset: args.exportOffset,
+            pvmBackend: this.pvmBackend,
+        });
+        return {
+            fetchExternalities,
+            refine,
+        };
+    }
+}

package/packages/jam/in-core/refine.test.d.ts

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

package/packages/jam/in-core/refine.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refine.test.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/in-core/refine.test.ts"],"names":[],"mappings":""}

package/packages/jam/in-core/refine.test.js

@@ -0,0 +1,6 @@
+import { describe } from "node:test";
+describe("Refine", () => {
+    // TODO [ToDr] Add refine-specific PVM invocation tests.
+    // These should test Refine.invoke() directly, similar to
+    // how is-authorized.test.ts tests IsAuthorized.invoke().
+});

package/packages/jam/jam-host-calls/accumulate/bless.js

@@ -34,8 +34,8 @@ export class Bless {
     async execute(_gas, regs, memory) {
         // `m`: manager service (can change privileged services)
         const manager = getServiceId(regs.get(IN_OUT_REG));
-        // `a`: manages authorization queue
-        const authorization = regs.get(8);
+        // `a`: mem pointer for collection of auth queue assigners (one per core)
+        const assignersPtr = regs.get(8);
         // `v`: manages validator keys
         const delegator = getServiceId(regs.get(9));
         // `r`: manages creation of new services with id within protected range
@@ -67,29 +67,29 @@ export class Bless {
         }
         // https://graypaper.fluffylabs.dev/#/7e6ff6a/367200367200?v=0.6.7
         const res = safeAllocUint8Array(tryAsExactBytes(codec.u32.sizeHint) * this.chainSpec.coresCount);
-        const authorizersDecoder = Decoder.fromBlob(res);
-        const memoryReadResult = memory.loadInto(res, authorization);
+        const assignersDecoder = Decoder.fromBlob(res);
+        const memoryReadResult = memory.loadInto(res, assignersPtr);
         if (memoryReadResult.isError) {
             logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- PANIC`;
             return PvmExecution.Panic;
         }
         // `a`
-        const authorizers = tryAsPerCore(authorizersDecoder.sequenceFixLen(codec.u32.asOpaque(), this.chainSpec.coresCount), this.chainSpec);
-        const updateResult = this.partialState.updatePrivilegedServices(manager, authorizers, delegator, registrar, autoAccumulate);
+        const assigners = tryAsPerCore(assignersDecoder.sequenceFixLen(codec.u32.asOpaque(), this.chainSpec.coresCount), this.chainSpec);
+        const updateResult = this.partialState.updatePrivilegedServices(manager, assigners, delegator, registrar, autoAccumulate);
         if (updateResult.isOk) {
-            logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, a: [${authorizers}], v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- OK`;
+            logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, a: [${assigners}], v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- OK`;
             regs.set(IN_OUT_REG, HostCallResult.OK);
             return;
         }
         const e = updateResult.error;
         // NOTE: `UpdatePrivilegesError.UnprivilegedService` won't happen in 0.7.1+
         if (e === UpdatePrivilegesError.UnprivilegedService) {
-            logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, a: [${authorizers}], v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- HUH`;
+            logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, a: [${assigners}], v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- HUH`;
             regs.set(IN_OUT_REG, HostCallResult.HUH);
             return;
         }
         if (e === UpdatePrivilegesError.InvalidServiceId) {
-            logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, a: [${authorizers}], v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- WHO`;
+            logger.trace `[${this.currentServiceId}] BLESS(m: ${manager}, a: [${assigners}], v: ${delegator}, r: ${registrar}, ${lazyInspect(autoAccumulate)}) <- WHO`;
             regs.set(IN_OUT_REG, HostCallResult.WHO);
             return;
         }

package/packages/jam/jam-host-calls/externalities/partial-state.d.ts

@@ -185,7 +185,7 @@ export interface PartialState {
      * Update priviliged services and their gas.
      *
      * `m`: manager service (can change privileged services)
-     * `a`: manages authorization queue
+     * `a`: per-core manager of authorization queue
      * `v`: manages validator keys
      * `r`: manages create new services in protected id range.
      * `z`: collection of serviceId -> gas that auto-accumulate every block

package/packages/jam/jam-host-calls/general/fetch.d.ts

@@ -14,7 +14,7 @@ import { type IGasCounter } from "#@typeberry/pvm-interface";
  * Ω_Y signature: Ω_Y(ρ, φ, μ, p, n, r, i, ī, x̄, 𝐢, ...)
  *
  * Context parameter mapping
- *   Is-Authorized: Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
+ *   IsAuthorized: Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
  *   https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
  *   Refine:        Ω_Y(ρ, φ, μ, p, H₀, r, i, ī, x̄, ∅, (m,e))
  *   https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe001?v=0.7.2
@@ -22,13 +22,13 @@ import { type IGasCounter } from "#@typeberry/pvm-interface";
  *   https://graypaper.fluffylabs.dev/#/ab2cdbd/30c00030c000?v=0.7.2
  *
  * Kind availability per context:
- *   Kind 0  (constants)      — all contexts
- *   Kind 1  (n)              — Refine (H₀), Accumulate (η'₀)
- *   Kind 2  (r)              — Refine only
- *   Kind 3-4 (x̄ extrinsics) — Refine only
- *   Kind 5-6 (ī imports)     — Refine only
- *   Kind 7-13 (p work pkg)   — Is-Authorized, Refine
- *   Kind 14-15 (𝐢 acc items) — Accumulate only
+ *   Kind 0  (constants)      - all contexts
+ *   Kind 1  (n)              - Refine (H₀), Accumulate (η'₀)
+ *   Kind 2  (r)              - Refine only
+ *   Kind 3-4 (x̄ extrinsics)  - Refine only
+ *   Kind 5-6 (ī imports)     - Refine only
+ *   Kind 7-13 (p work pkg)   - IsAuthorized, Refine
+ *   Kind 14-15 (𝐢 acc items) - Accumulate only
  */
 export declare enum FetchContext {
     IsAuthorized = "isAuthorized",
@@ -36,7 +36,7 @@ export declare enum FetchContext {
     Accumulate = "accumulate"
 }
 /**
- * Fetch externalities for the Is-Authorized context.
+ * Fetch externalities for the IsAuthorized context.
  *
  * Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
  * https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
@@ -52,43 +52,43 @@ export interface IIsAuthorizedFetch {
      */
     constants(): BytesBlob;
     /**
-     * Kind 7: Encoded work package — E(𝐩).
+     * Kind 7: Encoded work package - E(𝐩).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
      */
-    workPackage(): BytesBlob | null;
+    workPackage(): BytesBlob;
     /**
-     * Kind 8: Authorizer code hash and config — p_f.
+     * Kind 8: Authorizer configuration - p_f.
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
      */
-    authorizer(): BytesBlob | null;
+    authConfiguration(): BytesBlob;
     /**
-     * Kind 9: Authorization token — p_j.
+     * Kind 9: Authorization token - p_j.
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
      */
-    authorizationToken(): BytesBlob | null;
+    authToken(): BytesBlob;
     /**
-     * Kind 10: Refinement context — E(p_x).
+     * Kind 10: Refinement context - E(p_x).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
-    refineContext(): BytesBlob | null;
+    refineContext(): BytesBlob;
     /**
-     * Kind 11: All work-item summaries — E(↕[S(w) | w ← p_w]).
+     * Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
      */
-    allWorkItems(): BytesBlob | null;
+    allWorkItems(): BytesBlob;
     /**
-     * Kind 12: Single work-item summary — S(p_w[φ₁₁]).
+     * Kind 12: Single work-item summary - S(p_w[φ₁₁]).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
      */
     oneWorkItem(workItem: U64): BytesBlob | null;
     /**
-     * Kind 13: Work-item payload — p_w[φ₁₁]_y.
+     * Kind 13: Work-item payload - p_w[φ₁₁]_y.
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
      */
@@ -111,7 +111,7 @@ export interface IRefineFetch {
      */
     constants(): BytesBlob;
     /**
-     * Kind 1: Entropy pool — H₀ (zero hash).
+     * Kind 1: Entropy pool - H₀ (zero hash).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe201?v=0.7.2
      */
@@ -121,7 +121,7 @@ export interface IRefineFetch {
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/314902314902?v=0.7.2
      */
-    authorizerTrace(): BytesBlob | null;
+    authorizerTrace(): BytesBlob;
     /**
      * Kind 3 (other) / Kind 4 (my): Work-item extrinsics (x̄).
      *
@@ -143,43 +143,43 @@ export interface IRefineFetch {
      */
     workItemImport(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Kind 7: Encoded work package — E(p).
+     * Kind 7: Encoded work package - E(p).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
      */
-    workPackage(): BytesBlob | null;
+    workPackage(): BytesBlob;
     /**
-     * Kind 8: Authorizer code hash and config — p_f.
+     * Kind 8: Authorizer configuration - p_f.
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
      */
-    authorizer(): BytesBlob | null;
+    authConfiguration(): BytesBlob;
     /**
-     * Kind 9: Authorization token — p_j.
+     * Kind 9: Authorization token - p_j.
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
      */
-    authorizationToken(): BytesBlob | null;
+    authToken(): BytesBlob;
     /**
-     * Kind 10: Refinement context — E(p_x).
+     * Kind 10: Refinement context - E(p_x).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
-    refineContext(): BytesBlob | null;
+    refineContext(): BytesBlob;
     /**
-     * Kind 11: All work-item summaries — E(↕[S(w) | w ← p_w]).
+     * Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
      */
-    allWorkItems(): BytesBlob | null;
+    allWorkItems(): BytesBlob;
     /**
-     * Kind 12: Single work-item summary — S(p_w[φ₁₁]).
+     * Kind 12: Single work-item summary - S(p_w[φ₁₁]).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
      */
     oneWorkItem(workItem: U64): BytesBlob | null;
     /**
-     * Kind 13: Work-item payload — p_w[φ₁₁]_y.
+     * Kind 13: Work-item payload - p_w[φ₁₁]_y.
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
      */
@@ -202,19 +202,19 @@ export interface IAccumulateFetch {
      */
     constants(): BytesBlob;
     /**
-     * Kind 1: Entropy pool — η'₀ (posterior entropy).
+     * Kind 1: Entropy pool - η'₀ (posterior entropy).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/314302314602?v=0.7.2
      */
     entropy(): EntropyHash;
     /**
-     * Kind 14: All accumulation operands and transfers — E(↕𝐢).
+     * Kind 14: All accumulation operands and transfers - E(↕𝐢).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/314e03314e03?v=0.7.2
      */
     allTransfersAndOperands(): BytesBlob | null;
     /**
-     * Kind 15: Single accumulation operand or transfer — E(𝐢[φ₁₁]).
+     * Kind 15: Single accumulation operand or transfer - E(𝐢[φ₁₁]).
      *
      * https://graypaper.fluffylabs.dev/#/ab2cdbd/315903315903?v=0.7.2
      */
@@ -246,8 +246,8 @@ export declare enum FetchKind {
     OtherWorkItemImports = 5,
     MyImports = 6,
     WorkPackage = 7,
-    Authorizer = 8,
-    AuthorizationToken = 9,
+    AuthConfiguration = 8,
+    AuthToken = 9,
     RefineContext = 10,
     AllWorkItems = 11,
     OneWorkItem = 12,

package/packages/jam/jam-host-calls/general/fetch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fetch.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/general/fetch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAA8B,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAK3E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,oBAAY,YAAY;IACtB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,UAAU,eAAe;CAC1B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,YAAY,CAAC;IAE5C;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,WAAW,IAAI,SAAS,GAAG,IAAI,CAAC;IAEhC;;;;OAIG;IACH,UAAU,IAAI,SAAS,GAAG,IAAI,CAAC;IAE/B;;;;OAIG;IACH,kBAAkB,IAAI,SAAS,GAAG,IAAI,CAAC;IAEvC;;;;OAIG;IACH,aAAa,IAAI,SAAS,GAAG,IAAI,CAAC;IAElC;;;;OAIG;IACH,YAAY,IAAI,SAAS,GAAG,IAAI,CAAC;IAEjC;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC;IAEtC;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,OAAO,IAAI,WAAW,CAAC;IAEvB;;;;OAIG;IACH,eAAe,IAAI,SAAS,GAAG,IAAI,CAAC;IAEpC;;;;;;;;OAQG;IACH,iBAAiB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEtE;;;;;;;;OAQG;IACH,cAAc,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEnE;;;;OAIG;IACH,WAAW,IAAI,SAAS,GAAG,IAAI,CAAC;IAEhC;;;;OAIG;IACH,UAAU,IAAI,SAAS,GAAG,IAAI,CAAC;IAE/B;;;;OAIG;IACH,kBAAkB,IAAI,SAAS,GAAG,IAAI,CAAC;IAEvC;;;;OAIG;IACH,aAAa,IAAI,SAAS,GAAG,IAAI,CAAC;IAElC;;;;OAIG;IACH,YAAY,IAAI,SAAS,GAAG,IAAI,CAAC;IAEjC;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,UAAU,CAAC;IAE1C;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,OAAO,IAAI,WAAW,CAAC;IAEvB;;;;OAIG;IACH,uBAAuB,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5C;;;;OAIG;IACH,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CACpD;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAIvF;;GAEG;AACH,qBAAa,KAAM,YAAW,eAAe;aAMzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,KAAK;IANxB,KAAK,iIAAyB;IAC9B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;gBAG7C,gBAAgB,EAAE,SAAS,EAC1B,KAAK,EAAE,mBAAmB;IAGvC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;IA6BpH,OAAO,CAAC,QAAQ;CA2IjB;AAED,oBAAY,SAAS;IACnB,SAAS,IAAI;IACb,OAAO,IAAI;IACX,eAAe,IAAI;IACnB,uBAAuB,IAAI;IAC3B,YAAY,IAAI;IAChB,oBAAoB,IAAI;IACxB,SAAS,IAAI;IACb,WAAW,IAAI;IACf,UAAU,IAAI;IACd,kBAAkB,IAAI;IACtB,aAAa,KAAK;IAClB,YAAY,KAAK;IACjB,WAAW,KAAK;IAChB,eAAe,KAAK;IACpB,uBAAuB,KAAK;IAC5B,oBAAoB,KAAK;CAC1B"}
+{"version":3,"file":"fetch.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/general/fetch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAA8B,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAK3E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,oBAAY,YAAY;IACtB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,UAAU,eAAe;CAC1B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,YAAY,CAAC;IAE5C;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,WAAW,IAAI,SAAS,CAAC;IAEzB;;;;OAIG;IACH,iBAAiB,IAAI,SAAS,CAAC;IAE/B;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,aAAa,IAAI,SAAS,CAAC;IAE3B;;;;OAIG;IACH,YAAY,IAAI,SAAS,CAAC;IAE1B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC;IAEtC;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,OAAO,IAAI,WAAW,CAAC;IAEvB;;;;OAIG;IACH,eAAe,IAAI,SAAS,CAAC;IAE7B;;;;;;;;OAQG;IACH,iBAAiB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEtE;;;;;;;;OAQG;IACH,cAAc,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEnE;;;;OAIG;IACH,WAAW,IAAI,SAAS,CAAC;IAEzB;;;;OAIG;IACH,iBAAiB,IAAI,SAAS,CAAC;IAE/B;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,aAAa,IAAI,SAAS,CAAC;IAE3B;;;;OAIG;IACH,YAAY,IAAI,SAAS,CAAC;IAE1B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;OAIG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,UAAU,CAAC;IAE1C;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;OAIG;IACH,OAAO,IAAI,WAAW,CAAC;IAEvB;;;;OAIG;IACH,uBAAuB,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5C;;;;OAIG;IACH,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CACpD;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAIvF;;GAEG;AACH,qBAAa,KAAM,YAAW,eAAe;aAMzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,KAAK;IANxB,KAAK,iIAAyB;IAC9B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;gBAG7C,gBAAgB,EAAE,SAAS,EAC1B,KAAK,EAAE,mBAAmB;IAGvC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;IA6BpH,OAAO,CAAC,QAAQ;CA2IjB;AAED,oBAAY,SAAS;IACnB,SAAS,IAAI;IACb,OAAO,IAAI;IACX,eAAe,IAAI;IACnB,uBAAuB,IAAI;IAC3B,YAAY,IAAI;IAChB,oBAAoB,IAAI;IACxB,SAAS,IAAI;IACb,WAAW,IAAI;IACf,iBAAiB,IAAI;IACrB,SAAS,IAAI;IACb,aAAa,KAAK;IAClB,YAAY,KAAK;IACjB,WAAW,KAAK;IAChB,eAAe,KAAK;IACpB,uBAAuB,KAAK;IAC5B,oBAAoB,KAAK;CAC1B"}

package/packages/jam/jam-host-calls/general/fetch.js

@@ -14,7 +14,7 @@ import { HostCallResult } from "./results.js";
  * Ω_Y signature: Ω_Y(ρ, φ, μ, p, n, r, i, ī, x̄, 𝐢, ...)
  *
  * Context parameter mapping
- *   Is-Authorized: Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
+ *   IsAuthorized: Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
  *   https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
  *   Refine:        Ω_Y(ρ, φ, μ, p, H₀, r, i, ī, x̄, ∅, (m,e))
  *   https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe001?v=0.7.2
@@ -22,13 +22,13 @@ import { HostCallResult } from "./results.js";
  *   https://graypaper.fluffylabs.dev/#/ab2cdbd/30c00030c000?v=0.7.2
  *
  * Kind availability per context:
- *   Kind 0  (constants)      — all contexts
- *   Kind 1  (n)              — Refine (H₀), Accumulate (η'₀)
- *   Kind 2  (r)              — Refine only
- *   Kind 3-4 (x̄ extrinsics) — Refine only
- *   Kind 5-6 (ī imports)     — Refine only
- *   Kind 7-13 (p work pkg)   — Is-Authorized, Refine
- *   Kind 14-15 (𝐢 acc items) — Accumulate only
+ *   Kind 0  (constants)      - all contexts
+ *   Kind 1  (n)              - Refine (H₀), Accumulate (η'₀)
+ *   Kind 2  (r)              - Refine only
+ *   Kind 3-4 (x̄ extrinsics)  - Refine only
+ *   Kind 5-6 (ī imports)     - Refine only
+ *   Kind 7-13 (p work pkg)   - IsAuthorized, Refine
+ *   Kind 14-15 (𝐢 acc items) - Accumulate only
  */
 export var FetchContext;
 (function (FetchContext) {
@@ -76,25 +76,25 @@ export class Fetch {
     }
     getValue(kind, regs) {
         const ext = this.fetch;
-        // Kind 0: constants — all contexts
+        // Kind 0: constants - all contexts
         if (kind === FetchKind.Constants) {
             return ext.constants();
         }
-        // Kind 1: entropy — Refine, Accumulate
+        // Kind 1: entropy - Refine, Accumulate
         if (kind === FetchKind.Entropy) {
             if (ext.context === FetchContext.IsAuthorized) {
                 return null;
             }
             return ext.entropy();
         }
-        // Kind 2: authorizer trace — Refine only
+        // Kind 2: authorizer trace - Refine only
         if (kind === FetchKind.AuthorizerTrace) {
             if (ext.context !== FetchContext.Refine) {
                 return null;
             }
             return ext.authorizerTrace();
         }
-        // Kind 3: other work item extrinsics — Refine only
+        // Kind 3: other work item extrinsics - Refine only
         if (kind === FetchKind.OtherWorkItemExtrinsics) {
             if (ext.context !== FetchContext.Refine) {
                 return null;
@@ -103,7 +103,7 @@ export class Fetch {
             const index = regs.get(12);
             return ext.workItemExtrinsic(workItem, index);
         }
-        // Kind 4: my extrinsics — Refine only
+        // Kind 4: my extrinsics - Refine only
         if (kind === FetchKind.MyExtrinsics) {
             if (ext.context !== FetchContext.Refine) {
                 return null;
@@ -111,7 +111,7 @@ export class Fetch {
             const index = regs.get(11);
             return ext.workItemExtrinsic(null, index);
         }
-        // Kind 5: other work item imports — Refine only
+        // Kind 5: other work item imports - Refine only
         if (kind === FetchKind.OtherWorkItemImports) {
             if (ext.context !== FetchContext.Refine) {
                 return null;
@@ -120,7 +120,7 @@ export class Fetch {
             const index = regs.get(12);
             return ext.workItemImport(workItem, index);
         }
-        // Kind 6: my imports — Refine only
+        // Kind 6: my imports - Refine only
         if (kind === FetchKind.MyImports) {
             if (ext.context !== FetchContext.Refine) {
                 return null;
@@ -128,42 +128,42 @@ export class Fetch {
             const index = regs.get(11);
             return ext.workItemImport(null, index);
         }
-        // Kind 7: work package — Is-Authorized, Refine
+        // Kind 7: work package - IsAuthorized, Refine
         if (kind === FetchKind.WorkPackage) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
             }
             return ext.workPackage();
         }
-        // Kind 8: authorizer — Is-Authorized, Refine
-        if (kind === FetchKind.Authorizer) {
+        // Kind 8: auth configuration - IsAuthorized, Refine
+        if (kind === FetchKind.AuthConfiguration) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
             }
-            return ext.authorizer();
+            return ext.authConfiguration();
         }
-        // Kind 9: authorization token — Is-Authorized, Refine
-        if (kind === FetchKind.AuthorizationToken) {
+        // Kind 9: authorization token - IsAuthorized, Refine
+        if (kind === FetchKind.AuthToken) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
             }
-            return ext.authorizationToken();
+            return ext.authToken();
         }
-        // Kind 10: refine context — Is-Authorized, Refine
+        // Kind 10: refine context - IsAuthorized, Refine
         if (kind === FetchKind.RefineContext) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
             }
             return ext.refineContext();
         }
-        // Kind 11: all work items — Is-Authorized, Refine
+        // Kind 11: all work items - IsAuthorized, Refine
         if (kind === FetchKind.AllWorkItems) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
             }
             return ext.allWorkItems();
         }
-        // Kind 12: one work item — Is-Authorized, Refine
+        // Kind 12: one work item - IsAuthorized, Refine
         if (kind === FetchKind.OneWorkItem) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
@@ -171,7 +171,7 @@ export class Fetch {
             const workItem = regs.get(11);
             return ext.oneWorkItem(workItem);
         }
-        // Kind 13: work item payload — Is-Authorized, Refine
+        // Kind 13: work item payload - IsAuthorized, Refine
         if (kind === FetchKind.WorkItemPayload) {
             if (ext.context === FetchContext.Accumulate) {
                 return null;
@@ -179,14 +179,14 @@ export class Fetch {
             const workItem = regs.get(11);
             return ext.workItemPayload(workItem);
         }
-        // Kind 14: all transfers and operands — Accumulate only
+        // Kind 14: all transfers and operands - Accumulate only
         if (kind === FetchKind.AllTransfersAndOperands) {
             if (ext.context !== FetchContext.Accumulate) {
                 return null;
             }
             return ext.allTransfersAndOperands();
         }
-        // Kind 15: one transfer or operand — Accumulate only
+        // Kind 15: one transfer or operand - Accumulate only
         if (kind === FetchKind.OneTransferOrOperand) {
             if (ext.context !== FetchContext.Accumulate) {
                 return null;
@@ -207,8 +207,8 @@ export var FetchKind;
     FetchKind[FetchKind["OtherWorkItemImports"] = 5] = "OtherWorkItemImports";
     FetchKind[FetchKind["MyImports"] = 6] = "MyImports";
     FetchKind[FetchKind["WorkPackage"] = 7] = "WorkPackage";
-    FetchKind[FetchKind["Authorizer"] = 8] = "Authorizer";
-    FetchKind[FetchKind["AuthorizationToken"] = 9] = "AuthorizationToken";
+    FetchKind[FetchKind["AuthConfiguration"] = 8] = "AuthConfiguration";
+    FetchKind[FetchKind["AuthToken"] = 9] = "AuthToken";
     FetchKind[FetchKind["RefineContext"] = 10] = "RefineContext";
     FetchKind[FetchKind["AllWorkItems"] = 11] = "AllWorkItems";
     FetchKind[FetchKind["OneWorkItem"] = 12] = "OneWorkItem";