rajames/LithosAnanke
1
1
Fork 0
Code Issues 62 Pull Requests 1 Actions Packages Projects Releases Activity

Commit Graph

  • 186680724e docs(readme): v4.0.0-alpha.3, Try it, the plug-and-play stick, the acceptance gate StarForth-v4.0.0 Claude 2026-11-08 15:32:42 +00:00
  • 929f0e13c5 fix(blocks): a BAM flush reads and writes only the pages that hold the volume's bits (#155) Claude 2026-11-08 15:03:43 +00:00
  • 1354b30a78 logs: #155 regressions -- stick_grow, both boots: PASS [skip ci] Claude 2026-11-08 14:43:56 +00:00
  • d2c11d4b6f logs: #155 regressions -- the second boots of genesis on aarch64 and riscv64 [skip ci] Claude 2026-11-08 14:38:18 +00:00
  • cd579c8ec1 logs: #155 regressions -- genesis on aarch64 and riscv64: PASS [skip ci] Claude 2026-11-08 14:38:04 +00:00
  • c0d0d03986 logs: #155 regressions -- v3_keys (v3 on the shared BAM code), genesis amd64: PASS [skip ci] Claude 2026-11-08 14:28:02 +00:00
  • 52f48ed2a9 wip(blocks): a BAM flush reads and writes only the pages that hold the volume's bits (#155) [skip ci] Claude 2026-11-08 14:21:57 +00:00
  • b399cb7c35 test(build): acceptance boots a fresh data stick -- every run is a first boot (#92, Task 3) Claude 2026-11-08 14:16:52 +00:00
  • bc0faa69df logs: Task 3 regressions -- hotplug, the seven GPT modes, entropy on three ISAs: PASS (#92) [skip ci] Claude 2026-11-08 14:15:01 +00:00
  • 28f9f317ba logs: Task 3 regressions -- raw_ident, headless (no drive: no prompt): PASS (#92) [skip ci] Claude 2026-11-08 13:45:18 +00:00
  • 47b8eb262b logs: Task 3 regression -- stick_zuse: PASS (#92) [skip ci] Claude 2026-11-08 13:40:21 +00:00
  • d2353a5f67 FABRIC-3 XLVIII.11: the Book of Fabric is published with alpha.4 (#138) [skip ci] Claude 2026-11-08 13:40:01 +00:00
  • 190b0e8b05 logs: v3_keys FAIL -- a virtio_blk request never completed, the boot stalled before Zuse (#92, Task 3) [skip ci] Claude 2026-11-08 13:37:55 +00:00
  • 0f70f69e06 logs: acceptance stick-high (stick_genesis) and test-32, the verdicts of #92 Task 3's acceptance: PASS [skip ci] Claude 2026-11-08 13:29:35 +00:00
  • a55571b25d FABRIC-3 XLVIII.12: a DoE per release, its own milestone (#158) [skip ci] Claude 2026-11-08 13:29:14 +00:00
  • e60cb5c245 logs: acceptance riscv64 on a fresh data stick: PASS (#92, Task 3) [skip ci] Claude 2026-11-08 13:22:20 +00:00
  • 24db454141 logs: acceptance aarch64 on a fresh data stick: PASS (#92, Task 3) [skip ci] Claude 2026-11-08 13:20:27 +00:00
  • 792e736bc0 logs: acceptance amd64 on a fresh data stick -- genesis, the prompt: PASS (#92, Task 3) [skip ci] Claude 2026-11-08 13:15:53 +00:00
  • eca00628f0 FABRIC-3 XLVIII.11: the Book of Fabric and the dictionary on the .com, ruled for alpha.4 (#138, #157) [skip ci] Claude 2026-11-08 13:15:34 +00:00
  • 9d6410c06f wip(build): acceptance boots a fresh data stick -- every run is a first boot (#92, Task 3) [skip ci] Claude 2026-11-08 13:13:25 +00:00
  • ec9eb5f225 FABRIC-3 XLVIII.10: retiring v3 is its own milestone (#156) [skip ci] Claude 2026-11-08 13:02:43 +00:00
  • e26c809a17 logs: the zuse session stopped by Captain Bob mid-run (#92, Task 3 -- not a verdict) [skip ci] Claude 2026-11-08 13:02:01 +00:00
  • def2336fc4 FABRIC-3 XLVIII.10: retire v3, ruled for alpha.5 (#156); #155 filed [skip ci] Claude 2026-11-08 13:01:30 +00:00
  • f81b5d0563 feat(kernel): Artemis grows to fill the stick at its first boot -- metadata only, capped at 256 GiB (#92, Task 2) Claude 2026-11-08 12:45:33 +00:00
  • a5c1136692 logs: Task 2 regressions -- artemis_unsigned, midpull (replug: not grown again): PASS (#92) [skip ci] Claude 2026-11-08 12:31:02 +00:00
  • 4bc8a01b4c logs: Task 2 regressions -- stick_zuse, two_sticks: PASS (#92) [skip ci] Claude 2026-11-08 12:27:39 +00:00
  • 7dbc1de864 logs: Task 2 regressions -- genesis on aarch64 and riscv64, stick_genesis, stick_boot: PASS (#92) [skip ci] Claude 2026-11-08 12:21:32 +00:00
  • add73563b2 logs: genesis on amd64 with the 256 GiB BAM on the data stick: PASS (#92, Task 2) [skip ci] Claude 2026-11-08 12:08:21 +00:00
  • 5bb247d678 wip(kernel): Artemis grows to fill the stick at its first boot -- metadata only, capped at 256 GiB (#92, Task 2) [skip ci] Claude 2026-11-08 12:03:46 +00:00
  • 4e935e4825 test(stick): Artemis grows to fill the stick -- the tests, seen to fail (#92, Task 2) [skip ci] Claude 2026-11-08 11:54:53 +00:00
  • 4c38a7b1e6 feat(kernel): the proxy Zuse -- a stick's first boot mints its own Zuse; the genesis marker's version 2 (#92, Task 1) Claude 2026-11-08 04:54:00 +00:00
  • 96bc60883d logs: acceptance amd64 for #92 Task 1: PASS [skip ci] Claude 2026-11-08 04:43:26 +00:00
  • a58ddbfc24 FABRIC-3 XLVIII.8: #92 Task 1, the proxy Zuse -- built, tested first, regressions [skip ci] Claude 2026-11-08 04:41:25 +00:00
  • c587678dbd logs: stick_boot and stick_artemis at --log-level=info: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:40:46 +00:00
  • b4d673f929 logs: v3_keys -- v3's genesis and marker unchanged: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:37:17 +00:00
  • 0b49d03526 logs: gpt_read_error: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:35:49 +00:00
  • 6627f710b2 logs: gpt_no_header: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:33:15 +00:00
  • 7dca7fb699 logs: gpt_bad_entries: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:30:45 +00:00
  • 715c09a9d1 logs: gpt_bad_crc: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:28:18 +00:00
  • c38f4f4965 logs: gpt_foreign: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:25:50 +00:00
  • 8b1ba39040 logs: gpt_hotplug: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:23:25 +00:00
  • 429eb72aa2 logs: gpt_zuse -- a GPT drive with only an identity partition is not used: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:20:54 +00:00
  • 91a7150276 logs: typeahead -- what was typed while headless does not run: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:18:23 +00:00
  • 607ae1c2da logs: waitpull -- pulled while a line waits, re-attached: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:16:12 +00:00
  • da800ce844 logs: midpull -- pulled mid-line, replugged, Artemis attached again: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:14:06 +00:00
  • cff3787b92 logs: hotplug -- added, pulled, added again: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:12:07 +00:00
  • dc9a086603 logs: raw_ident -- a raw identity drive is not used: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:09:15 +00:00
  • bcd51cb33d logs: artemis_unsigned -- a bad Artemis signature: not used, nothing minted: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:06:25 +00:00
  • 19a8a036c2 logs: two_sticks -- a blank data stick beside Zuse's is still not used: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 04:03:32 +00:00
  • 258842aafc logs: stick_artemis run without --log-level=info -- its disk-size check found no info lines: FAIL, to be rerun (#92, Task 1) [skip ci] Claude 2026-11-08 04:01:35 +00:00
  • 727a707580 logs: stick_zuse -- the PC stick with the pair: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 03:59:34 +00:00
  • 634a49b533 logs: zuse -- the minted pair's version 1 marker logs in as the proxy: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 03:58:03 +00:00
  • 56e4d60844 logs: stick_boot run without --log-level=info -- its disk-size check found no info lines: FAIL, to be rerun (#92, Task 1) [skip ci] Claude 2026-11-08 03:56:18 +00:00
  • 68919741fc logs: stick_genesis -- the PC stick as built boots to [zuse@Hera] ok> with nothing set up: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 03:54:38 +00:00
  • 0e1c9650b4 logs: genesis on riscv64, two boots -- minted, then recognised: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 03:53:11 +00:00
  • 9ed9cf1ad0 logs: genesis on aarch64, two boots -- minted, then recognised: PASS (#92, Task 1) [skip ci] Claude 2026-11-08 03:49:32 +00:00
  • bfe3506aec wip(kernel): the proxy Zuse -- a stick's first boot mints its own Zuse (#92, Task 1) [skip ci] Claude 2026-11-08 03:43:33 +00:00
  • e695eadaf7 Merge pull request 'Release machinery for Downloads, the root CA, demo and site updates (#126)' (#154) from StarForth-v4.0.0 into master master rajames 2026-11-08 03:20:42 +00:00
  • 8f1ba02b3c acceptance: run the gate on this branch's head before the PR into master Claude 2026-11-08 02:54:47 +00:00
  • a293eab1d4 pki: the StarshipOS Root CA's certificate, public, in the tree (#126) [skip ci] Claude 2026-11-08 02:36:45 +00:00
  • cac4e7fb50 site/com: Read the paper links to the SSRN abstract (#146) [skip ci] Claude 2026-11-08 02:33:36 +00:00
  • 199720e769 FABRIC-3 XLVIII.7: Downloads -- the PC stick, the Gitea release, #92 into alpha.4 [skip ci] Claude 2026-11-08 02:32:36 +00:00
  • d54e2fe276 release: the PC stick image, and a Gitea release anyone can download from (#126) Claude 2026-11-08 02:32:03 +00:00
  • 44264d0781 FABRIC-3 XLVIII.6: #131 closed -- QEMU's capture doubled a byte, not our kernel [skip ci] Claude 2026-11-08 02:25:06 +00:00
  • 55613350c4 demo: CPUQuota 150%, as set on the server (#116) [skip ci] Claude 2026-11-08 02:09:52 +00:00
  • f747ab78a6 Merge pull request 'kernel: v4 waits for a key in arch_halt(), not a spin (#151); Try it deployed' (#153) from StarForth-v4.0.0 into master rajames 2026-11-08 01:59:29 +00:00
  • 1928d53b6b kernel: v4 waits for a key in arch_halt(), not a spin (#151) Claude 2026-11-08 01:21:36 +00:00
  • a083c5b834 site/com: Try it in the .com's navigation (#117) [skip ci] Claude 2026-11-08 00:49:46 +00:00
  • 88b962b29e demo: one core for all sessions, lowest priority, 1 GiB; Try it deployed [skip ci] Claude 2026-11-08 00:38:54 +00:00
  • 4d0b9ab771 demo/DEPLOY.md: disable the ttyd package's own service first [skip ci] Claude 2026-11-08 00:25:26 +00:00
  • 0dbad0f278 demo: DEPLOY.md, the server checklist for Try it [skip ci] Claude 2026-11-08 00:07:58 +00:00
  • 6bbf4b1afd Merge pull request 'acceptance prints the serial log of a failed check (#136); the demo limits its guests (#116)' (#148) from StarForth-v4.0.0 into master rajames 2026-11-08 00:07:45 +00:00
  • 1e3f211daa FABRIC-3 XLVIII: the review, the protocol, the SDK, the demo's limits Claude 2026-11-07 23:19:28 +00:00
  • 171b3947dd demo: two guests of 384 MiB, and a busy message for the rest (#116) Claude 2026-11-07 23:18:40 +00:00
  • 1d4898496f acceptance: a failed check prints the serial log where it looked (#136) Claude 2026-11-07 22:49:03 +00:00
  • 777f739708 Merge pull request 'release: v4.0.0-alpha.3; the proofs run capped to fit the server' (#132) from StarForth-v4.0.0 into master v4.0.0-alpha.3 rajames 2026-11-07 20:52:52 +00:00
  • b8951bc26b release v4.0.0-alpha.3: accepted in full, logs Claude 2026-11-07 20:09:33 +00:00
  • 50d2bc98d9 release: v4.0.0-alpha.3; the proofs run capped to fit the server Claude 2026-11-07 19:54:47 +00:00
  • 2d43db252a Merge pull request 'release: v4.0.0-alpha.2; release.yml keeps the image's Isabelle' (#130) from StarForth-v4.0.0 into master v4.0.0-alpha.2 rajames 2026-11-07 19:32:30 +00:00
  • 37f62d688b logs: three riscv64 boots of v4.0.0-alpha.2, looking for run 197's failure Claude 2026-11-07 19:15:04 +00:00
  • cabe974872 release v4.0.0-alpha.2: start #130's acceptance check Claude 2026-11-07 18:59:34 +00:00
  • 4a125cdd21 release v4.0.0-alpha.2: run the acceptance check on #130 Claude 2026-11-07 18:56:16 +00:00
  • d8bf2e1121 release v4.0.0-alpha.2: accepted in full, logs [skip ci] Claude 2026-11-07 18:55:30 +00:00
  • 04006bff12 release: v4.0.0-alpha.2; release.yml keeps the image's Isabelle [skip ci] Claude 2026-11-07 18:40:00 +00:00
  • 233025da88 Merge pull request 'ci: the workflows run in the runner image with HOL-Library' (#128) from StarForth-v4.0.0 into master v4.0.0-alpha.1 rajames 2026-11-07 18:17:52 +00:00
  • 3c21a20f1a ci: the workflows run in lithosananke-runner:4f675c8b75b2, with HOL-Library Claude 2026-11-07 17:47:12 +00:00
  • 4f675c8b75 Merge pull request 'LithosAnanke v4.0.0-alpha.1: the first alpha release' (#127) from StarForth-v4.0.0 into master rajames 2026-11-07 17:46:01 +00:00
  • da020a430d ci: one concurrency group for every workflow; a runner-image rebuild blocks the rest Claude 2026-11-07 17:17:11 +00:00
  • 2580a40e1d ci: the runner image fetches HOL-Library, prebuilt, instead of building it Claude 2026-11-07 17:15:56 +00:00
  • 857083359f Merge Captain Bob's c589d3d5 (the same certificate, committed on the CI box) [skip ci] Claude 2026-11-07 17:12:04 +00:00
  • 458f8f3ec8 release v4.0.0-alpha.1: accepted again with the StarshipOS certificate [skip ci] Claude 2026-11-07 17:11:40 +00:00
  • 4ca935d82e pki: the StarshipOS Capsule Signing certificate, in place of snakeoil [skip ci] Claude 2026-11-07 16:55:37 +00:00
  • c589d3d5b7 pki: the StarshipOS CA, made on the CI box (Captain Bob, 2026-11-07) Robert A. James 2026-11-07 16:51:39 +00:00
  • d7d431f1d6 release v4.0.0-alpha.1: accepted in full, logs and record [skip ci] Claude 2026-11-07 15:24:28 +00:00
  • b7534107f3 kernel: v4.0.0-alpha.1, the first alpha release [skip ci] Claude 2026-11-07 15:07:17 +00:00
  • 236839a914 site/brand: the banner says StarshipOS [skip ci] Claude 2026-11-07 14:36:36 +00:00
  • bb3246f924 ci: no Build run for a commit that only changes site/ [skip ci] Claude 2026-11-07 13:55:24 +00:00
  • 038556bb3e site: visitors see the design alone, not XWiki's chrome Claude 2026-11-07 13:51:15 +00:00
  • dca3ea56b9 site: no Python caches Claude 2026-11-07 13:47:48 +00:00
  • c2ff10015f site: the design's colours over the wikis' high-contrast theme; .org inquiries Claude 2026-11-07 13:47:37 +00:00