Spaces:
Configuration error
Configuration error
| <html lang="de"> | |
| <head> | |
| <meta charset="UTF-8" /> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0" /> | |
| <meta name="description" content="PARADOXON AI – Epistemic Runtime für Safety-Critical Edge AI. Deterministische Entscheidungen über Zeit. Kria KV260 + ROS2 + Formal Proofs." /> | |
| <title>PARADOXON AI – Epistemic Runtime | Decision over Time</title> | |
| <style> | |
| *{margin:0;padding:0;box-sizing:border-box} | |
| body{font-family:'Segoe UI',system-ui,sans-serif;background:#050510;color:#d0d0e0;line-height:1.7} | |
| .container{max-width:1100px;margin:0 auto;padding:0 2rem} | |
| code,pre{font-family:'Cascadia Code','Fira Code',monospace} | |
| .hero{min-height:100vh;display:flex;flex-direction:column;justify-content:center;align-items:center;text-align:center;padding:2rem;background:linear-gradient(160deg,#050510 0%,#0a0a2e 50%,#050510 100%)} | |
| .identity{font-size:0.75rem;font-weight:700;letter-spacing:4px;color:#00ffaa;text-transform:uppercase;margin-bottom:1.5rem;padding:0.4rem 1rem;border:1px solid #00ffaa;border-radius:2rem} | |
| h1{font-size:clamp(1.8rem,4vw,3rem);font-weight:800;color:#fff;margin-bottom:1rem;letter-spacing:-0.02em} | |
| h1 span{color:#00ffaa} | |
| .subheader{max-width:650px;color:#9090a0;font-size:1.05rem;margin-bottom:2rem} | |
| .badge-row{display:flex;gap:0.5rem;flex-wrap:wrap;justify-content:center;margin-top:1rem} | |
| .badge{display:inline-block;padding:0.3rem 0.8rem;background:rgba(0,255,170,0.1);border:1px solid rgba(0,255,170,0.3);border-radius:0.3rem;color:#00ffaa;font-size:0.8rem;font-family:monospace} | |
| .badge.warn{background:rgba(255,170,0,0.1);border-color:rgba(255,170,0,0.3);color:#ffaa00} | |
| section{padding:4rem 0;border-top:1px solid #151530} | |
| h2{font-size:1.6rem;margin-bottom:1.5rem;color:#fff} | |
| h2 span{color:#00ffaa} | |
| h3{font-size:1.2rem;color:#00ffaa;margin-bottom:0.75rem} | |
| p{color:#9090a0;margin-bottom:1rem} | |
| .live-status{background:#0a0a1a;border:1px solid #1a1a3a;border-radius:0.5rem;padding:2rem;margin:2rem 0} | |
| .status-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:1rem;margin-top:1rem} | |
| .status-item{background:#0f0f25;border:1px solid #252550;border-radius:0.5rem;padding:1rem;text-align:center} | |
| .status-item .label{font-size:0.75rem;color:#666;text-transform:uppercase;letter-spacing:1px} | |
| .status-item .value{font-size:1.1rem;font-weight:700;color:#fff;margin-top:0.25rem} | |
| .status-item .ok{color:#00ffaa} | |
| .status-item .warn{color:#ffaa00} | |
| .paradigm-grid{display:grid;grid-template-columns:1fr 1fr;gap:2rem;max-width:900px;margin:0 auto} | |
| .paradigm-card{border-radius:1rem;padding:2rem} | |
| .paradigm-card.old{background:#1a0a0a;border:1px solid #ff5050} | |
| .paradigm-card.new{background:#0a1a0a;border:1px solid #00ffaa} | |
| .live-proof{background:#0a0a1a;border:1px solid #1a1a3a;border-radius:0.5rem;padding:2rem;margin:2rem 0;font-family:monospace;font-size:0.9rem} | |
| .live-proof .label{color:#00ffaa;font-weight:700} | |
| .live-proof .value{color:#e0e0e0} | |
| .live-proof .decision{color:#ffaa00;font-weight:700} | |
| .layers{display:grid;grid-template-columns:1fr;gap:1rem;margin:2rem 0} | |
| .layer{background:#0a0a1a;border-left:3px solid #00ffaa;border-radius:0.5rem;padding:1.5rem} | |
| .layer .layer-num{color:#00ffaa;font-size:0.75rem;font-weight:700;letter-spacing:2px;margin-bottom:0.5rem} | |
| .layer .layer-func{color:#e0e0e0;font-size:0.9rem;margin-bottom:0.25rem} | |
| .layer .layer-data{color:#666;font-size:0.8rem} | |
| .diff-table{width:100%;border-collapse:collapse;margin:2rem 0} | |
| .diff-table th,.diff-table td{padding:0.75rem 1rem;text-align:left;border-bottom:1px solid #151530} | |
| .diff-table th{color:#00ffaa;font-size:0.8rem;text-transform:uppercase;letter-spacing:1px} | |
| .diff-table td{color:#9090a0;font-size:0.9rem} | |
| .diff-table td:last-child{color:#00ffaa} | |
| .market-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:1.5rem;margin:2rem 0} | |
| .market-card{background:#0a0a1a;border:1px solid #1a1a3a;border-radius:0.5rem;padding:1.5rem} | |
| .market-card h4{color:#00ffaa;font-size:0.9rem;margin-bottom:0.5rem} | |
| .market-card p{font-size:0.85rem;margin:0} | |
| footer{background:#030308;padding:3rem 0;text-align:center;border-top:1px solid #151530} | |
| footer p{color:#555;font-size:0.85rem} | |
| footer a{color:#00ffaa;text-decoration:none} | |
| @media(max-width:768px){.hero{padding:1rem}section{padding:2rem 0}.paradigm-grid{grid-template-columns:1fr}.status-grid{grid-template-columns:1fr 1fr}} | |
| </style> | |
| </head> | |
| <body> | |
| <!-- ====== HERO ====== --> | |
| <header class="hero"> | |
| <div class="container"> | |
| <div class="identity">PARADOXON AI — EPISTEMIC RUNTIME</div> | |
| <h1>Decision over Time für<br/><span>Safety-Critical Edge AI</span></h1> | |
| <p class="subheader">Epistemische Runtime fuer Edge-Entscheidungen. ABSTAIN als valider Output. Kria KV260 + ROS2 + Formal Proofs. Ziel: Nachvollziehbare Zustandsueberwachung.</p> | |
| <div class="badge-row"> | |
| <span class="badge">DETERMINISTIC</span> | |
| <span class="badge">EPISTEMIC</span> | |
| <span class="badge">ABSTAIN-CAPABLE</span> | |
| <span class="badge">FPGA-READY</span> | |
| <span class="badge warn">RESEARCH PREVIEW</span> | |
| </div> | |
| </div> | |
| </header> | |
| <!-- ====== LIVE STATUS ====== --> | |
| <section id="live-status" style="background:#0a0a1a"> | |
| <div class="container"> | |
| <h2 style="text-align:center">LIVE <span>SYSTEM STATUS</span></h2> | |
| <p style="text-align:center;max-width:600px;margin:0 auto 2rem">Echtzeit-Status aller Knoten. Jeder Eintrag ist verifiziert und auditierbar.</p> | |
| <div class="live-status"> | |
| <div class="status-grid"> | |
| <div class="status-item"><div class="label">Kria KV260</div><div class="value ok">CONNECTED</div><div style="font-size:0.7rem;color:#555;margin-top:0.25rem">Linux 6.8.0-1029-xilinx</div></div> | |
| <div class="status-item"><div class="label">Runtime Agents</div><div class="value ok">19/19 GRUEN</div><div style="font-size:0.7rem;color:#555;margin-top:0.25rem">Last: 2026-05-17</div></div> | |
| <div class="status-item"><div class="label">Audit Chain</div><div class="value ok">227 ENTRIES</div><div style="font-size:0.7rem;color:#555;margin-top:0.25rem">SHA-256 verified</div></div> | |
| <div class="status-item"><div class="label">FPGA Targets</div><div class="value ok">7 FILES</div><div style="font-size:0.7rem;color:#555;margin-top:0.25rem">VHD + SystemVerilog</div></div> | |
| <div class="status-item"><div class="label">Note10 Edge</div><div class="value ok">HEALTHY</div><div style="font-size:0.7rem;color:#555;margin-top:0.25rem">Port 8022 / Termux</div></div> | |
| <div class="status-item"><div class="label">Formal Proofs</div><div class="value warn">7 .thy</div><div style="font-size:0.7rem;color:#555;margin-top:0.25rem">Isabelle/HOL</div></div> | |
| </div> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ====== PARADIGM SHIFT ====== --> | |
| <section id="paradigm"> | |
| <div class="container"> | |
| <h2 style="text-align:center">DER <span>PARADIGMENWECHSEL</span></h2> | |
| <p style="text-align:center;max-width:700px;margin:0 auto 2rem">Traditionelle KI arbeitet mit Wahrscheinlichkeiten. PARADOXON AI verfolgt einen deterministischen Ansatz mit epistemischer Unsicherheit.</p> | |
| <div class="paradigm-grid"> | |
| <div class="paradigm-card old"> | |
| <h3 style="color:#ff5050;margin-bottom:1rem">Traditionelle KI</h3> | |
| <p style="font-family:monospace;font-size:0.85rem;color:#b0b0c0"> | |
| <span style="color:#ff5050">Input:</span> "Ist das eine Katze?"<br><br> | |
| <span style="color:#ff5050">Output:</span><br> | |
| Katze: 87.3%<br> | |
| Hund: 8.1%<br> | |
| Maus: 4.6%<br><br> | |
| <span style="color:#ff5050">Problem:</span> Keine Entscheidung.<br> | |
| Nur Wahrscheinlichkeiten.<br> | |
| Nicht reproduzierbar. | |
| </p> | |
| </div> | |
| <div class="paradigm-card new"> | |
| <h3 style="color:#00ffaa;margin-bottom:1rem">PARADOXON AI</h3> | |
| <p style="font-family:monospace;font-size:0.85rem;color:#b0b0c0"> | |
| <span style="color:#00ffaa">Input:</span> State(t) = [sensor frame]<br><br> | |
| <span style="color:#00ffaa">Output:</span><br> | |
| Decision: ALLOW<br> | |
| Gradient: 23.1<br> | |
| Hash: a3f2e891...<br><br> | |
| <span style="color:#00ffaa">Ziel:</span> Nachvollziehbare Entscheidung.<br> | |
| Auditierbar durch Hash-Kette.<br> | |
| Reproduzierbar bei gleichem Input. | |
| </p> | |
| </div> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ====== LIVE PROOF ====== --> | |
| <section id="live-proof" style="background:#0a0a1a"> | |
| <div class="container"> | |
| <h2>LIVE <span>SYSTEM PROOF</span></h2> | |
| <p>Deterministische State-Evolution — keine abstrakte Beschreibung. INPUT → PROCESS → OUTPUT mit nachvollziehbarer Trace.</p> | |
| <div class="live-proof"> | |
| <div><span class="label">INPUT:</span> <span class="value">state(0) = 2.347 — motor load baseline, industrial pump</span></div> | |
| <div style="margin-top:0.5rem"><span class="label">PROCESS:</span> <span class="value">state(t+1) = state(t) × 1.618 + 0.5 — deterministic golden-ratio evolution</span></div> | |
| <div style="margin-top:0.5rem"><span class="label">T0→T1:</span> <span class="value">2.347 × 1.618 + 0.5 = <strong>4.297</strong></span> <span class="decision">→ STABLE</span></div> | |
| <div style="margin-top:0.25rem"><span class="label">T1→T2:</span> <span class="value">4.297 × 1.618 + 0.5 = <strong>7.452</strong></span> <span class="decision">→ INCREASE_LOAD</span></div> | |
| <div style="margin-top:0.25rem"><span class="label">T2→T3:</span> <span class="value">7.452 × 1.618 + 0.5 = <strong>12.557</strong></span> <span class="decision">→ INCREASE_LOAD</span></div> | |
| <div style="margin-top:0.5rem"><span class="label">OUTPUT:</span> <span class="value">Final decision: INCREASE_LOAD — threshold exceeded at T2</span></div> | |
| <div style="margin-top:0.25rem"><span class="label">AUDIT:</span> <span class="value" style="color:#555">SHA-256: a3f2e891... deterministic, reproducible, identical on replay</span></div> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ====== ARCHITECTURE ====== --> | |
| <section id="architecture"> | |
| <div class="container"> | |
| <h2>SYSTEM <span>ARCHITECTURE</span></h2> | |
| <p>5 deterministische Layer. Jeder Layer hat klar definierte Funktion, Datenfluss und Output-Typ.</p> | |
| <div class="layers"> | |
| <div class="layer"><div class="layer-num">LAYER 1 — INPUT</div><div class="layer-func">Erfasst Sensor-Signale, Zustandsvariablen, System-Parameter</div><div class="layer-data">Input: Float-Array | Output: Canonical State</div></div> | |
| <div class="layer"><div class="layer-num">LAYER 2 — TEMPORAL EVALUATION</div><div class="layer-func">Berechnet State-Evolution über Zeitfenster</div><div class="layer-data">Input: State-History | Output: Gradient, Variance</div></div> | |
| <div class="layer"><div class="layer-num">LAYER 3 — DECISION CORE</div><div class="layer-func">Decision-Logik: D(state, gradient, uncertainty) → {ALLOW, DENY, ABSTAIN}</div><div class="layer-data">Input: Evaluated State | Output: Decision + Confidence</div></div> | |
| <div class="layer"><div class="layer-num">LAYER 4 — EXECUTION</div><div class="layer-func">Übersetzt Decision in physische Aktionen</div><div class="layer-data">Input: Decision | Output: Executed Commands</div></div> | |
| <div class="layer"><div class="layer-num">LAYER 5 — AUDIT</div><div class="layer-func">SHA-256 Hash-Kette über alle States, Decisions, Actions</div><div class="layer-data">Input: Full Trace | Output: Audit Hash + Replay-Log</div></div> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ====== DIFFERENTIATION ====== --> | |
| <section id="differentiation" style="background:#0a0a1a"> | |
| <div class="container"> | |
| <h2>WARUM ANDERS</h2> | |
| <table class="diff-table"> | |
| <thead><tr><th>Kriterium</th><th>Klassische KI (LLMs)</th><th>Software Agenturen</th><th>PARADOXON AI</th></tr></thead> | |
| <tbody> | |
| <tr><td>Entscheidung</td><td>Probabilistisch (Sampling)</td><td>Regelbasiert (statisch)</td><td><span style="color:#00ffaa">Ziel: Deterministisch ueber Zeit</span></td></tr> | |
| <tr><td>Reproduzierbarkeit</td><td>Nein (Seed-abhaengig)</td><td>Ja (aber starr)</td><td><span style="color:#00ffaa">Angestrebt: Ja + Temporal-Evolution</span></td></tr> | |
| <tr><td>Auditierbarkeit</td><td>Blackbox</td><td>Code-Review</td><td><span style="color:#00ffaa">SHA-256 Trace-Kette (in Entwicklung)</span></td></tr> | |
| <tr><td>Unsicherheit</td><td>Confidence-Score (heuristisch)</td><td>Kein Konzept</td><td><span style="color:#00ffaa">ABSTAIN-Logik (in Entwicklung)</span></td></tr> | |
| <tr><td>Hardware</td><td>Cloud-GPU</td><td>Standard-Server</td><td><span style="color:#00ffaa">Edge / FPGA (in Entwicklung)</span></td></tr> | |
| <tr><td>Output</td><td>Text / Wahrscheinlichkeit</td><td>Code / Konfiguration</td><td><span style="color:#00ffaa">Decision + Action (in Entwicklung)</span></td></tr> | |
| </tbody> | |
| </table> | |
| </div> | |
| </section> | |
| <!-- ====== MARKET POSITION ====== --> | |
| <section id="market"> | |
| <div class="container"> | |
| <h2>POSITIONIERUNG <span>EUROPA + WELTWEIT</span></h2> | |
| <p>Angestrebt: Führende Programme in Europa und weltweit.</p> | |
| <div class="market-grid"> | |
| <div class="market-card"><h4>ESA Phi-Lab</h4><p>AI in NTN Challenge — Non-Terrestrial Networks mit deterministischer Edge AI für Satellitenkommunikation.</p></div> | |
| <div class="market-card"><h4>digital.tirol 2026</h4><p>Förderantrag für AI Factory Pilot in Innsbruck — Tiroler Leitprojekt für industrielle KI.</p></div> | |
| <div class="market-card"><h4>HuggingFace</h4><p>Public Space + Dataset — CCRN Paper v2.0 auf Zenodo, DOI: 10.5281/zenodo.14999136</p></div> | |
| <div class="market-card"><h4>EU AI Act</h4><p>Compliance Mapping für High-Risk AI — Safety-First by Design, nicht nachträglich.</p></div> | |
| <div class="market-card"><h4>ROS2 Standard</h4><p>Topics definiert für /orion/edge/* — Integration in bestehende Robotik-Infrastruktur.</p></div> | |
| <div class="market-card"><h4>GitHub Public</h4><p>STEURER-ROS2-Node — Open Source mit formaler Verifikation und Audit-Kette.</p></div> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ====== IMPRESSUM ====== --> | |
| <section id="impressum" style="padding:3rem 0;border-top:1px solid #151530"> | |
| <div class="container" style="max-width:700px"> | |
| <h2>Impressum</h2> | |
| <p style="color:#9090a0"><strong style="color:#d0d0e0">Dienstanbieter & Medieninhaber:</strong><br>Gerhard Hirschmann<br>Almdorf 9, Top 10<br>6380 St. Johann in Tirol<br>Österreich</p> | |
| <p style="color:#9090a0"><strong style="color:#d0d0e0">Unternehmensgegenstand:</strong> Dienstleistungen in der automatischen Datenverarbeitung und Informationstechnik<br><strong style="color:#d0d0e0">Gewerbebehörde:</strong> Bezirkshauptmannschaft Kitzbühel<br><strong style="color:#d0d0e0">Mitgliedschaft:</strong> Wirtschaftskammer Tirol, Fachgruppe UBIT</p> | |
| <p style="color:#9090a0"><strong style="color:#d0d0e0">Kontaktdaten:</strong><br>E-Mail: <a href="mailto:contact@paradoxonai.at" style="color:#00ffaa">contact@paradoxonai.at</a></p> | |
| <p style="color:#9090a0"><strong style="color:#d0d0e0">Urheberrechtlicher Hinweis:</strong><br>Die Urheberrechte liegen gemeinschaftlich bei:<br><strong style="color:#d0d0e0">Gerhard Hirschmann & Elisabeth Steurer</strong><br>Almdorf 9, Top 10, 6380 St. Johann in Tirol</p> | |
| <p style="color:#9090a0"><strong style="color:#d0d0e0">Haftungsausschluss:</strong><br>Trotz sorgfältiger inhaltlicher Kontrolle übernehmen wir keine Haftung für die Inhalte externer Links. Die technische Dokumentation dient Forschungszwecken.</p> | |
| <p style="color:#555;font-size:0.8rem">Offenlegung gemäß § 25 Mediengesetz und Angaben gemäß § 5 ECG.</p> | |
| </div> | |
| </section> | |
| <footer> | |
| <div class="container"> | |
| <p>© 2026 Paradoxon AI | <a href="https://paradoxonai.at">paradoxonai.at</a> | DOI: 10.5281/zenodo.14999136</p> | |
| <p style="margin-top:0.5rem;font-size:0.75rem;color:#444">EPISTEMIC_RUNTIME | MODE: REAL_EXECUTION_ONLY | Decision over Time</p> | |
| </div> | |
| </footer> | |
| </body> | |
| </html> |