@typeberry/lib 0.5.2-7570566 → 0.5.2-ab56433

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (48) hide show
  1. package/package.json +2 -2
  2. package/packages/core/collections/blob-dictionary.d.ts.map +1 -1
  3. package/packages/core/collections/blob-dictionary.js +3 -3
  4. package/packages/core/pvm-host-calls/bin.js +6 -6
  5. package/packages/core/pvm-host-calls/ecalli-io-tracker.d.ts +32 -0
  6. package/packages/core/pvm-host-calls/ecalli-io-tracker.d.ts.map +1 -0
  7. package/packages/core/pvm-host-calls/ecalli-io-tracker.js +14 -0
  8. package/packages/core/pvm-host-calls/ecalli-trace-logger.d.ts +139 -0
  9. package/packages/core/pvm-host-calls/ecalli-trace-logger.d.ts.map +1 -0
  10. package/packages/core/pvm-host-calls/ecalli-trace-logger.js +209 -0
  11. package/packages/core/pvm-host-calls/ecalli-trace-logger.test.d.ts +2 -0
  12. package/packages/core/pvm-host-calls/ecalli-trace-logger.test.d.ts.map +1 -0
  13. package/packages/core/pvm-host-calls/ecalli-trace-logger.test.js +231 -0
  14. package/packages/core/pvm-host-calls/host-call-memory.d.ts +2 -0
  15. package/packages/core/pvm-host-calls/host-call-memory.d.ts.map +1 -1
  16. package/packages/core/pvm-host-calls/host-call-memory.js +12 -2
  17. package/packages/core/pvm-host-calls/host-call-registers.d.ts +6 -0
  18. package/packages/core/pvm-host-calls/host-call-registers.d.ts.map +1 -1
  19. package/packages/core/pvm-host-calls/host-call-registers.js +24 -0
  20. package/packages/core/pvm-host-calls/host-calls-executor.d.ts +31 -0
  21. package/packages/core/pvm-host-calls/host-calls-executor.d.ts.map +1 -0
  22. package/packages/core/pvm-host-calls/host-calls-executor.js +137 -0
  23. package/packages/core/pvm-host-calls/host-calls.d.ts +20 -26
  24. package/packages/core/pvm-host-calls/host-calls.d.ts.map +1 -1
  25. package/packages/core/pvm-host-calls/host-calls.js +40 -112
  26. package/packages/core/pvm-host-calls/index.d.ts +7 -6
  27. package/packages/core/pvm-host-calls/index.d.ts.map +1 -1
  28. package/packages/core/pvm-host-calls/index.js +7 -6
  29. package/packages/core/pvm-host-calls/{interpreter-instance-manager.d.ts → pvm-instance-manager.d.ts} +3 -3
  30. package/packages/core/pvm-host-calls/pvm-instance-manager.d.ts.map +1 -0
  31. package/packages/core/pvm-host-calls/{interpreter-instance-manager.js → pvm-instance-manager.js} +2 -2
  32. package/packages/jam/safrole/bandersnatch-vrf.d.ts +2 -0
  33. package/packages/jam/safrole/bandersnatch-vrf.d.ts.map +1 -1
  34. package/packages/jam/safrole/bandersnatch-vrf.js +11 -0
  35. package/packages/jam/safrole/bandersnatch-wasm.d.ts +1 -0
  36. package/packages/jam/safrole/bandersnatch-wasm.d.ts.map +1 -1
  37. package/packages/jam/safrole/bandersnatch-wasm.js +3 -0
  38. package/packages/jam/safrole/safrole-seal.d.ts +1 -3
  39. package/packages/jam/safrole/safrole-seal.d.ts.map +1 -1
  40. package/packages/jam/safrole/safrole-seal.js +14 -25
  41. package/packages/jam/transition/accumulate/pvm-executor.d.ts.map +1 -1
  42. package/packages/jam/transition/accumulate/pvm-executor.js +2 -2
  43. package/packages/jam/transition/disputes/disputes.d.ts.map +1 -1
  44. package/packages/jam/transition/disputes/disputes.js +5 -4
  45. package/packages/core/pvm-host-calls/host-calls-manager.d.ts +0 -23
  46. package/packages/core/pvm-host-calls/host-calls-manager.d.ts.map +0 -1
  47. package/packages/core/pvm-host-calls/host-calls-manager.js +0 -44
  48. package/packages/core/pvm-host-calls/interpreter-instance-manager.d.ts.map +0 -1
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@typeberry/lib",
3
- "version": "0.5.2-7570566",
3
+ "version": "0.5.2-ab56433",
4
4
  "description": "Typeberry Library",
