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

package/declarations/core/core.did

@@ -44,8 +44,13 @@ type TigiCore =
    abortDriverRollout: () -> (Result_3);
    /// Admins: an admin more (the coordinator adds the people who rule the group).
    addAdmin: (args: 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: (args: ChatSharesArgs) -> (Result_32);
    /// Admins: a canister the core controls joins the demo pool (U-35).
-   addPoolCanister: (args: CanisterArgs) -> (Result_20);
+   addPoolCanister: (args: CanisterArgs) -> (Result_6);
    /// 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);
@@ -54,57 +59,65 @@ type TigiCore =
    /// 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_20);
+   claimDriverCanister: (args: ClaimArgs) -> (Result_6);
    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_29);
+   commitDriverWasm: (args: WasmCommitArgs) -> (Result_31);
    /// Admins, localTest: an empty canister from the core's cycles joins the demo pool.
-   createLocalPoolCanister: () -> (Result_20);
+   createLocalPoolCanister: () -> (Result_6);
    /// F-2 … F-4, F-10: the caller's own driver canister (localTest: from the core's cycles).
-   createMyDriverCanister: () -> (Result_20);
+   createMyDriverCanister: () -> (Result_6);
    /// Admins: the simulator, created once (F-18).
-   ensureSimulator: () -> (Result_28);
+   ensureSimulator: () -> (Result_30);
    /// F-8: 15 min more for the holder of a demo canister.
-   extendDemoLease: () -> (Result_20);
-   getAdmins: () -> (Result_27) query;
+   extendDemoLease: () -> (Result_6);
+   getAdmins: () -> (Result_29) 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_26) query;
+   getChatRoomsStatus: () -> (Result_28) query;
    /// WO-1, WO-2: what the core knows of a canister — for the workers and anybody.
    getDriverCanisterStatus: (args: CanisterArgs) ->
     (DriverCanisterStatus) query;
    /// Admins: the account of one driver canister (C-17 … C-20).
-   getDriverFeeAccount: (args: CanisterArgs) -> (Result_25) query;
+   getDriverFeeAccount: (args: CanisterArgs) -> (Result_27) query;
    /// 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: () -> (Result_24);
-   getDriverRollout: () -> (Result_23) query;
-   getFactoryStatus: () -> (Result_22) query;
+   getDriverFeeBill: () -> (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: (args: DriverRatingArgs) -> (Result_22) query;
+   getDriverRollout: () -> (Result_25) query;
+   getFactoryStatus: () -> (Result_24) query;
    /// C-22: the rates, the day, the multiplier cached, the totals.
-   getFeeStatus: () -> (Result_21) query;
+   getFeeStatus: () -> (Result_23) query;
    getLogs: () -> (text) query;
    /// The caller's own canister, or the demo canister the caller holds now.
-   getMyDriverCanister: () -> (Result_20) query;
+   getMyDriverCanister: () -> (Result_6) 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_19) query;
-   /// C-8: the caller's rides, newest first.
-   getMyRides: (args: RidesPageArgs) -> (Result_18) query;
+   getMyRating: () -> (Result_22) query;
+   /// 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: (args: RequestIdArgs) -> (Result_21) query;
+   /// 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: (args: RidesPageArgs) -> (Result_20) query;
    /// C-3: the names of up to MAX_PROFILES_PER_CALL principals; unknown ones are left out.
-   getProfiles: (args: ProfilesArgs) -> (Result_17) query;
+   getProfiles: (args: ProfilesArgs) -> (Result_19) 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_16) query;
+   getWiring: () -> (Result_18) query;
    /// Admins: how far the outbox to the workers is (C-6, C-7).
