Update app.py

app.py

@@ -1,59 +1,112 @@
 import gradio as gr
 
 SUITE = [
-    ("TrustStack Console", "https://huggingface.co/spaces/RFTSystems/TrustStack_Console",
-     "Audit cockpit: inspect runs, compare state, see exactly what changed and why."),
-    ("RFT Memory Receipt Engine", "https://huggingface.co/spaces/RFTSystems/RFT_Memory_Receipt_Engine",
-     "Proof layer: generate/download tamper-evident receipts; upload to verify integrity."),
-    ("Agent Flight Recorder", "https://huggingface.co/spaces/RFTSystems/Agent_Flight_Recorder",
-     "Chain-of-custody logging: hash-chained events (tools, outputs, memory reads/writes)."),
-    ("ReplayProof Agent POV Verified Replay", "https://huggingface.co/spaces/RFTSystems/ReplayProof__Agent_POV__Verified_Replay",
-     "Fast demo: play a deterministic run, export a bundle, verify and replay anywhere."),
-    ("TimelineDiff Differential Reproducibility", "https://huggingface.co/spaces/RFTSystems/TimelineDiff__Differential_Reproducibility",
-     "Find first divergence: align two run bundles, pinpoint where/why they split."),
-    ("Coherent Compute Engine", "https://huggingface.co/spaces/RFTSystems/Coherent_Compute_Engine",
-     "Verification-first benchmark: live throughput + stability/energy behaviour + receipt."),
+    (
+        "ReplayProof Agent POV Verified Replay",
+        "https://huggingface.co/spaces/RFTSystems/ReplayProof__Agent_POV__Verified_Replay",
+        "Fast proof: generate a deterministic run bundle you can verify and replay anywhere.",
+    ),
+    (
+        "Agent Flight Recorder",
+        "https://huggingface.co/spaces/RFTSystems/Agent_Flight_Recorder",
+        "Chain-of-custody logging: hash-chained events across prompts, tools, outputs, and memory reads/writes.",
+    ),
+    (
+        "RFT Memory Receipt Engine",
+        "https://huggingface.co/spaces/RFTSystems/RFT_Memory_Receipt_Engine",
+        "Proof layer: generate/download tamper-evident receipts; upload to independently verify integrity.",
+    ),
+    (
+        "TimelineDiff Differential Reproducibility",
+        "https://huggingface.co/spaces/RFTSystems/TimelineDiff__Differential_Reproducibility",
+        "First divergence: align two run bundles and pinpoint exactly where/why they split.",
+    ),
+    (
+        "TrustStack Console",
+        "https://huggingface.co/spaces/RFTSystems/TrustStack_Console",
+        "Audit cockpit: inspect runs, compare state, and trace exactly what changed and why.",
+    ),
+    (
+        "Coherent Compute Engine",
+        "https://huggingface.co/spaces/RFTSystems/Coherent_Compute_Engine",
+        "Verification-first benchmark: live throughput + stability/energy behaviour + downloadable receipt.",
+    ),
 ]
 
+WHY = (
+    "AI is being shipped into real systems faster than teams can reliably reproduce or explain agent behaviour. "
+    "When an agent fails, too many postmortems still rely on screenshots, partial logs, and opinions — not evidence.\n\n"
+    "The operational risk is not only that an agent does the wrong thing. The deeper risk is that **nobody can prove what happened**: "
+    "what the agent saw, what it called, what it wrote, and where the run diverged. When failures are unreproducible, accountability collapses.\n\n"
+    "RFTSystems exists to make agent behaviour **inspectable and independently verifiable**. This suite produces artifacts you can share and validate: "
+    "hash-chained timelines, tamper-evident receipts, deterministic replays, and first-divergence diffs. You don’t need to trust the author — you can verify the evidence.\n\n"
+    "I can’t promise “AI will never take over.” No one can. What I *can* promise is this: **with chain-of-custody logs and receipts, we can prove what happened and who is responsible.**"
+)
+
+LICENSE_NOTICE = """All materials contained in or associated with this repository — including but not limited to text, code, algorithms, equations, figures, datasets, and documentation — are original works authored by Liam Grinstead and form part of the Rendered Frame Theory (RFT) research framework.
+
+These works are protected under the following laws and treaties:
+
+• Copyright, Designs and Patents Act 1988 (UK) — ss.1–103 (copyright subsistence, ownership, and infringement) and ss.77–89 (moral rights).
+• Trade Secrets (Enforcement etc.) Regulations 2018 (UK) — Regs.2–6 (protection of confidential know-how, algorithms, and unpublished research).
+• Copyright and Rights in Databases Regulations 1997 (UK) — Regs.14–24 (protection of compiled datasets).
+• Berne Convention for the Protection of Literary and Artistic Works (1886) — Arts.5(2) & 6bis (automatic international copyright and moral rights).
+• TRIPS Agreement (1994) — Arts.9–14 (international enforcement of copyright and related rights).
+
+All rights are reserved.
+
+No part of this work may be copied, reproduced, distributed, performed, displayed, trained upon by AI systems, reverse-engineered, or used to create derivative works without the author’s explicit written consent.
+
+Enforcement rights: Unauthorised use constitutes infringement under CDPA 1988 ss.16 & 96–103, giving rise to civil remedies (injunctions, damages, delivery-up, account of profits, and costs recovery).
+Commercial infringement may amount to a criminal offence under CDPA s.107, punishable by fines and/or imprisonment.
+
+Verification: Each record is timestamped through the Zenodo/DataCite registry and may reference the master DOI: https://doi.org/10.5281/zenodo.17460107 as the consolidated legal and authorship archive.
+
+© 2025 Liam Grinstead — All Rights Reserved.
+"""
+
+
 def _build_markdown() -> str:
     md = []
     md.append("# RFTSystems — Agent Forensics Suite")
