@jsm-mit/tigi-sharded-package 0.2.0 → 0.4.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,54 +45,66 @@ 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_16);
+   addPoolCanister: (args: CanisterArgs) -> (Result_20);
    /// 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_20);
    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_22);
+   commitDriverWasm: (args: WasmCommitArgs) -> (Result_29);
    /// Admins, localTest: an empty canister from the core's cycles joins the demo pool.
-   createLocalPoolCanister: () -> (Result_16);
+   createLocalPoolCanister: () -> (Result_20);
    /// F-2 … F-4, F-10: the caller's own driver canister (localTest: from the core's cycles).
-   createMyDriverCanister: () -> (Result_16);
+   createMyDriverCanister: () -> (Result_20);
    /// Admins: the simulator, created once (F-18).
-   ensureSimulator: () -> (Result_21);
+   ensureSimulator: () -> (Result_28);
    /// F-8: 15 min more for the holder of a demo canister.
-   extendDemoLease: () -> (Result_16);
-   getAdmins: () -> (Result_20) query;
+   extendDemoLease: () -> (Result_20);
+   getAdmins: () -> (Result_27) 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_19) query;
+   getChatRoomsStatus: () -> (Result_26) query;
    /// WO-1, WO-2: what the core knows of a canister — for the workers and anybody.
    getDriverCanisterStatus: (args: CanisterArgs) ->
     (DriverCanisterStatus) query;
-   getDriverRollout: () -> (Result_18) query;
-   getFactoryStatus: () -> (Result_17) query;
+   /// Admins: the account of one driver canister (C-17 … C-20).
+   getDriverFeeAccount: (args: CanisterArgs) -> (Result_25) 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;
+   /// C-22: the rates, the day, the multiplier cached, the totals.
+   getFeeStatus: () -> (Result_21) query;
    getLogs: () -> (text) query;
    /// The caller's own canister, or the demo canister the caller holds now.
-   getMyDriverCanister: () -> (Result_16) query;
+   getMyDriverCanister: () -> (Result_20) 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_15) query;
+   getMyRating: () -> (Result_19) query;
    /// C-8: the caller's rides, newest first.
-   getMyRides: (args: RidesPageArgs) -> (Result_14) query;
+   getMyRides: (args: RidesPageArgs) -> (Result_18) query;
    /// C-3: the names of up to MAX_PROFILES_PER_CALL principals; unknown ones are left out.
-   getProfiles: (args: ProfilesArgs) -> (Result_13) query;
+   getProfiles: (args: ProfilesArgs) -> (Result_17) 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_12) query;
+   getWiring: () -> (Result_16) query;
    /// Admins: how far the outbox to the workers is (C-6, C-7).
-   getWorkerOutbox: () -> (Result_11) query;
+   getWorkerOutbox: () -> (Result_15) 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.
@@ -95,27 +112,49 @@ 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_10);
+   ingestRideBatch: (batch: RideBatch) -> (Result_14);
    /// 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).
-   leaseDemoDriverCanister: () -> (Result_9);
-   listBlocks: (args: PageArgs) -> (Result_8) query;
-   listDriverCanisters: (args: PageArgs) -> (Result_7) 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;
+   /// Admins: the accounts, 100 a page at most.
+   listDriverFeeAccounts: (args: PageArgs) -> (Result_10) query;
    /// Admins: the driver rooms as the core wants them, 100 a page at most.
-   listDriverRooms: (args: PageArgs) -> (Result_6) query;
+   listDriverRooms: (args: PageArgs) -> (Result_9) query;
+   /// F-20: a fresh claim code for the caller's running demo lease; the old one stops
+   /// working.
+   newClaimCode: () -> (Result_8);
+   /// 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);
    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);
