Repository navigation
Releases: SmartArduino/pxa-system
Release list
PXA DevKit 0.3.0
中文
PXA 0.3.0 提供独立的 C++26 DevKit。无需克隆固件工作区或编译 LLVM，即可创建、构建、运行、调试和发布应用。
- Linux x86_64 完整开发包，要求 glibc 2.39+；包含 WASI SDK 34、固定版本 WAMR/LLVM、预编译模拟器、PXADB、字体与屏幕配置。
- 项目锁定 SDK 和工具链；一次 Wasm 编译，多 CPU AOT 与资源内容缓存，有界并行构建和原子包输出。
- 在线与离线安装使用同一份签名清单，校验 SHA-256、大小与发行签名；包内不携带私钥、令牌或设备数据。
- 商城使用可撤销的应用上传令牌，并按 Core、服务特性和每个组件的执行目标检查兼容性。
破坏性兼容变化：Guest Core ABI 为 2.0。 旧 Core 应用需重新编译；本包不能直接替换旧 Host 的 SDK。此版本未提供 Windows、macOS 或 ARM Linux 二进制。
先下载 pxa-devkit-0.3.0-linux-x86_64.tar.gz，解压并将 bin 加入 PATH，然后执行 pxa init hello 和 pxa run hello。已有工具可执行 pxa sdk install 0.3.0。
验证：96 项原生/模拟器检查通过；在无主机开发工具、离线 Ubuntu 环境完成独立构建和真实 Guest 运行；pai-touch、SenseCAP Watcher 与 ESP32-S31 Korvo-1 完成生命周期和输入验证。流式打包降低桌面 Python 分配峰值并保持输出字节一致；此工具发布不宣称提升游戏 FPS。
可选配套：PXA AI 开发套件 0.1.0，提供项目内 skills、agents 和真实 Guest 自动验收；不改变本版本附件。
可选配套：跨平台开发工具与容器，在容器中编译、宿主机直接调试 USB 串口；完整原生工具链仍为 Linux x86_64。Windows/macOS 机器与驱动尚未实测。
English
PXA 0.3.0 provides a standalone C++26 DevKit: initialize, build, run, debug and publish applications without checking out the firmware workspace or building LLVM.
- Portable Linux x86_64 binaries (glibc ≥ 2.39), WASI SDK 34, pinned WAMR/LLVM, prebuilt simulator, PXADB, fonts and screen profiles.
- Explicit SDK/toolchain lock, single Wasm compilation, content caches for multi-CPU AOT and resources, bounded parallel builds, atomic package output.
- Signed distribution manifest, SHA-256 assets, immutable online/offline component installation; private keys and credentials are excluded.
- Scoped store publishing tokens and compatibility checks based on Core/services/features and every component's execution target.
Breaking compatibility: Guest Core ABI is 2.0. Earlier Core applications need rebuilding; this is not a drop-in SDK for legacy Hosts. Windows, macOS and ARM Linux binaries are not provided in this release.
Start with the full pxa-devkit-0.3.0-linux-x86_64.tar.gz, add its bin directory to PATH, then run pxa init hello and pxa run hello. Existing tools can run pxa sdk install 0.3.0. The component archives use the same signed manifest online and offline.
Validation: 96 native/simulator checks passed, standalone builds and real Guest runs passed in an offline Ubuntu environment without host development tools, and application lifecycle/input checks passed on pai-touch, SenseCAP Watcher and ESP32-S31 Korvo-1. Streaming package encoding substantially reduces desktop Python allocation peaks while preserving output bytes. No game FPS improvement is claimed for this tooling release.
Installation and tutorials · Downloads · Detailed validation and memory report
Optional companion: PXA AI Development Kit 0.1.0, with project-scoped skills, agents and real-Guest verification. Existing assets remain unchanged.
Optional companion: Cross-platform tools and DevKit container. Build in the container and debug USB serial on the host. The complete native DevKit still targets Linux x86_64; actual Windows/macOS hosts and drivers remain untested.
PXA AI 开发套件 0.1.0 / PXA AI Development Kit 0.1.0
中文
可选的 PXA AI 开发套件 0.1.0，配合独立 DevKit 0.3.0 开发、调试与验证 C++26 应用。四个技能覆盖应用开发、模拟器调试、真机验收和发布；两个项目内 Codex 角色提供开发与独立验收分工，继承用户模型与权限。
- 使用
install.py选择安装、预览、更新或卸载；不修改全局配置，保留用户改动。 - 标准库验证脚本运行真实 Guest，覆盖五种分辨率/DPI/屏幕形状，支持有界触摸场景，输出日志、截图和 JSON；退出清理自己的进程与 IPC 目录。
- 独立 AI 从指引实现中文计数器，五屏完成 25 次点击和 30 张交互截图检查；pai-touch 真机点击、重启与清理通过，原生 Codex 自定义角色加载通过。
- 套件仅运行于开发电脑，不增加设备 AI 常驻内存。不将命令通过或验证总耗时当成画面正确、游戏 FPS、物理延迟或真实运行峰值。
归档仅 19,517 byte，无 Python 第三方依赖。下载四个附件，使用可信 DevKit 的 config/release-public.pem 验证 ai-kit-0.1.0.json.sig，再比对清单中的归档 SHA-256。安装与使用见归档中文 README。
这是独立版本的配套发行，不改变已发布 DevKit 0.3.0 的标签、附件或签名清单。后续完整 DevKit 的打包流程已加入 ai/；源码另修复了模拟器 profile 的深色主题参数，旧 0.3.0 下载附件仍保持原样。
English
Optional PXA AI Development Kit 0.1.0 for building and debugging C++26 apps with standalone DevKit 0.3.0. Four skills cover app development, simulator debugging, physical-device validation and release preparation. Two project-scoped Codex roles separate development from independent verification and inherit the user's model and permissions.
- Selective installation, dry runs, explicit updates and removal preserve local edits and leave global configuration unchanged.
- The standard-library helper runs real Guests across five resolution/DPI/shape profiles, executes bounded touch scenarios, collects logs/screenshots/JSON, and cleans up its own processes and IPC directory.
- An independent AI built a Chinese counter from the supplied instructions, verified 25 taps and 30 interaction screenshots across all five profiles. Physical pai-touch input/restart/cleanup and native Codex custom-agent loading also passed.
- The kit runs on the development computer and adds no resident AI memory on devices. Command success and verification duration do not establish visual correctness, game FPS, physical latency or per-run memory peaks.
The archive is 19,517 bytes and requires no third-party Python packages. Verify the signed distribution manifest using config/release-public.pem from a trusted DevKit, then compare the archive SHA-256. See the included English README for installation and use.
This separately versioned companion leaves the published DevKit 0.3.0 tag, assets and signed manifest intact. Future complete DevKit builds include ai/. Source also fixes simulator dark-theme profile forwarding; existing 0.3.0 download assets remain unchanged.
PXA 0.2.0-rc.1 — Verified Linux SDK & DevKit
首个经过验证的 Linux x86_64 开发套件候选版。完整 DevKit 包含 C/C++ SDK、O3 WASI/wamrc 工具链、打包签名、PXADB 和 SDL 模拟器；开发应用不需要 Host 源码、ESP-IDF 或系统编译器。
支持 Linux x86_64 / glibc 2.35+，生成 simulator、ESP32-S3、ESP32-S31 包。Core 1.0；Host C ABI soversion 0；AOT ABI 精确匹配。SDK/Host 发行号不要求相同，项目以 pxa.lock 固定工具链。
验证：源码 CI 68/68；开发机/隔离无网络只读 Ubuntu 22.04/真实归档搬移各 59 项；独立 SDK+模拟器、实际 Voxel Craft C++、S3/S31 新旧 Host 实机及设备恢复通过。下载 validation.zh-CN.md 与 validation-evidence 查看范围、截图、当次/历史内存和已知限制。
下载完整 pxa-devkit 开始开发；小型 SDK/独立模拟器面向已有配套工具的用户。SHA256SUMS 与各归档 .sha256 随附，未包含私钥或新固件。Windows/macOS/ARM、任意历史组合及完整 opcode 自动兼容推导尚未认证。
源码：system cfb1a73；workspace 160d1f9a36124518a53d2e6c09564231b0f88d04。工作区同版标签与公开递归依赖可用于源码复现。