-   getWorkerOutbox: () -> (Result_15) query;
+   getWorkerOutbox: () -> (Result_17) 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.
@@ -112,36 +125,45 @@ 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_14);
+   ingestRideBatch: (batch: 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
    /// 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_13);
-   listBlocks: (args: PageArgs) -> (Result_12) query;
-   listDriverCanisters: (args: PageArgs) -> (Result_11) query;
+   leaseDemoDriverCanister: () -> (Result_15);
+   listBlocks: (args: PageArgs) -> (Result_14) query;
+   listDriverCanisters: (args: PageArgs) -> (Result_13) query;
    /// Admins: the accounts, 100 a page at most.
-   listDriverFeeAccounts: (args: PageArgs) -> (Result_10) query;
+   listDriverFeeAccounts: (args: PageArgs) -> (Result_12) query;
    /// Admins: the driver rooms as the core wants them, 100 a page at most.
-   listDriverRooms: (args: PageArgs) -> (Result_9) query;
+   listDriverRooms: (args: PageArgs) -> (Result_11) query;
    /// F-20: a fresh claim code for the caller's running demo lease; the old one stops
    /// working.
-   newClaimCode: () -> (Result_8);
+   newClaimCode: () -> (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: (args: FeePayArgs) -> (Result_7);
+   payDriverFee: (args: 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: (args: RateRideArgs) -> (Result_8);
    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_6);
+   setChatConfig: (args: 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: (args: 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: (args: DemoAutomatArgs) -> (Result_6);
    /// Admins: the cycles per event (C-18).
    setFeeRates: (rates: FeeRates) -> (Result_5);
    setLoggingEnabled: (enabled: bool) -> (Result_2);
@@ -202,14 +224,30 @@ type RidesPageArgs =
 type RidesPage = 
  record {
    nextBeforeIndex: opt nat;
-   rides: vec RideEntry;
+   rides: vec RideView;
  };
-type RideEntry = 
+type RideView = 
  record {
+   destination: opt Geo;
    driverCanister: principal;
    driverKey: text;
    end: RideEnd;
    endedAtNs: nat64;
+   myRating: opt nat8;
+   pickup: opt Geo;
+   price: opt Money;
+   ratable: opt bool;
+   requestId: text;
+   rider: principal;
+ };
+type RideEntryIn = 
+ record {
+   destination: opt Geo;
+   driverCanister: principal;
+   driverKey: text;
+   end: RideEnd;
+   endedAtNs: nat64;
+   pickup: opt Geo;
    price: opt Money;
    requestId: text;
    rider: principal;
@@ -230,28 +268,28 @@ type RideBatchResult =
 type RideBatch = 
  record {
    ratings: vec RatingEntry;
-   rides: vec RideEntry;
+   rides: vec RideEntryIn;
    usage: opt UsageBatch;
  };
 type Result_9 = 
  variant {
    err: Error;
-   ok: vec DriverRoomView;
+   ok: FeePaid;
  };
 type Result_8 = 
  variant {
    err: Error;
-   ok: ClaimCode;
+   ok: RateRideOutcome;
  };
 type Result_7 = 
  variant {
    err: Error;
-   ok: FeePaid;
+   ok: ChatConfig;
  };
 type Result_6 = 
  variant {
    err: Error;
-   ok: ChatConfig;
+   ok: DriverCanister;
  };
 type Result_5 = 
  variant {
@@ -263,6 +301,21 @@ type Result_4 =
    err: Error;
    ok: Profile;
  };
+type Result_32 = 
+ variant {
+   err: Error;
+   ok: ChatSharesAck;
+ };
+type Result_31 = 
+ variant {
+   err: Error;
+   ok: WasmInfo;
+ };
+type Result_30 = 
+ variant {
+   err: Error;
+   ok: principal;
+ };
 type Result_3 = 
  variant {
    err: Error;
@@ -271,52 +324,52 @@ type Result_3 =
 type Result_29 = 
  variant {
    err: Error;
-   ok: WasmInfo;
+   ok: vec principal;
  };
 type Result_28 = 
  variant {
    err: Error;
-   ok: principal;
+   ok: ChatRoomsStatus;
  };
 type Result_27 = 
  variant {
    err: Error;
-   ok: vec principal;
+   ok: DriverFeeAccountView;
  };
 type Result_26 = 
  variant {
    err: Error;
-   ok: ChatRoomsStatus;
+   ok: FeeBillAnswer;
  };
 type Result_25 = 
  variant {
    err: Error;
-   ok: DriverFeeAccountView;
+   ok: opt RolloutView;
  };
 type Result_24 = 
  variant {
    err: Error;
-   ok: FeeBill;
+   ok: FactoryStatus;
  };
 type Result_23 = 
  variant {
    err: Error;
-   ok: opt RolloutView;
+   ok: FeeStatus;
  };
 type Result_22 = 
  variant {
    err: Error;
-   ok: FactoryStatus;
+   ok: opt Rating;
  };
 type Result_21 = 
  variant {
    err: Error;
-   ok: FeeStatus;
+   ok: RideView;
  };
 type Result_20 = 
  variant {
    err: Error;
-   ok: DriverCanister;
+   ok: RidesPage;
  };
 type Result_2 = 
  variant {
@@ -326,58 +379,58 @@ type Result_2 =
 type Result_19 = 
  variant {
    err: Error;
-   ok: opt Rating;
+   ok: vec ProfileEntry;
  };
 type Result_18 = 
  variant {
    err: Error;
-   ok: RidesPage;
+   ok: Wiring;
  };
 type Result_17 = 
  variant {
    err: Error;
-   ok: vec ProfileEntry;
+   ok:
+    record {
+      headSeq: nat64;
+      laggingWorkers: nat;
+      lastError: opt text;
+      subjects: nat;
+    };
  };
 type Result_16 = 
  variant {
    err: Error;
-   ok: Wiring;
+   ok: RideBatchResult;
  };
 type Result_15 = 
  variant {
    err: Error;
-   ok:
-    record {
-      headSeq: nat64;
-      laggingWorkers: nat;
-      lastError: opt text;
-      subjects: nat;
-    };
+   ok: LeaseAnswer;
  };
 type Result_14 = 
  variant {
    err: Error;
-   ok: RideBatchResult;
+   ok: vec Block;
  };
 type Result_13 = 
  variant {
    err: Error;
-   ok: LeaseAnswer;
+   ok: DriverCanistersPage;
  };
 type Result_12 = 
  variant {
    err: Error;
-   ok: vec Block;
+   ok: vec DriverFeeAccountView;
  };
 type Result_11 = 
  variant {
    err: Error;
-   ok: DriverCanistersPage;
+   ok: vec DriverRoomView;
  };
 type Result_10 = 
  variant {
    err: Error;
-   ok: vec DriverFeeAccountView;
+   ok: ClaimCode;
  };
 type Result_1 = 
  variant {
@@ -389,6 +442,7 @@ type Result =
    err: Error;
    ok: nat;
  };
+type RequestIdArgs = record {requestId: text;};
 type ReleasedWasm = 
  record {
    releasedAtNs: int;
@@ -414,6 +468,17 @@ type Rating =
    count: nat;
    sum: nat;
  };
+type RateRideOutcome = 
+ variant {
+   alreadyRated;
+   notRatable: text;
+   rated;
+ };
+type RateRideArgs = 
+ record {
+   requestId: text;
+   stars: nat8;
+ };
 type ProfilesArgs = record {principals: vec principal;};
 type ProfileEntry = 
  record {
@@ -467,6 +532,11 @@ type InitArgs =
    coordinator: opt principal;
    mode: Mode;
  };
+type Geo = 
+ record {
+   lat: float64;
+   lng: float64;
+ };
 type FeeUsage = 
  record {
    quoteRequests: nat;
@@ -476,6 +546,12 @@ type FeeUsage =
 type FeeStatus = 
  record {
    accounts: nat;
+   chat:
+    opt record {
+          absorbedTotal: nat;
+          addedTotal: nat;
+          lastBatchId: opt nat64;
+        };
    forwardedTotal: nat;
    lastForwardError: opt text;
    multiplier: opt record {
@@ -506,6 +582,16 @@ type FeePaid =
    amount: nat;
    day: nat;
  };
+type FeeBillAnswer = 
+ record {
+   amount: nat;
+   chat: opt nat;
+   day: nat;
+   multiplierPermille: nat;
+   rates: FeeRates;
+   settled: bool;
+   usage: FeeUsage;
+ };
 type FeeBill = 
  record {
    amount: nat;
@@ -558,10 +644,16 @@ type DriverRoomView =
    roomId: text;
    synced: bool;
  };
+type DriverRatingArgs = 
+ record {
+   canister: principal;
+   driverKey: text;
+ };
 type DriverFeeAccountView = 
  record {
    bill: opt FeeBill;
    canister: principal;
+   chat: opt ChatShareView;
    lastFee: opt FeeRecord;
    lastSettledDay: opt nat;
    paidTotal: nat;
@@ -594,6 +686,11 @@ type DriverCanister =
    moduleHash: opt blob;
    owner: principal;
  };
+type DemoAutomatArgs = 
+ record {
+   automat: principal;
+   canister: principal;
+ };
 type ClaimTtlArgs = record {seconds: nat;};
 type ClaimCode = 
  record {
@@ -606,6 +703,34 @@ type ClaimArgs =
    canister: principal;
    code: text;
  };
+type ChatSharesArgs = 
+ record {
+   batchId: nat64;
+   day: nat64;
+   shares: vec ChatShare;
+ };
+type ChatSharesAck = 
+ record {
+   added: nat;
+   addedCycles: nat;
+   applied: bool;
+   exempt: nat;
+   exemptCycles: nat;
+   unknown: nat;
+   unknownCycles: nat;
+ };
+type ChatShareView = 
+ record {
+   inBill: nat;
+   lastDay: opt nat;
+   paidTotal: nat;
+   pending: nat;
+ };
+type ChatShare = 
+ record {
+   cycles: nat;
+   roomId: text;
+ };
 type ChatRoomsStatus = 
  record {
    config: opt ChatConfig;