Daniel Samson daniel
0 Followers · 0 Following
  • Joined on 2026-02-01
Repositories
2
 Projects Packages Public Activity Starred Repositories
daniel pushed to main at daniel/danos 2026-08-10 18:35:05 +00:00
4037e746aa docs: storage remount-on-replug is bench-pending, not bench-verified
daniel pushed to main at daniel/danos 2026-08-10 05:11:02 +00:00
4dfb5012c0 docs: the removal lifecycle closes — three triggers, one path (S5)
061eb7c004 volume-manager: drop the medium-event dedup — it only ever misfired (S5 review)
5dc966838a volume-manager: rebuild a volume when its storage driver dies (S5)
700452dc4e volume-manager: consume medium_changed — the second removal trigger (S5)
0faa0fd21b service: on_buffered_message for pushed events (S5)
Compare 5 commits »
daniel pushed to main at daniel/danos 2026-08-10 03:16:32 +00:00
c47215821c docs: the second engine is built — exFAT + proven harness reuse (S4)
6ddb08091d exfat: adversarial-review fixes — overflow safety, sparse gaps, dir size, big-image bitmap (S4 step 9)
77b64229c2 exfat: the in-VM mount + mutation drill (S4 step 8)
90906bcefe exfat: cross-engine discrimination + the exfat-test fixture (S4 step 7)
2c2745e9e5 volume-manager: recognize exFAT and route it by content (S4 step 6)
Compare 10 commits »
daniel pushed to main at daniel/danos 2026-08-10 01:36:44 +00:00
0b25cd2c94 docs: multi-volume is built — storage architecture + rationale (S3)
d59279422e test: partitioned-image tool + shared-channel multi-volume proof (S3)
bf9f8560c6 fat/harness: filesystems coexist without the shared vfs name; two-volume proof (S3)
da7dcce64e kernel/vfs: raise the mount ceiling for N volumes; refuse (not drop) a full table (S3)
9750db14da fat: install the FHS boot rewrites only on the system volume (S3)
Compare 8 commits »
daniel pushed to main at daniel/danos 2026-08-09 23:50:32 +00:00
6d4992ae02 docs: storage — the mount map is built; the path is the id (S2)
df61693065 fat: mount at the id-path from argv; migrate /volumes/usb -> id-path (S2)
f1e79d0eeb volume-manager: the volumes query verb — read a volume's id, path, and label (S2)
167e9c7a9e volume-manager: load the mount map; pick binary by signature, compose the id-path (S2)
5bfdb75e12 volume-manager: the id-path deriver + volumes.csv override (S2)
Compare 6 commits »
daniel pushed to main at daniel/danos 2026-08-09 22:37:54 +00:00
ea8ccf65d0 volume-manager: cover the GPT non-128 entry-size offset path (S1 review)
aca3d5855a volume-manager: S1 close-out — partition fixtures in the root aggregate; docs (S1)
5637d0e5fc device-manager: the entries-per-reply test asserts 7 (the current shape), not 10
48ab12e262 volume-manager: the FAT volume serial + label is the identity (rung 3) (S1)
020e31bc8f volume-manager: GPT parsing — the partition GUID is the id, the name is the label (S1)
Compare 6 commits »
daniel pushed to main at daniel/danos 2026-08-09 21:55:12 +00:00
4f9196c03e docs: storage plan — fix two id-path leftovers (DANOS/label->hex)
daniel pushed to main at daniel/danos 2026-08-09 21:54:39 +00:00
eff95416d0 docs: storage plan — path is the id, label is queryable display metadata
daniel pushed to main at daniel/danos 2026-08-09 21:42:59 +00:00
addd264880 docs: storage plan — volumes named by identity; exFAT implemented in full
daniel pushed to main at daniel/danos 2026-08-09 21:34:02 +00:00
fca41b351e docs: the storage-stack completion plan (S1-S5)
daniel pushed to main at daniel/danos 2026-08-09 21:04:20 +00:00
bf0595763e docs: flip stale status markers across the tracks (audit found 23)
daniel pushed to main at daniel/danos 2026-08-09 20:19:30 +00:00
8216be991d docs: correct the storage docs' V0-V4 status — the V5 flip missed several
daniel pushed to main at daniel/danos 2026-08-09 19:59:25 +00:00
68e65803eb volume-manager: the removal comment says lazy retirement, not an eager sweep
af47d41989 volume-manager: removal supersedes a pending restart in the poll
5e89b111cf docs: flip the storage-architecture status markers the V0-V4 track made real
e3ec9fa668 volume-manager: try every mass-storage entry, watch the one we opened
9e67a74232 volume-manager: the removal lifecycle — a pulled stick unmounts (V4)
Compare 21 commits »
daniel pushed to main at daniel/danos 2026-08-09 15:08:22 +00:00
9da63e81e2 docs: the boot volume — identity is what makes yanking it survivable
ada251150a docs: volume identity, and volumes.csv as danos's fstab
728b436d0f docs: the storage rationale lives with the architecture it justifies
092817ba2e docs: transport generality and the media-presence event
a44b397bed protocols: attach gets its reverse — block detach, usb-transfer dma_detach
Compare 8 commits »
daniel pushed to main at daniel/danos 2026-08-09 13:25:32 +00:00
d4f8dc51b9 docs: the hot-plug matrix is complete — 124/124
36ca3f98b3 test: H4 + H5 — a moved device is a new device, and generations do not leak
c3604429d4 test: H3 — a nested hub tree yanked whole rebuilds whole (hot-plug matrix)
77e7001878 usb: a hub yanked from a root port takes its subtree with it (H2)
a6a3402d92 test: H1 — root-port unplug and replug (hot-plug matrix)
Compare 6 commits »
daniel pushed to main at daniel/danos 2026-08-09 12:52:00 +00:00
4a2df587bb establishment: unplug reaps like death, so a replug rebinds
daniel pushed to main at daniel/danos 2026-08-09 12:37:38 +00:00
3c9f454398 establishment: the two-controller proof, and the docs catch up
8710944a92 establishment: a reporter's death reaps its subtree, and the re-report rebuilds it
1d7850239d establishment: block stops being a name, and enumerate learns to page
d603d40b5c establishment: usb-transfer stops being a name
77fe4d220e establishment: the mechanics — reply capabilities, helloExchange, lineage routing
Compare 49 commits »
daniel pushed to main at daniel/danos 2026-08-01 11:20:56 +00:00
a85f29edc9 merge: security track group 4 — SMEP, the SYSRET guard, and SMAP
5a5146ec13 kernel: ring 0 reaches user memory only through the checked copy
cb30faf15f kernel: a hostile return address cannot fault the kernel
36a7cc5fe9 kernel: ring 0 cannot execute a user page
Compare 4 commits »
daniel pushed to feat/security-group-4 at daniel/danos 2026-08-01 11:20:47 +00:00
5a5146ec13 kernel: ring 0 reaches user memory only through the checked copy
daniel pushed to feat/security-group-4 at daniel/danos 2026-08-01 10:22:10 +00:00
cb30faf15f kernel: a hostile return address cannot fault the kernel