🤖 About These Docs

This notice is itself AI-drafted. It seemed only fair.

Every document in the Decentralization Stack section that carries the 🤖 marker — which, at the moment, is all of them — was drafted by an AI collaborator (Anthropic's Claude), working from the human author's designs, critiques, and direction across many iterative sessions.

The division of labor, as accurately as we can state it: the human supplied the goals and tenets, the core ideas (the currency-as-local-shares intuition, the predictive-memory idea, the zone-merging crux, the protocols-as-priors reframe, among others), every architectural decision, the critiques that drove each rewrite, and the final call on what ships. The AI supplied synthesis, structure, formalization sketches, connections to existing literature, and most of the actual sentences, including the jokes.

Why tell you before you click: fluent prose can smuggle unverified claims, and these documents are fluent. Several results are stated with proof sketches that no referee has checked. Several mechanisms are design candidates, not commitments. Citations to real literature (session types, consensus numbers, scoring rules) were made from the AI's training knowledge and spot-checked, not systematically verified. An AI's confidence and a claim's reliability are uncorrelated exactly at the margins that matter, so read the ⚠️ blocks as load-bearing rather than decorative.

The full marker legend for this section:

MarkerMeans
🤖AI-drafted, human-directed (this notice)
🚧draft; structure may still move
⚠️known weakness or open problem, stated next to the claim it qualifies
📐pointer to the formal treatment
🧪working note; rawer than book prose

Documents outside this section — the dither/ routing designs, the disp/ language docs, the application sketches — are largely human-written unless individually marked.

If you find an error, that is the system working as described; the whole design is about paying for error correction. Until the machinery in chapter 3 exists to pay you properly, consider filing an issue at libdither/dither-spec an act of unpaid forecasting.