This website requires JavaScript.
4076a01c35
Fix HEARTBEAT-TICKS@: read heartbeat_ticks() (ISR hardware timer), not vm->heartbeat.tick_count (FORTH-dispatch counter)
Robert Allan James and Claude Sonnet 5
2026-08-21 09:33:17 -04:00
3998ce6aaf
FABRIC-2.md Section Q: heartbeat-tick ACL-TTL remeasurement finds the instrument blind to the effect, not a corrected number
Robert Allan James and Claude Sonnet 5
2026-08-20 23:28:05 -04:00
a7a837e136
Add three-arch acceptance boot logs for HEARTBEAT-TICKS@
Robert Allan James and Claude Sonnet 5
2026-08-20 23:10:46 -04:00
0b11f92102
Add HEARTBEAT-TICKS@: read-only heartbeat tick counter accessor
Robert Allan James and Claude Sonnet 5
2026-08-20 23:10:38 -04:00
6e7323b3b8
ACL-TTL overhead: paired 18-cell measurement complete, FABRIC-2.md Section P
Robert Allan James and Claude Sonnet 5
2026-08-20 19:41:55 -04:00
6a71f503a4
Checkpoint: paired ACL-TTL overhead measurement, 15/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-20 19:21:35 -04:00
becae2a763
Checkpoint: paired ACL-TTL overhead measurement, 12/18 cells (2/3)
Robert Allan James and Claude Sonnet 5
2026-08-20 19:03:37 -04:00
1880e78a1a
Checkpoint: paired ACL-TTL overhead measurement, 9/18 cells (halfway)
Robert Allan James and Claude Sonnet 5
2026-08-20 18:48:25 -04:00
e7b7f45d60
Checkpoint: paired ACL-TTL overhead measurement, 6/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-20 18:27:01 -04:00
f0b0c6d683
Checkpoint: paired ACL-TTL overhead measurement, 3/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-20 18:02:59 -04:00
900fa71d3a
FABRIC-2.md: record the corrected-shuffle campaign/report, and a real ACL-RWT naming/dead-code finding found while scoping the next step
Robert Allan James and Claude Sonnet 5
2026-08-20 13:24:51 -04:00
cf5b08fb65
Stadium relaunch: full 127-page deep-dive report -- per-cell, per-ISA, every factor interaction, and a raw-data appendix
Robert Allan James and Claude Sonnet 5
2026-08-20 13:10:01 -04:00
dbe4b671a1
Re-run ACL-RWT relaunch campaign against the fixed SWAP-MTX shuffle
Robert Allan James and Claude Sonnet 5
2026-08-20 12:08:48 -04:00
7e2fd9f044
Fix SWAP-MTX: Fisher-Yates shuffle was never actually shuffling correctly
Robert Allan James and Claude Sonnet 5
2026-08-20 10:56:12 -04:00
79d160c1ca
FABRIC-2.md: ACL-RWT-style 3x3 Latin square re-run on Stadium substrate (item 5.1/F.3)
Robert Allan James and Claude Sonnet 5
2026-08-20 09:16:18 -04:00
ea5d2c7ceb
FABRIC-2.md: riscv64 re-verified 30/30 PASS for item 4.6's Artemis stress campaign
Robert Allan James and Claude Sonnet 5
2026-08-19 11:26:23 -04:00
eaf3f8c9ae
FABRIC-2.md: F.3 punch list -- rule to wait for Artemis before DoE/ACL-RWT re-measurement
Robert Allan James and Claude Sonnet 5
2026-08-19 09:39:17 -04:00
413b5a9bbf
Verify turtle.4th rendering live, revert overdue ART-STRESS-CAMPAIGN disable
Robert Allan James and Claude Sonnet 5
2026-08-19 07:57:43 -04:00
d1547ecdae
Add capsules/sdk.4th: SDK v1.9.0 vocabulary + FENCE over the cookbook capsules
Robert Allan James and Claude Sonnet 5
2026-08-19 06:10:51 -04:00
4e7dcdf889
Add FENCE word (SDK v1.9.0 scoping); fix severe pre-existing FORGET use-after-free
Robert Allan James and Claude Sonnet 5
2026-08-19 05:57:18 -04:00
6d8b48f100
FABRIC-2.md: SDK v1.9.0 scoping ruling -- FENCE already exists, VOCABULARY already exists
Robert Allan James and Claude Sonnet 5
2026-08-19 05:26:48 -04:00
d0a76420a5
Add DoE library HOWTO (cookbook entry 2), flag stale L8-DOE claims in bare_metal/README.md
Robert Allan James and Claude Sonnet 5
2026-08-19 05:11:12 -04:00
e40134da0d
Add capsules/turtle.4th, a limited LOGO-style turtle graphics demo capsule
Robert Allan James and Claude Sonnet 5
2026-08-19 01:50:54 -04:00
abb858a300
Add POST coverage for physics-freeze words (Module 27), fix two real bugs found in the process
Robert Allan James and Claude Sonnet 5
2026-08-19 00:12:09 -04:00
825ab078f1
POST coverage cluster 3/4: inference-engine accessors (proof-covered, previously untested)
Robert Allan James and Claude Sonnet 5
2026-08-18 23:34:59 -04:00
7100523656
POST coverage cluster 2/4: Q48.16 math primitives (proof-covered, previously untested)
Robert Allan James and Claude Sonnet 5
2026-08-18 23:30:46 -04:00
b2918fd0b2
POST coverage cluster 1/4: ACL accessors (proof-covered, previously untested)
Robert Allan James and Claude Sonnet 5
2026-08-18 23:15:32 -04:00
e535346504
FABRIC-2.md: record verified clean Isabelle/HOL rebuild (52 theories, genuinely green)
Robert Allan James and Claude Sonnet 5
2026-08-18 22:50:03 -04:00
1a2ec565e8
Zero C-compiler warnings on all three architectures; fix real restore_vm_state() bug
Robert Allan James and Claude Sonnet 5
2026-08-18 22:31:57 -04:00
bf59c4916e
Fix systemic -Wmissing-field-initializers across src/test_runner/modules/ (3010 -> 0)
Robert Allan James and Claude Sonnet 5
2026-08-18 21:43:30 -04:00
4270cf23f1
docs: fix stale proof-suite claims in FABRIC-2.md; correct docs/CLAUDE.md's Makefile pointer
Robert Allan James and Claude Sonnet 5
2026-08-18 21:05:21 -04:00
5b248343b0
FABRIC-2.md: record item 4.6's effort number, per §10
Robert Allan James and Claude Sonnet 5
2026-08-18 20:42:21 -04:00
719cf811f4
FABRIC-2.md: close item 4.6, pointing to Section H's full writeup
Robert Allan James and Claude Sonnet 5
2026-08-18 20:36:00 -04:00
316fa93842
FABRIC-2.md: fix stale §12 Q5 tracking — checkbox and punch-list drift
Robert Allan James and Claude Sonnet 5
2026-08-18 20:31:53 -04:00
60907503f9
docs: record item 4.6 fix, aarch64 BYE crash fix, and DoE campaign in CHANGELOG/ROADMAP
Robert Allan James and Claude Sonnet 5
2026-08-18 20:27:05 -04:00
efcc2d8c90
Full three-arch DoE campaign, post-fix — amd64/aarch64/riscv64 all clean
Robert Allan James and Claude Sonnet 5
2026-08-18 20:24:53 -04:00
020005cad3
Regression-check amd64 and riscv64 after aarch64 SMC->HVC fix
Robert Allan James and Claude Sonnet 5
2026-08-18 19:26:08 -04:00
b24a5a6e25
aarch64: fix BYE cold-restart crash — PSCI SYSTEM_RESET via HVC, not SMC
Robert Allan James and Claude Sonnet 5
2026-08-18 18:24:26 -04:00
bc31916461
aarch64 BYE crash: add heap-address diagnostics, rule out gdb debugging on this target
Robert Allan James and Claude Sonnet 5
2026-08-18 17:06:58 -04:00
8d90538801
item 4.6: fix Stadium quota-grant ordering; fix aarch64 PSCI SYSTEM_RESET function ID
Robert Allan James and Claude Sonnet 5
2026-08-18 14:53:18 -04:00
48ab9945de
FABRIC-2.md: rule item 4.6 (Artemis) admission-on-allocate before implementation
Robert Allan James and Claude Sonnet 5
2026-08-18 07:45:44 -04:00
89d8c08582
stadium: wire STADIUM_CAPACITY_TICK in as a flat threshold, not a scheduler
Robert Allan James and Claude Sonnet 5
2026-08-15 09:37:58 -04:00
c5442c8377
docs: mark TRIPOD/HERMES/ARTEMIS/CONSOLE.md superseded by FABRIC.md/FABRIC-2.md
Robert Allan James and Claude Sonnet 5
2026-08-15 09:26:59 -04:00
00e657019e
stadium: make VM population bound RAM-derived, not a static array of 4
Robert Allan James and Claude Sonnet 5
2026-08-15 08:11:21 -04:00
154eddeab0
FABRIC-2.md: correct §12 Q5's STADIUM_CAPACITY_TICK framing to stay inside the one-clock rule
Robert Allan James and Claude Sonnet 5
2026-08-15 07:53:38 -04:00
3361f83e14
FABRIC-2.md: split Section F triage into documentation and code/action tracks
Robert Allan James and Claude Sonnet 5
2026-08-15 07:38:18 -04:00
b41585d311
repo: delete stale src/*.c.bak files, correct Section F triage claims
Robert Allan James and Claude Sonnet 5
2026-08-15 06:06:54 -04:00
f72422721f
build: regenerated artifacts from this session's kernel/hosted builds
Robert Allan James and Claude Sonnet 5
2026-08-15 06:04:15 -04:00
818b9569d3
FABRIC-2.md: add pre-Artemis closeout triage (Section F)
Robert Allan James and Claude Sonnet 5
2026-08-15 06:03:53 -04:00
ee3a2e57aa
proof: close :'s compiling_word_id tracking, the last easily-closeable defining-words gap
Robert Allan James and Claude Sonnet 5
2026-08-15 06:03:10 -04:00
b9e8fdc3ae
repo: remove broken bump-z/bump-y targets, fix tools/README.md stale fbtest.c row
Robert Allan James and Claude Sonnet 5
2026-08-15 05:58:14 -04:00
e3d4e202e2
FABRIC-2.md: record IS/DEFER@ closure (commit 6f59e4f
Robert Allan James and Claude Sonnet 5
2026-08-15 05:47:18 -04:00
6f59e4f27c
proof/: model IS and DEFER@ with the FIND-family gap sidestepped
Robert Allan James and Claude Sonnet 5
2026-08-15 05:46:56 -04:00
133f4060aa
FABRIC-2.md: record the word-source coverage sweep and its continuation
Robert Allan James and Claude Sonnet 5
2026-08-15 05:42:15 -04:00
d59a913e13
proof/: close the data-field (DF) gap for CREATE/VARIABLE/CONSTANT
Robert Allan James and Claude Sonnet 5
2026-08-15 05:40:02 -04:00
d3d66fb608
proof/: complete parse+insert composition for :, CREATE, VARIABLE, DEFER
Robert Allan James and Claude Sonnet 5
2026-08-15 05:29:49 -04:00
1aca77d55c
proof/: model the TIB name-parse primitive, close it into CONSTANT's full model
Robert Allan James and Claude Sonnet 5
2026-08-14 22:53:11 -04:00
cc46cf83f1
proof/: partially close the dictionary-insertion gap (StarForth_Defining_Words.thy)
Robert Allan James and Claude Sonnet 5
2026-08-14 22:31:26 -04:00
dfdabcc2d7
word_source: repair DECAY-RATE@ overflow guard and remove dead shadowed registrations
Robert Allan James and Claude Sonnet 5
2026-08-14 21:33:17 -04:00
3426d6a4a7
proof/: add FINDINGS.md and COVERAGE.md deliverables for the completed word-source sweep
Robert Allan James and Claude Sonnet 5
2026-08-14 21:33:00 -04:00
346c793ebc
proof/: add StarForth_Inference_Words.thy (inference_words.c coverage)
Robert Allan James
2026-08-14 16:34:22 -04:00
9d178e0efe
proof/: add StarForth_Q48_Words.thy (q48_words.c coverage)
Robert Allan James
2026-08-14 16:31:39 -04:00
eb46da65f5
proof/: add lifecycle_words_hosted.c, defer_words.c, log_words.c coverage
Robert Allan James
2026-08-14 16:24:34 -04:00
1e76ebea97
proof/: add console-fabric word coverage (framebuffer/keyboard/scroll/ttf)
Robert Allan James
2026-08-14 16:15:27 -04:00
e23900d115
proof/: add StarForth_StarForth_Words.thy (starforth_words.c coverage)
Robert Allan James
2026-08-14 15:48:21 -04:00
81b1083100
proof/: add physics diagnostic/benchmark/pipelining coverage
Robert Allan James
2026-08-14 15:43:48 -04:00
873c537e20
proof/: add StarForth_Physics_Freeze_Words.thy (physics_freeze_words.c coverage)
Robert Allan James
2026-08-14 14:54:00 -04:00
40758fa554
proof/: add StarForth_Dictionary_Heat_Diagnostic_Words.thy (dictionary_heat_diagnostic_words.c coverage)
Robert Allan James
2026-08-14 14:47:24 -04:00
770ed26952
proof/: add StarForth_ACL_Words.thy (acl_words.c coverage)
Robert Allan James
2026-08-14 14:43:55 -04:00
4d025ab0f4
proof/: add StarForth_Defining_Words.thy (defining_words.c coverage)
Robert Allan James
2026-08-14 14:33:29 -04:00
a34fba5c1c
proof/: add StarForth_Vocabulary_Words.thy (vocabulary_words.c coverage)
Robert Allan James
2026-08-14 14:12:30 -04:00
283c4780e4
proof/: add StarForth_System_Words.thy (system_words.c coverage)
Robert Allan James
2026-08-14 14:09:41 -04:00
cf205ca04a
proof/: add StarForth_Editor_Words.thy and StarForth_Format_Words.thy
Robert Allan James
2026-08-14 14:03:05 -04:00
16435a4229
proof/: add StarForth_IO_Words.thy (io_words.c coverage)
Robert Allan James
2026-08-14 13:55:09 -04:00
c1360df2d1
proof/: add StarForth_Block_Words.thy (SCR only)
Robert Allan James and Claude Sonnet 5
2026-08-13 23:14:24 -04:00
a1d24fdb6f
proof/: add SEARCH to StarForth_String_Words.thy
Robert Allan James and Claude Sonnet 5
2026-08-13 23:05:48 -04:00
fe3169dac9
proof/: add StarForth_String_Words.thy (BL/COUNT/CMOVE/CMOVE>/BLANK/-TRAILING/SCAN/SKIP/COMPARE)
Robert Allan James and Claude Sonnet 5
2026-08-13 22:58:18 -04:00
b196c95e44
proof/: complete StarForth_Double_Words.thy (arithmetic + 2>R/2R>/2R@)
Robert Allan James and Claude Sonnet 5
2026-08-13 22:23:47 -04:00
45c381ca6c
proof/: add StarForth_Control_Words.thy (runtime branch/loop/EXIT words)
Robert Allan James and Claude Sonnet 5
2026-08-13 20:19:50 -04:00
77d8f0606a
proof/: add StarForth_Dictionary_Manipulation_Words.thy ([/]/STATE/SMUDGE/HIDDEN/INTERPRET)
Robert Allan James and Claude Sonnet 5
2026-08-13 19:33:42 -04:00
92474c5219
proof/: add StarForth_Dictionary_Words.thy (HERE/ALIGN/ALLOT/,/C,/2,/PAD/LATEST)
Robert Allan James and Claude Sonnet 5
2026-08-13 18:12:54 -04:00
d0fcd2ed86
proof/: add StarForth_Mixed_Arithmetic_Words.thy (M+/M-/MOD//MOD/*//*/MOD)
Robert Allan James and Claude Sonnet 5
2026-08-13 13:42:41 -04:00
fe6e705867
proof/: migrate cell from int to 64-bit signed word, full suite verifies
Robert Allan James and Claude Sonnet 5
2026-08-13 13:37:07 -04:00
9b4bbc9de6
proof/: add StarForth_Double_Words.thy (2DROP/2DUP/2SWAP/2OVER/2ROT)
Robert Allan James
2026-08-13 12:49:02 -04:00
87cd422957
proof/: fix ROLL, PICK, and pm_wf against real C ground truth, not just proof scripts
Robert Allan James
2026-08-13 12:41:40 -04:00
422ef2fa29
proof/: all 23 Isabelle theory files now verify under Isabelle2025-2
Robert Allan James
2026-08-13 12:30:30 -04:00
5787718c30
FABRIC-2.md: record Isabelle toolchain replacement + StarForth_Q48_16.thy breakage diagnostic
Robert Allan James
2026-08-13 11:20:39 -04:00
ebdf3726e6
FABRIC-2.md: audit ARTEMIS.md/HERMES.md/CONSOLE.md for staleness (item 5.3)
Robert Allan James
2026-08-13 10:41:29 -04:00
a9a99146ae
ARTEMIS.md: fix stale 'boots live in fleet on every boot' claim, same pattern as TRIPOD.md
Robert Allan James
2026-08-13 10:40:50 -04:00
cd6081fbb4
TRIPOD.md: fix stale Immediate Goal section, Hera does not auto-spawn at boot
Robert Allan James
2026-08-13 10:29:28 -04:00
be598af65c
ONTOLOGY.md: add Stadium/Fabric vocabulary section, close taxonomy/glossary debt
Robert Allan James
2026-08-13 10:26:22 -04:00
c9710093ae
FABRIC-2.md: §17.4 framebuffer physics -- confirm still not ripe, correct its real prerequisite
Robert Allan James
2026-08-13 10:22:55 -04:00
bb39012e55
FABRIC-2.md: §12 Q5 eight-loop interference analysis -- found a real §22.4 violation
Robert Allan James
2026-08-13 10:20:53 -04:00
bdb85bc7c0
FABRIC-2.md: close section D §23.4 #2 -- settled by divergence, not by measurement
Robert Allan James
2026-08-13 10:16:25 -04:00
a0033a2052
FABRIC-2.md: close Kconfig/menuconfig end-to-end item
Robert Allan James
2026-08-13 10:14:05 -04:00
b381578cb3
FABRIC-2.md: confirm fbtest.c/ttftest.c doc discrepancy, leave open
Robert Allan James
2026-08-13 10:05:08 -04:00
e83a881b75
FABRIC-2.md: confirm and close m5_time_trust/m5_variance dead-field item
Robert Allan James
2026-08-13 10:04:22 -04:00
13fffa12ce
FABRIC-2.md: close heartbeat_trust() item -- claim was stale, has a caller
Robert Allan James
2026-08-13 10:03:18 -04:00
845f3d4e3b
FABRIC-2.md: confirm and close hotwords_cache_promote() NULL-write item
Robert Allan James
2026-08-13 10:02:51 -04:00
b42993322c
FABRIC-2.md: close block_subsystem encoding-field item, wider scope found
Robert Allan James and Claude Sonnet 5
2026-08-13 09:32:16 -04:00
