This website requires JavaScript.
Explore
Help
Sign In
Robert A. James (Captain Bob)
rajames
0 Followers
·
0 Following
Joined on
2026-09-01
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
2
Projects
Packages
Public Activity
Starred Repositories
rajames
pushed to
master
at
rajames/LithosAnanake
2026-11-06 04:28:41 +00:00
02946a5318
ci: add nightly snapshot build (02:00 UTC schedule)
rajames
pushed to
master
at
rajames/LithosAnanake
2026-11-06 04:21:01 +00:00
a6329fc0c5
ci: add documentation build job
rajames
pushed to
master
at
rajames/LithosAnanake
2026-11-06 04:20:00 +00:00
08daef9971
ci: add Isabelle/HOL proof verification job
rajames
pushed to
master
at
rajames/LithosAnanake
2026-11-06 04:17:13 +00:00
b191ace026
ci: board-matrix build pipeline with Nexus Maven publish
rajames
pushed to
master
at
rajames/LithosAnanake
2026-11-06 04:10:08 +00:00
0820ee7d32
build: introduce mk/boards.mk board target table, T= selects board
rajames
pushed to
master
at
rajames/StarForth
2026-09-18 03:29:05 +00:00
9aebbb224b
Fix extract_doe_region.py SLOT_FMT drift; regenerate report with real data
rajames
pushed to
master
at
rajames/StarForth
2026-09-18 01:03:21 +00:00
553ca9163d
FABRIC-3.md §XXXV.14: flag missing fault-triggered SSM_MODE_C0 fallback
rajames
pushed to
master
at
rajames/StarForth
2026-09-17 23:29:03 +00:00
c02fed140f
Fix ISA-tagging: two real bugs found live, campaign quit for a fresh run
rajames
pushed to
master
at
rajames/StarForth
2026-09-17 23:17:17 +00:00
51940f49d0
Add per-slot CRC + campaign crash-resume (DOE-RESUME-COUNT)
rajames
pushed to
master
at
rajames/StarForth
2026-09-17 21:47:10 +00:00
c535252907
Build the DoE region reader + automated R/LaTeX report pipeline
rajames
pushed to
master
at
rajames/StarForth
2026-09-17 20:45:42 +00:00
aaf349946f
Preserve serial logs and DoE CSVs from the last two days' campaign attempts
2da746c01c
Build DOE-PERSIST-TRIAL: block-backed DoE campaign persistence, live-verified
Compare 2 commits »
rajames
pushed to
master
at
rajames/StarForth
2026-09-17 16:30:47 +00:00
8b8e8e1405
Build capsules/per-isa-doe.4th: per-ISA campaign driver (N=3, 18 trials/ISA)
rajames
pushed to
master
at
rajames/StarForth
2026-09-17 16:07:40 +00:00
3223fac2a0
Execute FABRIC-3.md §XXXV.6: format new artemis.img, re-mint all 9 identities live
e56974e0bf
Bleach all 9 thumbdrive identity images to blank ahead of re-mint
7c5ba7a874
Rebuild disk/artemis.img fresh at 1 GiB, blank; preserve old 30 MiB image
e4a52c01be
FABRIC-3.md §XXXV: bump ratified artemis.img target from 256 MiB to 1 GiB
c19b6febc2
FABRIC-3.md §XXXV.6: ratify fresh 256 MiB artemis.img + full re-mint, no fence migration
Compare 10 commits »
rajames
created branch
master
in
rajames/StarForth
2026-09-17 16:07:40 +00:00
rajames
created repository
rajames/StarForth
2026-09-17 15:45:47 +00:00
