AstraNL for machine and robot operators: expose capability, keep control

Tell AstraNL what needs to happen. It finds a real way to get it done and shows the evidence.

State: CANON. Stated identity, rendered from canon; external copies verified: EXTERNALLY_CONVERGED

Limitation: a statement of what AstraNL is built to be; adoption and volume are separate claims

See evidence identity.one_line rev 4

Not proven: AstraNL routes work to operator-backed machines.

State: NOT_PROVEN. catalogue only; registered operators 0

Limitation: catalogue only; registered operators 0

See evidence not_proven.robot_execution_capacity rev 3

Not proven: AstraNL executes real work without founder initiation.

State: NOT_PROVEN. no autonomy-labelled case has a machine-checkable lifecycle

Limitation: no autonomy-labelled case has a machine-checkable lifecycle

See evidence not_proven.autonomous_execution rev 3

Only explicitly approved operations are in the public API.

State: LIVE. Build fails closed on any leak; 210 operations approved

Limitation: idempotency metadata debt is published, not hidden

See evidence boundary.public_api rev 3

AstraNL publishes its own contradictions.

State: LIVE. 4 still open or index-stale: C133-08, C133-11, E133-07, E133-13

See evidence truth.contradictions rev 5

Whether these pages are understandable to a first-time reader has not been tested.

State: NOT_TESTED. NOT_TESTED

Limitation: PROOF_CORRECTNESS is not HUMAN_COMPREHENSION; the two are separate claims

See evidence human_comprehension rev 1

This page decides nothing; every state is copied from its source.

State: IMPLEMENTED. External-path fetch 2026-09-04T19:21 (a separate network path, not an audit): bytes identical to origin True, claims hash recomputed True, 6 evidence files hash-matched

Limitation: the observation receipt is for the previous render of /data/claims.json, since this render includes the receipt itself; each render is observed on the next cycle

See evidence proof_correctness rev 3