@propxchain/core-client 0.3.0 → 0.5.0-canary.42

package/dist/jurisdiction.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Copyright (C) 2025 PropXchain. All rights reserved.
+ * Proprietary and confidential.
+ *
+ * Which legal system a UK property sits in, from its postcode.
+ *
+ * PropXchain operates in England and Wales only. Scotland runs an entirely
+ * different conveyancing system — missives rather than exchange, the Land
+ * Register of Scotland rather than HM Land Registry, and no CON29 or LLC1 at
+ * all. Northern Ireland is different again. None of our searches, forms or
+ * title pulls mean anything there.
+ *
+ * This exists because nothing stopped an out-of-jurisdiction property entering
+ * the flow. On 2026-08-10 a Scottish UPRN went all the way to a priced tmGroup
+ * draft and came back at £0.00 with an empty failure list — the searches simply
+ * do not exist in Scotland, so there was nothing to price and nothing to
+ * report. tmGroup confirmed it: "That UPRN is in Scotland and therefore
+ * authority look-ups do not apply." A £0 quote is the LAST place that should be
+ * caught. The address is the first.
+ */
+export type Jurisdiction = 'england-wales' | 'scotland' | 'northern-ireland' | 'crown-dependency' | 'ambiguous' | 'unknown';
+/**
+ * The postcode AREA — the leading letters before the first digit. `EH10 6QL`
+ * gives `EH`, `G1 1AA` gives `G`.
+ *
+ * Deliberately tolerant of missing spaces and lower case, because this runs on
+ * whatever a person typed. It is deliberately NOT tolerant of things that are
+ * not postcodes: an unparseable value returns null and the caller decides,
+ * rather than being silently treated as England.
+ */
+export declare function postcodeArea(postcode: string | null | undefined): string | null;
+/** Which legal system this postcode falls in. */
+export declare function jurisdictionFromPostcode(postcode: string | null | undefined): Jurisdiction;
+/**
+ * Can PropXchain handle this property?
+ *
+ * 'ambiguous' and 'unknown' both pass. That is deliberate: this is a guard
+ * against the clearly-wrong, not an address validator. Refusing every postcode
+ * we failed to parse would turn a typo into a dead end, and refusing Berwick
+ * would turn a correct English address into one. What must never happen is a
+ * confidently Scottish property reaching a payment screen.
+ */
+export declare function isSupportedJurisdiction(postcode: string | null | undefined): boolean;
+/**
+ * What to tell the person, in their terms. Never "invalid postcode" — their
+ * postcode is perfectly valid, it is our coverage that is limited, and saying
+ * so plainly is the difference between a clear no and a broken form.
+ */
+export declare function unsupportedJurisdictionMessage(postcode: string | null | undefined): string | null;
+//# sourceMappingURL=jurisdiction.d.ts.map

package/dist/jurisdiction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jurisdiction.d.ts","sourceRoot":"","sources":["../src/jurisdiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAyBH,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,UAAU,GACV,kBAAkB,GAClB,kBAAkB,GAClB,WAAW,GACX,SAAS,CAAC;AAEd;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAO/E;AAED,iDAAiD;AACjD,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,YAAY,CAQ1F;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAKpF;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAcjG"}

package/dist/jurisdiction.js

