Aby is seven coordinated reasoning facets. Each one does a specific job. Together they produce intelligence that earns its knowledge, catches its own mistakes, and grows smarter from real experience.
Hexis is HAL's structured capability ontology. Every skill HAL has is a node in this graph, connected to the physics principles it depends on, annotated with a real confidence score computed from actual evidence. When you ask HAL to do something, Hexis is what tells every other facet whether that capability exists, how confident Aby is about it, and what physical constraints govern it.
Pseudos is Aby's self-doubt mechanism. Before any action, it scans the proposed capability claim and asks: was this confidence score actually earned through real verification, or was it assumed? If it finds a gap between what Hexis claims and what the evidence actually supports, it flags it immediately. This is the facet that stops HAL from being confidently wrong — the thing nobody else has built.
Organum is the most important facet for the investor conversation. It is the only facet that generates genuinely new knowledge. After every real interaction, Organum forms a hypothesis about what was learned, writes a verification test, runs it against the physics simulation, and — if it passes — promotes a new grounded belief into Hexis with a real confidence score and a real citation. This is how Aby grows smarter from experience, not from retraining.
After every action, Leviathan compares what HAL just verified against everything else in Hexis. It asks: does this new knowledge tell us anything about capabilities we haven't verified yet? It finds structural similarities between known and unknown capabilities and proposes honest, discounted fills — but always flags them as unverified, always queues them for Organum, never auto-promotes.
Before HAL acts on any capability, Aby's Dream traces it back through the knowledge graph to real, verified physics. Every capability must trace to real grounded science — not just to another assumed capability. If the chain breaks anywhere, the action is blocked. No ungrounded claims ever reach HAL's execution layer.
As Organum accumulates verified evidence across more and more interactions, Epagoge decides when that evidence is sufficient to promote a general rule. It uses Laplace's rule of succession — a principled statistical threshold. One real counterexample blocks admission entirely. Rules are never assumed; they are earned interaction by interaction.
When HAL encounters a problem it has never solved before, Paradeigma searches for a structurally similar problem it has already solved. If the deep structure matches — same physics, same constraint type, same motion class — it proposes a transfer for human review. Never auto-applied. Always a proposal. This is how Aby reaches beyond what it has explicitly been taught.
HAL's intelligence layer is hardware-agnostic by design. The same Aby reasoning architecture that runs on our simulation environment will run on any physical platform. A hardware partner brings the body. Aby brings the mind that makes it trustworthy.