feat: add custom legal evidence desk UI

Co-authored-by: OpenAI Codex <codex@openai.com>

.gitignore

@@ -3,3 +3,5 @@ __pycache__/
 .env
 .venv/
 venv/
+.ui-check/
+mock-server.*.log

README.md

@@ -80,6 +80,8 @@ datasets:
 
 Paste any contract → verbatim risky-clause flags, a risk score, in-text highlighting, plain-English "push back" tips, and a one-click negotiation email. The entire model runs inside this Space — **no external LLM API is ever called**.
 
+The Space now uses a custom **redline legal evidence desk** frontend around the same Gradio/ZeroGPU backend: a real SEC filing loads by default, the judge path is visible on the first screen, and results render as a risk docket with clause evidence and a negotiation letter panel.
+
 ## Submission Snapshot
 
 | | |
@@ -145,6 +147,7 @@ Each is built into the app's dropdown and links to its original SEC filing — c
 - **Three guards** keep flags honest: the quote must appear verbatim in the contract, can't repeat across categories, and must contain category-relevant terms.
 - **Coverage declaration** on every result: which clause types were checked, which skipped, and how much of the document was read.
 - **✉️ Negotiation email**: one click turns the flags into a polite, plain-English push-back email (draft for review).
+- **Custom UI without a build step**: `gradio.Server` serves vanilla `index.html`, `static/app.css`, and `static/app.js`; if `Server` is unavailable, the app falls back to a styled Gradio Blocks interface.
 
 ## Run it on your own machine (offline)
 

app.py

@@ -1,13 +1,15 @@
-# Lease Lens v2.0 — ZeroGPU edition
-# Fine-tuned 3B legal model (adapter: giladam01/lease-lens-legal-3b) on @spaces.GPU.
-# All clause categories run in ONE batched generate -> seconds, not minutes.
+# Lease Lens v3.0 - custom evidence desk UI
+# Fine-tuned 3B legal model (adapter: giladam01/lease-lens-legal-3b) on ZeroGPU.
+# Model, prompts, extraction guards, scoring, and generation behavior are kept stable.
 import json
 import html as _html
+import os
+from pathlib import Path
 
-import torch
-import gradio as gr
-from transformers import AutoModelForCausalLM, AutoTokenizer
-from peft import PeftModel
+try:
+    import gradio as gr
+except ImportError:  # local mock mode can still serve the custom frontend without Gradio.
+    gr = None
 
 try:
     import spaces  # provided on HF Spaces (ZeroGPU)
@@ -21,30 +23,42 @@ except ImportError:  # local fallback so the file also runs off-Spaces
             return deco
     spaces = _S()
 
+
+ROOT = Path(__file__).resolve().parent
+INDEX_HTML = ROOT / "index.html"
+STATIC_DIR = ROOT / "static"
+MOCK_MODE = os.getenv("LEASE_LENS_MOCK", "").strip() == "1"
+
 BASE = "unsloth/Llama-3.2-3B-Instruct"
 ADAPTER = "giladam01/lease-lens-legal-3b"
 
-tok = AutoTokenizer.from_pretrained(ADAPTER)
-tok.pad_token = tok.pad_token or tok.eos_token
-tok.padding_side = "left"  # decoder-only batch generation
-_base = AutoModelForCausalLM.from_pretrained(BASE, dtype=torch.bfloat16)
-# ZeroGPU FIX: at startup the platform emulates CUDA, which tricks PEFT into loading
-# adapter tensors straight onto a GPU that doesn't physically exist yet
-# ("No CUDA GPUs are available"). Force the adapter load onto CPU, merge there,
-# THEN move the merged model to (emulated) CUDA — the supported pattern.
-try:
-    model = PeftModel.from_pretrained(_base, ADAPTER, torch_device="cpu")
-except TypeError:  # older peft without torch_device kwarg: hide CUDA during the load
-    _avail, _cnt = torch.cuda.is_available, torch.cuda.device_count
-    torch.cuda.is_available = lambda: False
-    torch.cuda.device_count = lambda: 0
+if not MOCK_MODE:
+    import torch
+    from transformers import AutoModelForCausalLM, AutoTokenizer
+    from peft import PeftModel
+
+    tok = AutoTokenizer.from_pretrained(ADAPTER)
+    tok.pad_token = tok.pad_token or tok.eos_token
+    tok.padding_side = "left"  # decoder-only batch generation
+    _base = AutoModelForCausalLM.from_pretrained(BASE, dtype=torch.bfloat16)
+    # ZeroGPU FIX: at startup the platform emulates CUDA, which tricks PEFT into loading
+    # adapter tensors straight onto a GPU that doesn't physically exist yet
+    # ("No CUDA GPUs are available"). Force the adapter load onto CPU, merge there,
+    # THEN move the merged model to (emulated) CUDA - the supported pattern.
     try:
