@propxchain/core-client 0.2.1-canary.20 → 0.2.1-canary.21

package/src/canisters/ledger_manager/ledger_manager.did.js

@@ -1,187 +1,256 @@
-export const idlFactory = ({ IDL }) => {
-  const TransactionRole = IDL.Variant({
-    'agent' : IDL.Null,
-    'solicitor' : IDL.Null,
-    'seller' : IDL.Null,
-    'buyer' : IDL.Null,
-  });
-  const Counterparty = IDL.Record({
-    'accountID' : IDL.Text,
-    'name' : IDL.Text,
-  });
-  const TeamMemberRole = IDL.Variant({
-    'manager' : IDL.Null,
-    'admin' : IDL.Null,
-    'viewer' : IDL.Null,
-  });
-  const TeamPermissions = IDL.Record({
-    'canSign' : IDL.Bool,
-    'canInitiate' : IDL.Bool,
-    'canViewAnalytics' : IDL.Bool,
-    'canManageTeam' : IDL.Bool,
-  });
-  const AccountType = IDL.Variant({
-    'company' : IDL.Null,
-    'individual' : IDL.Null,
-  });
-  const BlockchainEfficiencyMetrics = IDL.Record({
-    'avgBlockchainCompletionDays' : IDL.Nat,
-    'totalCostSaved' : IDL.Nat,
-    'avgTraditionalCompletionDays' : IDL.Nat,
-    'timeReductionPercent' : IDL.Nat,
-    'avgTraditionalCost' : IDL.Nat,
-    'avgBlockchainCost' : IDL.Nat,
-    'transactionsCompleted' : IDL.Nat,
-    'costReductionPercent' : IDL.Nat,
-    'totalTimeSavedDays' : IDL.Nat,
-  });
-  const CompanyLedger = IDL.Record({
-    'companyAccountID' : IDL.Text,
-    'avgCompletionTime' : IDL.Nat,
-    'costSavings' : IDL.Nat,
-    'completedThisMonth' : IDL.Nat,
-    'activeTransactions' : IDL.Nat,
-    'teamMemberCount' : IDL.Nat,
-    'totalTransactions' : IDL.Nat,
-  });
-  const Time = IDL.Int;
-  const CompanyTeamMember = IDL.Record({
-    'memberID' : IDL.Text,
-    'permissions' : TeamPermissions,
-    'accountID' : IDL.Text,
-    'joinDate' : Time,
-    'name' : IDL.Text,
-    'role' : TeamMemberRole,
-    'email' : IDL.Text,
-  });
-  const Analytics = IDL.Record({
-    'transactionVolume' : IDL.Nat,
-    'avgCompletionTime' : IDL.Nat,
-    'period' : IDL.Text,
-    'totalCostSavings' : IDL.Nat,
-    'completedTransactions' : IDL.Nat,
-    'totalTransactions' : IDL.Nat,
-  });
-  const UserAccount = IDL.Record({
-    'taxID' : IDL.Opt(IDL.Text),
-    'accountID' : IDL.Text,
-    'name' : IDL.Text,
-    'isActive' : IDL.Bool,
-    'email' : IDL.Text,
-    'accountType' : AccountType,
-    'companyName' : IDL.Opt(IDL.Text),
-    'registrationDate' : Time,
-  });
-  const TransactionStatus = IDL.Variant({
-    'active' : IDL.Null,
-    'pending' : IDL.Null,
-    'completed' : IDL.Null,
-    'failed' : IDL.Null,
-  });
-  const VerificationStatus = IDL.Variant({
-    'verified' : IDL.Null,
-    'pending' : IDL.Null,
-    'failed' : IDL.Null,
-  });
-  const DocumentVerification = IDL.Record({
-    'mortgageApproval' : VerificationStatus,
-    'propertyDeed' : VerificationStatus,
-    'landRegistryConfirm' : VerificationStatus,
-    'surveyReport' : VerificationStatus,
-  });
-  const UserLedgerEntry = IDL.Record({
-    'completedDate' : IDL.Opt(Time),
-    'initiatedDate' : Time,
-    'status' : TransactionStatus,
-    'accountID' : IDL.Text,
-    'documentStatus' : DocumentVerification,
-    'costsSaved' : IDL.Nat,
-    'propertyAddress' : IDL.Text,
-    'entryID' : IDL.Text,
-    'propertyValue' : IDL.Nat,
-    'roleInTransaction' : TransactionRole,
-    'counterparties' : IDL.Vec(Counterparty),
-    'transactionID' : IDL.Text,
-  });
-  const Result = IDL.Variant({ 'ok' : IDL.Text, 'err' : IDL.Text });
-  const Result_1 = IDL.Variant({ 'ok' : IDL.Nat, 'err' : IDL.Text });
-  return IDL.Service({
-    'addTransactionToLedger' : IDL.Func(
-        [
-          IDL.Text,
-          IDL.Text,
-          TransactionRole,
-          IDL.Text,
-          IDL.Nat,
-          IDL.Vec(Counterparty),
-        ],
-        [IDL.Bool],
-        [],
-      ),
-    'createCompanyTeamMember' : IDL.Func(
-        [IDL.Text, IDL.Text, IDL.Text, TeamMemberRole, TeamPermissions],
-        [IDL.Text],
-        [],
-      ),
-    'createUserAccount' : IDL.Func(
-        [IDL.Text, IDL.Text, AccountType, IDL.Opt(IDL.Text), IDL.Opt(IDL.Text)],
-        [IDL.Text],
-        [],
-      ),
-    'getBlockchainEfficiencyMetrics' : IDL.Func(
-        [IDL.Text],
-        [BlockchainEfficiencyMetrics],
-        ['query'],
-      ),
-    'getCompanyLedger' : IDL.Func([IDL.Text], [CompanyLedger], ['query']),
-    'getCompanyTeamMembers' : IDL.Func(
-        [IDL.Text],
-        [IDL.Vec(CompanyTeamMember)],
-        ['query'],
-      ),
-    'getCycles' : IDL.Func([], [IDL.Nat], ['query']),
-    'getGlobalBlockchainStats' : IDL.Func(
-        [],
-        [BlockchainEfficiencyMetrics],
-        ['query'],
-      ),
-    'getLedgerAnalytics' : IDL.Func(
-        [IDL.Text, IDL.Text],
-        [Analytics],
-        ['query'],
-      ),
-    'getMyAccount' : IDL.Func([], [IDL.Opt(UserAccount)], ['query']),
-    'getMyLedger' : IDL.Func([], [IDL.Vec(UserLedgerEntry)], ['query']),
-    'getUserAccount' : IDL.Func([IDL.Text], [IDL.Opt(UserAccount)], ['query']),
-    'getUserLedger' : IDL.Func(
-        [IDL.Text],
-        [IDL.Vec(UserLedgerEntry)],
-        ['query'],
-      ),
-    'logEvent' : IDL.Func(
-        [IDL.Text, IDL.Text, IDL.Text, IDL.Opt(IDL.Text)],
-        [Result_1],
-        [],
-      ),
-    'setDocumentVerificationCanister' : IDL.Func([IDL.Principal], [], []),
-    'setPropertyRegistryCanister' : IDL.Func([IDL.Principal], [], []),
-    'setTransactionManagerCanister' : IDL.Func([IDL.Principal], [], []),
-    'setUserManagementCanister' : IDL.Func([IDL.Principal], [], []),
-    'syncTransactionToLedger' : IDL.Func(
-        [IDL.Nat, IDL.Principal],
-        [Result],
-        [],
-      ),
-    'updateTeamMemberPermissions' : IDL.Func(
-        [IDL.Text, IDL.Text, TeamPermissions],
-        [IDL.Bool],
-        [],
-      ),
-    'updateTransactionStatus' : IDL.Func(
-        [IDL.Text, IDL.Text, TransactionStatus],
-        [IDL.Bool],
-        [],
-      ),
-  });
-};
-export const init = ({ IDL }) => { return []; };
+export const idlFactory = ({ IDL }) => {
+  const TransactionRole = IDL.Variant({
+    'agent' : IDL.Null,
+    'solicitor' : IDL.Null,
+    'seller' : IDL.Null,
+    'buyer' : IDL.Null,
+  });
+  const Counterparty = IDL.Record({
+    'accountID' : IDL.Text,
+    'name' : IDL.Text,
+  });
+  const TeamMemberRole = IDL.Variant({
+    'manager' : IDL.Null,
+    'admin' : IDL.Null,
+    'viewer' : IDL.Null,
+  });
+  const TeamPermissions = IDL.Record({
+    'canSign' : IDL.Bool,
+    'canInitiate' : IDL.Bool,
+    'canViewAnalytics' : IDL.Bool,
+    'canManageTeam' : IDL.Bool,
+  });
+  const AccountType = IDL.Variant({
+    'company' : IDL.Null,
+    'individual' : IDL.Null,
+  });
+  const AuditEvent = IDL.Record({
+    'eventId' : IDL.Nat,
+    'metadata' : IDL.Opt(IDL.Text),
+    'timestamp' : IDL.Int,
+    'details' : IDL.Text,
+    'caller' : IDL.Principal,
+    'transactionId' : IDL.Text,
+    'eventType' : IDL.Text,
+  });
+  const BlockchainEfficiencyMetrics = IDL.Record({
+    'avgBlockchainCompletionDays' : IDL.Nat,
+    'totalCostSaved' : IDL.Nat,
+    'avgTraditionalCompletionDays' : IDL.Nat,
+    'timeReductionPercent' : IDL.Nat,
+    'avgTraditionalCost' : IDL.Nat,
+    'avgBlockchainCost' : IDL.Nat,
+    'transactionsCompleted' : IDL.Nat,
+    'costReductionPercent' : IDL.Nat,
+    'totalTimeSavedDays' : IDL.Nat,
+  });
+  const BudgetStatus = IDL.Record({
+    'dailyRemaining' : IDL.Nat,
+    'isOverDailyBudget' : IDL.Bool,
+    'monthlyLimit' : IDL.Nat,
+    'monthlySpent' : IDL.Nat,
+    'dailyLimit' : IDL.Nat,
+    'dailySpent' : IDL.Nat,
+    'isOverMonthlyBudget' : IDL.Bool,
+    'monthlyRemaining' : IDL.Nat,
+  });
+  const CompanyLedger = IDL.Record({
+    'companyAccountID' : IDL.Text,
+    'avgCompletionTime' : IDL.Nat,
+    'costSavings' : IDL.Nat,
+    'completedThisMonth' : IDL.Nat,
+    'activeTransactions' : IDL.Nat,
+    'teamMemberCount' : IDL.Nat,
+    'totalTransactions' : IDL.Nat,
+  });
+  const Time = IDL.Int;
+  const CompanyTeamMember = IDL.Record({
+    'memberID' : IDL.Text,
+    'permissions' : TeamPermissions,
+    'accountID' : IDL.Text,
+    'joinDate' : Time,
+    'name' : IDL.Text,
+    'role' : TeamMemberRole,
+    'email' : IDL.Text,
+  });
+  const LRCostReport = IDL.Record({
+    'entryCount' : IDL.Nat,
+    'byEndpoint' : IDL.Vec(IDL.Tuple(IDL.Text, IDL.Nat)),
+    'avgCostPerTransaction' : IDL.Nat,
+    'totalGBP' : IDL.Text,
+    'totalPence' : IDL.Nat,
+  });
+  const LandRegistryCostEntry = IDL.Record({
+    'id' : IDL.Nat,
+    'titleNumber' : IDL.Text,
+    'invoiceReference' : IDL.Opt(IDL.Text),
+    'description' : IDL.Text,
+    'calledAt' : IDL.Int,
+    'calledBy' : IDL.Principal,
+    'apiEndpoint' : IDL.Text,
+    'costPence' : IDL.Nat,
+    'transactionId' : IDL.Text,
+  });
+  const Analytics = IDL.Record({
+    'transactionVolume' : IDL.Nat,
+    'avgCompletionTime' : IDL.Nat,
+    'period' : IDL.Text,
+    'totalCostSavings' : IDL.Nat,
+    'completedTransactions' : IDL.Nat,
+    'totalTransactions' : IDL.Nat,
+  });
+  const UserAccount = IDL.Record({
+    'taxID' : IDL.Opt(IDL.Text),
+    'accountID' : IDL.Text,
+    'name' : IDL.Text,
+    'isActive' : IDL.Bool,
+    'email' : IDL.Text,
+    'accountType' : AccountType,
+    'companyName' : IDL.Opt(IDL.Text),
+    'registrationDate' : Time,
+  });
+  const TransactionStatus = IDL.Variant({
+    'active' : IDL.Null,
+    'pending' : IDL.Null,
+    'completed' : IDL.Null,
+    'failed' : IDL.Null,
+  });
+  const VerificationStatus = IDL.Variant({
+    'verified' : IDL.Null,
+    'pending' : IDL.Null,
+    'failed' : IDL.Null,
+  });
+  const DocumentVerification = IDL.Record({
+    'mortgageApproval' : VerificationStatus,
+    'propertyDeed' : VerificationStatus,
+    'landRegistryConfirm' : VerificationStatus,
+    'surveyReport' : VerificationStatus,
+  });
+  const UserLedgerEntry = IDL.Record({
+    'completedDate' : IDL.Opt(Time),
+    'initiatedDate' : Time,
+    'status' : TransactionStatus,
+    'accountID' : IDL.Text,
+    'documentStatus' : DocumentVerification,
+    'costsSaved' : IDL.Nat,
+    'propertyAddress' : IDL.Text,
+    'entryID' : IDL.Text,
+    'propertyValue' : IDL.Nat,
+    'roleInTransaction' : TransactionRole,
+    'counterparties' : IDL.Vec(Counterparty),
+    'transactionID' : IDL.Text,
+  });
+  const Result_2 = IDL.Variant({ 'ok' : IDL.Nat, 'err' : IDL.Text });
+  const Result_1 = IDL.Variant({ 'ok' : IDL.Null, 'err' : IDL.Text });
+  const Result = IDL.Variant({ 'ok' : IDL.Text, 'err' : IDL.Text });
+  return IDL.Service({
+    'addTransactionToLedger' : IDL.Func(
+        [
+          IDL.Text,
+          IDL.Text,
+          TransactionRole,
+          IDL.Text,
+          IDL.Nat,
+          IDL.Vec(Counterparty),
+        ],
+        [IDL.Bool],
+        [],
+      ),
+    'canAffordAPICall' : IDL.Func([IDL.Nat], [IDL.Bool], ['query']),
+    'clearFailedAuditEvents' : IDL.Func([], [], []),
+    'createCompanyTeamMember' : IDL.Func(
+        [IDL.Text, IDL.Text, IDL.Text, TeamMemberRole, TeamPermissions],
+        [IDL.Text],
+        [],
+      ),
+    'createUserAccount' : IDL.Func(
+        [IDL.Text, IDL.Text, AccountType, IDL.Opt(IDL.Text), IDL.Opt(IDL.Text)],
+        [IDL.Text],
+        [],
+      ),
+    'getAllAuditEvents' : IDL.Func([], [IDL.Vec(AuditEvent)], ['query']),
+    'getBlockchainEfficiencyMetrics' : IDL.Func(
+        [IDL.Text],
+        [BlockchainEfficiencyMetrics],
+        ['query'],
+      ),
+    'getBudgetStatus' : IDL.Func([], [BudgetStatus], ['query']),
+    'getCompanyLedger' : IDL.Func([IDL.Text], [CompanyLedger], ['query']),
+    'getCompanyTeamMembers' : IDL.Func(
+        [IDL.Text],
+        [IDL.Vec(CompanyTeamMember)],
+        ['query'],
+      ),
+    'getCycles' : IDL.Func([], [IDL.Nat], ['query']),
+    'getDailyLRSpend' : IDL.Func([], [IDL.Nat], ['query']),
+    'getEventsByTransaction' : IDL.Func(
+        [IDL.Text],
+        [IDL.Vec(AuditEvent)],
+        ['query'],
+      ),
+    'getFailedAuditEvents' : IDL.Func([], [IDL.Vec(AuditEvent)], ['query']),
+    'getGlobalBlockchainStats' : IDL.Func(
+        [],
+        [BlockchainEfficiencyMetrics],
+        ['query'],
+      ),
+    'getLRCostReport' : IDL.Func([IDL.Int, IDL.Int], [LRCostReport], ['query']),
+    'getLRCostsForTransaction' : IDL.Func(
+        [IDL.Text],
+        [IDL.Vec(LandRegistryCostEntry)],
+        ['query'],
+      ),
+    'getLRSpendByEndpoint' : IDL.Func(
+        [IDL.Int, IDL.Int],
+        [IDL.Vec(IDL.Tuple(IDL.Text, IDL.Nat))],
+        ['query'],
+      ),
+    'getLedgerAnalytics' : IDL.Func(
+        [IDL.Text, IDL.Text],
+        [Analytics],
+        ['query'],
+      ),
+    'getMonthlyLRSpend' : IDL.Func([], [IDL.Nat], ['query']),
+    'getMyAccount' : IDL.Func([], [IDL.Opt(UserAccount)], ['query']),
+    'getMyLedger' : IDL.Func([], [IDL.Vec(UserLedgerEntry)], ['query']),
+    'getUserAccount' : IDL.Func([IDL.Text], [IDL.Opt(UserAccount)], ['query']),
+    'getUserLedger' : IDL.Func(
+        [IDL.Text],
+        [IDL.Vec(UserLedgerEntry)],
+        ['query'],
+      ),
+    'logEvent' : IDL.Func(
+        [IDL.Text, IDL.Text, IDL.Text, IDL.Opt(IDL.Text)],
+        [Result_2],
+        [],
+      ),
+    'recordLandRegistryCost' : IDL.Func(
+        [IDL.Text, IDL.Text, IDL.Nat, IDL.Text, IDL.Text, IDL.Opt(IDL.Text)],
+        [Result_2],
+        [],
+      ),
+    'setDailyBudget' : IDL.Func([IDL.Nat], [Result_1], []),
+    'setDocumentStorageCanister' : IDL.Func([IDL.Principal], [], []),
+    'setDocumentVerificationCanister' : IDL.Func([IDL.Principal], [], []),
+    'setMonthlyBudget' : IDL.Func([IDL.Nat], [Result_1], []),
+    'setPropertyRegistryCanister' : IDL.Func([IDL.Principal], [], []),
+    'setTransactionManagerCanister' : IDL.Func([IDL.Principal], [], []),
+    'setUserManagementCanister' : IDL.Func([IDL.Principal], [], []),
+    'syncTransactionToLedger' : IDL.Func(
+        [IDL.Nat, IDL.Principal],
+        [Result],
+        [],
+      ),
+    'updateTeamMemberPermissions' : IDL.Func(
+        [IDL.Text, IDL.Text, TeamPermissions],
+        [IDL.Bool],
+        [],
+      ),
+    'updateTransactionStatus' : IDL.Func(
+        [IDL.Text, IDL.Text, TransactionStatus],
+        [IDL.Bool],
+        [],
+      ),
+  });
+};
+export const init = ({ IDL }) => { return []; };

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

