This website requires JavaScript.
c3db963164
FABRIC-3.md §VII: xHCI/BOT single-device architecture — plan only, halted
Robert Allan James and Claude Sonnet 5
2026-09-05 20:45:20 -04:00
4ce28edf8f
3-arch QEMU acceptance + live diagnostic logs for the WIREBIND overflow trigger
Robert Allan James and Claude Sonnet 5
2026-09-05 16:17:35 -04:00
4d4ab59189
Build the FIRSTTOUCH overflow trigger flagged in FABRIC-2.md §I.2
Robert Allan James and Claude Sonnet 5
2026-09-05 16:17:19 -04:00
d8ac27abb2
3-arch QEMU acceptance + live diagnostic logs for the BAM reconciliation fix
Robert Allan James and Claude Sonnet 5
2026-09-05 15:57:21 -04:00
aa33aedca8
Fix blk_meta_t/BAM accounting reconciliation flagged in FABRIC-2.md §I.2
Robert Allan James and Claude Sonnet 5
2026-09-05 15:57:03 -04:00
04cc17920e
3-arch QEMU acceptance logs for the FINDINGS.md defect-repair commits
Claude
2026-09-05 14:46:24 +00:00
7191ce5a56
Refresh lfs/amd64/starforth binary artifact
Claude
2026-09-05 14:07:51 +00:00
d6895bdd15
Move vocabulary and control-flow state off file-scope statics onto VM
Claude
2026-09-05 14:07:41 +00:00
c36bd99e1e
Fix EXECUTE/?/DUMP/TYPE/DECIMAL-HEX-OCTAL/ALIGN defects from proof sweep
Claude
2026-09-05 14:07:11 +00:00
70dc8beba4
FABRIC-2.md §I.9 follow-on: blinking | cursor instead of static block
Robert Allan James and Claude Sonnet 5
2026-09-05 02:24:51 -04:00
8edb95b65d
FABRIC-2.md §I.9: fix the terminal phantom-linebreak defect
Robert Allan James and Claude Sonnet 5
2026-09-05 02:08:06 -04:00
704573bdfc
FABRIC-2.md §I.9: root-cause the terminal defect, not fixed (identify-only)
Robert Allan James and Claude Sonnet 5
2026-09-05 01:47:53 -04:00
dbaead0af2
xhci: route driver chatter through log_message(), silence at default log level
Robert Allan James and Claude Sonnet 5
2026-09-05 01:25:50 -04:00
1bd041e84d
FABRIC-3.md §IV.3 item 5: pci_init() DTB path re-scoped, doc-only, nothing implementable this pass
Robert Allan James and Claude Sonnet 5
2026-09-05 01:06:24 -04:00
9b6de5d6c7
riscv64: PLIC base address DTB-discovered, QEMU-virt constant as fallback (§V.3 item 3)
Robert Allan James and Claude Sonnet 5
2026-09-05 00:56:25 -04:00
90ee8deb6d
riscv64: skip satp Bare-mode switch when already Bare (§V.3 item 7 audit fix)
Robert Allan James and Claude Sonnet 5
2026-09-05 00:17:35 -04:00
350287850f
arch/aarch64: fix VBAR_EL2 stale comment + hardcode HVC PSCI conduit
Robert Allan James and Claude Sonnet 5
2026-09-05 00:06:41 -04:00
dc9445abec
apic.c (aarch64): fix GIC base address for real Pi 5 hardware
Robert Allan James and Claude Sonnet 5
2026-09-04 23:54:39 -04:00
0f798256a0
FABRIC-3.md: aarch64/riscv64 boot-path code audit pass (§IV.3/§V.3 item 7)
Robert Allan James and Claude Sonnet 5
2026-09-04 23:31:38 -04:00
6a6ff9353f
FABRIC-3.md: amd64 boot-path code audit pass (§III item 6)
Robert Allan James and Claude Sonnet 5
2026-09-04 23:15:09 -04:00
ecdb32e0d6
boot_media/rpi5/config.txt: Pi 5 native boot config (FABRIC-3.md §IV.3 item 6)
Robert Allan James and Claude Sonnet 5
2026-09-04 23:05:39 -04:00
11c93773d0
FABRIC-3.md: pci_init() DTB path item was wrong -- re-scope, don't build the ECAM version
Robert Allan James and Claude Sonnet 5
2026-09-04 22:47:18 -04:00
7187d68082
rpi5_native_boot.c: carve /reserved-memory out of the Pi 5 memory map
Robert Allan James and Claude Sonnet 5
2026-09-04 22:24:57 -04:00
67e3fb7459
rpi5_native_boot.c: Pi 5 DTB->BootInfo constructor (FABRIC-3.md §IV.3 item 2)
Robert Allan James and Claude Sonnet 5
2026-09-04 14:42:32 -04:00
281de9547c
native_rpi5_entry.S: Pi 5 native (non-UEFI) boot entry stub (FABRIC-3.md §IV.3 item 1)
Robert Allan James and Claude Sonnet 5
2026-09-04 14:12:42 -04:00
a32b0ebcbe
rpi5_mailbox.c: wire the VideoCore mailbox message protocol (FABRIC-3.md §IV.3 item 3)
Robert Allan James and Claude Sonnet 5
2026-09-04 14:00:32 -04:00
ca52ce8243
rpi5_dtb.c: wire fdt.c's node-scoped lookup into the Pi 5 UART/mailbox addresses
Robert Allan James and Claude Sonnet 5
2026-09-04 13:36:08 -04:00
5e46f18fd9
fdt.c: node-scoped lookup extension (FABRIC-3.md SSIV.3/SSV.3 shared item)
Robert Allan James and Claude Sonnet 5
2026-09-04 13:05:42 -04:00
bffd87615d
FABRIC-3.md: riscv64 (Milk-V Mars) planning decided + punch list
Robert Allan James and Claude Sonnet 5
2026-09-04 12:55:28 -04:00
1ec2a29384
FABRIC-3.md: aarch64 (Pi 5) planning decided + punch list
Robert Allan James and Claude Sonnet 5
2026-09-04 12:52:37 -04:00
9142d50b73
FABRIC-3.md: Zynq-7000 (Puzhi PZ7010/PZ7020 StarLite) added to hardware reference
Robert Allan James and Claude Sonnet 5
2026-09-04 12:44:57 -04:00
5eeb993ca2
FABRIC-3.md: riscv64 boot chain resolved, BeagleBone Black noted, header bug fixed
Robert Allan James and Claude Sonnet 5
2026-09-04 12:43:15 -04:00
987c751352
FABRIC-3.md: per-board hardware-identification reference (SS VI)
Robert Allan James and Claude Sonnet 5
2026-09-04 12:37:29 -04:00
a66af477ac
FABRIC-3.md: aarch64 boot-chain decision -- native boot flow, not UEFI
Robert Allan James and Claude Sonnet 5
2026-09-04 12:34:30 -04:00
e5e28d5198
FABRIC-3.md: amd64 bare-metal-boot planning decided + punch list
Robert Allan James and Claude Sonnet 5
2026-09-04 12:27:38 -04:00
7f9a4d4d4a
FABRIC-3.md: three per-architecture bare-metal-boot planning sections
Robert Allan James and Claude Sonnet 5
2026-09-04 12:02:45 -04:00
8717416d36
FABRIC-3.md: version correction -- LITHOS_VERSION back to 2.0.0, plus a rename-gap fix
Robert Allan James and Claude Sonnet 5
2026-09-04 11:53:44 -04:00
fcba528273
FABRIC-3.md: Task 1 closed -- master fast-forwarded to v2.0.1, verified
Robert Allan James and Claude Sonnet 5
2026-09-04 11:37:29 -04:00
72c14cb9eb
FABRIC-3.md: open new living document (bare metal boot); close FABRIC-2.md
Robert Allan James and Claude Sonnet 5
2026-09-04 11:31:04 -04:00
b031b802e3
Rename FABRIC series: FABRIC.md->0, FABRIC-2.md->1, FABRIC-3.md->2, FABRIC-4.md unchanged
Robert Allan James and Claude Sonnet 5
2026-09-04 11:22:51 -04:00
ff2941dfb9
FABRIC-3.md §I.7: close Milestone 9 deferral now that its precondition is met
Robert Allan James and Claude Sonnet 5
2026-09-04 11:05:51 -04:00
eeceec21a5
FABRIC-3.md §I.5: Milestone 7 trust tiers (QEMU-vs-real-hardware), closing it
Robert Allan James and Claude Sonnet 5
2026-09-04 11:04:25 -04:00
5567d03c12
FABRIC-3.md §I.4: magic-number content-type detection, closing Milestone 6
Robert Allan James and Claude Sonnet 5
2026-09-04 10:45:57 -04:00
4018fe8b04
FABRIC-3.md §I.2: FIRSTTOUCH + migration state machine (blk_meta_relocate_devblock)
Robert Allan James and Claude Sonnet 5
2026-09-04 10:33:47 -04:00
1d468a65b1
FABRIC-3.md §I.1: (user) console prompt segment, closing the 4.4s->4.3->1.11 chain
Robert Allan James and Claude Sonnet 5
2026-09-04 09:42:26 -04:00
60d9c2520e
FABRIC-3.md §I.3/§I.8: WIREBIND EJECT/detach + EXPIRE re-scoped as logout
Robert Allan James and Claude Sonnet 5
2026-09-04 09:21:01 -04:00
34203613bb
FABRIC-4.md: new forward-looking design-notes scratchpad
Robert Allan James and Claude Sonnet 5
2026-09-03 14:11:08 -04:00
b16b54f5a8
FABRIC-3.md: add §I, consolidated live punch list of open items
Robert Allan James and Claude Sonnet 5
2026-09-03 13:48:33 -04:00
403f53d056
FABRIC-3.md: retroactively check 11 stale-carried-forward items
Robert Allan James and Claude Sonnet 5
2026-09-03 13:34:29 -04:00
2b9fa02354
§H.12 steps 21-22: ELEVATE-REQUEST + ELEVATE-GRANT + SEND-ELEVATE-REQUEST
Robert Allan James and Claude Sonnet 5
2026-09-03 13:15:40 -04:00
cb6e079a73
§H.12 step 20: CH-REQUEST initiator-only gate (MY-CH-ID)
Robert Allan James and Claude Sonnet 5
2026-09-03 12:09:29 -04:00
7d53344875
§H.12 step 19: ZUSE-ELIGIBILITY-ADD word, no gating (corrected mid-step)
Robert Allan James and Claude Sonnet 5
2026-09-03 11:38:07 -04:00
f4615cf605
§H.12 step 18: zuse_eligibility.c -- read/add/membership-check
Robert Allan James and Claude Sonnet 5
2026-09-03 11:24:24 -04:00
21ad5f7373
§H.12 step 17: zuse_eligibility_list.h -- eligibility-list record format
Robert Allan James and Claude Sonnet 5
2026-09-03 11:12:37 -04:00
46d89dd5be
§H.12 step 16: block-acl.4th policy capsule -- Phase 5 (BMAPFMT) complete
Robert Allan James and Claude Opus 5
2026-09-03 07:44:28 -04:00
405c713c4a
§H.12 step 15: FORTH wrappers for BMAPFMT block-ACL fields
Robert Allan James and Claude Opus 5
2026-09-03 07:36:57 -04:00
15e6836ca3
§H.12 step 14: C accessors for BMAPFMT block-ACL fields
Robert Allan James and Claude Opus 5
2026-09-03 07:29:01 -04:00
c19cc07ee3
§H.12 step 13: blk_meta_t flags bit constants
Robert Allan James and Claude Opus 5
2026-09-03 07:23:27 -04:00
edd7effb5a
§H.12 step 12: BMAPFMT field layout in blk_meta_t
Robert Allan James and Claude Opus 5
2026-09-03 07:18:41 -04:00
a268abe925
§H.12 steps 10-11: creator-ceiling enforcement, birth-time ACL snapshot
Robert Allan James and Claude Opus 5
2026-09-03 06:44:58 -04:00
ed86a759e1
§H.12 steps 7-9: thread real parent VMUuid through the birth call chain
Robert Allan James and Claude Opus 5
2026-09-03 06:38:32 -04:00
09998af999
§H.12 steps 5-6: pin Hera/Hermes/Artemis in generic capsule-birth admission
Robert Allan James and Claude Opus 5
2026-09-03 06:26:50 -04:00
67793ea4a1
§H.12 step 4: Hera registers as session zero; punch list to checkboxes
Robert Allan James and Claude Opus 5
2026-09-03 06:15:53 -04:00
a621131ef6
§H.12 step 3: session_set_pinned/session_is_pinned pin-authority choke point
Robert Allan James and Claude Opus 5
2026-09-03 06:10:11 -04:00
6d9fe3f515
§H.12 step 2: session-slot table, session_find/session_register
Robert Allan James and Claude Opus 5
2026-09-03 06:03:14 -04:00
668e36bb17
§H.12 step 1: add Session struct (type only)
Robert Allan James and Claude Opus 5
2026-09-03 05:57:01 -04:00
4cd18734ee
FABRIC-3.md §H.12: 22-item implementation punch list
Robert Allan James and Claude Opus 5
2026-09-03 05:50:00 -04:00
89d814f9f3
FABRIC-3.md §H: close all three remaining design gaps
Robert Allan James and Claude Opus 5
2026-09-03 05:43:22 -04:00
d86b6de9cd
FABRIC-3.md §H.11: refreshed gap analysis, end of session
Robert Allan James and Claude Opus 5
2026-09-02 19:04:48 -04:00
91dfb0a079
FABRIC-3.md §H: close gap #8 -- EXPIRE/D.2 relationship reconciled
Robert Allan James and Claude Opus 5
2026-09-02 19:00:32 -04:00
26b91f1ca4
FABRIC-3.md §H: close gap #7 -- private-topic traffic stays ungated
Robert Allan James and Claude Opus 5
2026-09-02 18:57:06 -04:00
b15339ca1f
FABRIC-3.md §H: close gap #6 -- CH is the topic, and H.7/H.8 are real code
Robert Allan James and Claude Opus 5
2026-09-02 18:55:09 -04:00
33286cb3a2
FABRIC-3.md §H: close gap #3 -- word card IS the existing ACL system
Robert Allan James and Claude Opus 5
2026-09-02 18:52:32 -04:00
fdecb91908
FABRIC-3.md §H: close gap #2 -- parent/name session fields confirmed
Robert Allan James and Claude Opus 5
2026-09-02 18:50:23 -04:00
de513483e3
FABRIC-3.md §H: close gap #1 -- non-pinned session mapping
Robert Allan James and Claude Opus 5
2026-09-02 18:48:25 -04:00
197ff03963
FABRIC-3.md: BMAPFMT gets FORTH wrappers, design fully closed
Robert Allan James and Claude Opus 5
2026-09-02 18:36:52 -04:00
ce1618dcd8
FABRIC-3.md: BMAPFMT flags bit values decided -- CLAIMED/MIGRATING/STALE
Robert Allan James and Claude Opus 5
2026-09-02 18:29:05 -04:00
a05e6d60ba
FABRIC-3.md: BMAPFMT gets a TTL -- blocks support temporary elevation too
Robert Allan James and Claude Opus 5
2026-09-02 18:26:27 -04:00
316de60671
FABRIC-3.md §H.10: close pin-authority choke point -- session owns both directions
Robert Allan James and Claude Opus 5
2026-09-02 18:22:43 -04:00
a93d4fa2cd
FABRIC-3.md §H.10: verify dictionaries are per-VM, not shared
Robert Allan James and Claude Opus 5
2026-09-02 18:20:13 -04:00
ba97623349
FABRIC-3.md §H: close gap #4 -- temporary Zuse elevation trigger decided
Robert Allan James and Claude Opus 5
2026-09-02 18:15:44 -04:00
1349e783aa
FABRIC-3.md §H: session refactor capture -- struct shape + identity/ACL cards
Robert Allan James and Claude Opus 5
2026-09-02 18:08:35 -04:00
f81e9c92bc
Fix framebuffer console: scroll drift causes progressive line overlap in TTF mode
Robert Allan James and Claude Opus 5
2026-09-02 17:25:06 -04:00
c14324f498
Fix framebuffer console: idle heartbeat corrupts in-progress input line
Robert Allan James and Claude Opus 5
2026-09-02 17:12:21 -04:00
daf9021ea5
Initial commit
Robert Allan James
2026-09-01 12:09:20 -04:00
58c59e87e5
Initial commit
Robert Allan James
2026-09-01 12:07:32 -04:00
d2a0305703
Record driving deadlines for #1 (provisional expiry) and #2 (December deliverable)
Robert Allan James
2026-08-29 10:36:19 -04:00
31dfc5de63
Record IP framing of the three products: 3 patent applications + 3 marks (StarForth, StarshipOS/LithosAnanke, Compudynamics)
Robert Allan James
2026-08-29 10:32:04 -04:00
936d046ca6
Record the FPGA three-product split: Hosted StarForth / full StarshipOS / HOL-proven sealed-execution hardware
Robert Allan James
2026-08-29 10:30:09 -04:00
8e94522d10
Record trajectory beyond v2.5.0: Zynq FPGA next, after a "coloring in" hardening phase
Robert Allan James
2026-08-29 10:28:22 -04:00
25276ae359
Decide board-by-board hardware rollout: v2.2.0 (SER5 amd64) / v2.4.0 (RasPi5 aarch64) / v2.5.0 (all three)
Robert Allan James
2026-08-29 10:22:36 -04:00
28de700645
v2.0.1: G.4 amd64 RDRAND backend behind rng_get_bytes() (SER5 entropy)
Robert Allan James
2026-08-29 10:18:07 -04:00
19bc90c97d
v2.0.1: document G.6 generic thumbdrive image milestone in FABRIC-3.md
Robert Allan James
2026-08-29 10:12:58 -04:00
bd266942ce
v2.0.1: generic GPT/FAT32 UEFI bootable thumbdrive image (thumbdrive goal)
Robert Allan James
2026-08-29 10:12:43 -04:00
2efd7fe7e7
v2.0.0: QEMU release — bump LITHOS_VERSION to 2.0.0
Robert Allan James
2026-08-29 10:09:37 -04:00
09857b7228
G.2 (v2.0.0): unified rng_get_bytes() entropy entry point; virtio-rng sole backend
Robert Allan James
2026-08-29 09:57:17 -04:00
aee1ecaa8f
G.4 (2h): fix dangling §G.4 reference in G.1 follow-up note
Robert Allan James
2026-08-29 09:50:06 -04:00
dc2f38a1e1
G.4 (2h): bounded xHCI event-ring drain fixes boot-attach livelock
Robert Allan James
2026-08-29 09:48:48 -04:00
49a3faa331
G.1: xHCI bulk-endpoint stall recovery (per F.14), built + verified
Robert Allan James
2026-08-29 00:58:59 -04:00
5689c397fc
Bug-fix sweep: repl reentrancy, virtio/blocksys bounds, identity CRCs, LOG_LINE_MAX
Robert Allan James
2026-08-28 23:28:10 -04:00
