@propxchain/core-client 0.3.0-canary.31 → 0.3.0-canary.32

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@propxchain/core-client",
-  "version": "0.3.0-canary.31",
+  "version": "0.3.0-canary.32",
   "description": "Typed TypeScript client for the PropXchain core canisters on the Internet Computer. Includes a deterministic mock mode for local development and tests.",
   "license": "UNLICENSED",
   "type": "module",

package/src/canisters/transaction_manager/transaction_manager.did

@@ -1,3 +1,15 @@
+type WaterConnection = 
+ record {
+   connected: TA6Answer;
+   meterLocation: opt text;
+   provider: opt text;
+   stopcockLocation: opt text;
+ };
+type WarrantyItem = 
+ record {
+   document: TA6Document;
+   present: TA6Answer;
+ };
 type Urgency = 
  variant {
    blocking;
@@ -121,55 +133,50 @@ type TA7LeaseholdInformation =
    serviceChargePaymentFrequency: text;
    sublettingAllowed: bool;
  };
+type TA6Response = 
+ record {
+   answer: TA6Answer;
+   details: opt text;
+ };
 type TA6PropertyInformation = 
  record {
-   alterations: opt TA6Alterations;
-   boundaries: text;
-   boundaryDisputes: opt TA6BoundaryDisputes;
    completedAt: opt int;
    completedBy: principal;
-   connectionAgreements: text;
-   disputes: opt TA6Disputes;
-   environmentalDetails: text;
-   environmentalIssues: vec text;
-   estateManagement: opt TA6EstateManagement;
-   guarantees: text;
-   insurance: text;
+   formVersion: text;
+   jurisdiction: Jurisdiction;
    lastModifiedAt: int;
    lastModifiedBy: principal;
-   notices: opt TA6Notices;
-   otherInformation: text;
-   parkingDetails: text;
-   parkingSpaces: nat;
-   rightsAndEasements: text;
-   services: text;
- };
-type TA6Notices = 
- record {
-   details: text;
-   noticeType: text;
+   section1: Section1PropertyAndSeller;
+   section10: Section10Parking;
+   section11: Section11Services;
+   section12: Section12Connections;
+   section13: Section13Transaction;
+   section14: Section14Completion;
+   section15: Section15AdditionalInfo;
+   section2: Section2Boundaries;
+   section3: Section3Disputes;
+   section4: Section4Notices;
+   section5: Section5Alterations;
+   section6: Section6Guarantees;
+   section7: Section7Insurance;
+   section8: Section8Environmental;
+   section9: Section9Rights;
  };