@@ -1,71 +1,71 @@
-import type { Principal } from '@icp-sdk/core/principal';
-import type { ActorMethod } from '@icp-sdk/core/agent';
-import type { IDL } from '@icp-sdk/core/candid';
-
-export interface ChainPropertyView {
-  'status' : PropertyStatus,
-  'progressPercentage' : bigint,
-  'role' : string,
-  'documentsComplete' : boolean,
-  'financingComplete' : boolean,
-  'searchesComplete' : boolean,
-  'anonymousId' : string,
-}
-export interface Property {
-  'id' : bigint,
-  'anonymousPropertyId' : string,
-  'status' : PropertyStatus,
-  'propertyType' : string,
-  'owner' : Principal,
-  'createdAt' : Time,
-  'size' : bigint,
-  'documentsComplete' : boolean,
-  'description' : string,
-  'isVerified' : boolean,
-  'linkedProperties' : Array<string>,
-  'address' : string,
-  'chainPosition' : [] | [bigint],
-  'financingComplete' : boolean,
-  'price' : bigint,
-  'searchesComplete' : boolean,
-  'transactionId' : [] | [string],
-}
-export type PropertyStatus = { 'Listed' : null } |
-  { 'InTransaction' : null } |
-  { 'Cancelled' : null } |
-  { 'Completed' : null };
-export type Result = { 'ok' : null } |
-  { 'err' : string };
-export type Result_1 = { 'ok' : ChainPropertyView } |
-  { 'err' : string };
-export type Result_2 = { 'ok' : string } |
-  { 'err' : string };
-export type Result_3 = { 'ok' : Array<string> } |
-  { 'err' : string };
-export type Time = bigint;
-export interface _SERVICE {
-  'buildPropertyChain' : ActorMethod<[string], Result_3>,
-  'canViewFullPropertyDetails' : ActorMethod<[string, Principal], boolean>,
-  'generateAnonymousPropertyId' : ActorMethod<[string], Result_2>,
-  'getAllProperties' : ActorMethod<[], Array<Property>>,
-  'getCycles' : ActorMethod<[], bigint>,
-  'getProperty' : ActorMethod<[bigint], [] | [Property]>,
-  'getPropertyForChainView' : ActorMethod<[string, Principal], Result_1>,
-  'registerProperty' : ActorMethod<
-    [string, bigint, bigint, string, string],
-    bigint
-  >,
-  'transferOwnership' : ActorMethod<[bigint, Principal], boolean>,
-  'updatePropertyProgress' : ActorMethod<
-    [bigint, boolean, boolean, boolean],
-    Result
-  >,
-  'updatePropertyStatus' : ActorMethod<[bigint, PropertyStatus], Result>,
-  'updatePropertyTransaction' : ActorMethod<
-    [bigint, [] | [string], [] | [bigint], Array<string>],
-    Result
-  >,
-  'verifyProperty' : ActorMethod<[bigint], boolean>,
-}
-export declare const idlFactory: IDL.InterfaceFactory;
-export declare const init: (args: { IDL: typeof IDL }) => IDL.Type[];
+import type { Principal } from '@dfinity/principal';
+import type { ActorMethod } from '@dfinity/agent';
+import type { IDL } from '@dfinity/candid';
+
+export interface ChainPropertyView {
+  'status' : PropertyStatus,
+  'progressPercentage' : bigint,
+  'role' : string,
+  'documentsComplete' : boolean,
+  'financingComplete' : boolean,
+  'searchesComplete' : boolean,
+  'anonymousId' : string,
+}
+export interface Property {
+  'id' : bigint,
+  'anonymousPropertyId' : string,
+  'status' : PropertyStatus,
+  'propertyType' : string,
+  'owner' : Principal,
+  'createdAt' : Time,
+  'size' : bigint,
+  'documentsComplete' : boolean,
+  'description' : string,
+  'isVerified' : boolean,
+  'linkedProperties' : Array<string>,
+  'address' : string,
+  'chainPosition' : [] | [bigint],
+  'financingComplete' : boolean,
+  'price' : bigint,
+  'searchesComplete' : boolean,
+  'transactionId' : [] | [string],
+}
+export type PropertyStatus = { 'Listed' : null } |
+  { 'InTransaction' : null } |
+  { 'Cancelled' : null } |
+  { 'Completed' : null };
+export type Result = { 'ok' : null } |
+  { 'err' : string };
+export type Result_1 = { 'ok' : ChainPropertyView } |
+  { 'err' : string };
+export type Result_2 = { 'ok' : string } |
+  { 'err' : string };
+export type Result_3 = { 'ok' : Array<string> } |
+  { 'err' : string };
+export type Time = bigint;
+export interface _SERVICE {
+  'buildPropertyChain' : ActorMethod<[string], Result_3>,
+  'canViewFullPropertyDetails' : ActorMethod<[string, Principal], boolean>,
+  'generateAnonymousPropertyId' : ActorMethod<[string], Result_2>,
+  'getAllProperties' : ActorMethod<[], Array<Property>>,
+  'getCycles' : ActorMethod<[], bigint>,
+  'getProperty' : ActorMethod<[bigint], [] | [Property]>,
+  'getPropertyForChainView' : ActorMethod<[string, Principal], Result_1>,
+  'registerProperty' : ActorMethod<
+    [string, bigint, bigint, string, string],
+    bigint
+  >,
+  'transferOwnership' : ActorMethod<[bigint, Principal], boolean>,
+  'updatePropertyProgress' : ActorMethod<
+    [bigint, boolean, boolean, boolean],
+    Result
+  >,
+  'updatePropertyStatus' : ActorMethod<[bigint, PropertyStatus], Result>,
+  'updatePropertyTransaction' : ActorMethod<
+    [bigint, [] | [string], [] | [bigint], Array<string>],
+    Result
+  >,
+  'verifyProperty' : ActorMethod<[bigint], boolean>,
+}
+export declare const idlFactory: IDL.InterfaceFactory;
+export declare const init: (args: { IDL: typeof IDL }) => IDL.Type[];

package/src/canisters/transaction_manager/transaction_manager.did

@@ -576,6 +576,32 @@ service : {
   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);
@@ -590,6 +616,7 @@ service : {
   ///   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: