Hugging Face's logo

Spaces:
lablab-ai-amd-developer-hackathon
/
proofbridge-liner-safety-kernel
Runtime error

App Files Community
proofbridge-liner-safety-kernel
File size: 2,821 Bytes
93c7565
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
// prover/validator.js
// ProofBridge Liner — Deterministic Document Structure Gate
//
// First Principles Build:
//   A South African deed of transfer is authentic if and only if it
//   contains a fixed set of mandatory structural markers. Their presence
//   is a necessary condition for legal validity — not sufficient, but necessary.
//
// Architecture:
//   Pure function. Zero dependencies. Regex-based. Conjunction gate.
//   All six rules must pass for documentValid = true.
//
// Integration:
//   PDF Buffer → extractTextFromPDF() → validateDeed() → scoreAsset()
//   When documentValid = false, scorer clamps triggerScore to ≥ 0.80.
//
// Safety Kernel v1.0: FROZEN — no on-chain changes required.

const RULES = [
  {
    id: 'TITLE_DEED_NUMBER',
    label: 'Title deed number present (e.g. T12345/2023)',
    check: (text) => /T\d{5,}\/20\d{2}/i.test(text),
  },
  {
    id: 'PROPERTY_DESCRIPTION',
    label: 'Property description (ERF, FARM, or SECTIONAL TITLE)',
    check: (text) =>
      /\b(ERF\s+\d+|FARM\s+\d+|SECTIONAL\s+TITLE)\b/i.test(text),
  },
  {
    id: 'VESTING_CLAUSE',
    label: 'Vesting clause present (hereby transferred)',
    check: (text) => /(hereby transferred|do hereby transfer)/i.test(text),
  },
  {
    id: 'EXECUTION_DATE',
    label: 'Execution date present and within last 50 years',
    check: (text) => {
      const match = text.match(
        /(\d{1,2}\s+(January|February|March|April|May|June|July|August|September|October|November|December)\s+\d{4})/i
      );
      if (!match) return false;
      const year = parseInt(match[0].match(/\d{4}/)[0], 10);
      const currentYear = new Date().getFullYear();
      return year >= currentYear - 50 && year <= currentYear;
    },
  },
  {
    id: 'REGISTRAR_SIGNATURE',
    label: 'Registrar of Deeds signature block',
    check: (text) => /REGISTRAR\s+OF\s+DEEDS/i.test(text),
  },
  {
    id: 'MINIMUM_LENGTH',
    label: 'Document text at least 500 characters',
    check: (text) => text.length >= 500,
  },
];

/**
 * Validates extracted deed text against mandatory structural markers.
 * @param {string} text - Extracted PDF text
 * @returns {{ valid: boolean, failures: Array<{id: string, label: string}> }}
 */
function validateDeed(text) {
  if (!text || typeof text !== 'string') {
    return {
      valid: false,
      failures: [{ id: 'INPUT', label: 'No text provided' }],
    };
  }

  const failures = [];
  for (const rule of RULES) {
    try {
      if (!rule.check(text)) {
        failures.push({ id: rule.id, label: rule.label });
      }
    } catch (err) {
      failures.push({
        id: rule.id,
        label: `${rule.label} (error: ${err.message})`,
      });
    }
  }

  return {
    valid: failures.length === 0,
    failures,
  };
}

module.exports = { validateDeed, RULES };