@jsm-mit/tigi-sharded-package 0.1.0 → 0.3.0

package/declarations/coordinator/coordinator.did.js

@@ -11,6 +11,10 @@ export const idlFactory = ({ IDL }) => {
     'workers' : IDL.Vec(IDL.Principal),
     'deployAdmins' : IDL.Vec(IDL.Principal),
   });
+  const AccountsPlace = IDL.Variant({
+    'canister' : IDL.Principal,
+    'coordinator' : IDL.Principal,
+  });
   const PrincipalArgs = IDL.Record({ 'principal' : IDL.Principal });
   const CoordinatorError = IDL.Variant({
     'NoCycles' : IDL.Text,
@@ -86,6 +90,20 @@ export const idlFactory = ({ IDL }) => {
     'Ok' : IDL.Vec(IDL.Text),
     'Err' : CoordinatorError,
   });
+  const ChatAdminMethod = IDL.Variant({
+    'updateRoom' : IDL.Null,
+    'createRoom' : IDL.Null,
+    'deleteRoom' : IDL.Null,
+  });
+  const ForwardChatAdminArgs = IDL.Record({
+    'method' : ChatAdminMethod,
+    'args' : IDL.Vec(IDL.Nat8),
+    'chatCoordinator' : IDL.Principal,
+  });
+  const Result_7 = IDL.Variant({
+    'Ok' : IDL.Vec(IDL.Nat8),
+    'Err' : CoordinatorError,
+  });
   const CoreWiring = IDL.Record({
     'mode' : Mode,
     'knownWorkers' : IDL.Vec(IDL.Principal),
@@ -97,7 +115,7 @@ export const idlFactory = ({ IDL }) => {
     'canister' : IDL.Principal,
     'admins' : IDL.Opt(IDL.Vec(IDL.Principal)),
   });
-  const Result_7 = IDL.Variant({ 'Ok' : CoreLive, 'Err' : CoordinatorError });
+  const Result_8 = IDL.Variant({ 'Ok' : CoreLive, 'Err' : CoordinatorError });
   const Event = IDL.Record({
     'id' : IDL.Nat64,
     'atNs' : IDL.Nat64,
@@ -203,7 +221,7 @@ export const idlFactory = ({ IDL }) => {
     'creationInFlight' : IDL.Bool,
     'prefixes' : IDL.Vec(PrefixEntry),
   });
-  const Result_8 = IDL.Variant({ 'Ok' : Status, 'Err' : CoordinatorError });
+  const Result_9 = IDL.Variant({ 'Ok' : Status, 'Err' : CoordinatorError });
   const WorkerConfig = IDL.Record({
     'fullAtHeapBytes' : IDL.Nat,
     'load' : LoadThresholds,
@@ -228,7 +246,7 @@ export const idlFactory = ({ IDL }) => {
     'error' : IDL.Opt(IDL.Text),
     'canister' : IDL.Principal,
   });
-  const Result_9 = IDL.Variant({
+  const Result_10 = IDL.Variant({
     'Ok' : IDL.Vec(WorkerLive),
     'Err' : CoordinatorError,
   });
@@ -254,22 +272,22 @@ export const idlFactory = ({ IDL }) => {
     'load' : TestLoadArgs,
     'canister' : IDL.Principal,
   });
-  const Result_10 = IDL.Variant({ 'Ok' : IDL.Bool, 'Err' : CoordinatorError });
+  const Result_11 = IDL.Variant({ 'Ok' : IDL.Bool, 'Err' : CoordinatorError });
   const CanisterArgs = IDL.Record({ 'canister' : IDL.Principal });
   const Dependents = IDL.Record({
     'core' : IDL.Opt(IDL.Principal),
     'workers' : IDL.Vec(IDL.Principal),
   });
   const GeohashesArgs = IDL.Record({ 'geohashes' : IDL.Vec(IDL.Text) });
-  const Result_11 = IDL.Variant({
+  const Result_12 = IDL.Variant({
     'Ok' : IDL.Vec(WorkerRecord),
     'Err' : CoordinatorError,
   });
-  const Result_12 = IDL.Variant({
+  const Result_13 = IDL.Variant({
     'Ok' : CoreRecord,
     'Err' : CoordinatorError,
   });
-  const Result_13 = IDL.Variant({
+  const Result_14 = IDL.Variant({
     'Ok' : WorkerStatus,
     'Err' : CoordinatorError,
   });
@@ -283,7 +301,7 @@ export const idlFactory = ({ IDL }) => {
     'sinceNs' : IDL.Nat64,
     'lastError' : IDL.Opt(IDL.Text),
   });
-  const Result_14 = IDL.Variant({
+  const Result_15 = IDL.Variant({
     'Ok' : Dependents,
     'Err' : CoordinatorError,
   });
@@ -294,7 +312,7 @@ export const idlFactory = ({ IDL }) => {
     'cyclesPerWorker' : IDL.Opt(IDL.Nat),
     'spread' : IDL.Opt(IDL.Bool),
   });
-  const Result_15 = IDL.Variant({ 'Ok' : Config, 'Err' : CoordinatorError });
+  const Result_16 = IDL.Variant({ 'Ok' : Config, 'Err' : CoordinatorError });
   const CoreLoggingArgs = IDL.Record({ 'enabled' : IDL.Bool });
   const WorkerConfigOutcome = IDL.Record({
     'error' : IDL.Opt(IDL.Text),
@@ -304,7 +322,7 @@ export const idlFactory = ({ IDL }) => {
     'stored' : WorkerConfigArgs,
     'workers' : IDL.Vec(WorkerConfigOutcome),
   });
-  const Result_16 = IDL.Variant({
+  const Result_17 = IDL.Variant({
     'Ok' : SetWorkerConfigResult,
     'Err' : CoordinatorError,
   });
@@ -312,7 +330,7 @@ export const idlFactory = ({ IDL }) => {
     'open' : IDL.Bool,
     'canister' : IDL.Principal,
   });
-  const Result_17 = IDL.Variant({
+  const Result_18 = IDL.Variant({
     'Ok' : WorkerView,
     'Err' : CoordinatorError,
   });
@@ -320,17 +338,22 @@ export const idlFactory = ({ IDL }) => {
     'worker' : IDL.Principal,
     'prefixes' : IDL.Vec(IDL.Text),
   });
-  const Result_18 = IDL.Variant({
+  const Result_19 = IDL.Variant({
     'Ok' : SplitResult,
     'Err' : CoordinatorError,
   });
-  const Result_19 = IDL.Variant({ 'Ok' : IDL.Nat, 'Err' : CoordinatorError });
+  const Result_20 = IDL.Variant({ 'Ok' : IDL.Nat, 'Err' : CoordinatorError });
   const WasmChunkArgs = IDL.Record({
     'bytes' : IDL.Vec(IDL.Nat8),
     'index' : IDL.Nat32,
   });
-  const Result_20 = IDL.Variant({ 'Ok' : IDL.Nat64, 'Err' : CoordinatorError });
+  const Result_21 = IDL.Variant({ 'Ok' : IDL.Nat64, 'Err' : CoordinatorError });
   return IDL.Service({
+    'accountsCanisterFor' : IDL.Func(
+        [IDL.Principal],
+        [IDL.Opt(AccountsPlace)],
+        ['query'],
+      ),
     'addCoreAdmin' : IDL.Func([PrincipalArgs], [Result], []),
     'addDeployAdmin' : IDL.Func([PrincipalArgs], [Result_1], []),
     'assignPrefix' : IDL.Func([AssignPrefixArgs], [Result_2], []),
@@ -342,16 +365,17 @@ export const idlFactory = ({ IDL }) => {
     'deleteWorker' : IDL.Func([DeleteWorkerArgs], [Result_5], []),
     'dismissRoleRequest' : IDL.Func([], [Result_1], []),
     'drainWorker' : IDL.Func([DrainWorkerArgs], [Result_6], []),
-    'getCoreStatus' : IDL.Func([], [Result_7], ['composite_query']),
+    'forwardChatAdmin' : IDL.Func([ForwardChatAdminArgs], [Result_7], []),
+    'getCoreStatus' : IDL.Func([], [Result_8], ['composite_query']),
     'getHomeCanister' : IDL.Func([], [IDL.Opt(IDL.Principal)], ['query']),
     'getPrefixMap' : IDL.Func([], [IDL.Vec(PrefixEntry)], ['query']),
     'getRoles' : IDL.Func([], [Roles], ['query']),
-    'getStatus' : IDL.Func([], [Result_8], ['query']),
-    'getWorkersStatus' : IDL.Func([], [Result_9], ['composite_query']),
+    'getStatus' : IDL.Func([], [Result_9], ['query']),
+    'getWorkersStatus' : IDL.Func([], [Result_10], ['composite_query']),
     'handOverSuperadmin' : IDL.Func([], [Result_1], []),
     'hasDependents' : IDL.Func([], [IDL.Bool], ['query']),
     'http_request' : IDL.Func([HttpRequest], [HttpResponse], ['query']),
-    'injectWorkerTestLoad' : IDL.Func([InjectTestLoadArgs], [Result_10], []),
+    'injectWorkerTestLoad' : IDL.Func([InjectTestLoadArgs], [Result_11], []),
     'installCore' : IDL.Func([], [Result_3], []),
     'installWorker' : IDL.Func([CanisterArgs], [Result_4], []),
     'isWorker' : IDL.Func([CanisterArgs], [IDL.Bool], ['query']),
@@ -362,9 +386,9 @@ export const idlFactory = ({ IDL }) => {
         [IDL.Vec(IDL.Opt(IDL.Principal))],
         ['query'],
       ),
-    'readQueryLoads' : IDL.Func([], [Result_11], []),
-    'refreshCore' : IDL.Func([], [Result_12], []),
-    'refreshWorker' : IDL.Func([CanisterArgs], [Result_13], []),
+    'readQueryLoads' : IDL.Func([], [Result_12], []),
+    'refreshCore' : IDL.Func([], [Result_13], []),
+    'refreshWorker' : IDL.Func([CanisterArgs], [Result_14], []),
     'removeCoreAdmin' : IDL.Func([PrincipalArgs], [Result], []),
     'removeDeployAdmin' : IDL.Func([PrincipalArgs], [Result_1], []),
     'reportCoreLowCycles' : IDL.Func([ReportLowCyclesArgs], [], []),
@@ -373,19 +397,19 @@ export const idlFactory = ({ IDL }) => {
     'reportLowCycles' : IDL.Func([ReportLowCyclesArgs], [], []),
     'reportOutboxStuck' : IDL.Func([ReportOutboxStuckArgs], [], []),
     'requestSuperadmin' : IDL.Func([], [Result_1], []),
-    'resetGroup' : IDL.Func([], [Result_14], []),
-    'setConfig' : IDL.Func([SetConfigArgs], [Result_15], []),
-    'setCoreLoggingEnabled' : IDL.Func([CoreLoggingArgs], [Result_10], []),
-    'setWorkerConfig' : IDL.Func([WorkerConfigArgs], [Result_16], []),
-    'setWorkerOpen' : IDL.Func([SetWorkerOpenArgs], [Result_17], []),
-    'splitWorker' : IDL.Func([CanisterArgs], [Result_18], []),
+    'resetGroup' : IDL.Func([], [Result_15], []),
+    'setConfig' : IDL.Func([SetConfigArgs], [Result_16], []),
+    'setCoreLoggingEnabled' : IDL.Func([CoreLoggingArgs], [Result_11], []),
+    'setWorkerConfig' : IDL.Func([WorkerConfigArgs], [Result_17], []),
+    'setWorkerOpen' : IDL.Func([SetWorkerOpenArgs], [Result_18], []),
+    'splitWorker' : IDL.Func([CanisterArgs], [Result_19], []),
     'takeCycles' : IDL.Func([], [IDL.Nat], []),
-    'topUpCore' : IDL.Func([], [Result_19], []),
-    'topUpWorker' : IDL.Func([CanisterArgs], [Result_19], []),
+    'topUpCore' : IDL.Func([], [Result_20], []),
+    'topUpWorker' : IDL.Func([CanisterArgs], [Result_20], []),
     'upgradeCore' : IDL.Func([], [Result_3], []),
     'upgradeWorker' : IDL.Func([CanisterArgs], [Result_3], []),
-    'uploadCoreWasmChunk' : IDL.Func([WasmChunkArgs], [Result_20], []),
-    'uploadWorkerWasmChunk' : IDL.Func([WasmChunkArgs], [Result_20], []),
+    'uploadCoreWasmChunk' : IDL.Func([WasmChunkArgs], [Result_21], []),
+    'uploadWorkerWasmChunk' : IDL.Func([WasmChunkArgs], [Result_21], []),
     'workerFor' : IDL.Func([IDL.Text], [IDL.Opt(IDL.Principal)], ['query']),
   });
 };

package/declarations/core/core.did

@@ -40,46 +40,58 @@ type TigiCore =
    /// Admins: an admin more (the coordinator adds the people who rule the group).
    addAdmin: (args: PrincipalArgs) -> (Result_2);
    /// Admins: a canister the core controls joins the demo pool (U-35).
-   addPoolCanister: (args: CanisterArgs) -> (Result_13);
+   addPoolCanister: (args: CanisterArgs) -> (Result_17);
    /// Admins: a driver canister, or one driver in it (`driverKey`), is blocked; the workers
    /// drop it at once (WO-2).
    blockDriver: (args: BlockDriverArgs) -> (Result_2);
    /// Admins: a rider is blocked (core.md, accepted 2026-10-22).
    blockRider: (args: BlockRiderArgs) -> (Result_2);
+   /// F-20 (U-45): the caller — the driver signed in on the canister's own front — takes
+   /// over the demo canister with the code of the link. Single use, 15 min; every refusal
+   /// answers the same NotAuthorized. The room of the canister gets the caller (C-15).
+   claimDriverCanister: (args: ClaimArgs) -> (Result_17);
    clearLogs: () -> ();
    /// Admins: the chunks become THE module of their kind. A new driver wasm is released
    /// (F-11) and its hash goes to the workers.
-   commitDriverWasm: (args: WasmCommitArgs) -> (Result_18);
+   commitDriverWasm: (args: WasmCommitArgs) -> (Result_23);
    /// Admins, localTest: an empty canister from the core's cycles joins the demo pool.
-   createLocalPoolCanister: () -> (Result_13);
+   createLocalPoolCanister: () -> (Result_17);
    /// F-2 … F-4, F-10: the caller's own driver canister (localTest: from the core's cycles).
-   createMyDriverCanister: () -> (Result_13);
+   createMyDriverCanister: () -> (Result_17);
    /// Admins: the simulator, created once (F-18).
-   ensureSimulator: () -> (Result_17);
+   ensureSimulator: () -> (Result_22);
    /// F-8: 15 min more for the holder of a demo canister.
-   extendDemoLease: () -> (Result_13);
-   getAdmins: () -> (Result_16) query;
+   extendDemoLease: () -> (Result_17);
+   getAdmins: () -> (Result_21) query;
+   /// For the fronts (through the package): where the chat of this environment is. Null =
+   /// no chat here yet. The room of a driver is `ChatRoomFunctions.driverRoomId`.
+   getChatConfig: () -> (opt ChatConfig) query;
+   /// Admins: how far the driver rooms are (C-15).
+   getChatRoomsStatus: () -> (Result_20) query;
    /// WO-1, WO-2: what the core knows of a canister — for the workers and anybody.
    getDriverCanisterStatus: (args: CanisterArgs) ->
     (DriverCanisterStatus) query;
-   getDriverRollout: () -> (Result_15) query;
-   getFactoryStatus: () -> (Result_14) query;
+   getDriverRollout: () -> (Result_19) query;
+   getFactoryStatus: () -> (Result_18) query;
    getLogs: () -> (text) query;
    /// The caller's own canister, or the demo canister the caller holds now.
-   getMyDriverCanister: () -> (Result_13) query;
+   getMyDriverCanister: () -> (Result_17) query;
    getMyProfile: () -> (Result_4) query;
+   /// C-16, PF-4: the caller's own rating as a rider (sum and count of stars; null = no
+   /// rating yet). Ratings reach the core in the workers' batches, up to a minute late.
+   getMyRating: () -> (Result_16) query;
    /// C-8: the caller's rides, newest first.
-   getMyRides: (args: RidesPageArgs) -> (Result_12) query;
+   getMyRides: (args: RidesPageArgs) -> (Result_15) query;
    /// C-3: the names of up to MAX_PROFILES_PER_CALL principals; unknown ones are left out.
-   getProfiles: (args: ProfilesArgs) -> (Result_11) query;
+   getProfiles: (args: ProfilesArgs) -> (Result_14) query;
    /// F-11: the driver wasms released so far, oldest first.
    getReleasedDriverWasms: () -> (vec ReleasedWasm) query;
    /// F-18: the simulator of this group; none in prod or before ensureSimulator.
    getSimulator: () -> (opt principal) query;
    /// Admins: the coordinator, the workers confirmed so far, the mode.
-   getWiring: () -> (Result_10) query;
+   getWiring: () -> (Result_13) query;
    /// Admins: how far the outbox to the workers is (C-6, C-7).
-   getWorkerOutbox: () -> (Result_9) query;
+   getWorkerOutbox: () -> (Result_12) query;
    /// Workers of the group: the core asks the coordinator once and remembers the worker,
    /// which then gets the network state through the outbox. A worker calls it once after
    /// its install. Answers true.
@@ -87,13 +99,30 @@ type TigiCore =
    /// Workers of the group: finished rides and ratings, at most MAX_RIDE_BATCH (C-4, C-5).
    /// Idempotent: a known requestId and a counted rating count once. Invalid entries are
    /// rejected and logged; the worker drops the whole batch after an ok.
-   ingestRideBatch: (batch: RideBatch) -> (Result_8);
-   /// F-5 … F-7: a demo canister for 15 min (outside prod).
-   leaseDemoDriverCanister: () -> (Result_7);
-   listBlocks: (args: PageArgs) -> (Result_6) query;
-   listDriverCanisters: (args: PageArgs) -> (Result_5) query;
+   ingestRideBatch: (batch: RideBatch) -> (Result_11);
+   /// C-14: the accounts gate of the chat (U-43). The chat core asks this group's
+   /// coordinator WHERE (`accountsCanisterFor` → this core) and asks here: true = an
+   /// account with a name exists for the principal and the rider is not blocked.
+   isUser: ("principal": principal) -> (bool) query;
+   /// F-5 … F-7: a demo canister for 15 min (outside prod). A fresh lease comes with a
+   /// one-time claim code (F-20, U-45).
+   leaseDemoDriverCanister: () -> (Result_10);
+   listBlocks: (args: PageArgs) -> (Result_9) query;
+   listDriverCanisters: (args: PageArgs) -> (Result_8) query;
+   /// Admins: the driver rooms as the core wants them, 100 a page at most.
+   listDriverRooms: (args: PageArgs) -> (Result_7) query;
+   /// F-20: a fresh claim code for the caller's running demo lease; the old one stops
+   /// working.
+   newClaimCode: () -> (Result_6);
    removeAdmin: (args: PrincipalArgs) -> (Result_2);
    resumeDriverRollout: () -> (Result_3);
+   /// Admins: the chat of this environment — the chat group's coordinator and the project
+   /// (whose admin and accounts field are this group's coordinator). Every call sends every
+   /// driver room again (a new project, a chat group set up again).
+   setChatConfig: (args: ChatConfig) -> (Result_5);
+   /// Admins, localTest only: new claim codes live this long (the local check of an
+   /// expired code). Heap only: an upgrade brings back 15 min.
+   setClaimCodeTtl: (args: ClaimTtlArgs) -> (Result);
    setLoggingEnabled: (enabled: bool) -> (Result_2);
    /// The coordinator only: the balance below which the core asks for cycles.
    setLowCyclesBelow: (value: nat) -> (Result_2);
@@ -176,33 +205,27 @@ type RideBatch =
 type Result_9 = 
  variant {
    err: Error;
-   ok:
-    record {
-      headSeq: nat64;
-      laggingWorkers: nat;
-      lastError: opt text;
-      subjects: nat;
-    };
+   ok: vec Block;
  };
 type Result_8 = 
  variant {
    err: Error;
-   ok: RideBatchResult;
+   ok: DriverCanistersPage;
  };
 type Result_7 = 
  variant {
    err: Error;
-   ok: LeaseAnswer;
+   ok: vec DriverRoomView;
  };
 type Result_6 = 
  variant {
    err: Error;
-   ok: vec Block;
+   ok: ClaimCode;
  };
 type Result_5 = 
  variant {
    err: Error;
-   ok: DriverCanistersPage;
+   ok: ChatConfig;
  };
 type Result_4 = 
  variant {
@@ -214,55 +237,86 @@ type Result_3 =
    err: Error;
    ok: RolloutView;
  };
+type Result_23 = 
+ variant {
+   err: Error;
+   ok: WasmInfo;
+ };
+type Result_22 = 
+ variant {
+   err: Error;
+   ok: principal;
+ };
+type Result_21 = 
+ variant {
+   err: Error;
+   ok: vec principal;
+ };
+type Result_20 = 
+ variant {
+   err: Error;
+   ok: ChatRoomsStatus;
+ };
 type Result_2 = 
  variant {
    err: Error;
    ok: bool;
  };
+type Result_19 = 
+ variant {
+   err: Error;
+   ok: opt RolloutView;
+ };
 type Result_18 = 
  variant {
    err: Error;
-   ok: WasmInfo;
+   ok: FactoryStatus;
  };
 type Result_17 = 
  variant {
    err: Error;
-   ok: principal;
+   ok: DriverCanister;
  };
 type Result_16 = 
  variant {
    err: Error;
-   ok: vec principal;
+   ok: opt Rating;
  };
 type Result_15 = 
  variant {
    err: Error;
-   ok: opt RolloutView;
+   ok: RidesPage;
  };
 type Result_14 = 
  variant {
    err: Error;
-   ok: FactoryStatus;
+   ok: vec ProfileEntry;
  };
 type Result_13 = 
  variant {
    err: Error;
-   ok: DriverCanister;
+   ok: Wiring;
  };
 type Result_12 = 
  variant {
    err: Error;
-   ok: RidesPage;
+   ok:
+    record {
+      headSeq: nat64;
+      laggingWorkers: nat;
+      lastError: opt text;
+      subjects: nat;
+    };
  };
 type Result_11 = 
  variant {
    err: Error;
-   ok: vec ProfileEntry;
+   ok: RideBatchResult;
  };
 type Result_10 = 
  variant {
    err: Error;
-   ok: Wiring;
+   ok: LeaseAnswer;
  };
 type Result_1 = 
  variant {
@@ -294,6 +348,11 @@ type RatingEntry =
    side: RatingSide;
    stars: nat8;
  };
+type Rating = 
+ record {
+   count: nat;
+   sum: nat;
+ };
 type ProfilesArgs = record {principals: vec principal;};
 type ProfileEntry = 
  record {
@@ -324,10 +383,22 @@ type Mode =
    stage;
    test;
  };
+type LeasedCanister = 
+ record {
+   blocked: bool;
+   canister: principal;
+   claim: opt ClaimCode;
+   createdAtNs: int;
+   installedAtNs: opt int;
+   kind: DriverCanisterKind;
+   leaseUntilNs: opt int;
+   moduleHash: opt blob;
+   owner: principal;
+ };
 type LeaseAnswer = 
  variant {
    busy: record {untilNs: int;};
-   leased: DriverCanister;
+   leased: LeasedCanister;
  };
 type InitArgs = 
  record {
@@ -362,6 +433,15 @@ type Error =
    details: ErrorDetails;
    logsJson: text;
  };
+type DriverRoomView = 
+ record {
+   canister: principal;
+   driverKey: text;
+   lastError: opt text;
+   recipient: principal;
+   roomId: text;
+   synced: bool;
+ };
 type DriverCanistersPage = 
  record {
    canisters: vec DriverCanister;
@@ -389,6 +469,32 @@ type DriverCanister =
    moduleHash: opt blob;
    owner: principal;
  };
+type ClaimTtlArgs = record {seconds: nat;};
+type ClaimCode = 
+ record {
+   canister: principal;
+   code: text;
+   expiresAtNs: int;
+ };
+type ClaimArgs = 
+ record {
+   canister: principal;
+   code: text;
+ };
+type ChatRoomsStatus = 
+ record {
+   config: opt ChatConfig;
+   failures: nat;
+   lastError: opt text;
+   pending: nat;
+   pendingSinceNs: opt int;
+   rooms: nat;
+ };
+type ChatConfig = 
+ record {
+   chatCoordinatorId: principal;
+   projectId: text;
+ };
 type CanisterArgs = record {canister: principal;};
 type BlockTarget = 
  variant {