---
typeId: req
recordId: benac-host-001
fields:
  title: Host API semantics
  statement: >-
    Benac Host Implementations shall expose stable Host API semantics to Benac Core and
    package operations.

    The exact transport can differ by implementation, but the semantics shall include
    storage, DASL CID creation/parsing/verification, DRISL encoding and decoding for
    Benac logical payloads, local user authentication, Station-to-Station
    authentication, agent session authentication, authentication-context reporting,
    signing support where authorized, signature verification, local and remote
    authentication support, encryption/decryption where authorized, key wrapping where
    authorized, schema validation, package import/export, package validation, package
    build where available, fixture execution, package inspection, trust query,
    capability request, invocation lifecycle, evidence emission, effect emission,
    disclosure recording, secret and credential mediation, local blob access, remote
    storage access where mediated and authorized, remote compute access where mediated
    and authorized, clock, random bytes, Station Profile inspection, known schema
    ruleset reporting, known calling-convention reporting, known resource-limit
    reporting, and known mediation-status reporting.

    Host API reporting shall not be treated as approval.

    Host API reporting shall not be treated as a capability grant.

    Host API reporting shall not be treated as a complete list of everything the Host
    Platform can do.

    Host API semantics shall not classify packages.
  rationale: >-
    Benac Core, agents, and packages need stable host semantics even when host transport
    differs by platform.
  verification: >-
    Host API conformance tests exercise CID creation/parsing/verification, DRISL
    encoding and decoding, package import/export, package validation, fixture execution,
    package inspection, trust/capability queries, invocation lifecycle, evidence/effect
    emission, schema ruleset reporting, calling-convention reporting, resource-limit
    reporting, and mediation-status reporting.
  area: BENAC-HOST
  sourceSections:
    - Host API
  order: 192
  testable: true
  status: draft
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
---
