simply

Whole-earth software targeting the Simple v1.0.1-beta.1 beta baseline. One capability registry, 69 rows — every percentage below comes from the last-known test snapshot, never hand-typed. Compatibility with the beta is claimed only by the separate project proofs.

92% composite over the 23 row(s) with evidence

implementation map · completion criteria · project proofs · examples

Evidence coverage 23 proven / 46 unproven

Test status 118684 passed / 4579 failed / 11 pending / 2818 skipped

test grouppassedfailedskippedpendingdone
test/01_unit/app182598456095.6%
test/01_unit/app_standalone6000100.0%
test/01_unit/baremetal121000100.0%
test/01_unit/browser233610079.2%
test/01_unit/browser_engine8579696089.9%
test/01_unit/bugs28610099.7%
test/01_unit/check1877072.0%
test/01_unit/common8471212098.6%
test/01_unit/compiler20617921832095.7%
test/01_unit/compiler_core31351919099.4%
test/01_unit/compiler_shared11000100.0%
test/01_unit/core38433099.2%
test/01_unit/coupling10450095.4%
test/01_unit/debug6000100.0%
test/01_unit/doc275022.2%
test/01_unit/doctest70000100.0%
test/01_unit/examples142525035.9%
test/01_unit/fs_driver1321515089.8%
test/01_unit/gpu16140097.6%
test/01_unit/hal2644086.7%
test/01_unit/hardware27611077071.5%
test/01_unit/helpers1000100.0%
test/01_unit/infra11999093.0%
test/01_unit/io2140084.0%
test/01_unit/jit29000100.0%
test/01_unit/language1491515090.8%
test/01_unit/lib3365913901191996.0%
test/01_unit/memleak481919071.6%
test/01_unit/multi_mode_test_runner_spec.spl034000.0%
test/01_unit/net20000100.0%
test/01_unit/os6874902438088.4%
test/01_unit/perf18000100.0%
test/01_unit/qemu8000100.0%
test/01_unit/rtl2510096.2%
test/01_unit/runtime203200091.0%
test/01_unit/scripts4576086.5%
test/01_unit/sffi766053.9%
test/01_unit/spec13643097.1%
test/01_unit/startup40000100.0%
test/01_unit/std313443027299.9%
test/01_unit/t32_mcp24000100.0%
test/01_unit/test_runner86000100.0%
test/01_unit/tmp_adapter_debug_spec.spl01100.0%
test/01_unit/tools20211099.5%
test/01_unit/try_operator_error_propagation_spec.spl6000100.0%
test/01_unit/ui44000100.0%
test/01_unit/unstable_mode_default_per_path_spec.spl10000100.0%
test/01_unit/w04_probe_spec.spl111050.0%