@@ -0,0 +1,109 @@
+/**
+ * Copyright (C) 2025 PropXchain. All rights reserved.
+ * Proprietary and confidential.
+ *
+ * Which legal system a UK property sits in, from its postcode.
+ *
+ * PropXchain operates in England and Wales only. Scotland runs an entirely
+ * different conveyancing system — missives rather than exchange, the Land
+ * Register of Scotland rather than HM Land Registry, and no CON29 or LLC1 at
+ * all. Northern Ireland is different again. None of our searches, forms or
+ * title pulls mean anything there.
+ *
+ * This exists because nothing stopped an out-of-jurisdiction property entering
+ * the flow. On 2026-08-10 a Scottish UPRN went all the way to a priced tmGroup
+ * draft and came back at £0.00 with an empty failure list — the searches simply
+ * do not exist in Scotland, so there was nothing to price and nothing to
+ * report. tmGroup confirmed it: "That UPRN is in Scotland and therefore
+ * authority look-ups do not apply." A £0 quote is the LAST place that should be
+ * caught. The address is the first.
+ */
+/** Postcode areas wholly within Scotland. */
+const SCOTLAND_AREAS = new Set([
+    'AB', 'DD', 'DG', 'EH', 'FK', 'G', 'HS', 'IV',
+    'KA', 'KW', 'KY', 'ML', 'PA', 'PH', 'ZE',
+]);
+/**
+ * Areas that straddle the border, so the postcode alone cannot decide.
+ *
+ * TD covers the Scottish Borders but also Berwick-upon-Tweed (TD15), which is
+ * in England. CA is Cumbria but a handful of CA6 addresses are Scottish.
+ * Guessing either way is wrong for real people in real houses, so these resolve
+ * to 'ambiguous' and the caller must confirm another way — for a tmGroup order
+ * the local-authority lookup is the answer, because it names the actual council.
+ */
+const BORDER_AREAS = new Set(['TD', 'CA']);
+/** Northern Ireland. Separate legal system, separate registry. */
+const NORTHERN_IRELAND_AREAS = new Set(['BT']);
+/** Crown dependencies. Not the UK for these purposes, and not our market. */
+const CROWN_DEPENDENCY_AREAS = new Set(['IM', 'GY', 'JE']);
+/**
+ * The postcode AREA — the leading letters before the first digit. `EH10 6QL`
+ * gives `EH`, `G1 1AA` gives `G`.
+ *
+ * Deliberately tolerant of missing spaces and lower case, because this runs on
+ * whatever a person typed. It is deliberately NOT tolerant of things that are
+ * not postcodes: an unparseable value returns null and the caller decides,
+ * rather than being silently treated as England.
+ */
+export function postcodeArea(postcode) {
+    if (typeof postcode !== 'string')
+        return null;
+    const cleaned = postcode.trim().toUpperCase().replace(/\s+/g, '');
+    if (!cleaned)
+        return null;
+    // A UK outward code is 1-2 letters, then a digit. Anything else is not one.
+    const match = /^([A-Z]{1,2})[0-9]/.exec(cleaned);
+    return match ? match[1] : null;
+}
+/** Which legal system this postcode falls in. */
+export function jurisdictionFromPostcode(postcode) {
+    const area = postcodeArea(postcode);
+    if (!area)
+        return 'unknown';
+    if (SCOTLAND_AREAS.has(area))
+        return 'scotland';
+    if (NORTHERN_IRELAND_AREAS.has(area))
+        return 'northern-ireland';
+    if (CROWN_DEPENDENCY_AREAS.has(area))
+        return 'crown-dependency';
+    if (BORDER_AREAS.has(area))
+        return 'ambiguous';
+    return 'england-wales';
+}
+/**
+ * Can PropXchain handle this property?
+ *
+ * 'ambiguous' and 'unknown' both pass. That is deliberate: this is a guard
+ * against the clearly-wrong, not an address validator. Refusing every postcode
+ * we failed to parse would turn a typo into a dead end, and refusing Berwick
+ * would turn a correct English address into one. What must never happen is a
+ * confidently Scottish property reaching a payment screen.
+ */
+export function isSupportedJurisdiction(postcode) {
+    const jurisdiction = jurisdictionFromPostcode(postcode);
+    return jurisdiction !== 'scotland'
+        && jurisdiction !== 'northern-ireland'
+        && jurisdiction !== 'crown-dependency';
+}
+/**
+ * What to tell the person, in their terms. Never "invalid postcode" — their
+ * postcode is perfectly valid, it is our coverage that is limited, and saying
+ * so plainly is the difference between a clear no and a broken form.
+ */
+export function unsupportedJurisdictionMessage(postcode) {
+    switch (jurisdictionFromPostcode(postcode)) {
+        case 'scotland':
+            return 'PropXchain currently covers England and Wales only. Scotland has a separate '
+                + 'conveyancing system and its own land register, so we cannot handle this property yet.';
+        case 'northern-ireland':
+            return 'PropXchain currently covers England and Wales only. Northern Ireland has a '
+                + 'separate conveyancing system and its own land registry, so we cannot handle this property yet.';
+        case 'crown-dependency':
+            return 'PropXchain currently covers England and Wales only, which does not include the '
+                + 'Isle of Man or the Channel Islands.';
+        default:
+            return null;
+    }
+}
+//# sourceMappingURL=jurisdiction.js.map

