This website requires JavaScript.
205a49ecd0
ACK/NACK and private-channel negotiation -- FABRIC-3.6.md task 3.6
Robert Allan James and Claude Sonnet 5
2026-09-22 07:25:51 -04:00
8a2ee0fdad
Payload bound and chunking -- FABRIC-3.6.md task 3.5
Robert Allan James and Claude Sonnet 5
2026-09-22 06:51:48 -04:00
2b1ba031a5
Drain at the outermost checkpoint -- FABRIC-3.6.md task 3.4
Robert Allan James and Claude Sonnet 5
2026-09-22 01:27:11 -04:00
1f6343bc03
Publish path, no dispatch -- FABRIC-3.6.md task 3.3
Robert Allan James and Claude Sonnet 5
2026-09-22 00:49:22 -04:00
a4afdfa591
Channel table + common channel, inert (B1) -- FABRIC-3.6.md task 3.2
Robert Allan James and Claude Sonnet 5
2026-09-22 00:25:13 -04:00
c19ef365fe
Dynamic switch table (B2) -- FABRIC-3.6.md task 3.1
Robert Allan James and Claude Sonnet 5
2026-09-21 23:59:50 -04:00
66ea4a5e74
Record task 3.0 rulings (FABRIC-3.5.md §XLVI); close FABRIC-3.6.md task 3.0
Robert Allan James and Claude Sonnet 5
2026-09-21 23:29:12 -04:00
f2f7111dff
Draft Phase 3 task breakdown (3.0-3.11), awaiting review -- FABRIC-3.6.md
Robert Allan James and Claude Sonnet 5
2026-09-21 10:49:10 -04:00
303b0c7edf
Record B1/B2/B4 rulings (FABRIC-3.5.md §XLV); clear Phase 3 blockers in FABRIC-3.6.md
Robert Allan James and Claude Sonnet 5
2026-09-21 08:55:21 -04:00
feace42397
Add diagnostic scan cross-check of the Hermes counters -- FABRIC-3.6.md task 2.8
Robert Allan James and Claude Sonnet 5
2026-09-21 08:46:07 -04:00
2a2bf6eb35
Stage B proof: add per-VM consumed term to stadium_conserved -- FABRIC-3.6.md task 2.7
Robert Allan James and Claude Sonnet 5
2026-09-20 21:31:45 -04:00
313ffc89e6
Add exact-equality Hermes ledger self-audit -- FABRIC-3.6.md task 2.6
Robert Allan James and Claude Sonnet 5
2026-09-20 21:02:27 -04:00
d11eb2e5db
Add sk_hermes_decay(), ledgering decay into consumed -- FABRIC-3.6.md task 2.5
Robert Allan James and Claude Sonnet 5
2026-09-20 18:48:46 -04:00
493d410028
Add the four ledger counters (held/pulled/returned/consumed) -- FABRIC-3.6.md task 2.4
Robert Allan James and Claude Sonnet 5
2026-09-20 05:59:09 -04:00
2c1dc1753a
Correct sk_hermes_alloc() to admit a real Stadium patron; add sk_hermes_release() -- FABRIC-3.6.md tasks 2.2 (amended) + 2.3
Robert Allan James and Claude Sonnet 5
2026-09-20 04:20:14 -04:00
9d129fdb1c
Add sk_hermes_alloc(), the heat-coupled allocator -- FABRIC-3.6.md task 2.2, item 28
Robert Allan James and Claude Sonnet 5
2026-09-19 21:00:20 -04:00
f10fa7ae83
Add kernel-Hermes message/membership structures -- FABRIC-3.6.md task 2.1, Phase 2 begins
Robert Allan James and Claude Sonnet 5
2026-09-19 20:48:24 -04:00
1e75bb8039
Assert Hestia's headless invariant -- FABRIC-3.6.md task 1.9, Phase 1 closed
Robert Allan James and Claude Sonnet 5
2026-09-19 17:46:32 -04:00
6c6293cd52
Move PLOT/FB-WIDTH/FB-HEIGHT registration to Hestia only -- FABRIC-3.6.md task 1.8
Robert Allan James and Claude Sonnet 5
2026-09-19 17:36:18 -04:00
5afb33049f
Move fabric.4th + font.4th to hestia/init.4th -- FABRIC-3.6.md tasks 1.6+1.7 (merged)
Robert Allan James and Claude Sonnet 5
2026-09-19 17:25:23 -04:00
487769e18a
Register Hestia for switch signals -- FABRIC-3.6.md task 1.5
Robert Allan James and Claude Sonnet 5
2026-09-19 17:07:19 -04:00
10e2d654e5
Birth Hestia in kernel_main.c -- FABRIC-3.6.md task 1.4
Robert Allan James and Claude Sonnet 5
2026-09-19 17:01:05 -04:00
ff00de9a63
Add Hestia to is_fleet_foundation -- FABRIC-3.6.md task 1.3
Robert Allan James and Claude Sonnet 5
2026-09-19 16:53:40 -04:00
4f7cbe78fc
Create capsules/hestia/init.4th -- FABRIC-3.6.md task 1.2
Robert Allan James and Claude Sonnet 5
2026-09-19 16:31:59 -04:00
b624133a28
capsules/MANIFEST.md: allocate Hestia's block range 4986-4996 -- FABRIC-3.6.md task 1.1
Robert Allan James and Claude Sonnet 5
2026-09-19 16:22:03 -04:00
eed2a9dfb5
FABRIC-3.6.md task 0.8: PLOT/FB-WIDTH/FB-HEIGHT reachability audit -- Phase 0 closed
Robert Allan James and Claude Sonnet 5
2026-09-19 14:04:50 -04:00
380f0a09c9
Add stadium_conserved() -- FABRIC-3.6.md task 0.7, item 41
Robert Allan James and Claude Sonnet 5
2026-09-19 13:56:14 -04:00
9886ad5315
tools/capsule-reserved.txt: return freed block ranges -- FABRIC-3.6.md task 0.6
Robert Allan James and Claude Sonnet 5
2026-09-19 13:45:01 -04:00
e233d09fa1
capsules/MANIFEST.md: correct blocks 4055 and 2049 -- FABRIC-3.6.md task 0.5
Robert Allan James and Claude Sonnet 5
2026-09-19 13:42:25 -04:00
bcc678e354
Strip SPAWN-EVENT from messaging.4th -- FABRIC-3.6.md task 0.4
Robert Allan James and Claude Sonnet 5
2026-09-19 13:39:06 -04:00
aafcce4320
Strip capsules/process.4th and its EVENT-EMIT/-WAIT/-DRAIN -- FABRIC-3.6.md task 0.3
Robert Allan James and Claude Sonnet 5
2026-09-19 13:33:42 -04:00
a0e9725883
Strip capsules/common/msg.4th -- FABRIC-3.6.md task 0.2
Robert Allan James and Claude Sonnet 5
2026-09-19 13:24:03 -04:00
156d1642de
FABRIC-3.6.md task 0.1: Category A reachability established
Robert Allan James and Claude Sonnet 5
2026-09-19 13:18:09 -04:00
4544877a36
FABRIC-3.6.md task 0.0: three-ISA baseline smoke test, PASS
Robert Allan James and Claude Sonnet 5
2026-09-19 13:08:32 -04:00
89d886b7f7
CLAUDE.md: correct four stale claims, add reshuffle pointer; record as FABRIC-3.5 §XLIV
Claude
2026-09-19 14:47:35 +00:00
6233dcaef5
FABRIC-3.6.md: correct the handoff for execution on a real toolchain
Claude
2026-09-19 12:34:41 +00:00
ca5443cb1a
FABRIC-3.6.md: correct the handoff -- GitHub is not part of this project
Claude
2026-09-19 12:31:55 +00:00
eb6cad2330
FABRIC-3.6.md: add START HERE session handoff
Claude
2026-09-19 12:29:15 +00:00
2032974f3a
FABRIC-3.6.md: add pre-flight -- three-ISA baseline as task 0.0, and why it gates
Claude
2026-09-19 12:25:04 +00:00
3a4e5cff07
FABRIC-3.5.md §XLIII: B3 settled -- the target drains its own queue at its own checkpoint
Claude
2026-09-19 12:18:46 +00:00
dd255eac58
FABRIC-3.6.md: open the execution log; FABRIC-3.5.md §XLII records the split
Claude
2026-09-19 12:16:37 +00:00
91108c23c9
FABRIC-3.5.md §XLI: the build punchlist -- phases 0-2 buildable, phase 3 blocked
Claude
2026-09-19 12:14:31 +00:00
91173854cb
FABRIC-3.5.md §XL: item 40 settled -- preserve the consumption model, ledger the sink
Claude
2026-09-19 11:52:02 +00:00
3843e1d685
FABRIC-3.5.md §XXXIX: item 39 settled -- the accountings are not coupled, and §XXXIV.6 watched the wrong one
Claude
2026-09-19 11:49:51 +00:00
b4bd2413d5
FABRIC-3.5.md §XXXVIII: item 38 settled -- decayed heat does not return, and a reaped message returns nothing
Claude
2026-09-19 11:47:22 +00:00
cbed0c5f02
FABRIC-3.5.md §XXXVII: item 36 settled -- audit epsilon is zero, after correcting §XXXVI's invariant
Claude
2026-09-19 11:40:06 +00:00
3a593055de
FABRIC-3.5.md §XXXVI: item 31 settled -- kernel-Hermes sinks when its own heat accounting fails
Claude
2026-09-19 11:37:57 +00:00
cdf9cb24aa
FABRIC-3.5.md §XXXV: pre-mortem -- two new design gaps, one hypothesis weakened
Claude
2026-09-19 11:35:39 +00:00
e67eb207f0
FABRIC-3.5.md §XXXIV: the transition state -- two messaging layers without corrupting K
Claude
2026-09-19 11:33:05 +00:00
71ef7914dd
FABRIC-3.5.md §XXXIII: size kernel-Hermes -- the rewrite is smaller than advertised
Claude
2026-09-19 11:30:44 +00:00
7aa9bad243
FABRIC-3.5.md §XXXII: item 22 settled -- retire the pump, the switcher is the sole mover of control
Claude
2026-09-19 11:27:04 +00:00
afcaeebbc7
FABRIC-3.5.md §XXXI: gap-analysis sweep of the FABRIC set; document reopened
Claude
2026-09-19 11:24:33 +00:00
3e6b3275ac
FABRIC-3.5.md: close the design phase (provisional, not archival)
Claude
2026-09-19 11:17:54 +00:00
6751b2629f
FABRIC-3.5.md §XXX: versioning policy CLOSED
Claude
2026-09-19 11:16:24 +00:00
8bba715bf6
FABRIC-3.5.md §XXIX: versioning policy closed; LTS deferred with written criteria
Claude
2026-09-19 11:12:35 +00:00
e0ebd4cb5f
FABRIC-3.5.md §XXVIII: this release is 2.1.0
Claude
2026-09-19 10:57:37 +00:00
3013071855
FABRIC-3.5.md §XXVII: item 18 settled -- the empty floor is unreachable, build nothing
Claude
2026-09-19 10:51:27 +00:00
ea1c630eca
FABRIC-3.5.md §XXVI: the close protocol, and this document's close condition
Claude
2026-09-19 10:48:48 +00:00
ae18f773ce
FABRIC-3.5.md §XXV: DoE constraint relaxed; Isabelle/HOL pass closes the sequence
Claude
2026-09-19 10:45:13 +00:00
e0152381ea
FABRIC-3.5.md §XXIV: item 17 settled -- separate word for Hera's suicide, BYE untouched
Claude
2026-09-19 10:41:48 +00:00
d0c4f60194
FABRIC-3.5.md §XXIII: the sinking latch settled -- design phase complete
Claude
2026-09-19 10:24:43 +00:00
3f65a86993
FABRIC-3.5.md §XXII: the surgical strip is punch item 1, and it is iterative
Claude
2026-09-19 10:16:12 +00:00
8bdbfd1aad
FABRIC-3.5.md §XXI: item 9 settled -- SOS travels up the birth graph
Claude
2026-09-19 10:05:44 +00:00
d984b16102
FABRIC-3.5.md §XX: item 3 settled -- delete the suffix from the mechanism
Claude
2026-09-19 09:58:10 +00:00
7a9a8ed698
FABRIC-3.5.md §XIX: the third Tripod leg is named Hestia
Claude
2026-09-19 09:55:45 +00:00
38735e52c2
FABRIC-3.5.md §XVIII: the Console component designed in full
Claude
2026-09-18 22:18:34 +00:00
887b34d0a7
FABRIC-3.5.md §XVII: item 12 CLOSED -- Console already exists as a singleton, it just has no VM face
Claude
2026-09-18 22:05:05 +00:00
bd0c23286c
FABRIC-3.5.md §XVI: item 10 settled -- clean shutdown is forced flush + BYE, Hera's is suicide
Claude
2026-09-18 22:01:00 +00:00
a842789ae6
FABRIC-3.5.md §XV: the authority questions answered, three by rejecting the premise
Claude
2026-09-18 21:50:27 +00:00
9b69c1f447
FABRIC-3.5.md §XIV: two rulings collapse the root dependency
Claude
2026-09-18 21:43:15 +00:00
bcf41e5618
FABRIC-3.5.md §XIII: work punch items 1 and 2, CLOSED with evidence
Claude
2026-09-18 21:26:45 +00:00
0e4e6673a9
FABRIC-3.5.md: open the Tripod/kernel reshuffle as its own document
Claude
2026-09-18 21:21:38 +00:00
9aebbb224b
Fix extract_doe_region.py SLOT_FMT drift; regenerate report with real data
Robert Allan James and Claude Sonnet 5
2026-09-17 23:28:50 -04:00
553ca9163d
FABRIC-3.md §XXXV.14: flag missing fault-triggered SSM_MODE_C0 fallback
Robert Allan James and Claude Sonnet 5
2026-09-17 21:03:02 -04:00
c02fed140f
Fix ISA-tagging: two real bugs found live, campaign quit for a fresh run
Robert Allan James and Claude Sonnet 5
2026-09-17 19:28:36 -04:00
51940f49d0
Add per-slot CRC + campaign crash-resume (DOE-RESUME-COUNT)
Robert Allan James and Claude Sonnet 5
2026-09-17 19:17:04 -04:00
c535252907
Build the DoE region reader + automated R/LaTeX report pipeline
Robert Allan James and Claude Sonnet 5
2026-09-17 16:59:26 -04:00
aaf349946f
Preserve serial logs and DoE CSVs from the last two days' campaign attempts
Robert Allan James and Claude Sonnet 5
2026-09-17 16:44:10 -04:00
2da746c01c
Build DOE-PERSIST-TRIAL: block-backed DoE campaign persistence, live-verified
Robert Allan James and Claude Sonnet 5
2026-09-17 16:43:31 -04:00
8b8e8e1405
Build capsules/per-isa-doe.4th: per-ISA campaign driver (N=3, 18 trials/ISA)
Robert Allan James and Claude Sonnet 5
2026-09-17 12:30:43 -04:00
3223fac2a0
Execute FABRIC-3.md §XXXV.6: format new artemis.img, re-mint all 9 identities live
Robert Allan James and Claude Sonnet 5
2026-09-17 11:57:10 -04:00
e56974e0bf
Bleach all 9 thumbdrive identity images to blank ahead of re-mint
Robert Allan James and Claude Sonnet 5
2026-09-17 11:45:12 -04:00
7c5ba7a874
Rebuild disk/artemis.img fresh at 1 GiB, blank; preserve old 30 MiB image
Robert Allan James and Claude Sonnet 5
2026-09-17 11:33:10 -04:00
e4a52c01be
FABRIC-3.md §XXXV: bump ratified artemis.img target from 256 MiB to 1 GiB
Robert Allan James and Claude Sonnet 5
2026-09-17 11:30:34 -04:00
c19b6febc2
FABRIC-3.md §XXXV.6: ratify fresh 256 MiB artemis.img + full re-mint, no fence migration
Robert Allan James and Claude Sonnet 5
2026-09-17 11:29:34 -04:00
a83cbe016f
FABRIC-3.md §XXXV: block-backed DoE persistence design + N=2 per-ISA shape (design only, no code yet)
Robert Allan James and Claude Sonnet 5
2026-09-17 11:25:57 -04:00
94215e8b47
Fix two catastrophically heavy workloads found running the real campaign
Robert Allan James and Claude Sonnet 5
2026-09-16 15:47:30 -04:00
29f91f9531
multiuser-doe.4th: the campaign trial-loop capsule, verified live
Robert Allan James and Claude Sonnet 5
2026-09-16 10:27:45 -04:00
41918a28a4
doe_log.c: add vm_name/vm_id_hex identity columns; new calibration workload
Robert Allan James and Claude Sonnet 5
2026-09-16 09:53:25 -04:00
e33eb36361
Multiuser DoE punch list: WORKER-BIRTH + VM-ERROR? + vm_physics_init fix
Robert Allan James and Claude Sonnet 5
2026-09-16 08:51:21 -04:00
bc2e294c50
FABRIC-3.md §XXXIII: multiuser/multitasking DoE design (no code yet)
Robert Allan James and Claude Sonnet 5
2026-09-16 08:01:26 -04:00
af351bff92
Punch list item 4 (final): CONSOLE-ATTACH, full unattended-identity flow verified end-to-end
Robert Allan James and Claude Sonnet 5
2026-09-16 07:24:27 -04:00
5879c8b3bc
Punch list item 3: UNATTENDED-BIRTH call site, verified live end-to-end
Robert Allan James and Claude Sonnet 5
2026-09-16 07:06:47 -04:00
5fc709a228
Punch list item 2: MINT-SCRATCH-EMIT, verified live on all 3 arches
Robert Allan James and Claude Sonnet 5
2026-09-16 05:12:43 -04:00
63864c4b01
Punch list item 1: scratch-device MINT-SCRATCH, verified live on all 3 arches
Robert Allan James and Claude Sonnet 5
2026-09-16 04:42:15 -04:00
60bcdc09a7
Stage E amendment: resolve drive_uuid wrinkle via scratch-device mint (FABRIC-3.md §XXXII.2)
Robert Allan James and Claude Sonnet 5
2026-09-16 04:01:32 -04:00
06e2507ce4
Stage E ratified: unattended identity is cert+personality only, no seed (FABRIC-3.md §XXXII.2)
Robert Allan James and Claude Sonnet 5
2026-09-16 03:41:10 -04:00
42d4bf3dad
Stage D batch 7 (final): mama_forth_words.c groups 5+6 -- dictionary lookup/test words + Stadium primitives; Stage D closed (FABRIC-3.md §XXXII.6)
Robert Allan James and Claude Sonnet 5
2026-09-15 20:25:30 -04:00
90c86c6006
Stage D batch 6: mama_forth_words.c group 4 -- identity/crypto words (FABRIC-3.md §XXXII.6)
Robert Allan James and Claude Sonnet 5
2026-09-15 19:53:47 -04:00
8b5300fc4f
Stage D batch 5: mama_forth_words.c group 3 -- cross-VM execution/dispatch, both flagged special cases resolved (FABRIC-3.md §XXXII.6)
Robert Allan James and Claude Sonnet 5
2026-09-15 19:23:12 -04:00
