Deploy oficial MatVerse Memory Registry via Manus Agent

HF_PUSH_GUIDE.md

@@ -0,0 +1,24 @@
+# Guia de aplicação no Hugging Face Space
+
+## 1. Apague o README quebrado
+Substitua o arquivo `README.md` atual pelo README deste pacote.
+
+## 2. Garanta estes 4 arquivos na raiz do repo do Space
+- README.md
+- app.py
+- proof_data.json
+- requirements.txt
+
+## 3. Reinicie o Space
+Faça commit/push e depois use **Restart this Space**.
+
+## 4. Se ainda falhar
+- confirme que `README.md` começa na primeira linha com `---`
+- confirme que `app_file: app.py` aponta para arquivo real na raiz
+- confirme que o Space não está em um hardware incompatível com a configuração atual
+- confira os logs de build/runtime
+
+## 5. Ajustes recomendados depois do primeiro boot
+- trocar `STABLE_ROOT_PLACEHOLDER` pelo Merkle root real
+- trocar links institucionais e endpoints por valores finais
+- expandir `proof_data.json` com receipts, tx hashes e DOIs

README.md

@@ -0,0 +1,54 @@
+---
+title: MatVerse Memory Registry
+emoji: 🧠
+colorFrom: indigo
+colorTo: purple
+sdk: gradio
+sdk_version: "5.24.0"
+python_version: "3.10"
+app_file: app.py
+pinned: false
+fullWidth: true
+header: default
+short_description: Landing page oficial e dashboard de prova MatVerse.
+tags:
+  - governance
+  - ledger
+  - public-proof
+  - dashboard
+  - matverse
+---
+
+# MatVerse Memory Registry
+
+Landing page oficial + dashboard público de prova para artefatos soberanos.
+
+## O que este Space entrega
+
+- visão institucional do MatVerse
+- prova pública baseada em métricas, ledger e replay
+- dashboard de deploy dos artefatos soberanos
+- trilha de verificação com links externos
+- estado fail-closed explícito para módulos bloqueados
+
+## Arquivos esperados na raiz
+
+- `README.md` com este front matter
+- `app.py`
+- `proof_data.json`
+- `requirements.txt`
+
+## Observação operacional
+
+Se o Space continuar em erro após o commit:
+1. confira se o `README.md` começa exatamente com o bloco YAML acima
+2. confirme que `app_file: app.py` aponta para um arquivo real na raiz
+3. use hardware CPU padrão, não ZeroGPU, para este Space de dashboard/landing
+4. reinicie o Space após o push
+
+## Fonte das métricas exibidas
+
+Os números de exemplo e o seed do dashboard foram organizados para refletir:
+- operador Ω e fail-closed do stack MNB
+- ledger append-only com Merkle root e replay
+- inventário KiloApps com 25 apps, 23 deploys bem-sucedidos e 2 falhas

app.py

@@ -1,82 +1,279 @@
-import streamlit as st
-import pandas as pd
 import json
