0x0 Feature Support Matrix

| Feature | Status | Evidence | Notes |

| --- | --- | --- | --- |

| Parenthesized forms | implemented | docs/grammar.ebnf | Current parser shape. |

| Module form | implemented | docs/language.html | (⊙ name). |

| File imports | implemented | examples/import-main.0x0 | Local file import. |

| Package imports | implemented | docs/package-system.html | Local lockfile-backed pkg: imports. |

| Functions | implemented | docs/syntax.html | ƒ forms. |

| Type annotations | implemented | docs/language-spec.html | Checked source contract slice. |

| Complete type system | deferred | docs/language-spec.html | Current checker is not complete. |

| Source capabilities | implemented | docs/capabilities.html | pure, io, file, network, process. |

| Generic socket builtins | deferred | docs/capabilities.html | Runtime boundary docs only. |

| Generic subprocess builtins | deferred | docs/capabilities.html | Runtime boundary docs only. |

| Core libraries | implemented | docs/core-library.html | List-backed conventions. |

| Generated API docs | implemented | docs/api.html | Core API docs. |

| Local package registry | implemented | libs/registry.tsv | Static source registry metadata. |

| Remote package resolution | deferred | docs/package-system.html | Not current behavior. |

| OISA compiler path | implemented | docs/compiler.html | Current compiler path. |

| Direct ELF path | implemented | docs/compiler.html | Supported slice only. |

| Object/archive/linker | implemented | docs/object-format.html | Supported slice only. |

| Runtime host boundaries | app-specific | docs/runtime-capabilities.html | App boundary taxonomy. |

| Fake runtime adapters | test-adapter-only | docs/capabilities.html | Not production evidence alone. |

| Index app rewrite | app-specific | docs/index-kukulkan-real-production-rewrite-roadmap.html | App-specific production work. |

| Kukulkan app rewrite | app-specific | docs/index-kukulkan-real-production-rewrite-roadmap.html | App-specific production work. |

| Embedded/bare-metal | deferred | site/embedded.html | Not current 0x0 behavior. |

| HAL/RTOS/BSP | deferred | site/embedded.html | Not current 0x0 behavior. |

| Space assurance/hardware proof | deferred | site/embedded.html | Archive/migration context only. |

Implemented rows must keep evidence links current.