---
typeId: req
recordId: benac-ux-008
fields:
  title: Package inspection data contract
  statement: >-
    Benac shall define a machine-readable package inspection data contract.

    The inspection result shall include package CID, inspection context, package
    distribution context reference where relevant, Package Bundle Manifest reference
    where relevant, package document version, package labels and version labels as non-
    authoritative metadata, package interfaces, request/config/output schema references,
    validation context, validation report references, schema validation status,
    invocation contract snapshots where derivable, artifact references, artifact
    availability, artifact availability resolution method, artifact CID codec, artifact
    role, declared capabilities, capability grant status where known, storage needs,
    compute needs, fixtures, fixture discovery source and status, fixture result
    references, external claim references where available, trust decision references,
    capability grant references, warnings, unknown fields, missing artifacts, resource
    requirements, resource-limit report references where relevant, context-required
    checks not evaluated, operation status by phase, diagnostic records or diagnostic
    record references, stable diagnostic classification codes, and raw diagnostic
    evidence references where practical and safe.

    Operation status shall distinguish content validity, import success, approval
    eligibility, fixture execution eligibility, invocation eligibility, and package-
    requested effect eligibility.

    Operation status shall support at least `satisfied`, `blocked`,
    `not_yet_determined`, `not_currently_mediated_by_this_station`, `grant_missing`,
    `denied_by_policy`, `artifact_unavailable`, `resource_unavailable`,
    `attempt_denied`, `attempt_failed`, and `attempt_completed`.

    Artifact availability in inspection shall be resolved according to artifact role and
    CID codec.

    Raw blob CIDs shall be checked against blob availability.

    Structured DRISL document CIDs shall be checked against document availability or the
    supplied Package Bundle document set.

    Inspection shall not report a structured document artifact as missing merely because
    it is not in the blob store.

    Inspection shall not classify packages.

    Inspection shall not classify how package work is performed.

    Inspection shall not collapse not-currently-mediated, denied capability, missing
    grant, unavailable artifact, resource conflict, failed attempt, not-yet-determined
    status, or fixture not run into generic package invalidity.
  rationale: >-
    Human UI can vary, but agents and independent implementations need the same
    inspection semantics and the same distinction between content validity and operation
    eligibility.
  verification: >-
    Inspecting the same Package Bundle across conforming implementations produces
    equivalent machine-readable inspection objects. Inspection verification covers
    structured document artifacts, raw blob artifacts, unavailable artifacts, denied
    grants, missing grants, not-currently-mediated operations, resource conflicts, and
    not-yet-determined status. Each condition is reported without changing package
    content validity.
  testable: true
  status: draft
  area: BENAC-UX
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Package authoring
  order: 87.21
---
