This website requires JavaScript.
4891fd0067
FABRIC-2.md: drop GPT partitioning for home-blocks USB drive, whole-device layout instead
Robert Allan James and Claude Sonnet 5
2026-08-25 15:00:49 -04:00
8eaefeb9ee
sk_repl_idle() auto-flush: implement Section V's "anything dirty? no? done" check
Robert Allan James and Claude Sonnet 5
2026-08-25 14:51:02 -04:00
1b80609cb0
FABRIC-2.md: correct glibc misattribution in 2h hot-detach writeup
Robert Allan James and Claude Sonnet 5
2026-08-25 14:16:12 -04:00
af267a52a6
Artemis Milestone 2h: hot-detach -- 2h complete
Robert Allan James and Claude Sonnet 5
2026-08-25 14:10:05 -04:00
3b085dd875
Artemis Milestone 2h: blkio_usb.c backend -- USB thumb drive is now a real block device
Robert Allan James and Claude Sonnet 5
2026-08-25 12:55:53 -04:00
d686f28853
Artemis Milestone 2h (foundational): sync wait bridge + SCSI READ CAPACITY(10)
Robert Allan James and Claude Sonnet 5
2026-08-25 12:27:57 -04:00
65effbd1ba
Artemis Milestone 2g: TEST UNIT READY unit-init sequence -- READ(10) now PASSes
Robert Allan James and Claude Sonnet 5
2026-08-25 11:46:55 -04:00
c54ea24aaf
Artemis Milestone 2g: Data-In stage read and CSW receive/validation
Robert Allan James and Claude Sonnet 5
2026-08-25 09:33:17 -04:00
a88c004ecb
Artemis Milestone 2g: CBW construction and send for SCSI READ(10)
Robert Allan James and Claude Sonnet 5
2026-08-25 09:07:33 -04:00
92ce1f85dd
Artemis Milestone 2g: Configure Endpoint command
Robert Allan James and Claude Sonnet 5
2026-08-25 08:40:35 -04:00
96d55fcd87
Artemis Milestone 2g (partial): bulk endpoint discovery + 2e disconnect teardown
Robert Allan James and Claude Sonnet 5
2026-08-25 08:17:50 -04:00
b4bbd043d0
Artemis Milestone 2f: SET_CONFIGURATION -- 2f complete
Robert Allan James and Claude Sonnet 5
2026-08-25 07:40:16 -04:00
b9c540a78b
Artemis Milestone 2f: Configuration descriptor read + Mass Storage/BOT class confirmation
Robert Allan James and Claude Sonnet 5
2026-08-25 07:27:07 -04:00
2c34e45d05
Artemis Milestone 2f: EP0 control transfer, device descriptor request
Robert Allan James and Claude Sonnet 5
2026-08-22 12:59:49 -04:00
2e7e957680
Milestone 6 (ACL/PKI): Ed25519 verify + SHA-512, built from scratch
Robert Allan James and Claude Sonnet 5
2026-08-22 12:41:26 -04:00
2b7743027c
Artemis Milestone 2e: Address Device implemented, worked first try, 3-arch
Robert Allan James and Claude Sonnet 5
2026-08-22 11:44:15 -04:00
6d330efdd8
Artemis Milestone 2e: real connect drives Enable Slot, slot ID correlated
Robert Allan James and Claude Sonnet 5
2026-08-22 10:33:37 -04:00
dd043bbfeb
Artemis Milestone 2e: PORTSC connect/disconnect detection, verified live
Robert Allan James and Claude Sonnet 5
2026-08-22 10:11:47 -04:00
bb84eba7e3
Artemis Milestone 2e: virtual USB thumb-drive hotplug test + block-layout decisions
Robert Allan James and Claude Sonnet 5
2026-08-22 09:49:15 -04:00
9c8ad8f6ff
Artemis Milestone 2e (in progress): xHCI Command Ring write path proven live
Robert Allan James and Claude Sonnet 5
2026-08-22 09:37:55 -04:00
2b16daba16
Artemis Milestone 2d: xHCI Event Ring servicing, polled not interrupt-driven
Robert Allan James and Claude Sonnet 5
2026-08-22 09:25:25 -04:00
c2f1d94c97
Artemis Milestone 2c: xHCI controller bring-up wired, DoE CSV export off by default
Robert Allan James and Claude Sonnet 5
2026-08-22 08:33:35 -04:00
5970c54912
Artemis Milestone 2b complete: xHCI PCI discovery and BAR0 mapping
Robert Allan James and Claude Sonnet 5
2026-08-22 07:58:27 -04:00
94345c24b7
Artemis Milestone 2a complete: xHCI register header, PCI ID confirmed live via QMP, ring sizing decided
Robert Allan James and Claude Sonnet 5
2026-08-22 07:53:16 -04:00
7c6bdb6849
FABRIC-2.md Section X: fix Milestone 2's sub-item labels 3a-3h -> 2a-2h
Robert Allan James and Claude Sonnet 5
2026-08-22 07:49:54 -04:00
3d91015659
Artemis Milestone 1 complete: QMP socket added to all three QEMU launch targets, three-arch verified
Robert Allan James and Claude Sonnet 5
2026-08-22 07:48:52 -04:00
0008f19bbb
FABRIC-2.md Sections U/W/X: renumber milestones to match actual execution order, physically reordered in the file
Robert Allan James and Claude Sonnet 5
2026-08-22 07:32:57 -04:00
ef83ba46c8
FABRIC-2.md Sections U/X: correct the snakeoil-cert chain -- one continuous chain, not two parallel paths; resolves Milestone 7's bootstrapping question precisely, not just for dev/test
Robert Allan James and Claude Sonnet 5
2026-08-22 07:25:31 -04:00
d42a81961c
FABRIC-2.md Section U fourth addendum: user-role tiers, and snakeoil cert resolves Milestone 7's bootstrapping question for dev/test builds
Robert Allan James and Claude Sonnet 5
2026-08-22 07:21:42 -04:00
d33b68b2d5
FABRIC-2.md Sections W/X: correct execution order -- validate Artemis in QEMU first, defer real-hardware USB boot to last; add UEFI-only boot-path constraint
Robert Allan James and Claude Sonnet 5
2026-08-22 07:15:05 -04:00
1a6b164fdc
FABRIC-2.md Section X: Artemis punch list -- deep, function-level task breakdown across all 9 milestones, no code written
Robert Allan James and Claude Sonnet 5
2026-08-22 07:09:36 -04:00
ec78b28f11
FABRIC-2.md Section W: Artemis concept board -- consolidated vision in one place, pulling together Sections U and V
Robert Allan James and Claude Sonnet 5
2026-08-22 07:05:57 -04:00
15640988f7
FABRIC-2.md Section V: complete gap analysis of the Artemis home- blocks/thumbdrive/PKI subsystem against the actual codebase
Robert Allan James and Claude Sonnet 5
2026-08-22 06:58:42 -04:00
e3df22a5af
FABRIC-2.md Section U third addendum: contributor capsule directory, sequencing, and spitballed trust-tier ideas -- still brainstorming, nothing implemented
Robert Allan James and Claude Sonnet 5
2026-08-22 06:43:11 -04:00
7b263f3872
FABRIC-2.md Section U second addendum: kernel/capsule signing design, extending items 7-8 -- still brainstorming, nothing implemented
Robert Allan James and Claude Sonnet 5
2026-08-22 06:38:16 -04:00
21168f99da
FABRIC-2.md Section U addendum: foreign-drive protection, zuse one-way burn, console/VM key-match attachment -- still brainstorming, nothing implemented
Robert Allan James and Claude Sonnet 5
2026-08-22 06:30:43 -04:00
afe64ba537
FABRIC-2.md Section U: Artemis USB thumb-drive / home-blocks design direction notes -- brainstorming only, nothing implemented
Robert Allan James and Claude Sonnet 5
2026-08-22 06:20:35 -04:00
f2e3bb1a90
ACL-TTL overhead: full 36-cell campaign complete (6 seeds), FABRIC-2.md Section T -- +0.0603%, final accepted figure
Robert Allan James and Claude Sonnet 5
2026-08-21 23:46:02 -04:00
392561e7de
ACL-TTL tick campaign extension checkpoint: 34/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 23:35:50 -04:00
a52fcf0367
ACL-TTL tick campaign extension checkpoint: 32/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 23:24:13 -04:00
db05f29e49
ACL-TTL tick campaign extension checkpoint: 30/36 cells (5/6)
Robert Allan James and Claude Sonnet 5
2026-08-21 23:12:27 -04:00
ef74e45a3b
ACL-TTL tick campaign extension checkpoint: 28/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 23:00:02 -04:00
2be3c8c68e
ACL-TTL tick campaign extension checkpoint: 26/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 22:48:14 -04:00
a5cd1b76c8
ACL-TTL tick campaign extension checkpoint: 24/36 cells (2/3 done)
Robert Allan James and Claude Sonnet 5
2026-08-21 22:35:17 -04:00
f8693d50be
ACL-TTL tick campaign extension checkpoint: 21/36 cells (3 new seeds)
Robert Allan James and Claude Sonnet 5
2026-08-21 22:18:19 -04:00
e9d5353b6e
ACL-TTL overhead: full 18-cell campaign complete, FABRIC-2.md Section S -- +0.0604% mean, architecture-independent, fully deterministic
Robert Allan James and Claude Sonnet 5
2026-08-21 15:06:36 -04:00
0f0f28e784
ACL-TTL tick campaign checkpoint: 17/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 15:00:32 -04:00
e12705983c
ACL-TTL tick campaign checkpoint: 15/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:48:46 -04:00
436633a731
ACL-TTL tick campaign checkpoint: 13/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:37:05 -04:00
9c6f6ec57c
ACL-TTL tick campaign checkpoint: 11/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:27:44 -04:00
3b16c48ff9
ACL-TTL tick campaign checkpoint: 9/18 cells (halfway)
Robert Allan James and Claude Sonnet 5
2026-08-21 14:15:57 -04:00
c1622aaba8
ACL-TTL tick campaign checkpoint: 7/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:01:11 -04:00
d90f28b9da
ACL-TTL tick campaign checkpoint: 4/18 cells (zuse-authenticated, real enforcement)
Robert Allan James and Claude Sonnet 5
2026-08-21 13:44:04 -04:00
70c259dad0
Revert HEARTBEAT-TICKS@ to vm->heartbeat.tick_count; FABRIC-2.md Section R: find and fix the real ACL-TTL measurement bug (zuse session never authenticated, ACL enforcement never active)
Robert Allan James and Claude Sonnet 5
2026-08-21 11:22:56 -04:00
4076a01c35
Fix HEARTBEAT-TICKS@: read heartbeat_ticks() (ISR hardware timer), not vm->heartbeat.tick_count (FORTH-dispatch counter)
Robert Allan James and Claude Sonnet 5
2026-08-21 09:33:17 -04:00
3998ce6aaf
FABRIC-2.md Section Q: heartbeat-tick ACL-TTL remeasurement finds the instrument blind to the effect, not a corrected number
Robert Allan James and Claude Sonnet 5
2026-08-20 23:28:05 -04:00
a7a837e136
Add three-arch acceptance boot logs for HEARTBEAT-TICKS@
Robert Allan James and Claude Sonnet 5
2026-08-20 23:10:46 -04:00
0b11f92102
Add HEARTBEAT-TICKS@: read-only heartbeat tick counter accessor
Robert Allan James and Claude Sonnet 5
2026-08-20 23:10:38 -04:00
6e7323b3b8
ACL-TTL overhead: paired 18-cell measurement complete, FABRIC-2.md Section P
Robert Allan James and Claude Sonnet 5
2026-08-20 19:41:55 -04:00
6a71f503a4
Checkpoint: paired ACL-TTL overhead measurement, 15/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-20 19:21:35 -04:00
becae2a763
Checkpoint: paired ACL-TTL overhead measurement, 12/18 cells (2/3)
Robert Allan James and Claude Sonnet 5
2026-08-20 19:03:37 -04:00
1880e78a1a
Checkpoint: paired ACL-TTL overhead measurement, 9/18 cells (halfway)
Robert Allan James and Claude Sonnet 5
2026-08-20 18:48:25 -04:00
e7b7f45d60
Checkpoint: paired ACL-TTL overhead measurement, 6/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-20 18:27:01 -04:00
f0b0c6d683
Checkpoint: paired ACL-TTL overhead measurement, 3/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-20 18:02:59 -04:00
900fa71d3a
FABRIC-2.md: record the corrected-shuffle campaign/report, and a real ACL-RWT naming/dead-code finding found while scoping the next step
Robert Allan James and Claude Sonnet 5
2026-08-20 13:24:51 -04:00
cf5b08fb65
Stadium relaunch: full 127-page deep-dive report -- per-cell, per-ISA, every factor interaction, and a raw-data appendix
Robert Allan James and Claude Sonnet 5
2026-08-20 13:10:01 -04:00
dbe4b671a1
Re-run ACL-RWT relaunch campaign against the fixed SWAP-MTX shuffle
Robert Allan James and Claude Sonnet 5
2026-08-20 12:08:48 -04:00
7e2fd9f044
Fix SWAP-MTX: Fisher-Yates shuffle was never actually shuffling correctly
Robert Allan James and Claude Sonnet 5
2026-08-20 10:56:12 -04:00
79d160c1ca
FABRIC-2.md: ACL-RWT-style 3x3 Latin square re-run on Stadium substrate (item 5.1/F.3)
Robert Allan James and Claude Sonnet 5
2026-08-20 09:16:18 -04:00
ea5d2c7ceb
FABRIC-2.md: riscv64 re-verified 30/30 PASS for item 4.6's Artemis stress campaign
Robert Allan James and Claude Sonnet 5
2026-08-19 11:26:23 -04:00
eaf3f8c9ae
FABRIC-2.md: F.3 punch list -- rule to wait for Artemis before DoE/ACL-RWT re-measurement
Robert Allan James and Claude Sonnet 5
2026-08-19 09:39:17 -04:00
413b5a9bbf
Verify turtle.4th rendering live, revert overdue ART-STRESS-CAMPAIGN disable
Robert Allan James and Claude Sonnet 5
2026-08-19 07:57:43 -04:00
d1547ecdae
Add capsules/sdk.4th: SDK v1.9.0 vocabulary + FENCE over the cookbook capsules
Robert Allan James and Claude Sonnet 5
2026-08-19 06:10:51 -04:00
4e7dcdf889
Add FENCE word (SDK v1.9.0 scoping); fix severe pre-existing FORGET use-after-free
Robert Allan James and Claude Sonnet 5
2026-08-19 05:57:18 -04:00
6d8b48f100
FABRIC-2.md: SDK v1.9.0 scoping ruling -- FENCE already exists, VOCABULARY already exists
Robert Allan James and Claude Sonnet 5
2026-08-19 05:26:48 -04:00
d0a76420a5
Add DoE library HOWTO (cookbook entry 2), flag stale L8-DOE claims in bare_metal/README.md
Robert Allan James and Claude Sonnet 5
2026-08-19 05:11:12 -04:00
e40134da0d
Add capsules/turtle.4th, a limited LOGO-style turtle graphics demo capsule
Robert Allan James and Claude Sonnet 5
2026-08-19 01:50:54 -04:00
abb858a300
Add POST coverage for physics-freeze words (Module 27), fix two real bugs found in the process
Robert Allan James and Claude Sonnet 5
2026-08-19 00:12:09 -04:00
825ab078f1
POST coverage cluster 3/4: inference-engine accessors (proof-covered, previously untested)
Robert Allan James and Claude Sonnet 5
2026-08-18 23:34:59 -04:00
7100523656
POST coverage cluster 2/4: Q48.16 math primitives (proof-covered, previously untested)
Robert Allan James and Claude Sonnet 5
2026-08-18 23:30:46 -04:00
b2918fd0b2
POST coverage cluster 1/4: ACL accessors (proof-covered, previously untested)
Robert Allan James and Claude Sonnet 5
2026-08-18 23:15:32 -04:00
e535346504
FABRIC-2.md: record verified clean Isabelle/HOL rebuild (52 theories, genuinely green)
Robert Allan James and Claude Sonnet 5
2026-08-18 22:50:03 -04:00
1a2ec565e8
Zero C-compiler warnings on all three architectures; fix real restore_vm_state() bug
Robert Allan James and Claude Sonnet 5
2026-08-18 22:31:57 -04:00
bf59c4916e
Fix systemic -Wmissing-field-initializers across src/test_runner/modules/ (3010 -> 0)
Robert Allan James and Claude Sonnet 5
2026-08-18 21:43:30 -04:00
4270cf23f1
docs: fix stale proof-suite claims in FABRIC-2.md; correct docs/CLAUDE.md's Makefile pointer
Robert Allan James and Claude Sonnet 5
2026-08-18 21:05:21 -04:00
5b248343b0
FABRIC-2.md: record item 4.6's effort number, per §10
Robert Allan James and Claude Sonnet 5
2026-08-18 20:42:21 -04:00
719cf811f4
FABRIC-2.md: close item 4.6, pointing to Section H's full writeup
Robert Allan James and Claude Sonnet 5
2026-08-18 20:36:00 -04:00
316fa93842
FABRIC-2.md: fix stale §12 Q5 tracking — checkbox and punch-list drift
Robert Allan James and Claude Sonnet 5
2026-08-18 20:31:53 -04:00
60907503f9
docs: record item 4.6 fix, aarch64 BYE crash fix, and DoE campaign in CHANGELOG/ROADMAP
Robert Allan James and Claude Sonnet 5
2026-08-18 20:27:05 -04:00
efcc2d8c90
Full three-arch DoE campaign, post-fix — amd64/aarch64/riscv64 all clean
Robert Allan James and Claude Sonnet 5
2026-08-18 20:24:53 -04:00
020005cad3
Regression-check amd64 and riscv64 after aarch64 SMC->HVC fix
Robert Allan James and Claude Sonnet 5
2026-08-18 19:26:08 -04:00
b24a5a6e25
aarch64: fix BYE cold-restart crash — PSCI SYSTEM_RESET via HVC, not SMC
Robert Allan James and Claude Sonnet 5
2026-08-18 18:24:26 -04:00
bc31916461
aarch64 BYE crash: add heap-address diagnostics, rule out gdb debugging on this target
Robert Allan James and Claude Sonnet 5
2026-08-18 17:06:58 -04:00
8d90538801
item 4.6: fix Stadium quota-grant ordering; fix aarch64 PSCI SYSTEM_RESET function ID
Robert Allan James and Claude Sonnet 5
2026-08-18 14:53:18 -04:00
48ab9945de
FABRIC-2.md: rule item 4.6 (Artemis) admission-on-allocate before implementation
Robert Allan James and Claude Sonnet 5
2026-08-18 07:45:44 -04:00
89d8c08582
stadium: wire STADIUM_CAPACITY_TICK in as a flat threshold, not a scheduler
Robert Allan James and Claude Sonnet 5
2026-08-15 09:37:58 -04:00
c5442c8377
docs: mark TRIPOD/HERMES/ARTEMIS/CONSOLE.md superseded by FABRIC.md/FABRIC-2.md
Robert Allan James and Claude Sonnet 5
2026-08-15 09:26:59 -04:00
00e657019e
stadium: make VM population bound RAM-derived, not a static array of 4
Robert Allan James and Claude Sonnet 5
2026-08-15 08:11:21 -04:00
154eddeab0
FABRIC-2.md: correct §12 Q5's STADIUM_CAPACITY_TICK framing to stay inside the one-clock rule
Robert Allan James and Claude Sonnet 5
2026-08-15 07:53:38 -04:00
3361f83e14
FABRIC-2.md: split Section F triage into documentation and code/action tracks
Robert Allan James and Claude Sonnet 5
2026-08-15 07:38:18 -04:00
