Agent runtime
Agent Bus and GeoSeal carry plans through capability checks, bounded workers, policy decisions, and durable receipts.
AI systems that can show their work
Models propose. Software checks permission. Every action leaves a receipt.
AetherMoore is an independent lab building verifiable agent infrastructure, exact multi-view languages, and small-model research measured against controls.
Active checkpoint: 2 · Capability
-
1
ProposalModel proposes action + arguments.
-
2
CapabilityHost verifies identity and authority.
-
3
IsolationExecution begins without ambient access.
-
4
ActionApproved effect runs within limits.
-
5
ReceiptSystem records the decision and outcome.
Checkpoints
One system. Three working layers
The research is broad. The public architecture becomes easier to inspect when it is separated into three jobs.
Language substrate
Six canonical language views, binary and trit representations, and compiler paths expose disagreement instead of hiding it in one encoding.
Clay research
Small-model training uses retention checks, matched controls, saved lineage, and result receipts. Incomplete experiments stay labeled incomplete.
Evidence before claims
These are repository-local test campaigns with preserved commands and receipts. They measure specific deterministic behavior. External audit is still pending.
- 9,216
- canonical transitive checks
- 2,934
- compiler differential cases
- 728
- Agent Bus package tests
- 5,000
- prime-coordinate controls
Local evidence · campaigns through September 2026 · no certification claim
The model proposes. The system decides what may happen
Checkpoint 3 · Capability
Policy, identity, limits, and replay state are checked at the boundary.failed check re-plan
Research with receipts
A useful lab records what survived a test, what remains uncertain, and what a control disproved.
Status
Finding
Evidence
Proven
Six-view canonical transforms round-trip on the tested domain
9,216 transitive checks · 256 quine walks
Experimental
Topology-guided routing on learned states
Held-out controls and independent replication still required
Refuted
A learned opcode router caused the measured improvement
Execution-accounting bug found; zero-parameter control won
Built in the open, one claim at a time
AetherMoore is an independent lab founded by Issac Daniel Davis in Port Angeles, Washington. The work combines geometric intuition, agent engineering, custom language systems, and strict measurement.
AI systems help turn the ideas into code. Tests, controls, and receipts decide what the lab can honestly say afterward. The result matters more than a dramatic claim.
Patent pending: U.S. Application 19/691,526, filed May 28, 2026, claiming priority to provisional 63/961,403. Filed; not examined.