Articles Directory

Type: kb/types/generated-index.md

Bootstrapping the First Automated Software House (article) - Commonplace as a human-agent seed, separate operational and learning transfers, and an illustrative component trial of learning which checks a Markdown edit needs
Nearest existing constructions to a witness house (article) - Eighteen constructions with local review or evidence compared against the automated software house conjecture's four witness conditions, which allow a human-built start; plus the explicit-theory test from the training article
The Automated Software House as the Unit of Training (article) - Fixed-model training of the software house through retained theory and machinery, with a checking-policy example and experiments separating causal influence, transfer, and learning cost
The Automated Software House Conjecture (article) - Conjecture that an automated software house can sustain open-ended coherent software change with LLMs available by 2026-09-02 and held fixed; system boundary, components that perform the program-theory function, and witness conditions
Transition closure and continuation reliability (article) - Supplement to the automated software house conjecture: fixed computational semantics allow mutable update policies; transition closure constrains how the house may change but does not establish that it sustains adequacy
Writing conventions for kb/articles/