@typeberry/lib 0.5.9 → 0.5.10-47fe638

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
+ *   Is-Authorized: Ω_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)   — Is-Authorized, Refine
+ *   Kind 14-15 (𝐢 acc items) — Accumulate only
+ */
+export declare enum FetchContext {
+    IsAuthorized = "isAuthorized",
+    Refine = "refine",
+    Accumulate = "accumulate"
+}
+/**
+ * Fetch externalities for the Is-Authorized 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.
+     * Kind 7: Encoded work package — E(𝐩).
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
+     */
+    workPackage(): BytesBlob | null;
+    /**
+     * Kind 8: Authorizer code hash and config — p_f.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
+     */
+    authorizer(): BytesBlob | null;
+    /**
+     * Kind 9: Authorization token — p_j.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
+     */
+    authorizationToken(): BytesBlob | null;
+    /**
+     * Kind 10: Refinement context — E(p_x).
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
+     */
+    refineContext(): BytesBlob | null;
+    /**
+     * Kind 11: All work-item summaries — E(↕[S(w) | w ← p_w]).
      *
-     * Is Authorized: `p` (work package?)
-     * Refine: `H_0` (might change in the future)
-     * Accumulate: `eta_0 prime`
-     * On Transfer: `eta_0 prime`
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
+     */
+    allWorkItems(): BytesBlob | null;
+    /**
+     * 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.
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/325501325501?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/313b03313b03?v=0.7.2
      */
-    entropy(): BytesBlob | null;
+    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 (𝐜).
      *
-     * Authorizer trace.
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
+     */
+    constants(): BytesBlob;
+    /**
+     * Kind 1: Entropy pool — H₀ (zero hash).
      *
-     * Is Authorized: <empty>
-     * Refine: `r` - authorizer trace?
-     * 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/325b01325b01?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314902314902?v=0.7.2
      */
     authorizerTrace(): BytesBlob | null;
     /**
-     * Inspect currently refined or other work item's extrinsics.
+     * Kind 3 (other) / Kind 4 (my): Work-item extrinsics (x̄).
      *
-     * Is Authorized: <empty>
-     * Refine: `\over(x)[*]`
-     *   https://graypaper.fluffylabs.dev/#/9a08063/2fd8002fd800?v=0.6.6
-     * 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).
      *
-     * 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/315402315402?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/317302317302?v=0.7.2
      */
     workItemExtrinsic(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Inspect import segments from current or other work items.
+     * Kind 5 (other) / Kind 6 (my): Import segments (ī).
      *
-     * Is Authorized: <empty>
-     * Refine: `\over(i)[*]`
-     *   https://graypaper.fluffylabs.dev/#/9a08063/2e15012e1501?v=0.6.6
-     * 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).
      *
-     * 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/318b02318b02?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31aa0231aa02?v=0.7.2
      */
     workItemImport(workItem: U64 | null, index: U64): BytesBlob | null;
     /**
-     * Inspect encoding of the entire work package.
+     * Kind 7: Encoded work package — E(p).
      *
-     * Is Authorized: <empty>
-     * Refine: `E(p)`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
-     *
-     * https://graypaper.fluffylabs.dev/#/9a08063/329f0132a201?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c10231c102?v=0.7.2
      */
     workPackage(): BytesBlob | null;
     /**
-     * Inspect current work package's authorizer:
-     * authorizer code hash (`u`) and parametrization (`p`).
-     *
-     * Is Authorized: <empty>
-     * Refine: `E(p_u, ↕p_p)`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * Kind 8: Authorizer code hash and config — p_f.
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32aa0132aa01?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31c80231c802?v=0.7.2
      */
     authorizer(): BytesBlob | null;
     /**
-     * Inspect authorization token.
+     * Kind 9: Authorization token — p_j.
      *
-     * Is Authorized: <empty>
-     * Refine: `p_j`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
-     *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32b10132b101?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31cf0231cf02?v=0.7.2
      */
     authorizationToken(): BytesBlob | null;
     /**
-     * Inspect refine context.
-     *
-     * Is Authorized: <empty>
-     * Refine: `p_x`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * Kind 10: Refinement context — E(p_x).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32b80132b801?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31da0231da02?v=0.7.2
      */
     refineContext(): BytesBlob | null;
     /**
-     * Encoding (varlen sequence) of all work items.
-     *
-     * 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>
+     * Kind 11: All work-item summaries — E(↕[S(w) | w ← p_w]).
      *
-     * https://graypaper.fluffylabs.dev/#/9a08063/32cd0132d001?v=0.6.6
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/31f40231f402?v=0.7.2
      */
     allWorkItems(): BytesBlob | null;
     /**
-     * Encoding of a single (selected) work item.
-     * `S(w)`: https://graypaper.fluffylabs.dev/#/9a08063/32db0132ea01?v=0.6.6
+     * Kind 12: Single work-item summary — S(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/#/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.
-     *
-     * Is Authorized: <empty>
-     * Refine: `p_w[omega_11]_y`
-     * Accumulate: <empty>
-     * On Transfer: <empty>
+     * Kind 13: Work-item payload — p_w[φ₁₁]_y.
      *
-     * 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;
+    /**
+     * Kind 0: Encoded constants info (𝐜).
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/315001315001?v=0.7.2
+     */
+    constants(): BytesBlob;
     /**
-     * Get all accumulation operands (work results?) and transfers.
+     * Kind 1: Entropy pool — η'₀ (posterior entropy).
      *
-     * Is Authorized: <empty>
-     * Refine: <empty>
-     * Accumulate: `E(↕i)`
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314302314602?v=0.7.2
+     */
+    entropy(): EntropyHash;
+    /**
+     * Kind 14: All accumulation operands and transfers — E(↕𝐢).
      *
-     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314c03314c03?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/314e03314e03?v=0.7.2
      */
     allTransfersAndOperands(): BytesBlob | null;
     /**
-     * Get one selected accumulation operand or transfer.
+     * Kind 15: Single accumulation operand or transfer — E(𝐢[φ₁₁]).
      *
-     * Is Authorized: <empty>
-     * Refine: <empty>
-     * Accumulate: `E(i[omega_11])`
-     *
-     * 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
  */

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,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"}

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
+ *   Is-Authorized: Ω_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)   — Is-Authorized, 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 — Is-Authorized, Refine
         if (kind === FetchKind.WorkPackage) {
-            return this.fetch.workPackage();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.workPackage();
         }
+        // Kind 8: authorizer — Is-Authorized, Refine
         if (kind === FetchKind.Authorizer) {
-            return this.fetch.authorizer();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.authorizer();
         }
+        // Kind 9: authorization token — Is-Authorized, Refine
         if (kind === FetchKind.AuthorizationToken) {
-            return this.fetch.authorizationToken();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.authorizationToken();
         }
+        // Kind 10: refine context — Is-Authorized, Refine
         if (kind === FetchKind.RefineContext) {
-            return this.fetch.refineContext();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.refineContext();
         }
+        // Kind 11: all work items — Is-Authorized, Refine
         if (kind === FetchKind.AllWorkItems) {
-            return this.fetch.allWorkItems();
+            if (ext.context === FetchContext.Accumulate) {
+                return null;
+            }
+            return ext.allWorkItems();
         }
+        // Kind 12: one work item — Is-Authorized, 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 — Is-Authorized, 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;
     }