@@ -126,6 +165,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 {
@@ -190,31 +231,32 @@ type RideBatch =
  record {
    ratings: vec RatingEntry;
    rides: vec RideEntry;
+   usage: opt UsageBatch;
  };
 type Result_9 = 
  variant {
    err: Error;
-   ok: LeaseAnswer;
+   ok: vec DriverRoomView;
  };
 type Result_8 = 
  variant {
    err: Error;
-   ok: vec Block;
+   ok: ClaimCode;
  };
 type Result_7 = 
  variant {
    err: Error;
-   ok: DriverCanistersPage;
+   ok: FeePaid;
  };
 type Result_6 = 
  variant {
    err: Error;
-   ok: vec DriverRoomView;
+   ok: ChatConfig;
  };
 type Result_5 = 
  variant {
    err: Error;
-   ok: ChatConfig;
+   ok: FeeRates;
  };
 type Result_4 = 
  variant {
@@ -226,67 +268,82 @@ type Result_3 =
    err: Error;
    ok: RolloutView;
  };
-type Result_22 = 
+type Result_29 = 
  variant {
    err: Error;
    ok: WasmInfo;
  };
-type Result_21 = 
+type Result_28 = 
  variant {
    err: Error;
    ok: principal;
  };
-type Result_20 = 
+type Result_27 = 
  variant {
    err: Error;
    ok: vec principal;
  };
-type Result_2 = 
+type Result_26 = 
  variant {
    err: Error;
-   ok: bool;
+   ok: ChatRoomsStatus;
  };
-type Result_19 = 
+type Result_25 = 
  variant {
    err: Error;
-   ok: ChatRoomsStatus;
+   ok: DriverFeeAccountView;
  };
-type Result_18 = 
+type Result_24 = 
+ variant {
+   err: Error;
+   ok: FeeBill;
+ };
+type Result_23 = 
  variant {
    err: Error;
    ok: opt RolloutView;
  };
-type Result_17 = 
+type Result_22 = 
  variant {
    err: Error;
    ok: FactoryStatus;
  };
-type Result_16 = 
+type Result_21 = 
+ variant {
+   err: Error;
+   ok: FeeStatus;
+ };
+type Result_20 = 
  variant {
    err: Error;
    ok: DriverCanister;
  };
-type Result_15 = 
+type Result_2 = 
+ variant {
+   err: Error;
+   ok: bool;
+ };
+type Result_19 = 
  variant {
    err: Error;
    ok: opt Rating;
  };
-type Result_14 = 
+type Result_18 = 
  variant {
    err: Error;
    ok: RidesPage;
  };
-type Result_13 = 
+type Result_17 = 
  variant {
    err: Error;
    ok: vec ProfileEntry;
  };
-type Result_12 = 
+type Result_16 = 
  variant {
    err: Error;
    ok: Wiring;
  };
-type Result_11 = 
+type Result_15 = 
  variant {
    err: Error;
    ok:
@@ -297,11 +354,31 @@ type Result_11 =
       subjects: nat;
     };
  };
-type Result_10 = 
+type Result_14 = 
  variant {
    err: Error;
    ok: RideBatchResult;
  };
+type Result_13 = 
+ variant {
+   err: Error;
+   ok: LeaseAnswer;
+ };
+type Result_12 = 
+ variant {
+   err: Error;
+   ok: vec Block;
+ };
+type Result_11 = 
+ variant {
+   err: Error;
+   ok: DriverCanistersPage;
+ };
+type Result_10 = 
+ variant {
+   err: Error;
+   ok: vec DriverFeeAccountView;
+ };
 type Result_1 = 
  variant {
    err: Error;
@@ -367,10 +444,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 {
@@ -378,6 +467,54 @@ type InitArgs =
    coordinator: opt principal;
    mode: Mode;
  };
+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;
@@ -405,6 +542,13 @@ type Error =
    details: ErrorDetails;
    logsJson: text;
  };
+type DriverUsage = 
+ record {
+   canister: principal;
+   quoteRequests: nat;
+   registrations: nat;
+   rides: nat;
+ };
 type DriverRoomView = 
  record {
    canister: principal;
@@ -414,6 +558,15 @@ type DriverRoomView =
    roomId: text;
    synced: bool;
  };
+type DriverFeeAccountView = 
+ record {
+   bill: opt FeeBill;
+   canister: principal;
+   lastFee: opt FeeRecord;
+   lastSettledDay: opt nat;
+   paidTotal: nat;
+   pending: FeeUsage;
+ };
 type DriverCanistersPage = 
  record {
    canisters: vec DriverCanister;
@@ -441,6 +594,18 @@ 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;