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

package/README.md

@@ -10,7 +10,9 @@ Status: the rider's side (night 1, U-42); 0.2.0 (stage 2a, U-43) adds the rider'
 rating and WHERE the chat with a driver is; 0.3.0 (U-45) adds `DriverCanistersActor` — the
 demo lease and the one-time claim code; 0.4.0 (route line, 2026-10-24) adds the driver's
 route on the map — the line of a tapped offer, the line of the ride — and the exact pin of
-an offer (`pinExact`). Version 0.1.0 was the first to publish.
+an offer (`pinExact`); 0.5.0 (stage 7, ride history, 2026-10-24) adds the places of a past
+ride (Skąd, Dokąd) and the rating of a past ride from the history. Version 0.1.0 was the
+first to publish.
 
 ## The rider
 
@@ -46,6 +48,11 @@ await request.getLicenceAsyncUnsafe();                      // from accepted to
 await request.rateDriverAsyncUnsafe(5);                     // after completed, once
 
 const page = await profiles.getMyRidesAsyncUnsafe();        // the history in the core, 20 a page
+// 0.5.0 — a line: pickup?, destination? (KU-4; none before stage 7), ratable (KU-5), myRating?
+const past = await profiles.getMyRideAsyncUnsafe(page.rides[0].rideRef);  // one line (a reload); undefined until the core has it
+if (past?.ratable) await profiles.ratePastRideAsyncUnsafe(past.rideRef, 5);
+//   → "ok" | "alreadyRated" (also after rateDriverAsyncUnsafe) | "notRatable" (not completed,
+//     the 24 h are over, not in the core yet) | "notAuthorized" (another rider's ride)
 const mine = await profiles.getMyRatingAsyncUnsafe();       // PF-4: { average: 4.87, count, sum } | undefined ("Brak ocen")
 await rides.getPastRideAsyncUnsafe(page.rides[0].rideRef);  // its details from the driver canister
 ```
@@ -153,6 +160,8 @@ npm run test-drivers       # (a) 5 real driver canisters, driver-bots, route-stu
 npm run test-simulator     # (b) the simulator, 20 requests, 20 rides
 npm run test-split         # (c) an area split during traffic
 npm run test-claim         # (d) the demo lease and the claim code (U-45)
+npm run test-route-line    # (e) the route line of an offer and of a ride
+npm run test-ride-history  # (f) the history's places and the rating of a past ride (0.5.0)
 npm run test-smoke         # one whole ride with the simulator (run by publish-public)
 npm run load-local         # the load test: 200 simulated drivers, 100 riders (docs/load-test-2026-10-24.md)
 npm run publish-public     # human-run: publish from master (see below)

package/declarations/core/core.did

@@ -45,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_20);
+   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);
@@ -54,57 +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_20);
+   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_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_22);
    /// F-2 … F-4, F-10: the caller's own driver canister (localTest: from the core's cycles).
-   createMyDriverCanister: () -> (Result_20);
+   createMyDriverCanister: () -> (Result_22);
    /// 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_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_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_21) 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_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_19) query;
-   /// C-8: the caller's rides, newest first.
-   getMyRides: (args: RidesPageArgs) -> (Result_18) 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_17) 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_16) query;
+   getWiring: () -> (Result_17) query;
    /// Admins: how far the outbox to the workers is (C-6, C-7).
-   getWorkerOutbox: () -> (Result_15) 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.
@@ -112,27 +120,33 @@ 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_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_13);
-   listBlocks: (args: PageArgs) -> (Result_12) query;
-   listDriverCanisters: (args: PageArgs) -> (Result_11) 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_10) query;
+   listDriverFeeAccounts: (args: PageArgs) -> (Result_11) 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_10) query;
    /// F-20: a fresh claim code for the caller's running demo lease; the old one stops
    /// working.
-   newClaimCode: () -> (Result_8);
+   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_7);
+   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
@@ -202,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;
@@ -230,23 +260,23 @@ 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: ClaimCode;
  };
 type Result_8 = 
  variant {
    err: Error;
-   ok: ClaimCode;
+   ok: FeePaid;
  };
 type Result_7 = 
  variant {
    err: Error;
-   ok: FeePaid;
+   ok: RateRideOutcome;
  };
 type Result_6 = 
  variant {
@@ -263,6 +293,16 @@ type Result_4 =
    err: Error;
    ok: Profile;
  };
+type Result_31 = 
+ variant {
+   err: Error;
+   ok: WasmInfo;
+ };
+type Result_30 = 
+ variant {
+   err: Error;
+   ok: principal;
+ };
 type Result_3 = 
  variant {
    err: Error;
@@ -271,52 +311,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: FeeBill;
  };
 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: DriverCanister;
  };
 type Result_21 = 
  variant {
    err: Error;
-   ok: FeeStatus;
+   ok: opt Rating;
  };
 type Result_20 = 
  variant {
    err: Error;
-   ok: DriverCanister;
+   ok: RideView;
  };
 type Result_2 = 
  variant {
@@ -324,26 +364,21 @@ type Result_2 =
    ok: bool;
  };
 type Result_19 = 
- variant {
-   err: Error;
-   ok: opt Rating;
- };
-type Result_18 = 
  variant {
    err: Error;
    ok: RidesPage;
  };
-type Result_17 = 
+type Result_18 = 
  variant {
    err: Error;
    ok: vec ProfileEntry;
  };
-type Result_16 = 
+type Result_17 = 
  variant {
    err: Error;
    ok: Wiring;
  };
-type Result_15 = 
+type Result_16 = 
  variant {
    err: Error;
    ok:
@@ -354,31 +389,36 @@ type Result_15 =
       subjects: nat;
     };
  };
-type Result_14 = 
+type Result_15 = 
  variant {
    err: Error;
    ok: RideBatchResult;
  };
-type Result_13 = 
+type Result_14 = 
  variant {
    err: Error;
    ok: LeaseAnswer;
  };
-type Result_12 = 
+type Result_13 = 
  variant {
    err: Error;
    ok: vec Block;
  };
-type Result_11 = 
+type Result_12 = 
  variant {
    err: Error;
    ok: DriverCanistersPage;
  };
-type Result_10 = 
+type Result_11 = 
  variant {
    err: Error;
    ok: vec DriverFeeAccountView;
  };
+type Result_10 = 
+ variant {
+   err: Error;
+   ok: vec DriverRoomView;
+ };
 type Result_1 = 
  variant {
    err: Error;
@@ -389,6 +429,7 @@ type Result =
    err: Error;
    ok: nat;
  };
+type RequestIdArgs = record {requestId: text;};
 type ReleasedWasm = 
  record {
    releasedAtNs: int;
@@ -414,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 {
@@ -467,6 +519,11 @@ type InitArgs =
    coordinator: opt principal;
    mode: Mode;
  };
+type Geo = 
+ record {
+   lat: float64;
+   lng: float64;
+ };
 type FeeUsage = 
  record {
    quoteRequests: nat;
@@ -558,6 +615,11 @@ type DriverRoomView =
    roomId: text;
    synced: bool;
  };
+type DriverRatingArgs = 
+ record {
+   canister: principal;
+   driverKey: text;
+ };
 type DriverFeeAccountView = 
  record {
    bill: opt FeeBill;