From 92df0ae074b153822809542078c5ef9508eed06e Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Wed, 4 Feb 2026 02:06:47 +0000 Subject: [PATCH] pr 00.4 --- Cargo.lock | 15 ++++++ Cargo.toml | 1 + crates/prometeu-core/src/lib.rs | 4 -- crates/prometeu-firmware/Cargo.toml | 15 ++++++ .../src/firmware/boot_target.rs | 0 .../src/firmware/firmware.rs | 8 ++-- .../src/firmware/firmware_state.rs | 0 .../firmware/firmware_step_crash_screen.rs | 4 +- .../firmware/firmware_step_game_running.rs | 2 +- .../src/firmware/firmware_step_hub_home.rs | 2 +- .../src/firmware/firmware_step_launch_hub.rs | 4 +- .../firmware/firmware_step_load_cartridge.rs | 4 +- .../src/firmware/firmware_step_reset.rs | 2 +- .../firmware/firmware_step_splash_screen.rs | 4 +- .../src/firmware/mod.rs | 0 .../src/firmware/prometeu_context.rs | 4 +- crates/prometeu-firmware/src/lib.rs | 5 ++ .../src/prometeu_hub/mod.rs | 0 .../src/prometeu_hub/prometeu_hub.rs | 8 ++-- .../src/prometeu_hub/window_manager.rs | 4 +- crates/prometeu-runtime-desktop/Cargo.toml | 1 + .../prometeu-runtime-desktop/src/debugger.rs | 4 +- crates/prometeu-runtime-desktop/src/lib.rs | 2 +- crates/prometeu-runtime-desktop/src/runner.rs | 4 +- crates/prometeu-runtime-desktop/src/stats.rs | 2 +- .../files => files}/PRs para Junie Global.md | 0 .../pbs/files => files}/PRs para Junie.md | 44 ------------------ .../Prometeu Scripting - Language Tour.md | 0 test-cartridges/test01/cartridge/program.pbc | Bin 3727 -> 3727 bytes 29 files changed, 66 insertions(+), 77 deletions(-) create mode 100644 crates/prometeu-firmware/Cargo.toml rename crates/{prometeu-core => prometeu-firmware}/src/firmware/boot_target.rs (100%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware.rs (96%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_state.rs (100%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_crash_screen.rs (92%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_game_running.rs (93%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_hub_home.rs (96%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_launch_hub.rs (92%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_load_cartridge.rs (92%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_reset.rs (94%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/firmware_step_splash_screen.rs (95%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/mod.rs (100%) rename crates/{prometeu-core => prometeu-firmware}/src/firmware/prometeu_context.rs (77%) create mode 100644 crates/prometeu-firmware/src/lib.rs rename crates/{prometeu-core => prometeu-firmware}/src/prometeu_hub/mod.rs (100%) rename crates/{prometeu-core => prometeu-firmware}/src/prometeu_hub/prometeu_hub.rs (92%) rename crates/{prometeu-core => prometeu-firmware}/src/prometeu_hub/window_manager.rs (95%) rename {docs/specs/pbs/files => files}/PRs para Junie Global.md (100%) rename {docs/specs/pbs/files => files}/PRs para Junie.md (95%) rename {docs/specs/pbs/files => files}/Prometeu Scripting - Language Tour.md (100%) diff --git a/Cargo.lock b/Cargo.lock index 968fc1fa..5f883645 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1927,6 +1927,20 @@ dependencies = [ "url", ] +[[package]] +name = "prometeu-firmware" +version = "0.1.0" +dependencies = [ + "prometeu-abi", + "prometeu-bytecode", + "prometeu-core", + "prometeu-hardware-contract", + "prometeu-kernel", + "prometeu-vm", + "serde", + "serde_json", +] + [[package]] name = "prometeu-hardware-contract" version = "0.1.0" @@ -1968,6 +1982,7 @@ dependencies = [ "cpal", "pixels", "prometeu-core", + "prometeu-firmware", "ringbuf", "serde_json", "winit", diff --git a/Cargo.toml b/Cargo.toml index 369fd03f..5eb161d7 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -8,6 +8,7 @@ members = [ "crates/prometeu", "crates/prometeu-bytecode", "crates/prometeu-compiler", + "crates/prometeu-firmware", "crates/prometeu-analysis", "crates/prometeu-lsp", "crates/prometeu-hardware-contract" diff --git a/crates/prometeu-core/src/lib.rs b/crates/prometeu-core/src/lib.rs index 85d27058..23c3b312 100644 --- a/crates/prometeu-core/src/lib.rs +++ b/crates/prometeu-core/src/lib.rs @@ -8,7 +8,6 @@ //! - [`hardware`]: Virtual peripheral definitions (Graphics, Audio, Input). //! - [`virtual_machine`]: The stack-based execution engine for Prometeu ByteCode. //! - [`prometeu_os`]: Resource management, filesystem access, and syscall dispatching. -//! - [`firmware`]: System state machine (Boot, Hub, Game Loading, Crash Handler). //! - [`model`]: Common data structures (Colors, Sprites, Cartridges). //! - [`fs`]: Virtualized filesystem abstraction for sandboxed access. //! - [`log`]: Centralized logging and telemetry service. @@ -16,10 +15,7 @@ //! The "Source of Truth" for the console's behavior lives here. pub mod hardware; -pub mod firmware; // pub mod fs; -// pub mod prometeu_os; -mod prometeu_hub; pub mod fs { pub use prometeu_kernel::fs::*; diff --git a/crates/prometeu-firmware/Cargo.toml b/crates/prometeu-firmware/Cargo.toml new file mode 100644 index 00000000..b7a0336c --- /dev/null +++ b/crates/prometeu-firmware/Cargo.toml @@ -0,0 +1,15 @@ +[package] +name = "prometeu-firmware" +version = "0.1.0" +edition = "2024" +license.workspace = true + +[dependencies] +prometeu-core = { path = "../prometeu-core" } +prometeu-vm = { path = "../prometeu-vm" } +prometeu-kernel = { path = "../prometeu-kernel" } +prometeu-bytecode = { path = "../prometeu-bytecode" } +prometeu-abi = { path = "../prometeu-abi" } +prometeu-hardware-contract = { path = "../prometeu-hardware-contract" } +serde = { version = "1.0.228", features = ["derive"] } +serde_json = "1.0.149" diff --git a/crates/prometeu-core/src/firmware/boot_target.rs b/crates/prometeu-firmware/src/firmware/boot_target.rs similarity index 100% rename from crates/prometeu-core/src/firmware/boot_target.rs rename to crates/prometeu-firmware/src/firmware/boot_target.rs diff --git a/crates/prometeu-core/src/firmware/firmware.rs b/crates/prometeu-firmware/src/firmware/firmware.rs similarity index 96% rename from crates/prometeu-core/src/firmware/firmware.rs rename to crates/prometeu-firmware/src/firmware/firmware.rs index 2e404c44..9e81204e 100644 --- a/crates/prometeu-core/src/firmware/firmware.rs +++ b/crates/prometeu-firmware/src/firmware/firmware.rs @@ -2,12 +2,12 @@ use prometeu_vm::VirtualMachine; use crate::firmware::boot_target::BootTarget; use crate::firmware::firmware_state::{FirmwareState, LoadCartridgeStep, ResetStep}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::hardware::{HardwareBridge, InputSignals}; -use crate::model::Cartridge; +use prometeu_core::hardware::{HardwareBridge, InputSignals}; +use prometeu_core::abi::model::Cartridge; use crate::prometeu_hub::PrometeuHub; -use crate::prometeu_os::PrometeuOS; +use prometeu_core::prometeu_os::PrometeuOS; -use crate::telemetry::CertificationConfig; +use prometeu_core::abi::telemetry::CertificationConfig; /// PROMETEU Firmware. /// diff --git a/crates/prometeu-core/src/firmware/firmware_state.rs b/crates/prometeu-firmware/src/firmware/firmware_state.rs similarity index 100% rename from crates/prometeu-core/src/firmware/firmware_state.rs rename to crates/prometeu-firmware/src/firmware/firmware_state.rs diff --git a/crates/prometeu-core/src/firmware/firmware_step_crash_screen.rs b/crates/prometeu-firmware/src/firmware/firmware_step_crash_screen.rs similarity index 92% rename from crates/prometeu-core/src/firmware/firmware_step_crash_screen.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_crash_screen.rs index e51ee265..d2e6d72b 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_crash_screen.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_crash_screen.rs @@ -1,7 +1,7 @@ use crate::firmware::firmware_state::{FirmwareState, LaunchHubStep}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; -use crate::model::Color; +use prometeu_core::abi::log::{LogLevel, LogSource}; +use prometeu_core::abi::model::Color; #[derive(Debug, Clone)] pub struct AppCrashesStep { diff --git a/crates/prometeu-core/src/firmware/firmware_step_game_running.rs b/crates/prometeu-firmware/src/firmware/firmware_step_game_running.rs similarity index 93% rename from crates/prometeu-core/src/firmware/firmware_step_game_running.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_game_running.rs index 9bb65c47..c83bda42 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_game_running.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_game_running.rs @@ -1,6 +1,6 @@ use crate::firmware::firmware_state::{AppCrashesStep, FirmwareState}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; +use prometeu_core::abi::log::{LogLevel, LogSource}; #[derive(Debug, Clone)] pub struct GameRunningStep; diff --git a/crates/prometeu-core/src/firmware/firmware_step_hub_home.rs b/crates/prometeu-firmware/src/firmware/firmware_step_hub_home.rs similarity index 96% rename from crates/prometeu-core/src/firmware/firmware_step_hub_home.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_hub_home.rs index 9ffe8fca..2f59e7e2 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_hub_home.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_hub_home.rs @@ -1,6 +1,6 @@ use crate::firmware::firmware_state::{AppCrashesStep, FirmwareState}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; +use prometeu_core::abi::log::{LogLevel, LogSource}; #[derive(Debug, Clone)] pub struct HubHomeStep; diff --git a/crates/prometeu-core/src/firmware/firmware_step_launch_hub.rs b/crates/prometeu-firmware/src/firmware/firmware_step_launch_hub.rs similarity index 92% rename from crates/prometeu-core/src/firmware/firmware_step_launch_hub.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_launch_hub.rs index 6a9ef3b4..816eb426 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_launch_hub.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_launch_hub.rs @@ -1,8 +1,8 @@ use crate::firmware::boot_target::BootTarget; use crate::firmware::firmware_state::{FirmwareState, HubHomeStep, LoadCartridgeStep}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; -use crate::model::CartridgeLoader; +use prometeu_core::abi::log::{LogLevel, LogSource}; +use prometeu_core::abi::model::CartridgeLoader; #[derive(Debug, Clone)] pub struct LaunchHubStep; diff --git a/crates/prometeu-core/src/firmware/firmware_step_load_cartridge.rs b/crates/prometeu-firmware/src/firmware/firmware_step_load_cartridge.rs similarity index 92% rename from crates/prometeu-core/src/firmware/firmware_step_load_cartridge.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_load_cartridge.rs index d7ca4ca7..906c5ac7 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_load_cartridge.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_load_cartridge.rs @@ -1,7 +1,7 @@ use crate::firmware::firmware_state::{FirmwareState, GameRunningStep, HubHomeStep}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; -use crate::model::{AppMode, Cartridge, Color, Rect}; +use prometeu_core::abi::log::{LogLevel, LogSource}; +use prometeu_core::abi::model::{AppMode, Cartridge, Color, Rect}; #[derive(Debug, Clone)] pub struct LoadCartridgeStep { diff --git a/crates/prometeu-core/src/firmware/firmware_step_reset.rs b/crates/prometeu-firmware/src/firmware/firmware_step_reset.rs similarity index 94% rename from crates/prometeu-core/src/firmware/firmware_step_reset.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_reset.rs index 64430125..f14284e0 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_reset.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_reset.rs @@ -1,7 +1,7 @@ use crate::firmware::boot_target::BootTarget; use crate::firmware::firmware_state::{FirmwareState, LaunchHubStep, SplashScreenStep}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; +use prometeu_core::abi::log::{LogLevel, LogSource}; #[derive(Debug, Clone)] pub struct ResetStep; diff --git a/crates/prometeu-core/src/firmware/firmware_step_splash_screen.rs b/crates/prometeu-firmware/src/firmware/firmware_step_splash_screen.rs similarity index 95% rename from crates/prometeu-core/src/firmware/firmware_step_splash_screen.rs rename to crates/prometeu-firmware/src/firmware/firmware_step_splash_screen.rs index ec5c7af6..1834512d 100644 --- a/crates/prometeu-core/src/firmware/firmware_step_splash_screen.rs +++ b/crates/prometeu-firmware/src/firmware/firmware_step_splash_screen.rs @@ -1,7 +1,7 @@ use crate::firmware::firmware_state::{FirmwareState, LaunchHubStep}; use crate::firmware::prometeu_context::PrometeuContext; -use crate::log::{LogLevel, LogSource}; -use crate::model::Color; +use prometeu_core::abi::log::{LogLevel, LogSource}; +use prometeu_core::abi::model::Color; #[derive(Debug, Clone)] pub struct SplashScreenStep { diff --git a/crates/prometeu-core/src/firmware/mod.rs b/crates/prometeu-firmware/src/firmware/mod.rs similarity index 100% rename from crates/prometeu-core/src/firmware/mod.rs rename to crates/prometeu-firmware/src/firmware/mod.rs diff --git a/crates/prometeu-core/src/firmware/prometeu_context.rs b/crates/prometeu-firmware/src/firmware/prometeu_context.rs similarity index 77% rename from crates/prometeu-core/src/firmware/prometeu_context.rs rename to crates/prometeu-firmware/src/firmware/prometeu_context.rs index 11e786ee..5f69a910 100644 --- a/crates/prometeu-core/src/firmware/prometeu_context.rs +++ b/crates/prometeu-firmware/src/firmware/prometeu_context.rs @@ -1,8 +1,8 @@ use prometeu_vm::VirtualMachine; use crate::firmware::boot_target::BootTarget; -use crate::hardware::{HardwareBridge, InputSignals}; +use prometeu_core::hardware::{HardwareBridge, InputSignals}; use crate::prometeu_hub::PrometeuHub; -use crate::prometeu_os::PrometeuOS; +use prometeu_core::prometeu_os::PrometeuOS; pub struct PrometeuContext<'a> { pub vm: &'a mut VirtualMachine, diff --git a/crates/prometeu-firmware/src/lib.rs b/crates/prometeu-firmware/src/lib.rs new file mode 100644 index 00000000..699e6db7 --- /dev/null +++ b/crates/prometeu-firmware/src/lib.rs @@ -0,0 +1,5 @@ +pub mod firmware; +pub mod prometeu_hub; + +pub use firmware::*; +pub use prometeu_hub::*; diff --git a/crates/prometeu-core/src/prometeu_hub/mod.rs b/crates/prometeu-firmware/src/prometeu_hub/mod.rs similarity index 100% rename from crates/prometeu-core/src/prometeu_hub/mod.rs rename to crates/prometeu-firmware/src/prometeu_hub/mod.rs diff --git a/crates/prometeu-core/src/prometeu_hub/prometeu_hub.rs b/crates/prometeu-firmware/src/prometeu_hub/prometeu_hub.rs similarity index 92% rename from crates/prometeu-core/src/prometeu_hub/prometeu_hub.rs rename to crates/prometeu-firmware/src/prometeu_hub/prometeu_hub.rs index 318114ed..4a267938 100644 --- a/crates/prometeu-core/src/prometeu_hub/prometeu_hub.rs +++ b/crates/prometeu-firmware/src/prometeu_hub/prometeu_hub.rs @@ -1,8 +1,8 @@ -use crate::hardware::HardwareBridge; -use crate::log::{LogLevel, LogSource}; -use crate::model::{Color, Rect}; +use prometeu_core::hardware::HardwareBridge; +use prometeu_core::abi::log::{LogLevel, LogSource}; +use prometeu_core::abi::model::{Color, Rect}; use crate::prometeu_hub::window_manager::WindowManager; -use crate::prometeu_os::PrometeuOS; +use prometeu_core::prometeu_os::PrometeuOS; /// PrometeuHub: Launcher and system UI environment. pub struct PrometeuHub { diff --git a/crates/prometeu-core/src/prometeu_hub/window_manager.rs b/crates/prometeu-firmware/src/prometeu_hub/window_manager.rs similarity index 95% rename from crates/prometeu-core/src/prometeu_hub/window_manager.rs rename to crates/prometeu-firmware/src/prometeu_hub/window_manager.rs index 79a10bec..e401fe42 100644 --- a/crates/prometeu-core/src/prometeu_hub/window_manager.rs +++ b/crates/prometeu-firmware/src/prometeu_hub/window_manager.rs @@ -1,4 +1,4 @@ -use crate::model::{Color, Rect, Window, WindowId}; +use prometeu_core::abi::model::{Color, Rect, Window, WindowId}; /// PROMETEU Window Manager. pub struct WindowManager { @@ -50,7 +50,7 @@ impl WindowManager { #[cfg(test)] mod tests { use super::*; - use crate::model::Rect; + use prometeu_core::abi::model::Rect; #[test] fn test_window_manager_focus() { diff --git a/crates/prometeu-runtime-desktop/Cargo.toml b/crates/prometeu-runtime-desktop/Cargo.toml index a7e49701..5b1ed87c 100644 --- a/crates/prometeu-runtime-desktop/Cargo.toml +++ b/crates/prometeu-runtime-desktop/Cargo.toml @@ -15,6 +15,7 @@ include = ["../../VERSION.txt"] [dependencies] prometeu-core = { path = "../prometeu-core" } +prometeu-firmware = { path = "../prometeu-firmware" } winit = "0.30.12" pixels = "0.15.0" cpal = "0.15.3" diff --git a/crates/prometeu-runtime-desktop/src/debugger.rs b/crates/prometeu-runtime-desktop/src/debugger.rs index e5b52ab3..b98b84c0 100644 --- a/crates/prometeu-runtime-desktop/src/debugger.rs +++ b/crates/prometeu-runtime-desktop/src/debugger.rs @@ -1,6 +1,6 @@ use prometeu_core::debugger_protocol::*; -use prometeu_core::firmware::{BootTarget, Firmware}; -use prometeu_core::model::CartridgeLoader; +use prometeu_firmware::{BootTarget, Firmware}; +use prometeu_core::abi::model::CartridgeLoader; use prometeu_core::Hardware; use std::io::{Read, Write}; use std::net::{TcpListener, TcpStream}; diff --git a/crates/prometeu-runtime-desktop/src/lib.rs b/crates/prometeu-runtime-desktop/src/lib.rs index 2bf68513..35a46c1d 100644 --- a/crates/prometeu-runtime-desktop/src/lib.rs +++ b/crates/prometeu-runtime-desktop/src/lib.rs @@ -10,7 +10,7 @@ pub mod utilities; use cap::load_cap_config; use clap::Parser; -use prometeu_core::firmware::BootTarget; +use prometeu_firmware::BootTarget; use runner::HostRunner; use winit::event_loop::EventLoop; diff --git a/crates/prometeu-runtime-desktop/src/runner.rs b/crates/prometeu-runtime-desktop/src/runner.rs index 03ded085..8a7d2a2e 100644 --- a/crates/prometeu-runtime-desktop/src/runner.rs +++ b/crates/prometeu-runtime-desktop/src/runner.rs @@ -7,7 +7,7 @@ use crate::stats::HostStats; use crate::utilities::draw_rgb565_to_rgba8; use pixels::wgpu::PresentMode; use pixels::{Pixels, PixelsBuilder, SurfaceTexture}; -use prometeu_core::firmware::{BootTarget, Firmware}; +use prometeu_firmware::{BootTarget, Firmware}; use prometeu_core::Hardware; use std::time::{Duration, Instant}; use winit::application::ApplicationHandler; @@ -344,7 +344,7 @@ impl ApplicationHandler for HostRunner { mod tests { use super::*; use prometeu_core::debugger_protocol::DEVTOOLS_PROTOCOL_VERSION; - use prometeu_core::firmware::BootTarget; + use prometeu_firmware::BootTarget; use std::io::{Read, Write}; use std::net::TcpStream; diff --git a/crates/prometeu-runtime-desktop/src/stats.rs b/crates/prometeu-runtime-desktop/src/stats.rs index b4350b91..6aeb4a75 100644 --- a/crates/prometeu-runtime-desktop/src/stats.rs +++ b/crates/prometeu-runtime-desktop/src/stats.rs @@ -1,4 +1,4 @@ -use prometeu_core::firmware::Firmware; +use prometeu_firmware::Firmware; use prometeu_core::Hardware; use std::time::{Duration, Instant}; use winit::window::Window; diff --git a/docs/specs/pbs/files/PRs para Junie Global.md b/files/PRs para Junie Global.md similarity index 100% rename from docs/specs/pbs/files/PRs para Junie Global.md rename to files/PRs para Junie Global.md diff --git a/docs/specs/pbs/files/PRs para Junie.md b/files/PRs para Junie.md similarity index 95% rename from docs/specs/pbs/files/PRs para Junie.md rename to files/PRs para Junie.md index db65c471..3f6b8f11 100644 --- a/docs/specs/pbs/files/PRs para Junie.md +++ b/files/PRs para Junie.md @@ -404,36 +404,6 @@ pub struct AnalysisDb { > 3. Sempre manter o workspace compilável a cada PR. --- - -## PR-00.3 — Extrair `prometeu-kernel` (OS + FS + syscalls) - -**Branch:** `pr-00-3-prometeu-kernel` - -### Objetivo - -Mover `prometeu_os/*` + `fs/*` (e qualquer dispatcher de syscalls) para `crates/prometeu-kernel/`. - -### Passos prescritivos - -1. Criar crate `crates/prometeu-kernel/`. -2. Mover: - - * `crates/prometeu-core/src/prometeu_os/**` → `crates/prometeu-kernel/src/**` - * `crates/prometeu-core/src/fs/**` → `crates/prometeu-kernel/src/fs/**` -3. Garantir que o kernel **depende** de: - - * `prometeu-abi` - * `prometeu-vm` -4. Garantir que a VM chama syscalls via interface implementada pelo kernel. -5. Manter shim temporário no `prometeu-core` (se existir): `pub mod prometeu_os { pub use prometeu_kernel::*; }` - -### Critérios de aceite - -* `cargo test` verde. -* Sem mudança comportamental (mesmo conjunto de syscalls e traps). - ---- - ## PR-00.4 — Depurar `prometeu-core`: remover execução e virar apenas compat layer **Branch:** `pr-00-4-deprecate-prometeu-core` @@ -457,20 +427,6 @@ Eliminar o conteúdo executável restante do `prometeu-core`, deixando-o como re --- -## PR-00.5 — (Opcional) Extrair `prometeu-firmware` (hub/boot) - -**Branch:** `pr-00-5-prometeu-firmware` - -### Objetivo - -Mover `firmware/*` + `prometeu_hub/*` para `crates/prometeu-firmware/`. - -### Critérios - -* runtime desktop depende de `prometeu-firmware`. - ---- - ## PR-00.6 — Remover `prometeu-core` e migrar consumidores **Branch:** `pr-00-6-remove-prometeu-core` diff --git a/docs/specs/pbs/files/Prometeu Scripting - Language Tour.md b/files/Prometeu Scripting - Language Tour.md similarity index 100% rename from docs/specs/pbs/files/Prometeu Scripting - Language Tour.md rename to files/Prometeu Scripting - Language Tour.md diff --git a/test-cartridges/test01/cartridge/program.pbc b/test-cartridges/test01/cartridge/program.pbc index eafefd126fd0c9fd2c0b52ed2405b6ba44787d38..dbb0922ab04a4cc43cfea12c309cfaa15f7f9f97 100644 GIT binary patch delta 25 ecmeB|?U&tadA