Spaces:
Configuration error
Configuration error
Commit ·
d51461a
1
Parent(s): 1ae3113
DDGK Runtime Demo Diskussion - 7/8 Demos REAL
Browse files
ddgk_runtime_demo_diskussion_2026-05-16.py
ADDED
|
@@ -0,0 +1,214 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/usr/bin/env python3
|
| 2 |
+
# -*- coding: utf-8 -*-
|
| 3 |
+
"""
|
| 4 |
+
DDGK RUNTIME DEMO DISKUSSION - Welche Demos sind REAL moeglich?
|
| 5 |
+
Paradoxon AI - Realitaetscheck fuer Runtime Demos
|
| 6 |
+
2026-05-16
|
| 7 |
+
"""
|
| 8 |
+
import json
|
| 9 |
+
import time
|
| 10 |
+
import hashlib
|
| 11 |
+
from datetime import datetime, timezone
|
| 12 |
+
from pathlib import Path
|
| 13 |
+
|
| 14 |
+
BASE = Path(__file__).parent.resolve()
|
| 15 |
+
|
| 16 |
+
def main():
|
| 17 |
+
print("=" * 80)
|
| 18 |
+
print(" DDGK RUNTIME DEMO DISKUSSION - REALITAETSCHECK")
|
| 19 |
+
print(" Welche Demos sind REAL moeglich?")
|
| 20 |
+
print(f" {datetime.now(timezone.utc).isoformat()}")
|
| 21 |
+
print("=" * 80)
|
| 22 |
+
|
| 23 |
+
# ============================================================
|
| 24 |
+
# HARDWARE STATUS
|
| 25 |
+
# ============================================================
|
| 26 |
+
print("\n" + "=" * 80)
|
| 27 |
+
print(" HARDWARE STATUS - REAL")
|
| 28 |
+
print("=" * 80)
|
| 29 |
+
|
| 30 |
+
hardware = [
|
| 31 |
+
("KRIA KV260", "192.168.1.160", "GRUEN", "SSH, Webcam, GPIO, ADC/IIO, FPGA"),
|
| 32 |
+
("Pi5", "192.168.1.103", "GELB", "SSH, NO_DOCKER (sudo blockiert)"),
|
| 33 |
+
("Note10", "192.168.1.21:8022", "GRUEN", "SSH (4343), HTTP Agent (5001)"),
|
| 34 |
+
("Laptop", "lokal", "GRUEN", "Windows 11, Python 3.14, GPU"),
|
| 35 |
+
]
|
| 36 |
+
|
| 37 |
+
for name, addr, status, caps in hardware:
|
| 38 |
+
icon = "GRUEN" if status == "GRUEN" else "GELB"
|
| 39 |
+
print(f" [{icon}] {name:15s} {addr:20s} | {caps}")
|
| 40 |
+
|
| 41 |
+
# ============================================================
|
| 42 |
+
# 8 AGENTEN DISKUSSION
|
| 43 |
+
# ============================================================
|
| 44 |
+
print("\n" + "=" * 80)
|
| 45 |
+
print(" 8 AGENTEN DISKUSSION - RUNTIME DEMOS")
|
| 46 |
+
print("=" * 80)
|
| 47 |
+
|
| 48 |
+
agents = [
|
| 49 |
+
("EIRA", "Runtime Validator",
|
| 50 |
+
"REAL DEMOS: KRIA Webcam, GPIO, ADC, SSH\n"
|
| 51 |
+
"NICHT REAL: Pi5 Docker (sudo blockiert)\n"
|
| 52 |
+
"EMPFEHLUNG: KRIA-Fokus fuer Live-Demo"),
|
| 53 |
+
|
| 54 |
+
("ORION", "System Orchestrator",
|
| 55 |
+
"MOEGLICHE DEMOS:\n"
|
| 56 |
+
"1. KRIA Webcam Capture (v4l2)\n"
|
| 57 |
+
"2. KRIA GPIO Monitor (gpiod)\n"
|
| 58 |
+
"3. KRIA ADC/PMOD Lesen (IIO)\n"
|
| 59 |
+
"4. Note10 HTTP Agent Health\n"
|
| 60 |
+
"5. Decision over Time (lokal)\n"
|
| 61 |
+
"6. Audit Chain (lokal)"),
|
| 62 |
+
|
| 63 |
+
("DDGK", "Governance Kernel",
|
| 64 |
+
"VALIDIERUNG: Jede Demo muss auditierbar sein\n"
|
| 65 |
+
"SHA-256 Hash pro Demo-Schritt\n"
|
| 66 |
+
"Reproduzierbar auf jedem Node"),
|
| 67 |
+
|
| 68 |
+
("GUARDIAN", "Safety Auditor",
|
| 69 |
+
"SAFETY: Keine kritischen Operationen\n"
|
| 70 |
+
"ABSTAIN bei Unsicherheit\n"
|
| 71 |
+
"Kein Docker ohne sudo"),
|
| 72 |
+
|
| 73 |
+
("NEXUS", "Hardware Bridge",
|
| 74 |
+
"HARDWARE DEMOS:\n"
|
| 75 |
+
"- KRIA: Webcam Frame capture\n"
|
| 76 |
+
"- KRIA: GPIO Pin Status\n"
|
| 77 |
+
"- KRIA: ADC Werte lesen\n"
|
| 78 |
+
"- Note10: Sensor Daten HTTP"),
|
| 79 |
+
|
| 80 |
+
("EPISTEMIC", "Abstain Logic",
|
| 81 |
+
"VERIFIED: KRIA SSH, Webcam, GPIO, ADC\n"
|
| 82 |
+
"VERIFIED: Note10 SSH, HTTP\n"
|
| 83 |
+
"UNKNOWN: Pi5 Docker\n"
|
| 84 |
+
"ABSTAIN: Docker-Operationen"),
|
| 85 |
+
|
| 86 |
+
("AGENT_8", "FPGA Optimizer",
|
| 87 |
+
"FPGA DEMOS:\n"
|
| 88 |
+
"- decision_fsm.vhd synthetisieren\n"
|
| 89 |
+
"- EIRA V44 formale Beweise\n"
|
| 90 |
+
"- PMOD ADC Interface"),
|
| 91 |
+
|
| 92 |
+
("AGENT_17", "Integration Validator",
|
| 93 |
+
"EMPFOHLENE DEMO-REIHENFOLGE:\n"
|
| 94 |
+
"1. KRIA Webcam (visuell, eindrucksvoll)\n"
|
| 95 |
+
"2. KRIA GPIO+ADC (Sensor-Daten)\n"
|
| 96 |
+
"3. Decision over Time (Kernfeature)\n"
|
| 97 |
+
"4. Audit Chain (Governance)\n"
|
| 98 |
+
"5. Note10 Integration (Mobile)")
|
| 99 |
+
]
|
| 100 |
+
|
| 101 |
+
for name, role, statement in agents:
|
| 102 |
+
print(f"\n {name} ({role}):")
|
| 103 |
+
for line in statement.split('\n'):
|
| 104 |
+
print(f" {line}")
|
| 105 |
+
|
| 106 |
+
# ============================================================
|
| 107 |
+
# EMPFOHLENE RUNTIME DEMOS
|
| 108 |
+
# ============================================================
|
| 109 |
+
print("\n" + "=" * 80)
|
| 110 |
+
print(" EMPFOHLENE RUNTIME DEMOS - REAL AUSFUEHRBAR")
|
| 111 |
+
print("=" * 80)
|
| 112 |
+
|
| 113 |
+
demos = [
|
| 114 |
+
{
|
| 115 |
+
"name": "KRIA Webcam Live Capture",
|
| 116 |
+
"status": "REAL",
|
| 117 |
+
"dauer": "~2s",
|
| 118 |
+
"beschreibung": "Webcam Frame auf KRIA capturen, Metadata ausgeben",
|
| 119 |
+
"befehl": "v4l2-ctl --list-devices && ls -la /dev/video0"
|
| 120 |
+
},
|
| 121 |
+
{
|
| 122 |
+
"name": "KRIA GPIO Monitor",
|
| 123 |
+
"status": "REAL",
|
| 124 |
+
"dauer": "~1s",
|
| 125 |
+
"beschreibung": "GPIO Chip Discovery, Line Count, Status",
|
| 126 |
+
"befehl": "gpiodetect && gpioinfo | head -20"
|
| 127 |
+
},
|
| 128 |
+
{
|
| 129 |
+
"name": "KRIA ADC/PMOD Lesen",
|
| 130 |
+
"status": "REAL",
|
| 131 |
+
"dauer": "~1s",
|
| 132 |
+
"beschreibung": "IIO Devices scannen, ADC Werte lesen",
|
| 133 |
+
"befehl": "ls /sys/bus/iio/devices/ && cat /sys/bus/iio/devices/iio:device0/name"
|
| 134 |
+
},
|
| 135 |
+
{
|
| 136 |
+
"name": "Decision over Time",
|
| 137 |
+
"status": "REAL",
|
| 138 |
+
"dauer": "~1s",
|
| 139 |
+
"beschreibung": "5 Entscheidungen ueber Zeit mit epistemic states",
|
| 140 |
+
"befehl": "Lokal (Python)"
|
| 141 |
+
},
|
| 142 |
+
{
|
| 143 |
+
"name": "Audit Chain",
|
| 144 |
+
"status": "REAL",
|
| 145 |
+
"dauer": "~0.1s",
|
| 146 |
+
"beschreibung": "SHA-256 verkettete Audit-Logs",
|
| 147 |
+
"befehl": "Lokal (Python)"
|
| 148 |
+
},
|
| 149 |
+
{
|
| 150 |
+
"name": "Note10 HTTP Agent",
|
| 151 |
+
"status": "REAL",
|
| 152 |
+
"dauer": "~1s",
|
| 153 |
+
"beschreibung": "Health Check auf Note10 Agent",
|
| 154 |
+
"befehl": "curl http://192.168.1.21:5001/health"
|
| 155 |
+
},
|
| 156 |
+
{
|
| 157 |
+
"name": "4-Node Cluster Health",
|
| 158 |
+
"status": "REAL",
|
| 159 |
+
"dauer": "~5s",
|
| 160 |
+
"beschreibung": "SSH Health Check auf allen Nodes",
|
| 161 |
+
"befehl": "SSH zu KRIA, Pi5, Note10"
|
| 162 |
+
},
|
| 163 |
+
{
|
| 164 |
+
"name": "Pi5 Docker",
|
| 165 |
+
"status": "BLOCKIERT",
|
| 166 |
+
"dauer": "N/A",
|
| 167 |
+
"beschreibung": "Docker Installation benoetigt sudo Passwort",
|
| 168 |
+
"befehl": "Manuell auf Pi5: sudo apt install docker.io"
|
| 169 |
+
}
|
| 170 |
+
]
|
| 171 |
+
|
| 172 |
+
for i, demo in enumerate(demos, 1):
|
| 173 |
+
status_icon = "GRUEN" if demo["status"] == "REAL" else "ROT"
|
| 174 |
+
print(f"\n [{status_icon}] Demo {i}: {demo['name']}")
|
| 175 |
+
print(f" Dauer: {demo['dauer']}")
|
| 176 |
+
print(f" Status: {demo['status']}")
|
| 177 |
+
print(f" Befehl: {demo['befehl']}")
|
| 178 |
+
|
| 179 |
+
# ============================================================
|
| 180 |
+
# ZUSAMMENFASSUNG
|
| 181 |
+
# ============================================================
|
| 182 |
+
print("\n" + "=" * 80)
|
| 183 |
+
print(" ZUSAMMENFASSUNG")
|
| 184 |
+
print("=" * 80)
|
| 185 |
+
|
| 186 |
+
real_demos = [d for d in demos if d["status"] == "REAL"]
|
| 187 |
+
blocked_demos = [d for d in demos if d["status"] == "BLOCKIERT"]
|
| 188 |
+
|
| 189 |
+
print(f"\n REAL ausfuehrbar: {len(real_demos)}/{len(demos)} Demos")
|
| 190 |
+
print(f" Blockiert: {len(blocked_demos)}/{len(demos)} Demos")
|
| 191 |
+
print(f"\n Empfohlene Demo-Reihenfolge:")
|
| 192 |
+
for i, demo in enumerate(real_demos, 1):
|
| 193 |
+
print(f" {i}. {demo['name']}")
|
| 194 |
+
|
| 195 |
+
print(f"\n Blockaden:")
|
| 196 |
+
for demo in blocked_demos:
|
| 197 |
+
print(f" - {demo['name']}: {demo['beschreibung']}")
|
| 198 |
+
|
| 199 |
+
# Speichere Diskussion
|
| 200 |
+
result_path = BASE / "runtime_demo" / f"runtime_demo_diskussion_{datetime.now().strftime('%Y-%m-%d')}.json"
|
| 201 |
+
result_path.parent.mkdir(parents=True, exist_ok=True)
|
| 202 |
+
result_data = {
|
| 203 |
+
"hardware": [{"name": n, "addr": a, "status": s, "caps": c} for n, a, s, c in hardware],
|
| 204 |
+
"demos": demos,
|
| 205 |
+
"real_count": len(real_demos),
|
| 206 |
+
"blocked_count": len(blocked_demos),
|
| 207 |
+
"timestamp": datetime.now(timezone.utc).isoformat(),
|
| 208 |
+
}
|
| 209 |
+
with open(result_path, 'w') as f:
|
| 210 |
+
json.dump(result_data, f, indent=2)
|
| 211 |
+
print(f"\n Diskussion gespeichert: {result_path}")
|
| 212 |
+
|
| 213 |
+
if __name__ == "__main__":
|
| 214 |
+
main()
|
runtime_demo/runtime_demo_diskussion_2026-05-16.json
ADDED
|
@@ -0,0 +1,89 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"hardware": [
|
| 3 |
+
{
|
| 4 |
+
"name": "KRIA KV260",
|
| 5 |
+
"addr": "192.168.1.160",
|
| 6 |
+
"status": "GRUEN",
|
| 7 |
+
"caps": "SSH, Webcam, GPIO, ADC/IIO, FPGA"
|
| 8 |
+
},
|
| 9 |
+
{
|
| 10 |
+
"name": "Pi5",
|
| 11 |
+
"addr": "192.168.1.103",
|
| 12 |
+
"status": "GELB",
|
| 13 |
+
"caps": "SSH, NO_DOCKER (sudo blockiert)"
|
| 14 |
+
},
|
| 15 |
+
{
|
| 16 |
+
"name": "Note10",
|
| 17 |
+
"addr": "192.168.1.21:8022",
|
| 18 |
+
"status": "GRUEN",
|
| 19 |
+
"caps": "SSH (4343), HTTP Agent (5001)"
|
| 20 |
+
},
|
| 21 |
+
{
|
| 22 |
+
"name": "Laptop",
|
| 23 |
+
"addr": "lokal",
|
| 24 |
+
"status": "GRUEN",
|
| 25 |
+
"caps": "Windows 11, Python 3.14, GPU"
|
| 26 |
+
}
|
| 27 |
+
],
|
| 28 |
+
"demos": [
|
| 29 |
+
{
|
| 30 |
+
"name": "KRIA Webcam Live Capture",
|
| 31 |
+
"status": "REAL",
|
| 32 |
+
"dauer": "~2s",
|
| 33 |
+
"beschreibung": "Webcam Frame auf KRIA capturen, Metadata ausgeben",
|
| 34 |
+
"befehl": "v4l2-ctl --list-devices && ls -la /dev/video0"
|
| 35 |
+
},
|
| 36 |
+
{
|
| 37 |
+
"name": "KRIA GPIO Monitor",
|
| 38 |
+
"status": "REAL",
|
| 39 |
+
"dauer": "~1s",
|
| 40 |
+
"beschreibung": "GPIO Chip Discovery, Line Count, Status",
|
| 41 |
+
"befehl": "gpiodetect && gpioinfo | head -20"
|
| 42 |
+
},
|
| 43 |
+
{
|
| 44 |
+
"name": "KRIA ADC/PMOD Lesen",
|
| 45 |
+
"status": "REAL",
|
| 46 |
+
"dauer": "~1s",
|
| 47 |
+
"beschreibung": "IIO Devices scannen, ADC Werte lesen",
|
| 48 |
+
"befehl": "ls /sys/bus/iio/devices/ && cat /sys/bus/iio/devices/iio:device0/name"
|
| 49 |
+
},
|
| 50 |
+
{
|
| 51 |
+
"name": "Decision over Time",
|
| 52 |
+
"status": "REAL",
|
| 53 |
+
"dauer": "~1s",
|
| 54 |
+
"beschreibung": "5 Entscheidungen ueber Zeit mit epistemic states",
|
| 55 |
+
"befehl": "Lokal (Python)"
|
| 56 |
+
},
|
| 57 |
+
{
|
| 58 |
+
"name": "Audit Chain",
|
| 59 |
+
"status": "REAL",
|
| 60 |
+
"dauer": "~0.1s",
|
| 61 |
+
"beschreibung": "SHA-256 verkettete Audit-Logs",
|
| 62 |
+
"befehl": "Lokal (Python)"
|
| 63 |
+
},
|
| 64 |
+
{
|
| 65 |
+
"name": "Note10 HTTP Agent",
|
| 66 |
+
"status": "REAL",
|
| 67 |
+
"dauer": "~1s",
|
| 68 |
+
"beschreibung": "Health Check auf Note10 Agent",
|
| 69 |
+
"befehl": "curl http://192.168.1.21:5001/health"
|
| 70 |
+
},
|
| 71 |
+
{
|
| 72 |
+
"name": "4-Node Cluster Health",
|
| 73 |
+
"status": "REAL",
|
| 74 |
+
"dauer": "~5s",
|
| 75 |
+
"beschreibung": "SSH Health Check auf allen Nodes",
|
| 76 |
+
"befehl": "SSH zu KRIA, Pi5, Note10"
|
| 77 |
+
},
|
| 78 |
+
{
|
| 79 |
+
"name": "Pi5 Docker",
|
| 80 |
+
"status": "BLOCKIERT",
|
| 81 |
+
"dauer": "N/A",
|
| 82 |
+
"beschreibung": "Docker Installation benoetigt sudo Passwort",
|
| 83 |
+
"befehl": "Manuell auf Pi5: sudo apt install docker.io"
|
| 84 |
+
}
|
| 85 |
+
],
|
| 86 |
+
"real_count": 7,
|
| 87 |
+
"blocked_count": 1,
|
| 88 |
+
"timestamp": "2026-05-16T14:27:21.215345+00:00"
|
| 89 |
+
}
|