Status: pre-launch. This page describes target design; this document does not establish a deployed service.
Theory to Praxis — What Is Built, What Is Proven, What Is Still Direction
This page separates:
- built in code
- bounded local proof
- runtime/public embodiment
That is the only honest way to describe a corpus where architecture, code, local proofs, and public claims are all moving at different speeds.
The Current Translation Layer
| Surface | Built in code | Bounded local proof | Runtime/public boundary |
|---|---|---|---|
| TheCircle | strong observation code surface | real RSS ingest + canonical packet receipts | live public relay-native F1 is still narrower |
| RealityFutures | contracts + web app + passing Forge lane | statistical fallback supports local organism proofs indirectly | live deployed market loop still not general truth |
| APU | deepest executable organ in code | bounded local packet-to-F4 proof exists | not a live autonomous managed-capital surface |
| Skyzai | bridge, membrane, app shell, execution substrate | local F4 bridge proof + web build proof | strongest outward settlement claims remain narrower |
What Has Crossed From Theory Into Praxis
1. Constitutional separation
The pipeline is not only described; it exists as real interface boundaries in code and in bounded local proof work.
2. Canonical packetization
The organism now has a stronger typed packet surface than older public pages reflected. This matters because it turns philosophical separation into inspectable inter-organ handoff.
3. Local inter-organ closure
The organism now has at least one bounded local cross-organ loop:
TheCircle SignalPacket -> APU judgment -> Skyzai F4 acceptance -> memory lookup
That is not the final public organism, but it is more than architecture alone.
4. Execution substrate proof
Skyzai's bridge and app shell now have concrete local proofs, which moves ACT out of pure concept and into materially demonstrated infrastructure.
What Is Still More Theory Than Praxis
1. Public outward voice
Local publication paths exist, but fully live public organism speech is still a narrower claim than the code-only surfaces.
2. Live market-backed RealityFutures closure
The COULD organ is strong in code and tests, but the strongest live-market claims remain ahead of the current proof register.
3. Real public settlement closure
The body is more real than older public summaries implied, but the strongest final payment/settlement claims still require stricter runtime proof.
Practical Read Rule
If a page sounds more triumphant than the current receipts justify, route back through:
- the private P-scores register
- the private runtime-truth boundary document
- the dated receipt in the relevant organ folder
Theory matters here. But praxis only counts when the proof surface is named.