# Requirement manifest

Generated from `spec/model/requirements.zon`; do not edit this file directly.
The linked owner text is authoritative. Revision 1 is the migration baseline and makes no
claim about unrecorded history.

Suite tags are `U` unit or policy, `SM` state machine, `R` rendering, `A` adapter or
synthetic integration, `PTY` pseudo-terminal, `SIM` simulation, and `M` manual or
capable-platform evidence.

## Governance

- **TJ-GOV-01@1**, normative and observed truth.
  Owner: [source](GOVERNANCE.md#truth-and-ownership).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-01`, `obligation-requirement-manifest-no-unbound-pass-u`.
- **TJ-GOV-02@1**, one authoritative owner per fact.
  Owner: [source](GOVERNANCE.md#truth-and-ownership).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-02`.
- **TJ-GOV-03@1**, stability-directed correction.
  Owner: [source](GOVERNANCE.md#stability-and-evidence).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-03`.
- **TJ-GOV-04@1**, bidirectional learning path.
  Owner: [source](GOVERNANCE.md#stability-and-evidence).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-04`.
- **TJ-GOV-05@1**, independent status, stability, and evidence.
  Owner: [source](GOVERNANCE.md#stability-and-evidence).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-05`.
- **TJ-GOV-06@1**, temporary divergence and gated convergence.
  Owner: [source](GOVERNANCE.md#refinement-and-convergence).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-06`.
- **TJ-GOV-07@1**, complete normative change protocol.
  Owner: [source](GOVERNANCE.md#refinement-and-convergence).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-07`.
- **TJ-GOV-08@1**, conflict detection and resolution.
  Owner: [source](GOVERNANCE.md#conflict-handling).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-08`.
- **TJ-GOV-09@1**, explicit exploration.
  Owner: [source](GOVERNANCE.md#progressive-calcification).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-09`.
- **TJ-GOV-10@1**, justified calcification.
  Owner: [source](GOVERNANCE.md#progressive-calcification).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-10`.
- **TJ-GOV-11@1**, reopening calcified rules.
  Owner: [source](GOVERNANCE.md#progressive-calcification).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-11`.
- **TJ-GOV-12@1**, specification-tool boundary.
  Owner: [source](GOVERNANCE.md#specification-tooling).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-12`.
- **TJ-GOV-13@1**, skill-shaped agent document discovery.
  Owner: [source](GOVERNANCE.md#agent-document-discovery).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-13`.
- **TJ-GOV-14@1**, structured specification to generated code.
  Owner: [source](GOVERNANCE.md#progressive-calcification).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-gov-14`.

## Purpose and guarantees

- **TJ-GOAL-01@1**, product direction.
  Owner: [source](GOALS.md).
  Suites: M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-goal-01`, `obligation-requirement-manifest-no-unbound-pass-m`.
- **TJ-CORE-01@1**, interactive confirmation gates cleanup.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: SM, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/confirmation/exact.md#limitations`.
  Registered obligations: `obligation-confirm-plan-identity`, `obligation-confirm-no-early-mutation`, `obligation-confirm-no-plan-widening`.
- **TJ-CORE-02@1**, every preselection is inspectable and changeable.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: SM, R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-02`, `obligation-requirement-manifest-no-unbound-pass-sm`, `obligation-requirement-manifest-no-unbound-pass-r`, `obligation-requirement-manifest-no-unbound-pass-pty`.
- **TJ-CORE-03@1**, sensitive findings remain individually selectable but bulk-safe.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-03`.
- **TJ-CORE-04@1**, recommendations have human-readable evidence.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-04`.
- **TJ-CORE-05@1**, direct mutation revalidates complete authority.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: A, SM, SIM, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-05`, `obligation-requirement-manifest-no-unbound-pass-a`, `obligation-requirement-manifest-no-unbound-pass-sim`.
- **TJ-CORE-06@1**, symlink targets are never mutation targets.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-06`.
- **TJ-CORE-07@1**, no privilege escalation.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-07`.
- **TJ-CORE-08@1**, no persisted scan metadata or telemetry.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-08`.
- **TJ-CORE-09@1**, incompleteness is always visible.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, SM, R, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-09`.
- **TJ-CORE-10@1**, package state changes use the owner.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, A, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-10`.
- **TJ-CORE-11@1**, external calls are exceptional and shell-free.
  Owner: [source](PRODUCT.md#2-core-guarantees).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-core-11`.

## Concepts and terminology

- **TJ-CONCEPT-01@1**, canonical concept registry.
  Owner: [source](model/concepts.zon).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-concept-01`.
- **TJ-CONCEPT-02@1**, generated glossary and concept identifiers.
  Owner: [source](PRODUCT.md#3-terminology).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-concept-02`.
- **TJ-CONCEPT-03@1**, concept relationships and requirement references.
  Owner: [source](model/concepts.zon).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-concept-03`.

## Scope, traversal, and capabilities

- **TJ-SCAN-01@1**, default and configured roots.
  Owner: [source](PRODUCT.md#41-default-scan-roots).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-01`.
- **TJ-SCAN-02@1**, traversal attempt membership and outcomes.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#traversal-attempt-model).
  Suites: A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-02`.
- **TJ-SCAN-03@1**, lexical root initialization.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#root-initialization).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-03`.
- **TJ-SCAN-04@1**, shared-storage entry points and alias handling.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#root-initialization).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-04`.
- **TJ-SCAN-05@1**, mount crossing and mount identity.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#mount-behavior).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-scan-05`.
- **TJ-SCAN-06@1**, capability states and confidence.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#capability-states).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-scan-06`.
- **TJ-SCAN-07@1**, capability probes and fail-closed mutation.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#capability-probes).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-07`.
- **TJ-SCAN-08@1**, fixed storage and exhaustion.
  Owner: [source](LIMITS.md#scan-and-retained-state).
  Suites: U, SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-08`.
- **TJ-SCAN-09@1**, collision-safe display truncation.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#display-truncation).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-09`.
- **TJ-SCAN-10@1**, visible capacity failure.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#capacity-failures).
  Suites: U, SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-10`.
- **TJ-SCAN-11@1**, in-scope cleanup classes.
  Owner: [source](PRODUCT.md#42-in-scope-cleanup-classes).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-scan-11`.

## Fixed limits

- **TJ-LIMIT-01@1**, exact fixed-limit registry.
  Owner: [source](model/limits.zon).
  Suites: U, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-01`.
- **TJ-LIMIT-02@1**, initial allocation and fail-closed exhaustion.
  Owner: [source](LIMITS.md).
  Suites: U, SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-02`.
- **TJ-LIMIT-03@1**, oversized authority and depth handling.
  Owner: [source](LIMITS.md#scan-and-retained-state).
  Suites: U, SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-03`.
- **TJ-LIMIT-04@1**, saturating omission accounting.
  Owner: [source](LIMITS.md#scan-and-retained-state).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-04`.
- **TJ-LIMIT-05@1**, process-bound failure behavior.
  Owner: [source](LIMITS.md#processes-and-adapters).
  Suites: A, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-05`.
- **TJ-LIMIT-06@1**, queue reservations and latency.
  Owner: [source](LIMITS.md#queues-and-turns).
  Suites: SM, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-06`.
- **TJ-LIMIT-07@1**, terminal clamping and backpressure.
  Owner: [source](LIMITS.md#terminal).
  Suites: R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-07`.
- **TJ-LIMIT-08@1**, non-truncating authority and effects.
  Owner: [source](LIMITS.md#logging).
  Suites: U, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/usage.md#limitations`.
  Registered obligations: `obligation-cli-usage-echo-bound`.
- **TJ-LIMIT-09@1**, limit-change evidence.
  Owner: [source](LIMITS.md#limit-changes).
  Suites: U, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-limit-09`.

## Classification and recommendation

- **TJ-CLASS-01@1**, supported Git semantics.
  Owner: [source](CLASSIFICATION.md#version-control-systems).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-01`.
- **TJ-CLASS-02@1**, unsupported VCS fail-closed handling.
  Owner: [source](CLASSIFICATION.md#version-control-systems).
  Suites: U, A, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-02`.
- **TJ-CLASS-03@1**, source heuristics.
  Owner: [source](CLASSIFICATION.md#source-and-document-classes).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/classification/catalogs.md#limitations`.
  Registered obligations: `obligation-classification-basenames`, `obligation-classification-suffixes`, `obligation-classification-no-duplicates`.
- **TJ-CLASS-04@1**, document roots.
  Owner: [source](CLASSIFICATION.md#source-and-document-classes).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/classification/catalogs.md#limitations`.
  Registered obligations: `obligation-classification-document-roots`.
- **TJ-CLASS-05@1**, ownership states and controlled namespaces.
  Owner: [source](CLASSIFICATION.md#ownership-states-and-namespaces).
  Suites: U, A, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-05`.
- **TJ-CLASS-06@1**, provenance and confidence.
  Owner: [source](CLASSIFICATION.md#evidence-vocabulary).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-06`.
- **TJ-CLASS-07@1**, producer disposal evidence.
  Owner: [source](CLASSIFICATION.md#evidence-vocabulary).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-07`.
- **TJ-CLASS-08@1**, uncertain-purpose policy.
  Owner: [source](CLASSIFICATION.md#evidence-vocabulary).
  Suites: U, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-08`.
- **TJ-CLASS-09@1**, downloads classification.
  Owner: [source](CLASSIFICATION.md#downloads).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-09`.
- **TJ-CLASS-10@1**, trash formats and invalid metadata.
  Owner: [source](CLASSIFICATION.md#trash).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-10`.
- **TJ-CLASS-11@1**, logs, locks, and temporary patterns.
  Owner: [source](CLASSIFICATION.md#logs-locks-and-temporary-files).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-11`.
- **TJ-CLASS-12@1**, process observations and activity.
  Owner: [source](CLASSIFICATION.md#process-observations).
  Suites: U, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-12`.
- **TJ-CLASS-13@1**, manual-only classes.
  Owner: [source](PRODUCT.md#5-manual-selection-policy).
  Suites: U, SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-13`.
- **TJ-CLASS-14@1**, threshold units and generation clock.
  Owner: [source](PRODUCT.md#61-default-thresholds).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/classification/thresholds.md#limitations`, `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-threshold-values`, `obligation-threshold-order`, `obligation-threshold-no-duplicates`, `obligation-threshold-boundary-sets`, `obligation-review-list-set-shapes`, `obligation-review-list-equal-rank`, `obligation-review-list-no-unknown-fill`.
- **TJ-CLASS-15@1**, safe preselection.
  Owner: [source](PRODUCT.md#62-safe-pre-selection).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-15`.
- **TJ-CLASS-16@1**, log and temporary policy.
  Owner: [source](PRODUCT.md#63-logs-and-temporary-files).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-class-16`.

## Accounting

- **TJ-SIZE-01@1**, allocated blocks remain distinct from apparent bytes.
  Owner: [source](PRODUCT.md#7-size-accounting).
  Suites: U, A, R, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-size-01`.
- **TJ-SIZE-02@1**, checked arithmetic and overflow propagation.
  Owner: [source](PRODUCT.md#7-size-accounting).
  Suites: U, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-size-02`.
- **TJ-SIZE-03@1**, metadata, compression, sparse, and rounding treatment.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#accounting-details).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-size-03`.
- **TJ-SIZE-04@1**, generation-local inode identity.
  Owner: [source](PRODUCT.md#7-size-accounting).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-size-04`.
- **TJ-SIZE-05@1**, non-additive rows and direct totals.
  Owner: [source](PRODUCT.md#7-size-accounting).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-size-05`.
- **TJ-SIZE-06@1**, hard-link reclaim credit.
  Owner: [source](PRODUCT.md#7-size-accounting).
  Suites: U, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-size-06`.
- **TJ-SIZE-07@1**, eventual-release uncertainty.
  Owner: [source](PRODUCT.md#7-size-accounting).
  Suites: U, A, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-size-07`.
- **TJ-SIZE-08@1**, no version 1 cross-filesystem additive total.
  Owner: [source](FILESYSTEM_CAPABILITIES.md#accounting-details).
  Suites: U, R, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-size-08`.

## Symlinks and namespaces

- **TJ-LINK-01@1**, traversal never follows directory symlinks.
  Owner: [source](PRODUCT.md#8-symbolic-links-and-traversal).
  Suites: A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-link-01`.
- **TJ-LINK-02@1**, host and proot target namespaces.
  Owner: [source](PRODUCT.md#8-symbolic-links-and-traversal).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-link-02`.
- **TJ-LINK-03@1**, bounded target resolution.
  Owner: [source](PRODUCT.md#8-symbolic-links-and-traversal).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-link-03`.
- **TJ-LINK-04@1**, target status is not mutation authority.
  Owner: [source](PRODUCT.md#8-symbolic-links-and-traversal).
  Suites: U, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-link-04`.

## Adapters and processes

- **TJ-ADAPT-01@1**, common minimum and no warning-only stubs.
  Owner: [source](ADAPTERS.md#common-minimum).
  Suites: A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-01`.
- **TJ-ADAPT-02@1**, normalized state vocabulary.
  Owner: [source](ADAPTERS.md#state-vocabulary).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-02`.
- **TJ-ADAPT-03@1**, exact supported version/configuration tuple.
  Owner: [source](ADAPTERS.md#supported-version-and-configuration-rule).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-03`, `obligation-adapt-tuple-change-manager-version`, `obligation-adapt-tuple-change-runtime-version`, `obligation-adapt-tuple-change-configuration`, `obligation-adapt-tuple-change-no-supported`.
- **TJ-ADAPT-04@1**, ownership domains and aliases.
  Owner: [source](ADAPTERS.md#ownership-domains-and-aliases).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-04`.
- **TJ-ADAPT-05@1**, ecosystem minimum capabilities.
  Owner: [source](ADAPTERS.md#minimum-capabilities).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-05`.
- **TJ-ADAPT-06@1**, effect-set schema.
  Owner: [source](ADAPTERS.md#effect-set-schema).
  Suites: U, A, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-06`.
- **TJ-ADAPT-07@1**, execution binding and broad cache scope.
  Owner: [source](ADAPTERS.md#effect-set-schema).
  Suites: A, SIM, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-07`, `obligation-adapt-effect-change-membership`, `obligation-adapt-effect-change-hooks`, `obligation-adapt-effect-change-cache-scope`, `obligation-adapt-effect-change-no-admission`.
- **TJ-ADAPT-08@1**, result normalization.
  Owner: [source](ADAPTERS.md#result-normalization).
  Suites: A, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-08`.
- **TJ-ADAPT-09@1**, Android allowlist and confirmation.
  Owner: [source](ADAPTERS.md#android-allowlist).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/adapters/android_allowlist.md#limitations`, `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-android-allowlist-identities`, `obligation-android-allowlist-roles`, `obligation-android-allowlist-no-base-addon`.
- **TJ-ADAPT-10@1**, external-process registry.
  Owner: [source](ADAPTERS.md#external-process-registry).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-10`.
- **TJ-ADAPT-11@1**, process and output bounds.
  Owner: [source](LIMITS.md#processes-and-adapters).
  Suites: A, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-11`.
- **TJ-ADAPT-12@1**, local-first scoped network access.
  Owner: [source](PRODUCT.md#43-supported-package-ecosystems).
  Suites: SM, A, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-12`.
- **TJ-ADAPT-13@1**, package-manager observation boundary.
  Owner: [source](PRODUCT.md#112-package-actions).
  Suites: A, SM, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-adapt-13`.

## Planning and execution

- **TJ-PLAN-01@1**, immutable canonical plan snapshot.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-01`.
- **TJ-PLAN-02@1**, deterministic topological action order.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-02`.
- **TJ-PLAN-03@1**, typed action contents.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-03`.
- **TJ-PLAN-04@1**, dependencies and expected effects.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-04`.
- **TJ-PLAN-05@1**, canonical plan encoding.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-05`.
- **TJ-PLAN-06@1**, complete directory manifest.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-06`.
- **TJ-PLAN-07@1**, review grouping and expanded details.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-07`.
- **TJ-PLAN-08@1**, dry-run purity and plan equivalence.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-08`.
- **TJ-PLAN-09@1**, complete final confirmation fields.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-plan-09`.
- **TJ-PLAN-10@1**, `CONFIRM` grammar and legacy limitation.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/confirmation/exact.md#limitations`.
  Registered obligations: `obligation-confirm-accepted`, `obligation-confirm-buffered-input`, `obligation-confirm-paste-no-confirm`, `obligation-confirm-auto-repeat`, `obligation-confirm-legacy-disclosure`, `obligation-confirm-no-stale-admission`.
- **TJ-PLAN-11@1**, material plan equivalence.
  Owner: [source](PRODUCT.md#10-planning-dry-run-and-confirmation).
  Suites: U, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-plan-reorder-material`, `obligation-plan-reorder-equivalent`, `obligation-plan-reorder-no-confirmation`, `obligation-requirement-tj-plan-11`.
- **TJ-EXEC-01@1**, complete filesystem revalidation table.
  Owner: [source](PRODUCT.md#111-filesystem-revalidation).
  Suites: A, SIM, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-exec-01`, `obligation-exec-drift-ancestor-replacement`, `obligation-exec-drift-leaf-replacement`, `obligation-exec-drift-mount-change`, `obligation-exec-drift-link-count-change`.
- **TJ-EXEC-02@1**, adjacent final check and mutation request.
  Owner: [source](PRODUCT.md#111-filesystem-revalidation).
  Suites: A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-exec-02`, `obligation-test-exec-mutation-a-holds`, `obligation-test-exec-mutation-a-ancestors`, `obligation-test-exec-mutation-a-directory`, `obligation-test-exec-mutation-a-directory-forbids`, `obligation-test-exec-mutation-a-forbids`, `obligation-exec-drift-no-mismatch-mutation`.
- **TJ-EXEC-03@1**, supported entry types and no-follow operations.
  Owner: [source](PRODUCT.md#111-filesystem-revalidation).
  Suites: A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-exec-03`.
- **TJ-EXEC-04@1**, whole-directory invalidation.
  Owner: [source](PRODUCT.md#111-filesystem-revalidation).
  Suites: A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`, `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-exec-04`, `obligation-exec-drift-child-set-delta`.
- **TJ-EXEC-05@1**, residual POSIX race and exact disclosure.
  Owner: [source](PRODUCT.md#111-filesystem-revalidation).
  Suites: R, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-exec-05`, `obligation-exec-expected-prior-effects`, `obligation-exec-expected-prior-effects-no-mismatch`.

## Failure and audit logging

- **TJ-FAIL-01@1**, action failure pause and dependency blocking.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: SM, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-fail-01`.
- **TJ-FAIL-02@1**, no resume authority across restart.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-fail-02`.
- **TJ-FAIL-03@1**, cancellation reconciliation.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-fail-03`.
- **TJ-LOG-01@1**, review-only fallback.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-log-01`.
- **TJ-LOG-02@1**, reserved intent/result capacity.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: U, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-log-02`.
- **TJ-LOG-03@1**, append and flush protocol.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-log-03`.
- **TJ-LOG-04@1**, bounded framed record schema.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-log-04`.
- **TJ-LOG-05@1**, intent and result contents.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-log-05`.
- **TJ-LOG-06@1**, fail-closed logging errors.
  Owner: [source](PRODUCT.md#113-failure-behavior).
  Suites: SM, A, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/PRODUCT.md#151-recorded-platform-limitations`.
  Registered obligations: `obligation-requirement-tj-log-06`.

## Interaction, terminal, and accessibility

- **TJ-UI-01@1**, stable focus and selection.
  Owner: [source](UI_GUIDELINES.md#interaction).
  Suites: SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-01`.
- **TJ-UI-02@1**, persistent selection and warning summaries.
  Owner: [source](UI_GUIDELINES.md#interaction).
  Suites: SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-02`.
- **TJ-UI-03@1**, filter and search composition.
  Owner: [source](UI_GUIDELINES.md#interaction).
  Suites: U, SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-ui-all-hidden-state`, `obligation-requirement-tj-ui-03`.
- **TJ-UI-04@1**, all-visible bulk scope.
  Owner: [source](UI_GUIDELINES.md#interaction).
  Suites: U, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-ui-all-hidden-bulk`, `obligation-ui-no-bulk-hidden-selection`, `obligation-requirement-tj-ui-04`.
- **TJ-UI-05@1**, refresh teardown.
  Owner: [source](UI_GUIDELINES.md#interaction).
  Suites: SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-05`.
- **TJ-UI-06@1**, unified cancellation.
  Owner: [source](UI_GUIDELINES.md#interaction).
  Suites: SM, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-06`.
- **TJ-UI-07@1**, directory browser.
  Owner: [source](UI_GUIDELINES.md#directory-browser).
  Suites: SM, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-07`.
- **TJ-UI-08@1**, complete keyboard map.
  Owner: [source](UI_GUIDELINES.md#key-map).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-08`.
- **TJ-UI-09@1**, contextual help.
  Owner: [source](UI_GUIDELINES.md#key-map).
  Suites: R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-09`.
- **TJ-UI-10@1**, measured progress and turn bounds.
  Owner: [source](UI_GUIDELINES.md#performance).
  Suites: SM, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-10`.
- **TJ-UI-11@1**, compact checklist and deterministic finding order.
  Owner: [source](UI_GUIDELINES.md#checklist-and-details).
  Suites: U, R, SM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-11`.
- **TJ-UI-12@1**, finding detail applicability and content.
  Owner: [source](UI_GUIDELINES.md#checklist-and-details).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-ui-12`.
- **TJ-TERM-01@1**, CLI terminal contract.
  Owner: [source](UI_GUIDELINES.md#terminal-contract).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/terminal.md#limitations`.
  Registered obligations: `obligation-cli-term-status`, `obligation-cli-term-diagnostic`, `obligation-cli-term-no-stdout`, `obligation-cli-term-no-fixture-mutation`.
- **TJ-TERM-02@1**, required dimensions and clamping.
  Owner: [source](UI_GUIDELINES.md#terminal-contract).
  Suites: R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-02`, `obligation-term-resize-below-minimum`.
- **TJ-TERM-03@1**, structural layout invariants.
  Owner: [source](UI_GUIDELINES.md#layout-invariants).
  Suites: R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-03`.
- **TJ-TERM-04@1**, strict text decoding and Unicode width.
  Owner: [source](UI_GUIDELINES.md#text-and-width).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/usage.md#limitations`.
  Registered obligations: `obligation-cli-usage-echo-sanitized`.
- **TJ-TERM-05@1**, Unicode and ASCII size tracks.
  Owner: [source](UI_GUIDELINES.md#text-and-width).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-05`.
- **TJ-TERM-06@1**, semantic reading order.
  Owner: [source](UI_GUIDELINES.md#text-and-width).
  Suites: R, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-06`.
- **TJ-TERM-07@1**, input and SGR mouse.
  Owner: [source](UI_GUIDELINES.md#input-and-mouse).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-07`, `obligation-term-fragmented-input`, `obligation-term-malformed-mouse`, `obligation-term-keyboard-recovery`, `obligation-term-no-keymap-corruption`.
- **TJ-TERM-08@1**, color precedence.
  Owner: [source](UI_GUIDELINES.md#color).
  Suites: U, R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-08`.
- **TJ-TERM-09@1**, initialization and restoration.
  Owner: [source](UI_GUIDELINES.md#initialization-and-restoration).
  Suites: PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-09`, `obligation-term-exit-restore-normal`, `obligation-term-startup-error`, `obligation-term-exit-restore-runtime-error`, `obligation-term-restore-signals`, `obligation-term-suspend-resume`, `obligation-term-disconnect-restore`, `obligation-term-no-unrestored-exit`.
- **TJ-TERM-10@1**, changed-cell output and backpressure.
  Owner: [source](UI_GUIDELINES.md#output-transport).
  Suites: R, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-term-10`.

## Configuration and CLI

- **TJ-CONFIG-01@1**, location and precedence.
  Owner: [source](CONFIGURATION.md#location-and-precedence).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-01`.
- **TJ-CONFIG-02@1**, strict JSON grammar.
  Owner: [source](CONFIGURATION.md#encoding-and-grammar).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-02`.
- **TJ-CONFIG-03@1**, path bytes and bases.
  Owner: [source](CONFIGURATION.md#encoding-and-grammar).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-03`.
- **TJ-CONFIG-04@1**, schema and defaults.
  Owner: [source](CONFIGURATION.md#schema).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-04`.
- **TJ-CONFIG-05@1**, thresholds and policy validation.
  Owner: [source](CONFIGURATION.md#schema).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-05`.
- **TJ-CONFIG-06@1**, exclusions.
  Owner: [source](CONFIGURATION.md#exclusions).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-06`.
- **TJ-CONFIG-07@1**, startup errors.
  Owner: [source](CONFIGURATION.md#errors-and-diagnostics).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-config-07`.
- **TJ-CLI-01@1**, exact option set and no unattended mode.
  Owner: [source](model/cli.zon).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/help.md#limitations`.
  Registered obligations: `obligation-cli-help-options`.
- **TJ-CLI-02@1**, option grammar and conflicts.
  Owner: [source](model/cli.zon).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/usage.md#limitations`.
  Registered obligations: `obligation-cli-usage-status`.
- **TJ-CLI-03@1**, streams, bypass, and exit status.
  Owner: [source](model/cli.zon).
  Suites: U, PTY.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/help.md#limitations`, `spec/fixtures/cli/version.md#limitations`, `spec/fixtures/cli/usage.md#limitations`, `spec/fixtures/cli/terminal.md#limitations`.
  Registered obligations: `obligation-cli-help-success`, `obligation-cli-help-stdout`, `obligation-cli-help-stderr-empty`, `obligation-cli-help-no-fixture-mutation`, `obligation-cli-version-success`, `obligation-cli-version-stderr-empty`, `obligation-cli-version-no-fixture-mutation`, `obligation-cli-usage-diagnostic`, `obligation-cli-usage-no-stdout`, `obligation-cli-usage-no-fixture-mutation`.

## Build and release artifacts

- **TJ-ART-01@1**, artifact classes and non-equivalence.
  Owner: [source](ARTIFACT.md#artifact-classes).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-01`.
- **TJ-ART-02@1**, canonical version identity.
  Owner: [source](ARTIFACT.md#identity).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/version.md#limitations`.
  Registered obligations: `obligation-cli-version-stdout`.
- **TJ-ART-03@1**, immutable tag, names, and checksum meaning.
  Owner: [source](ARTIFACT.md#identity).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/version.md#limitations`.
  Registered obligations: `obligation-cli-version-charset`.
- **TJ-ART-04@1**, release-safe executable contract.
  Owner: [source](ARTIFACT.md#build-artifact).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-04`.
- **TJ-ART-05@1**, separate debug evidence.
  Owner: [source](ARTIFACT.md#build-artifact).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-05`.
- **TJ-ART-06@1**, complete bounded release-input contents.
  Owner: [source](ARTIFACT.md#release-input).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-06`.
- **TJ-ART-07@1**, deterministic safe archive structure.
  Owner: [source](ARTIFACT.md#release-input).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-07`.
- **TJ-ART-08@1**, checksum manifest.
  Owner: [source](ARTIFACT.md#release-input).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-08`.
- **TJ-ART-09@1**, bounded attributable evidence.
  Owner: [source](ARTIFACT.md#evidence-artifacts).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-09`.
- **TJ-ART-10@1**, source and executable reproducibility.
  Owner: [source](ARTIFACT.md#reproducibility).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-10`.
- **TJ-ART-11@1**, artifact verification gate.
  Owner: [source](ARTIFACT.md#verification).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-11`.
- **TJ-ART-12@1**, retention and correction.
  Owner: [source](ARTIFACT.md#retention-and-publication).
  Suites: U, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-art-12`.

## Installed documentation and distribution

- **TJ-MAN-01@1**, manual source and installation.
  Owner: [source](MAN_PAGE.md#artifact).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-man-01`.
- **TJ-MAN-02@1**, release identity and deterministic date.
  Owner: [source](MAN_PAGE.md#artifact).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-man-02`.
- **TJ-MAN-03@1**, required manual content.
  Owner: [source](MAN_PAGE.md#required-content).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-man-03`.
- **TJ-MAN-04@1**, bounded user-facing claims.
  Owner: [source](MAN_PAGE.md#required-content).
  Suites: U, R.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-man-04`.
- **TJ-MAN-05@1**, help and manual synchronization.
  Owner: [source](MAN_PAGE.md#synchronization).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/cli/help.md#limitations`.
  Registered obligations: `obligation-cli-help-manual-sync`.
- **TJ-MAN-06@1**, same-change updates.
  Owner: [source](MAN_PAGE.md#synchronization).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-man-06`.
- **TJ-MAN-07@1**, parse, render, install, and lookup checks.
  Owner: [source](MAN_PAGE.md#rendering-and-verification).
  Suites: U, A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-man-07`.
- **TJ-DIST-01@1**, upstream and Termux ownership boundary.
  Owner: [source](TERMUX_PACKAGES.md#ownership-boundary).
  Suites: U, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-01`.
- **TJ-DIST-02@1**, package identity and payload.
  Owner: [source](TERMUX_PACKAGES.md#package-identity-and-contents).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-02`.
- **TJ-DIST-03@1**, package-manager-owned upgrades.
  Owner: [source](TERMUX_PACKAGES.md#package-identity-and-contents).
  Suites: A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-03`.
- **TJ-DIST-04@1**, immutable upstream release input.
  Owner: [source](TERMUX_PACKAGES.md#upstream-release-input).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-04`.
- **TJ-DIST-05@1**, Termux recipe contract.
  Owner: [source](TERMUX_PACKAGES.md#recipe-requirements).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-05`.
- **TJ-DIST-06@1**, architecture and package-size evidence.
  Owner: [source](TERMUX_PACKAGES.md#recipe-requirements).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-06`.
- **TJ-DIST-07@1**, new-package submission workflow.
  Owner: [source](TERMUX_PACKAGES.md#submission-workflow).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-07`.
- **TJ-DIST-08@1**, update and revision workflow.
  Owner: [source](TERMUX_PACKAGES.md#submission-workflow).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-08`.
- **TJ-DIST-09@1**, maintainer-only merge and deployment.
  Owner: [source](TERMUX_PACKAGES.md#submission-workflow).
  Suites: M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-09`.
- **TJ-DIST-10@1**, package acceptance checks.
  Owner: [source](TERMUX_PACKAGES.md#package-acceptance).
  Suites: A, PTY, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-10`.
- **TJ-DIST-11@1**, deployment states and verification.
  Owner: [source](TERMUX_PACKAGES.md#deployment-verification).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-11`.
- **TJ-DIST-12@1**, fail-closed publication and correction.
  Owner: [source](TERMUX_PACKAGES.md#failure-and-correction).
  Suites: U, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-12`.
- **TJ-DIST-13@1**, pinned external policy evidence.
  Owner: [source](TERMUX_PACKAGES.md#external-policy-evidence).
  Suites: M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-dist-13`.

## Verification and repository policy

- **TJ-TEST-01@2**, deterministic production boundaries and suites.
  Owner: [source](TESTING.md#design).
  Suites: U, SM, R, A, PTY, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-test-01`.
- **TJ-TEST-02@1**, adapter capability evidence.
  Owner: [source](TESTING.md#adapter-capability-evidence).
  Suites: A, M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-test-02`.
- **TJ-TEST-03@1**, fixed allocator and capacity boundaries.
  Owner: [source](TESTING.md#suites).
  Suites: U, SM, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-test-03`.
- **TJ-TEST-04@1**, evidence fields and limitations.
  Owner: [source](TESTING.md#evidence).
  Suites: all.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-test-04`.
- **TJ-TEST-05@1**, build gates.
  Owner: [source](TESTING.md#gates).
  Suites: all.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-test-05`.
- **TJ-STYLE-01@1**, implementation and repository constraints.
  Owner: [source](CODING_STYLE.md#repository-additions).
  Suites: U, A.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-requirement-tj-style-01`.

## Performance

- **TJ-PERF-01@1**, performance resource model.
  Owner: [source](PERFORMANCE.md#resource-model).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-resource-model`.
- **TJ-PERF-02@1**, explicit performance budgets.
  Owner: [source](PERFORMANCE.md#explicit-budgets).
  Suites: U, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-budgets`.
- **TJ-PERF-03@1**, expected bottlenecks.
  Owner: [source](PERFORMANCE.md#expected-bottlenecks).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-bottlenecks`.
- **TJ-PERF-04@1**, measurement methods.
  Owner: [source](PERFORMANCE.md#measurement-methods).
  Suites: U, SIM.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-measurement`.
- **TJ-PERF-05@1**, deterministic benchmarks.
  Owner: [source](PERFORMANCE.md#benchmarks).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-benchmarks`.
- **TJ-PERF-06@1**, profiling evidence.
  Owner: [source](PERFORMANCE.md#profiling-evidence).
  Suites: M.
  Invariant mapping: mapped.
  Platform evidence: required_missing.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-profiling-evidence`.
- **TJ-PERF-07@1**, regression criteria.
  Owner: [source](PERFORMANCE.md#regression-criteria).
  Suites: U.
  Invariant mapping: mapped.
  Platform evidence: not_required.
  Platform evidence references: none.
  Limitation status: recorded.
  Limitation references: `spec/fixtures/requirements/manifest.md#limitations`.
  Registered obligations: `obligation-perf-regression-criteria`.

## Maintenance rule

Every normative addition changes the canonical model in the same integration change.
A requirement is removed only when its owner text, model record, tests, and references are
removed together. Splitting or merging requirements preserves old identifiers as aliases
for one release unless doing so would create a safety ambiguity.