@propxchain/core-client 0.2.1-canary.9 → 0.3.0-canary.23

package/src/canisters/transaction_manager/transaction_manager.did

@@ -1,3 +1,9 @@
+type Urgency = 
+ variant {
+   blocking;
+   later;
+   soon;
+ };
 type TransactionTimeline = 
  record {
    blockchainCompletedAt: opt int;
@@ -271,7 +277,7 @@ type Result_2 =
    err: text;
    ok: TransactionParty;
  };
-type Result_18 = 
+type Result_19 = 
  variant {
    err: text;
    ok: record {
@@ -279,11 +285,16 @@ type Result_18 =
          text;
        };
  };
-type Result_17 = 
+type Result_18 = 
  variant {
    err: text;
    ok: Phase;
  };
+type Result_17 = 
+ variant {
+   err: text;
+   ok: NextStepRecommendation;
+ };
 type Result_16 = 
  variant {
    err: text;
@@ -392,6 +403,22 @@ type Notification =
    transactionId: text;
    uploadedBy: principal;
  };
+type NextStepRecommendation = 
+ record {
+   blocker: text;
+   blockerLabel: text;
+   options: vec NextStepOption;
+   partial: bool;
+   urgency: Urgency;
+   why: text;
+ };
+type NextStepOption = 
+ record {
+   action: text;
+   displayLabel: text;
+   estimatedDelayIfSkipped: opt nat;
+   whyThis: text;
+ };
 type LandRegistryStatus = 
  variant {
    application_received;
@@ -492,7 +519,7 @@ service : {
    postcode: text, titleNumber: text, seller: principal, previousOwner: 
    text, amount: nat64, transactionType: text, userRole: text, propertyType:
    text, propertyCategory: text, mode: text, deposit: nat64, mortgageAmount:
-   nat64, completionDate: text) -> (Result_18);
+   nat64, completionDate: text) -> (Result_19);
   deleteTransaction: (transactionId: text) -> (Result);
   disconnectBot: (transactionId: text, botPrincipal: principal) -> (Result_1);
   doesTransactionExist: (transactionId: text) -> (bool) query;
@@ -501,17 +528,20 @@ service : {
                                   text;
                                 }) query;
   getAllTransactions: () -> (vec Transaction) query;
-  getCurrentPhase: (transactionId: text) -> (Result_17) query;
+  getCurrentPhase: (transactionId: text) -> (Result_18) query;
   getCycles: () -> (nat) query;
   getDocumentStorageCanister: () -> (opt principal) query;
   getExpiringSearches: (withinDays: nat) -> (vec Transaction) query;
   getFlowState: (transactionId: text) -> (opt text) query;
   getInviteCode: (transactionId: text) -> (Result) query;
+  getLandRegistryCanister: () -> (text) query;
   getLandRegistryDetail: (transactionID: text) ->
    (opt LandRegistryIntegration) query;
+  getLedgerManagerCanister: () -> (text) query;
   getListingData: (transactionId: text) -> (opt text) query;
   getMyNotifications: () -> (vec Notification) query;
   getMyTransactions: () -> (vec Transaction) query;
