Update app.py

app.py

@@ -3,8 +3,7 @@ ProofAssets: Real Estate Tokenizer (Heuristic Demo)
 """
 
 from __future__ import annotations
-import re
-import json
+import re, json, os
 from typing import Dict, Any, List, Optional
 from dateparser.search import search_dates
 import gradio as gr
@@ -15,8 +14,7 @@ def _clean(s: str) -> str:
 def extract_parties(text: str) -> Optional[List[str]]:
     m = re.search(r"\bbetween\s+(.+?)\s+and\s+(.+?)(?:[,.;\n]| for\b)", text, re.I | re.S)
     if m:
-        p1 = _clean(m.group(1))
-        p2 = _clean(m.group(2))
+        p1, p2 = _clean(m.group(1)), _clean(m.group(2))
         p1 = re.sub(r"^(?:the\s+)?(landlord|lessor|owner)\s*[:\-]*\s*", "", p1, flags=re.I)
         p2 = re.sub(r"^(?:the\s+)?(tenant|lessee|occupant)\s*[:\-]*\s*", "", p2, flags=re.I)
         return [p1, p2]
@@ -34,14 +32,13 @@ def extract_address(text: str) -> Optional[str]:
         r"\baddress\s*[:\-]\s*(.+?)(?:[,.;\n])",
     ]:
         m = re.search(pat, text, flags=re.I)
-        if m:
-            return _clean(m.group(1))
+        if m: return _clean(m.group(1))
     return None
 
 def extract_term(text: str) -> Optional[str]:
     m = re.search(r"(?:lease\s+term\s+is|for\s+a\s+term\s+of|term\s*[:\-])\s*(\d{1,3})\s*(month|months|year|years)", text, flags=re.I)
     if m:
-        n = int(m.group(1)); unit = m.group(2).lower()
+        n, unit = int(m.group(1)), m.group(2).lower()
         return f"{n} years" if unit.startswith("year") else f"{n} months"
     m = re.search(r"(\d{1,3})\s*-\s*month\s+term", text, flags=re.I)
     if m: return f"{int(m.group(1))} months"
@@ -109,8 +106,7 @@ def extract_metadata(contract_text: str) -> Dict[str, Any]:
     }
 
 def summarize(metadata: Dict[str, Any]) -> str:
-    if "error" in metadata:
-        return f"**Error:** {metadata['error']}"
+    if "error" in metadata: return f"**Error:** {metadata['error']}"
     parts: List[str] = []
     if metadata.get("parties"): parts.append(f"**Parties:** {', '.join(metadata['parties'])}")
     if metadata.get("property_address"): parts.append(f"**Property:** {metadata['property_address']}")
@@ -154,5 +150,12 @@ with gr.Blocks(title="ProofAssets: Real Estate Tokenizer") as demo:
     extract_btn.click(run_pipeline, inputs=inp, outputs=[summary_out, json_out])
     clear_btn.click(lambda: ("", {}), None, [summary_out, json_out])
 
-# Some runners look for `app`; provide an alias
+# Expose standard names for the runner
 app = demo
+gradio_app = demo
+
+# As a fallback, explicitly launch if executed directly (works fine on Spaces too)
+if __name__ == "__main__":
+    demo.queue()
+    demo.launch(server_name="0.0.0.0", server_port=int(os.getenv("PORT", "7860")))
+