bb3246f924
ci: no Build run for a commit that only changes site/ [skip ci]
Claude2026-11-07 13:55:24 +00:00
038556bb3e
site: visitors see the design alone, not XWiki's chrome
Claude2026-11-07 13:51:15 +00:00
dca3ea56b9
site: no Python caches
Claude2026-11-07 13:47:48 +00:00
c2ff10015f
site: the design's colours over the wikis' high-contrast theme; .org inquiries
Claude2026-11-07 13:47:37 +00:00
7d9dd4e4a9
site/org: installed; rights before pages; objects as XML
Claude2026-11-07 13:32:56 +00:00
8918951482
site/com: the .com pages from the design canvas, installed
Claude2026-11-07 13:31:31 +00:00
911b1529cc
Merge remote-tracking branch 'origin/master' into StarForth-v4.0.0
Claude2026-11-07 11:36:29 +00:00
e15d9022cf
Merge pull request 'ci: the nightly's proofs run last, and cannot hold back the images' (#124) from nightly-proofs-last into master
rajames2026-11-07 11:36:22 +00:00
6f14d8d6bc
site/org: the .org pages in the starshipos-f18.com look
Claude2026-11-07 11:36:09 +00:00
51dd4a8391
site/org: the .org wiki's landing page and its two dashboards
Claude2026-11-07 11:29:10 +00:00
c27fdc6289
ci: the nightly's proofs run last, and cannot hold back the images
Claude2026-11-07 03:38:39 +00:00
03027f9769
pki: the StarshipOS CA, made on the CI box; capsules signed in CI
Claude2026-11-07 04:15:29 +00:00
4ae1f759d5
ci: HOL-Library built into the runner image
Claude2026-11-07 03:41:34 +00:00
5690d2980b
ci: the nightly's proofs run last, and cannot hold back the images
Claude2026-11-07 03:38:39 +00:00
d936420dfa
Merge pull request 'ci: run the jobs in the runner image (#120)' (#123) from StarForth-v4.0.0 into master
rajames2026-11-07 01:30:33 +00:00
fb24d3f482
ci: run the jobs in the runner image (#120)
Claude2026-11-07 00:57:35 +00:00
0316573226
docs: FABRIC-3.md XLV and CHANGELOG -- one process from developer to master (2026-11-06)
rajamesandClaude Opus 5.52026-11-06 17:13:30 +00:00
0fd7648a77
ci: acceptance.yml gates every PR into master; master only through an accepted PR
rajamesandClaude Opus 5.52026-11-06 16:24:22 +00:00
6eadd2f56c
ci: build.yml checks every push and PR; every job on Ubuntu 24.04 with Node (closes#18)
rajamesandClaude Opus 5.52026-11-06 16:22:05 +00:00
92ca805ecf
Merge master into StarForth-v4.0.0: the branch's build, master's CI files kept
rajamesandClaude Opus 5.52026-11-06 16:08:22 +00:00
a26f177ac6
docs(claude): trim .claude/CLAUDE.md; v3 and bare-metal notes load only where they apply
rajamesandClaude Opus 5.52026-11-06 15:55:37 +00:00
3b0fe81669
logs: a proof run that checked nothing -- isabelle build found StarForth up to date
rajamesandClaude Opus 5.52026-11-06 15:22:17 +00:00
d185b64487
logs: the nightly's stages run by hand -- acceptance, proofs -- PASS
rajamesandClaude Opus 5.52026-11-06 15:21:59 +00:00
a5a29cc857
ci: nightly images, nightly documents and tagged releases, in the tree
rajamesandClaude Opus 5.52026-11-06 15:21:58 +00:00
7f574c54ff
ci: nightly images and nightly documents, from StarForth-v4.0.0, to Nexus
rajamesandClaude Opus 5.52026-11-06 14:50:51 +00:00
deb71faeb2
logs: the nightly's boot checks, run by hand -- amd64, aarch64, riscv64 headless, PASS
rajamesandClaude Opus 5.52026-11-06 14:45:36 +00:00
ca95567d14
build: scripts/nightly.sh -- the nightly snapshot of the board images, for Nexus
rajamesandClaude Opus 5.52026-11-06 14:45:35 +00:00
caad527e26
ci: add workflow_dispatch trigger for manual test runs
rajames2026-11-06 14:05:45 +00:00
027b144ec7
chore(lfs): the logs and DoE CSVs committed as plain files go into LFS
rajamesandClaude Opus 5.52026-11-06 00:43:48 +00:00
fd2088255d
fix(v4): overlong lines are refused whole; a refused store moves neither A nor P
rajamesandClaude Opus 5.52026-11-05 23:27:56 +00:00
728b0a54eb
docs(plan): the stick, increments 5 and 5a -- the proxy Zuse, growth, MINT-ZUSE and the fixed screen
rajamesandClaude Opus 5.52026-10-29 08:23:40 -04:00
248179257a
docs(stick): plug and play -- a proxy Zuse on every stick's first boot, the real Zuse on a second stick
rajamesandClaude Opus 5.52026-10-29 08:15:53 -04:00
d6ea592c08
fix(amd64): the image runs wherever the firmware loads it -- -fpie, every symbol hidden; qemu-stick-high in acceptance
rajamesandClaude Opus 5.52026-10-29 07:34:11 -04:00
0a31e558be
feat(build): make write_stick DEVICE=/dev/sdX -- the PC stick onto a USB stick, checked and read back
rajamesandClaude Opus 5.52026-10-29 06:22:26 -04:00
954b4d5f70
feat(kernel): screen=boot keeps the console on the screen until login -- for watching a PC boot
rajamesandClaude Opus 5.52026-10-28 17:50:10 -04:00
1e8a6fed34
feat(kernel): Artemis and Zuse from one disk -- the stick; virtio Artemis leaves v4
rajamesandClaude Opus 5.52026-10-28 16:10:33 -04:00
1b45f5f85f
feat(boot): the loader tells the kernel its boot disk; system=v3 is refused on a stick
rajamesandClaude Opus 5.52026-10-28 12:08:48 -04:00
a321c537f7
docs(outreach): the drafts move to studio/ (outside git), on Captain Bob's word
rajamesandClaude Opus 5.52026-10-28 11:18:23 -04:00
18fea6d90e
chore: ignore studio/ -- Captain Bob's outreach workflow, posts and video
rajamesandClaude Opus 5.52026-10-28 11:17:13 -04:00
4ed572058d
docs(patent): SSM-001 claim-support map, toward the non-provisional due 2026-12-16
rajamesandClaude Opus 5.52026-10-28 11:03:17 -04:00
95f5afed5c
feat(kernel): entropy on the v4 path; QEMU's amd64 CPU has RDRAND, as a PC's
rajamesandClaude Opus 5.52026-10-28 10:27:07 -04:00
f5866d39cc
docs(patent): the second provisional's outline -- the OS-and-proofs method, with explicit epistemic status
rajamesandClaude Opus 5.52026-10-28 09:31:19 -04:00
38b2b9693a
test(build): Zuse's minted pair as a stick -- the acceptance boots and the sessions use it
rajamesandClaude Opus 5.52026-10-28 08:41:51 -04:00
b2278b6204
docs(boards): the Zynq-7020 board is a Puzhi PZ-StarLite -- its JTAG, serial, boot and vendor files
rajamesandClaude Opus 5.52026-10-28 07:29:34 -04:00
55f7c4f842
docs(v4): the plan for the stick's increment 4 -- Artemis and Zuse from one disk
rajamesandClaude Opus 5.52026-10-28 06:11:59 -04:00
195b7feb07
fix(build): image checks cannot pass on a stale stick; mkartemis refuses bad numbers and reads its format back
rajamesandClaude Opus 5.52026-10-27 19:02:54 -04:00
Claude
rajames