"""
Interactive Regulatory Graph Explorer using Vis.js.
Renders force-directed knowledge graph of AI system specifications,
regulatory requirements, and SHACL validation status.
"""
import json
from typing import Dict, Any, List
from src.core.models import ConformityReport, AssertionStatus
class RegulatoryGraphView:
def generate_html_graph(self, report: ConformityReport) -> str:
"""
Generates an interactive Vis.js HTML graph visualization embedded in an iframe.
"""
meta = report.system_metadata
nodes = []
edges = []
# 1. Central System Node
sys_id = f"sys_{meta.system_id}"
sys_color = "#10b981" if report.overall_conforms else "#ef4444"
nodes.append({
"id": sys_id,
"label": f"AI SYSTEM\n{meta.name}\n(v{meta.version})",
"shape": "hexagon",
"size": 35,
"color": {
"background": sys_color,
"border": "#0f172a",
"highlight": {"background": sys_color, "border": "#3b82f6"},
},
"font": {"color": "#ffffff", "face": "Segoe UI", "size": 14, "bold": True},
"title": f"{meta.name}
Risk Class: {meta.eu_risk_classification}
Domain: {meta.domain}",
})
# 2. Regulatory Article Nodes (EU AI Act Title III)
articles = [
{"id": "art_9", "label": "Art 9: Risk\nManagement", "desc": "Continuous risk management system"},
{"id": "art_10", "label": "Art 10: Data\nGovernance", "desc": "Training/validation dataset governance"},
{"id": "art_10_bias", "label": "Art 10(2)(f):\nBias Mitigation", "desc": "Demographic parity and bias audits"},
{"id": "art_12", "label": "Art 12: Automated\nLogging", "desc": "Inference and event logging"},
{"id": "art_13", "label": "Art 13:\nTransparency", "desc": "Instructions for use and model cards"},
{"id": "art_14", "label": "Art 14: Human\nOversight", "desc": "Human-in-the-loop and manual override"},
{"id": "art_15", "label": "Art 15:\nCybersecurity", "desc": "Adversarial robustness and resilience"},
]
# Check which articles have violations
violated_articles = set()
for v in report.violations:
for art in articles:
art_num = art["label"].split(":")[0].replace("Art ", "").strip()
if art_num in v.regulatory_article:
violated_articles.add(art["id"])
for art in articles:
is_violated = art["id"] in violated_articles
art_color = "#fca5a5" if is_violated else "#bfdbfe"
art_border = "#dc2626" if is_violated else "#2563eb"
nodes.append({
"id": art["id"],
"label": art["label"],
"shape": "box",
"margin": 10,
"color": {
"background": art_color,
"border": art_border,
"highlight": {"background": "#e2e8f0", "border": art_border},
},
"font": {"color": "#0f172a", "face": "Segoe UI", "size": 12, "bold": True},
"title": f"{art['label']}
{art['desc']}
Status: {'❌ VIOLATION DETECTED' if is_violated else '✅ SATISFIED'}",
})
# Edge from System to Article
edges.append({
"from": sys_id,
"to": art["id"],
"color": {"color": "#dc2626" if is_violated else "#94a3b8", "highlight": "#2563eb"},
"width": 2 if not is_violated else 3,
"dashes": is_violated,
})
# 3. Extracted Claim / Control Nodes
article_mapping = {
"RISK_MANAGEMENT": "art_9",
"DATA_GOVERNANCE": "art_10",
"BIAS_MITIGATION": "art_10_bias",
"RECORD_KEEPING": "art_12",
"TRANSPARENCY": "art_13",
"HUMAN_OVERSIGHT": "art_14",
"FAIL_SAFE": "art_14",
"ACCURACY_ROBUSTNESS": "art_15",
"CYBERSECURITY": "art_15",
}
for idx, claim in enumerate(report.claims_analyzed):
claim_node_id = f"claim_{claim.claim_id}"
if claim.assertion_status == AssertionStatus.IMPLEMENTED:
c_color = "#34d399"
c_border = "#059669"
status_icon = "🟢"
elif claim.assertion_status == AssertionStatus.PLANNED:
c_color = "#fcd34d"
c_border = "#d97706"
status_icon = "🟡"
else:
c_color = "#f87171"
c_border = "#b91c1c"
status_icon = "🔴"
nodes.append({
"id": claim_node_id,
"label": f"{status_icon} {claim.entity_text[:20]}\n[{claim.assertion_status.value}]",
"shape": "ellipse",
"color": {
"background": c_color,
"border": c_border,
"highlight": {"background": "#ffffff", "border": c_border},
},
"font": {"color": "#0f172a", "face": "Segoe UI", "size": 11},
"title": (
f"{claim.claim_id}: {claim.entity_text}
"
f"Status: {claim.assertion_status.value} (Confidence: {claim.confidence:.2f})
"
f"Target: {claim.normative_article}
"
f"\"{claim.evidence_quote}\""
),
})
# Connect Claim to its Regulatory Article
target_art = article_mapping.get(claim.category.value, "art_9")
edges.append({
"from": target_art,
"to": claim_node_id,
"color": {"color": c_border},
"width": 1.5,
})
nodes_json = json.dumps(nodes)
edges_json = json.dumps(edges)
html = f"""