Split System I/O modules
Platform spec ADR
Split System I/O modules
Spec standingStandard
- Contracts and edge cases Stability guarantees for runtime-backed corelib APIs.
- Design model Corelib APIs implemented by runtime builtins and ABI-stable syscall surfaces.
- Examples Examples of runtime-backed corelib surfaces.
- FAQ and troubleshooting FAQ for runtime-backed corelib surfaces.
- Flow and algorithm Call path from Beskid corelib methods to runtime builtins.
- Verification and traceability Verification for runtime-backed corelib surfaces.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
what-this-feature-specifies | yes | yes |
implementation-anchors | yes | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”Monolithic IO.bd hid syscall direction and descriptor typing.
Decision
Section titled “Decision”| Rule | Detail |
|---|---|
| Surface | System.Input, System.Output, System.Error under packages/runtime |
| Non-goal | Monolithic IO.bd for standard streams |
Consequences
Section titled “Consequences”Syscall descriptors stay typed per stream.
Verification anchors
Section titled “Verification anchors”packages/runtime/src/System/; stream contract tests.