ĀRU MEANING LANGUAGE™ · RESEARCH PROTOTYPE

AI proposes.
The host decides.

An agent asks to use a tool. An app asks to show an interface. ĀML makes the host's policy decision and its evidence inspectable at both boundaries. Change one input below and follow the exact path.

Try the Action Boundary Lab ↗See the two-process race ↗Try the interface proof ↗Explore the live lab ↓
proposal → exact rule → host decision → receipt

Local illustration only. No tool runs, no message is sent, and no person is asked to approve.

ĀML / TWO BOUNDARIES

AGENT PROPOSAL · SEND_MESSAGE

Requested destinationoutsider@example.test
HOST RULE send_message → team@example.test only
Host decisionBLOCKED

0 tool callbacks; no exact policy rule.

Illustrative local fixture · no live messageInspect this path ↗
01 / TRYInspect an agent action ↗Change the destination; see the exact host rule and receipt. 02 / VERIFYRun the enterprise pilot ↗Replay receipts and test a deliberate mutation. 03 / INTEGRATEStart from a clean package ↗Use the consumer rehearsal and inspect the release boundary. 04 / CHALLENGETest an agent boundary ↗Inspect 13 published cases; bring an outside implementation.
PRESERVE / RECHECK / EVOLVE

Built for the next interface. And the next.

An ĀML evidence capsule packages a decision receipt with a readable summary and two integrity digests. Keep the evidence when the screen, framework, or organization changes.

01 / CAPTUREKeep the original receiptDeclared intent, policy decisions, output, and audit evidence travel together.
02 / VERIFYRecheck every bindingRecalculate capsule digests, receipt integrity, summary, and any present signature.
03 / RENEWLink the next recordPreserve the original bytes. A SHA3-512 successor requires verifier-trusted witness quorum.
04 / RECOVERVerify across runtimesOpen a cold archive offline. Python checks capsules, signatures, and witnesses with external trust.
CAPSULE v1 · SHA-256 + SHA-512 · STRICT JSONExplore the preservation contract ↗

Read the append-only renewal contract ↗ · Pack an offline archive ↗ · Review versioned handoff ↗ · Repair from two shares ↗ · Model common storage failures ↗

Integrity alone does not establish truth, independent validation, trusted identity, or a guarantee of long-term cryptographic security.

Existence is not justification.

Conventional markup presents every declared element. The ĀML prototype inserts an inspectable policy decision before presentation.

Legacy rendering

Valid markup → rendered element.

ĀML accountable rendering

Declared meaning → policy evaluation → decision.

Operate the gate.

Change claimed restoration value. The same element may be allowed, degraded, or suppressed—and the rationale updates immediately.


    


    

      
The difference is inspectability.

      
01 · Meaning
Purpose and semantic value become explicit inputs, not invisible author assumptions.
02 · Decision
A named policy evaluates the element before the browser receives its final state.
03 · Accountability
The build emits both interface output and a machine-readable decision record.