5
5
  "main": "./bin/lib/index.js",
6
6
  "types": "./bin/lib/index.d.ts",
@@ -258,7 +258,7 @@
258
258
  "#@typeberry/state-vectors/*": "./packages/jam/state-vectors/*"
259
259
  },
260
260
  "dependencies": {
261
- "@fluffylabs/anan-as": "^1.1.3",
261
+ "@fluffylabs/anan-as": "^1.1.5",
262
262
  "@noble/ed25519": "2.2.3",
263
263
  "@typeberry/native": "0.0.4-4c0cd28",
264
264
  "hash-wasm": "4.12.0"
@@ -1 +1 @@
1
- {"version":3,"file":"blob-dictionary.d.ts","sourceRoot":"","sources":["../../../../../packages/core/collections/blob-dictionary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAiD,kBAAkB,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEhH,0CAA0C;AAC1C,qBAAa,cAAc,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,CAAE,SAAQ,SAAS;IA8B7C,OAAO,CAAC,gBAAgB;IA7B9C;;;;;;;OAOG;IACH,OAAO,CAAC,IAAI,CAA+B;IAE3C;;;;;OAKG;IACH,OAAO,CAAC,OAAO,CAAiC;IAEhD;;;;;;;;;;OAUG;IACH,SAAS,aAAqB,gBAAgB,EAAE,MAAM;IAItD;;;;;;;;;OASG;IACH,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,CAAC,kBAAkB,CAAC;IAMpB;;;;;;;;OAQG;IACH,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,gBAAgB,SAAI;IAIvD;;;;;;;;;OASG;IACH,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAO9G;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,WAAW;IAyDnB;;;;;;;;;OASG;IACH,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI;IAO3B;;;;;;;OAOG;IACH,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,SAAS;IA8B1B;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO;IAIpB;;;;;;;OAOG;IACH,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO;IASvB;;;;;;OAMG;IACH,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAIjC;;;;;;OAMG;IACF,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAMpC;;;;;;OAMG;IACF,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAM/C;;;;;;;;;;;;;OAaG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAIxD;;;;;;;;;;OAUG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE;CAK9C;AAKD;;;;;KAKK;AACL,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAYpD;AAID,KAAK,MAAM,CAAC,EAAE,SAAS,SAAS,IAAI,SAAS,CAAC;AAC9C,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC;AAG3B,KAAK,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,IAAI;IAClC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC;CACV,CAAC;AA+CF,qBAAa,YAAY,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC;IAC9C,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAM;IAEzC,OAAO;IAEP,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAQvC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IASzC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAY3D,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC;CAGlC"}
1
+ {"version":3,"file":"blob-dictionary.d.ts","sourceRoot":"","sources":["../../../../../packages/core/collections/blob-dictionary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAiD,kBAAkB,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEhH,0CAA0C;AAC1C,qBAAa,cAAc,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,CAAE,SAAQ,SAAS;IA8B7C,OAAO,CAAC,gBAAgB;IA7B9C;;;;;;;OAOG;IACH,OAAO,CAAC,IAAI,CAA+B;IAE3C;;;;;OAKG;IACH,OAAO,CAAC,OAAO,CAAiC;IAEhD;;;;;;;;;;OAUG;IACH,SAAS,aAAqB,gBAAgB,EAAE,MAAM;IAItD;;;;;;;;;OASG;IACH,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,CAAC,kBAAkB,CAAC;IAMpB;;;;;;;;OAQG;IACH,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,gBAAgB,SAAI;IAIvD;;;;;;;;;OASG;IACH,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAO9G;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,WAAW;IAyDnB;;;;;;;;;OASG;IACH,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI;IAO3B;;;;;;;OAOG;IACH,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,SAAS;IA8B1B;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO;IAIpB;;;;;;;OAOG;IACH,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO;IASvB;;;;;;OAMG;IACH,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAIjC;;;;;;OAMG;IACF,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAMpC;;;;;;OAMG;IACF,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAM/C;;;;;;;;;;;;;OAaG;IACH,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAIxD;;;;;;;;;;OAUG;IACH,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE;CAK9C;AAKD;;;;;KAKK;AACL,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAYpD;AAID,KAAK,MAAM,CAAC,EAAE,SAAS,SAAS,IAAI,SAAS,CAAC;AAC9C,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC;AAG3B,KAAK,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,IAAI;IAClC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACvB,KAAK,EAAE,CAAC,CAAC;CACV,CAAC;AA+CF,qBAAa,YAAY,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC;IAC9C,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAM;IAEzC,OAAO;IAEP,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAUvC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IASzC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAY3D,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC;CAGlC"}
@@ -172,14 +172,14 @@ export class BlobDictionary extends WithDebug {
172
172
  const pathChunksGenerator = key.chunks(CHUNK_SIZE);
173
173
  let depth = 0;
174
174
  while (node !== undefined) {
175
- const maybePathChunk = pathChunksGenerator.next().value;
176
175
  if (node.children instanceof ListChildren) {
177
- const subkey = BytesBlob.blobFrom(key.raw.subarray(depth * CHUNK_SIZE));
176
+ const subkey = depth === 0 ? key : BytesBlob.blobFrom(key.raw.subarray(depth * CHUNK_SIZE));
178
177
  const child = node.children.find(subkey);
179
178
  if (child !== null) {
180
179
  return child.value;
181
180
  }
182
181
  }
182
+ const maybePathChunk = pathChunksGenerator.next().value;
183
183
  if (maybePathChunk === undefined) {
184
184
  return node.getLeaf()?.value;
185
185
  }
@@ -363,7 +363,7 @@ export class ListChildren {
363
363
  children = [];
364
364
  constructor() { }
365
365
  find(key) {
366
- const result = this.children.find((item) => item[0].isEqualTo(key));
366
+ const result = this.children.find((item) => item[0] === key || item[0].isEqualTo(key));
367
367
  if (result !== undefined) {
368
368
  return result[1];
369
369
  }
@@ -1,11 +1,11 @@
1
1
  import { PvmBackend } from "#@typeberry/config";
2
2
  import { tryAsGas } from "#@typeberry/pvm-interface";
3
- import { HostCalls } from "./host-calls.js";
4
- import { HostCallsManager, NoopMissing } from "./host-calls-manager.js";
5
- import { InterpreterInstanceManager } from "./interpreter-instance-manager.js";
6
- const hostCalls = new HostCallsManager({ missing: new NoopMissing(), handlers: [] });
7
- const pvmInstanceManager = await InterpreterInstanceManager.new(PvmBackend.BuiltIn);
8
- const pvmHostCallExtension = new HostCalls(pvmInstanceManager, hostCalls);
3
+ import { HostCalls, NoopMissing } from "./host-calls.js";
4
+ import { HostCallsExecutor } from "./host-calls-executor.js";
5
+ import { PvmInstanceManager } from "./pvm-instance-manager.js";
6
+ const hostCalls = new HostCalls({ missing: new NoopMissing(), handlers: [] });
7
+ const pvmInstanceManager = await PvmInstanceManager.new(PvmBackend.BuiltIn);
8
+ const pvmHostCallExtension = new HostCallsExecutor(pvmInstanceManager, hostCalls);
9
9
  const program = new Uint8Array([
10
10
  0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x10, 0x1, 0x0, 0x0, 0xf9, 0x0, 0x0, 0x0, 0x0, 0x0, 0x80, 0xd9, 0x5, 0x12,
11
11
  0x0, 0x0, 0x0, 0x5, 0x11, 0x0, 0x0, 0x0, 0x5, 0xa3, 0x0, 0x0, 0x0, 0x5, 0xc6, 0x0, 0x4, 0x7, 0x13, 0x0, 0x2, 0x11,
@@ -0,0 +1,32 @@
1
+ import type { U32, U64 } from "#@typeberry/numbers";
2
+ import type { RegisterIndex } from "#@typeberry/pvm-interpreter";
3
+ /**
4
+ * Interface for tracking PVM I/O operations during host call execution.
5
+ *
6
+ * Implementations record memory reads/writes and register modifications
7
+ * for debugging, tracing, or replay purposes.
8
+ */
9
+ export interface IoTracker {
10
+ /** Record a register write operation. */
11
+ setReg(idx: number, val: U64): void;
12
+ /** Record a memory read operation. */
13
+ memRead(address: U32, data: Uint8Array): void;
14
+ /** Record a memory write operation. */
15
+ memWrite(address: U32, data: Uint8Array): void;
16
+ /** Clear all recorded operations. */
17
+ clear(): void;
18
+ }
19
+ /** Create a no-op tracker that discards all operations. */
20
+ export declare function noopTracker(): NoopIoTracker;
21
+ /**
22
+ * No-op implementation that discards all tracked operations.
23
+ * Used when I/O tracing is disabled.
24
+ */
25
+ declare class NoopIoTracker implements IoTracker {
26
+ clear(): void;
27
+ setReg(_idx: RegisterIndex, _val: U64): void;
28
+ memRead(_address: U32, _data: Uint8Array): void;
29
+ memWrite(_address: U32, _data: Uint8Array): void;
30
+ }
31
+ export {};
32
+ //# sourceMappingURL=ecalli-io-tracker.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ecalli-io-tracker.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-host-calls/ecalli-io-tracker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,yCAAyC;IACzC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IACpC,sCAAsC;IACtC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9C,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/C,qCAAqC;IACrC,KAAK,IAAI,IAAI,CAAC;CACf;AAED,2DAA2D;AAC3D,wBAAgB,WAAW,kBAE1B;AAED;;;GAGG;AACH,cAAM,aAAc,YAAW,SAAS;IACtC,KAAK,IAAI,IAAI;IACb,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI;IAC5C,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI;IAC/C,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI;CACjD"}
@@ -0,0 +1,14 @@
1
+ /** Create a no-op tracker that discards all operations. */
2
+ export function noopTracker() {
3
+ return new NoopIoTracker();
4
+ }
5
+ /**
6
+ * No-op implementation that discards all tracked operations.
7
+ * Used when I/O tracing is disabled.
8
+ */
9
+ class NoopIoTracker {
10
+ clear() { }
11
+ setReg(_idx, _val) { }
12
+ memRead(_address, _data) { }
13
+ memWrite(_address, _data) { }
14
+ }
@@ -0,0 +1,139 @@
1
+ import type { U32, U64 } from "#@typeberry/numbers";
2
+ import type { Gas } from "#@typeberry/pvm-interface";
3
+ import type { IoTracker } from "./ecalli-io-tracker.js";
4
+ import type { HostCallIndex } from "./host-call-handler.js";
5
+ import type { HostCallRegisters } from "./host-call-registers.js";
6
+ /**
7
+ * Output function type for IO trace logging.
8
+ * Each call should output a single line.
9
+ */
10
+ export type IoTraceOutput = (line: string) => void;
11
+ /**
12
+ * Ecalli PVM IO Trace Logger.
13
+ *
14
+ * Implements the logging format specified for PVM execution tracing.
15
+ * This format is designed to be:
16
+ * - Human-readable, newline-delimited text
17
+ * - Self-contained for stateless re-execution
18
+ * - Comparable using simple textual diff tools
19
+ *
20
+ * @see https://github.com/tomusdrw/JIPs/pull/2
21
+ */
22
+ export declare class EcalliTraceLogger {
23
+ private readonly output;
24
+ /** Returns a tracker for IO operations. */
25
+ tracker(): IoTraceTracker | null;
26
+ /**
27
+ * Create an IoTraceLogger that outputs to the `ecalli` module logger.
28
+ *
29
+ * Returns `null` if the `ecalli` logger is not configured for at least TRACE level.
30
+ * Enable with: `JAM_LOG=ecalli=trace` or `JAM_LOG=trace`
31
+ */
32
+ static create(): EcalliTraceLogger | null;
33
+ /**
34
+ * Create a no-op IoTraceLogger that discards all output.
35
+ * Used when tracing is disabled.
36
+ */
37
+ static noop(): EcalliTraceLogger;
38
+ static new(output: IoTraceOutput): EcalliTraceLogger;
39
+ private constructor();
40
+ /**
41
+ * Log optional context lines (implementation metadata, execution environment).
42
+ */
43
+ logContext(context: string): void;
44
+ /**
45
+ * Log the program blob being executed and the write data (if any)
46
+ *
47
+ * Format: `program {hex-encoded-program-with-metadata}`
48
+ * Format: `memwrite {hex-encoded-address} len={blob-byte-length} <- {hex-encoded-bytes}`
49
+ */
50
+ logProgram(program: Uint8Array, args: Uint8Array): void;
51
+ /**
52
+ * Log initial execution state (prelude).
53
+ *
54
+ * Format: `start pc={pc} gas={gas} {register-dump}`
55
+ */
56
+ logStart(pc: number, gas: Gas, registers: HostCallRegisters): void;
57
+ /**
58
+ * Log ecalli invocation with register dump.
59
+ *
60
+ * Format: `ecalli={index} pc={pc} gas={gas} {register-dump}`
61
+ */
62
+ logEcalli(index: HostCallIndex, pc: number, gas: Gas, registers: HostCallRegisters): void;
63
+ /**
64
+ * Log memory read operation.
65
+ *
66
+ * Format: `memread {hex-encoded-address} len={blob-byte-length} -> {hex-encoded-data-read}`
67
+ */
68
+ logMemRead(address: number, len: number, data: string): void;
69
+ /**
70
+ * Log memory write operation.
71
+ *
72
+ * Format: `memwrite {hex-encoded-address} len={blob-byte-length} <- {hex-encoded-bytes}`
73
+ */
74
+ logMemWrite(address: number, len: number, data: string): void;
75
+ /**
76
+ * Log register write operation.
77
+ *
78
+ * Format: `setreg r{idx} <- {hex-encoded-value}`
79
+ */
80
+ logSetReg(index: number, value: bigint): void;
81
+ /**
82
+ * Log gas overwrite operation.
83
+ *
84
+ * Format: `setgas <- {gas}`
85
+ */
86
+ logSetGas(gas: Gas): void;
87
+ /**
88
+ * Log all host actions from a single ecalli invocation.
89
+ * Actions are logged in the order specified by JIP-6:
90
+ * 1. Memory reads (sorted by address)
91
+ * 2. Memory writes (sorted by address)
92
+ * 3. Register writes (sorted by index)
93
+ * 4. Gas overwrite
94
+ */
95
+ logHostActions(ioTracker: IoTraceTracker | null, gasBefore: Gas, gasAfter: Gas): void;
96
+ /**
97
+ * Log PANIC termination.
98
+ *
99
+ * Format: `PANIC={argument} pc={pc} gas={gas} {register-dump}`
100
+ */
101
+ logPanic(argument: number, pc: number, gas: Gas, registers: HostCallRegisters): void;
102
+ /**
103
+ * Log OOG (out of gas) termination.
104
+ *
105
+ * Format: `OOG pc={pc} gas={gas} {register-dump}`
106
+ */
107
+ logOog(pc: number, gas: Gas, registers: HostCallRegisters): void;
108
+ /**
109
+ * Log HALT termination.
110
+ *
111
+ * Format: `HALT pc={pc} gas={gas} {register-dump}`
112
+ */
113
+ logHalt(pc: number, gas: Gas, registers: HostCallRegisters): void;
114
+ }
115
+ type MemoryOperation = {
116
+ address: number;
117
+ hex: string;
118
+ len: number;
119
+ };
120
+ /**
121
+ * IoTracker implementation that records all I/O operations for trace logging.
122
+ *
123
+ * Stores memory reads, writes, and register modifications as hex-encoded strings
124
+ * for output via IoTraceLogger.
125
+ */
126
+ export declare class IoTraceTracker implements IoTracker {
127
+ /** Recorded memory read operations (address + hex data + len). */
128
+ reads: MemoryOperation[];
129
+ /** Recorded memory write operations (address + hex data + len). */
130
+ writes: MemoryOperation[];
131
+ /** Recorded register write operations (index -> value). */
132
+ registers: Map<number, U64>;
133
+ setReg(idx: number, val: U64): void;
134
+ memRead(address: U32, data: Uint8Array): void;
135
+ memWrite(address: U32, data: Uint8Array): void;
136
+ clear(): void;
137
+ }
138
+ export {};
139
+ //# sourceMappingURL=ecalli-trace-logger.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ecalli-trace-logger.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-host-calls/ecalli-trace-logger.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAIlE;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;AAOnD;;;;;;;;;;GAUG;AACH,qBAAa,iBAAiB;IAgCR,OAAO,CAAC,QAAQ,CAAC,MAAM;IA/B3C,2CAA2C;IAC3C,OAAO,IAAI,cAAc,GAAG,IAAI;IAIhC;;;;;OAKG;IACH,MAAM,CAAC,MAAM,IAAI,iBAAiB,GAAG,IAAI;IAQzC;;;OAGG;IACH,MAAM,CAAC,IAAI,IAAI,iBAAiB;IAIhC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB;IAIpD,OAAO;IAEP;;OAEG;IACH,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAIjC;;;;;OAKG;IACH,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IASvD;;;;OAIG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI;IAKlE;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI;IAKzF;;;;OAIG;IACH,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI5D;;;;OAIG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAI7D;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAK7C;;;;OAIG;IACH,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAIzB;;;;;;;OAOG;IACH,cAAc,CAAC,SAAS,EAAE,cAAc,GAAG,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,GAAG,IAAI;IAyBrF;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI;IAKpF;;;;OAIG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI;IAKhE;;;;OAIG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI;CAIlE;AASD,KAAK,eAAe,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAErE;;;;;GAKG;AACH,qBAAa,cAAe,YAAW,SAAS;IAC9C,kEAAkE;IAClE,KAAK,EAAE,eAAe,EAAE,CAAM;IAC9B,mEAAmE;IACnE,MAAM,EAAE,eAAe,EAAE,CAAM;IAC/B,2DAA2D;IAC3D,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAa;IAExC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAInC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IAI7C,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IAI9C,KAAK,IAAI,IAAI;CAKd"}
@@ -0,0 +1,209 @@
1
+ import { BytesBlob } from "#@typeberry/bytes";
2
+ import { Level, Logger } from "#@typeberry/logger";
3
+ const ecalliLogger = Logger.new(import.meta.filename, "ecalli");
4
+ const defaultOutput = (line) => {
5
+ ecalliLogger.trace `${line}`;
6
+ };
7
+ const emptyOutput = () => { };
8
+ /**
9
+ * Ecalli PVM IO Trace Logger.
10
+ *
11
+ * Implements the logging format specified for PVM execution tracing.
12
+ * This format is designed to be:
13
+ * - Human-readable, newline-delimited text
14
+ * - Self-contained for stateless re-execution
15
+ * - Comparable using simple textual diff tools
16
+ *
17
+ * @see https://github.com/tomusdrw/JIPs/pull/2
18
+ */
19
+ export class EcalliTraceLogger {
20
+ output;
21
+ /** Returns a tracker for IO operations. */
22
+ tracker() {
23
+ return this.output === emptyOutput ? null : new IoTraceTracker();
24
+ }
25
+ /**
26
+ * Create an IoTraceLogger that outputs to the `ecalli` module logger.
27
+ *
28
+ * Returns `null` if the `ecalli` logger is not configured for at least TRACE level.
29
+ * Enable with: `JAM_LOG=ecalli=trace` or `JAM_LOG=trace`
30
+ */
31
+ static create() {
32
+ if (ecalliLogger.getLevel() > Level.TRACE) {
33
+ return null;
34
+ }
35
+ return EcalliTraceLogger.new(defaultOutput);
36
+ }
37
+ /**
38
+ * Create a no-op IoTraceLogger that discards all output.
39
+ * Used when tracing is disabled.
40
+ */
41
+ static noop() {
42
+ return new EcalliTraceLogger(emptyOutput);
43
+ }
44
+ static new(output) {
45
+ return new EcalliTraceLogger(output);
46
+ }
47
+ constructor(output) {
48
+ this.output = output;
49
+ }
50
+ /**
51
+ * Log optional context lines (implementation metadata, execution environment).
52
+ */
53
+ logContext(context) {
54
+ this.output(context);
55
+ }
56
+ /**
57
+ * Log the program blob being executed and the write data (if any)
58
+ *
59
+ * Format: `program {hex-encoded-program-with-metadata}`
60
+ * Format: `memwrite {hex-encoded-address} len={blob-byte-length} <- {hex-encoded-bytes}`
61
+ */
62
+ logProgram(program, args) {
63
+ const SPI_ARGS_SEGMENT = 0xfe_ff_00_00;
64
+ this.output(`program ${BytesBlob.blobFrom(program)}`);
65
+ if (args.length > 0) {
66
+ this.output(`memwrite ${toHexAddress(SPI_ARGS_SEGMENT)} len=${args.length} <- ${BytesBlob.blobFrom(args)}`);
67
+ }
68
+ }
69
+ /**
70
+ * Log initial execution state (prelude).
71
+ *
72
+ * Format: `start pc={pc} gas={gas} {register-dump}`
73
+ */
74
+ logStart(pc, gas, registers) {
75
+ const line = `start pc=${pc} gas=${gas} ${registers}`;
76
+ this.output(line);
77
+ }
78
+ /**
79
+ * Log ecalli invocation with register dump.
80
+ *
81
+ * Format: `ecalli={index} pc={pc} gas={gas} {register-dump}`
82
+ */
83
+ logEcalli(index, pc, gas, registers) {
84
+ const line = `ecalli=${index} pc=${pc} gas=${gas} ${registers}`;
85
+ this.output(line);
86
+ }
87
+ /**
88
+ * Log memory read operation.
89
+ *
90
+ * Format: `memread {hex-encoded-address} len={blob-byte-length} -> {hex-encoded-data-read}`
91
+ */
92
+ logMemRead(address, len, data) {
93
+ this.output(`memread ${toHexAddress(address)} len=${len} -> ${data}`);
94
+ }
95
+ /**
96
+ * Log memory write operation.
97
+ *
98
+ * Format: `memwrite {hex-encoded-address} len={blob-byte-length} <- {hex-encoded-bytes}`
99
+ */
100
+ logMemWrite(address, len, data) {
101
+ this.output(`memwrite ${toHexAddress(address)} len=${len} <- ${data}`);
102
+ }
103
+ /**
104
+ * Log register write operation.
105
+ *
106
+ * Format: `setreg r{idx} <- {hex-encoded-value}`
107
+ */
108
+ logSetReg(index, value) {
109
+ const paddedIdx = index.toString().padStart(2, "0");
110
+ this.output(`setreg r${paddedIdx} <- ${value.toString(16)}`);
111
+ }
112
+ /**
113
+ * Log gas overwrite operation.
114
+ *
115
+ * Format: `setgas <- {gas}`
116
+ */
117
+ logSetGas(gas) {
118
+ this.output(`setgas <- ${gas}`);
119
+ }
120
+ /**
121
+ * Log all host actions from a single ecalli invocation.
122
+ * Actions are logged in the order specified by JIP-6:
123
+ * 1. Memory reads (sorted by address)
124
+ * 2. Memory writes (sorted by address)
125
+ * 3. Register writes (sorted by index)
126
+ * 4. Gas overwrite
127
+ */
128
+ logHostActions(ioTracker, gasBefore, gasAfter) {
129
+ if (ioTracker === null) {
130
+ return;
131
+ }
132
+ const reads = ioTracker.reads.sort((a, b) => a.address - b.address);
133
+ for (const op of reads) {
134
+ this.logMemRead(op.address, op.len, op.hex);
135
+ }
136
+ const writes = ioTracker.writes.sort((a, b) => a.address - b.address);
137
+ for (const op of writes) {
138
+ this.logMemWrite(op.address, op.len, op.hex);
139
+ }
140
+ const sortedRegWrites = [...ioTracker.registers.entries()].sort((a, b) => a[0] - b[0]);
141
+ for (const op of sortedRegWrites) {
142
+ this.logSetReg(op[0], op[1]);
143
+ }
144
+ if (gasBefore !== gasAfter) {
145
+ this.logSetGas(gasAfter);
146
+ }
147
+ }
148
+ /**
149
+ * Log PANIC termination.
150
+ *
151
+ * Format: `PANIC={argument} pc={pc} gas={gas} {register-dump}`
152
+ */
153
+ logPanic(argument, pc, gas, registers) {
154
+ const line = `PANIC=${argument} pc=${pc} gas=${gas} ${registers}`;
155
+ this.output(line);
156
+ }
157
+ /**
158
+ * Log OOG (out of gas) termination.
159
+ *
160
+ * Format: `OOG pc={pc} gas={gas} {register-dump}`
161
+ */
162
+ logOog(pc, gas, registers) {
163
+ const line = `OOG pc=${pc} gas=${gas} ${registers}`;
164
+ this.output(line);
165
+ }
166
+ /**
167
+ * Log HALT termination.
168
+ *
169
+ * Format: `HALT pc={pc} gas={gas} {register-dump}`
170
+ */
171
+ logHalt(pc, gas, registers) {
172
+ const line = `HALT pc=${pc} gas=${gas} ${registers}`;
173
+ this.output(line);
174
+ }
175
+ }
176
+ /**
177
+ * Convert 32-bit address to 0x-prefixed hex string.
178
+ */
179
+ function toHexAddress(address) {
180
+ return `0x${address.toString(16).padStart(8, "0")}`;
181
+ }
182
+ /**
183
+ * IoTracker implementation that records all I/O operations for trace logging.
184
+ *
185
+ * Stores memory reads, writes, and register modifications as hex-encoded strings
186
+ * for output via IoTraceLogger.
187
+ */
188
+ export class IoTraceTracker {
189
+ /** Recorded memory read operations (address + hex data + len). */
190
+ reads = [];
191
+ /** Recorded memory write operations (address + hex data + len). */
192
+ writes = [];
193
+ /** Recorded register write operations (index -> value). */
194
+ registers = new Map();
195
+ setReg(idx, val) {
196
+ this.registers.set(idx, val);
197
+ }
198
+ memRead(address, data) {
199
+ this.reads.push({ address, hex: BytesBlob.blobFrom(data).toString(), len: data.length });
200
+ }
201
+ memWrite(address, data) {
202
+ this.writes.push({ address, hex: BytesBlob.blobFrom(data).toString(), len: data.length });
203
+ }
204
+ clear() {
205
+ this.reads.length = 0;
206
+ this.writes.length = 0;
207
+ this.registers.clear();
208
+ }
209
+ }
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=ecalli-trace-logger.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ecalli-trace-logger.test.d.ts","sourceRoot":"","sources":["../../../../../packages/core/pvm-host-calls/ecalli-trace-logger.test.ts"],"names":[],"mappings":""}