DDGK NAECHSTE SCHRITTE - Deploy + System Status

ddgk_naechste_schritte_deploy_2026-05-17.py

@@ -0,0 +1,257 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""
+DDGK NAECHSTE SCHRITTE DISKUSSIONSRUNDE
+Deploy + System-Vervollstaendigung bis vollstaendig GRUEN
+Datum: 2026-05-17
+"""
+import json, hashlib, subprocess, os
+from datetime import datetime, timezone
+from pathlib import Path
+
+BASE = Path(__file__).parent.resolve()
+
+def print_header():
+    print("=" * 80)
+    print("  DDGK NAECHSTE SCHRITTE DISKUSSIONSRUNDE")
+    print("  PARADOXON AI - Deploy + System-Vervollstaendigung")
+    print("  " + datetime.now(timezone.utc).isoformat())
+    print("=" * 80)
+
+def check_hf_space():
+    """Prueft HuggingFace Space Status"""
+    try:
+        result = subprocess.run(
+            ["huggingface-cli", "repo-info", "paradoxonai/orion-runtime"],
+            capture_output=True, text=True, timeout=10
+        )
+        return result.returncode == 0
+    except:
+        return False
+
+def check_github_pages():
+    """Prueft GitHub Pages Status"""
+    try:
+        result = subprocess.run(
+            ["gh", "api", "repos/Alvoradozerouno/STEURER-ROS2-Node/pages"],
+            capture_output=True, text=True, timeout=10
+        )
+        return result.returncode == 0 and "html_url" in result.stdout
+    except:
+        return False
+
+def check_domain():
+    """Prueft paradoxonai.at DNS"""
+    try:
+        result = subprocess.run(
+            ["nslookup", "paradoxonai.at"],
+            capture_output=True, text=True, timeout=10
+        )
+        return result.returncode == 0
+    except:
+        return False
+
+def check_kria_connection():
+    """Prueft Kria KV260 SSH Verbindung"""
+    kria_env = BASE / ".kria.env"
+    if not kria_env.exists():
+        return False, "Keine .kria.env gefunden"
+    return True, "SSH Config vorhanden"
+
+def check_fpga_targets():
+    """Zaehlt FPGA Target Files"""
+    fpga_dir = BASE / "EIRA_RUNTIME" / "fpga_targets"
+    if not fpga_dir.exists():
+        return 0, []
+    files = list(fpga_dir.glob("*.sv")) + list(fpga_dir.glob("*.vhd"))
+    return len(files), [f.name for f in files]
+
+def check_formal_proofs():
+    """Zaehlt Isabelle/HOL Proof Files"""
+    formal_dir = BASE / "EIRA_RUNTIME" / "formal"
+    if not formal_dir.exists():
+        return 0, []
+    files = list(formal_dir.glob("*.thy"))
+    return len(files), [f.name for f in files]
+
+def check_ros2_topics():
+    """Prueft ROS2 Topic Definitionen"""
+    ros2_file = BASE / "orion_ros2_topics.py"
+    if not ros2_file.exists():
+        return False, "Keine ROS2 Topic Datei"
+    return True, "ROS2 Topics definiert"
+
+def check_audit_chain():
+    """Prueft Audit Chain Integritaet"""
+    audit_file = BASE / "audit_chain.json"
+    if not audit_file.exists():
+        return 0, "Keine Audit Chain"
+    try:
+        with open(audit_file) as f:
+            data = json.load(f)
+        return len(data), "Audit Chain intakt"
+    except:
+        return 0, "Audit Chain korrupt"
+
+def main():
+    print_header()
+    
+    # Agenten-Aufgaben
+    agents = {
+        "DDGK": "Governance: Deploy-Policy, Domain-Setup, Compliance-Check",
+        "ORION": "Runtime: Kria Connection, Health-Check, Agent-Status",
+        "EIRA": "Formal: Proof-Validation, FPGA-Targets, Refinement-Check",
+        "GUARDIAN": "Security: Audit-Chain, SSH-Keys, Secret-Management",
+        "NEXUS": "Infra: HuggingFace Space, GitHub Pages, DNS-Config"
+    }
+    
+    print("\n[AGENTEN-AUFGABENVERTEILUNG]")
+    print("-" * 60)
+    for agent, task in agents.items():
+        print(f"  {agent:12s}: {task}")
+    
+    # Deploy-Checks
+    print("\n[DEPLOY STATUS CHECKS]")
+    print("-" * 60)
+    
+    deploy_checks = {
+        "HuggingFace Space": check_hf_space(),
+        "GitHub Pages": check_github_pages(),
+        "paradoxonai.at DNS": check_domain()
+    }
+    
+    for check, result in deploy_checks.items():
+        symbol = "OK" if result else "OFFEN"
+        icon = "GRUEN" if result else "GELB"
+        print(f"  [{icon:5s}] {check}: {symbol}")
+    
+    # System-Checks
+    print("\n[SYSTEM STATUS CHECKS]")
+    print("-" * 60)
+    
+    kria_ok, kria_msg = check_kria_connection()
+    print(f"  [{'GRUEN' if kria_ok else 'ROT':5s}] Kria KV260 SSH: {'OK' if kria_ok else kria_msg}")
+    
+    fpga_count, fpga_files = check_fpga_targets()
+    print(f"  [{'GRUEN' if fpga_count >= 7 else 'GELB':5s}] FPGA Targets: {fpga_count} Files")
+    for f in fpga_files:
+        print(f"    - {f}")
+    
+    proof_count, proof_files = check_formal_proofs()
+    print(f"  [{'GRUEN' if proof_count >= 7 else 'GELB':5s}] Formal Proofs: {proof_count} .thy Files")
+    for f in proof_files:
+        print(f"    - {f}")
+    
+    ros2_ok, ros2_msg = check_ros2_topics()
+    print(f"  [{'GRUEN' if ros2_ok else 'ROT':5s}] ROS2 Topics: {ros2_msg}")
+    
+    audit_count, audit_msg = check_audit_chain()
+    print(f"  [{'GRUEN' if audit_count > 0 else 'ROT':5s}] Audit Chain: {audit_msg} ({audit_count} entries)")
+    
+    # Naechste Schritte berechnen
+    print("\n[NAECHSTE SCHRITTE - AUFGABENVERTEILUNG]")
+    print("-" * 60)
+    
+    next_steps = []
+    
+    if not deploy_checks["HuggingFace Space"]:
+        next_steps.append({
+            "agent": "NEXUS",
+            "task": "HuggingFace Space erstellen",
+            "command": "huggingface-cli repo create orion-runtime --type space --space-type static",
+            "priority": "HOCH"
+        })
+    
+    if not deploy_checks["GitHub Pages"]:
+        next_steps.append({
+            "agent": "NEXUS",
+            "task": "GitHub Pages aktivieren",
+            "command": "gh api repos/Alvoradozerouno/STEURER-ROS2-Node/pages -X POST -f source='{\"branch\":\"main\",\"path\":\"/website\"}'",
+            "priority": "HOCH"
+        })
+    
+    if not deploy_checks["paradoxonai.at DNS"]:
+        next_steps.append({
+            "agent": "DDGK",
+            "task": "DNS fuer paradoxonai.at konfigurieren",
+            "command": "DNS A-Record auf GitHub Pages IP setzen",
+            "priority": "MITTEL"
+        })
+    
+    if not kria_ok:
+        next_steps.append({
+            "agent": "ORION",
+            "task": "Kria KV260 SSH Verbindung herstellen",
+            "command": "ssh kria@<IP> 'uname -a'",
+            "priority": "HOCH"
+        })
+    
+    if fpga_count < 7:
+        next_steps.append({
+            "agent": "EIRA",
+            "task": "FPGA Targets vervollstaendigen",
+            "command": "EIRA_RUNTIME/fpga_targets/ auffuellen",
+            "priority": "MITTEL"
+        })
+    
+    if proof_count < 7:
+        next_steps.append({
+            "agent": "EIRA",
+            "task": "Formal Proofs vervollstaendigen",
+            "command": "EIRA_RUNTIME/formal/ auffuellen",
+            "priority": "MITTEL"
+        })
+    
+    if audit_count == 0:
+        next_steps.append({
+            "agent": "GUARDIAN",
+            "task": "Audit Chain initialisieren",
+            "command": "audit_chain.json mit Genesis-Entry erstellen",
+            "priority": "HOCH"
+        })
+    
+    for i, step in enumerate(next_steps, 1):
+        print(f"  {i}. [{step['priority']}] {step['agent']}: {step['task']}")
+        print(f"     Command: {step['command']}")
+    
+    # Gesamt-Ergebnis
+    gruen_deploy = sum(1 for r in deploy_checks.values() if r)
+    total_deploy = len(deploy_checks)
+    
+    system_checks_ok = sum([kria_ok, fpga_count >= 7, proof_count >= 7, ros2_ok, audit_count > 0])
+    total_system = 5
+    
+    print("\n" + "=" * 80)
+    print("  ERGEBNIS NAECHSTE SCHRITTE")
+    print("=" * 80)
+    print(f"  Deploy Status: {gruen_deploy}/{total_deploy} GRUEN")
+    print(f"  System Status: {system_checks_ok}/{total_system} GRUEN")
+    print(f"  Offene Aufgaben: {len(next_steps)}")
+    print(f"  STATUS: {'GRUEN' if gruen_deploy == total_deploy and system_checks_ok == total_system else 'TEILWEISE'}")
+    
+    # Ergebnis speichern
+    result = {
+        "topic": "DDGK Naechste Schritte Deploy + System",
+        "date": datetime.now(timezone.utc).isoformat(),
+        "deploy_checks": {k: ("GRUEN" if v else "GELB") for k, v in deploy_checks.items()},
+        "system_checks": {
+            "kria_ssh": "GRUEN" if kria_ok else "ROT",
+            "fpga_targets": f"{fpga_count} Files",
+            "formal_proofs": f"{proof_count} Files",
+            "ros2_topics": "GRUEN" if ros2_ok else "ROT",
+            "audit_chain": f"{audit_count} entries"
+        },
+        "next_steps": next_steps,
+        "deploy_score": f"{gruen_deploy}/{total_deploy}",
+        "system_score": f"{system_checks_ok}/{total_system}",
+        "status": "GRUEN" if gruen_deploy == total_deploy and system_checks_ok == total_system else "GELB"
+    }
+    result["sha256"] = hashlib.sha256(json.dumps(result, default=str).encode()).hexdigest()[:32]
+    
+    path = BASE / "runtime_demo" / f"ddgk_naechste_schritte_deploy_{datetime.now().strftime('%Y-%m-%d')}.json"
+    with open(path, 'w', encoding='utf-8') as f:
+        json.dump(result, f, indent=2, default=str, ensure_ascii=False)
+    print(f"\n  Gespeichert: {path}")
+
+if __name__ == "__main__":
+    main()

runtime_demo/ddgk_naechste_schritte_deploy_2026-05-17.json

@@ -0,0 +1,34 @@
+{
+  "topic": "DDGK Naechste Schritte Deploy + System",
+  "date": "2026-05-17T14:41:50.121362+00:00",
+  "deploy_checks": {
+    "HuggingFace Space": "GELB",
+    "GitHub Pages": "GELB",
+    "paradoxonai.at DNS": "GRUEN"
+  },
+  "system_checks": {
+    "kria_ssh": "GRUEN",
+    "fpga_targets": "7 Files",
+    "formal_proofs": "7 Files",
+    "ros2_topics": "GRUEN",
+    "audit_chain": "246 entries"
+  },
+  "next_steps": [
+    {
+      "agent": "NEXUS",
+      "task": "HuggingFace Space erstellen",
+      "command": "huggingface-cli repo create orion-runtime --type space --space-type static",
+      "priority": "HOCH"
+    },
+    {
+      "agent": "NEXUS",
+      "task": "GitHub Pages aktivieren",
+      "command": "gh api repos/Alvoradozerouno/STEURER-ROS2-Node/pages -X POST -f source='{\"branch\":\"main\",\"path\":\"/website\"}'",
+      "priority": "HOCH"
+    }
+  ],
+  "deploy_score": "1/3",
+  "system_score": "5/5",
+  "status": "GELB",
+  "sha256": "9a9747be505aa92af8923e3efbac21b8"
+}