{ "date": "2026-10-17", "version": "0.6.0", "status": "passed", "reports": { "cpu": { "date": "2026-10-17", "status": "passed", "checks": [ { "name": "Documented 8/16/32-bit width combinations and mode exchange", "passed": true }, { "name": "Native 32-bit ADC carry/overflow and SBC sign boundary", "passed": true }, { "name": "Native 32-bit stack transfers round trip all four bytes", "passed": true }, { "name": "32-bit indirect indexed transfer crosses a 64 KiB boundary", "passed": true }, { "name": "Half-native A16/X32 and full-native A32/X32 width decoding", "passed": true }, { "name": "40000 valid BCD ADC/SBC cases in native 8-bit operand mode", "passed": true }, { "name": "32-bit BCD carries and borrows propagate through eight digits", "passed": true }, { "name": "CPU bus yields byte-level writes and RMW lock ownership", "passed": true }, { "name": "Private banks, closed aliases and common RAM map correctly", "passed": true }, { "name": "Semaphores claim atomically and cannot be released by another core", "passed": true } ], "bcdCases": 40000 }, "core": { "date": "2026-10-17", "version": "0.6.0", "status": "passed", "checks": [ { "name": "C0 runs native ROM kernel after actual four-core POST", "passed": true, "evidence": { "kernelEntry": 15859712 } }, { "name": "Editor sends UTF-8 bytes; C0 copies IPC; native printer emits exact text", "passed": true, "evidence": { "text": "Čistoća / Orao 2026 → pisač", "bytesCopied": 32 } }, { "name": "Sleeping IPC receiver consumes no application CPU until a message arrives", "passed": true, "evidence": { "blockedCyclesStable": true } }, { "name": "A process keeps its private banks, stack, DP and full registers when moved", "passed": true, "evidence": { "migrations": 1, "context": { "a": 287454020, "x": 2882400001, "y": 2271560481, "pc": 4128, "pbr": 0, "s": 8176, "dp": 4660, "dbr": 0, "p": 4, "e8": 1, "e16": 0 } } }, { "name": "Priority requests are unique, atomic and do not disturb an old value on error", "passed": true, "evidence": { "swap": true, "invalidRetainsOld": true } }, { "name": "Ten process levels include blocked/paused processes; termination frees a level with a fresh PID", "passed": true, "evidence": { "slots": 10, "oldPid": 4, "newPid": 12 } }, { "name": "Native SEI cannot prevent supervisor preemption; weighted priorities preserve low-priority progress", "passed": true, "evidence": { "highCycles": 2543461, "lowCycles": 252571, "ratio": 10.070281227852762 } }, { "name": "AUTO uses both application cores; no process ever runs twice at once", "passed": true, "evidence": { "migrations": 22, "processes": [ { "pid": 1, "name": "Worker 1", "priority": 1, "affinity": 0, "state": 2, "core": 2, "lastCore": 2, "cycles": 2981337, "instructions": 397512, "dispatches": 138, "migrations": 9, "inbox": 0, "request": 0, "result": 0, "fault": "" }, { "pid": 2, "name": "Worker 10", "priority": 10, "affinity": 0, "state": 1, "core": 0, "lastCore": 2, "cycles": 362836, "instructions": 48379, "dispatches": 19, "migrations": 7, "inbox": 0, "request": 0, "result": 0, "fault": "" }, { "pid": 3, "name": "Worker 5", "priority": 5, "affinity": 0, "state": 2, "core": 1, "lastCore": 1, "cycles": 430087, "instructions": 57346, "dispatches": 27, "migrations": 6, "inbox": 0, "request": 0, "result": 0, "fault": "" } ] } }, { "name": "Bounded IPC FIFO rejects a ninth message and preserves the first eight in order", "passed": true, "evidence": { "messages": 8, "fullError": 1 } }, { "name": "Stale target PID is rejected after process-slot reuse", "passed": true, "evidence": { "missingTargetError": 2 } }, { "name": "Blocking receive timeout is driven by virtual kernel timer", "passed": true, "evidence": { "timeoutError": 4 } }, { "name": "A process cannot read another private backing store or write kernel/AV devices", "passed": true, "evidence": { "denied": 3 } }, { "name": "IPC rejects oversize and incomplete payloads, permits empty messages and rejects unknown calls", "passed": true, "evidence": { "errors": [ 5, 3, 0, 3 ] } }, { "name": "Paused blocking receive retains its pending call and accepts input after resume", "passed": true, "evidence": { "pendingCallPreserved": true } }, { "name": "Holding C0 prevents all dispatch; resuming the actual kernel permits work", "passed": true, "evidence": { "hostDoesNotSchedule": true } }, { "name": "Orao32 reservations reject pinned processes and migrate AUTO work to the other core", "passed": true, "evidence": { "available": [] } }, { "name": "Two actual original-ROM instances run independently while C0 and C3 continue", "passed": true, "evidence": { "cycles": [ 52687, 50938 ], "kernelPasses": 291 } }, { "name": "C3 CPU rasterizes guest bytes with bit 0 left and mixes actual NMOS speaker writes into PCM", "passed": true, "evidence": { "pixels": 54336, "samples": 4131, "actualPCMSampleValues": [ 0, 63488, 2048 ] } }, { "name": "Guest pause, local reset and a guest fault leave system and AV running", "passed": true, "evidence": { "guestFault": "released", "systemAlive": true } } ], "limits": "Prototype CPU timing; new supervisor/context and IPC devices are reconstruction choices. No multithreading or complete W65C832/NMOS bus conformance claim." }, "bos": { "status": "passed", "checks": [ { "name": "140-KiB diskette and retained 20-MiB HDD", "passed": true, "evidence": { "floppy": 143360, "hdd": 20971520 } }, { "name": "Unformatted media fail without writes; INIT executes CPU sector PIO", "passed": true, "evidence": { "nativeROMBytes": 3807 } }, { "name": "Native BSAVE/BLOAD round-trip exact binary bytes including zeroes", "passed": true, "evidence": { "bytes": 777 } }, { "name": "Catalogue and duplicate/missing/delete semantics execute in ROM", "passed": true, "evidence": { "catalog": "VDOS / DOS 3.3\nBINARY \n" } }, { "name": "BOS preserves caller P/decimal mode, DP, DBR, full X/Y and stack across banks", "passed": true, "evidence": { "preserved": true } }, { "name": "Protected, missing and out-of-range media do not change disk contents", "passed": true, "evidence": { "bounds": true } }, { "name": "HDD volume 145 is isolated from volume zero and the unused tail", "passed": true, "evidence": { "volumes": 146, "untouchedTail": 40960 } }, { "name": "Native file operation survives C1 to C2 migration; lease excludes raw clients", "passed": true, "evidence": { "migrations": 1 } }, { "name": "CPU reads an independently constructed standard DOS 3.3 binary file", "passed": true, "evidence": { "independentFixture": true } }, { "name": "Malformed catalogue cycles and T/S pointers terminate with bounded errors", "passed": true, "evidence": { "cycleRejected": true } }, { "name": "Disk full is detected before any on-media write", "passed": true, "evidence": { "noWrites": true } }, { "name": "The real shell parses commands through kernel input and exits cleanly", "passed": true, "evidence": { "nativeParser": true } }, { "name": "Exact sector boundary, empty and maximum 16-KiB B files round-trip", "passed": true, "evidence": { "sizes": [ 0, 252, 508, 16384 ] } }, { "name": "BOS IPC wrappers transfer exact bytes through the real C0 copier", "passed": true, "evidence": { "bytes": 21, "copiedByC0": true } }, { "name": "Process termination and machine reset release whole-operation leases", "passed": true, "evidence": { "resetRetainsMedia": true } } ] }, "console": { "status": "passed", "checks": [ { "name": "Two native cores write 1000 CPU console bytes without FIFO loss", "passed": true }, { "name": "Termination releases PID-owned console reservations", "passed": true } ] }, "storage": { "date": "2026-10-17", "version": "0.6.0", "status": "passed", "checks": [ { "name": "Exact 140-KiB floppy capacity and explicit 20-MiB HDD capacity", "passed": true, "evidence": [ { "bytes": 143360, "sectors": 280 }, { "bytes": 20971520, "sectors": 40960 } ] }, { "name": "Read/write first, middle and last sector on both devices with full binary payloads", "passed": true, "evidence": { "sectors": 6, "bytesPerSector": 512 } }, { "name": "Busy timing uses virtual ticks and DRQ/done changes at the transfer boundary", "passed": true, "evidence": { "due": 10600100 } }, { "name": "Partial writes and reset/abort never modify the sector", "passed": true, "evidence": { "uncommittedBytes": 511 } }, { "name": "Owner exit respects virtual write deadline; FLUSH ignores stale LBA without changing data", "passed": true, "evidence": { "deadlineHonored": true } }, { "name": "Protection, absent media and out-of-range sectors give errors without writes", "passed": true, "evidence": { "errors": [ 3, 2, 1 ] } }, { "name": "Independent clients cannot interleave FIFOs; distinct devices may operate together", "passed": true, "evidence": { "separateDevices": true } }, { "name": "Media changes/export reject pending I/O; imported images validate length and copy ownership", "passed": true, "evidence": { "importExportCopies": true } }, { "name": "Legacy expansion rejects HDD selection and exposes the same physical floppy", "passed": true, "evidence": { "legacyFloppyOnly": true } }, { "name": "Real native CPU performs full PIO on floppy and HDD through process-owned channels", "passed": true, "evidence": { "transactions": 4 } }, { "name": "Process migration preserves an in-progress PIO transfer and kernel preemption", "passed": true, "evidence": { "migrations": 1 } }, { "name": "Actual NMOS CPU driver reads native-written floppy and writes data back for native CPU", "passed": true, "evidence": { "readWrite512": true, "romUnchanged": true, "originalMonitorInitialized": true } }, { "name": "Two legacy guests reserve both cores while C0/C3 and floppy PIO continue", "passed": true, "evidence": { "systemAndAVContinue": true } }, { "name": "Machine and local guest reset retain media, release transactions and discard CPU jobs", "passed": true, "evidence": { "mediaPersistAcrossReset": true } } ], "limits": "Sector PIO model, approximate virtual latency, no FDC flux/MFM/ATA compatibility, filesystem or historical Orao32 DOS ABI claim." }, "loader": { "status": "passed", "checks": [ { "name": "BOS spawn asks C0 to create a unique-priority worker on C2", "passed": true, "evidence": { "bytesCopiedByC0": 9 } }, { "name": "RUN loads a disk file and prints from a separate CPU process", "passed": true, "evidence": { "childPID": 6 } }, { "name": "RUN missing or empty file does not allocate a process", "passed": true, "evidence": { "emptyRejected": true } }, { "name": "C0 rejects conflicting priority, invalid settings and image bounds", "passed": true, "evidence": { "rejections": 6 } }, { "name": "A reserved Orao32 core is rejected; AUTO uses the other core", "passed": true, "evidence": { "orao32Core": 1, "nativeCore": 2 } }, { "name": "Maximum 16-KiB image is copied exactly to the last legal address", "passed": true, "evidence": { "bytes": 16384, "end": 49152 } }, { "name": "Ten occupied process slots fail cleanly without sharing priorities", "passed": true, "evidence": { "slots": 10 } }, { "name": "Incomplete children are hidden and parent termination cancels publication", "passed": true, "evidence": { "noPublishedChild": true } }, { "name": "Pausing a caller during copying keeps it paused after kernel completion", "passed": true, "evidence": { "pausePreserved": true } }, { "name": "HDD volume 145 RUN leaves other volumes and tail unchanged", "passed": true, "evidence": { "readOnlyRun": true } }, { "name": "Native shell BSAVE staging and RUN remain independent of later input bytes", "passed": true, "evidence": { "nativeCommandParser": true } }, { "name": "BOS spawn preserves caller decimal flags, DP, DBR, X/Y and stack", "passed": true, "evidence": { "contextPreserved": true } }, { "name": "Terminating a caller before allocation cannot complete a call in a reused slot", "passed": true, "evidence": { "requestIdentityPreserved": true } }, { "name": "Simultaneous C1/C2 spawn requests retain separate images and unique priorities", "passed": true, "evidence": { "serializedByC0": true } }, { "name": "Reset during C0 copy discards unpublished processes and retains media", "passed": true, "evidence": { "resetSafe": true } } ] }, "output": { "status": "passed", "checks": [ { "name": "Native shell declares system output; first program gets its own screen", "passed": true, "evidence": { "foreground": 2 } }, { "name": "VDOS normal replies and C0 output do not alter a running program screen", "passed": true, "evidence": { "pixelsUnchanged": true } }, { "name": "Concurrent program output remains separate and selectable", "passed": true, "evidence": { "separatePIDs": [ 2, 3 ] } }, { "name": "A VDOS error interrupts an active program immediately with two newlines", "passed": true, "evidence": { "programStillActive": true, "errorFramed": true } }, { "name": "Urgent error preempts queued ordinary bytes without character interleaving", "passed": true, "evidence": { "queuedBytes": 200 } }, { "name": "Program STP fault is printed while the failed process still exists", "passed": true, "evidence": { "reportedBeforeTermination": true } }, { "name": "CPU interpreter failure stops only its process and reports before cleanup", "passed": true, "evidence": { "systemContinues": true } }, { "name": "Screen switching preserves error records and system messages stay in their channel", "passed": true, "evidence": { "errorReplay": true } }, { "name": "CPU scrolling keeps output and VRAM aligned inside the native terminal", "passed": true, "evidence": { "cpuScroll": true, "rows": 216 } }, { "name": "C3 clears terminal rows cooperatively while guest video/audio keep progressing", "passed": true, "evidence": { "audioSamples": 5245 } } ] }, "output-ui": { "status": "passed", "checks": [ { "name": "Native program owns a clean CPU-rendered screen", "passed": true }, { "name": "HELP and its OK/prompt preserve every program pixel", "passed": true }, { "name": "A shell error is shown immediately after program output with framing newlines", "passed": true }, { "name": "Program panel contains the same isolated error without system prompts", "passed": true }, { "name": "The selector shows only the chosen second program", "passed": true }, { "name": "Switching back restores the first program and its error", "passed": true }, { "name": "Fault is printed while the failed process is still present", "passed": true }, { "name": "Error does not replace the foreground program with the system screen", "passed": true }, { "name": "Output selection fits a narrow screen", "passed": true }, { "name": "Local file preview exposes isolated output controls", "passed": true }, { "name": "No browser errors", "passed": true } ], "errors": [] }, "ui": { "date": "2026-10-17", "version": "0.6.0", "status": "passed", "checks": [ { "name": "Existing third card defaults to v0.6 and keeps v0.1/v0.2 selectable", "passed": true }, { "name": "Orao 2026 picker contains new version and all five preserved versions", "passed": true }, { "name": "New runtime reaches actual C0 kernel ROM through grouped shelf", "passed": true }, { "name": "Browser text traverses native editor, C0 IPC and native printer exactly", "passed": true }, { "name": "Exactly two native single-context processes are visible", "passed": true }, { "name": "Occupied priority gives clear error and keeps old value", "passed": true }, { "name": "Priority swap is atomic and visible", "passed": true }, { "name": "Raw binary file loads as a separate native process", "passed": true }, { "name": "Global pause freezes real virtual time", "passed": true }, { "name": "WebAudio is initialized through explicit user gesture", "passed": true }, { "name": "Two original-ROM guests reserve both application cores", "passed": true }, { "name": "Panel distinguishes measured guest speed from the 1 MHz target", "passed": true }, { "name": "Presented canvas exactly matches all CPU-written framebuffer pixels", "passed": true }, { "name": "No native application starts while two guests own both cores", "passed": true }, { "name": "Keyboard input belongs to selected guest and releases keys", "passed": true }, { "name": "Guest pause retains its reservation", "passed": true }, { "name": "Stopping a guest returns only that application core", "passed": true }, { "name": "Mobile shelf and iframe document have no page overflow", "passed": true }, { "name": "Instruction links and generated companion files resolve", "passed": true }, { "name": "Direct file preview executes native IPC without fetch", "passed": true }, { "name": "Reset clears process, IPC and printer state", "passed": true }, { "name": "No browser errors", "passed": true } ], "errors": [], "blockedExternalRequests": 0 }, "bos-ui": { "date": "2026-10-17", "status": "passed", "checks": [ { "name": "New 140-KiB diskette and explicit VDOS hypothesis are visible", "passed": true }, { "name": "Start launches an actual native shell waiting on the kernel input device", "passed": true }, { "name": "Blank media give a format error through CPU command execution", "passed": true }, { "name": "Repeated submission retains the active CPU command", "passed": true }, { "name": "INIT confirmation creates the DOS volume through CPU writes", "passed": true }, { "name": "RUN uses C0 allocation/copy without the frontend createProcess hook", "passed": true }, { "name": "Bundled disk program prints and exits independently of its shell", "passed": true }, { "name": "Busy priority fails through the shell without a duplicate process", "passed": true }, { "name": "Lowercase commands create a file and CATALOG prints its name", "passed": true }, { "name": "BLOAD returns disk bytes rather than the current upload buffer", "passed": true }, { "name": "Actual file download preserves all UTF-8 and binary zero bytes", "passed": true }, { "name": "Existing files are protected from silent overwrite", "passed": true }, { "name": "CPU-loaded binary launches as a separate native process with explicit affinity", "passed": true }, { "name": "Last HDD volume works and leaves the diskette unchanged", "passed": true }, { "name": "Write protection is reflected in the VDOS result", "passed": true }, { "name": "DELETE and missing-file errors are visible through real controls", "passed": true }, { "name": "Failed BLOAD clears stale download and execution controls", "passed": true }, { "name": "Disk image download has exactly 143360 bytes", "passed": true }, { "name": "Terminal and volume controls fit mobile width", "passed": true }, { "name": "EXIT releases the shell process and its priority slot", "passed": true }, { "name": "file:// preview executes the actual shell and HELP without fetch", "passed": true }, { "name": "No browser errors", "passed": true } ], "errors": [] }, "storage-ui": { "date": "2026-10-17", "version": "0.6.0", "status": "passed", "checks": [ { "name": "Both exact-capacity media and PIO controls are available", "passed": true }, { "name": "GUI write runs native CPU and stores exactly the UTF-8 sector payload", "passed": true }, { "name": "GUI sector dump is returned by CPU PIO and releases its process", "passed": true }, { "name": "Write protection reports device error without overwriting media", "passed": true }, { "name": "Wrong-sized image is rejected without changing the current disk", "passed": true }, { "name": "Actual browser download preserves the full floppy image", "passed": true }, { "name": "Replacing a changed floppy requires explicit discard and imports exact bytes", "passed": true }, { "name": "Native CPU reads the final sector of an imported 20-MiB HDD", "passed": true }, { "name": "Full HDD export round-trips byte-identically", "passed": true }, { "name": "Orao32 CPU reads the same imported floppy through its optional card", "passed": true }, { "name": "Second Orao32 guest reads floppy while both application cores are reserved", "passed": true }, { "name": "Legacy HDD selection is clearly rejected without showing stale sector data", "passed": true }, { "name": "Global reset retains both images and clears guest/card state", "passed": true }, { "name": "Storage panel fits mobile width", "passed": true }, { "name": "Disk CPU and panel work over file:// without fetch", "passed": true }, { "name": "No browser errors", "passed": true } ], "errors": [], "downloadSHA256": { "floppy": "a3d2c6fc5a97c9dfce49561bdfecacc373db1d1dc21d3523fe5068e22641eeb2", "hdd": "46c834d00d6291a7b80e4b92c5b142b4362d44664fbd9cbaaff2a5f8cd510208" }, "commercialFixtures": false }, "shelf": { "date": "2026-10-17", "status": "passed", "groups": 3, "versions": 14, "checks": [ { "name": "Three platform cards contain fourteen emulator versions", "passed": true }, { "name": "Impuls defaults to latest subversion v0.7 without starting an emulator", "passed": true }, { "name": "All seven named Impuls subversions are in the picker", "passed": true }, { "name": "Keyboard chooses v0.1 and Escape restores selector focus", "passed": true }, { "name": "Escape closes picker and returns focus to its card", "passed": true }, { "name": "Selected latest emulator starts with its actual reconstructed ROM", "passed": true }, { "name": "Choosing another subversion preserves actual active iframe and tape-loader identity", "passed": true }, { "name": "Subversion choice emits no activation", "passed": true }, { "name": "Selected details and direct/archive links describe v0.2", "passed": true }, { "name": "Starting chosen v0.2 switches only when requested", "passed": true }, { "name": "Original emulator still attaches the unchanged cassette loader", "passed": true }, { "name": "Refocusing active emulator neither reloads it nor duplicates analytics", "passed": true }, { "name": "Emulator and cassette detail panels do not remain open together", "passed": true }, { "name": "Opening emulator details closes cassette details", "passed": true }, { "name": "Near-top picker uses normal flow above the canvases", "passed": true }, { "name": "Mobile has one row and no horizontal page overflow", "passed": true }, { "name": "Mobile carousel arrows reach the second platform", "passed": true }, { "name": "Touch chooses and starts the exact v0.6 subversion", "passed": true }, { "name": "Local file preview starts selected emulator with bundled registry", "passed": true }, { "name": "Additional future families remain in one horizontally scrolling row", "passed": true }, { "name": "No browser errors", "passed": true } ], "activations": [ "impuls-9010-v0-7", "impuls-9010-v0-2", "original-v1-0" ], "errors": [] }, "tapes": { "status": "passed", "groupedTapes": 3, "recordings": 8, "riftfarerChoices": 5, "demoChoices": 2, "keyboardSelection": true, "selectedDetailsAndDownload": true, "riftfarerRealMouseDragAndRomLoad": true, "riftfarerProgramBytesCompared": 16896, "demo2RealMouseDragAndRomLoad": true, "nativeDemoPaddingAndAutostart": true, "panelsOutsideCanvas": true, "mobileNavigation": true, "noHorizontalPageOverflow": true, "futureGroupsInOneRow": 33, "originalRuntimeFunctionsUnchanged": true, "filePickerOpenings": 0, "errors": [] } } }