This website requires JavaScript.
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
8ad9ac52aa
Add three-arch Artemis stress campaign serial logs (audit artifacts)
Robert Allan James and Claude Opus 5
2026-08-02 21:52:35 -04:00
7597a9ccd4
Add Artemis compudynamics implementation plan; add stress campaign fixture
Robert Allan James and Claude Opus 5
2026-08-02 21:49:16 -04:00
1cb68502fb
Add Artemis stress test for detecting cache aliasing bugs. Include statistical hypothesis evaluations, fix validation data, and run reports for validation across architectures.
Robert Allan James
2026-08-02 14:49:52 -04:00
148c4aa12c
Fix silent disk overwrite of unrecognized Artemis disks
Robert Allan James and Claude Sonnet 5
2026-08-02 11:44:23 -04:00
cc6c8c43f3
Fix ABORT to actually unwind to QUIT instead of one level
Robert Allan James and Claude Sonnet 5
2026-08-02 10:07:18 -04:00
3d9664d176
Update ARTEMIS.md build status to match reality
Robert Allan James and Claude Sonnet 5
2026-08-02 09:15:16 -04:00
1c1097ec40
Fix Artemis persist-read: reformat corrupted disk/artemis.img
Robert Allan James and Claude Sonnet 5
2026-08-02 09:11:07 -04:00
1e2dc7fbf0
Close punch-list item #4 : amd64 dict_hash non-determinism does not reproduce
Robert Allan James and Claude Sonnet 5
2026-08-02 08:05:28 -04:00
d922e152aa
Add riscv64-clang Makefile target; closes out 2026-07-24 punch list
Robert Allan James and Claude Sonnet 5
2026-08-02 07:43:01 -04:00
e287334216
Fix riscv64 asm register-reuse hazard in vm_pop_asm/vm_rpop_asm
Robert Allan James and Claude Sonnet 5
2026-08-02 07:30:27 -04:00
4485c3893b
Fix riscv64 hosted acceptance-test doc; port 3 clang-surfaced bugs from punch list
Robert Allan James and Claude Sonnet 5
2026-08-02 07:25:40 -04:00
0fa9bd730e
Document the riscv64 kernel stack trampoline fix
Robert Allan James and Claude Sonnet 5
2026-08-02 07:05:17 -04:00
757ce97dc1
Add riscv64 benchmark results to CSV output
Robert Allan James
2026-08-02 07:01:49 -04:00
736627510b
Fix riscv64 boot crash: add missing kernel stack trampoline
Robert Allan James and Claude Sonnet 5
2026-08-02 06:59:48 -04:00
a852db2209
misc
Robert Allan James
2026-08-02 05:11:24 -04:00
30c4de2f8b
Fix aarch64 lld-link resolution in Makefile.starkernel
Robert Allan James and Claude Sonnet 5
2026-08-01 15:53:34 -04:00
76226dbaa2
Bump LITHOS_VERSION to 1.5.4
Robert Allan James and Claude Sonnet 5
2026-08-01 15:51:53 -04:00
8ab51d9f07
Rewrite CLAUDE.md and README.md for post-split single-repo scope
Robert Allan James and Claude Sonnet 5
2026-08-01 15:48:10 -04:00
db8a3e0fd9
ci: use upload-artifact@v3 (v4 protocol unsupported on this Gitea version)
admin
2026-08-01 12:19:13 -04:00
2cafd02e29
ci: add Gitea Actions build workflow (amd64/aarch64 ISO, riscv64 disk image)
admin
2026-08-01 12:11:41 -04:00
a5ed8c3d87
Initial commit — LithosAnanke kernel
Robert Allan James
2026-08-01 07:49:56 -04:00
admin