package/dist/jurisdiction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jurisdiction.js","sourceRoot":"","sources":["../src/jurisdiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,6CAA6C;AAC7C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI;IAC7C,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;CACzC,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAE3C,kEAAkE;AAClE,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAE/C,6EAA6E;AAC7E,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAU3D;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,QAAmC;IAC9D,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,4EAA4E;IAC5E,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,wBAAwB,CAAC,QAAmC;IAC1E,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IAChD,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,kBAAkB,CAAC;IAChE,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,kBAAkB,CAAC;IAChE,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/C,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAmC;IACzE,MAAM,YAAY,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IACxD,OAAO,YAAY,KAAK,UAAU;WAC7B,YAAY,KAAK,kBAAkB;WACnC,YAAY,KAAK,kBAAkB,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,QAAmC;IAChF,QAAQ,wBAAwB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,KAAK,UAAU;YACb,OAAO,8EAA8E;kBACjF,uFAAuF,CAAC;QAC9F,KAAK,kBAAkB;YACrB,OAAO,6EAA6E;kBAChF,gGAAgG,CAAC;QACvG,KAAK,kBAAkB;YACrB,OAAO,iFAAiF;kBACpF,qCAAqC,CAAC;QAC5C;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

package/dist/mock.js

@@ -66,7 +66,7 @@ export function createMockPropertyRegistry() {
     return mockService({
         getAllProperties: async () => [],
         getProperty: async () => [],
-        verifyProperty: async () => false,
+        attestProperty: async () => false,
         transferOwnership: async () => false,
     });
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@propxchain/core-client",
-  "version": "0.3.0",
+  "version": "0.5.0-canary.42",
   "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",
@@ -18,6 +18,10 @@
     "./auth": {
       "types": "./dist/auth.d.ts",
       "import": "./dist/auth.js"
+    },
+    "./jurisdiction": {
+      "types": "./dist/jurisdiction.d.ts",
+      "import": "./dist/jurisdiction.js"
     }
   },
   "files": [
@@ -29,7 +33,7 @@
     "access": "public"
   },
   "scripts": {
-    "build": "tsc -p tsconfig.json",
+    "build": "tsc -p tsconfig.json && node scripts/copy-candid-artifacts.mjs",
     "clean": "rm -rf dist",
     "test": "node --import tsx --test tests/*.test.ts",
     "typecheck": "tsc -p tsconfig.json --noEmit"

package/src/canisters/document_storage/document_storage.did

@@ -1,10 +1,10 @@
 type Time = int;
-type Result_6 = 
+type Result_7 = 
  variant {
    err: text;
    ok: blob;
  };
-type Result_5 = 
+type Result_6 = 
  variant {
    err: text;
    ok:
@@ -19,9 +19,10 @@ type Result_5 =
       transactionId: opt text;
       uploadedAt: int;
       uploadedBy: principal;
+      verified: bool;
     };
  };
-type Result_4 = 
+type Result_5 = 
  variant {
    err: text;
    ok:
@@ -32,17 +33,17 @@ type Result_4 =
       uploadedChunks: nat;
     };
  };
-type Result_3 = 
+type Result_4 = 
  variant {
    err: text;
    ok: nat;
  };
-type Result_2 = 
+type Result_3 = 
  variant {
    err: text;
    ok: text;
  };
-type Result_1 = 
+type Result_2 = 
  variant {
    err: text;
    ok: record {
@@ -51,11 +52,20 @@ type Result_1 =
          uploadedChunks: nat;
        };
  };
-type Result = 
+type Result_1 = 
  variant {
    err: text;
    ok: bool;
  };