-import os
-import plotly.express as px
-from datetime import datetime
-
-# Importar constantes do L0
-import sys
-sys.path.append(os.path.abspath(os.path.dirname(__file__)))
-from packages.L0_primordial.constants import PSI_MIN, OMEGA_MIN, DOI, GENESIS_VERSION
-
-st.set_page_config(page_title="MatVerse Sovereign Registry", layout="wide")
-
-st.title("🧬 MatVerse Sovereign Fractal Registry (v1.4)")
-st.markdown(f"""
-### SGSI - Sistema de Governança Soberana Integrada
-Este Space hospeda o registro de memória, métricas de **H/M/BLOCK** e o **Fechamento Institucional v1.4**.
-Estrutura: **Monorepo Fractal (L0-L4 + G1-G3)**.
+from pathlib import Path
+import gradio as gr
+import pandas as pd
+
+DATA_PATH = Path(__file__).parent / "proof_data.json"
+
+
+def load_data():
+    with open(DATA_PATH, "r", encoding="utf-8") as f:
+        return json.load(f)
+
+
+DATA = load_data()
+
+
+def format_module_table():
+    rows = []
+    for item in DATA["public_proof"]["dataset_modules"]:
+        rows.append({
+            "module": item["module"],
+            "decision": item["decision"],
+            "status": item["status"],
+            "omega": item["omega"] if item["omega"] is not None else "—",
+            "note": item["note"],
+        })
+    return pd.DataFrame(rows)
+
+
+def format_failed_apps():
+    rows = []
+    for item in DATA["deploy_dashboard"]["failed_apps"]:
+        rows.append({
+            "app": item["name"],
+            "status": item["status"],
+            "recommended_action": item["recommended_action"],
+        })
+    return pd.DataFrame(rows)
+
+
+def format_healthy_apps():
+    return pd.DataFrame({"healthy_apps": DATA["deploy_dashboard"]["healthy_apps"]})
+
+
+def compute_status_badges():
+    summary = DATA["deploy_dashboard"]["summary"]
+    thresholds = DATA["public_proof"]["thresholds"]
+    ledger = DATA["public_proof"]["ledger"]
+
+    md = f"""
+### Estado público do sistema
+
+- **Apps monitorados:** {summary["total_apps"]}
+- **Deploys saudáveis:** {summary["deployed"]}
+- **Deploys falhos:** {summary["failed"]}
+- **Ψ mínimo:** {thresholds["psi_min"]}
+- **CVaR máximo:** {thresholds["cvar_max"]}
+- **Ω para PASS:** {thresholds["omega_pass"]}
+- **Ledger:** {ledger["type"]}
+- **Replay:** {ledger["replay"]}
+- **Receipt:** {ledger["receipt"]}
+"""
+    return md
+
+
+def verify_sample(psi, theta_ms, cvar, pole):
+    theta_hat = 1.0 / (1.0 + theta_ms / 100.0)
+    omega = 0.4 * psi + 0.3 * theta_hat + 0.2 * (1.0 - cvar) + 0.1 * pole
+
+    reasons = []
+    if psi < DATA["public_proof"]["thresholds"]["psi_min"]:
+        reasons.append("psi_below_threshold")
+    if cvar > DATA["public_proof"]["thresholds"]["cvar_max"]:
+        reasons.append("cvar_above_threshold")
+
+    status = "PASS"
+    if reasons:
+        status = "BLOCK"
+    elif omega < DATA["public_proof"]["thresholds"]["omega_pass"]:
+        status = "CONDITIONAL"
+
+    return {
+        "psi": round(psi, 6),
+        "theta_ms": round(theta_ms, 6),
+        "theta_hat": round(theta_hat, 6),
+        "cvar": round(cvar, 6),
+        "pole": int(pole),
+        "omega": round(omega, 6),
+        "decision": status,
+        "reasons": reasons or ["admissible"],
+    }
+
+
+CUSTOM_CSS = """
+:root {
+  --mv-bg: #0a0f1f;
+  --mv-card: #11172a;
+  --mv-card-2: #151d35;
+  --mv-text: #f4f7ff;
+  --mv-muted: #b7c3e0;
+  --mv-accent: #7c5cff;
+  --mv-accent-2: #00d0ff;
+  --mv-ok: #16c784;
+  --mv-warn: #ffb020;
+  --mv-bad: #ff5d7a;
+}
+.gradio-container {
+  background:
+    radial-gradient(circle at top left, rgba(124,92,255,0.18), transparent 22%),
+    radial-gradient(circle at top right, rgba(0,208,255,0.12), transparent 24%),
+    linear-gradient(180deg, #070b16 0%, #0a0f1f 100%);
+  color: var(--mv-text);
+}
+.mv-hero {
+  padding: 24px 8px 8px 8px;
+}
+.mv-hero h1 {
+  font-size: 46px;
+  margin: 0 0 8px 0;
+  line-height: 1.05;
+}
+.mv-sub {
+  color: var(--mv-muted);
+  font-size: 17px;
+  max-width: 900px;
+}
+.mv-grid {
+  display: grid;
+  grid-template-columns: repeat(4, minmax(0, 1fr));
+  gap: 14px;
+  margin-top: 18px;
+}
+.mv-card {
+  background: linear-gradient(180deg, var(--mv-card), var(--mv-card-2));
+  border: 1px solid rgba(255,255,255,0.08);
+  border-radius: 18px;
+  padding: 16px;
+  box-shadow: 0 10px 30px rgba(0,0,0,0.24);
+}
+.mv-label {
+  color: var(--mv-muted);
+  font-size: 13px;
+  margin-bottom: 6px;
+}
+.mv-value {
+  font-size: 28px;
+  font-weight: 700;
+}
+.mv-chip {
+  display: inline-block;
+  padding: 6px 10px;
+  border-radius: 999px;
+  margin-right: 8px;
+  font-size: 12px;
+  font-weight: 600;
+}
+.mv-ok { background: rgba(22,199,132,0.12); color: #7bf0b9; }
+.mv-warn { background: rgba(255,176,32,0.12); color: #ffd073; }
+.mv-bad { background: rgba(255,93,122,0.12); color: #ff9fb1; }
+@media (max-width: 960px) {
+  .mv-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
+}
+@media (max-width: 640px) {
+  .mv-grid { grid-template-columns: 1fr; }
+  .mv-hero h1 { font-size: 34px; }
+}
+"""
+
+
+summary = DATA["deploy_dashboard"]["summary"]
+hero_html = f"""
+<div class="mv-hero">
+  <div class="mv-chip mv-ok">landing oficial</div>
+  <div class="mv-chip mv-warn">prova pública</div>
+  <div class="mv-chip mv-bad">fail-closed explícito</div>
+  <h1>MatVerse Memory Registry</h1>
+  <div class="mv-sub">
+    Infraestrutura pública para apresentar, medir e verificar artefatos soberanos do ecossistema MatVerse.
+    Esta página unifica narrativa institucional, prova pública baseada em Ω/MNB/Ledger e o dashboard resumido dos deploys soberanos.
+  </div>
+  <div class="mv-grid">
+    <div class="mv-card">
+      <div class="mv-label">Apps monitorados</div>
+      <div class="mv-value">{summary["total_apps"]}</div>
+    </div>
+    <div class="mv-card">
+      <div class="mv-label">Deploys saudáveis</div>
+      <div class="mv-value">{summary["deployed"]}</div>
+    </div>
+    <div class="mv-card">
+      <div class="mv-label">Deploys falhos</div>
+      <div class="mv-value">{summary["failed"]}</div>
+    </div>
+    <div class="mv-card">
+      <div class="mv-label">Merkle root</div>
+      <div class="mv-value" style="font-size:16px">STABLE_ROOT_PLACEHOLDER</div>
+    </div>
+  </div>
+</div>
+"""
+
+
+with gr.Blocks(css=CUSTOM_CSS, theme=gr.themes.Base(), title="MatVerse Memory Registry") as demo:
+    gr.HTML(hero_html)
+
+    with gr.Tabs():
+        with gr.Tab("Landing"):
+            gr.Markdown("""
+## O que é
+
+O **MatVerse Memory Registry** é a superfície pública do stack de memória verificável.  
+Ele expõe narrativa institucional, critérios de admissibilidade, prova pública, deploy status e um verificador local do operador Ω.
+
+## O que a página resolve
+
+- substitui o estado de erro de configuração do Space por uma homepage funcional
+- concentra landing page e dashboard no mesmo endereço oficial
+- apresenta prova pública em formato legível para revisão externa
+- mantém o regime **fail-closed** visível: módulos não admissíveis aparecem como bloqueados, não como sucesso cosmético
+""")
+
+            gr.Markdown(compute_status_badges())
+
+            with gr.Row():
+                gr.Markdown(f"""
+### Links institucionais
+
+- ORCID: {DATA["public_proof"]["institutional_links"]["orcid"]}
+- Space: {DATA["public_proof"]["institutional_links"]["space"]}
+""")
+                gr.JSON(DATA["public_proof"]["thresholds"], label="Thresholds públicos")
+
+        with gr.Tab("Prova Pública"):
+            gr.Markdown("""
+## Operador público de governança
+
+O dashboard usa a forma pública do operador:
+
+**Ω = 0.4·Ψ + 0.3·Θ̂ + 0.2·(1−CVaR) + 0.1·PoLE**
+
+com hard constraints:
+
+- Ψ ≥ 0.85
+- CVaR ≤ 0.05
+- Ω ≥ 0.85 para PASS
+""")
+            gr.Dataframe(value=format_module_table(), interactive=False, wrap=True, label="Módulos públicos")
+
+            gr.JSON(DATA["public_proof"]["ledger"], label="Ledger / replay / receipt")
+
+        with gr.Tab("Dashboard de Deploys"):
+            gr.Markdown("""
+## Artefatos soberanos em produção
+
+Este quadro resume a frota KiloApps que alimenta o ecossistema e destaca os dois deploys falhos reportados no corpus.
 """)
+            with gr.Row():
+                gr.Dataframe(value=format_failed_apps(), interactive=False, wrap=True, label="Falhas priorizadas")
+                gr.Dataframe(value=format_healthy_apps(), interactive=False, wrap=True, label="Apps saudáveis amostrados")
 
-# Carregar dados do experimento do diretório central de dados
-results_path = 'data/experiment_results.json'
-if os.path.exists(results_path):
-    with open(results_path, 'r') as f:
-        data = json.load(f)
-    
-    metrics = data['metrics']
-    raw_data = data['raw']
-    df = pd.DataFrame(raw_data)
-
-    # Sidebar com métricas principais e invariantes L0
-    st.sidebar.header("📊 Métricas SGSI")
-    st.sidebar.metric("Closure Score v1.4", f"{metrics['closure_score']*100:.1f}%", delta=metrics['closure_status'])
-    st.sidebar.metric("Sucesso (Replay)", f"{metrics['success_rate']*100:.2f}%")
-    
-    st.sidebar.divider()
-    st.sidebar.subheader("Admissibilidade Epistemológica")
-    st.sidebar.write(f"**M (Maestria):** {metrics.get('m_rate', 0)*100:.1f}%")
-    st.sidebar.write(f"**H (Hipótese):** {metrics.get('h_rate', 0)*100:.1f}%")
-    st.sidebar.write(f"**BLOCK (Veto):** {metrics.get('block_rate', 0)*100:.1f}%")
-    
-    st.sidebar.divider()
-    st.sidebar.subheader("Invariantes L0")
-    st.sidebar.write(f"Ψ Min: {PSI_MIN}")
-    st.sidebar.write(f"Ω Min: {OMEGA_MIN}")
-    st.sidebar.write(f"Última atualização: {metrics['timestamp']}")
-
-    # Layout principal
-    col1, col2 = st.columns(2)
-
-    with col1:
-        st.subheader("Distribuição H/M/BLOCK")
-        fig_class = px.pie(df, names="classification", title="Classificação de Admissibilidade",
-                          color="classification",
-                          color_discrete_map={"M": "#00CC96", "H": "#636EFA", "BLOCK": "#EF553B"})
-        st.plotly_chart(fig_class, use_container_width=True)
-
-    with col2:
-        st.subheader("Espaço de Fase: Ψ vs CVaR")
-        fig_phase = px.scatter(df, x="cvar", y="psi", color="classification", 
-                              title="Fronteira de Admissibilidade",
-                              color_discrete_map={"M": "#00CC96", "H": "#636EFA", "BLOCK": "#EF553B"})
-        st.plotly_chart(fig_phase, use_container_width=True)
-
-    st.subheader("Evolução de Ψ (Coerência) e H (Hamiltoniano)")
-    fig_evol = px.line(df, y=["psi", "h_energy"], title="Trajetória de Lyapunov (v1.4)")
-    st.plotly_chart(fig_evol, use_container_width=True)
-
-    st.subheader("Registro de Eventos (Ouroboros Ledger v1.4)")
-    st.dataframe(df.tail(100), use_container_width=True)
-
-else:
-    st.warning("Aguardando dados do pipeline de validação Sovereign v1.4...")
-    st.info("Execute `python3 packages/G1_science/batch_experiment.py` para gerar dados.")
-
-st.divider()
-st.markdown(f"""
-**DOI:** [{DOI}](https://zenodo.org/records/{DOI.split('.')[-1]})  
-**Status:** Organismo Digital Soberano (v1.4)  
-**Integridade:** Verificada via SHA256 & Sepolia Anchor
+        with gr.Tab("Verificador Ω"):
+            gr.Markdown("""
+## Verificação local
+
+Insira métricas e confira a decisão canônica do operador público.
 """)
+            with gr.Row():
+                psi = gr.Number(value=0.90, label="Ψ")
+                theta_ms = gr.Number(value=50.0, label="Θ em ms")
+                cvar = gr.Number(value=0.02, label="CVaR")
+                pole = gr.Slider(0, 1, value=1, step=1, label="PoLE")
+            verify_btn = gr.Button("Verificar")
+            verify_out = gr.JSON(label="Resultado")
+            verify_btn.click(fn=verify_sample, inputs=[psi, theta_ms, cvar, pole], outputs=verify_out)
+
+        with gr.Tab("Raw JSON"):
+            gr.JSON(DATA, label="proof_data.json")
+
+demo.launch()

proof_data.json

@@ -0,0 +1,79 @@
+{
+  "meta": {
+    "project": "MatVerse Memory Registry",
+    "space_id": "MatverseHub/mnb-memory-registry-space",
+    "tagline": "Landing page oficial + dashboard público de prova para artefatos soberanos"
+  },
+  "public_proof": {
+    "governance_formula": "Ω = 0.4·Ψ + 0.3·Θ̂ + 0.2·(1-CVaR) + 0.1·PoLE",
+    "thresholds": {
+      "psi_min": 0.85,
+      "cvar_max": 0.05,
+      "omega_pass": 0.85
+    },
+    "dataset_modules": [
+      {
+        "module": "MAVK",
+        "decision": "PASS",
+        "status": "validated",
+        "omega": 0.988,
+        "note": "within CVaR limit"
+      },
+      {
+        "module": "DAQ",
+        "decision": "BLOCK",
+        "status": "fail-closed",
+        "omega": null,
+        "note": "CVaR 0.08 > 0.05"
+      },
+      {
+        "module": "CSR4",
+        "decision": "PASS",
+        "status": "validated",
+        "omega": 0.899,
+        "note": "admissible"
+      }
+    ],
+    "ledger": {
+      "type": "append-only",
+      "merkle_root": "STABLE_ROOT_PLACEHOLDER",
+      "replay": "deterministic",
+      "receipt": "canonical"
+    },
+    "institutional_links": {
+      "orcid": "https://orcid.org/0009-0008-2973-4047",
+      "space": "https://huggingface.co/spaces/MatverseHub/mnb-memory-registry-space"
+    }
+  },
+  "deploy_dashboard": {
+    "summary": {
+      "total_apps": 25,
+      "deployed": 23,
+      "failed": 2
+    },
+    "failed_apps": [
+      {
+        "name": "icy-queue-9677",
+        "status": "Failed",
+        "recommended_action": "inspect build/runtime logs + redeploy after patch"
+      },
+      {
+        "name": "smok",
+        "status": "Failed",
+        "recommended_action": "inspect build/runtime logs + redeploy after patch"
+      }
+    ],
+    "healthy_apps": [
+      "dashboard-matverse",
+      "intro-matverse",
+      "acoa-matverse",
+      "symbiodroid-matverse",
+      "notebook-matverse",
+      "neural-matverse",
+      "kernel-matvesre",
+      "pipeline-matverse",
+      "science-matverse-2006",
+      "symbios-matverse"
+    ]
+  }
+}

requirements.txt

@@ -1,4 +1,2 @@
-streamlit
-pandas
-plotly
-numpy
+gradio==5.24.0
+pandas>=2.2.0