Skip to content

Authority Boundary Audit #525

@flyingrobots

Description

@flyingrobots

Migrated from Method backlog

This issue was created from a legacy filesystem backlog card. GitHub Issues are now the live work tracker; repository docs remain Method evidence.

Source backlog: docs/method/backlog/v0.1.0/SECURITY_authority-boundary-audit.md
Original lane: v0.1.0
Original legend: SECURITY

Original backlog card

Authority Boundary Audit

Status: initial local audit recorded; final release security review remains.

Depends on:

Why now

The release is only credible if application code cannot reach trusted runtime
authority. Echo's central contract-host promise is that applications submit and
observe while the runtime owner controls ticks.

Audit targets

Verify that application-facing paths cannot:

  • tick, step, start, stop, or run the scheduler;
  • access TrustedKernelControlPort or equivalent host-only capabilities;
  • resume faulted heads;
  • install privileged host adapters;
  • mutate state through query observers;
  • bypass package install compatibility checks;
  • turn retry into hidden runtime behavior.

Acceptance criteria

  • Tests prove app-facing dispatch cannot tick or access trusted runtime
    control.
  • WASM/Node/browser exports are app-safe if those packages ship.
  • Generated helpers target app-safe request APIs or host-only install APIs
    explicitly.
  • Host-only APIs are documented as runtime-owner authority.
  • Security review records deferred risks before release candidate.

Implemented local slice

docs/design/v0.1.0-authority-boundary-audit.md records the current
authority-boundary evidence and deferred risks. The local release witness keeps
application code on TrustedRuntimeApp and trusted runtime control on
TrustedRuntimeHost.

Non-goals

  • Do not build a sandbox or capability system beyond the release surface.
  • Do not treat method names as authority boundaries.
  • Do not make query observers a mutation API.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions