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

package/dist/canisters/ledger_manager/ledger_manager.did.js

@@ -1,201 +1,268 @@
 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']),
-        'getCertifiedTransactionLog': IDL.Func([IDL.Text], [
-            IDL.Record({
-                'certificate': IDL.Opt(IDL.Vec(IDL.Nat8)),
-                'headHash': IDL.Vec(IDL.Nat8),
-                'witness': IDL.Vec(IDL.Nat8),
-                'events': IDL.Vec(AuditEvent),
-            }),
-        ], ['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], []),
-    });
+  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']),
+    'getCertifiedTransactionLog' : IDL.Func(
+        [IDL.Text],
+        [
+          IDL.Record({
+            'certificate' : IDL.Opt(IDL.Vec(IDL.Nat8)),
+            'headHash' : IDL.Vec(IDL.Nat8),
+            'witness' : IDL.Vec(IDL.Nat8),
+            'events' : IDL.Vec(AuditEvent),
+          }),
+        ],
+        ['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 []; };
-//# sourceMappingURL=ledger_manager.did.js.map

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

@@ -1,7 +1,73 @@
-export function idlFactory({ IDL }: {
-    IDL: any;
-}): any;
-export function init({ IDL }: {
-    IDL: any;
-}): never[];
-//# sourceMappingURL=property_registry.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 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],
+  'uprn' : [] | [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
+  >,
+  'setPropertyUprn' : ActorMethod<[bigint, [] | [string]], Result>,
+  '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[];