This website requires JavaScript.
21168f99da
FABRIC-2.md Section U addendum: foreign-drive protection, zuse one-way burn, console/VM key-match attachment -- still brainstorming, nothing implemented
Robert Allan James and Claude Sonnet 5
2026-08-22 06:30:43 -04:00
afe64ba537
FABRIC-2.md Section U: Artemis USB thumb-drive / home-blocks design direction notes -- brainstorming only, nothing implemented
Robert Allan James and Claude Sonnet 5
2026-08-22 06:20:35 -04:00
f2e3bb1a90
ACL-TTL overhead: full 36-cell campaign complete (6 seeds), FABRIC-2.md Section T -- +0.0603%, final accepted figure
Robert Allan James and Claude Sonnet 5
2026-08-21 23:46:02 -04:00
392561e7de
ACL-TTL tick campaign extension checkpoint: 34/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 23:35:50 -04:00
a52fcf0367
ACL-TTL tick campaign extension checkpoint: 32/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 23:24:13 -04:00
db05f29e49
ACL-TTL tick campaign extension checkpoint: 30/36 cells (5/6)
Robert Allan James and Claude Sonnet 5
2026-08-21 23:12:27 -04:00
ef74e45a3b
ACL-TTL tick campaign extension checkpoint: 28/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 23:00:02 -04:00
2be3c8c68e
ACL-TTL tick campaign extension checkpoint: 26/36 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 22:48:14 -04:00
a5cd1b76c8
ACL-TTL tick campaign extension checkpoint: 24/36 cells (2/3 done)
Robert Allan James and Claude Sonnet 5
2026-08-21 22:35:17 -04:00
f8693d50be
ACL-TTL tick campaign extension checkpoint: 21/36 cells (3 new seeds)
Robert Allan James and Claude Sonnet 5
2026-08-21 22:18:19 -04:00
e9d5353b6e
ACL-TTL overhead: full 18-cell campaign complete, FABRIC-2.md Section S -- +0.0604% mean, architecture-independent, fully deterministic
Robert Allan James and Claude Sonnet 5
2026-08-21 15:06:36 -04:00
0f0f28e784
ACL-TTL tick campaign checkpoint: 17/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 15:00:32 -04:00
e12705983c
ACL-TTL tick campaign checkpoint: 15/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:48:46 -04:00
436633a731
ACL-TTL tick campaign checkpoint: 13/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:37:05 -04:00
9c6f6ec57c
ACL-TTL tick campaign checkpoint: 11/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:27:44 -04:00
3b16c48ff9
ACL-TTL tick campaign checkpoint: 9/18 cells (halfway)
Robert Allan James and Claude Sonnet 5
2026-08-21 14:15:57 -04:00
c1622aaba8
ACL-TTL tick campaign checkpoint: 7/18 cells
Robert Allan James and Claude Sonnet 5
2026-08-21 14:01:11 -04:00
d90f28b9da
ACL-TTL tick campaign checkpoint: 4/18 cells (zuse-authenticated, real enforcement)
Robert Allan James and Claude Sonnet 5
2026-08-21 13:44:04 -04:00
70c259dad0
Revert HEARTBEAT-TICKS@ to vm->heartbeat.tick_count; FABRIC-2.md Section R: find and fix the real ACL-TTL measurement bug (zuse session never authenticated, ACL enforcement never active)
Robert Allan James and Claude Sonnet 5
2026-08-21 11:22:56 -04:00
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