2A Programming foundation 91% (8 of 9 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
I01Language semantics and type system1008070533/18/097%
source_present
unit test/01_unit/language 31 file(s)
unit test/01_unit/core 26 file(s)
I02Compiler, IR, backends, linker, loader82626520617/921/096%
source_present
unit test/01_unit/compiler 2051 file(s)
available test/02_integration/compiler 0 file(s)
bench doc/10_metrics/startup/cross_language_compute_compile_benchmark_2026-08-18.md
I03Runtime, memory, concurrency755558251/39/087%
source_present
unit test/01_unit/runtime 32 file(s)
unit test/01_unit/memleak 8 file(s)
I04Standard library65485565003/1420/1198%
source_present
unit test/01_unit/std 940 file(s)
unit test/01_unit/lib 2996 file(s)
I05FFI, ABI, interoperability6550608/6/057%
source_present
unit test/01_unit/sffi 1 file(s)
unit test/01_unit/app/ffi_gen 1 file(s)
I06Build, package, dependency system62505018259/845/096%
source_present
unit test/01_unit/app 1431 file(s)
I07Testing, specification, assurance867270230/4/098%
source_present
unit test/01_unit/test_runner 9 file(s)
unit test/01_unit/app/test_runner_group_json_spec.spl 1 file(s)
unit test/01_unit/spec 8 file(s)
I08IDE, editor, debugger, docs654848202/1/0100%
source_present
unit test/01_unit/tools 43 file(s)
planned IDE workbench end-to-end workflow spec
I09SCM, CI/CD, software forge402838—no evidenceunproven
planned forge/CI hosted-service conformance suite

2B OS/cloud/data foundation 92% (8 of 14 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
I10CPU, accelerator, hardware toolchain422435306/111/073%
source_present
unit test/01_unit/rtl 1 file(s)
unit test/01_unit/hardware/fpga_linux/rtl_riscv64_linux_generated_script_spec.spl 1 file(s)
unit test/01_unit/os/kernel/arch/riscv64/platform/litex_fpga_spec.spl 1 file(s)
unit test/01_unit/hardware 70 file(s)
I11General OS and hypervisor4830426874/902/088%
source_present
unit test/01_unit/os 853 file(s)
I12Embedded, RTOS, specialized profiles452845121/0/0100%
unit_verified
unit test/01_unit/baremetal 3 file(s)
I13HAL, drivers, firmware, devices382338158/19/089%
source_present
unit test/01_unit/hal 1 file(s)
unit test/01_unit/fs_driver 8 file(s)
I14Storage and filesystem platform38244018/0/0100%
unit_verified
unit test/01_unit/lib/fs_driver/nvfs_device_backed_spec.spl 1 file(s)
unit test/01_unit/lib/fs_driver/nvfs_pure_simple_spec.spl 1 file(s)
unit test/01_unit/lib/db/dbfs_dentry_prefix_index_spec.spl 1 file(s)
unit test/01_unit/os/services/nvfs/nvfs_durable_roundtrip_spec.spl 1 file(s)
I15Networking and protocol platform40244020/0/0100%
unit_verified
unit test/01_unit/net 1 file(s)
I16Security, IAM, supply chain352242—no evidenceunproven
planned unified IAM/secrets/supply-chain suite
I17Observability, diagnostics, replay4532486/0/0100%
unit_verified
unit test/01_unit/debug 1 file(s)
I18Database engine and server321828—no evidenceunproven
available test/02_integration/database 0 file(s)
I19Data, search, analytics platform221222—no evidenceunproven
planned streaming/warehouse/analytics platform suite
I20Messaging, event, workflow platform322030—no evidenceunproven
planned durable workflow/event engine suite
I21Distributed-systems substrate15818—no evidenceunproven
planned consensus/membership cluster substrate suite
I22Cloud, containers, orchestration14818—no evidenceunproven
planned OCI-conformant container control-plane suite
I23Web, API, integration platform24152521/4/084%
source_present
unit test/01_unit/io 4 file(s)

2C UX/documents/AI/science 96% (4 of 8 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
I24Browser and web platform3220301090/157/087%
source_present
unit test/01_unit/browser 13 file(s)
unit test/01_unit/browser_engine 59 file(s)
I25UI, TUI, GUI, accessibility, i18n60425844/0/0100%
unit_verified
unit test/01_unit/ui 2 file(s)
I262D, 3D, scene, game, XR graphics503258161/4/098%
source_present
unit test/01_unit/gpu 18 file(s)
I27Image, audio, video, media pipeline15822—no evidenceunproven
planned media codec/container/pipeline suite
I28Document, Office, collaboration452632—no evidenceunproven
planned Office coauthoring/format-fidelity suite (see A01)
I29Universal application kernel352028—no evidenceunproven
planned universal application kernel suite (identity/money/workflow)
I30AI, ML, agent platform50354529/0/0100%
unit_verified
unit test/01_unit/jit 2 file(s)
planned repo:simple_deeplearning_study training conformance
I31Mathematics, science, HPC422848—no evidenceunproven
planned BLAS/LAPACK/ODE numeric conformance suite

2D Engineering/physical world no evidence (0 of 7 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
I32Simulation, multiphysics, twin, HIL15818—no evidenceunproven
planned multiphysics/FMI co-simulation suite
I33Control, navigation, robotics84-—no evidenceunproven
planned control/navigation/robotics suite
I34CAD, CAE, CAM, EDA, PLM, MBSE14818—no evidenceunproven
planned CAD/EDA/PLM suite
I35Industrial, PLC, SCADA, MES84-—no evidenceunproven
planned PLC/SCADA/MES deterministic-scan suite
I36GIS, mapping, terrain, ocean, weather10612—no evidenceunproven
planned GIS/projection/terrain suite
I37Communications and collaboration201222—no evidenceunproven
planned mail/calendar/chat federation suite
I38Universal resource/control plane181020—no evidenceunproven
planned universal control-plane resource-graph suite

App: information domains no evidence (0 of 9 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A01Productivity and collaboration4528-—no evidenceunproven
planned repo:simple-ide Office vertical-slice workflow
A02Enterprise operations3520-—no evidenceunproven
planned repo:simple-erp CRM→quote→order→ledger vertical slice
A03Commerce, hospitality, travel2816-—no evidenceunproven
planned repo:simple-restaurant order/fulfillment slice
A04Education and training158-—no evidenceunprovenno test list
A05Healthcare, clinical, biotech74-—no evidenceunprovenno test list
A06Government, legal, public safety106-—no evidenceunprovenno test list
A07Banking, insurance, capital markets201020—no evidenceunproven
planned repo:simple-payment settlement slice
A08Logistics, supply chain, postal2012-—no evidenceunprovenno test list
A09Consumer, home, social, personal128-—no evidenceunprovenno test list

App: software factory 96% (1 of 2 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A10Developer and software factory78606518259/845/096%
source_present
unit test/01_unit/app 1431 file(s)
available test/03_system/e2e 0 file(s)
A11IT, cloud, security operations281830—no evidenceunproven
planned ITSM/SOC/fleet management slice

App: media and interactive no evidence (0 of 2 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A12Media, creative, publishing10618—no evidenceunprovenno test list
A13Games, XR, interactive simulation181025—no evidenceunproven
planned game/XR interactive slice

App: physical industry 96% (1 of 3 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A14Manufacturing, factory automation15820—no evidenceunprovenno test list
A15Semiconductor design and fab28142825/1/096%
source_present
unit test/01_unit/rtl 1 file(s)
A16Robotics and autonomous machines84-—no evidenceunprovenno test list

App: mobility no evidence (0 of 4 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A17Automotive and road mobility74-—no evidenceunprovenno test list
A18Rail and mass transit42-—no evidenceunprovenno test list
A19Ship, maritime, port, offshore53-—no evidenceunprovenno test list
A20Submarine, AUV, ROV, deep ocean42-—no evidenceunprovenno test list

App: aerospace no evidence (0 of 4 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A21Aircraft, helicopter, UAV, airport74-—no evidenceunproven
planned avionics/FMS/GNC slice (board-runnable per board rule)
A22Rocket, launch vehicle, launch site84-—no evidenceunprovenno test list
A23Satellite, spacecraft, ground station105-—no evidenceunproven
planned repo:simple-os CubeSat command→telemetry slice
A24Deep-space probe, robot, habitat52-—no evidenceunprovenno test list

App: energy and industry no evidence (0 of 2 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A25Energy, utilities, nuclear, grid63-—no evidenceunprovenno test list
A26Mining, oil, gas, process industries53-—no evidenceunprovenno test list

App: built and natural world no evidence (0 of 2 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A27Architecture, civil, BIM, smart city85-—no evidenceunprovenno test list
A28Agriculture, food, environment64-—no evidenceunprovenno test list

App: telecom and science 72% (1 of 3 rows proven)

idcapabilityFUPevidencedone (derived)status (derived)tests
A29Telecom, radio, network operator14818—no evidenceunprovenno test list
A30Science, HPC, lab, Earth, astronomy301840—no evidenceunproven
planned scientific workflow slice
A31Safety-critical and mission systems22122518/7/072%
source_present
unit test/01_unit/check 8 file(s)