This website requires JavaScript.
36965cf812
riscv64: explicit Bare-mode satp switch (item 4.3.5a)
Robert Allan James and Claude Sonnet 5
2026-08-08 11:07:29 -04:00
06283e5364
FABRIC.md: aarch64 keyboard punch list -- GIC-SPI derivation, no landmine
Robert Allan James and Claude Sonnet 5
2026-08-08 09:56:20 -04:00
e01c4e33e4
FABRIC.md: insert 4.3.5a -- riscv64 has no software-controlled paging
Robert Allan James and Claude Sonnet 5
2026-08-08 00:47:31 -04:00
6a97fa4c98
logs: add boot-run audit trail and DoE CSVs from item 4.3.5 work
Robert Allan James and Claude Sonnet 5
2026-08-08 00:18:58 -04:00
88eb73cfe8
starkernel: item 4.3.5 -- amd64 I/O APIC + i8042 keyboard, interrupt-driven
Robert Allan James and Claude Sonnet 5
2026-08-08 00:18:48 -04:00
78ff335b97
FABRIC.md: note sequencing -- keyboard, glyph rendering, REPL, then 4.4
Robert Allan James and Claude Sonnet 5
2026-08-07 22:59:04 -04:00
8fffd69347
FABRIC.md: scope 4.3.5-4.3.5e -- interrupt-driven keyboard input, per-ISA split
Robert Allan James and Claude Sonnet 5
2026-08-07 22:57:43 -04:00
7024e413f1
logs: add boot-run audit trail from multi-ISA framebuffer bring-up
Robert Allan James
2026-08-07 20:13:22 -04:00
e58381c121
fb/: untrack and gitignore -- throwaway local verification images
Robert Allan James
2026-08-07 20:13:17 -04:00
c16eaf431f
logs: add boot-run audit trail and DoE CSVs from item 4.3.4 work
Robert Allan James
2026-08-07 15:29:10 -04:00
fa300ef4c6
starkernel: item 4.3.4 -- checkpoint, draw a cube (no new bugs)
Robert Allan James
2026-08-07 15:29:04 -04:00
a3fe0702eb
logs: add boot-run audit trail and DoE CSVs from item 4.3.3b work
Robert Allan James
2026-08-07 15:21:13 -04:00
cb4326c712
starkernel: item 4.3.3b -- geometry drawing wordset, fixed Q.TO-INT sign bug
Robert Allan James
2026-08-07 15:20:58 -04:00
01822585f6
logs: add boot-run audit trail and DoE CSVs from item 4.3.3a work
Robert Allan James
2026-08-07 13:39:09 -04:00
36389e9d4a
starkernel: item 4.3.3a -- Q48.16 trigonometry (Q.SIN/Q.COS)
Robert Allan James
2026-08-07 13:39:05 -04:00
fd1c8ce386
fb/: split into per-ISA subdirectories (amd64/aarch64/riscv64)
Robert Allan James
2026-08-07 13:23:26 -04:00
938f5e87f9
logs: add boot-run audit trail and DoE CSVs from item 4.3.3 work
Robert Allan James
2026-08-07 13:21:02 -04:00
ef9806977a
starkernel: item 4.3.3 -- Cartesian coordinate machinery, found and fixed a VARIABLE alignment bug
Robert Allan James
2026-08-07 13:20:52 -04:00
fbf0625317
FABRIC.md: item 4.3.3 -- settle 45deg cavalier, split off 4.3.3a/4.3.3b
Robert Allan James
2026-08-07 11:48:50 -04:00
ab96ac0970
starkernel: item 4.3.1 -- framebuffer orientation test, found and fixed a real color-swap bug
Robert Allan James
2026-08-07 11:38:33 -04:00
f3acfb9b47
FABRIC.md: mark 4.3.x as an open-ended, appendable sublist
Robert Allan James
2026-08-07 10:35:17 -04:00
d4282eb87b
FABRIC.md: split 4.3.1 into 4.3.1-4.3.4, one task per checkbox
Robert Allan James
2026-08-07 10:33:13 -04:00
f3967fa596
FABRIC.md: item 4.3.1 -- console drawing-fabric groundwork spec (new §27)
Robert Allan James
2026-08-07 10:31:04 -04:00
8bf9480db5
FABRIC.md: item 4.3 -- console discussion held, scope 4.3.1 (framebuffer + coordinate fabric)
Robert Allan James
2026-08-07 10:27:46 -04:00
7ba7a126c9
logs: add boot-run audit trail and DoE CSVs from item 4.2 work
Robert Allan James and Claude Sonnet 5
2026-08-07 01:50:45 -04:00
5a28458b21
starkernel: item 4.2 -- Hermes native on the Stadium (complete)
Robert Allan James and Claude Sonnet 5
2026-08-07 01:49:23 -04:00
0a7f144367
amd64: fix GOT-indirect addressing bug in dictionary fast-path lookup
Robert Allan James and Claude Sonnet 5
2026-08-06 21:18:06 -04:00
56ad128e2e
word_source: add LSHIFT/RSHIFT bitwise-shift primitives
Robert Allan James and Claude Sonnet 5
2026-08-06 14:50:05 -04:00
11cd6c8574
FABRIC.md: item 4.2 -- fourth ruling, two more STADIUM-* primitives
Robert Allan James and Claude Sonnet 5
2026-08-05 15:59:05 -04:00
2981ada2a5
starkernel: item 4.1a -- quota granting, Hermes's one-time birth grant
Robert Allan James and Claude Sonnet 5
2026-08-05 15:12:30 -04:00
edfc246579
FABRIC.md: new prerequisite item 4.1a -- quota granting for Hermes's birth
Robert Allan James and Claude Sonnet 5
2026-08-05 14:49:36 -04:00
4b26be90c3
FABRIC.md: item 4.2 -- third ruling, VMUuid on VM struct (Option A)
Robert Allan James and Claude Sonnet 5
2026-08-05 14:28:24 -04:00
658459b564
FABRIC.md: rule and restate acceptance for item 4.2
Robert Allan James and Claude Sonnet 5
2026-08-05 14:11:56 -04:00
3d0b9351bd
starkernel: item 4.1 -- hot words onto the Stadium, density-ranked eviction
Robert Allan James and Claude Sonnet 5
2026-08-05 13:37:10 -04:00
bd92c57834
FABRIC.md: unblock and restate acceptance for item 4.1
Robert Allan James and Claude Sonnet 5
2026-08-05 11:29:12 -04:00
c0bbff21c9
FABRIC.md: correct §17.7's stadium_admit() cost claim -- free list already O(1)
Robert Allan James and Claude Sonnet 5
2026-08-05 11:18:22 -04:00
3d73b8e12a
FABRIC.md: close §17.7 -- reservoir-based O(1) word heat transfer, DECIDED
Robert Allan James and Claude Sonnet 5
2026-08-05 10:53:47 -04:00
abb1d92190
FABRIC.md: resolve four of five §17.7 questions -- Stadium heat already conserved
Robert Allan James and Claude Sonnet 5
2026-08-05 10:35:05 -04:00
6d3d6e5ea6
FABRIC.md: draft §17.7 -- word-level heat conservation, LEANING, blocks item 4.1
Robert Allan James and Claude Sonnet 5
2026-08-04 20:32:27 -04:00
9b305a5be7
starkernel: item 3.8 -- VM identifiers as UUID/GUID
Robert Allan James and Claude Sonnet 5
2026-08-04 19:50:34 -04:00
ec2c97ef70
FABRIC.md: resolve §17.3 -- words onto the Stadium, hosted/kernel split
Robert Allan James and Claude Sonnet 5
2026-08-04 18:13:54 -04:00
e55111c2c5
starkernel: item 3.7 -- per-VM free lists (Phase 3 core complete, for real)
Robert Allan James and Claude Sonnet 5
2026-08-04 18:09:34 -04:00
72487e7fff
starkernel: item 3.6 -- Hera as patron zero, pinned (Phase 3 core complete)
Robert Allan James and Claude Sonnet 5
2026-08-04 17:36:23 -04:00
f8a50561b0
starkernel: item 3.5 -- admission and eviction
Robert Allan James and Claude Sonnet 5
2026-08-04 17:28:38 -04:00
0b47c256fc
starkernel: item 3.4 -- density ranking
Robert Allan James and Claude Sonnet 5
2026-08-04 17:16:46 -04:00
378d688898
starkernel: item 3.3 -- behaviour enumeration and dispatch
Robert Allan James and Claude Sonnet 5
2026-08-04 17:06:14 -04:00
eb0fd4fffa
starkernel: item 3.2 -- Stadium boot-time allocation
Robert Allan James and Claude Sonnet 5
2026-08-04 16:48:13 -04:00
1b2f0677de
starkernel: item 3.1 reopened -- two Kconfig symbols items 1.1/1.4 deferred here
Robert Allan James and Claude Sonnet 5
2026-08-04 15:15:59 -04:00
6da9373e74
FABRIC.md: note-to-self on the fleet heat truncation leak before 5.1
Robert Allan James and Claude Sonnet 5
2026-08-04 14:59:08 -04:00
d55ec3241b
starkernel: item 3.1 -- the Stadium cell and header
Robert Allan James and Claude Sonnet 5
2026-08-04 14:55:30 -04:00
05c9eba360
FABRIC.md: log taxonomy/lexicon as reported-not-scheduled
Robert Allan James and Claude Sonnet 5
2026-08-04 14:38:35 -04:00
b0416794de
starkernel: item 2.2 complete -- bound the VM registry
Robert Allan James and Claude Sonnet 5
2026-08-04 13:54:22 -04:00
5572e5e429
WIP: item 2.2 -- bound the VM registry (not complete, do not check off)
Robert Allan James and Claude Sonnet 5
2026-08-04 13:30:06 -04:00
542d7dbf0d
starkernel: restate VM fleet heat transfer on the virtual tick
Robert Allan James and Claude Sonnet 5
2026-08-04 13:15:50 -04:00
f2eb877691
FABRIC.md: resolve items 1.8, 1.9, 1.10, 1.12
Robert Allan James and Claude Sonnet 5
2026-08-04 10:42:33 -04:00
4fd9420ecf
FABRIC.md: resolve item 1.7 -- VM-Stadium nesting depth is Kconfig-tunable, default 2
Robert Allan James and Claude Sonnet 5
2026-08-04 10:35:36 -04:00
015333e8b8
FABRIC.md: resolve item 1.6 -- a VM's mass is its allocated share
Robert Allan James and Claude Sonnet 5
2026-08-04 10:21:15 -04:00
729bfd8bda
FABRIC.md: resolve item 1.5 -- outer VM bound is 4, tunable, birth refused at cap
Robert Allan James and Claude Sonnet 5
2026-08-04 09:32:08 -04:00
69f71035be
FABRIC.md: resolve item 1.4 -- capacity-tick ratio is 1000:1
Robert Allan James and Claude Sonnet 5
2026-08-04 09:17:08 -04:00
e83b404f66
FABRIC.md: resolve item 1.3 -- capacity-transfer trigger is comparison, not threshold
Robert Allan James and Claude Sonnet 5
2026-08-04 08:16:04 -04:00
9f8bd2a13d
FABRIC.md: resolve item 1.2 -- resting floor is derived, not tuned
Robert Allan James and Claude Sonnet 5
2026-08-04 08:07:23 -04:00
f81a53cbf6
FABRIC.md: resolve item 1.1 -- containment, not a lock
Robert Allan James and Claude Sonnet 5
2026-08-04 08:02:52 -04:00
daf8f82f3b
Add boot log from RISC-V QEMU run (20260804-001614)
Robert Allan James
2026-08-04 07:28:30 -04:00
024f8a84b5
starkernel: Phase 0 acceptance -- three-arch boot + reproducibility (item 0.10)
Robert Allan James and Claude Sonnet 5
2026-08-04 00:21:23 -04:00
bfc0cb9bfd
starkernel: document the mutex stub's concurrency constraint (item 0.9)
Robert Allan James and Claude Sonnet 5
2026-08-04 00:12:56 -04:00
3699be964d
starkernel: converge the tick path and wire the adaptive heartbeat (item 0.8)
Robert Allan James and Claude Sonnet 5
2026-08-04 00:01:48 -04:00
da4cb14702
FABRIC.md §26: rule the physical heartbeat must be adaptive, not fixed-rate
Robert Allan James and Claude Sonnet 5
2026-08-03 23:04:09 -04:00
43aa0a2a36
aarch64: arm the ARM Generic Timer -- CNTP/CNTHP TVAL+CTL, per-tick re-arm
Robert Allan James and Claude Sonnet 5
2026-08-03 22:14:52 -04:00
cabb0e8bd4
aarch64: minimal GICv2 driver -- distributor, CPU interface, timer PPI
Robert Allan James and Claude Sonnet 5
2026-08-03 19:48:56 -04:00
8d8f3aaae2
aarch64: split irq_spx into a real save/dispatch/restore/ERET trampoline
Robert Allan James and Claude Sonnet 5
2026-08-03 18:47:29 -04:00
f43f3f4482
aarch64: detect exception level at runtime, cached accessor
Robert Allan James and Claude Sonnet 5
2026-08-03 18:30:25 -04:00
5784d8a1a8
riscv64: finish SBI timer verification and clean up stale timer docs
Robert Allan James and Claude Sonnet 5
2026-08-03 18:23:37 -04:00
accd79fc70
riscv64: integrate minimal flattened devicetree reader and switch timer to time CSR
Robert Allan James
2026-08-03 13:10:17 -04:00
f3821ed686
riscv64: real trap entry with save/restore and SRET return
Robert Allan James and Claude Opus 5
2026-08-03 12:52:34 -04:00
c3e4fc282c
capsules: prune init.4th to Hera alone
Robert Allan James and Claude Opus 5
2026-08-03 12:47:21 -04:00
39aa54b9a4
FABRIC.md: fix GAP-D1 through D3, close out §25.7.1
Robert Allan James and Claude Fable 5
2026-08-03 11:34:14 -04:00
9b61a3355e
FABRIC.md §25: fix GAP-C1 through C7 — punch item defects
Robert Allan James and Claude Fable 5
2026-08-03 11:33:04 -04:00
8ac284f8c1
FABRIC.md §25: GAP-B2 verified and fixed, GAP-B3 fixed — FP state and EL scope
Robert Allan James and Claude Fable 5
2026-08-03 11:31:26 -04:00
09d0067b65
FABRIC.md §25: GAP-B1 verified and fixed — no DTB access exists
Robert Allan James and Claude Fable 5
2026-08-03 11:30:38 -04:00
11c8678477
FABRIC.md: rule GAP-A1 — the engine tick is virtual
Robert Allan James and Claude Fable 5
2026-08-03 11:26:38 -04:00
e8f8b098ed
FABRIC.md §25.7.1: second review pass findings, awaiting rulings
Robert Allan James and Claude Fable 5
2026-08-03 11:21:15 -04:00
32f87d9e59
FABRIC.md §25: record why item 1.1 blocks item 3.1
Robert Allan James and Claude Opus 5
2026-08-03 11:10:43 -04:00
2d79ab5244
FABRIC.md §25: item 1.3 inherits §18.5's determinism constraint
Robert Allan James and Claude Opus 5
2026-08-03 11:10:02 -04:00
b8fb094dd2
FABRIC.md §25: item 2.2 rests on grounds bounding can actually deliver
Robert Allan James and Claude Opus 5
2026-08-03 11:09:45 -04:00
941fb778e2
FABRIC.md §25: item 2.1 acceptance now tests what 2.1 changes
Robert Allan James and Claude Opus 5
2026-08-03 11:09:16 -04:00
d7d9e274c8
FABRIC.md: sweep terminology to Stadium
Robert Allan James and Claude Opus 5
2026-08-03 11:06:13 -04:00
1f44f47e69
FABRIC.md §23.3: fix header arithmetic, and stop asserting an unsized cell
Robert Allan James and Claude Opus 5
2026-08-03 11:00:37 -04:00
a654e907e5
FABRIC.md §12: heading no longer overstates closure
Robert Allan James and Claude Opus 5
2026-08-03 10:59:07 -04:00
3a9dfae280
FABRIC.md §17.1: heading no longer undercounts patrons
Robert Allan James and Claude Opus 5
2026-08-03 10:58:43 -04:00
e44dc7830c
FABRIC.md §16.3: correct the DictEntry wire count against the struct
Robert Allan James and Claude Opus 5
2026-08-03 10:58:21 -04:00
fd820fc9eb
FABRIC.md §3: declare the closed two-valued cell union
Robert Allan James and Claude Opus 5
2026-08-03 10:57:42 -04:00
518334abef
FABRIC.md §22.3: free lists are per-VM, not shared
Robert Allan James and Claude Opus 5
2026-08-03 10:56:34 -04:00
055e944a73
FABRIC.md: correct §2 and §20.2 — fleet K is a real conservation law
Robert Allan James and Claude Opus 5
2026-08-03 10:56:03 -04:00
7fe0133d07
FABRIC.md — reconcile §1-24, add §25 punch list
Robert Allan James and Claude Opus 5
2026-08-03 10:27:49 -04:00
7c436351a0
FABRIC.md §23 — Q1 dissolved, Q2 sized
Robert Allan James and Claude Opus 5
2026-08-03 10:12:44 -04:00
d74872c222
FABRIC.md §22 — elasticity resolved: elastic, via quota over one cell pool
Robert Allan James and Claude Opus 5
2026-08-03 10:09:43 -04:00
421c1d7602
FABRIC.md §21 — Q6 resolved: nested
Robert Allan James and Claude Opus 5
2026-08-03 10:06:17 -04:00
1a5cd3fc74
FABRIC.md §20 — VMs are patrons
Robert Allan James and Claude Opus 5
2026-08-03 10:02:52 -04:00
85f59fca2e
FABRIC.md §19 — mass, density, and what K actually is
Robert Allan James and Claude Opus 5
2026-08-03 09:57:59 -04:00
8af19a545b
Add FABRIC.md — Stadium design, sections 1-18
Robert Allan James and Claude Opus 5
2026-08-03 09:45:05 -04:00
