---
typeId: req
recordId: benac-data-002
fields:
  title: Package authoring logical objects
  statement: >-
    Benac shall define minimum logical schemas for Package Bundle Manifests, package
    import records, package import failure records, package validation reports, package
    build reports, fixtures, fixture results, request snapshots, output snapshots,
    invocation contract snapshots, package inspection results, package approval records,
    diagnostic records, schema ruleset identifiers, WASM package-host calling convention
    identifiers, resource limit reports, storage lease requests, compute lease requests,
    causal references, parent/child invocation references where relevant, and mediated
    child invocation requests where relevant.

    These objects shall use CIDs where exact content identity is required and DRISL
    encoding where structured content identity is required.

    These objects shall not define package classes.

    These objects shall not define classes for how package work is performed.
  rationale: >-
    Authoring, validation, approval, invocation, and audit need common logical object
    shapes across implementations.
  verification: >-
    Logical object schema tests verify required fields, CID fields, DRISL identity, and
    rejection of retired package-class and work-class fields.
  testable: true
  status: draft
  area: BENAC-DATA
  sourceDocument: user-requested schema-first requirements cleanup
  sourceVersion: 2026-05-06
  sourceSections:
    - Logical data objects
  order: 203
---
