"""Operon Certificate Framework -- self-verifiable structural guarantees.
Run locally: pip install gradio && python space-certificates/app.py
"""
import json, sys
from pathlib import Path
import gradio as gr
_repo_root = Path(__file__).resolve().parents[2]
if str(_repo_root) not in sys.path:
sys.path.insert(0, str(_repo_root))
from operon_ai import ATP_Store, QuorumSensingBio
from operon_ai.state.mtor import MTORScaler
from operon_ai.core.certificate import certificate_to_dict, certificate_from_dict
# -- Presets ----------------------------------------------------------------
PRESETS: dict[str, dict] = {
"(custom)": {"component": "ATP_Store", "atp_budget": 1000, "qs_pop": 10, "mtor_hyst": 0.05},
"ATP healthy": {"component": "ATP_Store", "atp_budget": 1000, "qs_pop": 10, "mtor_hyst": 0.05},
"ATP empty (fails)": {"component": "ATP_Store", "atp_budget": 0, "qs_pop": 10, "mtor_hyst": 0.05},
"QuorumSensing standard": {"component": "QuorumSensingBio", "atp_budget": 1000, "qs_pop": 10, "mtor_hyst": 0.05},
"QuorumSensing large population": {"component": "QuorumSensingBio", "atp_budget": 1000, "qs_pop": 50, "mtor_hyst": 0.05},
"MTOR default hysteresis": {"component": "MTORScaler", "atp_budget": 1000, "qs_pop": 10, "mtor_hyst": 0.05},
"MTOR zero hysteresis (fails)": {"component": "MTORScaler", "atp_budget": 1000, "qs_pop": 10, "mtor_hyst": 0.0},
}
COMPONENTS = ["ATP_Store", "QuorumSensingBio", "MTORScaler"]
# -- Helpers ----------------------------------------------------------------
def _badge(text: str, color: str) -> str:
return (
f'{text}'
)
def _holds_badge(holds: bool) -> str:
return _badge("HOLDS", "#22c55e") if holds else _badge("FAILS", "#ef4444")
def _kv_table(d: dict) -> str:
rows = "".join(
f"| {k} | "
f"{v} |
"
for k, v in d.items()
)
return f""
def _create_component(name: str, atp_budget: int, qs_pop: int, mtor_hyst: float):
"""Instantiate a component and return (component, certificate)."""
if name == "ATP_Store":
comp = ATP_Store(budget=int(atp_budget), silent=True)
cert = comp.certify()
return comp, cert
elif name == "QuorumSensingBio":
comp = QuorumSensingBio(population_size=int(qs_pop))
comp.calibrate()
cert = comp.certify()
return comp, cert
else: # MTORScaler
atp = ATP_Store(budget=int(atp_budget), silent=True)
comp = MTORScaler(atp_store=atp, hysteresis=float(mtor_hyst))
cert = comp.certify()
return comp, cert
# -- Tab 1: Issue & Verify --------------------------------------------------
def certify_and_verify(component: str, atp_budget, qs_pop, mtor_hyst) -> str:
try:
_, cert = _create_component(component, atp_budget, qs_pop, mtor_hyst)
except Exception as e:
return f"Error: {e}
"
v = cert.verify()
evidence = dict(v.evidence)
bc = "#22c55e" if v.holds else "#ef4444"
ev_fmt = {k: f"{v:.6f}" if isinstance(v, float) else v for k, v in evidence.items()}
return (
f''
f'
'
f'Verification:{_holds_badge(v.holds)}
'
f'
Theorem: {cert.theorem}
'
f'
Source: {cert.source}
'
f'
Conclusion: {cert.conclusion}
'
f'
Parameters:
{_kv_table(dict(cert.parameters))}'
f'
Evidence:
{_kv_table(ev_fmt)}'
f'
Error: {e}
", "{}"
v = cert.verify()
d = certificate_to_dict(cert)
html = (
f''
f'
'
f'Certificate Issued{_holds_badge(v.holds)}
'
f'
Theorem: {cert.theorem}
'
f'
Conclusion: {cert.conclusion}
'
f'
Parameters:
{_kv_table(dict(cert.parameters))}
No certificate issued yet. Click 'Issue Certificate' first.
"
# Apply tamper based on theorem type
theorem = d.get("theorem", "")
original_params = json.dumps(d["parameters"], indent=2)
if theorem == "priority_gating":
d["parameters"]["budget"] = int(tamper_value)
tamper_desc = f"budget changed to {int(tamper_value)}"
elif theorem == "no_false_activation":
d["parameters"]["N"] = int(tamper_value)
tamper_desc = f"N (population) changed to {int(tamper_value)}"
elif theorem == "no_oscillation":
d["parameters"]["hysteresis"] = tamper_value
tamper_desc = f"hysteresis changed to {tamper_value}"
else:
return f"Unknown theorem: {theorem}
"
tampered_params = json.dumps(d["parameters"], indent=2)
try:
cert2 = certificate_from_dict(d)
v2 = cert2.verify()
except Exception as e:
return f"Re-verification error: {e}
"
evidence = dict(v2.evidence)
bc = "#22c55e" if v2.holds else "#ef4444"
ev_fmt = {k: f"{v:.6f}" if isinstance(v, float) else v for k, v in evidence.items()}
pre_orig = f'{original_params}'
pre_tamp = f'{tampered_params}'
return (
f''
f'
'
f'Re-verification After Tamper:{_holds_badge(v2.holds)}
'
f'
Tamper applied: {tamper_desc}
'
f'
'
f'
Original parameters:{pre_orig}
'
f'
Tampered parameters:{pre_tamp}
'
f'
Evidence from re-derivation:
{_kv_table(ev_fmt)}