+type Result = 
+ variant {
+   err: text;
+   ok: record {
+         computedHash: text;
+         matches: bool;
+         registeredHash: text;
+       };
+ };
 type DocumentSource = 
  variant {
    LandRegistryAPI;
@@ -104,17 +114,17 @@ type ActorType =
    user;
  };
 service : {
-  deleteDocument: (documentId: nat, csrfToken: text) -> (Result_2);
-  downloadDocumentChunk: (documentId: nat, chunkIndex: nat) -> (Result_6);
+  deleteDocument: (documentId: nat, csrfToken: text) -> (Result_3);
+  downloadDocumentChunk: (documentId: nat, chunkIndex: nat) -> (Result_7);
   generateCSRFToken: () -> (text);
   getAuditLogs: (documentId: nat) -> (vec AuditLog) query;
   getCSRFToken: () -> (opt text) query;
   getCycles: () -> (nat) query;
   getDocumentByLandRegistryReference: (lrRef: text) ->
    (opt DocumentProof) query;
-  getDocumentMetadata: (documentId: nat) -> (Result_5) query;
+  getDocumentMetadata: (documentId: nat) -> (Result_6) query;
   getDocumentProof: (documentId: nat) -> (opt DocumentProof) query;
-  getDocumentUploadStatus: (documentId: nat) -> (Result_4) query;
+  getDocumentUploadStatus: (documentId: nat) -> (Result_5) query;
   getDocumentVerificationCanister: () -> (opt principal) query;
   getExpiredLandRegistryDocuments: () -> (vec DocumentProof) query;
   getLandRegistryCanister: () -> (opt principal) query;
@@ -134,26 +144,27 @@ service : {
   getTransactionDocuments: (transactionId: text) -> (vec DocumentProof) query;
   getTransactionManagerCanister: () -> (opt principal) query;
   getUserManagementCanister: () -> (opt principal) query;
-  markDocumentDeleted: (documentId: nat, csrfToken: text) -> (Result_2);
+  markDocumentDeleted: (documentId: nat, csrfToken: text) -> (Result_3);
   recordAuditEntry: (actorType: ActorType, delegatedBy: opt principal,
    action: text, documentId: nat, success: bool, metadata: text) ->
-   (Result_3);
+   (Result_4);
   registerDocumentProof: (fileName: text, fileHash: text, fileSize: nat,
    contentType: text, storageLocation: text, transactionId: opt text,
-   docType: text, csrfToken: text) -> (Result_3);
+   docType: text, csrfToken: text) -> (Result_4);
   registerLandRegistryDocument: (transactionId: text, titleNumber: text,
    documentType: text, fileHash: text, fileSize: nat, contentType: text,
    landRegistryReference: text, validUntil: opt int, costPence: nat) ->
-   (Result_3);
-  setDocumentVerificationCanister: (canisterId: principal) -> (Result_2);
-  setLandRegistryCanister: (canisterId: principal) -> (Result_2);
+   (Result_4);
+  setDocumentVerificationCanister: (canisterId: principal) -> (Result_3);
+  setLandRegistryCanister: (canisterId: principal) -> (Result_3);
   setTransactionManagerCanister: (canisterId: principal, _csrfToken: 
-   text) -> (Result_2);
+   text) -> (Result_3);
   setUserManagementCanister: (canisterId: principal, _csrfToken: text) ->
-   (Result_2);
+   (Result_3);
   uploadDocumentChunk: (documentId: nat, chunkIndex: nat, data: blob,
-   csrfToken: text) -> (Result_1);
+   csrfToken: text) -> (Result_2);
   validateCSRFToken: (token: text) -> (bool);
   verifyDocumentHash: (documentId: nat, providedHash: text, csrfToken:
-   text) -> (Result);
+   text) -> (Result_1);
+  verifyOnChainIntegrity: (documentId: nat) -> (Result);
 }

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

@@ -1,6 +1,6 @@
-import type { Principal } from '@dfinity/principal';
-import type { ActorMethod } from '@dfinity/agent';
-import type { IDL } from '@dfinity/candid';
+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 ActorType = { 'agent' : null } |
   { 'systemActor' : null } |
@@ -41,9 +41,17 @@ export type DocumentSource = { 'UserUploaded' : null } |
   { 'LandRegistryAPI' : null } |
   { 'LandRegistryNotification' : null } |
   { 'SystemGenerated' : null };
-export type Result = { 'ok' : boolean } |
+export type Result = {
+    'ok' : {
+      'matches' : boolean,
+      'computedHash' : string,
+      'registeredHash' : string,
+    }
+  } |
   { 'err' : string };