-        model = PeftModel.from_pretrained(_base, ADAPTER)
-    finally:
-        torch.cuda.is_available, torch.cuda.device_count = _avail, _cnt
-model = model.merge_and_unload()
-model.to("cuda")  # ZeroGPU emulates CUDA at startup; real GPU attaches inside @spaces.GPU
-model.eval()
+        model = PeftModel.from_pretrained(_base, ADAPTER, torch_device="cpu")
+    except TypeError:  # older peft without torch_device kwarg: hide CUDA during the load
+        _avail, _cnt = torch.cuda.is_available, torch.cuda.device_count
+        torch.cuda.is_available = lambda: False
+        torch.cuda.device_count = lambda: 0
+        try:
+            model = PeftModel.from_pretrained(_base, ADAPTER)
+        finally:
+            torch.cuda.is_available, torch.cuda.device_count = _avail, _cnt
+    model = model.merge_and_unload()
+    model.to("cuda")  # ZeroGPU emulates CUDA at startup; real GPU attaches inside @spaces.GPU
+    model.eval()
+
 
 SYSTEM = ("You are a meticulous legal contract analyst. Given a contract excerpt and a clause "
           "category, extract the exact verbatim text of any clause that matches that category. "
@@ -85,60 +99,171 @@ def run_batch(user_msgs, max_new_tokens=128):
     return outs
 
 
-def highlight(contract, snippets):
+EXAMPLES = {
+"Apartment lease": """RESIDENTIAL LEASE AGREEMENT (excerpt)
+
+3. TERM. This Lease begins July 1 for twelve (12) months. Unless either party gives written notice at least ninety (90) days before the end of the term, this Lease automatically renews for successive 12-month terms at the then-current market rent.
+4. RENT. Monthly rent is $2,400. Landlord may increase the rent by up to eight percent (8%) upon each renewal. Any payment received after the 5th incurs a late fee of $150 plus $25 per day.
+7. EARLY TERMINATION. Tenant may terminate early only upon payment of two (2) months' rent, and forfeits the entire security deposit.
+11. MAINTENANCE. Tenant is responsible for all repairs and maintenance, including HVAC, plumbing, and appliances, regardless of cause.
+15. ENTRY. Landlord may enter the premises at any time to inspect, repair, or show the unit.
+19. DISPUTES. The parties waive any right to a jury trial; all disputes shall be resolved by binding arbitration in the county of Landlord's choosing. Tenant waives the right to participate in any class action.""",
+
+"Freelance contract (NDA + IP)": """INDEPENDENT CONTRACTOR AGREEMENT (excerpt)
+
+2. INTELLECTUAL PROPERTY. All work product, and any pre-existing materials incorporated therein, are hereby assigned exclusively to Client upon creation.
+3. NON-COMPETE. For twenty-four (24) months after termination, Contractor shall not provide similar services to any competitor of Client anywhere in the United States.
+4. PAYMENT. Net-60. Client may terminate at any time without cause, in which case Contractor forfeits any unpaid fees for work in progress.
+6. INDEMNIFICATION. Contractor shall indemnify and hold Client harmless from any and all claims arising from the work, regardless of fault.
+9. DISPUTES. Any dispute shall be resolved by binding arbitration. Contractor waives the right to a jury trial and to participate in any class or collective action.""",
+
+"SaaS Terms of Service": """SOFTWARE SUBSCRIPTION TERMS (excerpt)
+
+4. TERM & RENEWAL. Your subscription automatically renews for successive annual terms unless cancelled at least sixty (60) days before renewal. We may increase fees by up to fifteen percent (15%) on each renewal.
+6. CANCELLATION. To cancel you must send written notice; cancellation is effective at the end of the then-current term. No refunds are provided.
+8. LIABILITY. Our total liability is limited to the fees you paid in the one (1) month preceding the claim. We may modify or discontinue the Service at any time without notice.
+12. DISPUTES. You agree to binding arbitration and waive any right to a jury trial or to participate in a class action.""",
+
+"Gym membership": """FITNESS MEMBERSHIP AGREEMENT (excerpt)
+
+1. TERM. Twelve (12) month minimum commitment. After the initial term, membership automatically continues month-to-month at the then-current rate.
+2. CANCELLATION. Cancellation requires thirty (30) days' written notice delivered by certified mail. Early cancellation within the initial term requires payment of all remaining monthly dues.
+3. FEES. Dues are billed monthly. A late payment incurs a $40 fee plus any collection costs and reasonable attorneys' fees.
+5. RELEASE OF LIABILITY. Member uses all facilities at Member's own risk and releases the Gym from any and all liability, including claims arising from the Gym's own negligence.""",
+}
+
+# Real executed leases from SEC EDGAR filings (public record) - judges can analyze a genuine
+# contract in one click, not just the teaching samples.
+REAL_SOURCES = {}
+try:
+    from sample_contracts import REAL_EXAMPLES, REAL_SOURCES
+    EXAMPLES = {**REAL_EXAMPLES, **EXAMPLES}
+except Exception as _e:
+    print("sample_contracts not loaded:", _e)
+
+DEFAULT_EXAMPLE = next(iter(EXAMPLES))
+
+
+def _source_banner_html(name):
+    url = REAL_SOURCES.get(name)
+    if not url:
+        return ""
+    return ('<div class="source-banner">'
+            '<span class="source-dot">SEC</span>'
+            '<b>Real executed contract</b>, public filing - '
+            '<a href="' + _html.escape(url, quote=True) + '" target="_blank" rel="noopener noreferrer">'
+            'verify the source on sec.gov</a> · outside the model training data.</div>')
+
+
+def get_example_payload(name):
+    if name not in EXAMPLES:
+        name = DEFAULT_EXAMPLE
+    return {
+        "name": name,
+        "text": EXAMPLES.get(name, ""),
+        "source_url": REAL_SOURCES.get(name, ""),
+        "source_banner_html": _source_banner_html(name),
+        "is_real": name in REAL_SOURCES,
+    }
+
+
+def bootstrap_payload():
+    return {
+        "examples": list(EXAMPLES.keys()),
+        "default_example": DEFAULT_EXAMPLE,
+        "proof_chips": [
+            "3B fine-tune",
+            "+242% F1 vs base",
+            "SEC-filed examples",
+            "GGUF / llama.cpp",
+            "ZeroGPU",
+            "No external LLM API",
+        ],
+        "mock_mode": MOCK_MODE,
+    }
+
+
+def highlight_html(contract, snippets):
     esc = _html.escape(contract)
     for s in snippets:
-        es = _html.escape(s.strip())
+        es = _html.escape((s or "").strip())
         if len(es) > 3 and es in esc:
-            esc = esc.replace(es, '<mark style="background:#ffd86b;color:#1a1a1a;border-radius:3px">' + es + '</mark>', 1)
-    return ('<div style="white-space:pre-wrap;font-family:Georgia,\'Iowan Old Style\',serif;font-size:14px;'
-            'line-height:1.7;color:#e2e8f0;background:#0d1220;border:1px solid #27314e;padding:16px 18px;'
-            'border-radius:10px;max-height:440px;overflow:auto">' + esc + '</div>')
+            esc = esc.replace(es, '<mark>' + es + '</mark>', 1)
+    return '<div class="contract-page">' + esc + '</div>'
 
 
-def render_results(findings, skipped, n_checked):
+def _score_findings(findings):
     score = sum(2 if f["risk"] == "high" else 1 for f in findings)
     maxscore = sum(2 if c["risk"] == "high" else 1 for c in CLAUSES)
     risk_pct = round(100 * score / maxscore) if maxscore else 0
     high_n = sum(1 for f in findings if f["risk"] == "high")
     verdict = "High risk" if high_n else ("Some risk" if findings else "Looks clean")
-    vcolor = "#fc8181" if high_n else ("#f6ad55" if findings else "#68d391")   # softened for dark mode
-    head = ('<div style="font-family:Inter,system-ui,sans-serif;display:flex;gap:20px;align-items:center;'
-            'background:#151d30;border:1px solid #27314e;border-radius:14px;padding:16px 20px;margin-bottom:14px">'
-            '<div style="font-size:40px;font-weight:700;color:' + vcolor + '">' + str(risk_pct) +
-            '<span style="font-size:18px;color:#9aa6c4">/100</span></div>'
-            '<div><div style="font-size:18px;font-weight:600;color:' + vcolor + '">' + verdict + '</div>'
-            '<div style="color:#9aa6c4;font-size:14px">' + str(len(findings)) + ' clauses flagged (' + str(high_n) +
-            ' high-risk) of ' + str(n_checked) + ' checked</div></div></div>')
-    cards = []
-    for f in sorted(findings, key=lambda x: 0 if x["risk"] == "high" else 1):
-        color = "#fc8181" if f["risk"] == "high" else "#f6ad55"
-        tag = "High risk" if f["risk"] == "high" else "Review"
-        cards.append(
-          '<div style="border-left:5px solid ' + color + ';background:rgba(255,255,255,0.05);border-radius:10px;'
-          'padding:14px 16px;margin-bottom:14px;color:#e2e8f0;font-family:Inter,system-ui,sans-serif">'
-          '<div style="display:flex;gap:10px;align-items:center"><b style="font-size:16px;color:#f8fafc">' + _html.escape(f["label"]) + '</b>'
-          '<span style="font-size:11px;color:' + color + ';border:1px solid ' + color + ';border-radius:6px;padding:2px 8px">' + tag + '</span></div>'
-          '<div style="font-family:ui-monospace,SFMono-Regular,monospace;font-size:13px;color:#e2e8f0;background:#0d1220;'
-          'border-radius:8px;padding:11px 13px;margin:11px 0;white-space:pre-wrap;line-height:1.55">' + _html.escape(f["text"]) + '</div>'
-          '<div style="color:#cbd5e0;font-size:14px;line-height:1.5">💡 <b style="color:#90cdf4">Why this matters:</b> ' + _html.escape(f["why"]) + '</div>'
-          '<div style="color:#9ae6b4;font-size:14px;margin-top:6px;line-height:1.5">✋ <b style="color:#9ae6b4">Push back:</b> ' + _html.escape(f["tip"]) + '</div></div>')
-    body = head + ("".join(cards) if findings else
-                   '<p style="color:#5fe0a0;font-family:Inter,sans-serif">No risky clauses flagged.</p>')
-    if skipped:
-        body += ('<div style="font-family:Inter,system-ui,sans-serif;color:#9aa6c4;font-size:13px;margin-top:10px">'
-                 'Coverage: checked ' + str(n_checked) + ' of ' + str(len(CLAUSES)) +
-                 ' clause types; skipped (keywords absent): ' + ", ".join(skipped) + '</div>')
-    body += ('<div style="font-family:Inter,system-ui,sans-serif;color:#6b7689;font-size:12px;margin-top:8px">'
-             'Not legal advice — every flag is a draft for review.</div>')
-    return body
-
-
-def analyze(text):
+    return risk_pct, high_n, verdict
+
+
+def _analysis_payload(text, findings, skipped, n_checked, snippets, chunk_count=0, char_count=0, note=""):
+    risk_pct, high_n, verdict = _score_findings(findings)
+    return {
+        "status": "ok",
+        "score": risk_pct,
+        "verdict": verdict,
+        "high_count": high_n,
+        "flag_count": len(findings),
+        "checked_count": n_checked,
+        "total_clause_count": len(CLAUSES),
+        "skipped": skipped,
+        "findings": findings,
+        "snippets": snippets,
+        "highlighted_html": highlight_html(text, snippets),
+        "coverage_note": note,
+        "chunk_count": chunk_count,
+        "char_count": char_count,
+        "mock_mode": MOCK_MODE,
+        "disclaimer": "Not legal advice - every flag is a draft for review.",
+    }
+
+
+def _quote_near_keyword(text, keywords):
+    lower = text.lower()
+    hits = [lower.find(k) for k in keywords if lower.find(k) >= 0]
+    if not hits:
+        return ""
+    idx = min(hits)
+    start = max(0, idx - 180)
+    end = min(len(text), idx + 420)
+    return text[start:end].strip()
+
+
+def _mock_analyze_contract(text):
     text = (text or "").strip()
     if len(text) < 40:
-        yield '<p style="color:#ffb653;font-family:Inter,sans-serif">Paste or pick a contract first.</p>', "", "[]"
-        return
+        return {"status": "empty", "message": "Paste or pick a contract first.", "findings": []}
+    findings, snippets, covered = [], [], set()
+    for c in CLAUSES:
+        quote = _quote_near_keyword(text, c["kw"])
+        if not quote:
+            continue
+        covered.add(c["label"])
+        if len(findings) >= 5:
+            continue
+        snippets.append(quote)
+        findings.append({**c, "text": quote})
+    skipped = [c["label"] for c in CLAUSES if c["label"] not in covered]
+    if not findings and covered:
+        findings.append({**CLAUSES[0], "text": text[:420].strip()})
+        snippets.append(findings[0]["text"])
+    return _analysis_payload(text, findings, skipped, len(covered), snippets,
+                             chunk_count=1, char_count=len(text),
+                             note="Mock UI mode: deterministic local preview, not model output.")
+
+
+def analyze_contract_payload(text):
+    if MOCK_MODE:
+        return _mock_analyze_contract(text)
+
+    text = (text or "").strip()
+    if len(text) < 40:
+        return {"status": "empty", "message": "Paste or pick a contract first.", "findings": []}
     cn = " ".join(text.lower().split())
     # CHUNKED ANALYSIS: real contracts are long. Split into overlapping windows (first 80k
     # chars) and route each clause category only to windows containing its keywords.
@@ -146,66 +271,77 @@ def analyze(text):
     body_text = text[:CAP]
     chunks = [body_text[s:s + WIN] for s in range(0, max(len(body_text), 1), STRIDE)]
     chunks = [c for c in chunks if len(c) > 200] or [body_text]
-    pairs = []                                   # (clause, chunk_text)
+    pairs = []  # (clause, chunk_text)
     for c in CLAUSES:
         hit = [ch for ch in chunks if any(k in " ".join(ch.lower().split()) for k in c["kw"])]
-        for ch in hit[:6]:                        # cap windows per category
+        for ch in hit[:6]:
             pairs.append((c, ch))
     covered = {c["label"] for c, _ in pairs}
     skipped = [c["label"] for c in CLAUSES if c["label"] not in covered]
     if not pairs:
-        yield ('<p style="color:#5fe0a0;font-family:Inter,sans-serif">No risky clauses flagged '
-               '(no clause keywords present in this text).</p>'), highlight(text, []), "[]"
-        return
-    yield ('<div style="font-family:Inter,system-ui,sans-serif;color:#9aa6c4;background:#151d30;border:1px solid #27314e;'
-           'border-radius:12px;padding:12px 16px">⚡ Running ' + str(len(pairs)) + ' checks across ' +
-           str(len(chunks)) + ' document windows (' + str(len(body_text)) +
-           ' chars) in batched passes on ZeroGPU…</div>'), highlight(text, []), "[]"
+        return _analysis_payload(text, [], skipped, 0, [], len(chunks), len(body_text))
 
     msgs = [("Highlight any part of this contract related to: " + c["cat"] +
              ". If there is none, reply NONE.\n\n---\nContract:\n" + ch) for c, ch in pairs]
     try:
         answers = run_batch(msgs)
     except Exception as e:
-        yield ('<div style="color:#ff5d6c;font-family:Inter,sans-serif">GPU call failed: ' +
-               _html.escape(str(e)[:200]) + ' — try again in a minute (ZeroGPU queue).</div>'), highlight(text, []), "[]"
-        return
+        return {
+            "status": "error",
+            "message": "GPU call failed: " + str(e)[:200] + " - try again in a minute (ZeroGPU queue).",
+            "findings": [],
+            "highlighted_html": highlight_html(text, []),
+        }
 
     findings, snippets, used, found_cats = [], [], [], set()
     for (c, _ch), a in zip(pairs, answers):
-        if c["label"] in found_cats:                                        # first good hit wins
+        if c["label"] in found_cats:
             continue
         a = (a or "").strip()
         if a.upper() == "NONE" or len(a) <= 3:
             continue
         cand = a.split(" | ")[0].strip()
         ncs = " ".join(cand.lower().split())
-        if len(ncs) < 12 or ncs[:60] not in cn:                            # grounding (full doc)
+        if len(ncs) < 12 or ncs[:60] not in cn:
             continue
-        if any(ncs[:80] == u[:80] or ncs in u or u in ncs for u in used):  # dedup
+        if any(ncs[:80] == u[:80] or ncs in u or u in ncs for u in used):
             continue
-        if not any(k in ncs for k in c["kw"]):                             # keyword guard
+        if not any(k in ncs for k in c["kw"]):
             continue
-        used.append(ncs); snippets.append(cand)
-        findings.append({**c, "text": cand}); found_cats.add(c["label"])
+        used.append(ncs)
+        snippets.append(cand)
+        findings.append({**c, "text": cand})
+        found_cats.add(c["label"])
 
-    state = json.dumps([{"label": f["label"], "text": f["text"], "tip": f["tip"]} for f in findings])
-    extra = ('' if len(text) <= CAP else
-             '<div style="font-family:Inter,system-ui,sans-serif;color:#9aa6c4;font-size:13px;margin-top:6px">'
-             'Note: analyzed the first ' + str(CAP) + ' of ' + str(len(text)) + ' characters.</div>')
-    yield render_results(findings, skipped, len(covered)) + extra, highlight(text, snippets), state
+    note = ""
+    if len(text) > CAP:
+        note = "Analyzed the first " + str(CAP) + " of " + str(len(text)) + " characters."
+    return _analysis_payload(text, findings, skipped, len(covered), snippets, len(chunks), len(body_text), note)
 
 
-def draft_email(state):
+def draft_email_payload(state_json):
     try:
-        findings = json.loads(state or "[]")
+        findings = json.loads(state_json or "[]")
     except Exception:
         findings = []
     if not findings:
-        return "Run an analysis first — then I can draft the email from the flagged clauses."
+        return {"status": "empty", "email": "Run an analysis first - then I can draft the email from the flagged clauses."}
     lines = []
     for f in findings:
         lines.append("- " + f["label"] + ': "' + f["text"][:220] + '" -> ask: ' + f["tip"])
+
+    if MOCK_MODE:
+        return {
+            "status": "ok",
+            "email": (
+                "Subject: Lease revision requests\n\n"
+                "Hi,\n\n"
+                "I reviewed the draft and would like to discuss a few clauses before signing:\n\n"
+                + "\n".join(lines[:4]) +
+                "\n\nCould you send a revised draft reflecting these changes?\n\nThanks,\n\n---\nDraft for review - not legal advice."
+            ),
+        }
+
     msg = ("Write a short, polite, plain-English email to the other party of a contract, "
            "proposing changes to these flagged clauses. No legalese (say 'under' not 'pursuant to'). "
            "For each clause: what it currently says, and the change we request. Factual tone; do not "
@@ -214,125 +350,217 @@ def draft_email(state):
     try:
         out = run_batch([msg], max_new_tokens=400)[0]
     except Exception as e:
-        return "GPU call failed: " + str(e)[:200] + " — try again shortly."
-    return out + "\n\n---\nDraft for review — not legal advice."
+        return {"status": "error", "email": "GPU call failed: " + str(e)[:200] + " - try again shortly."}
+    return {"status": "ok", "email": out + "\n\n---\nDraft for review - not legal advice."}
 
 
-EXAMPLES = {
-"Apartment lease": """RESIDENTIAL LEASE AGREEMENT (excerpt)
+def _index_html():
+    html = INDEX_HTML.read_text(encoding="utf-8")
+    return html.replace("__LEASE_LENS_BOOTSTRAP__", json.dumps(bootstrap_payload()))
 
-3. TERM. This Lease begins July 1 for twelve (12) months. Unless either party gives written notice at least ninety (90) days before the end of the term, this Lease automatically renews for successive 12-month terms at the then-current market rent.
-4. RENT. Monthly rent is $2,400. Landlord may increase the rent by up to eight percent (8%) upon each renewal. Any payment received after the 5th incurs a late fee of $150 plus $25 per day.
-7. EARLY TERMINATION. Tenant may terminate early only upon payment of two (2) months' rent, and forfeits the entire security deposit.
-11. MAINTENANCE. Tenant is responsible for all repairs and maintenance, including HVAC, plumbing, and appliances, regardless of cause.
-15. ENTRY. Landlord may enter the premises at any time to inspect, repair, or show the unit.
-19. DISPUTES. The parties waive any right to a jury trial; all disputes shall be resolved by binding arbitration in the county of Landlord's choosing. Tenant waives the right to participate in any class action.""",
 
-"Freelance contract (NDA + IP)": """INDEPENDENT CONTRACTOR AGREEMENT (excerpt)
+def launch_server():
+    Server = getattr(gr, "Server", None)
+    if Server is None:
+        return launch_blocks_fallback()
 
-2. INTELLECTUAL PROPERTY. All work product, and any pre-existing materials incorporated therein, are hereby assigned exclusively to Client upon creation.
-3. NON-COMPETE. For twenty-four (24) months after termination, Contractor shall not provide similar services to any competitor of Client anywhere in the United States.
-4. PAYMENT. Net-60. Client may terminate at any time without cause, in which case Contractor forfeits any unpaid fees for work in progress.
-6. INDEMNIFICATION. Contractor shall indemnify and hold Client harmless from any and all claims arising from the work, regardless of fault.
-9. DISPUTES. Any dispute shall be resolved by binding arbitration. Contractor waives the right to a jury trial and to participate in any class or collective action.""",
+    from fastapi import Request
+    from fastapi.responses import HTMLResponse, FileResponse
 
-"SaaS Terms of Service": """SOFTWARE SUBSCRIPTION TERMS (excerpt)
+    app = Server()
 
-4. TERM & RENEWAL. Your subscription automatically renews for successive annual terms unless cancelled at least sixty (60) days before renewal. We may increase fees by up to fifteen percent (15%) on each renewal.
-6. CANCELLATION. To cancel you must send written notice; cancellation is effective at the end of the then-current term. No refunds are provided.
-8. LIABILITY. Our total liability is limited to the fees you paid in the one (1) month preceding the claim. We may modify or discontinue the Service at any time without notice.
-12. DISPUTES. You agree to binding arbitration and waive any right to a jury trial or to participate in a class action.""",
-
-"Gym membership": """FITNESS MEMBERSHIP AGREEMENT (excerpt)
-
-1. TERM. Twelve (12) month minimum commitment. After the initial term, membership automatically continues month-to-month at the then-current rate.
-2. CANCELLATION. Cancellation requires thirty (30) days' written notice delivered by certified mail. Early cancellation within the initial term requires payment of all remaining monthly dues.
-3. FEES. Dues are billed monthly. A late payment incurs a $40 fee plus any collection costs and reasonable attorneys' fees.
-5. RELEASE OF LIABILITY. Member uses all facilities at Member's own risk and releases the Gym from any and all liability, including claims arising from the Gym's own negligence.""",
-}
-
-CSS = """
-footer{display:none!important}
-.gradio-container{background:#0d1220!important; max-width:1180px!important}
-#hdr h1{color:#eaeefb; font-family:Inter,system-ui,sans-serif; margin-bottom:0}
-#hdr p{color:#9aa6c4; font-family:Inter,system-ui,sans-serif}
-#hdr .chip{display:inline-block;font-family:monospace;font-size:12px;color:#39d3c5;background:rgba(57,211,197,.1);
-  border:1px solid rgba(57,211,197,.35);padding:4px 10px;border-radius:999px;margin-right:6px}
-#go_row{margin:14px 0}
-"""
-
-EMPTY_STATE = ('<div style="font-family:Inter,system-ui,sans-serif;color:#9aa6c4;text-align:center;'
-               'background:rgba(255,255,255,0.03);border:1px dashed #27314e;border-radius:12px;padding:34px 20px">'
-               '<div style="font-size:34px;margin-bottom:8px">🔍</div>'
-               'Pick an example (or upload a contract) above and press <b style="color:#e2e8f0">⚡ Analyze contract</b> '
-               'to see the risk score, flagged clauses, and highlights here.</div>')
+    @app.api(name="get_example")
+    def get_example(name: str):
+        return get_example_payload(name)
 
+    @app.api(name="analyze_contract")
+    def analyze_contract(text: str):
+        return analyze_contract_payload(text)
 
-# Real executed leases from SEC EDGAR filings (public record) — judges can analyze a genuine
-# contract in one click, not just the teaching samples.
-REAL_SOURCES = {}
-try:
-    from sample_contracts import REAL_EXAMPLES, REAL_SOURCES
-    EXAMPLES = {**REAL_EXAMPLES, **EXAMPLES}
-except Exception as _e:
-    print("sample_contracts not loaded:", _e)
+    @app.api(name="draft_email")
+    def draft_email(state_json: str):
+        return draft_email_payload(state_json)
 
+    @app.get("/api/get_example")
+    async def rest_get_example(name: str = DEFAULT_EXAMPLE):
+        return get_example_payload(name)
 
-def _source_banner(name):
-    url = REAL_SOURCES.get(name)
-    if not url:
-        return ""   # synthetic teaching sample — no source banner
-    return ('<div style="font-family:Inter,system-ui,sans-serif;font-size:13px;color:#90cdf4;'
-            'background:rgba(144,205,244,0.08);border:1px solid rgba(144,205,244,0.3);'
-            'border-radius:10px;padding:10px 14px;margin-bottom:8px">'
-            '📄 <b>Real executed contract</b>, public SEC filing — '
-            '<a href="' + url + '" target="_blank" rel="noopener noreferrer" '
-            'style="color:#90cdf4;text-decoration:underline">verify the source on sec.gov ↗</a> · '
-            'outside the model\'s training data.</div>')
+    @app.post("/api/analyze_contract")
+    async def rest_analyze_contract(request: Request):
+        data = await request.json()
+        return analyze_contract_payload(data.get("text", ""))
 
+    @app.post("/api/draft_email")
+    async def rest_draft_email(request: Request):
+        data = await request.json()
+        return draft_email_payload(data.get("state_json", "[]"))
 
-def load_example(name):
-    # returns (contract_text, source_banner_html)
-    return EXAMPLES.get(name, ""), _source_banner(name)
+    @app.get("/", response_class=HTMLResponse)
+    async def homepage():
+        return _index_html()
 
+    @app.get("/static/{file_path:path}")
+    async def static_files(file_path: str):
+        target = (STATIC_DIR / file_path).resolve()
+        if STATIC_DIR.resolve() not in target.parents and target != STATIC_DIR.resolve():
+            raise FileNotFoundError(file_path)
+        return FileResponse(target)
 
-def load_file(path):
-    if not path:
-        return "", ""
-    with open(path, "r", errors="ignore") as fh:
-        return fh.read(), ""   # uploaded file: no SEC source banner
+    app.launch(show_error=True)
 
 
-DEFAULT_EXAMPLE = next(iter(EXAMPLES))
+CSS_FALLBACK = """
+footer{display:none!important}
+.gradio-container{background:#090b0f!important; max-width:1240px!important}
+#hdr{background:#11151d;border:1px solid #52442c;border-radius:8px;padding:20px 22px;margin-bottom:14px}
+#hdr h1{color:#f4ead7;font-family:Georgia,serif;margin:0 0 4px;font-size:34px}
+#hdr p{color:#c9bdab;font-family:Segoe UI,sans-serif;max-width:760px}
+#hdr .chip{display:inline-block;font-family:ui-monospace,monospace;font-size:12px;color:#6bd7d2;background:rgba(107,215,210,.09);
+  border:1px solid rgba(107,215,210,.35);padding:5px 10px;border-radius:999px;margin:5px 6px 0 0}
+#go_row{margin:14px 0}
+"""
 
 
-# Gradio 5.x (pinned via README sdk_version): css belongs in the Blocks constructor.
-with gr.Blocks(css=CSS, title="Lease Lens") as demo:
-    gr.HTML('<div id="hdr"><h1>🔍 Lease Lens</h1>'
-            '<p>Paste a lease or contract — a <b>fine-tuned 3B legal model</b> scores the risk, flags clauses '
-            'verbatim, highlights them in the text, and drafts your negotiation email.</p>'
-            '<span class="chip">⚡ ZeroGPU · seconds per analysis</span>'
-            '<span class="chip">3B fine-tune · +242% F1 vs base</span>'
-            '<span class="chip">also ships as GGUF for llama.cpp</span></div>')
-    with gr.Row():
-        ex = gr.Dropdown(choices=list(EXAMPLES.keys()), value=DEFAULT_EXAMPLE, label="Load a real-world example")
-        up = gr.File(label="…or upload your own .txt contract", file_types=[".txt"], type="filepath")
-    src_banner = gr.HTML(value=_source_banner(DEFAULT_EXAMPLE))   # shows SEC provenance when a real lease is selected
-    inp = gr.Textbox(value=EXAMPLES[DEFAULT_EXAMPLE], lines=10, max_lines=20, label="Contract text")
-    with gr.Row(elem_id="go_row"):
-        btn = gr.Button("⚡ Analyze contract", variant="primary", scale=4)
-        clear_btn = gr.Button("Clear", variant="secondary", scale=1)
-    st = gr.State("[]")
-    with gr.Row():
-        out_cards = gr.HTML(value=EMPTY_STATE)
-        out_doc = gr.HTML()
-    with gr.Accordion("✉️ Draft a negotiation email from the flags", open=False):
-        email_btn = gr.Button("Draft email")
-        email_out = gr.Textbox(lines=12, label="Draft (copy-paste, edit before sending)", show_copy_button=True)
-    ex.change(load_example, ex, [inp, src_banner])
-    up.upload(load_file, up, [inp, src_banner])
-    btn.click(analyze, inp, [out_cards, out_doc, st])
-    email_btn.click(draft_email, st, email_out)
-    clear_btn.click(lambda: ("", "", EMPTY_STATE, "", "[]"), None, [inp, src_banner, out_cards, out_doc, st])
-
-demo.queue().launch(ssr_mode=False, show_error=True)
+def _render_blocks_results(data):
+    if data.get("status") == "empty":
+        return '<div style="color:#e3b15f;font-family:Segoe UI,sans-serif">' + data["message"] + '</div>'
+    if data.get("status") == "error":
+        return '<div style="color:#ff6b6b;font-family:Segoe UI,sans-serif">' + _html.escape(data["message"]) + '</div>'
+    cards = [
+        '<div style="background:#11151d;border:1px solid #52442c;border-radius:8px;padding:16px;color:#f4ead7;font-family:Segoe UI,sans-serif;margin-bottom:12px">'
+        '<div style="font-family:Georgia,serif;font-size:38px;color:#b73737">' + str(data["score"]) + '<span style="font-size:16px;color:#9f927d">/100</span></div>'
+        '<b>' + _html.escape(data["verdict"]) + '</b><br>'
+        '<span style="color:#9f927d">' + str(data["flag_count"]) + ' clauses flagged of ' + str(data["checked_count"]) + ' checked</span></div>'
+    ]
+    for f in data.get("findings", []):
+        cards.append('<div style="border-left:4px solid #b73737;background:#121821;border-radius:8px;padding:13px;margin-bottom:10px;color:#f4ead7">'
+                     '<b>' + _html.escape(f["label"]) + '</b>'
+                     '<pre style="white-space:pre-wrap;color:#e5dccd;background:#090b0f;padding:10px;border-radius:6px">' + _html.escape(f["text"]) + '</pre>'
+                     '<div style="color:#c9bdab">Why: ' + _html.escape(f["why"]) + '</div>'
+                     '<div style="color:#84d39b">Push back: ' + _html.escape(f["tip"]) + '</div></div>')
+    return "".join(cards)
+
+
+def launch_blocks_fallback():
+    if gr is None:
+        raise RuntimeError("Gradio is required unless LEASE_LENS_MOCK=1 is used.")
+    with gr.Blocks(css=CSS_FALLBACK, title="Lease Lens") as demo:
+        gr.HTML('<div id="hdr"><h1>Lease Lens</h1>'
+                '<p>Read the lease before it reads you. A fine-tuned 3B legal model scores risk, flags verbatim clauses, highlights evidence, and drafts pushback.</p>'
+                '<span class="chip">3B fine-tune</span><span class="chip">+242% F1 vs base</span>'
+                '<span class="chip">SEC-filed examples</span><span class="chip">GGUF / llama.cpp</span></div>')
+        with gr.Row():
+            ex = gr.Dropdown(choices=list(EXAMPLES.keys()), value=DEFAULT_EXAMPLE, label="Load a real filing or sample")
+            up = gr.File(label="...or upload your own .txt contract", file_types=[".txt"], type="filepath")
+        src_banner = gr.HTML(value=_source_banner_html(DEFAULT_EXAMPLE))
+        inp = gr.Textbox(value=EXAMPLES[DEFAULT_EXAMPLE], lines=10, max_lines=20, label="Contract text")
+        with gr.Row(elem_id="go_row"):
+            btn = gr.Button("Analyze contract", variant="primary", scale=4)
+            clear_btn = gr.Button("Clear", variant="secondary", scale=1)
+        st = gr.State("[]")
+        with gr.Row():
+            out_cards = gr.HTML()
+            out_doc = gr.HTML()
+        with gr.Accordion("Negotiation Letter", open=False):
+            email_btn = gr.Button("Draft pushback")
+            email_out = gr.Textbox(lines=12, label="Draft for review", show_copy_button=True)
+
+        def load_example(name):
+            payload = get_example_payload(name)
+            return payload["text"], payload["source_banner_html"]
+
+        def load_file(path):
+            if not path:
+                return "", ""
+            with open(path, "r", errors="ignore") as fh:
+                return fh.read(), ""
+
+        def analyze_blocks(text):
+            data = analyze_contract_payload(text)
+            return _render_blocks_results(data), data.get("highlighted_html", ""), json.dumps(data.get("findings", []))
+
+        def draft_blocks(state_json):
+            return draft_email_payload(state_json).get("email", "")
+
+        ex.change(load_example, ex, [inp, src_banner])
+        up.upload(load_file, up, [inp, src_banner])
+        btn.click(analyze_blocks, inp, [out_cards, out_doc, st])
+        email_btn.click(draft_blocks, st, email_out)
+        clear_btn.click(lambda: ("", "", "", "", "[]"), None, [inp, src_banner, out_cards, out_doc, st])
+
+    demo.queue().launch(ssr_mode=False, show_error=True)
+
+
+def launch_stdlib_mock_server():
+    import mimetypes
+    from http.server import BaseHTTPRequestHandler, ThreadingHTTPServer
+    from urllib.parse import parse_qs, urlparse
+
+    class Handler(BaseHTTPRequestHandler):
+        def _json(self, payload, status=200):
+            body = json.dumps(payload).encode("utf-8")
+            self.send_response(status)
+            self.send_header("Content-Type", "application/json; charset=utf-8")
+            self.send_header("Content-Length", str(len(body)))
+            self.end_headers()
+            self.wfile.write(body)
+
+        def _read_json(self):
+            length = int(self.headers.get("Content-Length", "0"))
+            raw = self.rfile.read(length).decode("utf-8") if length else "{}"
+            return json.loads(raw or "{}")
+
+        def do_GET(self):
+            parsed = urlparse(self.path)
+            if parsed.path == "/":
+                body = _index_html().encode("utf-8")
+                self.send_response(200)
+                self.send_header("Content-Type", "text/html; charset=utf-8")
+                self.send_header("Content-Length", str(len(body)))
+                self.end_headers()
+                self.wfile.write(body)
+                return
+            if parsed.path == "/api/get_example":
+                name = parse_qs(parsed.query).get("name", [DEFAULT_EXAMPLE])[0]
+                self._json(get_example_payload(name))
+                return
+            if parsed.path.startswith("/static/"):
+                rel = parsed.path.replace("/static/", "", 1)
+                target = (STATIC_DIR / rel).resolve()
+                if not target.exists() or STATIC_DIR.resolve() not in target.parents:
+                    self.send_error(404)
+                    return
+                body = target.read_bytes()
+                self.send_response(200)
+                self.send_header("Content-Type", mimetypes.guess_type(str(target))[0] or "application/octet-stream")
+                self.send_header("Content-Length", str(len(body)))
+                self.end_headers()
+                self.wfile.write(body)
+                return
+            self.send_error(404)
+
+        def do_POST(self):
+            if self.path == "/api/analyze_contract":
+                self._json(analyze_contract_payload(self._read_json().get("text", "")))
+                return
+            if self.path == "/api/draft_email":
+                self._json(draft_email_payload(self._read_json().get("state_json", "[]")))
+                return
+            self.send_error(404)
+
+    host = os.getenv("HOST", "127.0.0.1")
+    port = int(os.getenv("PORT", "7860"))
+    print(f"Lease Lens mock UI running on http://{host}:{port}")
+    ThreadingHTTPServer((host, port), Handler).serve_forever()
+
+
+def launch():
+    if gr is None:
+        if MOCK_MODE:
+            return launch_stdlib_mock_server()
+        raise RuntimeError("Gradio is not installed. Hugging Face Spaces provides it via sdk_version.")
+    return launch_server()
+
+
+if __name__ == "__main__":
+    launch()

docs/codex-build-log.md

@@ -21,6 +21,12 @@ Prepare Lease Lens for the Build Small Hackathon with maximum near-deadline leve
   evidence and a short judge path.
 - Added this build log as the public provenance artifact for reviewers once the
   repo is published.
+- Replaced the visible stock Gradio Blocks interface with a custom redline legal
+  evidence desk served through `gradio.Server`, with a styled Blocks fallback.
+- Added public frontend source files: `index.html`, `static/app.css`,
+  `static/app.js`, and `static/lease-lens-mark.svg`.
+- Added REST fallback routes beside the Gradio client APIs so the custom
+  frontend still works if a browser blocks the CDN JS client.
 - Updated the Gradio app to default to a real SEC-filed lease and show the SEC
   provenance banner on first load.
 - Kept model loading, prompting, scoring, extraction guards, and generation
@@ -48,16 +54,6 @@ Expected:
 - private is `False`;
 - SHA matches the latest pushed Space commit.
 
-## Codex Attribution Policy
-
-Use commit messages with this trailer:
-
-```text
-Co-authored-by: OpenAI Codex <codex@openai.com>
-```
-
-This keeps the public Git history explicit for the OpenAI Codex Track judge.
-
 ## Local Codex-Attributed Commits
 
 - `df9f20d35448693d6307dc8be275963e4b90fbc5` - prepared the hackathon submission package, README proof, and app default.

index.html

@@ -0,0 +1,118 @@
+<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <title>Lease Lens</title>
+  <link rel="icon" href="/static/lease-lens-mark.svg" type="image/svg+xml">
+  <link rel="stylesheet" href="/static/app.css">
+</head>
+<body>
+  <script id="lease-lens-bootstrap" type="application/json">__LEASE_LENS_BOOTSTRAP__</script>
+
+  <main class="desk-shell">
+    <section class="hero-grid" aria-labelledby="app-title">
+      <div class="hero-copy">
+        <div class="brand-row">
+          <img src="/static/lease-lens-mark.svg" alt="" width="42" height="42">
+          <span>Lease Lens</span>
+        </div>
+        <p class="eyebrow">Redline evidence desk · 3B legal model</p>
+        <h1 id="app-title">Read the lease before it reads you.</h1>
+        <p class="lede">Load a real SEC-filed lease, run a grounded clause scan, and turn the flags into a plain-English pushback letter. No external LLM API is called.</p>
+        <div id="proofChips" class="proof-chips" aria-label="Project proof points"></div>
+      </div>
+
+      <aside class="quickstart" aria-label="Judge quickstart">
+        <div class="quickstart-title">Judge path</div>
+        <ol>
+          <li><span>01</span><b>Load real filing</b></li>
+          <li><span>02</span><b>Analyze contract</b></li>
+          <li><span>03</span><b>Draft pushback</b></li>
+        </ol>
+      </aside>
+    </section>
+
+    <section class="workspace-grid" aria-label="Contract analysis workspace">
+      <section class="intake-panel panel">
+        <div class="panel-head">
+          <div>
+            <p class="panel-kicker">Input</p>
+            <h2>Contract docket</h2>
+          </div>
+          <button id="clearBtn" class="ghost-btn" type="button">Clear</button>
+        </div>
+
+        <label class="field-label" for="exampleSelect">Real filing or sample</label>
+        <select id="exampleSelect" class="select-control"></select>
+
+        <div id="sourceBanner" class="source-slot" aria-live="polite"></div>
+
+        <div class="upload-row">
+          <label class="file-btn" for="fileInput">Upload .txt</label>
+          <input id="fileInput" type="file" accept=".txt,text/plain">
+          <span id="fileName">or edit the docket text below</span>
+        </div>
+
+        <label class="field-label" for="contractText">Contract text</label>
+        <textarea id="contractText" spellcheck="false"></textarea>
+
+        <div class="action-row">
+          <button id="analyzeBtn" class="primary-btn" type="button">
+            <span class="btn-main">Analyze contract</span>
+            <span class="btn-sub">verbatim flags + risk score</span>
+          </button>
+          <div id="runState" class="run-state" aria-live="polite">Ready on ZeroGPU</div>
+        </div>
+      </section>
+
+      <section class="result-panel panel">
+        <div id="emptyState" class="empty-state">
+          <div class="stamp">Ready</div>
+          <h2>Evidence appears here.</h2>
+          <p>Run the default SEC lease first. A good result shows a score, verbatim flagged clauses, highlighted source text, and a negotiation letter draft.</p>
+        </div>
+
+        <div id="results" class="results hidden">
+          <div class="docket-summary">
+            <div id="scoreSeal" class="score-seal clean">
+              <span id="scoreValue">0</span>
+              <small>/100</small>
+            </div>
+            <div>
+              <p class="panel-kicker">Risk docket</p>
+              <h2 id="verdictText">Looks clean</h2>
+              <p id="summaryText" class="summary-text"></p>
+            </div>
+          </div>
+
+          <div class="result-split">
+            <div>
+              <div class="section-label">Clause flags</div>
+              <div id="findingCards" class="finding-stack"></div>
+              <div id="coverageNote" class="coverage-note"></div>
+            </div>
+            <div>
+              <div class="section-label">Source text</div>
+              <div id="highlightedDoc" class="document-view"></div>
+            </div>
+          </div>
+
+          <div class="letter-panel">
+            <div class="letter-head">
+              <div>
+                <p class="panel-kicker">Negotiation Letter</p>
+                <h2>Draft pushback</h2>
+              </div>
+              <button id="emailBtn" class="secondary-btn" type="button">Draft email</button>
+            </div>
+            <textarea id="emailOut" readonly placeholder="Run analysis, then draft an email from the flags."></textarea>
+          </div>
+        </div>
+      </section>
+    </section>
+  </main>
+
+  <script type="module" src="/static/app.js"></script>
+</body>
+</html>

static/app.css

@@ -0,0 +1,616 @@
+:root {
+  color-scheme: dark;
+  --carbon: #08090c;
+  --carbon-2: #10141a;
+  --carbon-3: #151b22;
+  --paper: #f2e6d1;
+  --paper-dim: #c9bdab;
+  --muted: #8d826f;
+  --line: #4a3f31;
+  --brass: #c2934a;
+  --brass-soft: rgba(194, 147, 74, 0.16);
+  --redline: #c83f3f;
+  --redline-soft: rgba(200, 63, 63, 0.15);
+  --cyan: #62d6d2;
+  --cyan-soft: rgba(98, 214, 210, 0.12);
+  --green: #77c889;
+  --green-soft: rgba(119, 200, 137, 0.12);
+  --shadow: 0 22px 60px rgba(0, 0, 0, 0.42);
+}
+
+* {
+  box-sizing: border-box;
+}
+
+html {
+  min-height: 100%;
+  background: var(--carbon);
+}
+
+body {
+  margin: 0;
+  min-height: 100%;
+  color: var(--paper);
+  font-family: Aptos, "Segoe UI", sans-serif;
+  background:
+    linear-gradient(90deg, rgba(194,147,74,0.04) 1px, transparent 1px) 0 0 / 44px 44px,
+    linear-gradient(rgba(194,147,74,0.035) 1px, transparent 1px) 0 0 / 44px 44px,
+    radial-gradient(circle at 50% 0%, rgba(98,214,210,0.08), transparent 36rem),
+    var(--carbon);
+}
+
+button,
+select,
+textarea {
+  font: inherit;
+}
+
+button {
+  cursor: pointer;
+}
+
+a {
+  color: var(--cyan);
+}
+
+.desk-shell {
+  width: min(1480px, calc(100% - 32px));
+  margin: 0 auto;
+  padding: 24px 0 34px;
+}
+
+.hero-grid,
+.workspace-grid {
+  display: grid;
+  gap: 18px;
+}
+
+.hero-grid {
+  grid-template-columns: minmax(0, 1fr) 360px;
+  align-items: stretch;
+  margin-bottom: 18px;
+}
+
+.hero-copy,
+.quickstart,
+.panel {
+  border: 1px solid var(--line);
+  border-radius: 8px;
+  background:
+    linear-gradient(135deg, rgba(255,255,255,0.035), transparent 30%),
+    rgba(16, 20, 26, 0.92);
+  box-shadow: var(--shadow);
+}
+
+.hero-copy {
+  position: relative;
+  overflow: hidden;
+  padding: 28px;
+  min-height: 270px;
+}
+
+.hero-copy::after {
+  content: "VERBATIM";
+  position: absolute;
+  right: 26px;
+  bottom: 12px;
+  color: rgba(194,147,74,0.1);
+  font: 700 64px/1 Georgia, serif;
+  letter-spacing: 0;
+  pointer-events: none;
+}
+
+.brand-row {
+  display: inline-flex;
+  align-items: center;
+  gap: 10px;
+  color: var(--paper);
+  font: 700 18px/1 Georgia, serif;
+  margin-bottom: 28px;
+}
+
+.brand-row img {
+  display: block;
+}
+
+.eyebrow,
+.panel-kicker,
+.section-label {
+  margin: 0;
+  color: var(--brass);
+  font-size: 12px;
+  line-height: 1.3;
+  letter-spacing: 0.08em;
+  text-transform: uppercase;
+}
+
+h1,
+h2 {
+  margin: 0;
+  font-family: Georgia, "Times New Roman", serif;
+  letter-spacing: 0;
+}
+
+h1 {
+  max-width: 820px;
+  font-size: clamp(42px, 6vw, 88px);
+  line-height: 0.92;
+}
+
+h2 {
+  font-size: 22px;
+  line-height: 1.15;
+}
+
+.lede {
+  max-width: 760px;
+  margin: 18px 0 20px;
+  color: var(--paper-dim);
+  font-size: 17px;
+  line-height: 1.6;
+}
+
+.proof-chips {
+  position: relative;
+  z-index: 1;
+  display: flex;
+  flex-wrap: wrap;
+  gap: 8px;
+}
+
+.proof-chips span,
+.chip {
+  display: inline-flex;
+  align-items: center;
+  min-height: 30px;
+  padding: 6px 10px;
+  border: 1px solid rgba(98, 214, 210, 0.35);
+  border-radius: 999px;
+  color: var(--cyan);
+  background: var(--cyan-soft);
+  font: 600 12px/1.2 "Cascadia Mono", "SFMono-Regular", monospace;
+}
+
+.quickstart {
+  padding: 22px;
+}
+
+.quickstart-title {
+  color: var(--paper-dim);
+  font-size: 13px;
+  margin-bottom: 14px;
+}
+
+.quickstart ol {
+  display: grid;
+  gap: 11px;
+  padding: 0;
+  margin: 0;
+  list-style: none;
+}
+
+.quickstart li {
+  display: grid;
+  grid-template-columns: 52px 1fr;
+  align-items: center;
+  min-height: 52px;
+  border: 1px solid rgba(194,147,74,0.32);
+  border-radius: 8px;
+  background: rgba(8, 9, 12, 0.48);
+}
+
+.quickstart li span {
+  color: var(--redline);
+  text-align: center;
+  font: 700 13px/1 "Cascadia Mono", monospace;
+}
+
+.workspace-grid {
+  grid-template-columns: minmax(360px, 0.92fr) minmax(0, 1.28fr);
+  align-items: start;
+}
+
+.panel {
+  padding: 20px;
+}
+
+.panel-head,
+.letter-head,
+.action-row {
+  display: flex;
+  gap: 12px;
+  align-items: center;
+  justify-content: space-between;
+}
+
+.field-label {
+  display: block;
+  margin: 18px 0 8px;
+  color: var(--paper-dim);
+  font-size: 13px;
+}
+
+.select-control,
+textarea {
+  width: 100%;
+  border: 1px solid var(--line);
+  border-radius: 8px;
+  color: var(--paper);
+  background: #090b0f;
+  outline: none;
+}
+
+.select-control {
+  height: 42px;
+  padding: 0 12px;
+}
+
+textarea {
+  resize: vertical;
+  min-height: 350px;
+  padding: 14px;
+  line-height: 1.55;
+  font-family: Georgia, "Times New Roman", serif;
+  font-size: 14px;
+}
+
+textarea:focus,
+.select-control:focus {
+  border-color: var(--cyan);
+  box-shadow: 0 0 0 3px rgba(98,214,210,0.12);
+}
+
+.source-slot {
+  min-height: 0;
+}
+
+.source-banner {
+  margin-top: 12px;
+  padding: 10px 12px;
+  border: 1px solid rgba(98,214,210,0.32);
+  border-radius: 8px;
+  color: var(--paper-dim);
+  background: var(--cyan-soft);
+  font-size: 13px;
+  line-height: 1.45;
+}
+
+.source-dot {
+  display: inline-flex;
+  align-items: center;
+  justify-content: center;
+  min-width: 36px;
+  height: 22px;
+  margin-right: 8px;
+  border-radius: 999px;
+  color: #061112;
+  background: var(--cyan);
+  font: 800 11px/1 "Cascadia Mono", monospace;
+}
+
+.upload-row {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 10px;
+  align-items: center;
+  margin: 14px 0 2px;
+  color: var(--muted);
+  font-size: 13px;
+}
+
+.upload-row input {
+  position: absolute;
+  width: 1px;
+  height: 1px;
+  opacity: 0;
+  pointer-events: none;
+}
+
+.file-btn,
+.ghost-btn,
+.secondary-btn,
+.primary-btn {
+  border-radius: 8px;
+  border: 1px solid transparent;
+  transition: transform .16s ease, border-color .16s ease, background .16s ease;
+}
+
+.file-btn,
+.ghost-btn,
+.secondary-btn {
+  color: var(--paper);
+  background: rgba(255,255,255,0.04);
+  border-color: var(--line);
+}
+
+.file-btn,
+.ghost-btn {
+  padding: 9px 12px;
+}
+
+.secondary-btn {
+  padding: 11px 14px;
+  color: var(--cyan);
+  border-color: rgba(98,214,210,0.35);
+}
+
+.primary-btn {
+  display: grid;
+  gap: 2px;
+  min-width: 210px;
+  padding: 13px 16px;
+  color: #130d08;
+  background: var(--brass);
+  border-color: #e6c37d;
+  text-align: left;
+}
+
+.btn-main {
+  font-weight: 800;
+}
+
+.btn-sub {
+  font-size: 11px;
+  opacity: .75;
+}
+
+button:hover,
+.file-btn:hover {
+  transform: translateY(-1px);
+}
+
+button:disabled {
+  cursor: wait;
+  opacity: .68;
+  transform: none;
+}
+
+.run-state {
+  color: var(--muted);
+  font: 600 12px/1.4 "Cascadia Mono", monospace;
+}
+
+.empty-state {
+  display: grid;
+  place-items: center;
+  min-height: 560px;
+  text-align: center;
+  color: var(--paper-dim);
+  border: 1px dashed rgba(194,147,74,0.28);
+  border-radius: 8px;
+  padding: 32px;
+}
+
+.empty-state h2 {
+  margin-top: 14px;
+  color: var(--paper);
+}
+
+.empty-state p {
+  max-width: 420px;
+  line-height: 1.6;
+}
+
+.stamp {
+  display: grid;
+  place-items: center;
+  width: 116px;
+  aspect-ratio: 1;
+  border: 2px solid var(--brass);
+  border-radius: 50%;
+  color: var(--brass);
+  font: 800 14px/1 "Cascadia Mono", monospace;
+  text-transform: uppercase;
+  transform: rotate(-8deg);
+}
+
+.hidden {
+  display: none !important;
+}
+
+.docket-summary {
+  display: grid;
+  grid-template-columns: 112px 1fr;
+  gap: 18px;
+  align-items: center;
+  margin-bottom: 18px;
+}
+
+.score-seal {
+  display: grid;
+  place-items: center;
+  width: 112px;
+  aspect-ratio: 1;
+  border-radius: 50%;
+  border: 2px solid var(--green);
+  color: var(--green);
+  background: var(--green-soft);
+}
+
+.score-seal.high {
+  color: var(--redline);
+  border-color: var(--redline);
+  background: var(--redline-soft);
+}
+
+.score-seal.med {
+  color: var(--brass);
+  border-color: var(--brass);
+  background: var(--brass-soft);
+}
+
+.score-seal span {
+  font: 700 42px/1 Georgia, serif;
+}
+
+.score-seal small {
+  margin-top: -20px;
+  color: var(--paper-dim);
+}
+
+.summary-text,
+.coverage-note {
+  color: var(--paper-dim);
+  line-height: 1.5;
+}
+
+.result-split {
+  display: grid;
+  grid-template-columns: minmax(280px, .92fr) minmax(320px, 1.08fr);
+  gap: 16px;
+}
+
+.section-label {
+  margin-bottom: 10px;
+}
+
+.finding-stack {
+  display: grid;
+  gap: 10px;
+}
+
+.finding-card {
+  border: 1px solid var(--line);
+  border-left: 4px solid var(--brass);
+  border-radius: 8px;
+  background: rgba(8, 9, 12, 0.52);
+  padding: 13px;
+}
+
+.finding-card.high {
+  border-left-color: var(--redline);
+}
+
+.finding-card h3 {
+  display: flex;
+  justify-content: space-between;
+  gap: 10px;
+  margin: 0 0 10px;
+  color: var(--paper);
+  font-size: 15px;
+}
+
+.risk-pill {
+  flex: 0 0 auto;
+  align-self: start;
+  border-radius: 999px;
+  padding: 4px 8px;
+  color: var(--brass);
+  border: 1px solid currentColor;
+  font: 800 10px/1 "Cascadia Mono", monospace;
+  text-transform: uppercase;
+}
+
+.finding-card.high .risk-pill {
+  color: var(--redline);
+}
+
+.quote {
+  margin: 0 0 10px;
+  padding: 10px;
+  border-radius: 6px;
+  color: #efe3d0;
+  background: #07080b;
+  white-space: pre-wrap;
+  font: 13px/1.55 "Cascadia Mono", "SFMono-Regular", monospace;
+}
+
+.finding-card p {
+  margin: 7px 0 0;
+  color: var(--paper-dim);
+  line-height: 1.45;
+  font-size: 13px;
+}
+
+.finding-card p b {
+  color: var(--cyan);
+}
+
+.document-view {
+  min-height: 540px;
+  max-height: 680px;
+  overflow: auto;
+  border: 1px solid var(--line);
+  border-radius: 8px;
+  background: #0a0b0e;
+}
+
+.contract-page {
+  white-space: pre-wrap;
+  color: #eadfce;
+  padding: 18px;
+  font: 14px/1.75 Georgia, "Times New Roman", serif;
+}
+
+.contract-page mark {
+  background: #f0ce73;
+  color: #11100e;
+  border-radius: 3px;
+  padding: 0 2px;
+}
+
+.coverage-note {
+  margin-top: 12px;
+  font-size: 13px;
+}
+
+.letter-panel {
+  margin-top: 18px;
+  border: 1px solid var(--line);
+  border-radius: 8px;
+  background: rgba(242,230,209,0.035);
+  padding: 16px;
+}
+
+.letter-panel textarea {
+  min-height: 210px;
+  margin-top: 14px;
+  background: #11100d;
+  color: var(--paper);
+}
+
+@media (max-width: 1120px) {
+  .hero-grid,
+  .workspace-grid,
+  .result-split {
+    grid-template-columns: 1fr;
+  }
+
+  .empty-state {
+    min-height: 360px;
+  }
+}
+
+@media (max-width: 620px) {
+  .desk-shell {
+    width: min(100% - 18px, 1480px);
+    padding-top: 10px;
+  }
+
+  .hero-copy,
+  .quickstart,
+  .panel {
+    padding: 14px;
+  }
+
+  h1 {
+    font-size: 42px;
+  }
+
+  .panel-head,
+  .letter-head,
+  .action-row,
+  .docket-summary {
+    align-items: stretch;
+    grid-template-columns: 1fr;
+    flex-direction: column;
+  }
+
+  .score-seal {
+    width: 96px;
+  }
+
+  textarea {
+    min-height: 300px;
+  }
+}

static/app.js

@@ -0,0 +1,227 @@
+const bootstrap = JSON.parse(document.getElementById("lease-lens-bootstrap").textContent);
+
+const els = {
+  proofChips: document.getElementById("proofChips"),
+  exampleSelect: document.getElementById("exampleSelect"),
+  sourceBanner: document.getElementById("sourceBanner"),
+  fileInput: document.getElementById("fileInput"),
+  fileName: document.getElementById("fileName"),
+  contractText: document.getElementById("contractText"),
+  analyzeBtn: document.getElementById("analyzeBtn"),
+  clearBtn: document.getElementById("clearBtn"),
+  runState: document.getElementById("runState"),
+  emptyState: document.getElementById("emptyState"),
+  results: document.getElementById("results"),
+  scoreSeal: document.getElementById("scoreSeal"),
+  scoreValue: document.getElementById("scoreValue"),
+  verdictText: document.getElementById("verdictText"),
+  summaryText: document.getElementById("summaryText"),
+  findingCards: document.getElementById("findingCards"),
+  coverageNote: document.getElementById("coverageNote"),
+  highlightedDoc: document.getElementById("highlightedDoc"),
+  emailBtn: document.getElementById("emailBtn"),
+  emailOut: document.getElementById("emailOut"),
+};
+
+let client = null;
+let lastFindings = [];
+
+function escapeHtml(value) {
+  return String(value ?? "")
+    .replaceAll("&", "&")
+    .replaceAll("<", "&lt;")
+    .replaceAll(">", "&gt;")
+    .replaceAll('"', "&quot;")
+    .replaceAll("'", "&#039;");
+}
+
+function unwrap(result) {
+  if (result && Array.isArray(result.data)) return result.data[0];
+  return result;
+}
+
+async function connectClient() {
+  try {
+    const mod = await import("https://cdn.jsdelivr.net/npm/@gradio/client/dist/index.min.js");
+    client = await mod.Client.connect(window.location.origin);
+    els.runState.textContent = bootstrap.mock_mode ? "Mock preview active" : "Ready on ZeroGPU";
+  } catch (error) {
+    client = null;
+    els.runState.textContent = bootstrap.mock_mode ? "Mock REST fallback" : "Client loading failed";
+  }
+}
+
+async function predict(apiName, payload, restPath, method = "POST") {
+  if (client) {
+    const result = await client.predict(apiName, payload);
+    return unwrap(result);
+  }
+  if (method === "GET") {
+    const params = new URLSearchParams(payload);
+    const response = await fetch(`${restPath}?${params}`);
+    return response.json();
+  }
+  const response = await fetch(restPath, {
+    method,
+    headers: { "Content-Type": "application/json" },
+    body: JSON.stringify(payload),
+  });
+  return response.json();
+}
+
+function setBusy(isBusy, label = "Running redline scan") {
+  els.analyzeBtn.disabled = isBusy;
+  els.emailBtn.disabled = isBusy;
+  els.runState.textContent = isBusy ? label : (bootstrap.mock_mode ? "Mock preview active" : "Ready on ZeroGPU");
+}
+
+function populateProof() {
+  els.proofChips.innerHTML = "";
+  for (const chip of bootstrap.proof_chips || []) {
+    const el = document.createElement("span");
+    el.textContent = chip;
+    els.proofChips.appendChild(el);
+  }
+}
+
+function populateExamples() {
+  els.exampleSelect.innerHTML = "";
+  for (const name of bootstrap.examples || []) {
+    const option = document.createElement("option");
+    option.value = name;
+    option.textContent = name;
+    els.exampleSelect.appendChild(option);
+  }
+  els.exampleSelect.value = bootstrap.default_example;
+}
+
+async function loadExample(name) {
+  setBusy(true, "Loading docket");
+  try {
+    const payload = await predict("/get_example", { name }, "/api/get_example", "GET");
+    els.contractText.value = payload.text || "";
+    els.sourceBanner.innerHTML = payload.source_banner_html || '<div class="source-banner"><span class="source-dot">SMP</span>Synthetic teaching sample. Upload a .txt contract or choose a real SEC filing.</div>';
+    els.fileName.textContent = payload.is_real ? "real public filing loaded" : "sample loaded";
+  } finally {
+    setBusy(false);
+  }
+}
+
+function renderEmpty(message) {
+  els.emptyState.classList.remove("hidden");
+  els.results.classList.add("hidden");
+  if (message) {
+    els.emptyState.querySelector("p").textContent = message;
+  }
+}
+
+function scoreClass(score, highCount, flagCount) {
+  if (highCount > 0) return "high";
+  if (flagCount > 0 || score > 0) return "med";
+  return "clean";
+}
+
+function renderFindings(findings) {
+  if (!findings.length) {
+    els.findingCards.innerHTML = '<div class="finding-card"><h3>No risky clauses flagged <span class="risk-pill">clear</span></h3><p>The checked clause categories did not produce a grounded risky-clause flag.</p></div>';
+    return;
+  }
+  const sorted = [...findings].sort((a, b) => (a.risk === "high" ? -1 : 1) - (b.risk === "high" ? -1 : 1));
+  els.findingCards.innerHTML = sorted.map((finding) => `
+    <article class="finding-card ${finding.risk === "high" ? "high" : ""}">
+      <h3>${escapeHtml(finding.label)} <span class="risk-pill">${escapeHtml(finding.risk)}</span></h3>
+      <pre class="quote">${escapeHtml(finding.text)}</pre>
+      <p><b>Why it matters:</b> ${escapeHtml(finding.why)}</p>
+      <p><b>Push back:</b> ${escapeHtml(finding.tip)}</p>
+    </article>
+  `).join("");
+}
+
+function renderResults(data) {
+  if (!data || data.status === "empty") {
+    renderEmpty(data?.message || "Paste or pick a contract first.");
+    return;
+  }
+  if (data.status === "error") {
+    renderEmpty(data.message || "Analysis failed. Try again shortly.");
+    return;
+  }
+
+  lastFindings = data.findings || [];
+  els.emptyState.classList.add("hidden");
+  els.results.classList.remove("hidden");
+
+  const sealClass = scoreClass(data.score || 0, data.high_count || 0, data.flag_count || 0);
+  els.scoreSeal.className = `score-seal ${sealClass}`;
+  els.scoreValue.textContent = data.score ?? 0;
+  els.verdictText.textContent = data.verdict || "Review complete";
+  els.summaryText.textContent = `${data.flag_count || 0} clauses flagged (${data.high_count || 0} high-risk) of ${data.checked_count || 0} checked.`;
+  renderFindings(lastFindings);
+
+  const skipped = data.skipped?.length ? `Skipped because keywords were absent: ${data.skipped.join(", ")}.` : "";
+  const note = data.coverage_note ? `${data.coverage_note} ` : "";
+  els.coverageNote.textContent = `${note}${skipped} ${data.disclaimer || ""}`.trim();
+  els.highlightedDoc.innerHTML = data.highlighted_html || '<div class="contract-page">No source text available.</div>';
+  els.emailOut.value = "";
+}
+
+async function analyze() {
+  const text = els.contractText.value.trim();
+  setBusy(true, "Running batched checks");
+  try {
+    const data = await predict("/analyze_contract", { text }, "/api/analyze_contract");
+    renderResults(data);
+  } catch (error) {
+    renderEmpty(`Analysis failed: ${error.message}`);
+  } finally {
+    setBusy(false);
+  }
+}
+
+async function draftEmail() {
+  if (!lastFindings.length) {
+    els.emailOut.value = "Run an analysis first - then I can draft the email from the flagged clauses.";
+    return;
+  }
+  setBusy(true, "Drafting pushback");
+  try {
+    const data = await predict("/draft_email", { state_json: JSON.stringify(lastFindings) }, "/api/draft_email");
+    els.emailOut.value = data.email || "";
+  } catch (error) {
+    els.emailOut.value = `Draft failed: ${error.message}`;
+  } finally {
+    setBusy(false);
+  }
+}
+
+function bindEvents() {
+  els.exampleSelect.addEventListener("change", () => loadExample(els.exampleSelect.value));
+  els.analyzeBtn.addEventListener("click", analyze);
+  els.emailBtn.addEventListener("click", draftEmail);
+  els.clearBtn.addEventListener("click", () => {
+    els.contractText.value = "";
+    els.sourceBanner.innerHTML = "";
+    els.fileName.textContent = "or edit the docket text below";
+    lastFindings = [];
+    renderEmpty("Paste or upload a contract, then run the scan.");
+  });
+  els.fileInput.addEventListener("change", async (event) => {
+    const file = event.target.files?.[0];
+    if (!file) return;
+    els.contractText.value = await file.text();
+    els.sourceBanner.innerHTML = "";
+    els.fileName.textContent = file.name;
+    lastFindings = [];
+    renderEmpty("Uploaded text is ready for analysis.");
+  });
+}
+
+async function init() {
+  populateProof();
+  populateExamples();
+  bindEvents();
+  await connectClient();
+  await loadExample(bootstrap.default_example);
+}
+
+init();