{ "date": "2026-10-17", "version": "0.7.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.7.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": 2543462, "lowCycles": 252571, "ratio": 10.070285187135498 } }, { "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": 2981351, "instructions": 397514, "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": 362821, "instructions": 48377, "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": 430147, "instructions": 57354, "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": 3866 } }, { "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.7.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": 5052 } } ] }, "monitor": { "status": "passed", "passed": true, "checks": [ "Native ROM monitor starts and waits through BOS input", "Missing target errors explain code 02 and suggest selecting or creating a process", "HELP ERR explains all device codes without requiring a selected process", "NEW uses C0 SPAWN and pauses only its child", "Orao32 E/M semantics and bank-one addressing", "F fill and C checksum include both boundaries", "Q uses destination/start/end and handles overlapping blocks", "Interactive M advances cursor and Q exits only the submode", "A assembles immediate, absolute, long, accumulator and relative", "A refuses oversized and malformed operands before memory writes", "W chooses true native 32-bit operands; R restores captured mode", "Interactive A accepts a series of instructions then Q", "U resumes target, P pauses on an instruction boundary, S executes one instruction", "R exposes complete registers and mode, PS shows unique priorities", "CORES and INFO sample C0/C3 without stopping them", "Out-of-range, ROM-write, MMIO and oversized edit reject atomically", "Read-only ROM is visible and rejected attachment does not poison later reads", "D releases ownership but leaves target paused", "Errors begin and end with LF and are immediately committed as urgent notices", "Ordinary native processes cannot access the debug device", "Disassembler renders indexed, indirect, long and relative operands correctly", "REP/SEP follow 32-bit versus E16 operand lengths and bank wrapping stays bounded", "An unavailable assembly width fails without changing previous W settings", "PS hides retired slots and ownership errors explain how to release a second monitor", "A reserved Orao32 core is identified while native debugging and OS continue", "Resource exhaustion reports an immediate error without replacing the target", "Repeated STP failures report each occurrence; fatal errors explain that a new process is required", "Exit leaves the debugged process and its memory intact", "BOS 50 launches the same monitor using native staging and C0 copying" ] }, "monitor-ui": { "status": "passed", "checks": [ { "name": "Grouped carousel defaults to v0.7 with all previous emulators retained", "passed": true }, { "name": "All seven Orao 2026 versions can be selected", "passed": true }, { "name": "Actual start button launches CPU monitor and its own terminal channel", "passed": true }, { "name": "Code 02 explains the missing target and offers PS/P/NEW in the real panel", "passed": true }, { "name": "Error help is available before selecting a process", "passed": true }, { "name": "NEW button creates and pauses a native child", "passed": true }, { "name": "Input form executes E/M on CPU and displays separate monitor output", "passed": true }, { "name": "U runs assembled instructions and shows the target channel", "passed": true }, { "name": "Attach and single-step buttons return coherent stopped registers", "passed": true }, { "name": "Monitor error is newline-framed and queued immediately", "passed": true }, { "name": "Core button reports all four cores without stopping OS/AV", "passed": true }, { "name": "Monitor controls fit a mobile viewport", "passed": true }, { "name": "VDOS MON launches the same monitor through BOS 50 and C0 copy", "passed": true }, { "name": "file:// preview starts the real monitor without fetch", "passed": true }, { "name": "No browser errors", "passed": true }, { "name": "Error guide lists all device codes and fits mobile width", "passed": true } ], "errors": [] }, "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.7.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 }, "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": [] }, "shelf": { "date": "2026-10-17", "status": "passed", "groups": 3, "versions": 14, "checks": [ { "name": "Three platform cards contain fifteen 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": [] } } }