Files

T

Robert Allan JamesandClaude Opus 5.5 1166713cc9 Stage K-4: quota slots released to the best donor; message cells out of the admission fallback (FABRIC-3.10.8 §4.4)

- stadium_release_quota(): evict every patron but pending messages, mark
  the slot retiring; stadium_retire_sweep() releases a retiring slot once
  nothing is resident -- free cells to the best donor (ruled), word row
  and block-table entries cleared, slot free for reuse. Swept at release
  and after evictions while any slot is retiring.
- Called on KILL and reap, and for the nine synthetic self-test ids after
  the boot self-tests. Hera's slot never released.
- Admission fallback skips DELIVER (message) cells.
- Probe (removed): slots in use == live VMs after boot and after 56-64
  churned VMs on all three ISAs; forced fallback kept the message cell
  resident and intact; conserved everywhere; K-1's post-churn Hermes
  refusal gone (1 2 + . -> 3 on the churned system). Heap growth per
  28-VM churn halved (~3.4 KB/VM still retained -- open as K-8).
- Standard sequence on amd64/aarch64/riscv64: hash, G, ledger unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-09-26 05:44:33 -04:00

bootstrap

Initial commit — LithosAnanke kernel

2026-08-01 07:49:56 -04:00

arena.h

Stage 1: per-VM native stacks, allocated but not yet executed on (FABRIC-3.md §XXVIII)

2026-09-13 14:30:46 -04:00

kernel_hermes.h

Stage M-B: autonomous events -- EV-DONE / EV-BORN / EV-DIED published by the kernel itself (FABRIC-3.9.0 §7.3, M-3..M-6)

2026-09-24 21:12:51 -04:00

parity.h

Stage S-1a: parity hashing covers the whole dictionary; failures are logged, counted and marked INCOMPLETE (FABRIC-3.9.0 §8.1)

2026-09-24 12:51:34 -04:00

README.md

Initial commit — LithosAnanke kernel

2026-08-01 07:49:56 -04:00

stadium_blocks.h

Stage K-4: quota slots released to the best donor; message cells out of the admission fallback (FABRIC-3.10.8 §4.4)

2026-09-26 05:44:33 -04:00

stadium_words.h

Stage K-4: quota slots released to the best donor; message cells out of the admission fallback (FABRIC-3.10.8 §4.4)

2026-09-26 05:44:33 -04:00

stadium.h

Stage K-4: quota slots released to the best donor; message cells out of the admission fallback (FABRIC-3.10.8 §4.4)

2026-09-26 05:44:33 -04:00

switch.h

Stage O-B: Hera drains her own mail at the idle point, not on the ~1 s idle beat (FABRIC-3.9.0 §2.5)

2026-09-24 22:33:33 -04:00

vm_frame.h

FABRIC-3.8.md Stage FR: VM frame stacks, each frame with an ID

2026-09-23 15:47:07 -04:00

README.md

include/starkernel/vm/

Headers for the kernel-side VM subsystem (src/starkernel/vm/).

arena.h — the capsule arena allocator: fixed-region allocation for capsule payload data, separate from kmalloc's general kernel heap.
parity.h — the birth/execution parity-record logger: declares the logging interface used to record VM ID, capsule content hash, and dictionary hash on every capsule birth, enabling offline determinism verification across independent kernel runs.

See include/starkernel/vm/bootstrap/README.md for the VM bootstrap subsystem.