---
typeId: req
recordId: benac-ux-009
fields:
  title: Inspection before package approval
  statement: >-
    A Host Implementation shall be able to produce or reference a package inspection
    result before package approval.

    A package approval record shall reference the inspected package CID, selected
    package interface, descriptor scope, invocation contract snapshot where relevant,
    declared capabilities, granted capabilities, denied capabilities where relevant,
    fixture results where relied upon, warnings presented or made available, and
    evidence relied upon.

    If package approval relies on Package Bundle facts, fixture records, fixture result
    records, artifact availability, validation reports, build reports, claims, warnings,
    missing-artifact status, operation status, capability grant status, resource
    requirements, or resource conflicts, then the approval-referenced inspection result
    shall include those same facts or explicitly reference an equivalent inspected field
    set.

    Approval shall not rely on facts hidden from the referenced inspection result.

    Approval shall identify the inspection context used for approval, including whether
    the inspection was package-document-only, Package Bundle, or imported Station state.

    Approval shall not classify packages.

    Approval shall not classify how package work is performed.
  rationale: Approval must be based on inspectable package facts, not hidden host state or
    package classification.
  verification: Package approval references an inspection result or equivalent inspected
    fields. A package with missing artifacts, denied capabilities, missing grants,
    resource conflicts, failed fixtures, or not-currently-mediated operations cannot
    receive approval for the blocked operation. Approval referencing fixture results
    also references inspection data that includes those fixture results or equivalent
    inspected fields.
  testable: true
  status: draft
  area: BENAC-UX
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Package authoring
  order: 87.22
---