-type TA6EstateManagement = 
- record {
-   annualCharge: nat;
-   isManaged: bool;
-   managementCompany: text;
- };
-type TA6Disputes = 
- record {
-   details: text;
-   disputeType: text;
- };
-type TA6BoundaryDisputes = 
- record {
-   details: text;
-   hasDisputes: bool;
+type TA6Document = 
+ variant {
+   Attached: nat;
+   NotAnswered;
+   NotApplicable;
+   NotAvailable;
+   ToFollow;
  };
-type TA6Alterations = 
- record {
-   details: text;
-   hasAlterations: bool;
-   requiresPermission: bool;
+type TA6Answer = 
+ variant {
+   No;
+   NotAnswered;
+   NotApplicable;
+   NotKnown;
+   Yes;
  };
 type TA10Room = 
  record {
@@ -234,6 +241,227 @@ type SolicitorRecord =
    tasks: vec SolicitorTask;
    verified: bool;
  };
+type SolicitorContact = 
+ record {
+   address: text;
+   contactName: text;
+   email: opt text;
+   firmName: text;
+   phone: opt text;
+   postcode: text;
+ };
+type SolarPower = 
+ record {
+   electricityBill: TA6Document;
+   fitOrSegAgreement: TA6Document;
+   installDate: opt text;
+   mcsCertificate: TA6Document;
+   ownedOutright: opt bool;
+   supplyAgreement: TA6Document;
+ };
+type SewerageSystem = 
+ record {
+   dischargeType: opt DischargeType;
+   infiltrationSystem: TA6Answer;
+   lastServiceDate: opt text;
+   location: opt text;
+   otherDetails: opt text;
+   regulationCompliant: TA6Answer;
+   source: SewerageSource;
+ };
+type SewerageSource = 
+ variant {
+   Cesspool;
+   Mains;
+   Other;
+   SepticTank;
+   SewageTreatmentPlant;
+ };
+type Severity = 
+ variant {
+   Conflict;
+   Info;
+   Warning;
+ };
+type ServicedPlantConnection = 
+ record {
+   connected: TA6Answer;
+   makeModel: opt text;
+   provider: opt text;
+   serviceProvider: opt text;
+ };
+type ServiceConnection = 
+ record {
+   connected: TA6Answer;
+   provider: opt text;
+ };
+type SellerRole = 
+ variant {
+   Administrator;
+   Attorney;
+   Executor;
+   Seller;
+   Trustee;
+ };
+type SellerParty = 
+ record {
+   fullName: text;
+   ownershipOrAuthorityDate: opt text;
+   role: SellerRole;
+ };
+type Section9Rights = 
+ record {
+   q9_1Rights: vec Right;
+   q9_1RightsExercised: TA6Response;
+   q9_2Amount: opt nat;
+   q9_2Contributions: TA6Response;
+   q9_3Disagreements: TA6Response;
+   q9_4OthersRights: TA6Response;
+   q9_4Rights: vec Right;
+   q9_5Amount: opt nat;
+   q9_5ContributionsReceived: TA6Response;
+   q9_6Disagreements: TA6Response;
+   q9_7CrossingOtherProperty: TA6Response;
+   q9_8LeadingToOthers: TA6Response;
+   q9_9Arrangement: opt Arrangement;
+ };
+type Section8Environmental = 
+ record {
+   q8_1Flooded: TA6Response;
+   q8_2FloodDefences: TA6Response;
+   q8_3RadonTest: TA6Response;
+   q8_3aReport: TA6Document;
+   q8_3bBelowActionLevel: TA6Answer;
+   q8_4RadonRemedialMeasures: TA6Response;
+   q8_5CurrentBill: TA6Document;
+   q8_5GreenDeal: TA6Response;
+   q8_6JapaneseKnotweed: TA6Response;
+   q8_7KnotweedSurvey: TA6Answer;
+   q8_7SurveyDocument: TA6Document;
+ };
+type Section7Insurance = 
+ record {
+   q7_1DoYouInsure: TA6Answer;
+   q7_1WhoInsuresIfNot: opt text;
+   q7_2DifficultOrSpecialConditions: TA6Response;
+   q7_3Claims: TA6Response;
+ };
+type Section6Guarantees = 
+ record {
+   q6_1CentralHeating: WarrantyItem;
+   q6_1DampProofing: WarrantyItem;
+   q6_1ElectricalWork: WarrantyItem;
+   q6_1NewHomeWarranty: WarrantyItem;
+   q6_1Other: WarrantyItem;
+   q6_1OtherDetails: opt text;
+   q6_1Roofing: WarrantyItem;
+   q6_1TimberTreatment: WarrantyItem;
+   q6_1Underpinning: WarrantyItem;
+   q6_1WindowsDoors: WarrantyItem;
+   q6_2Claims: TA6Response;
+   q6_3Breaches: TA6Response;
+ };
+type Section5Alterations = 
+ record {
+   q5_1Alterations: AlterationTypes;
+   q5_2Documents: vec TA6Document;
+   q5_3NonResidentialUse: TA6Response;
+   q5_4Breaches: TA6Response;
+   q5_5UnresolvedIssues: TA6Response;
+   q5_6Solar: opt SolarPower;
+   q5_7ListedBuilding: TA6Response;
+   q5_8ConservationArea: TA6Response;
+   q5_9TreePreservationOrder: TA6Response;
+ };
+type Section4Notices = 
+ record {
+   q4_1NoticesReceived: TA6Response;
+   q4_2NearbyDevelopment: TA6Response;
+   q4_3NearbyUseChange: TA6Response;
+ };
+type Section3Disputes = 
+ record {
+   q3_1ExistingDisputes: TA6Response;
+   q3_2PotentialDisputes: TA6Response;
+ };
+type Section2Boundaries = 
+ record {
+   q2_1Features: vec BoundaryFeature;
+   q2_2IrregularDescription: opt text;
+   q2_3MovedOrAltered: TA6Response;
+ };
+type Section1PropertyAndSeller = 
+ record {
+   postcode: text;
+   propertyAddress: text;
+   sellerCompany: opt CompanySeller;
+   sellers: vec SellerParty;
+   solicitor: SolicitorContact;
+   uprn: opt text;
+ };
+type Section15AdditionalInfo = 
+ record {
+   additionalNotes: opt text;
+   consentsAttachedList: opt text;
+   consentsNotAvailableList: opt text;
+   consentsToFollowList: opt text;
+   q15_1ConsentsAttached: vec TA6Document;
+ };
+type Section14Completion = 
+ record {
+   q14_1ProceedsClearCharges: TA6Response;
+   q14_2Commitments: CompletionCommitments;
+ };
+type Section13Transaction = 
+ record {
+   q13_1DependentPurchase: TA6Response;
+   q13_2MovingDateRequirements: TA6Response;
+   q13_3SellerLivesAtProperty: TA6Answer;
+   q13_4OtherOccupiers17Plus: TA6Response;
+   q13_4bTenantsOrLodgers: TA6Answer;
+   q13_5VacantPossession: TA6Answer;
+   q13_6OccupiersAgreedSignVacate: TA6Answer;
+   q13_7Occupiers: vec Occupier;
+ };
+type Section12Connections = 
+ record {
+   broadband: ServiceConnection;
+   mainsElectricity: MeteredConnection;
+   mainsGas: MeteredConnection;
+   mainsSewerage: ServiceConnection;
+   mainsWater: WaterConnection;
+   otherServices: opt text;
+   sharedHeatPumps: ServicedPlantConnection;
+   smallSewageTreatmentPlant: ServicedPlantConnection;
+   telephone: ServiceConnection;
+ };
+type Section11Services = 
+ record {
+   q11_1ElectricalWorks: TA6Response;
+   q11_2Document: TA6Document;
+   q11_2ElectricalCertificates: TA6Answer;
+   q11_3Date: opt text;
+   q11_3Eicr: TA6Answer;
+   q11_3Report: TA6Document;
+   q11_4HeatingSystems: vec HeatingSystem;
+   q11_5aFoulWaterMains: TA6Answer;
+   q11_5bSurfaceWaterMains: TA6Answer;
+   q11_6SewerageSource: opt SewerageSource;
+   q11_7SewerageSystem: opt SewerageSystem;
+ };
+type Section10Parking = 
+ record {
+   q10_1Arrangements: vec ParkingType;
+   q10_1Details: opt text;
+   q10_2PermitRequired: TA6Response;
+   q10_3EvChargingPoint: TA6Response;
+   q10_3InstallConsent: TA6Document;
+ };
+type Right = 
+ record {
+   description: text;
+   overProperty: opt text;
+ };
 type Result_9 = 
  variant {
    err: text;
@@ -260,19 +488,19 @@ type Result_6 =
 type Result_5 = 
  variant {
    err: text;
-   ok: nat;
+   ok: ApplicationStatusUpdate;
  };
 type Result_4 = 
  variant {
    err: text;
-   ok: ApplicationStatusUpdate;
+   ok: OfficialSearchResult;
  };
 type Result_3 = 
  variant {
    err: text;
-   ok: OfficialSearchResult;
+   ok: nat;
  };
-type Result_21 = 
+type Result_22 = 
  variant {
    err: text;
    ok: record {
@@ -280,7 +508,7 @@ type Result_21 =
          transactions: nat;
        };
  };
-type Result_20 = 
+type Result_21 = 
  variant {
    err: text;
    ok: record {
@@ -288,6 +516,11 @@ type Result_20 =
          text;
        };
  };
+type Result_20 = 
+ variant {
+   err: text;
+   ok: vec Anomaly;
+ };
 type Result_2 = 
  variant {
    err: text;
@@ -395,6 +628,16 @@ type PartyProgress =
    parties: vec TransactionParty;
    totalParties: nat;
  };
+type ParkingType = 
+ variant {
+   Allocated;
+   Driveway;
+   Garage;
+   None;
+   OnRoad;
+   Other;
+   Permit;
+ };
 type OfficialSearchResult = 
  record {
    advisoryEntries: vec text;
@@ -404,6 +647,12 @@ type OfficialSearchResult =
    priorityExpiry: text;
    registerChanged: bool;
  };
+type Occupier = 
+ record {
+   age: opt nat;
+   fullName: text;
+   tenancyAgreement: TA6Document;
+ };
 type Notification = 
  record {
    createdAt: Time;
@@ -432,6 +681,13 @@ type NextStepOption =
    estimatedDelayIfSkipped: opt nat;
    whyThis: text;
  };
+type MeteredConnection = 
+ record {
+   connected: TA6Answer;
+   meterLocation: opt text;
+   provider: opt text;
+   supplyNumber: opt text;
+ };
 type LandRegistryStatus = 
  variant {
    application_received;
@@ -481,6 +737,11 @@ type LandRegistryIntegration =
    submittedToLRAt: opt int;
    totalLRCosts: nat;
  };
+type Jurisdiction = 
+ variant {
+   England;
+   Wales;
+ };
 type HmlrFetchRecord = 
  record {
    fetchedAt: int;
@@ -488,6 +749,57 @@ type HmlrFetchRecord =
    responseHash: text;
    titleNumber: text;
  };
+type HeatingType = 
+ variant {
+   DistrictHeating;
+   Electric;
+   GasCentral;
+   HeatPumpAir;
+   HeatPumpGround;
+   Lpg;
+   Oil;
+   Other;
+   SolarThermal;
+   SolidFuel;
+ };
+type HeatingSystem = 
+ record {
+   certificate: TA6Document;
+   heatingType: HeatingType;
+   installDate: opt text;
+   lastServiceDate: opt text;
+   otherDetails: opt text;
+ };
+type DischargeType = 
+ variant {
+   GroundWater;
+   SurfaceWater;
+ };
+type CompletionCommitments = 
+ record {
+   leaveServiceInfo: TA6Answer;
+   removeSellersItems: TA6Answer;
+   vacantPossession: TA6Answer;
+ };
+type CompanySeller = 
+ record {
+   companyName: text;
+   companyNumber: text;
+   countryOfIncorporation: text;
+   director: text;
+ };
+type BoundaryOwnership = 
+ variant {
+   NotKnown;
+   OwnedByNeighbour;
+   OwnedBySeller;
+   Shared;
+ };
+type BoundaryFeature = 
+ record {
+   ownership: BoundaryOwnership;
+   position: text;
+ };
 type BotConnection = 
  record {
    addedAt: int;
@@ -495,6 +807,12 @@ type BotConnection =
    name: text;
    "principal": principal;
  };
+type Arrangement = 
+ record {
+   contributionAmount: opt nat;
+   description: text;
+   document: TA6Document;
+ };
 type ApplicationStatusUpdate = 
  record {
    applicationReference: text;
@@ -504,6 +822,27 @@ type ApplicationStatusUpdate =
    previousStatus: LandRegistryStatus;
    statusChanged: bool;
  };
+type Anomaly = 
+ record {
+   detectedAt: int;
+   explanation: text;
+   ref: text;
+   severity: Severity;
+   sources: vec text;
+ };
+type AlterationTypes = 
+ record {
+   changeOfUse: bool;
+   conservatory: bool;
+   extension: bool;
+   garageConversion: bool;
+   internalWallsRemoved: bool;
+   loftConversion: bool;
+   other: bool;
+   otherDetails: opt text;
+   structuralRoofWorks: bool;
+   windowsPost2002: bool;
+ };
 type AMLStatus = 
  variant {
    not_started;
@@ -512,6 +851,7 @@ type AMLStatus =
    verified;
  };
 service : {
+  acknowledgeTA6Wording: (txId: text) -> (Result_1);
   addParty: (transactionId: text, name: text, email: text, roleText: 
    text, isPrimary: bool) -> (Result_2);
   adminForceDeleteTransaction: (transactionId: text) -> (Result);
@@ -520,7 +860,7 @@ service : {
    (Result);
   assignSolicitorRecord: (transactionId: text, solicitorRecord:
    SolicitorRecord) -> (Result_1);
-  backfillTransactionMembers: () -> (Result_21);
+  backfillTransactionMembers: () -> (Result_22);
   bootstrapDocumentStorageCanister: (canisterId: principal) -> (Result);
   canAccessTransaction: (transactionId: text) -> (bool) query;
   connectBot: (transactionId: text, botPrincipal: principal, botName:
@@ -540,7 +880,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_20);
+   nat64, completionDate: text) -> (Result_21);
   deleteTransaction: (transactionId: text) -> (Result);
   disconnectBot: (transactionId: text, botPrincipal: principal) -> (Result_1);
   doesTransactionExist: (transactionId: text) -> (bool) query;
@@ -549,6 +889,7 @@ service : {
                                   text;
                                 }) query;
   getAllTransactions: () -> (vec Transaction) query;
+  getAnomalies: (txId: text) -> (Result_20) query;
   getCurrentPhase: (transactionId: text) -> (Result_19) query;
   getCycles: () -> (nat) query;
   getDocumentStorageCanister: () -> (opt principal) query;
@@ -593,6 +934,7 @@ service : {
   getUserManagementCanister: () -> (text) query;
   get_transaction_timeline: (transactionID: text) ->
    (opt TransactionTimeline) query;
+  hasAcknowledgedTA6Wording: (txId: text) -> (bool) query;
   initiate_blockchain_completion: (transactionID: text, buyerFundsHash: 
    text, completionStatementHash: text) -> (Result);
   joinAsBotByInviteCode: (inviteCode: text, botName: text) -> (Result_6);
@@ -646,8 +988,8 @@ service : {
   onDocumentRegistered: (transactionId: text, docType: text, documentHash:
    text, uploadedBy: principal) -> ();
   on_blockchain_completion_success: (transactionID: text) -> (Result);
-  pollAllPendingApplications: () -> (Result_5);
-  pollApplicationStatus: (transactionID: text) -> (Result_4);
+  pollAllPendingApplications: () -> (Result_3);
+  pollApplicationStatus: (transactionID: text) -> (Result_5);
   /// Closes #31 (TOCTOU): per-transaction lock blocks concurrent solicitors
   /// from racing to record exchange while canModifyTransaction await is in flight.
   recordContractExchange: (transactionID: text, buyerSolicitorSignature:
@@ -677,12 +1019,13 @@ service : {
                                                  buyer;
                                                  seller;
                                                }) -> (Result_1);
-  requestOfficialSearch: (transactionID: text) -> (Result_3);
+  requestOfficialSearch: (transactionID: text) -> (Result_4);
   /// 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);
+  runCrossReference: (txId: text) -> (Result_3);
   setDocumentStorageCanister: (canisterId: principal) -> (Result);
   setFlowState: (transactionId: text, jsonData: text) -> (Result);
   setLandRegistryCanister: (canisterId: text) -> (Result);