I'll take a look! The git repo is a little heavyweight, but it looks like my cellphone connection can handle it. I've spent US$6 on cellphone credit for the last 2 months, and that's about to run out, so I'm getting 60 KiB per second now. It'd sure be nice to have a version of the repo that doesn't include dozens of megabytes of digital audio!

I feel like maybe the stated goal, "be able to create a technology stack which can self-replicate with 500 motivated students in 8 years, starting with a US-equivalent 8th grade education," is going to be hard to measure progress against, because every test run takes 8 years. Worse, it takes 500 motivated students with only a US-equivalent 8th-grade education! A much more ambitious goal would be easier to measure progress against.

A thing I'm not totally clear on is whether this is an unbootstrapping effort like Primitive Technology and bootstrappable.org, where your 500 motivated 12-year-olds are marooned on a desert island with only the shirts on their backs and the Ark of the Covenant, and have the primary objective of building a jumbo jet from found materials within 8 years, or a bootstrapping effort like Debian reproducible builds.

To take an extreme example, if you had a 3-D printer with a "reproduce self" button that needs only rocks, clay, wood, dirt, sand, ore, etc., to print out a new identical 3-D printer, even a single 12-year-old could operate it, even if not very motivated. Would such a "seed factory" qualify as a Civboot? (Properly documented, of course, and with enough additional UI that you could use it to make other things.) What if there's no feasible way to build it by hand from rocks and clay etc. if you don't already have one (or the entirety of civilization)? A Drexlerian nanotech assembler would be such a device, for example.

You like Forth. I'm still not convinced about Forth. In the abstract it seems like it should be about as good or bad as C: the base language facilities are slightly more primitive, but Forth permits arbitrary compile-time computation, an advantage C doesn't have. In practice Forth doesn't seem to pay off as a language; I think it's better understood as an operating system for embedded work, with the Forth language taking the role of Tcl or Bash or editor keyboard macros: it's a scriptable user interface, IDE, and "debugger", in the sense that you can inspect the contents of memory.

But maybe I just don't have enough experience with Forth yet, and if I just keep practicing, it will become easier and more appealing than C. I've at least gotten over the initial hump of trying to keep all my data on the stack all the time instead of using VARIABLEs (or VALUEs). But I still find writing things in Forth a lot more bug-prone than writing them even in C, much less in something like Python, which gives probably a 2-4 times speedup over C in programming time. And I still find Forth code a lot harder to read than C or assembly.

(You might be interested in StoneKnifeForth.)

I agree that electronics are probably pretty important, because control is one of the crucial aspects of such a cyclic fabrication system, and one that can dramatically simplify its other aspects. Electronics are an extremely appealing way to do control because electrons are so light, so, at any fixed power level, you can move electrons about 100 times faster than entire atoms. So although there are a huge number of ways to do computation (relays, fluidics, hydraulics, pneumatics, Drexler's rod logic, Merkle's buckling-spring logic, DNA epigenetics, etc.) electronics have a really huge power advantage. (Solid-state electronics especially, though there do exist gigahertz-capable vacuum tubes.)

I see electronics fabrication as primarily a question of material processing capabilities: purification, measurement, etching, vacuum pumping, ion bombardment, air filtering for clean benches or clean rooms, stuff like that. Patterning is of course necessary, but the hard part of patterning, at least the way we do it now, is making good photoresists.

Is that the kind of feedback you're looking for?