@ic-reactor/mcp 0.0.0-stage → 0.0.0

package/packages/core/tests/fixtures/README.md

@@ -0,0 +1,28 @@
+# Generated fixtures
+
+The `.ts` modules here are what `meant gen` writes for the `.did` files next to
+them, kept byte for byte (Prettier skips them; see `.prettierignore`). The tests
+type against their `Actor` types and call through their `actor` schemas exactly
+as an app does.
+
+| `.did`           | What it is for                                                                                                                                                                                                                                                   |
+| ---------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `icrc1.did`      | The ICRC-1 ledger (the same file as the `icrc-ledger` example): principals, opts, blobs, `nat8` and `nat`, and `Ok`/`Err` results. `icrc1.envelope.json` is its Contract envelope, for the test that `schemaFromContract` gives the same keys.                   |
+| `shapes.did`     | One method per shape the call path handles: 0, 1 and n results, a void update, a oneway, a composite query, lower-case and bare-arm results, a variant that is not a result, a two-argument method, `opt opt`.                                                   |
+| `archive.did`    | A ledger whose reply carries func references (archive callbacks), for `client.func`.                                                                                                                                                                             |
+| `management.did` | The IC management canister: `docs/references/_attachments/ic.did` of dfinity/portal at `fe646b2990d25d0f00714d50d9df283dac5d2e91` (2026-05-12), unchanged.                                                                                                       |
+| `skippable.did`  | One query per shape of variables `skipToken` might be assignable to (an empty record, a record of opts alone, an opt, `reserved`, `null`, no arguments), for the type tests of which reads keep `SkipToken` in their `queryFn`.                                  |
+| `accounts.did`   | The two methods DFINITY's `identity-attributes` library adds to a canister, `_internet_identity_sign_in_start` and `_internet_identity_sign_in_finish` (with its error variant), and a profile query: the canister of the auth guide's identity attributes flow. |
+
+## Regenerating
+
+With `@meantjs/cli@0.5.1` (the generator that pairs with
+`@meantjs/schema@0.6.0`), from this directory:
+
+```sh
+npx -y @meantjs/cli@0.5.1 gen icrc1.did shapes.did archive.did management.did skippable.did accounts.did -o .
+```
+
+Add `--check` to the same command to verify that nothing drifted. Each
+`.did` also gets its `.envelope.json`; only `icrc1.envelope.json` is read by a
+test, and the others are kept so that `--check` passes as it stands.

package/packages/core/tests/fixtures/accounts.did

@@ -0,0 +1,21 @@
+type IdentityAttributesError = variant {
+  NoAttributes;
+  MalformedCandid;
+  MissingField : text;
+  FrontendOriginsNotConfigured;
+  FrontendOriginMismatch : record { expected : vec text; got : text };
+  Stale : record { ageNs : nat };
+  UnknownNonce;
+  AmbiguousAttribute : record { field : text; sources : vec text };
+  UntrustedSsoSource : record { domain : text };
+  MixedSsoSources : record { ssoKeys : vec text; otherKeys : vec text };
+};
+type Profile = record { name : opt text; email : opt text; sso : opt text };
+
+// An accounts canister: the two methods `mo:identity-attributes` adds for
+// identity attributes, and a profile per principal.
+service : {
+  _internet_identity_sign_in_start : () -> (blob);
+  _internet_identity_sign_in_finish : () -> (variant { ok; err : IdentityAttributesError });
+  getProfile : (principal) -> (opt Profile) query;
+}

package/packages/core/tests/fixtures/accounts.envelope.json