-    md.append("**Audit. Prove. Replay. Diff.** Turning agent runs into evidence.")
+    md.append("**Evidence-first instrumentation for AI agents.**")
+    md.append("Audit, prove, replay, and diff agent runs — turning “trust me” into verification.")
+    md.append("")
+    md.append("## Why I built this")
+    md.append(WHY)
     md.append("")
-    md.append("## What this suite is")
-    md.append("Most agent failures aren’t mysterious — they’re **unreproducible**. This suite produces **verifiable artifacts**: "
-              "hash-chained timelines, tamper-evident receipts, deterministic replays, and first-divergence diffs.")
+    md.append("## The workflow")
+    md.append("**learn → generate proof → record reality → seal it → diff it → audit it → benchmark it**")
     md.append("")
-    md.append("## Start here (60 seconds)")
-    md.append("If you only try one thing first: **ReplayProof Agent POV Verified Replay**. "
-              "It’s the fastest way to feel what “verifiable agent runs” means.")
+    md.append("### Quick start (60 seconds)")
+    md.append("1. Open **ReplayProof** and run a deterministic session.")
+    md.append("2. Export the run bundle (receipts + hashes).")
+    md.append("3. Upload the bundle to verify integrity, then share it — anyone can replay it.")
     md.append("")
-    md.append("## The workflow (use it like a system)")
-    md.append("1. **Record** what happened (Flight Recorder)")
-    md.append("2. **Seal** it into receipts (Memory Receipt Engine)")
-    md.append("3. **Replay** a deterministic proof run (ReplayProof)")
-    md.append("4. **Diff** two runs and find the first divergence (TimelineDiff)")
-    md.append("5. **Audit** state transitions and governance evidence (TrustStack)")
-    md.append("6. **Benchmark** verifiable performance signals (Coherent Compute Engine)")
+    md.append("### Full pipeline (real systems)")
+    md.append("1. **Record reality** (Agent Flight Recorder).")
+    md.append("2. **Seal it** into receipts (RFT Memory Receipt Engine).")
+    md.append("3. **Diff** two runs and find first divergence (TimelineDiff).")
+    md.append("4. **Audit** state transitions and governance evidence (TrustStack).")
+    md.append("5. **Benchmark** verifiable performance signals (Coherent Compute Engine).")
     md.append("")
     md.append("## The labs")
     for name, url, desc in SUITE:
         md.append(f"- **[{name}]({url})** — {desc}")
     md.append("")
-    md.append("## Ethos (no cages)")
-    md.append("We don’t ‘imprison’ agents. We **measure drift from declared intent** and produce evidence. "
-              "Enforcement is an operator decision; this is the instrumentation layer.")
+    md.append("## Design principle")
+    md.append(
+        "We don’t ‘imprison’ agents. We measure drift from declared intent and produce evidence. "
+        "Enforcement remains an operator decision; this suite is the instrumentation layer."
+    )
     md.append("")
-    md.append("**Tags:** #Agents #LLMOps #MLOps #AISafety #Reproducibility #Observability #Forensics #Security #Governance #Eval")
+    md.append("**Tags:** #Agents #LLMOps #MLOps #AISafety #Reproducibility #Forensics #Security #Governance")
     return "\n".join(md)
 
+
 with gr.Blocks(title="RFTSystems — Agent Forensics Suite") as demo:
     gr.Markdown(_build_markdown())
-    with gr.Row():
-        for name, url, _ in SUITE[:3]:
-            gr.Button(name, link=url)
-    with gr.Row():
-        for name, url, _ in SUITE[3:]:
-            gr.Button(name, link=url)
+    with gr.Accordion("Licence / Rights Notice (click to expand)", open=False):
+        gr.Markdown(LICENSE_NOTICE)
 
 demo.launch()