# Requirement manifest — SM suite

**Fixture:** `fixture-requirement-manifest-sm@3`

## Given

The canonical requirement owner documents and verification registry are loaded.

## When

The declared verification lane reviews each requirement mapping.

## Required invariants

- **`INV-REQ-TJ-CORE-02`:** The owner-defined every preselection is inspectable and changeable invariant is satisfied.
- **`INV-REQ-TJ-CORE-03`:** The owner-defined sensitive findings remain individually selectable but bulk-safe invariant is satisfied.
- **`INV-REQ-TJ-CORE-05`:** The owner-defined direct mutation revalidates complete authority invariant is satisfied.
- **`INV-REQ-TJ-CORE-09`:** The owner-defined incompleteness is always visible invariant is satisfied.
- **`INV-REQ-TJ-CORE-10`:** The owner-defined package state changes use the owner invariant is satisfied.
- **`INV-REQ-TJ-SCAN-08`:** The owner-defined fixed storage and exhaustion invariant is satisfied.
- **`INV-REQ-TJ-SCAN-10`:** The owner-defined visible capacity failure invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-01`:** The owner-defined exact fixed-limit registry invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-02`:** The owner-defined initial allocation and fail-closed exhaustion invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-03`:** The owner-defined oversized authority and depth handling invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-06`:** The owner-defined queue reservations and latency invariant is satisfied.
- **`INV-REQ-TJ-CLASS-05`:** The owner-defined ownership states and controlled namespaces invariant is satisfied.
- **`INV-REQ-TJ-CLASS-08`:** The owner-defined uncertain-purpose policy invariant is satisfied.
- **`INV-REQ-TJ-CLASS-13`:** The owner-defined manual-only classes invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-06`:** The owner-defined effect-set schema invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-08`:** The owner-defined result normalization invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-12`:** The owner-defined local-first scoped network access invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-13`:** The owner-defined package-manager observation boundary invariant is satisfied.
- **`INV-REQ-TJ-PLAN-01`:** The owner-defined immutable canonical plan snapshot invariant is satisfied.
- **`INV-REQ-TJ-PLAN-04`:** The owner-defined dependencies and expected effects invariant is satisfied.
- **`INV-REQ-TJ-PLAN-11`:** The owner-defined material plan equivalence invariant is satisfied.
- **`INV-PLAN-REORDER-MATERIAL`:** A reordering that changes canonical plan bytes returns the plan to review.
- **`INV-PLAN-REORDER-EQUIVALENT`:** A reordering that canonicalizes to identical plan bytes preserves plan identity.
- **`INV-REQ-TJ-FAIL-01`:** The owner-defined action failure pause and dependency blocking invariant is satisfied.
- **`INV-REQ-TJ-FAIL-03`:** The owner-defined cancellation reconciliation invariant is satisfied.
- **`INV-REQ-TJ-LOG-01`:** The owner-defined review-only fallback invariant is satisfied.
- **`INV-REQ-TJ-LOG-02`:** The owner-defined reserved intent/result capacity invariant is satisfied.
- **`INV-REQ-TJ-LOG-06`:** The owner-defined fail-closed logging errors invariant is satisfied.
- **`INV-REQ-TJ-UI-01`:** The owner-defined stable focus and selection invariant is satisfied.
- **`INV-REQ-TJ-UI-02`:** The owner-defined persistent selection and warning summaries invariant is satisfied.
- **`INV-REQ-TJ-UI-03`:** The owner-defined filter and search composition invariant is satisfied.
- **`INV-REQ-TJ-UI-04`:** The owner-defined all-visible bulk scope invariant is satisfied.
- **`INV-UI-ALL-HIDDEN-STATE`:** A filter or search combination that hides every finding shows the empty-result state and moves focus to it.
- **`INV-UI-ALL-HIDDEN-BULK`:** When filters or search hide every finding, all-visible bulk selection and clearing change no selection.
- **`INV-REQ-TJ-UI-05`:** The owner-defined refresh teardown invariant is satisfied.
- **`INV-REQ-TJ-UI-06`:** The owner-defined unified cancellation invariant is satisfied.
- **`INV-REQ-TJ-UI-07`:** The owner-defined directory browser invariant is satisfied.
- **`INV-REQ-TJ-UI-10`:** The owner-defined measured progress and turn bounds invariant is satisfied.
- **`INV-REQ-TJ-UI-11`:** The owner-defined compact checklist and deterministic finding order invariant is satisfied.
- **`INV-REQ-TJ-TEST-01`:** The owner-defined deterministic production boundaries and suites invariant is satisfied.
- **`INV-REQ-TJ-TEST-03`:** The owner-defined fixed allocator and capacity boundaries invariant is satisfied.
- **`INV-REQ-TJ-TEST-04`:** The owner-defined evidence fields and limitations invariant is satisfied.
- **`INV-REQ-TJ-TEST-05`:** The owner-defined build gates invariant is satisfied.

## Forbidden effects

- **`NO-REQ-MANIFEST-UNBOUND-SM`:** The unbound manifest fixture is not treated as implementation evidence.
- **`NO-PLAN-REORDER-CONFIRMATION`:** A prior confirmation never authorizes a plan whose canonical actions or dependencies changed.
- **`NO-UI-BULK-HIDDEN-SELECTION`:** All-visible bulk selection never selects a finding hidden by filters or search.

## Variations

Executable implementation and evidence fixtures are separate work items.

## Limitations

This is an unbound verification path: it records the required invariant and suite mapping,
but does not establish implementation coverage or passing runtime evidence.