@@ -0,0 +1,367 @@
+{
+  "contract": {
+    "actor": {
+      "kind": "service",
+      "service": 0
+    },
+    "canonicalization_profile": "candid-core-canon-1",
+    "declarations": [
+      {
+        "name": "IdentityAttributesError",
+        "type": 13
+      },
+      {
+        "name": "Profile",
+        "type": 4
+      }
+    ],
+    "format": "candid-core",
+    "format_version": 1,
+    "identities": {
+      "contract": "candid-core:contract:v1:sha256:937e84f1a5c4bb4372af71d927b91d3f6fc10679311a6405e30affa283d7f4e7",
+      "interface": "candid-core:interface:v1:sha256:6d3c3818a3125a5d1273259c2c38641b94dbad34274561ad9553efefc09153f6"
+    },
+    "producer": {
+      "candid_parser_version": "0.4.0",
+      "candid_version": "0.10.30",
+      "name": "meant",
+      "version": "0.1.0"
+    },
+    "semantics_profile": "candid-1",
+    "types": [
+      {
+        "kind": "service",
+        "methods": [
+          {
+            "function": 1,
+            "id": 1118490419,
+            "name": "getProfile"
+          },
+          {
+            "function": 7,
+            "id": 1314951240,
+            "name": "_internet_identity_sign_in_start"
+          },
+          {
+            "function": 10,
+            "id": 3332541869,
+            "name": "_internet_identity_sign_in_finish"
+          }
+        ]
+      },
+      {
+        "args": [
+          2
+        ],
+        "kind": "func",
+        "mode": "query",
+        "results": [
+          3
+        ]
+      },
+      {
+        "kind": "primitive",
+        "primitive": "principal"
+      },
+      {
+        "inner": 4,
+        "kind": "opt"
+      },
+      {
+        "fields": [
+          {
+            "id": 5744591,
+            "type": 5
+          },
+          {
+            "id": 1224700491,
+            "type": 5
+          },
+          {
+            "id": 1875824412,
+            "type": 5
+          }
+        ],
+        "kind": "record"
+      },
+      {
+        "inner": 6,
+        "kind": "opt"
+      },
+      {
+        "kind": "primitive",
+        "primitive": "text"
+      },
+      {
+        "args": [],
+        "kind": "func",
+        "mode": "update",
+        "results": [
+          8
+        ]
+      },
+      {
+        "inner": 9,
+        "kind": "vec"
+      },
+      {
+        "kind": "primitive",
+        "primitive": "nat8"
+      },
+      {
+        "args": [],
+        "kind": "func",
+        "mode": "update",
+        "results": [
+          11
+        ]
+      },
+      {
+        "fields": [
+          {
+            "id": 24860,
+            "type": 12
+          },
+          {
+            "id": 5048165,
+            "type": 13
+          }
+        ],
+        "kind": "variant"
+      },
+      {
+        "kind": "primitive",
+        "primitive": "null"
+      },
+      {
+        "fields": [
+          {
+            "id": 48098998,
+            "type": 12
+          },
+          {
+            "id": 276427748,
+            "type": 14
+          },
+          {
+            "id": 389603065,
+            "type": 16
+          },
+          {
+            "id": 1095527594,
+            "type": 12
+          },
+          {
+            "id": 1667822096,
+            "type": 18
+          },
+          {
+            "id": 1994822808,
+            "type": 12
+          },
+          {
+            "id": 2257309989,
+            "type": 12
+          },
+          {
+            "id": 2358873996,
+            "type": 19
+          },
+          {
+            "id": 3693150100,
+            "type": 6
+          },
+          {
+            "id": 3700952806,
+            "type": 20
+          }
+        ],
+        "kind": "variant"
+      },
+      {
+        "fields": [
+          {
+            "id": 2111446244,
+            "type": 15
+          },
+          {
+            "id": 3297331555,
+            "type": 15
+          }
+        ],
+        "kind": "record"
+      },
+      {
+        "inner": 6,
+        "kind": "vec"
+      },
+      {
+        "fields": [
+          {
+            "id": 507520740,
+            "type": 17
+          }
+        ],
+        "kind": "record"
+      },
+      {
+        "kind": "primitive",
+        "primitive": "nat"
+      },
+      {
+        "fields": [
+          {
+            "id": 9671866,
+            "type": 6
+          },
+          {
+            "id": 3108572984,
+            "type": 15
+          }
+        ],
+        "kind": "record"
+      },
+      {
+        "fields": [
+          {
+            "id": 763408708,
+            "type": 6
+          }
+        ],
+        "kind": "record"
+      },
+      {
+        "fields": [
+          {
+            "id": 5146956,
+            "type": 6
+          },
+          {
+            "id": 1076899448,
+            "type": 15
+          }
+        ],
+        "kind": "record"
+      }
+    ]
+  },
+  "extensions": {
+    "org.candid-core.field-names/v1": [
+      [
+        4,
+        5744591,
+        "sso"
+      ],
+      [
+        4,
+        1224700491,
+        "name"
+      ],
+      [
+        4,
+        1875824412,
+        "email"
+      ],
+      [
+        11,
+        24860,
+        "ok"
+      ],
+      [
+        11,
+        5048165,
+        "err"
+      ],
+      [
+        13,
+        48098998,
+        "FrontendOriginsNotConfigured"
+      ],
+      [
+        13,
+        276427748,
+        "MixedSsoSources"
+      ],
+      [
+        13,
+        389603065,
+        "Stale"
+      ],
+      [
+        13,
+        1095527594,
+        "MalformedCandid"
+      ],
+      [
+        13,
+        1667822096,
+        "AmbiguousAttribute"
+      ],
+      [
+        13,
+        1994822808,
+        "NoAttributes"
+      ],
+      [
+        13,
+        2257309989,
+        "UnknownNonce"
+      ],
+      [
+        13,
+        2358873996,
+        "UntrustedSsoSource"
+      ],
+      [
+        13,
+        3693150100,
+        "MissingField"
+      ],
+      [
+        13,
+        3700952806,
+        "FrontendOriginMismatch"
+      ],
+      [
+        14,
+        2111446244,
+        "otherKeys"
+      ],
+      [
+        14,
+        3297331555,
+        "ssoKeys"
+      ],
+      [
+        16,
+        507520740,
+        "ageNs"
+      ],
+      [
+        18,
+        9671866,
+        "field"
+      ],
+      [
+        18,
+        3108572984,
+        "sources"
+      ],
+      [
+        19,
+        763408708,
+        "domain"
+      ],
+      [
+        20,
+        5146956,
+        "got"
+      ],
+      [
+        20,
+        1076899448,
+        "expected"
+      ]
+    ]
+  }
+}

