---
typeId: req
recordId: benac-pkg-002
fields:
  title: Required package document
  statement: >-
    A package shall include a package document declaring package metadata, schemas,
    schema ruleset identifiers, package interfaces, interface contract bindings,
    artifact references, requested capabilities, resource requirements, storage needs
    where relevant, compute needs where relevant, fixtures, documentation references,
    evidence behavior, and effect behavior.

    A package interface shall define how the Station talks to the package and how the
    package talks back.

    A package interface shall bind request schema, descriptor config schema where
    relevant, output schema where relevant, declared capabilities, artifact
    requirements, resource requirements, evidence behavior, and effect behavior.

    The package document shall not classify the package.

    The package document shall not classify how package work is performed.

    The package document shall not include a field whose purpose is to assign package
    behavior to a package-work taxonomy.

    Package-specific, provider-specific, product-specific, model-specific,
    library-specific, platform-specific, or operation-specific configuration shall be
    carried in schema-defined descriptor configuration, schema-defined package
    parameters, structured package documents, claims, or content-addressed artifacts.

    The package CID shall be derived from the DRISL-encoded package document and shall
    not be a required field inside that document.

    A Couch/Pouch envelope, index record, import record, Package Bundle, or external
    provenance record shall carry the package CID and related claim references outside
    the package document payload used to compute the package CID.
  rationale: "The kernel needs the package's public conversation contract: how to validate
    a request, how to validate descriptor configuration, how to validate output, what
    authority the package requests, which artifacts and resources are required, and what
    evidence and effects are expected. The kernel does not need a taxonomy of package
    internals."
  verification: Package document schema validation tests verify that required package
    document fields are present, that package CID derivation excludes external claim
    references, that adding or removing external claims does not change the package CID,
    and that retired class fields fail validation.
  testable: true
  status: draft
  area: BENAC-PKG
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Package model, descriptors, and package claims
  order: 76
---
