Skip to content

Commit 6e90f1e

Browse files
Update README.md
1 parent b0375c5 commit 6e90f1e

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

crates/dsfb-phosphoric/README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,9 @@
55

66

77
**Try it now (no install required) Click the Open in Colab badge above**
8-
- 1. Open the Colab notebook
9-
- 2. Click Runtime > Run all
10-
- 3. Watch the 7-phase evidence path execute in ~2 minutes
8+
- Open the Colab notebook
9+
- Click Runtime > Run all
10+
- Watch the 7-phase evidence path execute in ~2 minutes and produce review artifacts
1111

1212
**Phosphoric** is a from-scratch systems stack for single-task edge devices. No Rust, no LLVM, no external linker, no libc, no POSIX surface — everything below the application is in-tree. The stack is four pieces. **Phosphoric** is the language: a closed v0 grammar with affine capabilities, fixed-capacity collections, a six-element runtime effect alphabet, and per-function effect declarations. `no_std`, `no_alloc`, `no_unsafe`, no FFI. **pcc** is the self-hosted compiler: parses Phosphoric source and emits PE/COFF EFI directly, no assembler, no linker, no third-party codegen. The bootstrap reduces to a small ASM stub whose hash is pinned and whose source-to-ASM correspondence is byte-equal verified. **Ember** is the trusted nucleus — ~330 LOC on x86_64, per-arch ceilings 100–800 — owning CPU primitives, MMIO, and port I/O behind line-audited `trusted!` blocks. **PhosphorOS** is the kernel above Ember: fixed-capacity tables (64 tasks, 128 channels, 256 capability slots), generation-tagged handles, cooperative scheduling, one manifest-sealed task per device.
1313

0 commit comments

Comments
 (0)