package/packages/core/tests/fixtures/accounts.ts

@@ -0,0 +1,26 @@
+// Generated by Meant from a Meant Contract. Do not edit.
+import * as $ from "@meantjs/schema";
+
+export type IdentityAttributesError = { tag: "FrontendOriginsNotConfigured" } | { tag: "MixedSsoSources"; value: { otherKeys: Array<string>; ssoKeys: Array<string> } } | { tag: "Stale"; value: { ageNs: bigint } } | { tag: "MalformedCandid" } | { tag: "AmbiguousAttribute"; value: { field: string; sources: Array<string> } } | { tag: "NoAttributes" } | { tag: "UnknownNonce" } | { tag: "UntrustedSsoSource"; value: { domain: string } } | { tag: "MissingField"; value: string } | { tag: "FrontendOriginMismatch"; value: { got: string; expected: Array<string> } };
+const $IdentityAttributesError: $.Schema<IdentityAttributesError> = $.c.rec(() => $.c.variant({ FrontendOriginsNotConfigured: $.c.null, MixedSsoSources: $.c.record({ otherKeys: $.c.vec($.c.text), ssoKeys: $.c.vec($.c.text) }), Stale: $.c.record({ ageNs: $.c.nat }), MalformedCandid: $.c.null, AmbiguousAttribute: $.c.record({ field: $.c.text, sources: $.c.vec($.c.text) }), NoAttributes: $.c.null, UnknownNonce: $.c.null, UntrustedSsoSource: $.c.record({ domain: $.c.text }), MissingField: $.c.text, FrontendOriginMismatch: $.c.record({ got: $.c.text, expected: $.c.vec($.c.text) }) }));
+export { $IdentityAttributesError as IdentityAttributesError };
+
+export type Profile = { sso: string | null; name: string | null; email: string | null };
+const $Profile: $.Schema<Profile> = $.c.rec(() => $.c.record({ sso: $.c.opt($.c.text), name: $.c.opt($.c.text), email: $.c.opt($.c.text) }));
+export { $Profile as Profile };
+
+/**
+ * An accounts canister: the two methods `mo:identity-attributes` adds for
+ * identity attributes, and a profile per principal.
+ */
+const $actor: $.Schema<$.Principal> = $.c.rec(() => $.c.service({ getProfile: $.c.func([$.c.principal], [$.c.opt($Profile)], "query"), _internet_identity_sign_in_start: $.c.func([], [$.c.blob()], "update"), _internet_identity_sign_in_finish: $.c.func([], [$.c.variant({ ok: $.c.null, err: $IdentityAttributesError })], "update") }));
+/**
+ * An accounts canister: the two methods `mo:identity-attributes` adds for
+ * identity attributes, and a profile per principal.
+ */
+export type Actor = {
+  getProfile: ((arg0: $.Principal) => Promise<Profile | null>) & $.WithMode<"query">;
+  _internet_identity_sign_in_start: (() => Promise<Uint8Array>) & $.WithMode<"update">;
+  _internet_identity_sign_in_finish: (() => Promise<{ tag: "ok" } | { tag: "err"; value: IdentityAttributesError }>) & $.WithMode<"update">;
+};
+export { $actor as actor };

package/packages/core/tests/fixtures/archive.did

@@ -0,0 +1,31 @@
+type GetBlocksArgs = record { start : nat; length : nat };
+
+type Block = record { index : nat; memo : blob };
+
+type BlockRange = record { blocks : vec Block };
+
+// How an archive canister is read: its principal and method arrive in the
+// ledger's reply.
+type QueryArchiveFn = func (GetBlocksArgs) -> (BlockRange) query;
+
+type ArchivedRange = record {
+  start : nat;
+  length : nat;
+  callback : QueryArchiveFn;
+};
+
+type GetBlocksResponse = record {
+  first_index : nat;
+  blocks : vec Block;
+  archived_blocks : vec ArchivedRange;
+};
+
+// A callback that writes.
+type NotifyFn = func (text) -> (nat);
+
+// A ledger whose old blocks live in archive canisters, as ICRC-3 and the ICP
+// ledger keep them: a reply carries a func reference per archived range.
+service : {
+  get_blocks : (GetBlocksArgs) -> (GetBlocksResponse) query;
+  notify_hook : () -> (NotifyFn) query;
+}