---
typeId: req
recordId: benac-pkg-011
fields:
  title: Package artifact availability resolution
  statement: |
    Benac shall resolve package artifact availability during package import from verified Package Bundle ZIP entries and verified Local Station stores.

    A package artifact shall be resolved by artifact role, CID, and CID codec.

    A structured document artifact shall be available only when the Host Implementation has a logical object whose DRISL-encoded structured document CID equals the expected CID.

    A raw blob artifact shall be available only when the Host Implementation has exact bytes whose raw blob CID equals the expected CID.

    During Package Bundle ZIP import, the Host Implementation shall verify every structured document and raw blob declared by the Package Bundle Manifest.

    An included structured document artifact shall be verified from the ZIP entry declared by the Package Bundle Manifest.

    An included raw blob artifact shall be verified from the ZIP entry declared by the Package Bundle Manifest.

    An included artifact with a CID mismatch shall fail package import.

    A Package Bundle Manifest shall not declare whether an artifact is present in the Local Station document store or Local Station blob store.

    A Package Bundle Manifest shall not declare an artifact as `present_in_local_store`.

    A Package Bundle Manifest shall not declare an artifact as `retrieval_required`.

    A Package Bundle Manifest shall not declare an artifact as `missing`.

    Local artifact presence and missing-artifact status shall be derived by the importing Station.

    Package import shall not fetch remote artifacts.

    Package import shall not treat URLs, paths, storage offers, provider responses, filenames, labels, package names, model names, repository names, release names, branch names, tags, redirects, or human-readable descriptions as artifact availability.

    A package whose import-required artifacts are unavailable shall fail package import.

    A package whose validation-required artifacts are unavailable shall fail package validation.

    A package whose approval-required artifacts are unavailable shall prevent package approval.

    A package whose invocation-required artifacts are unavailable shall prevent package invocation.
  rationale: >-
    A Package Bundle Manifest can declare which objects and bytes are included
    in the Package Bundle ZIP file. It cannot declare what is already present
    in an arbitrary importing Station. Availability is Station state derived
    from verified ZIP contents and verified local stores.
  verification: >-
    Tests cover included structured document artifacts, included raw blob
    artifacts, unavailable import-required artifacts, unavailable
    validation-required artifacts, unavailable approval-required artifacts,
    unavailable invocation-required artifacts, and CID mismatch. Tests prove
    that package import does not fetch remote artifacts and does not treat
    names, paths, URLs, or provider metadata as artifact availability.
  testable: true
  status: draft
  area: BENAC-PKG
  sourceDocument: operator ticket 258d5227-5a33-4b7f-aa96-3bea75ffa1c6
  sourceVersion: 2026-05-05
  sourceSections:
    - Package authoring
  order: 82.75
---
