XREALISM Deterministic FPGA Pre-Stabilization IP Core — Evaluation and Structural Evidence Releases (v0.9 Series) - XREALISM Deterministička FPGA Pre-Stabilizacijska IP Jezgra — Evaluacijska i Strukturna Izdanja (v0.9 serija)

File: XCPUn_MiniSDK_v14_WITH_REZOSTABILITY_AUTOTEST_V2_with_runall_examples_pass_verify.zip SHA256: 1114b6ad5b43fe87fb7d1833a2a2530a077b42b57a5ff8cf14ebd8308bb80c4f File: XCPUn_MiniSDK_v17_WITH_AUTO_CERTGEN_IN_PACKAGE.zip SHA256:41e936b582be78e23324df0b26a5078fab3244f36e1e12b1212963234e77150d File: XCPUn_MiniSDK_EVAL_MINIMAL_v3_XREALISM_v0_9_EVAL.zip SHA256:6ce245612521a0c32c5ed04b93088aa602f60e1d19bd4848304bd72013077184 This repository contains restricted evaluation releases of the XREALISM deterministic FPGA pre-stabilization IP core developed by Dr. Ladislav Gradečak. The core is distributed as a BlackBox DCP (synthesized checkpoint) targeting Xilinx Artix-7 (Basys3 reference platform) and is accompanied by structured evaluation tooling. The releases include: Deterministic and boundedness evaluation framework Runtime log analysis tools Rezostability structural analysis RZ-induced graph generation SCC (RZ-attractor) detection Non-reachability certification tools Automated structural stability certificate generator Evaluation-only minimal distribution These materials are provided strictly for technical evaluation under the XREALISM evaluation licensing framework. This deposit does not constitute ISO 26262 certification nor a formal safety claim. It provides reproducible structural and determinism evidence derived from runtime telemetry. © Dr. Ladislav Gradečak. All rights reserved. ------- Ovaj repozitorij sadrži ograničena (restricted access) evaluacijska izdanja XREALISM determinističke FPGA pre-stabilizacijske IP jezgre autora dr. Ladislava Gradečaka. Jezgra se distribuira kao BlackBox DCP (sintetizirani checkpoint) za Xilinx Artix-7 (referentna platforma Basys3) te uključuje strukturirani evaluacijski okvir. Izdanja obuhvaćaju: deterministički i boundedness evaluacijski okvir alate za analizu runtime zapisa rezostabilnu strukturnu analizu generiranje RZ-induciranog grafa detekciju SCC komponenti (RZ-atraktora) generiranje potvrde o nedosegljivosti zabranjenih stanja automatski generator strukturnog certifikata minimalno evaluacijsko izdanje Materijali su namijenjeni isključivo tehničkoj evaluaciji u skladu s XREALISM evaluacijskim licencnim modelom. Ova objava ne predstavlja ISO 26262 certifikaciju niti formalni sigurnosni dokaz. Predstavlja reproducibilne strukturne i determinističke dokaze temeljene na runtime telemetriji. © Dr. Ladislav Gradečak. Sva prava pridržana. XREALISM® Evaluacijska Licenca (Sažetak) Verzija: v0.9-EVAL Copyright © 2025 Dr. Ladislav Gradečak Sva prava pridržana. 1. Predmet licence Ovaj softverski paket sadrži vlasničku intelektualnu imovinu razvijenu u okviru XREALISM arhitekturnog modela. Distribuirana BlackBox jezgra (.dcp) daje se isključivo u svrhu tehničke evaluacije. 2. Ograničenja Bez izričitog pisanog komercijalnog ugovora nije dopušteno: • korištenje u proizvodnom okruženju • redistribucija paketa ili dijelova paketa • reverzno inženjerstvo, dekompilacija ili pokušaj rekonstrukcije dizajna • stvaranje izvedenih radova 3. Evaluacijska svrha Paket je namijenjen isključivo: • tehničkoj integracijskoj provjeri • determinističkoj i strukturnoj evaluaciji • arhitekturnoj procjeni 4. Odricanje od odgovornosti Softver se isporučuje “kakav jest” (as-is) bez jamstva bilo koje vrste. Ova licenca ne predstavlja sigurnosnu, regulatornu niti certifikacijsku potvrdu. 5. Komercijalna uporaba Za komercijalnu uporabu potrebna je zasebna komercijalna licenca. Kontakt: Dr. Ladislav Gradečak