So I’ve been trying to fill out the “Big Picture” for a context into which DA-Hol can be placed. And in the process, inventing some other pieces of the whole which the Big Picture is intended to address.
As I have continued to work on the DA-Hol wiki, the scope of the aspiration has gradually widened. Particularly, though I had not originally intended to do, or even think, much about how models of reality could be precisely connected with the real world, or how deductive reasoning might deliver real word effects, I found myself gradually putting together a fuller conception of how these things might work, even to the point of sketvhing in the DA-Hol wiki how proof technology could build a skyscraper, and feeling the need to introduce and embrace the concept of Global Brain.
Having made a little progress with the DA-Hol wiki, I have now pretty much decided that the philosophically obvious companion, which I am now inclined to call DA-Value, should also be put in place soon, even if there is not a lot of prospect of it progressing beyond a wiki in the near future (the ideas may take a while to develop).
Creation of this web-page repository is a first step in my transition to working entirely through github repositories, reflecting a change in philosophical method from attempting to write philosophy in books as a kind of global knowledge architecture, to building software around the same kind of philosophical kernel.