{ "date": "2026-10-24", "status": "passed", "version": "0.25.0", "wasmVersion": "0.18.0", "nativeVersion": "0.1.17", "scope": "Optimization round without functional changes: faster 65C832 engines, Wasm device mirroring, faster BASIC32 AOT/IDE; same language, ROMs and behavior on Rust/JS/Wasm", "evidence": { "ide-compiler": { "file": "opt/checks/ide-compiler-v25-verification.json", "sha256": "a6940be772edb93806683af2f2cb7973b80fa0f0606edfb86bbee298ea04d73e", "checks": [ { "name": "Actual native arithmetic and no stored BASIC source", "passed": true, "nativeEvents": 528, "services": 10 }, { "name": "Integer precision, power and unary precedence", "passed": true, "nativeEvents": 1315, "services": 27 }, { "name": "Native FOR/NEXT and colon flow", "passed": true, "nativeEvents": 1422, "services": 28 }, { "name": "Nested loops, negative STEP, GOSUB, RETURN and GO TO", "passed": true, "nativeEvents": 3770, "services": 75 }, { "name": "IF skips the rest of its line and computed GOTO", "passed": true, "nativeEvents": 889, "services": 17 }, { "name": "ON GOTO and ON GOSUB native return fixups", "passed": true, "nativeEvents": 1725, "services": 34 }, { "name": "Arrays, typed variables and strings", "passed": true, "nativeEvents": 1887, "services": 39 }, { "name": "Precompiled DATA/READ/RESTORE table", "passed": true, "nativeEvents": 1566, "services": 32 }, { "name": "Compiled DEF FN and nested library calls", "passed": true, "nativeEvents": 2534, "services": 50 }, { "name": "String comparisons and logical/float functions", "passed": true, "nativeEvents": 1926, "services": 40 }, { "name": "Compiled INPUT is data parsing, not program interpretation", "passed": true, "nativeEvents": 1041, "services": 21 }, { "name": "Compiled file output/append/input/pipes", "passed": true, "nativeEvents": 2334, "services": 48 }, { "name": "Runtime error reports source line and returns to IDE", "passed": true, "nativeEvents": 527, "services": 10 }, { "name": "Undefined native destination does not jump into address zero", "passed": true, "nativeEvents": 341, "services": 6 }, { "name": "RETURN without GOSUB recovers", "passed": true, "nativeEvents": 294, "services": 5 }, { "name": "Invalid DRAW preserves the graphics cursor for the next valid command", "passed": true, "nativeEvents": 516, "services": 10 }, { "name": "CLEAR resets the compiled DATA cursor with variables", "passed": true, "nativeEvents": 657, "services": 13 }, { "name": "Redirected INPUT suppresses a custom prompt", "passed": true, "nativeEvents": 900, "services": 18 }, { "name": "Ctrl+C in child INPUT cancels both child and compiled caller", "passed": true, "nativeEvents": 469, "services": 9 }, { "name": "Compiler rejects interactive commands without an interpreter fallback", "passed": true, "nativeEvents": 0, "services": 0 }, { "name": "Compiler syntax diagnostics keep source available", "passed": true, "nativeEvents": 0, "services": 0 } ], "scope": "Generated native CPU instructions with build-IR runtime library fixture; all-native platform checks separate" }, "ide-language-scope": { "file": "opt/checks/ide-language-scope-v25-verification.json", "sha256": "e8a9620cadb36a7728dd16d43e675252e23ed19cea51f4aa41d16f313496559a", "checks": [ { "name": "No new interpreter keywords", "passed": true, "keywords": [ "AND", "BLOAD", "BSAVE", "CALL", "CAT", "CATALOG", "CD", "CHDIR", "CLEAR", "CLS", "CONT", "DA", "DATA", "DDT", "DEF", "DEL", "DELETE", "DIM", "DIR", "DRAW", "END", "EXEC", "EXIT", "FOR", "GET", "GO", "GOSUB", "GOTO", "HELP", "IF", "INIT", "INPUT", "LET", "LIST", "LOAD", "LOADC", "LOWER", "MON", "NEW", "NEXT", "NOT", "ON", "OR", "PLOT", "POKE", "PRINT", "PWD", "READ", "REM", "RESTORE", "RETURN", "RUN", "SAVE", "SCRIPT", "SOURCE", "STEP", "STOP", "TEXT", "THEN", "TO", "TYPE", "UPPER", "WAIT" ] }, { "name": "Compiler built-in function vocabulary matches the existing BASIC", "passed": true, "functions": [ "ABS", "ASC", "ATN", "CHR$", "COS", "EOF", "EXP", "FRE", "INT", "LEFT$", "LEN", "LOG", "MID$", "PEEK", "POS", "RIGHT$", "RND", "SGN", "SIN", "SPC", "SQR", "STR$", "TAB", "TAN", "USR", "VAL" ] } ] }, "ide-regression-language": { "file": "opt/checks/ide-regression-language-v25-verification.json", "sha256": "cb27bf2f122fb5d4e3b1b4fccb61d5e1d6f482aa209fe46c3b3fc1575da21680", "checks": [ { "name": "Exact int32 and precedence", "passed": true, "calls": 192 }, { "name": "Variables, strings, arrays and string functions", "passed": true, "calls": 528 }, { "name": "Programs, FOR, NEXT and GOSUB", "passed": true, "calls": 311 }, { "name": "Branching, DATA, READ and RESTORE", "passed": true, "calls": 638 }, { "name": "DEF FN and numeric functions", "passed": true, "calls": 492 }, { "name": "STOP and CONT", "passed": true, "calls": 225 }, { "name": "Direct loops and error recovery", "passed": true, "calls": 226 }, { "name": "New/edit/delete and program order", "passed": true, "calls": 357 }, { "name": "Nested direct FOR and indexed arrays", "passed": true, "calls": 253 }, { "name": "Legacy string and logical functions", "passed": true, "calls": 454 }, { "name": "RND zero and string FRE", "passed": true, "calls": 217 }, { "name": "255 byte strings and exact typed integers", "passed": true, "calls": 509 }, { "name": "Recursive function is bounded", "passed": true, "calls": 179 }, { "name": "INPUT and GET", "passed": true, "calls": 214 }, { "name": "Type and argument errors recover", "passed": true, "calls": 276 }, { "name": "Branches, negative STEP and GO TO", "passed": true, "calls": 505 }, { "name": "Storage navigation is real flat volumes", "passed": true, "calls": 266 } ] }, "ide-regression-source": { "file": "opt/checks/ide-regression-source-v25-verification.json", "sha256": "a3720a09f8b033905769b0fd022416caa2998fde24738f99fae039995db0ea8c", "checks": [ { "name": "Overwrite, append, replacement and lowercase filenames", "passed": true, "calls": 342 }, { "name": "Chained pipe and printer/screen endpoints", "passed": true, "calls": 333 }, { "name": "INPUT from file, GET and EOF without prompts", "passed": true, "calls": 438 }, { "name": "RUN redirection spans loops and normal program output", "passed": true, "calls": 263 }, { "name": "Stored BASIC lines redirect and preserve program flow", "passed": true, "calls": 302 }, { "name": "Whole program stdin, EOF loop and output pipe", "passed": true, "calls": 338 }, { "name": "Operators in strings/comments and BASIC comparisons remain valid", "passed": true, "calls": 782 }, { "name": "Failed producer preserves existing target and restores console", "passed": true, "calls": 167 }, { "name": "Missing input and duplicate output recover without creating files", "passed": true, "calls": 256 }, { "name": "16KiB overflow leaves target unchanged", "passed": true, "calls": 872 }, { "name": "BASIC script as pipe consumer", "passed": true, "calls": 178 }, { "name": "Eight-stage bound and empty-stage validation", "passed": true, "calls": 308 } ], "scope": "Build IR language/stream semantics with in-memory test I/O; real CPU/VDOS checked separately" }, "ide-js": { "file": "opt/checks/ide-js-v25-verification.json", "sha256": "69b256863cc24d75e50374a9da5bdd9cd43373f11ff37f9f8ae297f270cc3317", "checks": [ { "name": "Actual desktop IDE icon, native loader and editor frame", "passed": true }, { "name": "All-native compiled loops, subroutine, ON and native branches", "passed": true }, { "name": "All-native values, arrays, DATA and compiled DEF FN", "passed": true }, { "name": "Compiled statements use actual VDOS for overwrite, append, input and pipes", "passed": true }, { "name": "F4 writes actual machine code with native runtime calls and no BASIC source", "passed": true }, { "name": "Source save/open and edited code survive a complete disk round trip", "passed": true }, { "name": "Saved binary runs through BLOAD/CALL after source deletion; runtime context recovers", "passed": true }, { "name": "Invalid compiled DRAW preserves the cursor and valid graphics commands recover", "passed": true } ] }, "ide-wasm": { "file": "opt/checks/ide-wasm-v25-verification.json", "sha256": "bb8e9cedf28de353e1877d690fa3c0ce159b3f8470babfbdbb7dea519792230d", "checks": [ { "name": "Actual desktop IDE icon, native loader and editor frame", "passed": true }, { "name": "All-native compiled loops, subroutine, ON and native branches", "passed": true }, { "name": "All-native values, arrays, DATA and compiled DEF FN", "passed": true }, { "name": "Compiled statements use actual VDOS for overwrite, append, input and pipes", "passed": true }, { "name": "F4 writes actual machine code with native runtime calls and no BASIC source", "passed": true }, { "name": "Source save/open and edited code survive a complete disk round trip", "passed": true }, { "name": "Saved binary runs through BLOAD/CALL after source deletion; runtime context recovers", "passed": true }, { "name": "Invalid compiled DRAW preserves the cursor and valid graphics commands recover", "passed": true } ] }, "ide-final-js": { "file": "opt/checks/ide-final-js-v25-verification.json", "sha256": "85f624ab39cd696ccd04ea3321b6afb58f5d201030789b936c7f6a94299d7e40", "checks": [ { "name": "All-native CLEAR/DATA and redirected custom INPUT prompt match the interpreter", "passed": true }, { "name": "Actual Ctrl+C stops a native infinite GOTO loop and returns to editor", "passed": true }, { "name": "Invalid DRAW preserves state for subsequent valid graphics", "passed": true } ] }, "ide-final-wasm": { "file": "opt/checks/ide-final-wasm-v25-verification.json", "sha256": "569af748df456c5974b0df671830f3b9e3cd2cf3c0d9b1c51a2a8caf607eb176", "checks": [ { "name": "All-native CLEAR/DATA and redirected custom INPUT prompt match the interpreter", "passed": true }, { "name": "Actual Ctrl+C stops a native infinite GOTO loop and returns to editor", "passed": true }, { "name": "Invalid DRAW preserves state for subsequent valid graphics", "passed": true } ] }, "ide-snapshot-js": { "file": "opt/checks/ide-snapshot-js-v25-verification.json", "sha256": "e3a3fef6c581d37bb54a8cc70b1e5ee4daa660cf587ec0fe0eb7e6009e5cead7", "checks": [ "Text and cursor retain the same captured revision when the producer commits after C0 validation", "The following complete frame is accepted without lost updates", "An odd in-progress revision never reaches committed text/cursor", "Completing that revision atomically updates both text and cursor" ] }, "ide-snapshot-wasm": { "file": "opt/checks/ide-snapshot-wasm-v25-verification.json", "sha256": "968f22b24972db1603b93e984b4e741641e71ec560a2ad37b71b4ab7ba9c1793", "checks": [ "Text and cursor retain the same captured revision when the producer commits after C0 validation", "The following complete frame is accepted without lost updates", "An odd in-progress revision never reaches committed text/cursor", "Completing that revision atomically updates both text and cursor" ] }, "ide-regression-wasm": { "file": "opt/checks/ide-regression-wasm-v25-verification.json", "sha256": "164e59a427b84e2d309fd76292ef28b7e045fae16d65807c2839f827edbfdc7b", "checks": [ { "name": "Exact create, append and safe overwrite on CPU VDOS", "passed": true }, { "name": "Three-stage pipe and actual file INPUT/GET", "passed": true }, { "name": "Whole-program RUN output scope", "passed": true }, { "name": "Real native consumer, captured stdout and explicit EOF", "passed": true }, { "name": "Printer device and native catalogue stdout", "passed": true }, { "name": "Failed/protected output preserves disk, comparisons and console recover", "passed": true } ] }, "ide-browser": { "file": "opt/checks/ide-browser-v25-verification.json", "sha256": "e8ee96ac0eb9e8b707302fbd398159134946dfccd74279f39e148f2bae74324d", "checks": [ { "engine": "wasm", "actualDOMTyping": true, "nativeCompiler": true, "actualNativeOutput": true, "tabAndUndo": true, "functionMenu": true, "completeBlueCPUFrame": true, "returnedToEditor": true }, { "engine": "js", "actualDOMTyping": true, "nativeCompiler": true, "actualNativeOutput": true, "tabAndUndo": true, "functionMenu": true, "completeBlueCPUFrame": true, "returnedToEditor": true }, { "defaultWasm17": true, "manualJS": true, "mobileNoOverflow": true } ] }, "fast-cpu": { "file": "opt/results/fast-cpu-0.25-verification.json", "sha256": "6476587b2d49fbb19417764d87f1a4fb5adabc08441352543fdebe449791506c" }, "aot-native": { "file": "opt/results/aot-native-0.25-fast.json", "sha256": "75c3e873fa1b68800b6933a9358a2af2b9696c2cb6d50852018306742360499b" }, "orao-wasm-v18-system": { "file": "orao-wasm-v18-system-verification.json", "sha256": "f1fdaee62c0ca5f171f6d7db9d889bc6fff5a3ae8eca39f3c89bf0cc7b623cd3", "checks": [ { "name": "Native/user memory decoder boundaries and GUI state/snapshot protection match", "passed": true, "evidence": { "cases": 792 } }, { "name": "Two active native cores preserve shared-bus RMW ownership and waits", "passed": true, "evidence": { "waitCycles": 133331 } }, { "name": "Native kernel scheduling, private process RAM and editor-to-printer IPC match", "passed": true, "evidence": { "messages": 1, "text": "WASM IPC TEST\n" } }, { "name": "Explicit JS escape path remains available without rebuilding firmware", "passed": true } ] }, "orao-wasm-v18-lockstep": { "file": "orao-wasm-v18-lockstep-verification.json", "sha256": "a6d2cd3a8348b50fc5c1bea63b492c6efb81023f838b7df5ed8c714235054394", "checks": [ { "name": "First 1500 bus events match individually", "passed": true }, { "name": "First complete native frame, all CPU registers, bus clocks and memory match", "passed": true }, { "name": "Croatian input", "passed": true }, { "name": "Backspace", "passed": true }, { "name": "Pointer", "passed": true } ], "scope": "Exact deterministic event/register/memory comparison, not real-chip conformance" }, "orao-wasm-v18-guests": { "file": "orao-wasm-v18-guests-verification.json", "sha256": "34c02d49b32f176b223d32616716d1d3a9fef079ebed9fca1b09df6168250824", "checks": [ { "name": "1 original-ROM Orao32 instance(s): exact guest registers, memory, sound edges and native bus timing", "passed": true, "cycles": [ 503120, 0 ] }, { "name": "2 original-ROM Orao32 instance(s): exact guest registers, memory, sound edges and native bus timing", "passed": true, "cycles": [ 1003438, 500320 ] } ], "scope": "Original NMOS executes in Wasm; exact guest/native scheduling for 0.5 emulated seconds after each reservation" } }, "benchmarks": { "final-basic-lite.json": "e3aa6237398e081201f4515cc55e1d4dbff779dac0eb59f03977e0965158c627", "final-basic.json": "bd269021c74a768e8bfb23e0d8513d3eb0110bef3faad4a5ae622c1cd55bb3e4", "final-system.json": "d49e32076a09f6e136d3d126b125b7d647cc390812c03a483a6436760d68856e" }, "nativeReleaseTests": 21, "nativeReleaseTestMethod": "One clean full cargo test --release run of the final build (tests/opt-v0.1.17/rust-tests.txt); no aggregation of partial runs", "nativeSHA256": "5a9d1212fd4264867554beb2cd0398ab710da98b038388ec89b1f0fd190d1c01", "originalOrao32ROM": "Preserved; original-ROM line-spacing investigation remains deferred", "publication": "Local working version; no new ZIP or remote deployment" }