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 JamesandClaude Sonnet 52026-09-20 04:20:14 -04:00
91173854cb
FABRIC-3.5.md §XL: item 40 settled -- preserve the consumption model, ledger the sink
Claude2026-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
Claude2026-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
Claude2026-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
Claude2026-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
Claude2026-09-19 11:37:57 +00:00
cdf9cb24aa
FABRIC-3.5.md §XXXV: pre-mortem -- two new design gaps, one hypothesis weakened
Claude2026-09-19 11:35:39 +00:00
e67eb207f0
FABRIC-3.5.md §XXXIV: the transition state -- two messaging layers without corrupting K
Claude2026-09-19 11:33:05 +00:00
71ef7914dd
FABRIC-3.5.md §XXXIII: size kernel-Hermes -- the rewrite is smaller than advertised
Claude2026-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
Claude2026-09-19 11:27:04 +00:00
afcaeebbc7
FABRIC-3.5.md §XXXI: gap-analysis sweep of the FABRIC set; document reopened
Claude2026-09-19 11:24:33 +00:00
3e6b3275ac
FABRIC-3.5.md: close the design phase (provisional, not archival)
Claude2026-09-19 11:17:54 +00: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 JamesandClaude Sonnet 52026-09-15 20:25:30 -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 JamesandClaude Sonnet 52026-09-15 19:23:12 -04:00
b42c3b195c
Stage D batch 4: mama_forth_words.c groups 1+2 -- capsule/lifecycle words + BIRTH/START/KILL (FABRIC-3.md §XXXII.6)
Robert Allan JamesandClaude Sonnet 52026-09-15 18:51:54 -04:00
66c2f3e539
Stage D batch 3: fix silent error sites in vm_core.c, incl. the two highest-value primitives; two real NULL-deref bugs found and fixed (FABRIC-3.md §XXXII.6)
Robert Allan JamesandClaude Sonnet 52026-09-15 17:29:37 -04:00
1a8c0e4fcf
Stage D batch 2: fix silent error sites in log_words.c, resolve the flagged category-iii special case (FABRIC-3.md §XXXII.6)
Robert Allan JamesandClaude Sonnet 52026-09-15 16:53:18 -04:00
09959c6ca2
Stage C: primitive error-handling audit triage complete, 105 sites classified, no code changed (FABRIC-3.md §XXXII.3)
Robert Allan JamesandClaude Sonnet 52026-09-15 14:36:37 -04:00
c05b70c8d6
Stage B: logging policy documented, level-aware log-ring eviction built, LOG-FLUSH deferred again (FABRIC-3.md §XXXII.4)
Robert Allan JamesandClaude Sonnet 52026-09-15 14:01:36 -04:00
5c5896fbc1
Stage A: fix USE's silent stack-underflow/bad-address guards, and the Hera fault-scoping gap they exposed (FABRIC-3.md §XXXII.1)
Robert Allan JamesandClaude Sonnet 52026-09-15 09:06:33 -04:00
05159c9f9e
Scope new initiative: unattended identity model, USE fail-closed-halt root cause, primitive error-handling audit, logging cleanup (FABRIC-3.md §XXXII)
Robert Allan JamesandClaude Sonnet 52026-09-15 07:36:35 -04:00
16cc74243c
std79 DoE campaign rerun post-Stage-4: 81/81, §XIV caught live by rerun's own harness bug (FABRIC-3.md §XXXI)
Robert Allan JamesandClaude Sonnet 52026-09-15 04:56:31 -04:00
597f5a6cd8
Stage 4 verified: reap mechanism proven, real WIREBIND multiuser+multitasking confirmed live (FABRIC-3.md §XXX)
Robert Allan JamesandClaude Sonnet 52026-09-15 03:39:37 -04:00
d9da82b065
Stage 4 increments 2+3: WIREBIND VMs as switch-signal participants + mark-and-defer tombstone reap (FABRIC-3.md §XXVIII Stage 4)
Robert Allan JamesandClaude Sonnet 52026-09-15 00:58:34 -04:00
9f0f33dfc5
Stage 4 increment 1: per-device WIREBIND tracking, fixing a real multi-identity detach leak (FABRIC-3.md §XXVIII Stage 4)
Robert Allan JamesandClaude Sonnet 52026-09-15 00:02:20 -04:00