@propxchain/core-client 0.3.0-canary.35 → 0.3.0-canary.36

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

@@ -1,7 +1,912 @@
-export function idlFactory({ IDL }: {
-    IDL: any;
-}): any;
-export function init({ IDL }: {
-    IDL: any;
-}): never[];
-//# sourceMappingURL=transaction_manager.did.d.ts.map
+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 type AMLStatus = { 'verified' : null } |
+  { 'pending' : null } |
+  { 'rejected' : null } |
+  { 'not_started' : null };
+export interface AlterationTypes {
+  'conservatory' : boolean,
+  'otherDetails' : [] | [string],
+  'other' : boolean,
+  'changeOfUse' : boolean,
+  'structuralRoofWorks' : boolean,
+  'windowsPost2002' : boolean,
+  'internalWallsRemoved' : boolean,
+  'loftConversion' : boolean,
+  'garageConversion' : boolean,
+  'extension' : boolean,
+}
+export interface Anomaly {
+  'ref' : string,
+  'explanation' : string,
+  'detectedAt' : bigint,
+  'sources' : Array<string>,
+  'severity' : Severity,
+}
+export interface ApplicationStatusUpdate {
+  'lastUpdated' : string,
+  'applicationReference' : string,
+  'estimatedCompletionDate' : [] | [string],
+  'statusChanged' : boolean,
+  'currentStatus' : LandRegistryStatus,
+  'previousStatus' : LandRegistryStatus,
+}
+export interface Arrangement {
+  'description' : string,
+  'document' : TA6Document,
+  'contributionAmount' : [] | [bigint],
+}
+export interface BotConnection {
+  'principal' : Principal,
+  'name' : string,
+  'addedAt' : bigint,
+  'addedBy' : Principal,
+}
+export interface BoundaryFeature {
+  'ownership' : BoundaryOwnership,
+  'position' : string,
+}
+export type BoundaryOwnership = { 'NotKnown' : null } |
+  { 'Shared' : null } |
+  { 'OwnedBySeller' : null } |
+  { 'OwnedByNeighbour' : null };
+export interface CompanySeller {
+  'countryOfIncorporation' : string,
+  'director' : string,
+  'companyNumber' : string,
+  'companyName' : string,
+}
+export interface CompletionCommitments {
+  'removeSellersItems' : TA6Answer,
+  'vacantPossession' : TA6Answer,
+  'leaveServiceInfo' : TA6Answer,
+}
+export type DischargeType = { 'GroundWater' : null } |
+  { 'SurfaceWater' : null };
+export interface HeatingSystem {
+  'certificate' : TA6Document,
+  'otherDetails' : [] | [string],
+  'installDate' : [] | [string],
+  'heatingType' : HeatingType,
+  'lastServiceDate' : [] | [string],
+}
+export type HeatingType = { 'Lpg' : null } |
+  { 'Oil' : null } |
+  { 'SolarThermal' : null } |
+  { 'SolidFuel' : null } |
+  { 'DistrictHeating' : null } |
+  { 'Electric' : null } |
+  { 'HeatPumpAir' : null } |
+  { 'Other' : null } |
+  { 'GasCentral' : null } |
+  { 'HeatPumpGround' : null };
+export interface HmlrFetchRecord {
+  'fetchedAt' : bigint,
+  'fetchedBy' : Principal,
+  'titleNumber' : string,
+  'responseHash' : string,
+}
+export type Jurisdiction = { 'Wales' : null } |
+  { 'England' : null };
+export interface LandRegistryIntegration {
+  'status' : LandRegistryStatus,
+  'lastPolledAt' : [] | [bigint],
+  'advisoryEntries' : Array<string>,
+  'officialSearchCost' : bigint,
+  'officialSearchRequestedAt' : [] | [bigint],
+  'registerChangedSinceSearch' : [] | [boolean],
+  'officialSearchCompletedAt' : [] | [bigint],
+  'registrationNotes' : Array<string>,
+  'lastUpdated' : bigint,
+  'estimatedLRCompletionTime' : [] | [bigint],
+  'applicationReference' : [] | [string],
+  'officialSearchPriorityExpiry' : [] | [bigint],
+  'officialSearchCertificateRef' : [] | [string],
+  'preValidationErrors' : Array<string>,
+  'applicationFee' : bigint,
+  'caseworkerAssigned' : [] | [boolean],
+  'lrPayloadID' : [] | [string],
+  'requisitions' : Array<Requisition>,
+  'submissionResponseCode' : [] | [bigint],
+  'submittedToLRAt' : [] | [bigint],
+  'pollCount' : bigint,
+  'estimatedCompletionDate' : [] | [string],
+  'registeredAt' : [] | [bigint],
+  'newTitleNumber' : [] | [string],
+  'totalLRCosts' : bigint,
+  'landRegistryConfirmationNumber' : [] | [string],
+}
+export type LandRegistryStatus = { 'cancelled' : null } |
+  { 'submitted' : null } |
+  { 'completed_with_notes' : null } |
+  { 'under_examination' : null } |
+  { 'requisition_raised' : null } |
+  { 'pending_official_search' : null } |
+  { 'not_initiated' : null } |
+  { 'pending_submission' : null } |
+  { 'pre_validation_failed' : null } |
+  { 'queued_manual_processing' : null } |
+  { 'application_received' : null } |
+  { 'official_search_completed' : null } |
+  { 'requisition_responded' : null } |
+  { 'rejected' : null } |
+  { 'official_search_expired' : null } |
+  { 'failed' : null } |
+  { 'registered' : null };
+export interface MeteredConnection {
+  'provider' : [] | [string],
+  'supplyNumber' : [] | [string],
+  'meterLocation' : [] | [string],
+  'connected' : TA6Answer,
+}
+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,
+  'createdAt' : Time,
+  'read' : boolean,
+  'recipient' : Principal,
+  'message' : string,
+  'docType' : string,
+  'uploadedBy' : Principal,
+  'transactionId' : string,
+}
+export interface Occupier {
+  'age' : [] | [bigint],
+  'fullName' : string,
+  'tenancyAgreement' : TA6Document,
+}
+export interface OfficialSearchResult {
+  'officialCopyTimestamp' : [] | [string],
+  'advisoryEntries' : Array<string>,
+  'certificateTimestamp' : string,
+  'registerChanged' : boolean,
+  'priorityExpiry' : string,
+  'certificateRef' : string,
+}
+export type ParkingType = { 'OnRoad' : null } |
+  { 'None' : null } |
+  { 'Permit' : null } |
+  { 'Garage' : null } |
+  { 'Other' : null } |
+  { 'Allocated' : null } |
+  { 'Driveway' : null };
+export interface PartyProgress {
+  'completedParties' : bigint,
+  'overallProgress' : bigint,
+  'allAMLComplete' : boolean,
+  'totalParties' : bigint,
+  'parties' : Array<TransactionParty>,
+}
+export type Phase = { 'buyerSetup' : null } |
+  { 'preContract' : null } |
+  { 'completed' : null } |
+  { 'sellerPrep' : null } |
+  { 'preCompletion' : null } |
+  { 'searches' : null };
+export interface PhaseMilestones {
+  'contractDraftedAt' : [] | [bigint],
+  'searchesOrderedAt' : [] | [bigint],
+}
+export type RegulatoryBody = { 'clc' : null } |
+  { 'sra' : null };
+export interface Requisition {
+  'requisitionId' : string,
+  'description' : string,
+  'isResolved' : boolean,
+  'category' : string,
+  'raisedAt' : bigint,
+  'responseText' : [] | [string],
+  'respondedAt' : [] | [bigint],
+  'resolvedAt' : [] | [bigint],
+}
+export type Result = { 'ok' : string } |
+  { 'err' : string };
+export type Result_1 = { 'ok' : null } |
+  { 'err' : string };
+export type Result_10 = { 'ok' : Array<BotConnection> } |
+  { 'err' : string };
+export type Result_11 = { 'ok' : [] | [TA7LeaseholdInformation] } |
+  { 'err' : string };
+export type Result_12 = { 'ok' : [] | [TA6PropertyInformation] } |
+  { 'err' : string };
+export type Result_13 = { 'ok' : [] | [TA10FittingsAndContents] } |
+  { 'err' : string };
+export type Result_14 = {
+    'ok' : {
+      'sellerSolicitor' : [] | [SolicitorRecord],
+      'buyerSolicitor' : [] | [SolicitorRecord],
+    }
+  } |
+  { 'err' : string };
+export type Result_15 = { 'ok' : PhaseMilestones } |
+  { 'err' : string };
+export type Result_16 = { 'ok' : TransactionPartyProgress } |
+  { 'err' : string };
+export type Result_17 = { 'ok' : NextStepRecommendation } |
+  { 'err' : string };
+export type Result_18 = { 'ok' : [] | [HmlrFetchRecord] } |
+  { 'err' : string };
+export type Result_19 = { 'ok' : Phase } |
+  { 'err' : string };
+export type Result_2 = { 'ok' : TransactionParty } |
+  { 'err' : string };
+export type Result_20 = { 'ok' : Array<Anomaly> } |
+  { 'err' : string };
+export type Result_21 = { 'ok' : [string, string] } |
+  { 'err' : string };
+export type Result_22 = {
+    'ok' : { 'registrations' : bigint, 'transactions' : bigint }
+  } |
+  { 'err' : string };
+export type Result_3 = { 'ok' : bigint } |
+  { 'err' : string };
+export type Result_4 = { 'ok' : OfficialSearchResult } |
+  { 'err' : string };
+export type Result_5 = { 'ok' : ApplicationStatusUpdate } |
+  { 'err' : string };
+export type Result_6 = { 'ok' : Transaction } |
+  { 'err' : string };
+export type Result_7 = {
+    'ok' : {
+      'sellers' : Array<TransactionParty>,
+      'buyers' : Array<TransactionParty>,
+    }
+  } |
+  { 'err' : string };
+export type Result_8 = { 'ok' : Array<Notification> } |
+  { 'err' : string };
+export type Result_9 = { 'ok' : Array<Transaction> } |
+  { 'err' : string };
+export interface Right {
+  'overProperty' : [] | [string],
+  'description' : string,
+}
+export interface Section10Parking {
+  'q10_3InstallConsent' : TA6Document,
+  'q10_1Details' : [] | [string],
+  'q10_1Arrangements' : Array<ParkingType>,
+  'q10_2PermitRequired' : TA6Response,
+  'q10_3EvChargingPoint' : TA6Response,
+}
+export interface Section11Services {
+  'q11_2Document' : TA6Document,
+  'q11_5bSurfaceWaterMains' : TA6Answer,
+  'q11_4HeatingSystems' : Array<HeatingSystem>,
+  'q11_3Date' : [] | [string],
+  'q11_3Eicr' : TA6Answer,
+  'q11_6SewerageSource' : [] | [SewerageSource],
+  'q11_1ElectricalWorks' : TA6Response,
+  'q11_5aFoulWaterMains' : TA6Answer,
+  'q11_2ElectricalCertificates' : TA6Answer,
+  'q11_3Report' : TA6Document,
+  'q11_7SewerageSystem' : [] | [SewerageSystem],
+}
+export interface Section12Connections {
+  'sharedHeatPumps' : ServicedPlantConnection,
+  'mainsWater' : WaterConnection,
+  'mainsGas' : MeteredConnection,
+  'smallSewageTreatmentPlant' : ServicedPlantConnection,
+  'mainsSewerage' : ServiceConnection,
+  'telephone' : ServiceConnection,
+  'broadband' : ServiceConnection,
+  'otherServices' : [] | [string],
+  'mainsElectricity' : MeteredConnection,
+}
+export interface Section13Transaction {
+  'q13_5VacantPossession' : TA6Answer,
+  'q13_4OtherOccupiers17Plus' : TA6Response,
+  'q13_4bTenantsOrLodgers' : TA6Answer,
+  'q13_1DependentPurchase' : TA6Response,
+  'q13_7Occupiers' : Array<Occupier>,
+  'q13_6OccupiersAgreedSignVacate' : TA6Answer,
+  'q13_3SellerLivesAtProperty' : TA6Answer,
+  'q13_2MovingDateRequirements' : TA6Response,
+}
+export interface Section14Completion {
+  'q14_2Commitments' : CompletionCommitments,
+  'q14_1ProceedsClearCharges' : TA6Response,
+}
+export interface Section15AdditionalInfo {
+  'additionalNotes' : [] | [string],
+  'q15_1ConsentsAttached' : Array<TA6Document>,
+  'consentsNotAvailableList' : [] | [string],
+  'consentsToFollowList' : [] | [string],
+  'consentsAttachedList' : [] | [string],
+}
+export interface Section1PropertyAndSeller {
+  'postcode' : string,
+  'uprn' : [] | [string],
+  'solicitor' : SolicitorContact,
+  'propertyAddress' : string,
+  'sellers' : Array<SellerParty>,
+  'sellerCompany' : [] | [CompanySeller],
+}
+export interface Section2Boundaries {
+  'q2_3MovedOrAltered' : TA6Response,
+  'q2_2IrregularDescription' : [] | [string],
+  'q2_1Features' : Array<BoundaryFeature>,
+}
+export interface Section3Disputes {
+  'q3_2PotentialDisputes' : TA6Response,
+  'q3_1ExistingDisputes' : TA6Response,
+}
+export interface Section4Notices {
+  'q4_2NearbyDevelopment' : TA6Response,
+  'q4_1NoticesReceived' : TA6Response,
+  'q4_3NearbyUseChange' : TA6Response,
+}
+export interface Section5Alterations {
+  'q5_6Solar' : [] | [SolarPower],
+  'q5_3NonResidentialUse' : TA6Response,
+  'q5_8ConservationArea' : TA6Response,
+  'q5_9TreePreservationOrder' : TA6Response,
+  'q5_2Documents' : Array<TA6Document>,
+  'q5_4Breaches' : TA6Response,
+  'q5_5UnresolvedIssues' : TA6Response,
+  'q5_1Alterations' : AlterationTypes,
+  'q5_7ListedBuilding' : TA6Response,
+}
+export interface Section6Guarantees {
+  'q6_1CentralHeating' : WarrantyItem,
+  'q6_3Breaches' : TA6Response,
+  'q6_1DampProofing' : WarrantyItem,
+  'q6_1Roofing' : WarrantyItem,
+  'q6_1NewHomeWarranty' : WarrantyItem,
+  'q6_1ElectricalWork' : WarrantyItem,
+  'q6_1WindowsDoors' : WarrantyItem,
+  'q6_1Underpinning' : WarrantyItem,
+  'q6_1TimberTreatment' : WarrantyItem,
+  'q6_1OtherDetails' : [] | [string],
+  'q6_2Claims' : TA6Response,
+  'q6_1Other' : WarrantyItem,
+}
+export interface Section7Insurance {
+  'q7_2DifficultOrSpecialConditions' : TA6Response,
+  'q7_1DoYouInsure' : TA6Answer,
+  'q7_1WhoInsuresIfNot' : [] | [string],
+  'q7_3Claims' : TA6Response,
+}
+export interface Section8Environmental {
+  'q8_5GreenDeal' : TA6Response,
+  'q8_6JapaneseKnotweed' : TA6Response,
+  'q8_5CurrentBill' : TA6Document,
+  'q8_3bBelowActionLevel' : TA6Answer,
+  'q8_4RadonRemedialMeasures' : TA6Response,
+  'q8_7SurveyDocument' : TA6Document,
+  'q8_3aReport' : TA6Document,
+  'q8_3RadonTest' : TA6Response,
+  'q8_7KnotweedSurvey' : TA6Answer,
+  'q8_1Flooded' : TA6Response,
+  'q8_2FloodDefences' : TA6Response,
+}
+export interface Section9Rights {
+  'q9_4Rights' : Array<Right>,
+  'q9_9Arrangement' : [] | [Arrangement],
+  'q9_1RightsExercised' : TA6Response,
+  'q9_4OthersRights' : TA6Response,
+  'q9_2Amount' : [] | [bigint],
+  'q9_8LeadingToOthers' : TA6Response,
+  'q9_7CrossingOtherProperty' : TA6Response,
+  'q9_5ContributionsReceived' : TA6Response,
+  'q9_1Rights' : Array<Right>,
+  'q9_3Disagreements' : TA6Response,
+  'q9_5Amount' : [] | [bigint],
+  'q9_2Contributions' : TA6Response,
+  'q9_6Disagreements' : TA6Response,
+}
+export interface SellerParty {
+  'role' : SellerRole,
+  'fullName' : string,
+  'ownershipOrAuthorityDate' : [] | [string],
+}
+export type SellerRole = { 'Administrator' : null } |
+  { 'Executor' : null } |
+  { 'Seller' : null } |
+  { 'Trustee' : null } |
+  { 'Attorney' : null };
+export interface ServiceConnection {
+  'provider' : [] | [string],
+  'connected' : TA6Answer,
+}
+export interface ServicedPlantConnection {
+  'provider' : [] | [string],
+  'serviceProvider' : [] | [string],
+  'connected' : TA6Answer,
+  'makeModel' : [] | [string],
+}
+export type Severity = { 'Info' : null } |
+  { 'Warning' : null } |
+  { 'Conflict' : null };
+export type SewerageSource = { 'SewageTreatmentPlant' : null } |
+  { 'Mains' : null } |
+  { 'SepticTank' : null } |
+  { 'Other' : null } |
+  { 'Cesspool' : null };
+export interface SewerageSystem {
+  'otherDetails' : [] | [string],
+  'source' : SewerageSource,
+  'infiltrationSystem' : TA6Answer,
+  'lastServiceDate' : [] | [string],
+  'regulationCompliant' : TA6Answer,
+  'location' : [] | [string],
+  'dischargeType' : [] | [DischargeType],
+}
+export interface SolarPower {
+  'supplyAgreement' : TA6Document,
+  'ownedOutright' : [] | [boolean],
+  'mcsCertificate' : TA6Document,
+  'installDate' : [] | [string],
+  'electricityBill' : TA6Document,
+  'fitOrSegAgreement' : TA6Document,
+}
+export interface SolicitorContact {
+  'postcode' : string,
+  'contactName' : string,
+  'firmName' : string,
+  'email' : [] | [string],
+  'address' : string,
+  'phone' : [] | [string],
+}
+export interface SolicitorRecord {
+  'consentRecordedAt' : Time,
+  'tasks' : Array<SolicitorTask>,
+  'regNumber' : string,
+  'principal' : Principal,
+  'verified' : boolean,
+  'name' : string,
+  'joinedAt' : Time,
+  'firmName' : string,
+  'piiCertUploaded' : boolean,
+  'email' : string,
+  'actingFor' : { 'both' : null } |
+    { 'seller' : null } |
+    { 'buyer' : null },
+  'removalRequested' : boolean,
+  'regulatoryBody' : RegulatoryBody,
+}
+export interface SolicitorTask {
+  'status' : SolicitorTaskStatus,
+  'completedAt' : [] | [Time],
+  'startedAt' : [] | [Time],
+  'taskType' : SolicitorTaskType,
+  'evidenceDocId' : [] | [string],
+  'priceGBP' : bigint,
+}
+export type SolicitorTaskStatus = { 'pending' : null } |
+  { 'in_progress' : null } |
+  { 'completed' : null } |
+  { 'confirmed_by_client' : null };
+export type SolicitorTaskType = { 'identity_certification' : null } |
+  { 'ap1_submission' : null } |
+  { 'tr1_preparation' : null };
+export interface TA10FittingItem {
+  'item' : string,
+  'included' : boolean,
+  'notes' : [] | [string],
+}
+export interface TA10FittingsAndContents {
+  'completedAt' : [] | [bigint],
+  'completedBy' : Principal,
+  'additionalItems' : string,
+  'outdoorItems' : Array<TA10FittingItem>,
+  'lastModifiedAt' : bigint,
+  'lastModifiedBy' : Principal,
+  'rooms' : Array<TA10Room>,
+}
+export interface TA10Room {
+  'fittings' : Array<TA10FittingItem>,
+  'roomName' : string,
+}
+export type TA6Answer = { 'No' : null } |
+  { 'Yes' : null } |
+  { 'NotApplicable' : null } |
+  { 'NotKnown' : null } |
+  { 'NotAnswered' : null };
+export type TA6Document = { 'NotApplicable' : null } |
+  { 'NotAvailable' : null } |
+  { 'NotAnswered' : null } |
+  { 'Attached' : bigint } |
+  { 'ToFollow' : null };
+export interface TA6PropertyInformation {
+  'completedAt' : [] | [bigint],
+  'completedBy' : Principal,
+  'formVersion' : string,
+  'jurisdiction' : Jurisdiction,
+  'section10' : Section10Parking,
+  'section11' : Section11Services,
+  'section12' : Section12Connections,
+  'section13' : Section13Transaction,
+  'section14' : Section14Completion,
+  'section15' : Section15AdditionalInfo,
+  'lastModifiedAt' : bigint,
+  'lastModifiedBy' : Principal,
+  'section1' : Section1PropertyAndSeller,
+  'section2' : Section2Boundaries,
+  'section3' : Section3Disputes,
+  'section4' : Section4Notices,
+  'section5' : Section5Alterations,
+  'section6' : Section6Guarantees,
+  'section7' : Section7Insurance,
+  'section8' : Section8Environmental,
+  'section9' : Section9Rights,
+}
+export interface TA6Response { 'answer' : TA6Answer, 'details' : [] | [string] }
+export interface TA7LeaseholdInformation {
+  'completedAt' : [] | [bigint],
+  'completedBy' : Principal,
+  'restrictions' : string,
+  'serviceChargePaymentFrequency' : string,
+  'freeholder' : string,
+  'groundRentPaymentFrequency' : string,
+  'serviceChargeAmount' : bigint,
+  'sublettingAllowed' : boolean,
+  'groundRentAmount' : bigint,
+  'leaseExpiryDate' : string,
+  'lastModifiedAt' : bigint,
+  'lastModifiedBy' : Principal,
+  'leaseTermYears' : bigint,
+  'petsAllowed' : boolean,
+  'managingAgent' : [] | [string],
+  'leaseStartDate' : string,
+  'alterationsAllowed' : boolean,
+}
+export type Time = bigint;
+export interface Transaction {
+  'id' : string,
+  'status' : TransactionStatus,
+  'buyerFundsHash' : [] | [string],
+  'userRole' : string,
+  'oldStatus' : string,
+  'postcode' : string,
+  'exchangedAt' : [] | [bigint],
+  'propertyCategory' : string,
+  'transactionType' : string,
+  'completionDate' : string,
+  'completionStatementHash' : [] | [string],
+  'landRegistryRegisteredAt' : [] | [bigint],
+  'sellerSolicitorSignature' : [] | [string],
+  'propertyType' : string,
+  'completionInitiatedAt' : [] | [bigint],
+  'buyerSolicitorSignature' : [] | [string],
+  'titleNumber' : string,
+  'mode' : string,
+  'createdAt' : bigint,
+  'createdBy' : Principal,
+  'blockchainCompletionProof' : [] | [string],
+  'blockchainCompletedAt' : [] | [bigint],
+  'accessList' : Array<Principal>,
+  'solicitor' : [] | [Principal],
+  'sellerSolicitor' : [] | [SolicitorRecord],
+  'chainedTransactions' : Array<string>,
+  'previousOwner' : string,
+  'propertyId' : string,
+  'propertyAddress' : string,
+  'deposit' : bigint,
+  'seller' : Principal,
+  'contractExchangeTimestamp' : [] | [bigint],
+  'sellers' : [] | [Array<TransactionParty>],
+  'mortgageAmount' : bigint,
+  'inviteCode' : string,
+  'chainPosition' : [] | [bigint],
+  'buyer' : Principal,
+  'landRegistryIntegration' : LandRegistryIntegration,
+  'amount' : bigint,
+  'buyers' : [] | [Array<TransactionParty>],
+  'linkToTransaction' : [] | [string],
+  'buyerSolicitor' : [] | [SolicitorRecord],
+  'blockchainCompletionTimestamp' : [] | [bigint],
+}
+export interface TransactionParty {
+  'amlComplete' : boolean,
+  'amlStatus' : AMLStatus,
+  'principal' : Principal,
+  'epcUploaded' : boolean,
+  'proofOfIdentityUploaded' : boolean,
+  'mortgageAgreementUploaded' : boolean,
+  'name' : string,
+  'joinedAt' : Time,
+  'role' : TransactionPartyRole,
+  'email' : string,
+  'isPrimary' : boolean,
+  'proofOfAddressUploaded' : boolean,
+  'proofOfFundsUploaded' : boolean,
+  'titleDeedsUploaded' : boolean,
+  'ta6FormUploaded' : boolean,
+  'ta10FormUploaded' : boolean,
+}
+export interface TransactionPartyProgress {
+  'readyToExchange' : boolean,
+  'sellers' : PartyProgress,
+  'buyers' : PartyProgress,
+}
+export type TransactionPartyRole = { 'secondary_seller' : null } |
+  { 'primary_buyer' : null } |
+  { 'secondary_buyer' : null } |
+  { 'primary_seller' : null };
+export type TransactionStatus = { 'completion_initiated' : null } |
+  { 'active' : null } |
+  { 'blockchain_completed' : null } |
+  { 'exchanged' : null } |
+  { 'land_registry_registered' : null };
+export interface TransactionTimeline {
+  'exchangedAt' : [] | [bigint],
+  'landRegistryRegisteredAt' : [] | [bigint],
+  'completionInitiatedAt' : [] | [bigint],
+  'createdAt' : bigint,
+  'blockchainCompletedAt' : [] | [bigint],
+  'totalTimeToCompletion' : bigint,
+  'totalTimeIncludingLR' : bigint,
+}
+export type Urgency = { 'blocking' : null } |
+  { 'soon' : null } |
+  { 'later' : null };
+export interface WarrantyItem {
+  'present' : TA6Answer,
+  'document' : TA6Document,
+}
+export interface WaterConnection {
+  'provider' : [] | [string],
+  'stopcockLocation' : [] | [string],
+  'meterLocation' : [] | [string],
+  'connected' : TA6Answer,
+}
+export interface _SERVICE {
+  'acknowledgeTA6Wording' : ActorMethod<[string], Result_1>,
+  'addParty' : ActorMethod<[string, string, string, string, boolean], Result_2>,
+  'adminForceDeleteTransaction' : ActorMethod<[string], Result>,
+  'assignBuyer' : ActorMethod<[string, Principal], Result>,
+  'assignSolicitor' : ActorMethod<[string, Principal], Result>,
+  'assignSolicitorRecord' : ActorMethod<[string, SolicitorRecord], Result_1>,
+  'backfillTransactionMembers' : ActorMethod<[], Result_22>,
+  'bootstrapDocumentStorageCanister' : ActorMethod<[Principal], Result>,
+  'canAccessTransaction' : ActorMethod<[string], boolean>,
+  'connectBot' : ActorMethod<[string, Principal, string], Result_1>,
+  'consumeLandRegistryNotification' : ActorMethod<
+    [string, [] | [string], [] | [string], string, Array<[string, string]>],
+    Result_1
+  >,
+  'createTransaction' : ActorMethod<
+    [
+      string,
+      string,
+      string,
+      string,
+      Principal,
+      string,
+      bigint,
+      string,
+      string,
+      string,
+      string,
+      string,
+      bigint,
+      bigint,
+      string,
+    ],
+    string
+  >,
+  'createTransactionWithInvite' : ActorMethod<
+    [
+      string,
+      string,
+      string,
+      string,
+      Principal,
+      string,
+      bigint,
+      string,
+      string,
+      string,
+      string,
+      string,
+      bigint,
+      bigint,
+      string,
+    ],
+    Result_21
+  >,
+  'deleteTransaction' : ActorMethod<[string], Result>,
+  'disconnectBot' : ActorMethod<[string, Principal], Result_1>,
+  'doesTransactionExist' : ActorMethod<[string], boolean>,
+  'getAllInviteCodes' : ActorMethod<[], Array<[string, string]>>,
+  'getAllTransactions' : ActorMethod<[], Array<Transaction>>,
+  'getAnomalies' : ActorMethod<[string], Result_20>,
+  'getCurrentPhase' : ActorMethod<[string], Result_19>,
+  'getCycles' : ActorMethod<[], bigint>,
+  'getDocumentStorageCanister' : ActorMethod<[], [] | [Principal]>,
+  'getExpiringSearches' : ActorMethod<[bigint], Array<Transaction>>,
+  'getFlowState' : ActorMethod<[string], [] | [string]>,
+  'getHmlrFetch' : ActorMethod<[string], Result_18>,
+  '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>,
+  'getTA7' : ActorMethod<[string], Result_11>,
+  'getTransaction' : ActorMethod<[string], [] | [Transaction]>,
+  'getTransactionBots' : ActorMethod<[string], Result_10>,
+  'getTransactionByInviteCode' : ActorMethod<[string], [] | [Transaction]>,
+  'getTransactionChain' : ActorMethod<[string], Result_9>,
+  'getTransactionNotifications' : ActorMethod<[string], Result_8>,
+  'getTransactionParties' : ActorMethod<[string], Result_7>,
+  'getTransactionsByStatus' : ActorMethod<
+    [TransactionStatus],
+    Array<Transaction>
+  >,
+  'getTransactionsForPrincipal' : ActorMethod<[Principal], Array<Transaction>>,
+  'getTransactionsNeedingSearch' : ActorMethod<[], Array<Transaction>>,
+  'getUnreadNotificationCount' : ActorMethod<[], bigint>,
+  'getUnreadNotificationCountForPrincipal' : ActorMethod<[Principal], bigint>,
+  'getUserManagementCanister' : ActorMethod<[], string>,
+  'get_transaction_timeline' : ActorMethod<
+    [string],
+    [] | [TransactionTimeline]
+  >,
+  'hasAcknowledgedTA6Wording' : ActorMethod<[string], boolean>,
+  'initiate_blockchain_completion' : ActorMethod<
+    [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
+  >,
+  'on_blockchain_completion_success' : ActorMethod<[string], Result>,
+  'pollAllPendingApplications' : ActorMethod<[], Result_3>,
+  'pollApplicationStatus' : ActorMethod<[string], Result_5>,
+  /**
+   * / 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>,
+  'recordHmlrFetched' : ActorMethod<[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
+  >,
+  'recordDocShared' : ActorMethod<[string, string, string], Result_1>,
+  'recordDocShareRevoked' : ActorMethod<[string, string, string], 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<
+    [string, { 'seller' : null } | { 'buyer' : null }],
+    Result_1
+  >,
+  'requestOfficialSearch' : ActorMethod<[string], Result_4>,
+  /**
+   * / Closes #31 (TOCTOU): per-transaction lock blocks concurrent mutation
+   * / while canModifyTransaction await is in flight.
+   */
+  'respondToRequisition' : ActorMethod<
+    [string, string, string, Array<string>],
+    Result_1
+  >,
+  'revokeBuyer' : ActorMethod<[string, Principal], Result>,
+  'runCrossReference' : ActorMethod<[string], Result_3>,
+  '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>,
+  'updateSolicitorTaskStatus' : ActorMethod<
+    [string, SolicitorTaskType, SolicitorTaskStatus, [] | [string]],
+    Result_1
+  >,
+  'updateSolicitorVerification' : ActorMethod<
+    [string, { 'seller' : null } | { 'buyer' : null }, boolean],
+    Result_1
+  >,
+  '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]],
+    Result
+  >,
+}
+export declare const idlFactory: IDL.InterfaceFactory;
+export declare const init: (args: { IDL: typeof IDL }) => IDL.Type[];