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

package/declarations/core/core.did

@@ -28,6 +28,11 @@ type WasmChunkArgs =
    index: nat32;
    kind: WasmKind;
  };
+type UsageBatch = 
+ record {
+   batchId: nat64;
+   entries: vec DriverUsage;
+ };
 type UnblockRiderArgs = record {rider: principal;};
 type UnblockDriverArgs = 
  record {
@@ -40,7 +45,7 @@ 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_17);
+   addPoolCanister: (args: CanisterArgs) -> (Result_22);
    /// 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);
@@ -49,49 +54,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_17);
+   claimDriverCanister: (args: ClaimArgs) -> (Result_22);
    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_23);
+   commitDriverWasm: (args: WasmCommitArgs) -> (Result_31);
    /// Admins, localTest: an empty canister from the core's cycles joins the demo pool.
-   createLocalPoolCanister: () -> (Result_17);
+   createLocalPoolCanister: () -> (Result_22);
    /// F-2 … F-4, F-10: the caller's own driver canister (localTest: from the core's cycles).
-   createMyDriverCanister: () -> (Result_17);
+   createMyDriverCanister: () -> (Result_22);
    /// Admins: the simulator, created once (F-18).
-   ensureSimulator: () -> (Result_22);
+   ensureSimulator: () -> (Result_30);
    /// F-8: 15 min more for the holder of a demo canister.
-   extendDemoLease: () -> (Result_17);
-   getAdmins: () -> (Result_21) query;
+   extendDemoLease: () -> (Result_22);
+   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_20) 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;
-   getDriverRollout: () -> (Result_19) query;
-   getFactoryStatus: () -> (Result_18) query;
+   /// Admins: the account of one driver canister (C-17 … C-20).
+   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_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_21) query;
+   getDriverRollout: () -> (Result_25) query;
+   getFactoryStatus: () -> (Result_24) query;
+   /// C-22: the rates, the day, the multiplier cached, the totals.
+   getFeeStatus: () -> (Result_23) query;
    getLogs: () -> (text) query;
    /// The caller's own canister, or the demo canister the caller holds now.
-   getMyDriverCanister: () -> (Result_17) query;
+   getMyDriverCanister: () -> (Result_22) 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_15) query;
+   getMyRating: () -> (Result_21) 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_20) 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_19) query;
    /// C-3: the names of up to MAX_PROFILES_PER_CALL principals; unknown ones are left out.
-   getProfiles: (args: ProfilesArgs) -> (Result_14) query;
+   getProfiles: (args: ProfilesArgs) -> (Result_18) 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_13) query;
+   getWiring: () -> (Result_17) query;
    /// Admins: how far the outbox to the workers is (C-6, C-7).
-   getWorkerOutbox: () -> (Result_12) query;
+   getWorkerOutbox: () -> (Result_16) 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.
@@ -99,34 +120,55 @@ 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_11);
+   ingestRideBatch: (batch: RideBatch) -> (Result_15);
    /// 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;
+   leaseDemoDriverCanister: () -> (Result_14);
+   listBlocks: (args: PageArgs) -> (Result_13) query;
+   listDriverCanisters: (args: PageArgs) -> (Result_12) query;
+   /// Admins: the accounts, 100 a page at most.
+   listDriverFeeAccounts: (args: PageArgs) -> (Result_11) query;
    /// Admins: the driver rooms as the core wants them, 100 a page at most.
-   listDriverRooms: (args: PageArgs) -> (Result_7) query;
+   listDriverRooms: (args: PageArgs) -> (Result_10) query;
    /// F-20: a fresh claim code for the caller's running demo lease; the old one stops
    /// working.
-   newClaimCode: () -> (Result_6);
+   newClaimCode: () -> (Result_9);
+   /// 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_8);
+   /// 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_7);
    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);
+   setChatConfig: (args: ChatConfig) -> (Result_6);
    /// 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: the cycles per event (C-18).
+   setFeeRates: (rates: FeeRates) -> (Result_5);
    setLoggingEnabled: (enabled: bool) -> (Result_2);
    /// The coordinator only: the balance below which the core asks for cycles.
    setLowCyclesBelow: (value: nat) -> (Result_2);
    setMyProfile: (args: SetProfileArgs) -> (Result_4);
+   /// F-21 (2026-10-24, route line): admins — the one principal that routes the simulator's
+   /// quotes (S-N13, a Node process like a driver's front); null removes it. The simulator
+   /// takes it from the core only.
+   setSimulatorRouter: (args: SimulatorRouterArgs) -> (Result_2);
+   /// Admins, localTest only: the fee's day moves this many days on (the local check of
+   /// "the next day"). Heap only: an upgrade brings back the real day.
+   setTestDayOffset: (args: TestDayArgs) -> (Result);
    /// Admins: a rollout of the current driver wasm (F-12): the canary, then the rest, one
    /// canister a step, never during a ride (F-13).
    startDriverRollout: () -> (Result_3);
@@ -137,6 +179,8 @@ type TigiCore =
    /// Admins: one chunk of a new driver or simulator module (gzipped: ~0.7 MB).
    uploadDriverWasmChunk: (args: WasmChunkArgs) -> (Result);
  };
+type TestDayArgs = record {days: nat;};
+type SimulatorRouterArgs = record {router: opt principal;};
 type SetProfileArgs = record {name: text;};
 type RolloutView = 
  record {
@@ -172,14 +216,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;
@@ -200,104 +260,125 @@ 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 Block;
+   ok: ClaimCode;
  };
 type Result_8 = 
  variant {
    err: Error;
-   ok: DriverCanistersPage;
+   ok: FeePaid;
  };
 type Result_7 = 
  variant {
    err: Error;
-   ok: vec DriverRoomView;
+   ok: RateRideOutcome;
  };
 type Result_6 = 
  variant {
    err: Error;
-   ok: ClaimCode;
+   ok: ChatConfig;
  };
 type Result_5 = 
  variant {
    err: Error;
-   ok: ChatConfig;
+   ok: FeeRates;
  };
 type Result_4 = 
  variant {
    err: Error;
    ok: Profile;
  };
-type Result_3 = 
+type Result_31 = 
  variant {
    err: Error;
-   ok: RolloutView;
+   ok: WasmInfo;
  };
-type Result_23 = 
+type Result_30 = 
  variant {
    err: Error;
-   ok: WasmInfo;
+   ok: principal;
  };
-type Result_22 = 
+type Result_3 = 
  variant {
    err: Error;
-   ok: principal;
+   ok: RolloutView;
  };
-type Result_21 = 
+type Result_29 = 
  variant {
    err: Error;
    ok: vec principal;
  };
-type Result_20 = 
+type Result_28 = 
  variant {
    err: Error;
    ok: ChatRoomsStatus;
  };
-type Result_2 = 
+type Result_27 = 
  variant {
    err: Error;
-   ok: bool;
+   ok: DriverFeeAccountView;
  };
-type Result_19 = 
+type Result_26 = 
+ variant {
+   err: Error;
+   ok: FeeBill;
+ };
+type Result_25 = 
  variant {
    err: Error;
    ok: opt RolloutView;
  };
-type Result_18 = 
+type Result_24 = 
  variant {
    err: Error;
    ok: FactoryStatus;
  };
-type Result_17 = 
+type Result_23 = 
+ variant {
+   err: Error;
+   ok: FeeStatus;
+ };
+type Result_22 = 
  variant {
    err: Error;
    ok: DriverCanister;
  };
-type Result_16 = 
+type Result_21 = 
  variant {
    err: Error;
    ok: opt Rating;
  };
