This website requires JavaScript.
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
d38b3103b8
FABRIC-2.md: check off arch_mmu_init() item -- ruling recorded
Robert Allan James and Claude 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 James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-13 08:38:33 -04:00
b929a59f3d
FABRIC.md §20.2: correct the truncation-leak claim in place
Robert Allan James and Claude 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 James and Claude Sonnet 5
2026-08-13 08:21:32 -04:00
389ca74d9f
FABRIC-2.md: close Multi-VM heartbeat ownership item
Robert Allan James and Claude 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 James and Claude Sonnet 5
2026-08-13 08:13:04 -04:00
f75228dda5
Add docs/lithosananke/DICTIONARY.md: full core word dictionary reference
Robert Allan James and Claude Sonnet 5
2026-08-12 19:09:18 -04:00
aba0b01a08
Close FABRIC.md, open FABRIC-2.md as the living document
Robert Allan James and Claude 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 James and Claude Sonnet 5
2026-08-12 18:29:37 -04:00
31a86ee50d
FABRIC.md item 4.4ac: screendump-verify boot scrollback, mark done
Robert Allan James and Claude 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 James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-12 16:22:09 -04:00
0d8fff3cc0
Three-arch acceptance verification: master matches stadium-step-one
Robert Allan James and Claude 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 James and Claude 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 James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-12 14:08:43 -04:00
39838b604f
Quiet the POST ECW dispatch trace; three-arch clean-boot verification
Robert Allan James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-11 23:52:40 -04:00
3723640d69
FABRIC.md: ROADMAP.md is superseded entirely, not just M8
Robert Allan James and Claude 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 James and Claude 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 James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-11 23:07:04 -04:00
1f3ec3554e
starkernel: REPL scrollback, ~1000 lines (FABRIC.md item 4.4q)
Robert Allan James and Claude 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 James and Claude Sonnet 5
2026-08-11 20:34:14 -04:00
68840bed0c
FABRIC.md: item 4.4o -- 640x480 scroll-box centering math computed
Robert Allan James and Claude Sonnet 5
2026-08-11 20:20:59 -04:00
2b4d426e37
FABRIC.md: item 4.4n -- CANVAS rectangle computed, per architecture
Robert Allan James and Claude 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 James and Claude Sonnet 5
2026-08-11 20:17:33 -04:00
9caebabd17
FABRIC.md: item 4.4l -- framebuffer resolution confirmed, all three architectures
Robert Allan James and Claude 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 James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-11 19:39:54 -04:00
ae7c9429b4
starkernel: color the console prompt (FABRIC.md item 4.4h)
Robert Allan James and Claude Sonnet 5
2026-08-11 19:35:32 -04:00
f33353430f
starkernel: land console_fb_init() reorder (FABRIC.md 4.4g decided)
Robert Allan James and Claude 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 James and Claude Sonnet 5
2026-08-11 17:06:09 -04:00
a1c9fc7330
starkernel: fix lidt() inline-asm constraint hazard, land -O2
Robert Allan James and Claude 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 James and Claude 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 James and Claude Sonnet 5
2026-08-11 12:17:23 -04:00
b43e51a95d
starkernel: fix muldiv64() inline-asm register-allocation hazard
Robert Allan James and Claude Sonnet 5
2026-08-11 12:16:21 -04:00
dd09de65f5
FABRIC.md: item 4.5d -- arch_relax() tested against the PM Timer stall, disproven
Robert Allan James and Claude Sonnet 5
2026-08-11 11:35:09 -04:00
7df2e1bae3
FABRIC.md: item 4.5d -- fortification and putc/getc fixed, PM Timer stall now blocks
Robert Allan James and Claude Sonnet 5
2026-08-11 11:14:52 -04:00
37eec5aaa1
starkernel: shim.c -- backfill freestanding putc()/getc()
Robert Allan James and Claude Sonnet 5
2026-08-11 11:14:05 -04:00
96ff2f6ae5
FABRIC.md: item 4.5d in progress -- fortification fixed, putc/getc blocks completion
Robert Allan James and Claude Sonnet 5
2026-08-11 10:58:33 -04:00
c5d46858fb
FABRIC.md: item 4.5c complete -- decided -O2, no LTO, no -DNDEBUG
Robert Allan James and Claude Sonnet 5
2026-08-11 10:12:36 -04:00
bc126c5a91
FABRIC.md: item 4.5b complete -- TimeTrustState.ticks fixed, three-arch verified
Robert Allan James and Claude Sonnet 5
2026-08-11 10:09:56 -04:00
5cbb04c60a
starkernel: TimeTrustState.ticks -- mark volatile, fixing the one hazard 4.5a found
Robert Allan James and Claude Sonnet 5
2026-08-11 10:09:47 -04:00
8f4348ec18
FABRIC.md: item 4.5a complete -- full ISR-shared global audit, all three architectures
Robert Allan James and Claude Sonnet 5
2026-08-11 10:04:31 -04:00
de69b3827d
FABRIC.md: mark 4.5 as blocking priority over all other punch-list work
Robert Allan James and Claude Sonnet 5
2026-08-11 09:56:26 -04:00
e5b4f4b814
FABRIC.md: swap 4.5/4.6 -- -O0 finding moves to 4.5, Artemis last moves to 4.6
Robert Allan James and Claude Sonnet 5
2026-08-11 09:54:35 -04:00
2e22303ef1
FABRIC.md: scope item 4.6 into 4.6a-4.6f -- audit, fix, decide flags, build, verify, retry 4.4g
Robert Allan James and Claude Sonnet 5
2026-08-11 09:48:20 -04:00
b42308762b
FABRIC.md: 4.4g stays open (reorder not viable), add urgent item 4.6 (-O0 kernel build)
Robert Allan James and Claude Sonnet 5
2026-08-11 09:42:35 -04:00
e211707e2d
starkernel: fb_scroll_rows() -- drop unnecessary volatile from the bulk copy/fill
Robert Allan James and Claude Sonnet 5
2026-08-11 09:42:19 -04:00
7ee498705e
FABRIC.md: check off 4.4c/4.4d/4.4e/4.4f, root-cause and reframe 4.4g
Robert Allan James and Claude Sonnet 5
2026-08-11 09:03:31 -04:00
da88a9a546
starkernel: item 4.4f -- fix vertically-flipped glyph rendering on the framebuffer
Robert Allan James and Claude Sonnet 5
2026-08-11 09:03:17 -04:00
099605d399
starkernel: remove item 4.3.1's orientation-test corner blocks from boot
Robert Allan James and Claude Sonnet 5
2026-08-11 08:38:12 -04:00
859381640b
FABRIC.md: insert 4.4e/4.4f/4.4g (found verifying 4.4c/4.4d), renumber 4.4e-4.4p to 4.4h-4.4s
Robert Allan James and Claude Sonnet 5
2026-08-11 08:35:58 -04:00
eefe765f00
starkernel: item 4.4e -- fix console_putc() forwarding \n to vt100_putc() without \r
Robert Allan James and Claude Sonnet 5
2026-08-11 08:35:48 -04:00
becaea7def
starkernel: item 4.4c/4.4d -- wire console_fb_init into boot, route emit_prefix to framebuffer
Robert Allan James and Claude Sonnet 5
2026-08-11 08:13:10 -04:00
bf89b8239f
FABRIC.md: insert 4.4c (wire console_fb_init into boot), renumber 4.4c-4.4o to 4.4d-4.4p
Robert Allan James and Claude Sonnet 5
2026-08-11 07:56:07 -04:00
d187c87671
FABRIC.md: insert 4.4c (framebuffer prefix bug), renumber 4.4c-4.4n to 4.4d-4.4o
Robert Allan James and Claude Sonnet 5
2026-08-11 07:50:57 -04:00
a34273579d
FABRIC.md: 4.4b -- prompt color does not depend on the TTF retarget
Robert Allan James and Claude Sonnet 5
2026-08-11 07:41:04 -04:00
f1d29e975e
repl.c: unify REPL prompt to "[VM name] ok>"
Robert Allan James and Claude Sonnet 5
2026-08-11 07:37:13 -04:00
838dcab5d2
FABRIC.md: lock REPL prompt format and colors
Robert Allan James and Claude Sonnet 5
2026-08-11 07:31:15 -04:00
a079028b40
FABRIC.md: break 4.4 REPL into 14 sub-items (4.4-4.4n), correct POST boundary
Robert Allan James and Claude Sonnet 5
2026-08-11 07:28:29 -04:00
20801ded72
FABRIC.md/ROADMAP.md/ttf_words.c: scope console REPL (4.4), obsolete M8, flip TTF to Cartesian y
Robert Allan James and Claude Sonnet 5
2026-08-11 07:08:32 -04:00
8e2c5dae5f
ROADMAP.md: scope M8 REPL keyboard wiring, design decisions resolved
Robert Allan James and Claude Sonnet 5
2026-08-11 00:52:40 -04:00
ed8bf5460b
FABRIC.md: checkpoint -- TTF rendering verified, 3 arches (4.3.7f)
Robert Allan James and Claude Sonnet 5
2026-08-11 00:45:11 -04:00
715ebcc57e
ttf_words.c: TTF-TEXT entry point, hmtx advance widths (item 4.3.7e)
Robert Allan James and Claude Sonnet 5
2026-08-10 23:11:40 -04:00
2db4603d04
ttf.c: glyph raster cache, fixed slots, no allocation (item 4.3.7d)
Robert Allan James and Claude Sonnet 5
2026-08-10 22:31:56 -04:00
095860251a
ttf.c: rasterization -- Bezier flattening + even-odd scanline fill
Robert Allan James and Claude Sonnet 5
2026-08-10 22:24:47 -04:00
2ef8d26c6f
capsules/fonts: JetBrainsMono-Regular.ttf as a raw-blob capsule (item 4.3.7b)
Robert Allan James and Claude Sonnet 5
2026-08-10 21:50:35 -04:00
70b6918279
ttf.c: glyph outline extraction, simple and composite (item 4.3.7a)
Robert Allan James and Claude Sonnet 5
2026-08-10 21:45:04 -04:00
5f6cc054d4
ttf.c/ttf.h/ttftest.c: TrueType parser core -- sfnt/head/maxp/loca/glyf/cmap (item 4.3.7)
Robert Allan James and Claude Sonnet 5
2026-08-10 21:41:42 -04:00
b9b7cb2c6a
FABRIC.md: checkpoint -- all 113 v1 glyphs verified, 3 arches (4.3.6g)
Robert Allan James and Claude Sonnet 5
2026-08-09 21:35:07 -04:00