+  getNextStep: (id: text) -> (Result_17) composite_query;
   getOutstandingRequisitions: () -> (vec record {
                                            text;
                                            Requisition;
@@ -519,6 +549,7 @@ service : {
   getPartyProgress: (transactionId: text) -> (Result_16) query;
   getPendingLRApplications: () -> (vec Transaction) query;
   getPhaseMilestones: (transactionId: text) -> (Result_15) query;
+  getPropertyRegistryCanister: () -> (text) query;
   getSolicitorStatus: (transactionId: text) -> (Result_14) query;
   getTA10: (txId: text) -> (Result_13) query;
   getTA6: (txId: text) -> (Result_12) query;
@@ -542,27 +573,83 @@ service : {
    (opt TransactionTimeline) query;
   initiate_blockchain_completion: (transactionID: text, buyerFundsHash: 
    text, completionStatementHash: text) -> (Result);
+  joinAsBotByInviteCode: (inviteCode: text, botName: text) -> (Result_6);
   joinTransactionByInviteCode: (inviteCode: text) -> (Result_6);
+  joinTransactionByInviteCodeAsBuyer: (inviteCode: text) -> (Result_6);
+  /// Caller-initiated removal from a transaction they joined but didn't
+  /// create. Counterpart to `removeParty` (which is seller/admin-driven and
+  /// gated against primary parties) — this is the "I want out" path for a
+  /// joined buyer or any other access-list member.
+  /// 
+  /// Gates:
+  ///   - Anonymous callers rejected outright.
+  ///   - Seller / createdBy cannot leave their own transaction (they
+  ///     dispose via deleteTransaction).
+  ///   - Caller must currently have access to the transaction.
+  ///   - Locked after contract exchange (same posture as assignBuyer):
+  ///     once the deal is signed nobody walks away by toggling a button.
+  /// 
+  /// Effects:
+  ///   - Caller is removed from `accessList`.
+  ///   - If the caller is the assigned buyer (`txn.buyer == msg.caller`),
+  ///     the buyer slot is reset to the seller placeholder, matching the
+  ///     sentinel state that `assignBuyer` checks for. The transaction
+  ///     re-enters the "Awaiting buyer" state and the invite code is
+  ///     reusable by a new joiner.
+  ///   - Audit event `buyer_left` (or `party_left` for non-buyer leavers)
+  ///     is logged via the existing ledger pattern.
+  /// 
+  /// Concurrency: uses the same acquireTxLock/finally releaseTxLock
+  /// posture as assignBuyer so a leave can't race against an in-flight
+  /// stage write.
+  leaveTransaction: (transactionId: text) -> (Result);
   linkTransactionToChain: (myTransactionId: text, buyingTransactionId:
    text) -> (Result_1);
   markAllNotificationsRead: () -> (nat);
   markContractDrafted: (transactionId: text) -> (Result_1);
   markNotificationRead: (notificationId: nat) -> (Result_1);
   markSearchesOrdered: (transactionId: text) -> (Result_1);
+  /// Heal developer-plot transactions whose `seller` doesn't match the
+  /// org's current developer principal. Two cases this addresses:
+  ///   1. Pre-migration txs (seller = buyer placeholder) created before the
+  ///      developer-on-chain work landed.
+  ///   2. Stale-pin txs where the org's pinned principal changed after the
+  ///      tx was created (e.g. admin password reset → new ICP key, or org
+  ///      ownership transferred to a different admin).
+  /// 
+  /// Idempotent over the target: re-running with the same developerPrincipal
+  /// returns an error (already at target), so admin-driven backfill scripts
+  /// don't silently re-touch state. Always rejects:
+  ///   - non-development mode txs
+  ///   - developerPrincipal == buyer (would break Principal.equal checks)
+  ///   - anonymous principal
+  migrateDevPlotSeller: (transactionId: text, developerPrincipal:
+   principal) -> (Result);
   onDocumentRegistered: (transactionId: text, docType: text, documentHash:
    text, uploadedBy: principal) -> ();
   on_blockchain_completion_success: (transactionID: text) -> (Result);
   pollAllPendingApplications: () -> (Result_5);
   pollApplicationStatus: (transactionID: text) -> (Result_4);
+  /// Closes #31 (TOCTOU): per-transaction lock blocks concurrent solicitors
+  /// from racing to record exchange while canModifyTransaction await is in flight.
   recordContractExchange: (transactionID: text, buyerSolicitorSignature:
    text, sellerSolicitorSignature: text) -> (Result);
+  recordConveyancerSelected: (txId: text, conveyancerId: text,
+   acceptedQuoteHash: text, finalAmountPence: nat) -> (Result_1);
   recordFormUpload: (txId: text, formType: text, fileHash: text, fileName:
    text) -> (Result_1);
   /// Record a single party's signature on-chain.
   /// The canister identifies the caller as buyer or seller from the transaction principals.
   /// When both parties have signed, the status auto-advances to #exchanged.
+  /// Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+  /// (buyer + seller racing to sign) while canModifyTransaction await is in flight.
   recordPartySignature: (transactionID: text, signatureHash: text,
    signingRole: text) -> (Result);
+  recordQuoteReceived: (txId: text, conveyancerId: text, quoteHash: text,
+   quotedAmountPence: nat) -> (Result_1);
+  recordQuoteRequested: (txId: text, conveyancerId: text) -> (Result_1);
+  /// Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+  /// while the isAdmin await is in flight.
   recordRequisition: (transactionID: text, requisition: Requisition) ->
    (Result_1);
   removeParty: (transactionId: text, partyPrincipal: principal) -> (Result_1);
@@ -571,12 +658,17 @@ service : {
                                                  seller;
                                                }) -> (Result_1);
   requestOfficialSearch: (transactionID: text) -> (Result_3);
+  /// Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+  /// while canModifyTransaction await is in flight.
   respondToRequisition: (transactionID: text, requisitionId: text,
    responseText: text, _supportingDocumentHashes: vec text) -> (Result_1);
   revokeBuyer: (transactionId: text, buyerPrincipal: principal) -> (Result);
   setDocumentStorageCanister: (canisterId: principal) -> (Result);
   setFlowState: (transactionId: text, jsonData: text) -> (Result);
+  setLandRegistryCanister: (canisterId: text) -> (Result);
+  setLedgerManagerCanister: (canisterId: text) -> (Result);
   setListingData: (transactionId: text, jsonData: text) -> (Result);
+  setPropertyRegistryCanister: (canisterId: text) -> (Result);
   setUserManagementCanister: (canisterId: text) -> (Result);
   trigger_land_registry_submission: (transactionID: text) -> (Result);
   updatePartyAMLDoc: (transactionId: text, partyPrincipal: principal,
@@ -592,7 +684,8 @@ service : {
   updateTA10: (txId: text, data: TA10FittingsAndContents) -> (Result_1);
   updateTA6: (txId: text, data: TA6PropertyInformation) -> (Result_1);
   updateTA7: (txId: text, data: TA7LeaseholdInformation) -> (Result_1);
-  updateTransactionStatus: (transactionId: nat, newStatus: text) -> (bool);
+  updateTitleNumber: (transactionId: text, newTitleNumber: text) -> (Result);
+  updateTransactionStatus: (_transactionId: nat, _newStatus: text) -> (bool);
   update_land_registry_status: (transactionID: text, lrStatus:
    LandRegistryStatus, confirmationNumber: opt text, estimatedCompletionTime:
    opt int) -> (Result);

package/src/canisters/transaction_manager/transaction_manager.did.d.ts

@@ -65,6 +65,20 @@ export type LandRegistryStatus = { 'cancelled' : null } |
   { 'official_search_expired' : null } |
   { 'failed' : null } |
   { 'registered' : null };
+export interface NextStepOption {
+  'action' : string,
+  'displayLabel' : string,
+  'estimatedDelayIfSkipped' : [] | [bigint],
+  'whyThis' : string,
+}
+export interface NextStepRecommendation {
+  'why' : string,
+  'urgency' : Urgency,
+  'blocker' : string,
+  'blockerLabel' : string,
+  'options' : Array<NextStepOption>,
+  'partial' : boolean,
+}
 export interface Notification {
   'id' : bigint,
   'documentHash' : string,
@@ -136,9 +150,11 @@ export type Result_15 = { 'ok' : PhaseMilestones } |
   { 'err' : string };
 export type Result_16 = { 'ok' : TransactionPartyProgress } |
   { 'err' : string };
-export type Result_17 = { 'ok' : Phase } |
+export type Result_17 = { 'ok' : NextStepRecommendation } |
+  { 'err' : string };
+export type Result_18 = { 'ok' : Phase } |
   { 'err' : string };
-export type Result_18 = { 'ok' : [string, string] } |
+export type Result_19 = { 'ok' : [string, string] } |
   { 'err' : string };
 export type Result_2 = { 'ok' : TransactionParty } |
   { 'err' : string };
@@ -355,6 +371,9 @@ export interface TransactionTimeline {
   'totalTimeToCompletion' : bigint,
   'totalTimeIncludingLR' : bigint,
 }
+export type Urgency = { 'blocking' : null } |
+  { 'soon' : null } |
+  { 'later' : null };
 export interface _SERVICE {
   'addParty' : ActorMethod<[string, string, string, string, boolean], Result_2>,
   'adminForceDeleteTransaction' : ActorMethod<[string], Result>,
@@ -406,30 +425,34 @@ export interface _SERVICE {
       bigint,
       string,
     ],
-    Result_18
+    Result_19
   >,
   'deleteTransaction' : ActorMethod<[string], Result>,
   'disconnectBot' : ActorMethod<[string, Principal], Result_1>,
   'doesTransactionExist' : ActorMethod<[string], boolean>,
   'getAllInviteCodes' : ActorMethod<[], Array<[string, string]>>,
   'getAllTransactions' : ActorMethod<[], Array<Transaction>>,
-  'getCurrentPhase' : ActorMethod<[string], Result_17>,
+  'getCurrentPhase' : ActorMethod<[string], Result_18>,
   'getCycles' : ActorMethod<[], bigint>,
   'getDocumentStorageCanister' : ActorMethod<[], [] | [Principal]>,
   'getExpiringSearches' : ActorMethod<[bigint], Array<Transaction>>,
   'getFlowState' : ActorMethod<[string], [] | [string]>,
   'getInviteCode' : ActorMethod<[string], Result>,
+  'getLandRegistryCanister' : ActorMethod<[], string>,
   'getLandRegistryDetail' : ActorMethod<
     [string],
     [] | [LandRegistryIntegration]
   >,
+  'getLedgerManagerCanister' : ActorMethod<[], string>,
   'getListingData' : ActorMethod<[string], [] | [string]>,
   'getMyNotifications' : ActorMethod<[], Array<Notification>>,
   'getMyTransactions' : ActorMethod<[], Array<Transaction>>,
+  'getNextStep' : ActorMethod<[string], Result_17>,
   'getOutstandingRequisitions' : ActorMethod<[], Array<[string, Requisition]>>,
   'getPartyProgress' : ActorMethod<[string], Result_16>,
   'getPendingLRApplications' : ActorMethod<[], Array<Transaction>>,
   'getPhaseMilestones' : ActorMethod<[string], Result_15>,
+  'getPropertyRegistryCanister' : ActorMethod<[], string>,
   'getSolicitorStatus' : ActorMethod<[string], Result_14>,
   'getTA10' : ActorMethod<[string], Result_13>,
   'getTA6' : ActorMethod<[string], Result_12>,
@@ -457,12 +480,60 @@ export interface _SERVICE {
     [string, string, string],
     Result
   >,
+  'joinAsBotByInviteCode' : ActorMethod<[string, string], Result_6>,
   'joinTransactionByInviteCode' : ActorMethod<[string], Result_6>,
+  'joinTransactionByInviteCodeAsBuyer' : ActorMethod<[string], Result_6>,
+  /**
+   * / Caller-initiated removal from a transaction they joined but didn't
+   * / create. Counterpart to `removeParty` (which is seller/admin-driven and
+   * / gated against primary parties) — this is the "I want out" path for a
+   * / joined buyer or any other access-list member.
+   * /
+   * / Gates:
+   * /   - Anonymous callers rejected outright.
+   * /   - Seller / createdBy cannot leave their own transaction (they
+   * /     dispose via deleteTransaction).
+   * /   - Caller must currently have access to the transaction.
+   * /   - Locked after contract exchange (same posture as assignBuyer):
+   * /     once the deal is signed nobody walks away by toggling a button.
+   * /
+   * / Effects:
+   * /   - Caller is removed from `accessList`.
+   * /   - If the caller is the assigned buyer (`txn.buyer == msg.caller`),
+   * /     the buyer slot is reset to the seller placeholder, matching the
+   * /     sentinel state that `assignBuyer` checks for. The transaction
+   * /     re-enters the "Awaiting buyer" state and the invite code is
+   * /     reusable by a new joiner.
+   * /   - Audit event `buyer_left` (or `party_left` for non-buyer leavers)
+   * /     is logged via the existing ledger pattern.
+   * /
+   * / Concurrency: uses the same acquireTxLock/finally releaseTxLock
+   * / posture as assignBuyer so a leave can't race against an in-flight
+   * / stage write.
+   */
+  'leaveTransaction' : ActorMethod<[string], Result>,
   'linkTransactionToChain' : ActorMethod<[string, string], Result_1>,
   'markAllNotificationsRead' : ActorMethod<[], bigint>,
   'markContractDrafted' : ActorMethod<[string], Result_1>,
   'markNotificationRead' : ActorMethod<[bigint], Result_1>,
   'markSearchesOrdered' : ActorMethod<[string], Result_1>,
+  /**
+   * / Heal developer-plot transactions whose `seller` doesn't match the
+   * / org's current developer principal. Two cases this addresses:
+   * /   1. Pre-migration txs (seller = buyer placeholder) created before the
+   * /      developer-on-chain work landed.
+   * /   2. Stale-pin txs where the org's pinned principal changed after the
+   * /      tx was created (e.g. admin password reset → new ICP key, or org
+   * /      ownership transferred to a different admin).
+   * /
+   * / Idempotent over the target: re-running with the same developerPrincipal
+   * / returns an error (already at target), so admin-driven backfill scripts
+   * / don't silently re-touch state. Always rejects:
+   * /   - non-development mode txs
+   * /   - developerPrincipal == buyer (would break Principal.equal checks)
+   * /   - anonymous principal
+   */
+  'migrateDevPlotSeller' : ActorMethod<[string, Principal], Result>,
   'onDocumentRegistered' : ActorMethod<
     [string, string, string, Principal],
     undefined
@@ -470,14 +541,33 @@ export interface _SERVICE {
   'on_blockchain_completion_success' : ActorMethod<[string], Result>,
   'pollAllPendingApplications' : ActorMethod<[], Result_5>,
   'pollApplicationStatus' : ActorMethod<[string], Result_4>,
+  /**
+   * / Closes #31 (TOCTOU): per-transaction lock blocks concurrent solicitors
+   * / from racing to record exchange while canModifyTransaction await is in flight.
+   */
   'recordContractExchange' : ActorMethod<[string, string, string], Result>,
+  'recordConveyancerSelected' : ActorMethod<
+    [string, string, string, bigint],
+    Result_1
+  >,
   'recordFormUpload' : ActorMethod<[string, string, string, string], Result_1>,
   /**
    * / Record a single party's signature on-chain.
    * / The canister identifies the caller as buyer or seller from the transaction principals.
    * / When both parties have signed, the status auto-advances to #exchanged.
+   * / Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+   * / (buyer + seller racing to sign) while canModifyTransaction await is in flight.
    */
   'recordPartySignature' : ActorMethod<[string, string, string], Result>,
+  'recordQuoteReceived' : ActorMethod<
+    [string, string, string, bigint],
+    Result_1
+  >,
+  'recordQuoteRequested' : ActorMethod<[string, string], Result_1>,
+  /**
+   * / Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+   * / while the isAdmin await is in flight.
+   */
   'recordRequisition' : ActorMethod<[string, Requisition], Result_1>,
   'removeParty' : ActorMethod<[string, Principal], Result_1>,
   'removeSolicitor' : ActorMethod<
@@ -485,6 +575,10 @@ export interface _SERVICE {
     Result_1
   >,
   'requestOfficialSearch' : ActorMethod<[string], Result_3>,
+  /**
+   * / Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+   * / while canModifyTransaction await is in flight.
+   */
   'respondToRequisition' : ActorMethod<
     [string, string, string, Array<string>],
     Result_1
@@ -492,7 +586,10 @@ export interface _SERVICE {
   'revokeBuyer' : ActorMethod<[string, Principal], Result>,
   'setDocumentStorageCanister' : ActorMethod<[Principal], Result>,
   'setFlowState' : ActorMethod<[string, string], Result>,
+  'setLandRegistryCanister' : ActorMethod<[string], Result>,
+  'setLedgerManagerCanister' : ActorMethod<[string], Result>,
   'setListingData' : ActorMethod<[string, string], Result>,
+  'setPropertyRegistryCanister' : ActorMethod<[string], Result>,
   'setUserManagementCanister' : ActorMethod<[string], Result>,
   'trigger_land_registry_submission' : ActorMethod<[string], Result>,
   'updatePartyAMLDoc' : ActorMethod<[string, Principal, string], Result_2>,
@@ -507,6 +604,7 @@ export interface _SERVICE {
   'updateTA10' : ActorMethod<[string, TA10FittingsAndContents], Result_1>,
   'updateTA6' : ActorMethod<[string, TA6PropertyInformation], Result_1>,
   'updateTA7' : ActorMethod<[string, TA7LeaseholdInformation], Result_1>,
+  'updateTitleNumber' : ActorMethod<[string, string], Result>,
   'updateTransactionStatus' : ActorMethod<[bigint, string], boolean>,
   'update_land_registry_status' : ActorMethod<
     [string, LandRegistryStatus, [] | [string], [] | [bigint]],

package/src/canisters/transaction_manager/transaction_manager.did.js

@@ -72,7 +72,7 @@ export const idlFactory = ({ IDL }) => {
     'regulatoryBody' : RegulatoryBody,
   });
   const Result_1 = IDL.Variant({ 'ok' : IDL.Null, 'err' : IDL.Text });
-  const Result_18 = IDL.Variant({
+  const Result_19 = IDL.Variant({
     'ok' : IDL.Tuple(IDL.Text, IDL.Text),
     'err' : IDL.Text,
   });
@@ -193,7 +193,7 @@ export const idlFactory = ({ IDL }) => {
     'preCompletion' : IDL.Null,
     'searches' : IDL.Null,
   });
-  const Result_17 = IDL.Variant({ 'ok' : Phase, 'err' : IDL.Text });
+  const Result_18 = IDL.Variant({ 'ok' : Phase, 'err' : IDL.Text });
   const Notification = IDL.Record({
     'id' : IDL.Nat,
     'documentHash' : IDL.Text,
@@ -205,6 +205,29 @@ export const idlFactory = ({ IDL }) => {
     'uploadedBy' : IDL.Principal,
     'transactionId' : IDL.Text,
   });
+  const Urgency = IDL.Variant({
+    'blocking' : IDL.Null,
+    'soon' : IDL.Null,
+    'later' : IDL.Null,
+  });
+  const NextStepOption = IDL.Record({
+    'action' : IDL.Text,
+    'displayLabel' : IDL.Text,
+    'estimatedDelayIfSkipped' : IDL.Opt(IDL.Nat),
+    'whyThis' : IDL.Text,
+  });
+  const NextStepRecommendation = IDL.Record({
+    'why' : IDL.Text,
+    'urgency' : Urgency,
+    'blocker' : IDL.Text,
+    'blockerLabel' : IDL.Text,
+    'options' : IDL.Vec(NextStepOption),
+    'partial' : IDL.Bool,
+  });
+  const Result_17 = IDL.Variant({
+    'ok' : NextStepRecommendation,
+    'err' : IDL.Text,
+  });
   const PartyProgress = IDL.Record({
     'completedParties' : IDL.Nat,
     'overallProgress' : IDL.Nat,
@@ -461,7 +484,7 @@ export const idlFactory = ({ IDL }) => {
           IDL.Nat64,
           IDL.Text,
         ],
-        [Result_18],
+        [Result_19],
         [],
       ),
     'deleteTransaction' : IDL.Func([IDL.Text], [Result], []),
@@ -473,7 +496,7 @@ export const idlFactory = ({ IDL }) => {
         ['query'],
       ),
     'getAllTransactions' : IDL.Func([], [IDL.Vec(Transaction)], ['query']),
-    'getCurrentPhase' : IDL.Func([IDL.Text], [Result_17], ['query']),
+    'getCurrentPhase' : IDL.Func([IDL.Text], [Result_18], ['query']),
     'getCycles' : IDL.Func([], [IDL.Nat], ['query']),
     'getDocumentStorageCanister' : IDL.Func(
         [],
@@ -487,14 +510,17 @@ export const idlFactory = ({ IDL }) => {
       ),
     'getFlowState' : IDL.Func([IDL.Text], [IDL.Opt(IDL.Text)], ['query']),
     'getInviteCode' : IDL.Func([IDL.Text], [Result], ['query']),
+    'getLandRegistryCanister' : IDL.Func([], [IDL.Text], ['query']),
     'getLandRegistryDetail' : IDL.Func(
         [IDL.Text],
         [IDL.Opt(LandRegistryIntegration)],
         ['query'],
       ),
+    'getLedgerManagerCanister' : IDL.Func([], [IDL.Text], ['query']),
     'getListingData' : IDL.Func([IDL.Text], [IDL.Opt(IDL.Text)], ['query']),
     'getMyNotifications' : IDL.Func([], [IDL.Vec(Notification)], ['query']),
     'getMyTransactions' : IDL.Func([], [IDL.Vec(Transaction)], ['query']),
+    'getNextStep' : IDL.Func([IDL.Text], [Result_17], ['composite_query']),
     'getOutstandingRequisitions' : IDL.Func(
         [],
         [IDL.Vec(IDL.Tuple(IDL.Text, Requisition))],
@@ -507,6 +533,7 @@ export const idlFactory = ({ IDL }) => {
         ['query'],
       ),
     'getPhaseMilestones' : IDL.Func([IDL.Text], [Result_15], ['query']),
+    'getPropertyRegistryCanister' : IDL.Func([], [IDL.Text], ['query']),
     'getSolicitorStatus' : IDL.Func([IDL.Text], [Result_14], ['query']),
     'getTA10' : IDL.Func([IDL.Text], [Result_13], ['query']),
     'getTA6' : IDL.Func([IDL.Text], [Result_12], ['query']),
@@ -553,12 +580,16 @@ export const idlFactory = ({ IDL }) => {
         [Result],
         [],
       ),
+    'joinAsBotByInviteCode' : IDL.Func([IDL.Text, IDL.Text], [Result_6], []),
     'joinTransactionByInviteCode' : IDL.Func([IDL.Text], [Result_6], []),
+    'joinTransactionByInviteCodeAsBuyer' : IDL.Func([IDL.Text], [Result_6], []),
+    'leaveTransaction' : IDL.Func([IDL.Text], [Result], []),
     'linkTransactionToChain' : IDL.Func([IDL.Text, IDL.Text], [Result_1], []),
     'markAllNotificationsRead' : IDL.Func([], [IDL.Nat], []),
     'markContractDrafted' : IDL.Func([IDL.Text], [Result_1], []),
     'markNotificationRead' : IDL.Func([IDL.Nat], [Result_1], []),
     'markSearchesOrdered' : IDL.Func([IDL.Text], [Result_1], []),
+    'migrateDevPlotSeller' : IDL.Func([IDL.Text, IDL.Principal], [Result], []),
     'onDocumentRegistered' : IDL.Func(
         [IDL.Text, IDL.Text, IDL.Text, IDL.Principal],
         [],
@@ -572,6 +603,11 @@ export const idlFactory = ({ IDL }) => {
         [Result],
         [],
       ),
+    'recordConveyancerSelected' : IDL.Func(
+        [IDL.Text, IDL.Text, IDL.Text, IDL.Nat],
+        [Result_1],
+        [],
+      ),
     'recordFormUpload' : IDL.Func(
         [IDL.Text, IDL.Text, IDL.Text, IDL.Text],
         [Result_1],
@@ -582,6 +618,12 @@ export const idlFactory = ({ IDL }) => {
         [Result],
         [],
       ),
+    'recordQuoteReceived' : IDL.Func(
+        [IDL.Text, IDL.Text, IDL.Text, IDL.Nat],
+        [Result_1],
+        [],
+      ),
+    'recordQuoteRequested' : IDL.Func([IDL.Text, IDL.Text], [Result_1], []),
     'recordRequisition' : IDL.Func([IDL.Text, Requisition], [Result_1], []),
     'removeParty' : IDL.Func([IDL.Text, IDL.Principal], [Result_1], []),
     'removeSolicitor' : IDL.Func(
@@ -598,7 +640,10 @@ export const idlFactory = ({ IDL }) => {
     'revokeBuyer' : IDL.Func([IDL.Text, IDL.Principal], [Result], []),
     'setDocumentStorageCanister' : IDL.Func([IDL.Principal], [Result], []),
     'setFlowState' : IDL.Func([IDL.Text, IDL.Text], [Result], []),
+    'setLandRegistryCanister' : IDL.Func([IDL.Text], [Result], []),
+    'setLedgerManagerCanister' : IDL.Func([IDL.Text], [Result], []),
     'setListingData' : IDL.Func([IDL.Text, IDL.Text], [Result], []),
+    'setPropertyRegistryCanister' : IDL.Func([IDL.Text], [Result], []),
     'setUserManagementCanister' : IDL.Func([IDL.Text], [Result], []),
     'trigger_land_registry_submission' : IDL.Func([IDL.Text], [Result], []),
     'updatePartyAMLDoc' : IDL.Func(
@@ -627,6 +672,7 @@ export const idlFactory = ({ IDL }) => {
       ),
     'updateTA6' : IDL.Func([IDL.Text, TA6PropertyInformation], [Result_1], []),
     'updateTA7' : IDL.Func([IDL.Text, TA7LeaseholdInformation], [Result_1], []),
+    'updateTitleNumber' : IDL.Func([IDL.Text, IDL.Text], [Result], []),
     'updateTransactionStatus' : IDL.Func([IDL.Nat, IDL.Text], [IDL.Bool], []),
     'update_land_registry_status' : IDL.Func(
         [IDL.Text, LandRegistryStatus, IDL.Opt(IDL.Text), IDL.Opt(IDL.Int)],