@typeberry/lib 0.5.10 → 0.5.11-1fbacf3

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

@@ -4,6 +4,38 @@ import { tryAsSmallGas } from "#@typeberry/pvm-interface";
 import { logger } from "../logger.js";
 import { clampU64ToU32 } from "../utils.js";
 import { HostCallResult } from "./results.js";
+/**
+ * Fetchable data contexts.
+ *
+ * The fetch host call (ecalli 1) returns context-dependent data based on
+ * ω₁₀ (the kind selector). Each invocation context passes different
+ * parameters to Ω_Y, which determines which kinds return data vs NONE.
+ *
+ * Ω_Y signature: Ω_Y(ρ, φ, μ, p, n, r, i, ī, x̄, 𝐢, ...)
+ *
+ * Context parameter mapping
+ *   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
+ *   Accumulate:    Ω_Y(ρ, φ, μ, ∅, η'₀, ∅, ∅, ∅, ∅, 𝐢, (x,y))
+ *   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)   - IsAuthorized, Refine
+ *   Kind 14-15 (𝐢 acc items) - Accumulate only
+ */
+export var FetchContext;
+(function (FetchContext) {
+    FetchContext["IsAuthorized"] = "isAuthorized";
+    FetchContext["Refine"] = "refine";
+    FetchContext["Accumulate"] = "accumulate";
+})(FetchContext || (FetchContext = {}));
 const IN_OUT_REG = 7;
 /**
  * https://graypaper.fluffylabs.dev/#/7e6ff6a/324000324000?v=0.6.7
@@ -14,6 +46,9 @@ export class Fetch {
     index = tryAsHostCallIndex(1);
     basicGasCost = tryAsSmallGas(10);
     tracedRegisters = traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12);
+    static new(currentServiceId, fetch) {
+        return new Fetch(currentServiceId, fetch);
+    }
     constructor(currentServiceId, fetch) {
         this.currentServiceId = currentServiceId;
         this.fetch = fetch;
@@ -43,62 +78,124 @@ export class Fetch {
         regs.set(IN_OUT_REG, value === null ? HostCallResult.NONE : valueLength);
     }
     getValue(kind, regs) {
+        const ext = this.fetch;
+        // Kind 0: constants - all contexts
         if (kind === FetchKind.Constants) {
-            return this.fetch.constants();
+            return ext.constants();
         }
+        // Kind 1: entropy - Refine, Accumulate
         if (kind === FetchKind.Entropy) {
-            return this.fetch.entropy();
+            if (ext.context === FetchContext.IsAuthorized) {
+                return null;
+            }
+            return ext.entropy();
         }
+        // Kind 2: authorizer trace - Refine only
         if (kind === FetchKind.AuthorizerTrace) {
-            return this.fetch.authorizerTrace();
+            if (ext.context !== FetchContext.Refine) {
+                return null;
+            }
+            return ext.authorizerTrace();
         }
+        // Kind 3: other work item extrinsics - Refine only
         if (kind === FetchKind.OtherWorkItemExtrinsics) {
+            if (ext.context !== FetchContext.Refine) {
+                return null;
+            }
             const workItem = regs.get(11);
             const index = regs.get(12);
-            return this.fetch.workItemExtrinsic(workItem, index);
+            return ext.workItemExtrinsic(workItem, index);
         }
+        // Kind 4: my extrinsics - Refine only
         if (kind === FetchKind.MyExtrinsics) {
+            if (ext.context !== FetchContext.Refine) {
+                return null;
+            }
             const index = regs.get(11);
-            return this.fetch.workItemExtrinsic(null, index);
+            return ext.workItemExtrinsic(null, index);
         }
+        // Kind 5: other work item imports - Refine only
         if (kind === FetchKind.OtherWorkItemImports) {
+            if (ext.context !== FetchContext.Refine) {
+                return null;
+            }
             const workItem = regs.get(11);
             const index = regs.get(12);
-            return this.fetch.workItemImport(workItem, index);
+            return ext.workItemImport(workItem, index);
         }
+        // Kind 6: my imports - Refine only
         if (kind === FetchKind.MyImports) {
+            if (ext.context !== FetchContext.Refine) {
+                return null;
+            }
             const index = regs.get(11);
-            return this.fetch.workItemImport(null, index);
+            return ext.workItemImport(null, index);
         }
+        // Kind 7: work package - IsAuthorized, Refine
         if (kind === FetchKind.WorkPackage) {
-            return this.fetch.workPackage();
-        }
-        if (kind === FetchKind.Authorizer) {
-            return this.fetch.authorizer();
-        }
-        if (kind === FetchKind.AuthorizationToken) {
-            return this.fetch.authorizationToken();
-        }
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.workPackage();
+        }
+        // Kind 8: auth configuration - IsAuthorized, Refine
+        if (kind === FetchKind.AuthConfiguration) {
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.authConfiguration();
+        }
+        // Kind 9: authorization token - IsAuthorized, Refine
+        if (kind === FetchKind.AuthToken) {
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.authToken();
+        }
+        // Kind 10: refine context - IsAuthorized, Refine
         if (kind === FetchKind.RefineContext) {
-            return this.fetch.refineContext();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.refineContext();
         }
+        // Kind 11: all work items - IsAuthorized, Refine
         if (kind === FetchKind.AllWorkItems) {
-            return this.fetch.allWorkItems();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.allWorkItems();
         }
+        // Kind 12: one work item - IsAuthorized, Refine
         if (kind === FetchKind.OneWorkItem) {
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
             const workItem = regs.get(11);
-            return this.fetch.oneWorkItem(workItem);
+            return ext.oneWorkItem(workItem);
         }
+        // Kind 13: work item payload - IsAuthorized, Refine
         if (kind === FetchKind.WorkItemPayload) {
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
             const workItem = regs.get(11);
-            return this.fetch.workItemPayload(workItem);
+            return ext.workItemPayload(workItem);
         }
+        // Kind 14: all transfers and operands - Accumulate only
         if (kind === FetchKind.AllTransfersAndOperands) {
-            return this.fetch.allTransfersAndOperands();
+            if (ext.context !== FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.allTransfersAndOperands();
         }
+        // Kind 15: one transfer or operand - Accumulate only
         if (kind === FetchKind.OneTransferOrOperand) {
+            if (ext.context !== FetchContext.Accumulate) {
+                return null;
+            }
             const index = regs.get(11);
-            return this.fetch.oneTransferOrOperand(index);
+            return ext.oneTransferOrOperand(index);
         }
         return null;
     }
@@ -113,8 +210,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";