@jsm-mit/tigi-sharded-package 0.4.0 → 0.5.1

package/declarations/core/core.did.d.ts

@@ -30,6 +30,27 @@ export interface ChatRoomsStatus {
   'pendingSinceNs' : [] | [bigint],
   'rooms' : bigint,
 }
+export interface ChatShare { 'cycles' : bigint, 'roomId' : string }
+export interface ChatShareView {
+  'pending' : bigint,
+  'inBill' : bigint,
+  'paidTotal' : bigint,
+  'lastDay' : [] | [bigint],
+}
+export interface ChatSharesAck {
+  'added' : bigint,
+  'unknownCycles' : bigint,
+  'applied' : boolean,
+  'exemptCycles' : bigint,
+  'exempt' : bigint,
+  'addedCycles' : bigint,
+  'unknown' : bigint,
+}
+export interface ChatSharesArgs {
+  'day' : bigint,
+  'shares' : Array<ChatShare>,
+  'batchId' : bigint,
+}
 export interface ClaimArgs { 'code' : string, 'canister' : Principal }
 export interface ClaimCode {
   'expiresAtNs' : bigint,
@@ -37,6 +58,10 @@ export interface ClaimCode {
   'canister' : Principal,
 }
 export interface ClaimTtlArgs { 'seconds' : bigint }
+export interface DemoAutomatArgs {
+  'canister' : Principal,
+  'automat' : Principal,
+}
 export interface DriverCanister {
   'moduleHash' : [] | [Uint8Array | number[]],
   'owner' : Principal,
@@ -61,11 +86,16 @@ export interface DriverCanistersPage {
 export interface DriverFeeAccountView {
   'pending' : FeeUsage,
   'bill' : [] | [FeeBill],
+  'chat' : [] | [ChatShareView],
   'lastSettledDay' : [] | [bigint],
   'canister' : Principal,
   'paidTotal' : bigint,
   'lastFee' : [] | [FeeRecord],
 }
+export interface DriverRatingArgs {
+  'driverKey' : string,
+  'canister' : Principal,
+}
 export interface DriverRoomView {
   'recipient' : Principal,
   'driverKey' : string,
@@ -107,6 +137,15 @@ export interface FeeBill {
   'multiplierPermille' : bigint,
   'rates' : FeeRates,
 }
+export interface FeeBillAnswer {
+  'day' : bigint,
+  'settled' : boolean,
+  'chat' : [] | [bigint],
+  'usage' : FeeUsage,
+  'amount' : bigint,
+  'multiplierPermille' : bigint,
+  'rates' : FeeRates,
+}
 export interface FeePaid {
   'day' : bigint,
   'accepted' : bigint,
@@ -128,6 +167,13 @@ export interface FeeStatus {
   'today' : bigint,
   'toForward' : bigint,
   'forwardedTotal' : bigint,
+  'chat' : [] | [
+    {
+      'lastBatchId' : [] | [bigint],
+      'addedTotal' : bigint,
+      'absorbedTotal' : bigint,
+    }
+  ],
   'lastForwardError' : [] | [string],
   'accounts' : bigint,
   'paidTotal' : bigint,
@@ -138,6 +184,7 @@ export interface FeeUsage {
   'registrations' : bigint,
   'rides' : bigint,
 }
+export interface Geo { 'lat' : number, 'lng' : number }
 export interface InitArgs {
   'mode' : Mode,
   'admins' : Array<Principal>,
@@ -170,6 +217,10 @@ export interface Profile {
 }
 export interface ProfileEntry { 'principal' : Principal, 'name' : string }
 export interface ProfilesArgs { 'principals' : Array<Principal> }
+export interface RateRideArgs { 'requestId' : string, 'stars' : number }
+export type RateRideOutcome = { 'notRatable' : string } |
+  { 'rated' : null } |
+  { 'alreadyRated' : null };
 export interface Rating { 'sum' : bigint, 'count' : bigint }
 export interface RatingEntry {
   'requestId' : string,
@@ -186,21 +237,26 @@ export interface ReleasedWasm {
   'size' : bigint,
   'releasedAtNs' : bigint,
 }
+export interface RequestIdArgs { 'requestId' : string }
 export type Result = { 'ok' : bigint } |
   { 'err' : Error };
 export type Result_1 = { 'ok' : Uint8Array | number[] } |
   { 'err' : Error };
-export type Result_10 = { 'ok' : Array<DriverFeeAccountView> } |
+export type Result_10 = { 'ok' : ClaimCode } |
+  { 'err' : Error };
+export type Result_11 = { 'ok' : Array<DriverRoomView> } |
+  { 'err' : Error };
+export type Result_12 = { 'ok' : Array<DriverFeeAccountView> } |
   { 'err' : Error };
-export type Result_11 = { 'ok' : DriverCanistersPage } |
+export type Result_13 = { 'ok' : DriverCanistersPage } |
   { 'err' : Error };
-export type Result_12 = { 'ok' : Array<Block> } |
+export type Result_14 = { 'ok' : Array<Block> } |
   { 'err' : Error };
-export type Result_13 = { 'ok' : LeaseAnswer } |
+export type Result_15 = { 'ok' : LeaseAnswer } |
   { 'err' : Error };
-export type Result_14 = { 'ok' : RideBatchResult } |
+export type Result_16 = { 'ok' : RideBatchResult } |
   { 'err' : Error };
-export type Result_15 = {
+export type Result_17 = {
     'ok' : {
       'subjects' : bigint,
       'headSeq' : bigint,
@@ -209,54 +265,56 @@ export type Result_15 = {
     }
   } |
   { 'err' : Error };
-export type Result_16 = { 'ok' : Wiring } |
-  { 'err' : Error };
-export type Result_17 = { 'ok' : Array<ProfileEntry> } |
-  { 'err' : Error };
-export type Result_18 = { 'ok' : RidesPage } |
+export type Result_18 = { 'ok' : Wiring } |
   { 'err' : Error };
-export type Result_19 = { 'ok' : [] | [Rating] } |
+export type Result_19 = { 'ok' : Array<ProfileEntry> } |
   { 'err' : Error };
 export type Result_2 = { 'ok' : boolean } |
   { 'err' : Error };
-export type Result_20 = { 'ok' : DriverCanister } |
+export type Result_20 = { 'ok' : RidesPage } |
   { 'err' : Error };
-export type Result_21 = { 'ok' : FeeStatus } |
+export type Result_21 = { 'ok' : RideView } |
   { 'err' : Error };
-export type Result_22 = { 'ok' : FactoryStatus } |
+export type Result_22 = { 'ok' : [] | [Rating] } |
   { 'err' : Error };
-export type Result_23 = { 'ok' : [] | [RolloutView] } |
+export type Result_23 = { 'ok' : FeeStatus } |
   { 'err' : Error };
-export type Result_24 = { 'ok' : FeeBill } |
+export type Result_24 = { 'ok' : FactoryStatus } |
   { 'err' : Error };
-export type Result_25 = { 'ok' : DriverFeeAccountView } |
+export type Result_25 = { 'ok' : [] | [RolloutView] } |
   { 'err' : Error };
-export type Result_26 = { 'ok' : ChatRoomsStatus } |
+export type Result_26 = { 'ok' : FeeBillAnswer } |
   { 'err' : Error };
-export type Result_27 = { 'ok' : Array<Principal> } |
+export type Result_27 = { 'ok' : DriverFeeAccountView } |
   { 'err' : Error };
-export type Result_28 = { 'ok' : Principal } |
+export type Result_28 = { 'ok' : ChatRoomsStatus } |
   { 'err' : Error };
-export type Result_29 = { 'ok' : WasmInfo } |
+export type Result_29 = { 'ok' : Array<Principal> } |
   { 'err' : Error };
 export type Result_3 = { 'ok' : RolloutView } |
   { 'err' : Error };
+export type Result_30 = { 'ok' : Principal } |
+  { 'err' : Error };
+export type Result_31 = { 'ok' : WasmInfo } |
+  { 'err' : Error };
+export type Result_32 = { 'ok' : ChatSharesAck } |
+  { 'err' : Error };
 export type Result_4 = { 'ok' : Profile } |
   { 'err' : Error };
 export type Result_5 = { 'ok' : FeeRates } |
   { 'err' : Error };
-export type Result_6 = { 'ok' : ChatConfig } |
+export type Result_6 = { 'ok' : DriverCanister } |
   { 'err' : Error };
-export type Result_7 = { 'ok' : FeePaid } |
+export type Result_7 = { 'ok' : ChatConfig } |
   { 'err' : Error };
-export type Result_8 = { 'ok' : ClaimCode } |
+export type Result_8 = { 'ok' : RateRideOutcome } |
   { 'err' : Error };
-export type Result_9 = { 'ok' : Array<DriverRoomView> } |
+export type Result_9 = { 'ok' : FeePaid } |
   { 'err' : Error };
 export interface RideBatch {
   'ratings' : Array<RatingEntry>,
   'usage' : [] | [UsageBatch],
-  'rides' : Array<RideEntry>,
+  'rides' : Array<RideEntryIn>,
 }
 export interface RideBatchResult {
   'duplicates' : bigint,
@@ -267,18 +325,33 @@ export interface RideBatchResult {
 export type RideEnd = { 'completed' : null } |
   { 'cancelledByRider' : null } |
   { 'cancelledByDriver' : null };
-export interface RideEntry {
+export interface RideEntryIn {
+  'end' : RideEnd,
+  'destination' : [] | [Geo],
+  'requestId' : string,
+  'endedAtNs' : bigint,
+  'pickup' : [] | [Geo],
+  'driverKey' : string,
+  'driverCanister' : Principal,
+  'price' : [] | [Money],
+  'rider' : Principal,
+}
+export interface RideView {
   'end' : RideEnd,
+  'destination' : [] | [Geo],
   'requestId' : string,
   'endedAtNs' : bigint,
+  'ratable' : [] | [boolean],
+  'pickup' : [] | [Geo],
   'driverKey' : string,
   'driverCanister' : Principal,
   'price' : [] | [Money],
   'rider' : Principal,
+  'myRating' : [] | [number],
 }
 export interface RidesPage {
   'nextBeforeIndex' : [] | [bigint],
-  'rides' : Array<RideEntry>,
+  'rides' : Array<RideView>,
 }
 export interface RidesPageArgs {
   'beforeIndex' : [] | [bigint],
@@ -314,10 +387,17 @@ export interface TigiCore {
    * / Admins: an admin more (the coordinator adds the people who rule the group).
    */
   'addAdmin' : ActorMethod<[PrincipalArgs], Result_2>,
+  /**
+   * / C-27 (D8): the coordinator only — the driver rooms of a chat bill it paid. Each share
+   * / joins the next daily bill of the room's OWN driver canister as it is (the chat priced
+   * / it; no multiplier). A pool canister's share and a room of no canister of the registry
+   * / are absorbed (the coordinator keeps paying them). Once per `batchId`.
+   */
+  'addChatShares' : ActorMethod<[ChatSharesArgs], Result_32>,
   /**
    * / Admins: a canister the core controls joins the demo pool (U-35).
    */
-  'addPoolCanister' : ActorMethod<[CanisterArgs], Result_20>,
+  'addPoolCanister' : ActorMethod<[CanisterArgs], Result_6>,
   /**
    * / Admins: a driver canister, or one driver in it (`driverKey`), is blocked; the workers
    * / drop it at once (WO-2).
@@ -332,30 +412,30 @@ export interface TigiCore {
    * / 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' : ActorMethod<[ClaimArgs], Result_20>,
+  'claimDriverCanister' : ActorMethod<[ClaimArgs], Result_6>,
   'clearLogs' : ActorMethod<[], undefined>,
   /**
    * / 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' : ActorMethod<[WasmCommitArgs], Result_29>,
+  'commitDriverWasm' : ActorMethod<[WasmCommitArgs], Result_31>,
   /**
    * / Admins, localTest: an empty canister from the core's cycles joins the demo pool.
    */
-  'createLocalPoolCanister' : ActorMethod<[], Result_20>,
+  'createLocalPoolCanister' : ActorMethod<[], Result_6>,
   /**
    * / F-2 … F-4, F-10: the caller's own driver canister (localTest: from the core's cycles).
    */
-  'createMyDriverCanister' : ActorMethod<[], Result_20>,
+  'createMyDriverCanister' : ActorMethod<[], Result_6>,
   /**
    * / Admins: the simulator, created once (F-18).
    */
-  'ensureSimulator' : ActorMethod<[], Result_28>,
+  'ensureSimulator' : ActorMethod<[], Result_30>,
   /**
    * / F-8: 15 min more for the holder of a demo canister.
    */
-  'extendDemoLease' : ActorMethod<[], Result_20>,
-  'getAdmins' : ActorMethod<[], Result_27>,
+  'extendDemoLease' : ActorMethod<[], Result_6>,
+  'getAdmins' : ActorMethod<[], Result_29>,
   /**
    * / 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`.
@@ -364,7 +444,7 @@ export interface TigiCore {
   /**
    * / Admins: how far the driver rooms are (C-15).
    */
-  'getChatRoomsStatus' : ActorMethod<[], Result_26>,
+  'getChatRoomsStatus' : ActorMethod<[], Result_28>,
   /**
    * / WO-1, WO-2: what the core knows of a canister — for the workers and anybody.
    */
@@ -372,38 +452,50 @@ export interface TigiCore {
   /**
    * / Admins: the account of one driver canister (C-17 … C-20).
    */
-  'getDriverFeeAccount' : ActorMethod<[CanisterArgs], Result_25>,
+  'getDriverFeeAccount' : ActorMethod<[CanisterArgs], Result_27>,
   /**
    * / C-19: a driver canister of the registry asks for its bill — the events since its
    * / last settlement, priced on the fee's day. Called by the canister at its first
    * / "Przyjmuję zlecenia" of a day. A pool canister owes nothing (C-18).
    */
-  'getDriverFeeBill' : ActorMethod<[], Result_24>,
-  'getDriverRollout' : ActorMethod<[], Result_23>,
-  'getFactoryStatus' : ActorMethod<[], Result_22>,
+  'getDriverFeeBill' : ActorMethod<[], Result_26>,
+  /**
+   * / Admins (stage 7): the aggregated rating of one driver (sum and count of stars; null =
+   * / no rating yet) — the value the workers get through the outbox (C-6).
+   */
+  'getDriverRating' : ActorMethod<[DriverRatingArgs], Result_22>,
+  'getDriverRollout' : ActorMethod<[], Result_25>,
+  'getFactoryStatus' : ActorMethod<[], Result_24>,
   /**
    * / C-22: the rates, the day, the multiplier cached, the totals.
    */
-  'getFeeStatus' : ActorMethod<[], Result_21>,
+  'getFeeStatus' : ActorMethod<[], Result_23>,
   'getLogs' : ActorMethod<[], string>,
   /**
    * / The caller's own canister, or the demo canister the caller holds now.
    */
-  'getMyDriverCanister' : ActorMethod<[], Result_20>,
+  'getMyDriverCanister' : ActorMethod<[], Result_6>,
   'getMyProfile' : ActorMethod<[], Result_4>,
   /**
    * / 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' : ActorMethod<[], Result_19>,
+  'getMyRating' : ActorMethod<[], Result_22>,
+  /**
+   * / C-8 (KU-4, stage 7): one line of the caller's history by its requestId — for the
+   * / details screen after a reload and to show the rating after `rateMyRide`. Another
+   * / rider's ride → `NotAuthorized`; not in the core (yet, K-9) → `NotFound`.
+   */
+  'getMyRide' : ActorMethod<[RequestIdArgs], Result_21>,
   /**
-   * / C-8: the caller's rides, newest first.
+   * / C-8: the caller's rides, newest first, with the places (KU-4) and whether the driver
+   * / can still be rated (KU-5, C-23).
    */
-  'getMyRides' : ActorMethod<[RidesPageArgs], Result_18>,
+  'getMyRides' : ActorMethod<[RidesPageArgs], Result_20>,
   /**
    * / C-3: the names of up to MAX_PROFILES_PER_CALL principals; unknown ones are left out.
    */
-  'getProfiles' : ActorMethod<[ProfilesArgs], Result_17>,
+  'getProfiles' : ActorMethod<[ProfilesArgs], Result_19>,
   /**
    * / F-11: the driver wasms released so far, oldest first.
    */
@@ -415,11 +507,11 @@ export interface TigiCore {
   /**
    * / Admins: the coordinator, the workers confirmed so far, the mode.
    */
-  'getWiring' : ActorMethod<[], Result_16>,
+  'getWiring' : ActorMethod<[], Result_18>,
   /**
    * / Admins: how far the outbox to the workers is (C-6, C-7).
    */
-  'getWorkerOutbox' : ActorMethod<[], Result_15>,
+  'getWorkerOutbox' : ActorMethod<[], Result_17>,
   /**
    * / 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
@@ -431,7 +523,7 @@ export interface TigiCore {
    * / 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' : ActorMethod<[RideBatch], Result_14>,
+  'ingestRideBatch' : ActorMethod<[RideBatch], Result_16>,
   /**
    * / 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
@@ -442,28 +534,36 @@ export interface TigiCore {
    * / 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' : ActorMethod<[], Result_13>,
-  'listBlocks' : ActorMethod<[PageArgs], Result_12>,
-  'listDriverCanisters' : ActorMethod<[PageArgs], Result_11>,
+  'leaseDemoDriverCanister' : ActorMethod<[], Result_15>,
+  'listBlocks' : ActorMethod<[PageArgs], Result_14>,
+  'listDriverCanisters' : ActorMethod<[PageArgs], Result_13>,
   /**
    * / Admins: the accounts, 100 a page at most.
    */
-  'listDriverFeeAccounts' : ActorMethod<[PageArgs], Result_10>,
+  'listDriverFeeAccounts' : ActorMethod<[PageArgs], Result_12>,
   /**
    * / Admins: the driver rooms as the core wants them, 100 a page at most.
    */
-  'listDriverRooms' : ActorMethod<[PageArgs], Result_9>,
+  'listDriverRooms' : ActorMethod<[PageArgs], Result_11>,
   /**
    * / F-20: a fresh claim code for the caller's running demo lease; the old one stops
    * / working.
    */
-  'newClaimCode' : ActorMethod<[], Result_8>,
+  'newClaimCode' : ActorMethod<[], Result_10>,
   /**
    * / C-20: the driver canister pays the bill of `day` with the cycles attached to this
    * / call. The core takes exactly the bill (the rest goes back), or nothing when less is
    * / attached (`FEE_SHORT`); a day paid already answers `accepted = 0`.
    */
-  'payDriverFee' : ActorMethod<[FeePayArgs], Result_7>,
+  'payDriverFee' : ActorMethod<[FeePayArgs], Result_9>,
+  /**
+   * / C-23 (KU-5, stage 7): the rider rates the driver of a finished ride from the history.
+   * / Only the ride's rider; a completed ride within 24 h of its end (K-8); once per ride
+   * / over both paths — a live rating through the worker and this one count once together
+   * / (the first to reach the core). The driver's aggregate goes to the workers as a
+   * / batch's does (C-6). Counted in the caller's `#account` pool.
+   */
+  'rateMyRide' : ActorMethod<[RateRideArgs], Result_8>,
   'removeAdmin' : ActorMethod<[PrincipalArgs], Result_2>,
   'resumeDriverRollout' : ActorMethod<[], Result_3>,
   /**
@@ -471,12 +571,17 @@ export interface TigiCore {
    * / (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' : ActorMethod<[ChatConfig], Result_6>,
+  'setChatConfig' : ActorMethod<[ChatConfig], Result_7>,
   /**
    * / 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' : ActorMethod<[ClaimTtlArgs], Result>,
+  /**
+   * / Admins (F-22, TIGI-DRIVER-MODES): the pool canister is installed again in the
+   * / automat mode, driven by `automat` — the simulator's router on the droplet.
+   */
+  'setDemoDriverAutomat' : ActorMethod<[DemoAutomatArgs], Result_6>,
   /**
    * / Admins: the cycles per event (C-18).
    */