Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• b41585d311 repo: delete stale src/*.c.bak files, correct Section F triage claims Robert Allan JamesandClaude Sonnet 5 2026-08-15 06:06:54 -04:00
• f72422721f build: regenerated artifacts from this session's kernel/hosted builds Robert Allan JamesandClaude Sonnet 5 2026-08-15 06:04:15 -04:00
• 818b9569d3 FABRIC-2.md: add pre-Artemis closeout triage (Section F) Robert Allan JamesandClaude 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 JamesandClaude 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 JamesandClaude Sonnet 5 2026-08-15 05:58:14 -04:00
• e3d4e202e2 FABRIC-2.md: record IS/DEFER@ closure (commit 6f59e4f) Robert Allan JamesandClaude Sonnet 5 2026-08-15 05:47:18 -04:00
• 6f59e4f27c proof/: model IS and DEFER@ with the FIND-family gap sidestepped Robert Allan JamesandClaude 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 JamesandClaude Sonnet 5 2026-08-15 05:42:15 -04:00
• d59a913e13 proof/: close the data-field (DF) gap for CREATE/VARIABLE/CONSTANT Robert Allan JamesandClaude Sonnet 5 2026-08-15 05:40:02 -04:00
• d3d66fb608 proof/: complete parse+insert composition for :, CREATE, VARIABLE, DEFER Robert Allan JamesandClaude 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 JamesandClaude Sonnet 5 2026-08-14 22:53:11 -04:00
• cc46cf83f1 proof/: partially close the dictionary-insertion gap (StarForth_Defining_Words.thy) Robert Allan JamesandClaude 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 JamesandClaude 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 JamesandClaude 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 JamesandClaude Sonnet 5 2026-08-13 23:14:24 -04:00
• a1d24fdb6f proof/: add SEARCH to StarForth_String_Words.thy Robert Allan JamesandClaude 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 JamesandClaude Sonnet 5 2026-08-13 22:58:18 -04:00
• b196c95e44 proof/: complete StarForth_Double_Words.thy (arithmetic + 2>R/2R>/2R@) Robert Allan JamesandClaude Sonnet 5 2026-08-13 22:23:47 -04:00
• 45c381ca6c proof/: add StarForth_Control_Words.thy (runtime branch/loop/EXIT words) Robert Allan JamesandClaude Sonnet 5 2026-08-13 20:19:50 -04:00
• 77d8f0606a proof/: add StarForth_Dictionary_Manipulation_Words.thy ([/]/STATE/SMUDGE/HIDDEN/INTERPRET) Robert Allan JamesandClaude 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 JamesandClaude 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 JamesandClaude 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 JamesandClaude 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 JamesandClaude Sonnet 5 2026-08-13 09:32:16 -04:00
• d38b3103b8 FABRIC-2.md: check off arch_mmu_init() item -- ruling recorded Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:49:27 -04:00
• a813a147fa FABRIC-2.md: arch_mmu_init() is a deliberate TODO, not dead code Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:46:45 -04:00
• 307f0e4ecc FABRIC.md/FABRIC-2.md: close vm_physics_retire() Hera-drop item Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:39:53 -04:00
• db6640682b mama_forth_words: KILL must not physics-retire Hera before refusing her Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:38:33 -04:00
• b929a59f3d FABRIC.md §20.2: correct the truncation-leak claim in place Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:26:45 -04:00
• 05c8462f2f FABRIC-2.md: close Fleet heat leak item -- truncation claim doesn't hold Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:21:32 -04:00
• 389ca74d9f FABRIC-2.md: close Multi-VM heartbeat ownership item Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:15:44 -04:00
• bcc72d00bb FABRIC-2.md Category B: single-owner heartbeat physical-timer re-arm Robert Allan JamesandClaude Sonnet 5 2026-08-13 08:13:04 -04:00
• f75228dda5 Add docs/lithosananke/DICTIONARY.md: full core word dictionary reference Robert Allan JamesandClaude Sonnet 5 2026-08-12 19:09:18 -04:00
• aba0b01a08 Close FABRIC.md, open FABRIC-2.md as the living document Robert Allan JamesandClaude Sonnet 5 2026-08-12 18:45:13 -04:00
• b6872d28ae FABRIC.md item 4.4ac: screendump-verify boot scrollback on aarch64/riscv64 too Robert Allan JamesandClaude Sonnet 5 2026-08-12 18:29:37 -04:00
• 31a86ee50d FABRIC.md item 4.4ac: screendump-verify boot scrollback, mark done Robert Allan JamesandClaude Sonnet 5 2026-08-12 18:25:52 -04:00
• 3396e9a7b4 FABRIC.md item 4.4ac: scrollback during boot/POST, not just from REPL Robert Allan JamesandClaude Sonnet 5 2026-08-12 18:21:31 -04:00
• 149dbc4c73 Merge branch 'stadium-step-one' Robert Allan James 2026-08-12 16:57:05 -04:00
• 2822e52ea8 make qemu: drop auto-kill/DOE-inject wait loop, run interactively Robert Allan JamesandClaude Sonnet 5 2026-08-12 16:56:35 -04:00
• 099db4f428 Merge branch 'stadium-step-one' into master Robert Allan James 2026-08-12 16:28:43 -04:00
• 59458a0a16 Cursor indicator + HB-ON/HB-OFF runtime DoE instrumentation toggle Robert Allan JamesandClaude Sonnet 5 2026-08-12 16:22:09 -04:00
• 0d8fff3cc0 Three-arch acceptance verification: master matches stadium-step-one Robert Allan JamesandClaude Sonnet 5 2026-08-12 15:50:23 -04:00
• af20efaa15 FABRIC.md items 4.4v/4.4r/4.4ab: keyboard bridge, and simplify to a full-screen vt100 terminal Robert Allan JamesandClaude Sonnet 5 2026-08-12 15:41:26 -04:00
• b21aa50a14 FABRIC.md item 4.4z: draw the scroll box's visible border Robert Allan JamesandClaude Sonnet 5 2026-08-12 15:07:04 -04:00
• 91742e02f4 FABRIC.md item 4.4x: split the REPL prompt into its own bottom strip Robert Allan JamesandClaude Sonnet 5 2026-08-12 14:59:07 -04:00
• 763c6f2cd5 FABRIC.md items 4.4u/4.4w/4.4y: pin console layout numbers with Bob Robert Allan JamesandClaude Sonnet 5 2026-08-12 14:08:43 -04:00
• 39838b604f Quiet the POST ECW dispatch trace; three-arch clean-boot verification Robert Allan JamesandClaude Sonnet 5 2026-08-12 13:08:49 -04:00
• a02e14915f WIP checkpoint: quiet default log level, QEMU_DISPLAY control, tee'd serial log Robert Allan JamesandClaude Sonnet 5 2026-08-12 12:55:08 -04:00
• 64a3ff58cc FABRIC.md: note first task for next session -- collect punch-list items at document end Robert Allan JamesandClaude Sonnet 5 2026-08-11 23:52:40 -04:00
• 3723640d69 FABRIC.md: ROADMAP.md is superseded entirely, not just M8 Robert Allan JamesandClaude Sonnet 5 2026-08-11 23:51:14 -04:00
• 098b437180 FABRIC.md: break the morning resume note into proper punch-list items Robert Allan JamesandClaude Sonnet 5 2026-08-11 23:49:25 -04:00
• 074466f271 FABRIC.md: defer toggle meta-key choice, add morning resume punch list Robert Allan JamesandClaude Sonnet 5 2026-08-11 23:44:30 -04:00
• fa8d7ab7dd FABRIC.md items 4.4u/4.4v: locked console layout design + M8 keyboard-bridge scope Robert Allan JamesandClaude Sonnet 5 2026-08-11 23:29:35 -04:00
• c92be2768f FABRIC.md item 4.4t: confine REPL text rendering to the CANVAS box Robert Allan JamesandClaude Sonnet 5 2026-08-11 23:07:04 -04:00
• 1f3ec3554e starkernel: REPL scrollback, ~1000 lines (FABRIC.md item 4.4q) Robert Allan JamesandClaude Sonnet 5 2026-08-11 21:23:25 -04:00
• 277845e3bf FABRIC.md: item 4.4p -- CANVAS geometry verified via one-shot probe, all three architectures Robert Allan JamesandClaude Sonnet 5 2026-08-11 20:34:14 -04:00
• 68840bed0c FABRIC.md: item 4.4o -- 640x480 scroll-box centering math computed Robert Allan JamesandClaude Sonnet 5 2026-08-11 20:20:59 -04:00
• 2b4d426e37 FABRIC.md: item 4.4n -- CANVAS rectangle computed, per architecture Robert Allan JamesandClaude Sonnet 5 2026-08-11 20:19:21 -04:00
• a4afecb656 FABRIC.md: item 4.4m -- REPL text size and strip height decided Robert Allan JamesandClaude Sonnet 5 2026-08-11 20:17:33 -04:00
• 9caebabd17 FABRIC.md: item 4.4l -- framebuffer resolution confirmed, all three architectures Robert Allan JamesandClaude Sonnet 5 2026-08-11 20:12:53 -04:00
• 418f040997 FABRIC.md: item 4.4k -- live SGR color verification, all three architectures Robert Allan JamesandClaude Sonnet 5 2026-08-11 20:10:12 -04:00
• f729b91a09 starkernel: retarget REPL glyph rendering to TTF-TEXT's rasterizer (4.4j) Robert Allan JamesandClaude Sonnet 5 2026-08-11 19:56:50 -04:00
• 64c20c78eb FABRIC.md: item 4.4i -- glyph-draw call-site audit, not cleanly separable Robert Allan JamesandClaude Sonnet 5 2026-08-11 19:39:54 -04:00
• ae7c9429b4 starkernel: color the console prompt (FABRIC.md item 4.4h) Robert Allan JamesandClaude Sonnet 5 2026-08-11 19:35:32 -04:00
• f33353430f starkernel: land console_fb_init() reorder (FABRIC.md 4.4g decided) Robert Allan JamesandClaude Sonnet 5 2026-08-11 17:18:58 -04:00
• 9b117c787f FABRIC.md: item 4.5f -- reorder experiment confirms -O2 fixes the stall Robert Allan JamesandClaude Sonnet 5 2026-08-11 17:06:09 -04:00
• a1c9fc7330 starkernel: fix lidt() inline-asm constraint hazard, land -O2 Robert Allan JamesandClaude Sonnet 5 2026-08-11 16:57:20 -04:00
• 065ab50240 FABRIC.md: item 4.5d Finding 4 -- deep-traced, not yet root-caused Robert Allan JamesandClaude Sonnet 5 2026-08-11 12:40:30 -04:00
• 1c5e926c3f FABRIC.md: item 4.5d -- Finding 3 (muldiv64) root-caused and fixed via QEMU tracing, Finding 4 blocks Robert Allan JamesandClaude Sonnet 5 2026-08-11 12:17:23 -04:00
• b43e51a95d starkernel: fix muldiv64() inline-asm register-allocation hazard Robert Allan JamesandClaude Sonnet 5 2026-08-11 12:16:21 -04:00