# Requirement manifest — U suite

**Fixture:** `fixture-requirement-manifest-u@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-GOV-01`:** The owner-defined normative and observed truth invariant is satisfied.
- **`INV-REQ-TJ-GOV-02`:** The owner-defined one authoritative owner per fact invariant is satisfied.
- **`INV-REQ-TJ-GOV-03`:** The owner-defined stability-directed correction invariant is satisfied.
- **`INV-REQ-TJ-GOV-04`:** The owner-defined bidirectional learning path invariant is satisfied.
- **`INV-REQ-TJ-GOV-05`:** The owner-defined independent status, stability, and evidence invariant is satisfied.
- **`INV-REQ-TJ-GOV-06`:** The owner-defined temporary divergence and gated convergence invariant is satisfied.
- **`INV-REQ-TJ-GOV-07`:** The owner-defined complete normative change protocol invariant is satisfied.
- **`INV-REQ-TJ-GOV-08`:** The owner-defined conflict detection and resolution invariant is satisfied.
- **`INV-REQ-TJ-GOV-09`:** The owner-defined explicit exploration invariant is satisfied.
- **`INV-REQ-TJ-GOV-10`:** The owner-defined justified calcification invariant is satisfied.
- **`INV-REQ-TJ-GOV-11`:** The owner-defined reopening calcified rules invariant is satisfied.
- **`INV-REQ-TJ-GOV-12`:** The owner-defined specification-tool boundary invariant is satisfied.
- **`INV-REQ-TJ-GOV-13`:** The owner-defined skill-shaped agent document discovery invariant is satisfied.
- **`INV-REQ-TJ-GOV-14`:** The owner-defined structured specification to generated code 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-06`:** The owner-defined symlink targets are never mutation targets invariant is satisfied.
- **`INV-REQ-TJ-CORE-07`:** The owner-defined no privilege escalation 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-CORE-11`:** The owner-defined external calls are exceptional and shell-free invariant is satisfied.
- **`INV-REQ-TJ-CONCEPT-01`:** The owner-defined canonical concept registry invariant is satisfied.
- **`INV-REQ-TJ-CONCEPT-02`:** The owner-defined generated glossary and concept identifiers invariant is satisfied.
- **`INV-REQ-TJ-CONCEPT-03`:** The owner-defined concept relationships and requirement references invariant is satisfied.
- **`INV-REQ-TJ-SCAN-01`:** The owner-defined default and configured roots invariant is satisfied.
- **`INV-REQ-TJ-SCAN-03`:** The owner-defined lexical root initialization invariant is satisfied.
- **`INV-REQ-TJ-SCAN-06`:** The owner-defined capability states and confidence invariant is satisfied.
- **`INV-REQ-TJ-SCAN-08`:** The owner-defined fixed storage and exhaustion 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-SCAN-11`:** The owner-defined in-scope cleanup classes 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-04`:** The owner-defined saturating omission accounting invariant is satisfied.
- **`INV-REQ-TJ-LIMIT-09`:** The owner-defined limit-change evidence invariant is satisfied.
- **`INV-REQ-TJ-CLASS-01`:** The owner-defined supported Git semantics invariant is satisfied.
- **`INV-REQ-TJ-CLASS-02`:** The owner-defined unsupported VCS fail-closed handling invariant is satisfied.
- **`INV-REQ-TJ-CLASS-05`:** The owner-defined ownership states and controlled namespaces invariant is satisfied.
- **`INV-REQ-TJ-CLASS-06`:** The owner-defined provenance and confidence invariant is satisfied.
- **`INV-REQ-TJ-CLASS-07`:** The owner-defined producer disposal evidence invariant is satisfied.
- **`INV-REQ-TJ-CLASS-08`:** The owner-defined uncertain-purpose policy invariant is satisfied.
- **`INV-REQ-TJ-CLASS-09`:** The owner-defined downloads classification invariant is satisfied.
- **`INV-REQ-TJ-CLASS-10`:** The owner-defined trash formats and invalid metadata invariant is satisfied.
- **`INV-REQ-TJ-CLASS-11`:** The owner-defined logs, locks, and temporary patterns invariant is satisfied.
- **`INV-REQ-TJ-CLASS-12`:** The owner-defined process observations and activity invariant is satisfied.
- **`INV-REVIEW-LIST-SET-SHAPES`:** The package review list is empty for zero ranked packages, holds every ranked package up to ten, and is empty when every size is unknown.
- **`INV-REVIEW-LIST-EQUAL-RANK`:** Equal-rank packages resolve by stable tie-breakers and never expand the list beyond ten.
- **`INV-REQ-TJ-CLASS-13`:** The owner-defined manual-only classes invariant is satisfied.
- **`INV-REQ-TJ-CLASS-15`:** The owner-defined safe preselection invariant is satisfied.
- **`INV-REQ-TJ-CLASS-16`:** The owner-defined log and temporary policy 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-02`:** The owner-defined checked arithmetic and overflow propagation invariant is satisfied.
- **`INV-REQ-TJ-SIZE-03`:** The owner-defined metadata, compression, sparse, and rounding treatment invariant is satisfied.
- **`INV-REQ-TJ-SIZE-04`:** The owner-defined generation-local inode identity invariant is satisfied.
- **`INV-REQ-TJ-SIZE-05`:** The owner-defined non-additive rows and direct totals invariant is satisfied.
- **`INV-REQ-TJ-SIZE-06`:** The owner-defined hard-link reclaim credit 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-LINK-02`:** The owner-defined host and proot target namespaces invariant is satisfied.
- **`INV-REQ-TJ-LINK-03`:** The owner-defined bounded target resolution invariant is satisfied.
- **`INV-REQ-TJ-LINK-04`:** The owner-defined target status is not mutation authority invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-02`:** The owner-defined normalized state vocabulary invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-04`:** The owner-defined ownership domains and aliases invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-06`:** The owner-defined effect-set schema invariant is satisfied.
- **`INV-REQ-TJ-ADAPT-10`:** The owner-defined external-process registry invariant is satisfied.
- **`INV-REQ-TJ-PLAN-01`:** The owner-defined immutable canonical plan snapshot invariant is satisfied.
- **`INV-REQ-TJ-PLAN-02`:** The owner-defined deterministic topological action order invariant is satisfied.
- **`INV-REQ-TJ-PLAN-03`:** The owner-defined typed action contents invariant is satisfied.
- **`INV-REQ-TJ-PLAN-04`:** The owner-defined dependencies and expected effects invariant is satisfied.
- **`INV-REQ-TJ-PLAN-05`:** The owner-defined canonical plan encoding invariant is satisfied.
- **`INV-REQ-TJ-PLAN-06`:** The owner-defined complete directory manifest invariant is satisfied.
- **`INV-REQ-TJ-PLAN-08`:** The owner-defined dry-run purity and plan equivalence invariant is satisfied.
- **`INV-REQ-TJ-PLAN-11`:** The owner-defined material plan equivalence invariant is satisfied.
- **`INV-CONFIRM-BUFFERED-DISCARDED`:** Entering confirmation discards previously buffered input, and only events decoded for the current confirmation generation contribute characters.
- **`INV-CONFIRM-PASTE-NEVER-CONFIRMS`:** A bracketed paste never contributes characters to the confirmation phrase.
- **`INV-CONFIRM-AUTO-REPEAT`:** Repetition of one key never forms the confirmation phrase.
- **`INV-CONFIRM-LEGACY-DISCLOSURE`:** Help discloses that legacy unmarked paste, macros, and synthetic input are indistinguishable from typing.
- **`INV-REQ-TJ-FAIL-02`:** The owner-defined no resume authority across restart invariant is satisfied.
- **`INV-REQ-TJ-LOG-02`:** The owner-defined reserved intent/result capacity invariant is satisfied.
- **`INV-REQ-TJ-LOG-04`:** The owner-defined bounded framed record schema invariant is satisfied.
- **`INV-REQ-TJ-LOG-05`:** The owner-defined intent and result contents 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-08`:** The owner-defined complete keyboard map 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-05`:** The owner-defined Unicode and ASCII size tracks invariant is satisfied.
- **`INV-REQ-TJ-TERM-07`:** The owner-defined input and SGR mouse invariant is satisfied.
- **`INV-TERM-FRAGMENTED-INPUT`:** Fragmented UTF-8 and escape input decodes to the same events as contiguous input.
- **`INV-TERM-MALFORMED-MOUSE`:** A malformed mouse sequence emits one ignored-input warning, resets to ground state, and decodes the next ordinary keyboard byte from ground state.
- **`INV-TERM-KEYBOARD-RECOVERY`:** Every malformed, oversized, unknown, or impossible sequence leaves keyboard mappings unchanged and decoding resumes at ground state.
- **`INV-REQ-TJ-TERM-08`:** The owner-defined color precedence invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-01`:** The owner-defined location and precedence invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-02`:** The owner-defined strict JSON grammar invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-03`:** The owner-defined path bytes and bases invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-04`:** The owner-defined schema and defaults invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-05`:** The owner-defined thresholds and policy validation invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-06`:** The owner-defined exclusions invariant is satisfied.
- **`INV-REQ-TJ-CONFIG-07`:** The owner-defined startup errors invariant is satisfied.
- **`INV-REQ-TJ-ART-01`:** The owner-defined artifact classes and non-equivalence invariant is satisfied.
- **`INV-REQ-TJ-ART-04`:** The owner-defined release-safe executable contract invariant is satisfied.
- **`INV-REQ-TJ-ART-05`:** The owner-defined separate debug evidence invariant is satisfied.
- **`INV-REQ-TJ-ART-06`:** The owner-defined complete bounded release-input contents invariant is satisfied.
- **`INV-REQ-TJ-ART-07`:** The owner-defined deterministic safe archive structure invariant is satisfied.
- **`INV-REQ-TJ-ART-08`:** The owner-defined checksum manifest invariant is satisfied.
- **`INV-REQ-TJ-ART-09`:** The owner-defined bounded attributable evidence invariant is satisfied.
- **`INV-REQ-TJ-ART-11`:** The owner-defined artifact verification gate invariant is satisfied.
- **`INV-REQ-TJ-ART-12`:** The owner-defined retention and correction invariant is satisfied.
- **`INV-REQ-TJ-MAN-01`:** The owner-defined manual source and installation invariant is satisfied.
- **`INV-REQ-TJ-MAN-02`:** The owner-defined release identity and deterministic date 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-MAN-06`:** The owner-defined same-change updates invariant is satisfied.
- **`INV-REQ-TJ-MAN-07`:** The owner-defined parse, render, install, and lookup checks invariant is satisfied.
- **`INV-REQ-TJ-DIST-01`:** The owner-defined upstream and Termux ownership boundary invariant is satisfied.
- **`INV-REQ-TJ-DIST-04`:** The owner-defined immutable upstream release input invariant is satisfied.
- **`INV-REQ-TJ-DIST-12`:** The owner-defined fail-closed publication and correction 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.
- **`INV-REQ-TJ-STYLE-01`:** The owner-defined implementation and repository constraints invariant is satisfied.
- **`INV-REQ-TJ-PERF-01`:** The owner-defined performance resource model invariant is satisfied.
- **`INV-REQ-TJ-PERF-02`:** The owner-defined explicit performance budgets invariant is satisfied.
- **`INV-REQ-TJ-PERF-03`:** The owner-defined expected bottlenecks invariant is satisfied.
- **`INV-REQ-TJ-PERF-04`:** The owner-defined measurement methods invariant is satisfied.
- **`INV-REQ-TJ-PERF-05`:** The owner-defined deterministic benchmarks invariant is satisfied.
- **`INV-REQ-TJ-PERF-07`:** The owner-defined regression criteria invariant is satisfied.

## Forbidden effects

- **`NO-REQ-MANIFEST-UNBOUND-U`:** The unbound manifest fixture is not treated as implementation evidence.
- **`NO-REVIEW-LIST-UNKNOWN-FILL`:** No unknown-size package fills a vacant review-list position or a tied position beyond ten.
- **`NO-UI-BULK-HIDDEN-SELECTION`:** All-visible bulk selection never selects a finding hidden by filters or search.
- **`NO-CONFIRM-STALE-ADMISSION`:** No mouse input, escape sequence, or stale replay event contributes to the confirmation phrase.
- **`NO-TERM-KEYMAP-CORRUPTION`:** No input sequence changes keyboard mappings or leaves the decoder desynchronized from ground state.

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