-export type Result_1 = {
+export type Result_1 = { 'ok' : boolean } |
+  { 'err' : string };
+export type Result_2 = {
     'ok' : {
       'uploadedChunks' : bigint,
       'totalChunks' : bigint,
@@ -51,11 +59,11 @@ export type Result_1 = {
     }
   } |
   { 'err' : string };
-export type Result_2 = { 'ok' : string } |
+export type Result_3 = { 'ok' : string } |
   { 'err' : string };
-export type Result_3 = { 'ok' : bigint } |
+export type Result_4 = { 'ok' : bigint } |
   { 'err' : string };
-export type Result_4 = {
+export type Result_5 = {
     'ok' : {
       'uploadedChunks' : bigint,
       'totalChunks' : bigint,
@@ -64,9 +72,10 @@ export type Result_4 = {
     }
   } |
   { 'err' : string };
-export type Result_5 = {
+export type Result_6 = {
     'ok' : {
       'id' : bigint,
+      'verified' : boolean,
       'contentType' : string,
       'fileHash' : string,
       'fileName' : string,
@@ -79,12 +88,12 @@ export type Result_5 = {
     }
   } |
   { 'err' : string };
-export type Result_6 = { 'ok' : Uint8Array | number[] } |
+export type Result_7 = { 'ok' : Uint8Array | number[] } |
   { 'err' : string };
 export type Time = bigint;
 export interface _SERVICE {
-  'deleteDocument' : ActorMethod<[bigint, string], Result_2>,
-  'downloadDocumentChunk' : ActorMethod<[bigint, bigint], Result_6>,
+  'deleteDocument' : ActorMethod<[bigint, string], Result_3>,
+  'downloadDocumentChunk' : ActorMethod<[bigint, bigint], Result_7>,
   'generateCSRFToken' : ActorMethod<[], string>,
   'getAuditLogs' : ActorMethod<[bigint], Array<AuditLog>>,
   'getCSRFToken' : ActorMethod<[], [] | [string]>,
@@ -93,9 +102,9 @@ export interface _SERVICE {
     [string],
     [] | [DocumentProof]
   >,
-  'getDocumentMetadata' : ActorMethod<[bigint], Result_5>,
+  'getDocumentMetadata' : ActorMethod<[bigint], Result_6>,
   'getDocumentProof' : ActorMethod<[bigint], [] | [DocumentProof]>,
-  'getDocumentUploadStatus' : ActorMethod<[bigint], Result_4>,
+  'getDocumentUploadStatus' : ActorMethod<[bigint], Result_5>,
   'getDocumentVerificationCanister' : ActorMethod<[], [] | [Principal]>,
   'getExpiredLandRegistryDocuments' : ActorMethod<[], Array<DocumentProof>>,
   'getLandRegistryCanister' : ActorMethod<[], [] | [Principal]>,
@@ -121,14 +130,14 @@ export interface _SERVICE {
   'getTransactionDocuments' : ActorMethod<[string], Array<DocumentProof>>,
   'getTransactionManagerCanister' : ActorMethod<[], [] | [Principal]>,
   'getUserManagementCanister' : ActorMethod<[], [] | [Principal]>,
-  'markDocumentDeleted' : ActorMethod<[bigint, string], Result_2>,
+  'markDocumentDeleted' : ActorMethod<[bigint, string], Result_3>,
   'recordAuditEntry' : ActorMethod<
     [ActorType, [] | [Principal], string, bigint, boolean, string],
-    Result_3
+    Result_4
   >,
   'registerDocumentProof' : ActorMethod<
     [string, string, bigint, string, string, [] | [string], string, string],
-    Result_3
+    Result_4
   >,
   'registerLandRegistryDocument' : ActorMethod<
     [
@@ -142,18 +151,19 @@ export interface _SERVICE {
       [] | [bigint],
       bigint,
     ],
-    Result_3
+    Result_4
   >,
-  'setDocumentVerificationCanister' : ActorMethod<[Principal], Result_2>,
-  'setLandRegistryCanister' : ActorMethod<[Principal], Result_2>,
-  'setTransactionManagerCanister' : ActorMethod<[Principal, string], Result_2>,
-  'setUserManagementCanister' : ActorMethod<[Principal, string], Result_2>,
+  'setDocumentVerificationCanister' : ActorMethod<[Principal], Result_3>,
+  'setLandRegistryCanister' : ActorMethod<[Principal], Result_3>,
+  'setTransactionManagerCanister' : ActorMethod<[Principal, string], Result_3>,
+  'setUserManagementCanister' : ActorMethod<[Principal, string], Result_3>,
   'uploadDocumentChunk' : ActorMethod<
     [bigint, bigint, Uint8Array | number[], string],
-    Result_1
+    Result_2
   >,
   'validateCSRFToken' : ActorMethod<[string], boolean>,
-  'verifyDocumentHash' : ActorMethod<[bigint, string, string], Result>,
+  'verifyDocumentHash' : ActorMethod<[bigint, string, string], Result_1>,
+  'verifyOnChainIntegrity' : ActorMethod<[bigint], Result>,
 }
 export declare const idlFactory: IDL.InterfaceFactory;
 export declare const init: (args: { IDL: typeof IDL }) => IDL.Type[];

package/src/canisters/document_storage/document_storage.did.js

@@ -1,6 +1,6 @@
 export const idlFactory = ({ IDL }) => {
-  const Result_2 = IDL.Variant({ 'ok' : IDL.Text, 'err' : IDL.Text });
-  const Result_6 = IDL.Variant({ 'ok' : IDL.Vec(IDL.Nat8), 'err' : IDL.Text });
+  const Result_3 = IDL.Variant({ 'ok' : IDL.Text, 'err' : IDL.Text });
+  const Result_7 = IDL.Variant({ 'ok' : IDL.Vec(IDL.Nat8), 'err' : IDL.Text });
   const ActorType = IDL.Variant({
     'agent' : IDL.Null,
     'systemActor' : IDL.Null,
@@ -45,9 +45,10 @@ export const idlFactory = ({ IDL }) => {
     'validUntil' : IDL.Opt(IDL.Int),
     'transactionId' : IDL.Opt(IDL.Text),
   });
-  const Result_5 = IDL.Variant({
+  const Result_6 = IDL.Variant({
     'ok' : IDL.Record({
       'id' : IDL.Nat,
+      'verified' : IDL.Bool,
       'contentType' : IDL.Text,
       'fileHash' : IDL.Text,
       'fileName' : IDL.Text,
@@ -60,7 +61,7 @@ export const idlFactory = ({ IDL }) => {
     }),
     'err' : IDL.Text,
   });
-  const Result_4 = IDL.Variant({
+  const Result_5 = IDL.Variant({
     'ok' : IDL.Record({
       'uploadedChunks' : IDL.Nat,
       'totalChunks' : IDL.Nat,
@@ -69,8 +70,8 @@ export const idlFactory = ({ IDL }) => {
     }),
     'err' : IDL.Text,
   });
-  const Result_3 = IDL.Variant({ 'ok' : IDL.Nat, 'err' : IDL.Text });
-  const Result_1 = IDL.Variant({
+  const Result_4 = IDL.Variant({ 'ok' : IDL.Nat, 'err' : IDL.Text });
+  const Result_2 = IDL.Variant({
     'ok' : IDL.Record({
       'uploadedChunks' : IDL.Nat,
       'totalChunks' : IDL.Nat,
@@ -78,10 +79,18 @@ export const idlFactory = ({ IDL }) => {
     }),
     'err' : IDL.Text,
   });
-  const Result = IDL.Variant({ 'ok' : IDL.Bool, 'err' : IDL.Text });
+  const Result_1 = IDL.Variant({ 'ok' : IDL.Bool, 'err' : IDL.Text });
+  const Result = IDL.Variant({
+    'ok' : IDL.Record({
+      'matches' : IDL.Bool,
+      'computedHash' : IDL.Text,
+      'registeredHash' : IDL.Text,
+    }),
+    'err' : IDL.Text,
+  });
   return IDL.Service({
-    'deleteDocument' : IDL.Func([IDL.Nat, IDL.Text], [Result_2], []),
-    'downloadDocumentChunk' : IDL.Func([IDL.Nat, IDL.Nat], [Result_6], []),
+    'deleteDocument' : IDL.Func([IDL.Nat, IDL.Text], [Result_3], []),
+    'downloadDocumentChunk' : IDL.Func([IDL.Nat, IDL.Nat], [Result_7], []),
     'generateCSRFToken' : IDL.Func([], [IDL.Text], []),
     'getAuditLogs' : IDL.Func([IDL.Nat], [IDL.Vec(AuditLog)], ['query']),
     'getCSRFToken' : IDL.Func([], [IDL.Opt(IDL.Text)], ['query']),
@@ -91,13 +100,13 @@ export const idlFactory = ({ IDL }) => {
         [IDL.Opt(DocumentProof)],
         ['query'],
       ),
-    'getDocumentMetadata' : IDL.Func([IDL.Nat], [Result_5], ['query']),
+    'getDocumentMetadata' : IDL.Func([IDL.Nat], [Result_6], ['query']),
     'getDocumentProof' : IDL.Func(
         [IDL.Nat],
         [IDL.Opt(DocumentProof)],
         ['query'],
       ),
-    'getDocumentUploadStatus' : IDL.Func([IDL.Nat], [Result_4], ['query']),
+    'getDocumentUploadStatus' : IDL.Func([IDL.Nat], [Result_5], ['query']),
     'getDocumentVerificationCanister' : IDL.Func(
         [],
         [IDL.Opt(IDL.Principal)],
@@ -156,7 +165,7 @@ export const idlFactory = ({ IDL }) => {
         [IDL.Opt(IDL.Principal)],
         ['query'],
       ),
-    'markDocumentDeleted' : IDL.Func([IDL.Nat, IDL.Text], [Result_2], []),
+    'markDocumentDeleted' : IDL.Func([IDL.Nat, IDL.Text], [Result_3], []),
     'recordAuditEntry' : IDL.Func(
         [
           ActorType,
@@ -166,7 +175,7 @@ export const idlFactory = ({ IDL }) => {
           IDL.Bool,
           IDL.Text,
         ],
-        [Result_3],
+        [Result_4],
         [],
       ),
     'registerDocumentProof' : IDL.Func(
@@ -180,7 +189,7 @@ export const idlFactory = ({ IDL }) => {
           IDL.Text,
           IDL.Text,
         ],
-        [Result_3],
+        [Result_4],
         [],
       ),
     'registerLandRegistryDocument' : IDL.Func(
@@ -195,36 +204,37 @@ export const idlFactory = ({ IDL }) => {
           IDL.Opt(IDL.Int),
           IDL.Nat,
         ],
-        [Result_3],
+        [Result_4],
         [],
       ),
     'setDocumentVerificationCanister' : IDL.Func(
         [IDL.Principal],
-        [Result_2],
+        [Result_3],
         [],
       ),
-    'setLandRegistryCanister' : IDL.Func([IDL.Principal], [Result_2], []),
+    'setLandRegistryCanister' : IDL.Func([IDL.Principal], [Result_3], []),
     'setTransactionManagerCanister' : IDL.Func(
         [IDL.Principal, IDL.Text],
-        [Result_2],
+        [Result_3],
         [],
       ),
     'setUserManagementCanister' : IDL.Func(
         [IDL.Principal, IDL.Text],
-        [Result_2],
+        [Result_3],
         [],
       ),
     'uploadDocumentChunk' : IDL.Func(
         [IDL.Nat, IDL.Nat, IDL.Vec(IDL.Nat8), IDL.Text],
-        [Result_1],
+        [Result_2],
         [],
       ),
     'validateCSRFToken' : IDL.Func([IDL.Text], [IDL.Bool], []),
     'verifyDocumentHash' : IDL.Func(
         [IDL.Nat, IDL.Text, IDL.Text],
-        [Result],
+        [Result_1],
         [],
       ),
+    'verifyOnChainIntegrity' : IDL.Func([IDL.Nat], [Result], []),
   });
 };
 export const init = ({ IDL }) => { return []; };

package/src/canisters/document_verification/document_verification.did

@@ -196,6 +196,12 @@ service : {
                                           err: text;
                                           ok;
                                         });
+  fetchDocument: (id: nat) -> (opt DocumentMetadata);
+  fetchDocumentVerifications: (documentId: nat) -> (vec DocumentVerification);
+  fetchPropertyDocuments: (propertyId: nat) -> (vec DocumentMetadata);
+  fetchUnverifiedDocuments: (propertyId: nat) -> (vec DocumentMetadata);
+  fetchVerification: (verificationId: nat) -> (opt DocumentVerification);
+  fetchVerificationsByTransaction: (txId: nat) -> (vec DocumentVerification);
   getAuditLogs: () -> (vec AuditLog) query;
   getConfiguration: () ->
    (record {
@@ -204,12 +210,6 @@ service : {
     }) query;
   getCycles: () -> (nat) query;
   getDocument: (id: nat) -> (opt DocumentMetadata) query;
-  fetchDocument: (id: nat) -> (opt DocumentMetadata);
-  fetchDocumentVerifications: (documentId: nat) -> (vec DocumentVerification);
-  fetchPropertyDocuments: (propertyId: nat) -> (vec DocumentMetadata);
-  fetchUnverifiedDocuments: (propertyId: nat) -> (vec DocumentMetadata);
-  fetchVerification: (verificationId: nat) -> (opt DocumentVerification);
-  fetchVerificationsByTransaction: (txId: nat) -> (vec DocumentVerification);
   getDocumentVerifications: (documentId: nat) ->
    (vec DocumentVerification) query;
   getOscarVerificationDetails: (verificationId: nat) ->