-type Result_15 = 
+type Result_20 = 
+ variant {
+   err: Error;
+   ok: RideView;
+ };
+type Result_2 = 
+ variant {
+   err: Error;
+   ok: bool;
+ };
+type Result_19 = 
  variant {
    err: Error;
    ok: RidesPage;
  };
-type Result_14 = 
+type Result_18 = 
  variant {
    err: Error;
    ok: vec ProfileEntry;
  };
-type Result_13 = 
+type Result_17 = 
  variant {
    err: Error;
    ok: Wiring;
  };
-type Result_12 = 
+type Result_16 = 
  variant {
    err: Error;
    ok:
@@ -308,16 +389,36 @@ type Result_12 =
       subjects: nat;
     };
  };
-type Result_11 = 
+type Result_15 = 
  variant {
    err: Error;
    ok: RideBatchResult;
  };
-type Result_10 = 
+type Result_14 = 
  variant {
    err: Error;
    ok: LeaseAnswer;
  };
+type Result_13 = 
+ variant {
+   err: Error;
+   ok: vec Block;
+ };
+type Result_12 = 
+ variant {
+   err: Error;
+   ok: DriverCanistersPage;
+ };
+type Result_11 = 
+ variant {
+   err: Error;
+   ok: vec DriverFeeAccountView;
+ };
+type Result_10 = 
+ variant {
+   err: Error;
+   ok: vec DriverRoomView;
+ };
 type Result_1 = 
  variant {
    err: Error;
@@ -328,6 +429,7 @@ type Result =
    err: Error;
    ok: nat;
  };
+type RequestIdArgs = record {requestId: text;};
 type ReleasedWasm = 
  record {
    releasedAtNs: int;
@@ -353,6 +455,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 {
@@ -406,6 +519,59 @@ type InitArgs =
    coordinator: opt principal;
    mode: Mode;
  };
+type Geo = 
+ record {
+   lat: float64;
+   lng: float64;
+ };
+type FeeUsage = 
+ record {
+   quoteRequests: nat;
+   registrations: nat;
+   rides: nat;
+ };
+type FeeStatus = 
+ record {
+   accounts: nat;
+   forwardedTotal: nat;
+   lastForwardError: opt text;
+   multiplier: opt record {
+                     day: nat;
+                     permille: nat;
+                   };
+   paidTotal: nat;
+   rates: FeeRates;
+   toForward: nat;
+   today: nat;
+ };
+type FeeRecord = 
+ record {
+   amount: nat;
+   day: nat;
+   paidAtNs: int;
+ };
+type FeeRates = 
+ record {
+   perQuoteRequest: nat;
+   perRegistration: nat;
+   perRide: nat;
+ };
+type FeePayArgs = record {day: nat;};
+type FeePaid = 
+ record {
+   accepted: nat;
+   amount: nat;
+   day: nat;
+ };
+type FeeBill = 
+ record {
+   amount: nat;
+   day: nat;
+   multiplierPermille: nat;
+   rates: FeeRates;
+   settled: bool;
+   usage: FeeUsage;
+ };
 type FactoryStatus = 
  record {
    creationsInProgress: nat;
@@ -433,6 +599,13 @@ type Error =
    details: ErrorDetails;
    logsJson: text;
  };
+type DriverUsage = 
+ record {
+   canister: principal;
+   quoteRequests: nat;
+   registrations: nat;
+   rides: nat;
+ };
 type DriverRoomView = 
  record {
    canister: principal;
@@ -442,6 +615,20 @@ type DriverRoomView =
    roomId: text;
    synced: bool;
  };
+type DriverRatingArgs = 
+ record {
+   canister: principal;
+   driverKey: text;
+ };
+type DriverFeeAccountView = 
+ record {
+   bill: opt FeeBill;
+   canister: principal;
+   lastFee: opt FeeRecord;
+   lastSettledDay: opt nat;
+   paidTotal: nat;
+   pending: FeeUsage;
+ };
 type DriverCanistersPage = 
  record {
    canisters: vec DriverCanister;