# Requirement manifest — R suite

**Fixture:** `fixture-requirement-manifest-r@4`

## 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-04`:** The owner-defined recommendations have human-readable evidence invariant is satisfied.
- **`INV-REQ-TJ-CORE-09`:** The owner-defined incompleteness is always visible invariant is satisfied.
- **`INV-REQ-TJ-CONCEPT-02`:** The owner-defined generated glossary and concept identifiers invariant is satisfied.
- **`INV-REQ-TJ-SCAN-09`:** The owner-defined collision-safe display truncation invariant is satisfied.
- **`INV-REQ-TJ-SCAN-10`:** The owner-defined visible capacity failure invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-04`:** The owner-defined saturating omission accounting invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-07`:** The owner-defined terminal clamping and backpressure invariant is satisfied.
- **`INV-REQ-TJ-CLASS-02`:** The owner-defined unsupported VCS fail-closed handling invariant is satisfied.
- **`INV-REQ-TJ-CLASS-13`:** The owner-defined manual-only classes invariant is satisfied.
- **`INV-REQ-TJ-SIZE-01`:** The owner-defined allocated blocks remain distinct from apparent bytes invariant is satisfied.
- **`INV-REQ-TJ-SIZE-05`:** The owner-defined non-additive rows and direct totals invariant is satisfied.
- **`INV-REQ-TJ-SIZE-07`:** The owner-defined eventual-release uncertainty invariant is satisfied.
- **`INV-REQ-TJ-SIZE-08`:** The owner-defined no version 1 cross-filesystem additive total invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-12`:** The owner-defined local-first scoped network access invariant is satisfied.
- **`INV-REQ-TJ-PLAN-07`:** The owner-defined review grouping and expanded details invariant is satisfied.
- **`INV-REQ-TJ-PLAN-09`:** The owner-defined complete final confirmation fields invariant is satisfied.
- **`INV-REQ-TJ-EXEC-05`:** The owner-defined residual POSIX race and exact disclosure invariant is satisfied.
- **`INV-EXEC-EXPECTED-PRIOR-EFFECTS`:** A change exactly recorded as an effect of a successfully completed dependency is expected and neither fails nor pauses the action.
- **`INV-REQ-TJ-LOG-01`:** The owner-defined review-only fallback 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-UI-ALL-HIDDEN-STATE`:** A filter or search combination that hides every finding shows the empty-result state and moves focus to it.
- **`INV-REQ-TJ-UI-07`:** The owner-defined directory browser invariant is satisfied.
- **`INV-REQ-TJ-UI-09`:** The owner-defined contextual help invariant is satisfied.
- **`INV-REQ-TJ-UI-11`:** The owner-defined compact checklist and deterministic finding order invariant is satisfied.
- **`INV-REQ-TJ-UI-12`:** The owner-defined finding detail applicability and content invariant is satisfied.
- **`INV-REQ-TJ-TERM-02`:** The owner-defined required dimensions and clamping invariant is satisfied.
- **`INV-TERM-RESIZE-BELOW-MINIMUM`:** A resize below the required minimum clamps to the required minimum layout.
- **`INV-REQ-TJ-TERM-03`:** The owner-defined structural layout invariants invariant is satisfied.
- **`INV-REQ-TJ-TERM-05`:** The owner-defined Unicode and ASCII size tracks invariant is satisfied.
- **`INV-REQ-TJ-TERM-06`:** The owner-defined semantic reading order invariant is satisfied.
- **`INV-REQ-TJ-TERM-08`:** The owner-defined color precedence invariant is satisfied.
- **`INV-REQ-TJ-TERM-10`:** The owner-defined changed-cell output and backpressure invariant is satisfied.
- **`INV-REQ-TJ-ART-01`:** The owner-defined artifact classes and non-equivalence invariant is satisfied.
- **`INV-REQ-TJ-MAN-03`:** The owner-defined required manual content invariant is satisfied.
- **`INV-REQ-TJ-MAN-04`:** The owner-defined bounded user-facing claims invariant is satisfied.
- **`INV-REQ-TJ-TEST-01`:** The owner-defined deterministic production boundaries and suites 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-R`:** The unbound manifest fixture is not treated as implementation evidence.
- **`NO-EXEC-EXPECTED-EFFECT-MISMATCH`:** An exactly recorded effect of a successfully completed dependency is never reported as an unexpected mismatch.

## 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.