repositories / termux-janitor
termux-janitor
Interactive cleanup assistant for Termux: transparent, safe, confirmed disk reclamation.
owned by admin
spec/model/verification.zon
Raw.{
.{
.id = "obligation-cli-help-success",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .required,
.label = "Help exits with the registered success status.",
.suites = .{.u},
},
.{
.id = "obligation-cli-help-stdout",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .required,
.label = "Help writes the generated concise reference to stdout.",
.suites = .{.u},
},
.{
.id = "obligation-cli-help-options",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-01", .revision = 1 },
.kind = .required,
.label = "Help names every registered option, argument, and summary.",
.suites = .{.u},
},
.{
.id = "obligation-cli-help-manual-sync",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-05", .revision = 1 },
.kind = .required,
.label = "Help projects the canonical CLI definition shared with the manual.",
.suites = .{.u},
},
.{
.id = "obligation-cli-help-stderr-empty",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .forbidden,
.label = "Help emits no stderr diagnostic.",
.suites = .{.u},
},
.{
.id = "obligation-cli-help-no-fixture-mutation",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .forbidden,
.label = "Help creates no state beneath the isolated working directory.",
.suites = .{.u},
},
.{
.id = "obligation-cli-version-success",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .required,
.label = "Version exits with the registered success status.",
.suites = .{.u},
},
.{
.id = "obligation-cli-version-stdout",
.revision = 1,
.requirement = .{ .id = "TJ-ART-02", .revision = 1 },
.kind = .required,
.label = "Version writes the one canonical package version to stdout.",
.suites = .{.u},
},
.{
.id = "obligation-cli-version-charset",
.revision = 1,
.requirement = .{ .id = "TJ-ART-03", .revision = 1 },
.kind = .required,
.label = "The reported version stays inside the canonical artifact-name charset.",
.suites = .{.u},
},
.{
.id = "obligation-cli-version-stderr-empty",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .forbidden,
.label = "Version emits no stderr diagnostic.",
.suites = .{.u},
},
.{
.id = "obligation-cli-version-no-fixture-mutation",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .forbidden,
.label = "Version creates no state beneath the isolated working directory.",
.suites = .{.u},
},
.{
.id = "obligation-cli-usage-status",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-02", .revision = 1 },
.kind = .required,
.label = "Every invocation that violates the option grammar exits with the usage status.",
.suites = .{.u},
},
.{
.id = "obligation-cli-usage-diagnostic",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .required,
.label = "A rejected invocation writes one bounded stderr diagnostic and usage summary.",
.suites = .{.u},
},
.{
.id = "obligation-cli-usage-echo-bound",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-08", .revision = 1 },
.kind = .required,
.label = "A diagnostic echo stays within its registered bound and discloses truncation.",
.suites = .{.u},
},
.{
.id = "obligation-cli-usage-echo-sanitized",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-04", .revision = 1 },
.kind = .required,
.label = "A diagnostic escapes control code points and replaces invalid UTF-8 sequences.",
.suites = .{.u},
},
.{
.id = "obligation-cli-usage-no-stdout",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .forbidden,
.label = "A rejected invocation writes nothing to stdout.",
.suites = .{.u},
},
.{
.id = "obligation-cli-usage-no-fixture-mutation",
.revision = 1,
.requirement = .{ .id = "TJ-CLI-03", .revision = 1 },
.kind = .forbidden,
.label = "A rejected invocation creates no state beneath the isolated working directory.",
.suites = .{.u},
},
.{
.id = "obligation-confirm-accepted",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-10", .revision = 1 },
.kind = .required,
.label = "The exact confirmation phrase is accepted for the current plan.",
.suites = .{.pty},
},
.{
.id = "obligation-confirm-plan-identity",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-01", .revision = 1 },
.kind = .required,
.label = "Execution receives the immutable plan that was confirmed.",
.suites = .{.pty},
},
.{
.id = "obligation-confirm-no-early-mutation",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-01", .revision = 1 },
.kind = .forbidden,
.label = "No cleanup mutation is admitted before confirmation completes.",
.suites = .{.pty},
},
.{
.id = "obligation-confirm-no-plan-widening",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-01", .revision = 1 },
.kind = .forbidden,
.label = "Execution admits no action absent from the reviewed plan.",
.suites = .{.pty},
},
.{
.id = "obligation-cli-term-status",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-01", .revision = 1 },
.kind = .required,
.label = "Interactive mode without terminal stdin exits with failure status.",
.suites = .{.u},
},
.{
.id = "obligation-cli-term-diagnostic",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-01", .revision = 1 },
.kind = .required,
.label = "A failed terminal admission writes one concise stderr diagnostic.",
.suites = .{.u},
},
.{
.id = "obligation-cli-term-no-stdout",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-01", .revision = 1 },
.kind = .forbidden,
.label = "A failed terminal admission writes nothing to stdout.",
.suites = .{.u},
},
.{
.id = "obligation-cli-term-no-fixture-mutation",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-01", .revision = 1 },
.kind = .forbidden,
.label = "A failed terminal admission creates no state beneath the isolated working directory.",
.suites = .{.u},
},
.{
.id = "obligation-android-allowlist-identities",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-09", .revision = 1 },
.kind = .required,
.label = "The generated Android allowlist contains every version 1 package identifier exactly once.",
.suites = .{.u},
},
.{
.id = "obligation-android-allowlist-roles",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-09", .revision = 1 },
.kind = .required,
.label = "The generated Android allowlist marks com.termux as base and every add-on as add_on.",
.suites = .{.u},
},
.{
.id = "obligation-android-allowlist-no-base-addon",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-09", .revision = 1 },
.kind = .forbidden,
.label = "The generated Android allowlist never marks com.termux as an add-on.",
.suites = .{.u},
},
.{
.id = "obligation-classification-basenames",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-03", .revision = 1 },
.kind = .required,
.label = "The generated classification projection retains every source basename.",
.suites = .{.u},
},
.{
.id = "obligation-classification-suffixes",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-03", .revision = 1 },
.kind = .required,
.label = "The generated classification projection retains every source suffix.",
.suites = .{.u},
},
.{
.id = "obligation-classification-document-roots",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-04", .revision = 1 },
.kind = .required,
.label = "The generated classification projection retains every default document root.",
.suites = .{.u},
},
.{
.id = "obligation-classification-no-duplicates",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-03", .revision = 1 },
.kind = .forbidden,
.label = "Generated classification catalogs contain no duplicate values.",
.suites = .{.u},
},
.{
.id = "obligation-threshold-values",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .required,
.label = "Generated threshold values match the compiled version 1 defaults.",
.suites = .{.u},
},
.{
.id = "obligation-threshold-order",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .required,
.label = "The large-directory threshold is at least the large-file threshold.",
.suites = .{.u},
},
.{
.id = "obligation-threshold-no-duplicates",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .forbidden,
.label = "Generated thresholds contain no duplicate keys.",
.suites = .{.u},
},
.{
.id = "obligation-threshold-boundary-sets",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .required,
.label = "A candidate exactly at an inclusive size or age threshold satisfies its rule, and one unit below does not.",
.suites = .{.u},
},
.{
.id = "obligation-review-list-set-shapes",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .required,
.label = "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.",
.suites = .{.u},
},
.{
.id = "obligation-review-list-equal-rank",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .required,
.label = "Equal-rank packages resolve by stable tie-breakers and never expand the list beyond ten.",
.suites = .{.u},
},
.{
.id = "obligation-review-list-no-unknown-fill",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-14", .revision = 1 },
.kind = .forbidden,
.label = "No unknown-size package fills a vacant review-list position or a tied position beyond ten.",
.suites = .{.u},
},
.{
.id = "obligation-ui-all-hidden-state",
.revision = 1,
.requirement = .{ .id = "TJ-UI-03", .revision = 1 },
.kind = .required,
.label = "A filter or search combination that hides every finding shows the empty-result state and moves focus to it.",
.suites = .{ .u, .sm, .r },
},
.{
.id = "obligation-ui-all-hidden-bulk",
.revision = 1,
.requirement = .{ .id = "TJ-UI-04", .revision = 1 },
.kind = .required,
.label = "When filters or search hide every finding, all-visible bulk selection and clearing change no selection.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-ui-no-bulk-hidden-selection",
.revision = 1,
.requirement = .{ .id = "TJ-UI-04", .revision = 1 },
.kind = .forbidden,
.label = "All-visible bulk selection never selects a finding hidden by filters or search.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-gov-01",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined normative and observed truth invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-02",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined one authoritative owner per fact invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-03",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined stability-directed correction invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-04",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined bidirectional learning path invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-05",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined independent status, stability, and evidence invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-06",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined temporary divergence and gated convergence invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-07",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined complete normative change protocol invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-08",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined conflict detection and resolution invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-09",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined explicit exploration invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-10",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined justified calcification invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-11",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined reopening calcified rules invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-12",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-12", .revision = 1 },
.kind = .required,
.label = "The owner-defined specification-tool boundary invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-13",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-13", .revision = 1 },
.kind = .required,
.label = "The owner-defined skill-shaped agent document discovery invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-gov-14",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-14", .revision = 1 },
.kind = .required,
.label = "The owner-defined structured specification to generated code invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-goal-01",
.revision = 1,
.requirement = .{ .id = "TJ-GOAL-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined product direction invariant is satisfied.",
.suites = .{.m},
},
.{
.id = "obligation-requirement-tj-core-02",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined every preselection is inspectable and changeable invariant is satisfied.",
.suites = .{ .sm, .r, .pty },
},
.{
.id = "obligation-requirement-tj-core-03",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined sensitive findings remain individually selectable but bulk-safe invariant is satisfied.",
.suites = .{ .u, .sm, .r },
},
.{
.id = "obligation-requirement-tj-core-04",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined recommendations have human-readable evidence invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-core-05",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined direct mutation revalidates complete authority invariant is satisfied.",
.suites = .{ .a, .sm, .sim, .m },
},
.{
.id = "obligation-requirement-tj-core-06",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined symlink targets are never mutation targets invariant is satisfied.",
.suites = .{ .u, .a, .sim },
},
.{
.id = "obligation-requirement-tj-core-07",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined no privilege escalation invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-core-08",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined no persisted scan metadata or telemetry invariant is satisfied.",
.suites = .{.a},
},
.{
.id = "obligation-requirement-tj-core-09",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined incompleteness is always visible invariant is satisfied.",
.suites = .{ .u, .sm, .r, .sim },
},
.{
.id = "obligation-requirement-tj-core-10",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined package state changes use the owner invariant is satisfied.",
.suites = .{ .u, .a, .sm },
},
.{
.id = "obligation-requirement-tj-core-11",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined external calls are exceptional and shell-free invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-concept-01",
.revision = 1,
.requirement = .{ .id = "TJ-CONCEPT-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined canonical concept registry invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-concept-02",
.revision = 1,
.requirement = .{ .id = "TJ-CONCEPT-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined generated glossary and concept identifiers invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-concept-03",
.revision = 1,
.requirement = .{ .id = "TJ-CONCEPT-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined concept relationships and requirement references invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-scan-01",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined default and configured roots invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-scan-02",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined traversal attempt membership and outcomes invariant is satisfied.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-requirement-tj-scan-03",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined lexical root initialization invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-scan-04",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined shared-storage entry points and alias handling invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-scan-05",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined mount crossing and mount identity invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-scan-06",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined capability states and confidence invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-scan-07",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined capability probes and fail-closed mutation invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-scan-08",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined fixed storage and exhaustion invariant is satisfied.",
.suites = .{ .u, .sm, .sim },
},
.{
.id = "obligation-requirement-tj-scan-09",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined collision-safe display truncation invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-scan-10",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined visible capacity failure invariant is satisfied.",
.suites = .{ .u, .sm, .r },
},
.{
.id = "obligation-requirement-tj-scan-11",
.revision = 1,
.requirement = .{ .id = "TJ-SCAN-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined in-scope cleanup classes invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-limit-01",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined exact fixed-limit registry invariant is satisfied.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-limit-02",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined initial allocation and fail-closed exhaustion invariant is satisfied.",
.suites = .{ .u, .sm, .sim },
},
.{
.id = "obligation-requirement-tj-limit-03",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined oversized authority and depth handling invariant is satisfied.",
.suites = .{ .u, .sm, .sim },
},
.{
.id = "obligation-requirement-tj-limit-04",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined saturating omission accounting invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-limit-05",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined process-bound failure behavior invariant is satisfied.",
.suites = .{ .a, .pty, .sim },
},
.{
.id = "obligation-requirement-tj-limit-06",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined queue reservations and latency invariant is satisfied.",
.suites = .{ .sm, .pty, .sim },
},
.{
.id = "obligation-requirement-tj-limit-07",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined terminal clamping and backpressure invariant is satisfied.",
.suites = .{ .r, .pty },
},
.{
.id = "obligation-requirement-tj-limit-09",
.revision = 1,
.requirement = .{ .id = "TJ-LIMIT-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined limit-change evidence invariant is satisfied.",
.suites = .{ .u, .m },
},
.{
.id = "obligation-requirement-tj-class-01",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined supported Git semantics invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-02",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined unsupported VCS fail-closed handling invariant is satisfied.",
.suites = .{ .u, .a, .r },
},
.{
.id = "obligation-requirement-tj-class-05",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined ownership states and controlled namespaces invariant is satisfied.",
.suites = .{ .u, .a, .sm },
},
.{
.id = "obligation-requirement-tj-class-06",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined provenance and confidence invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-07",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined producer disposal evidence invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-08",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined uncertain-purpose policy invariant is satisfied.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-class-09",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined downloads classification invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-10",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined trash formats and invalid metadata invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-11",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined logs, locks, and temporary patterns invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-12",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-12", .revision = 1 },
.kind = .required,
.label = "The owner-defined process observations and activity invariant is satisfied.",
.suites = .{ .u, .a, .sim },
},
.{
.id = "obligation-requirement-tj-class-13",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-13", .revision = 1 },
.kind = .required,
.label = "The owner-defined manual-only classes invariant is satisfied.",
.suites = .{ .u, .sm, .r },
},
.{
.id = "obligation-requirement-tj-class-15",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-15", .revision = 1 },
.kind = .required,
.label = "The owner-defined safe preselection invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-class-16",
.revision = 1,
.requirement = .{ .id = "TJ-CLASS-16", .revision = 1 },
.kind = .required,
.label = "The owner-defined log and temporary policy invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-size-01",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined allocated blocks remain distinct from apparent bytes invariant is satisfied.",
.suites = .{ .u, .a, .r, .m },
},
.{
.id = "obligation-requirement-tj-size-02",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined checked arithmetic and overflow propagation invariant is satisfied.",
.suites = .{ .u, .sim },
},
.{
.id = "obligation-requirement-tj-size-03",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined metadata, compression, sparse, and rounding treatment invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-size-04",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined generation-local inode identity invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-size-05",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined non-additive rows and direct totals invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-size-06",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined hard-link reclaim credit invariant is satisfied.",
.suites = .{ .u, .a, .sim },
},
.{
.id = "obligation-requirement-tj-size-07",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined eventual-release uncertainty invariant is satisfied.",
.suites = .{ .u, .a, .r },
},
.{
.id = "obligation-requirement-tj-size-08",
.revision = 1,
.requirement = .{ .id = "TJ-SIZE-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined no version 1 cross-filesystem additive total invariant is satisfied.",
.suites = .{ .u, .r, .m },
},
.{
.id = "obligation-requirement-tj-link-01",
.revision = 1,
.requirement = .{ .id = "TJ-LINK-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined traversal never follows directory symlinks invariant is satisfied.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-requirement-tj-link-02",
.revision = 1,
.requirement = .{ .id = "TJ-LINK-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined host and proot target namespaces invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-link-03",
.revision = 1,
.requirement = .{ .id = "TJ-LINK-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined bounded target resolution invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-link-04",
.revision = 1,
.requirement = .{ .id = "TJ-LINK-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined target status is not mutation authority invariant is satisfied.",
.suites = .{ .u, .a, .sim },
},
.{
.id = "obligation-requirement-tj-adapt-01",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined common minimum and no warning-only stubs invariant is satisfied.",
.suites = .{.a},
},
.{
.id = "obligation-requirement-tj-adapt-02",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined normalized state vocabulary invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-adapt-03",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined exact supported version/configuration tuple invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-adapt-04",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined ownership domains and aliases invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-adapt-05",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined ecosystem minimum capabilities invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-adapt-06",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined effect-set schema invariant is satisfied.",
.suites = .{ .u, .a, .sm },
},
.{
.id = "obligation-requirement-tj-adapt-07",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined execution binding and broad cache scope invariant is satisfied.",
.suites = .{ .a, .sim, .m },
},
.{
.id = "obligation-requirement-tj-adapt-08",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined result normalization invariant is satisfied.",
.suites = .{ .a, .sm },
},
.{
.id = "obligation-adapt-effect-change-membership",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-07", .revision = 1 },
.kind = .required,
.label = "A package addition or removal that differs from the reviewed effect set returns the action to review before any manager invocation.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-adapt-effect-change-hooks",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-07", .revision = 1 },
.kind = .required,
.label = "A declared hook identity, invocation phase, or policy change returns the action to review before any manager invocation.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-adapt-effect-change-cache-scope",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-07", .revision = 1 },
.kind = .required,
.label = "A cache-scope change returns the action to review before any manager invocation.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-adapt-effect-change-no-admission",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-07", .revision = 1 },
.kind = .forbidden,
.label = "No manager operation is admitted against an effect set that differs from the reviewed binding.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-adapt-tuple-change-manager-version",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-03", .revision = 1 },
.kind = .required,
.label = "A manager version change outside the evidenced tuple demotes the operation to discovery-only until evidence is repeated.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-adapt-tuple-change-runtime-version",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-03", .revision = 1 },
.kind = .required,
.label = "A runtime version change outside the evidenced tuple demotes the operation to discovery-only until evidence is repeated.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-adapt-tuple-change-configuration",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-03", .revision = 1 },
.kind = .required,
.label = "An effective-configuration change outside the evidenced tuple demotes the operation to discovery-only until evidence is repeated.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-adapt-tuple-change-no-supported",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-03", .revision = 1 },
.kind = .forbidden,
.label = "No operation remains supported or evidenced across a changed manager version, runtime version, or effective configuration tuple.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-plan-reorder-material",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-11", .revision = 1 },
.kind = .required,
.label = "A reordering that changes canonical plan bytes returns the plan to review.",
.suites = .{.sm},
},
.{
.id = "obligation-plan-reorder-equivalent",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-11", .revision = 1 },
.kind = .required,
.label = "A reordering that canonicalizes to identical plan bytes preserves plan identity.",
.suites = .{.sm},
},
.{
.id = "obligation-plan-reorder-no-confirmation",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-11", .revision = 1 },
.kind = .forbidden,
.label = "A prior confirmation never authorizes a plan whose canonical actions or dependencies changed.",
.suites = .{.sm},
},
.{
.id = "obligation-requirement-tj-adapt-10",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined external-process registry invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-adapt-11",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined process and output bounds invariant is satisfied.",
.suites = .{ .a, .pty, .sim },
},
.{
.id = "obligation-requirement-tj-adapt-12",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-12", .revision = 1 },
.kind = .required,
.label = "The owner-defined local-first scoped network access invariant is satisfied.",
.suites = .{ .sm, .a, .r },
},
.{
.id = "obligation-requirement-tj-adapt-13",
.revision = 1,
.requirement = .{ .id = "TJ-ADAPT-13", .revision = 1 },
.kind = .required,
.label = "The owner-defined package-manager observation boundary invariant is satisfied.",
.suites = .{ .a, .sm, .m },
},
.{
.id = "obligation-requirement-tj-plan-01",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined immutable canonical plan snapshot invariant is satisfied.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-plan-02",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined deterministic topological action order invariant is satisfied.",
.suites = .{ .u, .sim },
},
.{
.id = "obligation-requirement-tj-plan-03",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined typed action contents invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-plan-04",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined dependencies and expected effects invariant is satisfied.",
.suites = .{ .u, .sm, .sim },
},
.{
.id = "obligation-requirement-tj-plan-05",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined canonical plan encoding invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-plan-06",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined complete directory manifest invariant is satisfied.",
.suites = .{ .u, .a, .sim },
},
.{
.id = "obligation-requirement-tj-plan-07",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined review grouping and expanded details invariant is satisfied.",
.suites = .{.r},
},
.{
.id = "obligation-requirement-tj-plan-08",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined dry-run purity and plan equivalence invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-plan-09",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined complete final confirmation fields invariant is satisfied.",
.suites = .{ .r, .pty },
},
.{
.id = "obligation-requirement-tj-plan-11",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined material plan equivalence invariant is satisfied.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-exec-01",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined complete filesystem revalidation table invariant is satisfied.",
.suites = .{ .a, .sim, .m },
},
.{
.id = "obligation-requirement-tj-exec-02",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined adjacent final check and mutation request invariant is satisfied.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-test-exec-mutation-a-holds",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .required,
.label = "A confirmed session on an unchanged temporary leaf unlinks exactly that leaf from its selected root and records adjacent intent and success result frames.",
.suites = .{.a},
},
.{
.id = "obligation-test-exec-mutation-a-ancestors",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .required,
.label = "A session whose reviewed ancestor directory was replaced by a new directory holding the identical leaf issues no mutation and records a failure result frame.",
.suites = .{.a},
},
.{
.id = "obligation-test-exec-mutation-a-directory",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .required,
.label = "A confirmed directory action removes its complete reviewed tree including empty directories and symlinks, records a success frame, and a symlink target outside the reviewed tree survives.",
.suites = .{.a},
},
.{
.id = "obligation-test-exec-mutation-a-directory-forbids",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .forbidden,
.label = "No successful mutation is issued for a directory whose reviewed child was replaced after review; the child and directory survive and the run log records a failure result frame.",
.suites = .{.a},
},
.{
.id = "obligation-test-exec-mutation-a-forbids",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .forbidden,
.label = "No successful mutation is issued for a leaf changed after review; the leaf survives and the run log records a failure result frame.",
.suites = .{.a},
},
.{
.id = "obligation-requirement-tj-exec-03",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined supported entry types and no-follow operations invariant is satisfied.",
.suites = .{.a},
},
.{
.id = "obligation-requirement-tj-exec-04",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined whole-directory invalidation invariant is satisfied.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-requirement-tj-exec-05",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined residual POSIX race and exact disclosure invariant is satisfied.",
.suites = .{ .r, .m },
},
.{
.id = "obligation-exec-drift-ancestor-replacement",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-01", .revision = 1 },
.kind = .required,
.label = "A reviewed ancestor replaced under the same name with a different filesystem identity fails the action before any mutation.",
.suites = .{ .a, .sim, .m },
},
.{
.id = "obligation-exec-drift-leaf-replacement",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-01", .revision = 1 },
.kind = .required,
.label = "A reviewed leaf replaced under the same name with a different filesystem identity or type fails the action before any mutation.",
.suites = .{ .a, .sim, .m },
},
.{
.id = "obligation-exec-drift-mount-change",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-01", .revision = 1 },
.kind = .required,
.label = "A changed mount identity on the selected root, a reviewed ancestor, or the leaf fails the action before any mutation.",
.suites = .{ .a, .sim, .m },
},
.{
.id = "obligation-exec-drift-link-count-change",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-01", .revision = 1 },
.kind = .required,
.label = "A link-count change against reviewed metadata fails the action before any mutation.",
.suites = .{ .a, .sim, .m },
},
.{
.id = "obligation-exec-drift-child-set-delta",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-04", .revision = 1 },
.kind = .required,
.label = "A new or removed child in a reviewed directory invalidates the whole directory action before any mutation on its entries.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-exec-drift-no-mismatch-mutation",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-02", .revision = 1 },
.kind = .forbidden,
.label = "No mutation is issued after an ancestor replacement, leaf replacement, mount change, link-count change, or new or removed child is observed.",
.suites = .{ .a, .sim },
},
.{
.id = "obligation-exec-expected-prior-effects",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-05", .revision = 1 },
.kind = .required,
.label = "A change exactly recorded as an effect of a successfully completed dependency is expected and neither fails nor pauses the action.",
.suites = .{ .r, .m },
},
.{
.id = "obligation-exec-expected-prior-effects-no-mismatch",
.revision = 1,
.requirement = .{ .id = "TJ-EXEC-05", .revision = 1 },
.kind = .forbidden,
.label = "An exactly recorded effect of a successfully completed dependency is never reported as an unexpected mismatch.",
.suites = .{ .r, .m },
},
.{
.id = "obligation-requirement-tj-fail-01",
.revision = 1,
.requirement = .{ .id = "TJ-FAIL-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined action failure pause and dependency blocking invariant is satisfied.",
.suites = .{ .sm, .pty, .sim },
},
.{
.id = "obligation-requirement-tj-fail-02",
.revision = 1,
.requirement = .{ .id = "TJ-FAIL-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined no resume authority across restart invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-fail-03",
.revision = 1,
.requirement = .{ .id = "TJ-FAIL-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined cancellation reconciliation invariant is satisfied.",
.suites = .{ .sm, .sim },
},
.{
.id = "obligation-requirement-tj-log-01",
.revision = 1,
.requirement = .{ .id = "TJ-LOG-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined review-only fallback invariant is satisfied.",
.suites = .{ .sm, .r },
},
.{
.id = "obligation-requirement-tj-log-02",
.revision = 1,
.requirement = .{ .id = "TJ-LOG-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined reserved intent/result capacity invariant is satisfied.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-log-03",
.revision = 1,
.requirement = .{ .id = "TJ-LOG-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined append and flush protocol invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-log-04",
.revision = 1,
.requirement = .{ .id = "TJ-LOG-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined bounded framed record schema invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-log-05",
.revision = 1,
.requirement = .{ .id = "TJ-LOG-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined intent and result contents invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-log-06",
.revision = 1,
.requirement = .{ .id = "TJ-LOG-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined fail-closed logging errors invariant is satisfied.",
.suites = .{ .sm, .a, .sim },
},
.{
.id = "obligation-requirement-tj-ui-01",
.revision = 1,
.requirement = .{ .id = "TJ-UI-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined stable focus and selection invariant is satisfied.",
.suites = .{ .sm, .r },
},
.{
.id = "obligation-requirement-tj-ui-02",
.revision = 1,
.requirement = .{ .id = "TJ-UI-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined persistent selection and warning summaries invariant is satisfied.",
.suites = .{ .sm, .r },
},
.{
.id = "obligation-requirement-tj-ui-03",
.revision = 1,
.requirement = .{ .id = "TJ-UI-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined filter and search composition invariant is satisfied.",
.suites = .{ .u, .sm, .r },
},
.{
.id = "obligation-requirement-tj-ui-04",
.revision = 1,
.requirement = .{ .id = "TJ-UI-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined all-visible bulk scope invariant is satisfied.",
.suites = .{ .u, .sm },
},
.{
.id = "obligation-requirement-tj-ui-05",
.revision = 1,
.requirement = .{ .id = "TJ-UI-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined refresh teardown invariant is satisfied.",
.suites = .{ .sm, .sim },
},
.{
.id = "obligation-requirement-tj-ui-06",
.revision = 1,
.requirement = .{ .id = "TJ-UI-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined unified cancellation invariant is satisfied.",
.suites = .{ .sm, .pty, .sim },
},
.{
.id = "obligation-requirement-tj-ui-07",
.revision = 1,
.requirement = .{ .id = "TJ-UI-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined directory browser invariant is satisfied.",
.suites = .{ .sm, .r },
},
.{
.id = "obligation-requirement-tj-ui-08",
.revision = 1,
.requirement = .{ .id = "TJ-UI-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined complete keyboard map invariant is satisfied.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-requirement-tj-ui-09",
.revision = 1,
.requirement = .{ .id = "TJ-UI-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined contextual help invariant is satisfied.",
.suites = .{ .r, .pty },
},
.{
.id = "obligation-requirement-tj-ui-10",
.revision = 1,
.requirement = .{ .id = "TJ-UI-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined measured progress and turn bounds invariant is satisfied.",
.suites = .{ .sm, .pty },
},
.{
.id = "obligation-requirement-tj-ui-11",
.revision = 1,
.requirement = .{ .id = "TJ-UI-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined compact checklist and deterministic finding order invariant is satisfied.",
.suites = .{ .u, .r, .sm },
},
.{
.id = "obligation-requirement-tj-ui-12",
.revision = 1,
.requirement = .{ .id = "TJ-UI-12", .revision = 1 },
.kind = .required,
.label = "The owner-defined finding detail applicability and content invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-term-02",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined required dimensions and clamping invariant is satisfied.",
.suites = .{ .r, .pty },
},
.{
.id = "obligation-requirement-tj-term-03",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined structural layout invariants invariant is satisfied.",
.suites = .{.r},
},
.{
.id = "obligation-requirement-tj-term-05",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined Unicode and ASCII size tracks invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-term-06",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined semantic reading order invariant is satisfied.",
.suites = .{ .r, .m },
},
.{
.id = "obligation-requirement-tj-term-07",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined input and SGR mouse invariant is satisfied.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-requirement-tj-term-08",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined color precedence invariant is satisfied.",
.suites = .{ .u, .r, .pty },
},
.{
.id = "obligation-requirement-tj-term-09",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined initialization and restoration invariant is satisfied.",
.suites = .{.pty},
},
.{
.id = "obligation-term-exit-restore-normal",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "A normal exit restores mouse mode, bracketed paste, cursor visibility, alternate screen, and termios in reverse enable order.",
.suites = .{.pty},
},
.{
.id = "obligation-term-startup-error",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "A failed interactive startup writes one concise stderr diagnostic and exits nonzero without scanning or entering review-only mode.",
.suites = .{.pty},
},
.{
.id = "obligation-term-exit-restore-runtime-error",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "A runtime error restores the same terminal state before the error path completes.",
.suites = .{.pty},
},
.{
.id = "obligation-term-restore-signals",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "Every handled signal restores the same terminal state before the process stops or exits.",
.suites = .{.pty},
},
.{
.id = "obligation-term-suspend-resume",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "Suspension restores terminal state before stopping and re-enters only after resume and capability recheck.",
.suites = .{.pty},
},
.{
.id = "obligation-term-disconnect-restore",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .required,
.label = "After disconnect, restoration attempts only nonblocking writes for at most four attempts and 100 ms total and never blocks exit.",
.suites = .{.pty},
},
.{
.id = "obligation-term-no-unrestored-exit",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-09", .revision = 1 },
.kind = .forbidden,
.label = "No exit path leaves mouse mode, bracketed paste, cursor visibility, alternate screen, or termios unrestored.",
.suites = .{.pty},
},
.{
.id = "obligation-term-resize-below-minimum",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-02", .revision = 1 },
.kind = .required,
.label = "A resize below the required minimum clamps to the required minimum layout.",
.suites = .{ .pty, .r },
},
.{
.id = "obligation-confirm-buffered-input",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-10", .revision = 1 },
.kind = .required,
.label = "Entering confirmation discards previously buffered input, and only events decoded for the current confirmation generation contribute characters.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-confirm-paste-no-confirm",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-10", .revision = 1 },
.kind = .required,
.label = "A bracketed paste never contributes characters to the confirmation phrase.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-confirm-auto-repeat",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-10", .revision = 1 },
.kind = .required,
.label = "Repetition of one key never forms the confirmation phrase.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-confirm-legacy-disclosure",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-10", .revision = 1 },
.kind = .required,
.label = "Help discloses that legacy unmarked paste, macros, and synthetic input are indistinguishable from typing.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-confirm-no-stale-admission",
.revision = 1,
.requirement = .{ .id = "TJ-PLAN-10", .revision = 1 },
.kind = .forbidden,
.label = "No mouse input, escape sequence, or stale replay event contributes to the confirmation phrase.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-term-fragmented-input",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-07", .revision = 1 },
.kind = .required,
.label = "Fragmented UTF-8 and escape input decodes to the same events as contiguous input.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-term-malformed-mouse",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-07", .revision = 1 },
.kind = .required,
.label = "A malformed mouse sequence emits one ignored-input warning, resets to ground state, and decodes the next ordinary keyboard byte from ground state.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-term-keyboard-recovery",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-07", .revision = 1 },
.kind = .required,
.label = "Every malformed, oversized, unknown, or impossible sequence leaves keyboard mappings unchanged and decoding resumes at ground state.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-term-no-keymap-corruption",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-07", .revision = 1 },
.kind = .forbidden,
.label = "No input sequence changes keyboard mappings or leaves the decoder desynchronized from ground state.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-requirement-tj-term-10",
.revision = 1,
.requirement = .{ .id = "TJ-TERM-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined changed-cell output and backpressure invariant is satisfied.",
.suites = .{ .r, .pty },
},
.{
.id = "obligation-requirement-tj-config-01",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined location and precedence invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-config-02",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined strict JSON grammar invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-config-03",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined path bytes and bases invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-config-04",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined schema and defaults invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-config-05",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined thresholds and policy validation invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-config-06",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined exclusions invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-config-07",
.revision = 1,
.requirement = .{ .id = "TJ-CONFIG-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined startup errors invariant is satisfied.",
.suites = .{ .u, .pty },
},
.{
.id = "obligation-requirement-tj-art-01",
.revision = 1,
.requirement = .{ .id = "TJ-ART-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined artifact classes and non-equivalence invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-art-04",
.revision = 1,
.requirement = .{ .id = "TJ-ART-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined release-safe executable contract invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-art-05",
.revision = 1,
.requirement = .{ .id = "TJ-ART-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined separate debug evidence invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-art-06",
.revision = 1,
.requirement = .{ .id = "TJ-ART-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined complete bounded release-input contents invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-art-07",
.revision = 1,
.requirement = .{ .id = "TJ-ART-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined deterministic safe archive structure invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-art-08",
.revision = 1,
.requirement = .{ .id = "TJ-ART-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined checksum manifest invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-art-09",
.revision = 1,
.requirement = .{ .id = "TJ-ART-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined bounded attributable evidence invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-art-10",
.revision = 1,
.requirement = .{ .id = "TJ-ART-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined source and executable reproducibility invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-art-11",
.revision = 1,
.requirement = .{ .id = "TJ-ART-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined artifact verification gate invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-art-12",
.revision = 1,
.requirement = .{ .id = "TJ-ART-12", .revision = 1 },
.kind = .required,
.label = "The owner-defined retention and correction invariant is satisfied.",
.suites = .{ .u, .m },
},
.{
.id = "obligation-requirement-tj-man-01",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined manual source and installation invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-man-02",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined release identity and deterministic date invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-man-03",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined required manual content invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-man-04",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined bounded user-facing claims invariant is satisfied.",
.suites = .{ .u, .r },
},
.{
.id = "obligation-requirement-tj-man-06",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined same-change updates invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-tj-man-07",
.revision = 1,
.requirement = .{ .id = "TJ-MAN-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined parse, render, install, and lookup checks invariant is satisfied.",
.suites = .{ .u, .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-01",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined upstream and Termux ownership boundary invariant is satisfied.",
.suites = .{ .u, .m },
},
.{
.id = "obligation-requirement-tj-dist-02",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined package identity and payload invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-03",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined package-manager-owned upgrades invariant is satisfied.",
.suites = .{.a},
},
.{
.id = "obligation-requirement-tj-dist-04",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined immutable upstream release input invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-tj-dist-05",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined Termux recipe contract invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-06",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined architecture and package-size evidence invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-07",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined new-package submission workflow invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-08",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-08", .revision = 1 },
.kind = .required,
.label = "The owner-defined update and revision workflow invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-09",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-09", .revision = 1 },
.kind = .required,
.label = "The owner-defined maintainer-only merge and deployment invariant is satisfied.",
.suites = .{.m},
},
.{
.id = "obligation-requirement-tj-dist-10",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-10", .revision = 1 },
.kind = .required,
.label = "The owner-defined package acceptance checks invariant is satisfied.",
.suites = .{ .a, .pty, .m },
},
.{
.id = "obligation-requirement-tj-dist-11",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-11", .revision = 1 },
.kind = .required,
.label = "The owner-defined deployment states and verification invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-dist-12",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-12", .revision = 1 },
.kind = .required,
.label = "The owner-defined fail-closed publication and correction invariant is satisfied.",
.suites = .{ .u, .m },
},
.{
.id = "obligation-requirement-tj-dist-13",
.revision = 1,
.requirement = .{ .id = "TJ-DIST-13", .revision = 1 },
.kind = .required,
.label = "The owner-defined pinned external policy evidence invariant is satisfied.",
.suites = .{.m},
},
.{
.id = "obligation-requirement-tj-test-01",
.revision = 1,
.requirement = .{ .id = "TJ-TEST-01", .revision = 2 },
.kind = .required,
.label = "The owner-defined deterministic production boundaries and suites invariant is satisfied.",
.suites = .{ .u, .sm, .r, .a, .pty, .sim },
},
.{
.id = "obligation-requirement-tj-test-02",
.revision = 1,
.requirement = .{ .id = "TJ-TEST-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined adapter capability evidence invariant is satisfied.",
.suites = .{ .a, .m },
},
.{
.id = "obligation-requirement-tj-test-03",
.revision = 1,
.requirement = .{ .id = "TJ-TEST-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined fixed allocator and capacity boundaries invariant is satisfied.",
.suites = .{ .u, .sm, .sim },
},
.{
.id = "obligation-requirement-tj-test-04",
.revision = 1,
.requirement = .{ .id = "TJ-TEST-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined evidence fields and limitations invariant is satisfied.",
.suites = .{ .u, .sm, .r, .a, .pty, .sim, .m },
},
.{
.id = "obligation-requirement-tj-test-05",
.revision = 1,
.requirement = .{ .id = "TJ-TEST-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined build gates invariant is satisfied.",
.suites = .{ .u, .sm, .r, .a, .pty, .sim, .m },
},
.{
.id = "obligation-requirement-tj-style-01",
.revision = 1,
.requirement = .{ .id = "TJ-STYLE-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined implementation and repository constraints invariant is satisfied.",
.suites = .{ .u, .a },
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-u",
.revision = 1,
.requirement = .{ .id = "TJ-GOV-01", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.u},
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-sm",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-02", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.sm},
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-r",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-02", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.r},
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-a",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-05", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.a},
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-pty",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-02", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.pty},
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-sim",
.revision = 1,
.requirement = .{ .id = "TJ-CORE-05", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.sim},
},
.{
.id = "obligation-requirement-manifest-no-unbound-pass-m",
.revision = 1,
.requirement = .{ .id = "TJ-GOAL-01", .revision = 1 },
.kind = .forbidden,
.label = "The unbound manifest fixture is not treated as implementation evidence.",
.suites = .{.m},
},
.{
.id = "obligation-perf-resource-model",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-01", .revision = 1 },
.kind = .required,
.label = "The owner-defined performance resource model invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-perf-budgets",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-02", .revision = 1 },
.kind = .required,
.label = "The owner-defined explicit performance budgets invariant is satisfied.",
.suites = .{ .u, .sim },
},
.{
.id = "obligation-perf-bottlenecks",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-03", .revision = 1 },
.kind = .required,
.label = "The owner-defined expected bottlenecks invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-perf-measurement",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-04", .revision = 1 },
.kind = .required,
.label = "The owner-defined measurement methods invariant is satisfied.",
.suites = .{ .u, .sim },
},
.{
.id = "obligation-perf-benchmarks",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-05", .revision = 1 },
.kind = .required,
.label = "The owner-defined deterministic benchmarks invariant is satisfied.",
.suites = .{.u},
},
.{
.id = "obligation-perf-profiling-evidence",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-06", .revision = 1 },
.kind = .required,
.label = "The owner-defined profiling evidence invariant is satisfied.",
.suites = .{.m},
},
.{
.id = "obligation-perf-regression-criteria",
.revision = 1,
.requirement = .{ .id = "TJ-PERF-07", .revision = 1 },
.kind = .required,
.label = "The owner-defined regression criteria invariant is satisfied.",
.suites = .{.u},
},
}