Update app.py

app.py

@@ -141,6 +141,62 @@ SEV = {
     (7,"HIGH"):"HIGH",    (7,"MEDIUM"):"MEDIUM",   (7,"LOW"):"LOW",
 }
 
+# NEW (Phase 6): the generic Gharar citation in ALTERNATIVE_MAP[2] was
+# hardcoded to always cite AAOIFI SS26 (Takaful) / SS10 (Salam) — found,
+# via direct review of real Murabaha documents, to be actively confusing
+# on the single most common contract type MACI is used against: citing
+# Takaful (insurance) and Salam (forward-delivery sale) standards on a
+# Murabaha contract's Gharar flag doesn't map to anything actually in
+# the document. This does simple keyword-based contract-type detection
+# and picks the AAOIFI standard that's actually contextually relevant,
+# defaulting to Murabaha (SS8) — the most common case, and the standard
+# the structural layer already cites for the same document type — rather
+# than defaulting to Takaful, which was a poor default to begin with.
+GHARAR_CITATION_BY_CONTRACT_TYPE = {
+    "murabaha": {
+        "aaoifi_standard": "AAOIFI Shari'a Standard No. 8 (Murabaha), \u00a72/2 \u2014 price, subject matter, and delivery terms must be clearly specified",
+        "structural_fix": "Specify subject matter, price, delivery date, and quality within the Murabaha agreement itself \u2014 ambiguity here is what AAOIFI SS8 \u00a72/2 requires be removed.",
+    },
+    "tawarruq": {
+        "aaoifi_standard": "AAOIFI Shari'a Standard No. 30 (Monetisation / Tawarruq) \u2014 subject matter and pricing must be clearly specified and free of ambiguity",
+        "structural_fix": "Specify the underlying commodity, price, and settlement terms within the Tawarruq arrangement itself.",
+    },
+    "salam": {
+        "aaoifi_standard": "AAOIFI Shari'a Standard No. 10 (Salam and Parallel Salam)",
+        "structural_fix": "Specify subject matter, quantity, quality, and delivery date at contract formation, as required for a valid Salam sale.",
+    },
+    "takaful": {
+        "aaoifi_standard": "AAOIFI Shari'a Standard No. 26 (Takaful)",
+        "structural_fix": "Specify the risk being covered, contribution basis, and surplus-distribution terms within the Takaful policy itself.",
+    },
+    "ijara": {
+        "aaoifi_standard": "AAOIFI Shari'a Standard No. 9 (Ijarah and Ijarah Muntahia Bittamleek)",
+        "structural_fix": "Specify the leased asset, rental terms, and maintenance responsibility within the Ijara agreement itself.",
+    },
+}
+
+def detect_contract_type(text: str) -> str:
+    """
+    Simple keyword-based contract-type detection, English + Arabic,
+    used only to pick a contextually-relevant Gharar citation. Not a
+    claim of deep semantic contract understanding — a document that
+    never names its own contract type falls back to Murabaha, the most
+    common case in current usage and the type the structural layer is
+    most built around, rather than an arbitrary unrelated default.
+    """
+    t = text.lower()
+    if "tawarruq" in t or "توارق" in text:
+        return "tawarruq"
+    if "salam" in t or "سلم" in text:
+        return "salam"
+    if "takaful" in t or "تكافل" in text:
+        return "takaful"
+    if "ijara" in t or "ijarah" in t or "إجارة" in text:
+        return "ijara"
+    if "murabaha" in t or "مرابحة" in text:
+        return "murabaha"
+    return "murabaha"
+
 # NEW (Phase 5): maps each structural pattern to the closest existing
 # `pred` class id. This is what lets a structural override also correct
 # maqasid_enrichment (Phase 2) and jurisdiction_overlay (Phase 3) below —
@@ -767,6 +823,17 @@ def classify(text: str, context: str = "general",
     compliant_alternative = altmap["primary"]
     structural_fix         = altmap["structural_fix"]
     aaoifi_standard         = altmap["aaoifi_standard"]
+
+    # NEW (Phase 6): for a generic (non-structural, non-hard-negative)
+    # Gharar flag, replace the old hardcoded Takaful/Salam citation with
+    # one chosen by detected contract type — see
+    # GHARAR_CITATION_BY_CONTRACT_TYPE above for why this changed.
+    if pred == 2 and reconciliation["source"] not in ("structural_override", "hard_negative_downgrade"):
+        contract_type = detect_contract_type(text)
+        citation = GHARAR_CITATION_BY_CONTRACT_TYPE[contract_type]
+        aaoifi_standard = citation["aaoifi_standard"]
+        structural_fix  = citation["structural_fix"]
+
     if reconciliation["source"] == "structural_override":
         aaoifi_standard = top["aaoifi_standard"]
         structural_fix  = top["explanation"]