@typeberry/lib 0.5.10-6cb1bd5 → 0.5.10-7338c21

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

@@ -1,168 +1,229 @@
-import type { ServiceId } from "#@typeberry/block";
+import type { EntropyHash, ServiceId } from "#@typeberry/block";
 import type { BytesBlob } from "#@typeberry/bytes";
 import { type U64 } from "#@typeberry/numbers";
 import type { HostCallHandler, HostCallMemory, HostCallRegisters } from "#@typeberry/pvm-host-calls";
 import { PvmExecution } from "#@typeberry/pvm-host-calls";
 import { type IGasCounter } from "#@typeberry/pvm-interface";
-/** Fetchable data. */
-export interface IFetchExternalities {
+/**
+ * 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 declare enum FetchContext {
+    IsAuthorized = "isAuthorized",
+    Refine = "refine",
+    Accumulate = "accumulate"
+}
+/**
+ * Fetch externalities for the IsAuthorized context.
+ *
+ * Ω_Y(ρ, φ, μ, 𝐩, ∅, ∅, ∅, ∅, ∅, ∅, ∅)
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/2e43012e4301?v=0.7.2
+ *
+ * Available kinds: 0 (constants), 7-13 (work package)
+ */
+export interface IIsAuthorizedFetch {
+    readonly context: FetchContext.IsAuthorized;
     /**
-     * Encoded constants info.
+     * Kind 0: Encoded constants info (𝐜).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32de0032e100?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
      */
     constants(): BytesBlob;
     /**
-     * Entropy.
-     *
-     * Is Authorized: `p` (work package?)
-     * Refine: `H_0` (might change in the future)
-     * Accumulate: `eta_0 prime`
-     * On Transfer: `eta_0 prime`
+     * Kind 7: Encoded work package - E(𝐩).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/325501325501?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
      */
-    entropy(): BytesBlob | null;
+    workPackage(): BytesBlob;
     /**
+     * Kind 8: Authorizer configuration - p_f.
      *
-     * Authorizer trace.
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
+     */
+    authConfiguration(): BytesBlob;
+    /**
+     * Kind 9: Authorization token - p_j.
      *
-     * Is Authorized: <empty>
-     * Refine: `r` - authorizer trace?
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
+     */
+    authToken(): BytesBlob;
+    /**
+     * Kind 10: Refinement context - E(p_x).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/325b01325b01?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
-    authorizerTrace(): BytesBlob | null;
+    refineContext(): BytesBlob;
     /**
-     * Inspect currently refined or other work item's extrinsics.
+     * Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
      *
-     * Is Authorized: <empty>
-     * Refine: `\over(x)[*]`
-     *   https://graypaper.fluffylabs.dev/#/9a08063/2fd8002fd800?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
+     */
+    allWorkItems(): BytesBlob;
+    /**
+     * Kind 12: Single work-item summary - S(p_w[φ₁₁]).
      *
-     * Other: https://graypaper.fluffylabs.dev/#/9a08063/326801326801?v=0.6.6
-     *    My: https://graypaper.fluffylabs.dev/#/9a08063/327701327701?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
      */
-    workItemExtrinsic(workItem: U64 | null, index: U64): BytesBlob | null;
+    oneWorkItem(workItem: U64): BytesBlob | null;
     /**
-     * Inspect import segments from current or other work items.
+     * Kind 13: Work-item payload - p_w[φ₁₁]_y.
      *
-     * Is Authorized: <empty>
-     * Refine: `\over(i)[*]`
-     *   https://graypaper.fluffylabs.dev/#/9a08063/2e15012e1501?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
+     */
+    workItemPayload(workItem: U64): BytesBlob | null;
+}
+/**
+ * Fetch externalities for the Refine context.
+ *
+ * Ω_Y(ρ, φ, μ, p, H₀, r, i, ī, x̄, ∅, (m,e))
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe001?v=0.7.2
+ *
+ * Available kinds: 0-13 (all except accumulation items)
+ */
+export interface IRefineFetch {
+    readonly context: FetchContext.Refine;
+    /**
+     * Kind 0: Encoded constants info (𝐜).
      *
-     * Other: https://graypaper.fluffylabs.dev/#/9a08063/328501328501?v=0.6.6
-     *    My: https://graypaper.fluffylabs.dev/#/9a08063/329601329601?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
      */
-    workItemImport(workItem: U64 | null, index: U64): BytesBlob | null;
+    constants(): BytesBlob;
     /**
-     * Inspect encoding of the entire work package.
+     * Kind 1: Entropy pool - H₀ (zero hash).
      *
-     * Is Authorized: <empty>
-     * Refine: `E(p)`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/2fe0012fe201?v=0.7.2
+     */
+    entropy(): EntropyHash;
+    /**
+     * Kind 2: Authorizer trace (𝐫).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/329f0132a201?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314902314902?v=0.7.2
      */
-    workPackage(): BytesBlob | null;
+    authorizerTrace(): BytesBlob;
     /**
-     * Inspect current work package's authorizer:
-     * authorizer code hash (`u`) and parametrization (`p`).
+     * Kind 3 (other) / Kind 4 (my): Work-item extrinsics (x̄).
      *
-     * Is Authorized: <empty>
-     * Refine: `E(p_u, ↕p_p)`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * When workItem is null, uses Kind 4 (current work item's extrinsics).
+     * When workItem is provided, uses Kind 3 (other work item's extrinsics).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32aa0132aa01?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315402315402?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/317302317302?v=0.7.2
      */
-    authorizer(): BytesBlob | null;
+    workItemExtrinsic(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Inspect authorization token.
+     * Kind 5 (other) / Kind 6 (my): Import segments (ī).
      *
-     * Is Authorized: <empty>
-     * Refine: `p_j`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * When workItem is null, uses Kind 6 (current work item's imports).
+     * When workItem is provided, uses Kind 5 (other work item's imports).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32b10132b101?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/318b02318b02?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31aa0231aa02?v=0.7.2
      */
-    authorizationToken(): BytesBlob | null;
+    workItemImport(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Inspect refine context.
+     * Kind 7: Encoded work package - E(p).
      *
-     * Is Authorized: <empty>
-     * Refine: `p_x`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
+     */
+    workPackage(): BytesBlob;
+    /**
+     * Kind 8: Authorizer configuration - p_f.
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32b80132b801?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
      */
-    refineContext(): BytesBlob | null;
+    authConfiguration(): BytesBlob;
     /**
-     * Encoding (varlen sequence) of all work items.
+     * Kind 9: Authorization token - p_j.
      *
-     * Is Authorized: <empty>
-     * Refine: `E(↕[S(w): w <- p_w ]))`
-     *  `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
+     */
+    authToken(): BytesBlob;
+    /**
+     * Kind 10: Refinement context - E(p_x).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32cd0132d001?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
-    allWorkItems(): BytesBlob | null;
+    refineContext(): BytesBlob;
     /**
-     * Encoding of a single (selected) work item.
-     * `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
+     * Kind 11: All work-item summaries - E(↕[S(w) | w ← p_w]).
      *
-     * Is Authorized: <empty>
-     * Refine: `S(w)`
-     *   `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
+     */
+    allWorkItems(): BytesBlob;
+    /**
+     * Kind 12: Single work-item summary - S(p_w[φ₁₁]).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32d50132d501?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31fc0231fc02?v=0.7.2
      */
     oneWorkItem(workItem: U64): BytesBlob | null;
     /**
-     * Retrieve work item payload.
+     * Kind 13: Work-item payload - p_w[φ₁₁]_y.
      *
-     * Is Authorized: <empty>
-     * Refine: `p_w[omega_11]_y`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
-     *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32f00132f001?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
      */
     workItemPayload(workItem: U64): BytesBlob | null;
+}
+/**
+ * Fetch externalities for the Accumulate context.
+ *
+ * Ω_Y(ρ, φ, μ, ∅, η'₀, ∅, ∅, ∅, ∅, 𝐢, (x,y))
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/30c00030c000?v=0.7.2
+ *
+ * Available kinds: 0 (constants), 1 (entropy), 14-15 (accumulation items)
+ */
+export interface IAccumulateFetch {
+    readonly context: FetchContext.Accumulate;
     /**
-     * Get all accumulation operands (work results?) and transfers.
+     * Kind 0: Encoded constants info (𝐜).
      *
-     * Is Authorized: <empty>
-     * Refine: <empty>
-     * Accumulate: `E(↕i)`
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
+     */
+    constants(): BytesBlob;
+    /**
+     * Kind 1: Entropy pool - η'₀ (posterior entropy).
      *
-     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314c03314c03?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314302314602?v=0.7.2
      */
-    allTransfersAndOperands(): BytesBlob | null;
+    entropy(): EntropyHash;
     /**
-     * Get one selected accumulation operand or transfer.
+     * Kind 14: All accumulation operands and transfers - E(↕𝐢).
      *
-     * Is Authorized: <empty>
-     * Refine: <empty>
-     * Accumulate: `E(i[omega_11])`
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314e03314e03?v=0.7.2
+     */
+    allTransfersAndOperands(): BytesBlob | null;
+    /**
+     * Kind 15: Single accumulation operand or transfer - E(𝐢[φ₁₁]).
      *
-     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315503315503?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315903315903?v=0.7.2
      */
     oneTransferOrOperand(index: U64): BytesBlob | null;
 }
+/**
+ * Union of all context-specific fetch externality interfaces.
+ */
+export type IFetchExternalities = IIsAuthorizedFetch | IRefineFetch | IAccumulateFetch;
 /**
  * https://graypaper.fluffylabs.dev/#/7e6ff6a/324000324000?v=0.6.7
  */
@@ -185,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,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,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,sBAAsB;AACtB,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,SAAS,IAAI,SAAS,CAAC;IAEvB;;;;;;;;;OASG;IACH,OAAO,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5B;;;;;;;;;;OAUG;IACH,eAAe,IAAI,SAAS,GAAG,IAAI,CAAC;IAEpC;;;;;;;;;;;OAWG;IACH,iBAAiB,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEtE;;;;;;;;;;;OAWG;IACH,cAAc,CAAC,QAAQ,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEnE;;;;;;;;;OASG;IACH,WAAW,IAAI,SAAS,GAAG,IAAI,CAAC;IAEhC;;;;;;;;;;OAUG;IACH,UAAU,IAAI,SAAS,GAAG,IAAI,CAAC;IAE/B;;;;;;;;;OASG;IACH,kBAAkB,IAAI,SAAS,GAAG,IAAI,CAAC;IAEvC;;;;;;;;;OASG;IACH,aAAa,IAAI,SAAS,GAAG,IAAI,CAAC;IAElC;;;;;;;;;;OAUG;IACH,YAAY,IAAI,SAAS,GAAG,IAAI,CAAC;IAEjC;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAE7C;;;;;;;;;OASG;IACH,eAAe,CAAC,QAAQ,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;IAEjD;;;;;;;;OAQG;IACH,uBAAuB,IAAI,SAAS,GAAG,IAAI,CAAC;IAE5C;;;;;;;;OAQG;IACH,oBAAoB,CAAC,KAAK,EAAE,GAAG,GAAG,SAAS,GAAG,IAAI,CAAC;CACpD;AAID;;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;CA4EjB;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

@@ -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
@@ -43,62 +75,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 +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";