@starci/skills 1.1.0

package/knowledge/ui/proof/accessibility.vi.md

@@ -0,0 +1,68 @@
+# Accessibility proof
+
+File này trả lời đúng một câu hỏi: trong cây đã thật sự render, mọi người đọc có cảm nhận và thao
+tác được thứ mà direction đã định không.
+
+Không điều gì ở đây được chốt bằng cách đọc source. Một prop trong source là một ý định; cái tên khả
+truy cập tính ra từ node đã render mới là bằng chứng. Mỗi rule dưới đây nêu quan sát nào sẽ bác bỏ
+nó, để một kết luận đạt luôn gọi tên được thứ đã thật sự được nhìn.
+
+## A11Y-1 — Tên và quan hệ của field
+
+Chi phối việc danh tính của một field và phần hướng dẫn hiện hành của nó có tới được đầu ra trợ năng
+hay không.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một field render kèm nhãn nhìn thấy được | Tên khả truy cập tính ra bằng đúng nhãn nhìn thấy. Một cái tên chỉ do placeholder cấp, hoặc một field không có tên nào, sẽ bác bỏ nó |
+| Case 2 | Field có hint, có lỗi, hoặc có cả hai | Thông điệp được gắn về input đó theo cách máy đọc được, và phần chữ là bản hiện hành. Một thông điệp nhìn thấy được nhưng không gắn với control nào sẽ bác bỏ nó |
+| Case 3 | Field đang ở trạng thái bắt buộc, không hợp lệ hoặc bị vô hiệu | Ngữ nghĩa đã render khớp với dữ kiện business hiện tại. Một viền đỏ mà không có ngữ nghĩa không hợp lệ sẽ bác bỏ nó |
+| Case 4 | Người đọc gõ và validation chạy lại | Giá trị đã nhập sống sót qua lần đổi state, và phần mô tả là bản mới chứ không phải một thông điệp cũ |
+
+Không phải rule này: lỗi đó ban đầu có được đặt đúng owner hay không là quyết định của composition,
+ở FEEDBACK-1.
+
+## A11Y-2 — Câu lệnh chỉ có glyph vẫn phải có tên
+
+Chi phối những câu lệnh mà phần nhìn thấy chỉ là một glyph.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | `IconButton` render một câu lệnh chỉ có glyph | Vai trò button mang một tên khả truy cập bằng đúng `label` của nó. Một tooltip là lời giải thích duy nhất sẽ bác bỏ nó |
+| Case 2 | Nút chứa một glyph dẫn đầu mang tính trang trí | Glyph bên trong bị ẩn khỏi đầu ra trợ năng. Cùng một cái tên tính ra hai lần, một trên nút và một trên icon, sẽ bác bỏ nó |
+| Case 3 | Một glyph đứng riêng và tự nó mang nghĩa | `Icon.ariaLabel` cho ra vai trò image với tên đó. Một glyph mang nghĩa mà bị ẩn đi sẽ bác bỏ nó |
+| Case 4 | Câu lệnh có thể bị vô hiệu | Kích hoạt bằng bàn phím chạm tới nó khi bật, và không sinh ra gì khi bị vô hiệu |
+
+## A11Y-3 — Phép đo phải có danh tính khả truy cập
+
+Chi phối những con số được render thành thanh.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một phép đo đã giải quyết được render | Progressbar để lộ tên khả truy cập bằng đúng label, giá trị hiện tại, tối thiểu `0` và tối đa `100`, và giá trị đó bằng đúng dữ kiện sản phẩm |
+| Case 2 | Giá trị chưa giải quyết | Skeleton render hình khối bị ẩn khỏi trợ năng, không có progressbar và không có label. Một progressbar có tên đọc lên số không sẽ bác bỏ nó |
+| Case 3 | `value` bị bỏ trống trong lúc dữ liệu chưa biết | Nhánh không phải skeleton lấy giá trị mặc định, nên đầu ra render đọc lên `0`, và điều đó bác bỏ tuyên bố rằng giá trị chưa biết |
+| Case 4 | Một thanh trang trí nằm cạnh phép đo | Nó không mang vai trò progressbar. Hai phép đo được đọc lên cho một dữ kiện sẽ bác bỏ cả vùng |
+
+## A11Y-4 — Cảm nhận được và thao tác được ở mọi state bắt buộc
+
+Chi phối bằng chứng khép lại một tuyên bố về trợ năng.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một mục tiêu phải thao tác được bằng chạm | Trigger của accordion và các control bên trong rail đo được ít nhất `44px × 44px` trong bản render hiện tại. Mọi mục tiêu khác cần bằng chứng hợp đồng riêng trước khi khẳng định một mức tối thiểu |
+| Case 2 | Nhiệm vụ được thực hiện chỉ bằng bàn phím | Mọi control bắt buộc đều chạm tới và thao tác được. Một control bắt buộc không chạm tới được sẽ bác bỏ cả trang |
+| Case 3 | Trang được xem ở forced colors, ở mức tương phản giảm, hoặc đã bỏ màu | Mọi khác biệt về state, selection và focus vẫn sống sót. Một khác biệt chỉ dựa vào phần tô sẽ bác bỏ nó |
+| Case 4 | Trang được zoom, chữ được phóng, hoặc viewport hẹp lại | Không nội dung bắt buộc nào và không chỉ dấu focus nào bị cắt |
+| Case 5 | Một family hoặc ứng dụng sơn đè lên owner công khai | So sánh riêng đầu ra công khai cô lập, delta của family và delta của ứng dụng, để gọi tên được tầng đang hỏng |
+
+Không phải rule này: đáng lẽ phải chọn semantic owner nào là quyết định của composition, ở
+HIERARCHY-1 và STATE-1.
+
+## File này không quyết định
+
+Direction đã chọn cấp độ, action hay state nào thuộc [Hierarchy](../composition/hierarchy.vi.md),
+[Action](../composition/action.vi.md) và [State](../composition/state.vi.md). Chỉ dấu focus nằm ở
+đâu và focus được đi xa tới đâu thuộc [Focus](focus.vi.md). Chuyển động có làm mất ý nghĩa không
+thuộc [Motion](motion.vi.md), còn tuyên bố đã render có khớp authority không thuộc
+[Render truth](render-truth.vi.md).

package/knowledge/ui/proof/contrast.md

@@ -0,0 +1,58 @@
+# Contrast proof
+
+This file answers one question: on the page that actually rendered, do the distinctions and the text
+the direction relies on survive measurement, in every theme and state, and with colour taken away?
+
+Contrast is never established by reading a token. An authored value is a formula; the evidence is the
+computed foreground measured against the background that was actually composed beneath it, after
+transparency, overlays, and state opacity. Each rule below names the observation that would falsify
+it.
+
+`COLOR-3` and `COLOR-5` are the two surviving addresses of the retired `ui/color.md` topic. The
+numbers `COLOR-1`, `COLOR-2`, and `COLOR-4` were retired with it and are not reused.
+
+## COLOR-3 — Action, destination, selection, and focus stay distinguishable
+
+Governs whether four different meanings sharing one region remain four different things once colour
+is removed from the evidence.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | One region renders commands and destinations side by side | The command is a `button` element (`data-element="button"`) and the destination an anchor (`data-element="a"`) carrying an `href`, and the destination differs from surrounding copy at rest. A destination whose only resting difference is a colour value, with the underline appearing only on hover, falsifies it |
+| Case 2 | Persistent selection is rendered among peers | The selected peer carries `aria-selected="true"` (tabs) or `aria-current` (a current text action), and a non-colour change is measured on it: a selected-indicator rectangle of non-zero height, a computed `font-weight` change, or an underline. A selection whose only measurable change is a colour value falsifies it |
+| Case 3 | Keyboard focus lands in the same region | `document.activeElement` is the focused control, and its computed outline rectangle is distinct from the selection cue. Focus and selection sharing one identical fill, with no outline and no state attribute, falsifies both owners at once |
+| Case 4 | Colour is removed from the capture, or forced colours are active | Each of the four distinctions still holds through element role, state attribute, outline, or indicator geometry. A distinction carried by fill alone falsifies it |
+| Case 5 | A non-text boundary carries the distinction: an indicator, an outline, a field edge | Its measured contrast against the adjacent composed background is at least `3:1`. A `2px` indicator measuring `1.8:1` against its rail falsifies it, however visible it looked in the design file |
+
+Not this rule: the text ratio of the selected or focused label, and how every ratio moves across
+themes, is COLOR-5. Where the focus indicator sits and whether an ancestor clips it is FOCUS-1.
+Whether every distinction survives at zoom and reflow is A11Y-4. Whether a destination should have
+been a command at all is decided in composition, under ACTION-1.
+
+## COLOR-5 — Themes and measured contrast
+
+Governs whether text and required boundaries clear their ratios in every theme and every state the
+family renders, measured on the composed pixels rather than on the token.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Normal text renders | The computed `color` measured against the composed background, after transparency, overlays, and any state opacity such as `[data-grammar-state="unavailable"]`, is at least `4.5:1`. A token that looks dark enough on its own, with no composed background captured, proves nothing and is recorded as missing proof |
+| Case 2 | Large text renders, at least `24px`, or `18.66px` at bold weight | The same composed measurement is at least `3:1` |
+| Case 3 | A required non-text boundary renders: a focus outline, a selected indicator, a field edge, a state edge | Its measured contrast against the colours on each side is at least `3:1`. A field edge that resolves to `transparent` against its canvas has no measurable boundary, and the field's identity must then be carried by something else that was measured |
+| Case 4 | The theme changes: light, explicit dark (`data-grammar-theme="dark"` on the Grammar root), or system dark (`data-grammar-theme="system"` under `prefers-color-scheme: dark`) | Every pair is re-measured in each theme actually rendered. A ratio captured in one theme closes nothing in another |
+| Case 5 | Forced colours are active | Every pair resolves to the system palette (`Canvas`, `CanvasText`, `Highlight`, `GrayText`) and every distinction still renders. An authored colour surviving into the forced-colours capture falsifies the family's binding |
+| Case 6 | The state changes: hover, focus, selected, disabled (`disabled` or `aria-disabled`), pending (`aria-busy` or `data-action-pending="true"`), or an outcome state (`data-grammar-state`) | Each state is measured on its own, and the token source is recorded separately from the numeric ratio. A single default-state measurement closes nothing for the other states |
+| Case 7 | A family or the application paints over the pair | The isolated published output, the family delta, and the application delta are measured separately, so the failing layer is named. The application may change its own canvas, but a failing pair inside a published owner remains a finding at the layer that painted it |
+
+Not this rule: whether the distinction exists at all without colour is COLOR-3. Whether the right
+tone token was chosen for the copy is decided in presentation, under TONE-1 to TONE-3. Whether the
+text is announced at all is A11Y-1 to A11Y-3.
+
+## What this file does not decide
+
+Which tone a piece of copy takes and which surface sits behind it are
+[Tone](../presentation/tone.md) and [Surface](../presentation/surface.md); which meanings a region
+carries and which of them is a destination is [Action](../composition/action.md) and
+[State](../composition/state.md). Names, relationships, and target sizes are
+[Accessibility](accessibility.md); where the indicator sits is [Focus](focus.md); whether a state
+was reached truthfully is [Render truth](render-truth.md).

package/knowledge/ui/proof/contrast.vi.md

@@ -0,0 +1,57 @@
+# Contrast proof
+
+File này trả lời đúng một câu hỏi: trên trang đã thật sự render, những khác biệt và phần chữ mà
+direction đang dựa vào có sống sót qua phép đo không, ở mọi theme, mọi state, và khi màu bị lấy đi?
+
+Tương phản không bao giờ được xác lập bằng cách đọc token. Một giá trị đã viết ra chỉ là công thức;
+bằng chứng là màu chữ đã tính, đo trên nền thật sự được ghép bên dưới nó, sau khi đã cộng độ trong
+suốt, lớp phủ và độ mờ của state. Mỗi rule dưới đây gọi tên quan sát nào sẽ bác bỏ nó.
+
+`COLOR-3` và `COLOR-5` là hai địa chỉ còn sống của topic `ui/color.md` đã nghỉ. Các số `COLOR-1`,
+`COLOR-2` và `COLOR-4` đã nghỉ cùng topic đó và không được dùng lại.
+
+## COLOR-3 — Action, destination, selection và focus vẫn phân biệt được
+
+Chi phối việc bốn ý nghĩa khác nhau chia chung một vùng có còn là bốn thứ khác nhau không, khi màu bị
+loại khỏi bằng chứng.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một vùng render command và destination cạnh nhau | Command là phần tử `button` (`data-element="button"`) còn destination là thẻ neo (`data-element="a"`) mang `href`, và destination khác với chữ xung quanh ngay lúc nghỉ. Một destination mà khác biệt lúc nghỉ chỉ là một giá trị màu, gạch chân chỉ hiện khi hover, sẽ bác bỏ nó |
+| Case 2 | Lựa chọn bền vững được render giữa các mục ngang hàng | Mục được chọn mang `aria-selected="true"` (tabs) hoặc `aria-current` (một text action đang current), và đo được một thay đổi không phải màu trên nó: một hình chữ nhật chỉ dấu chọn có chiều cao khác không, một `font-weight` đã tính thay đổi, hoặc một gạch chân. Một lựa chọn mà thay đổi đo được duy nhất là giá trị màu sẽ bác bỏ nó |
+| Case 3 | Focus bàn phím rơi vào cùng vùng đó | `document.activeElement` là control đang được focus, và hình chữ nhật outline đã tính của nó tách biệt với chỉ dấu chọn. Focus và selection dùng chung một fill y hệt, không outline và không thuộc tính state, sẽ bác bỏ cả hai owner cùng lúc |
+| Case 4 | Màu bị loại khỏi ảnh chụp, hoặc forced colors đang bật | Mỗi khác biệt trong bốn thứ vẫn giữ được qua role phần tử, thuộc tính state, outline hoặc hình học của chỉ dấu. Một khác biệt chỉ do fill mang sẽ bác bỏ nó |
+| Case 5 | Một ranh giới không phải chữ đang mang khác biệt: chỉ dấu, outline, mép field | Tương phản đo được của nó với nền ghép liền kề tối thiểu `3:1`. Một chỉ dấu `2px` đo được `1.8:1` trên thanh của nó sẽ bác bỏ nó, dù trong file thiết kế trông rõ tới đâu |
+
+Không phải rule này: tỉ lệ chữ của nhãn đang được chọn hay được focus, và mọi tỉ lệ dịch chuyển ra
+sao giữa các theme, thuộc COLOR-5. Chỉ dấu focus nằm ở đâu và có bị tổ tiên cắt không thuộc
+FOCUS-1. Mọi khác biệt có sống sót khi zoom và chảy lại không thuộc A11Y-4. Một destination có đáng
+lẽ phải là command hay không được quyết ở composition, dưới ACTION-1.
+
+## COLOR-5 — Theme và tương phản đo được
+
+Chi phối việc chữ và các ranh giới bắt buộc có đạt tỉ lệ ở mọi theme và mọi state mà family render
+không, đo trên pixel đã ghép chứ không đo trên token.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Chữ cỡ thường được render | `color` đã tính, đo trên nền đã ghép sau độ trong suốt, lớp phủ và độ mờ của state như `[data-grammar-state="unavailable"]`, tối thiểu `4.5:1`. Một token tự nó trông đủ tối, mà không chụp được nền đã ghép, không chứng minh gì và được ghi là thiếu bằng chứng |
+| Case 2 | Chữ cỡ lớn được render, tối thiểu `24px`, hoặc `18.66px` ở độ đậm bold | Cùng phép đo trên nền ghép, tối thiểu `3:1` |
+| Case 3 | Một ranh giới không phải chữ nhưng bắt buộc được render: outline focus, chỉ dấu chọn, mép field, mép state | Tương phản đo được với màu ở hai bên tối thiểu `3:1`. Một mép field phân giải thành `transparent` trên canvas của nó thì không có ranh giới nào đo được, và khi ấy danh tính của field phải do thứ khác đã được đo mang thay |
+| Case 4 | Theme đổi: light, dark tường minh (`data-grammar-theme="dark"` trên Grammar root), hoặc dark theo hệ thống (`data-grammar-theme="system"` dưới `prefers-color-scheme: dark`) | Mọi cặp được đo lại ở từng theme thật sự render. Một tỉ lệ chụp ở theme này không khép được gì ở theme kia |
+| Case 5 | Forced colors đang bật | Mọi cặp phân giải về bảng màu hệ thống (`Canvas`, `CanvasText`, `Highlight`, `GrayText`) và mọi khác biệt vẫn render. Một màu do tác giả đặt mà sống sót vào ảnh chụp forced colors sẽ bác bỏ binding của family |
+| Case 6 | State đổi: hover, focus, selected, disabled (`disabled` hoặc `aria-disabled`), pending (`aria-busy` hoặc `data-action-pending="true"`), hoặc một state kết quả (`data-grammar-state`) | Mỗi state được đo riêng, và nguồn token được ghi tách khỏi con số tỉ lệ. Một phép đo duy nhất ở state mặc định không khép được gì cho các state còn lại |
+| Case 7 | Một family hoặc ứng dụng sơn đè lên cặp màu | Đầu ra công khai cô lập, delta của family và delta của ứng dụng được đo riêng, để gọi tên được tầng đang hỏng. Ứng dụng được đổi canvas của chính nó, nhưng một cặp hỏng bên trong owner công khai vẫn là finding ở đúng tầng đã sơn nó |
+
+Không phải rule này: khác biệt có tồn tại khi không có màu hay không thuộc COLOR-3. Token tone có
+được chọn đúng cho phần chữ không được quyết ở presentation, dưới TONE-1 tới TONE-3. Chữ có được
+đọc lên hay không thuộc A11Y-1 tới A11Y-3.
+
+## File này không quyết định
+
+Một đoạn chữ lấy tone nào và surface nào nằm sau nó thuộc [Tone](../presentation/tone.vi.md) và
+[Surface](../presentation/surface.vi.md); một vùng mang những ý nghĩa nào và cái nào là destination
+thuộc [Action](../composition/action.vi.md) và [State](../composition/state.vi.md). Tên, quan hệ và
+kích thước mục tiêu thuộc [Accessibility](accessibility.vi.md); chỉ dấu nằm ở đâu thuộc
+[Focus](focus.vi.md); một state có được đi tới một cách trung thực không thuộc
+[Render truth](render-truth.vi.md).

package/knowledge/ui/proof/focus.md

@@ -0,0 +1,76 @@
+# Focus proof
+
+This file answers one question: for a reader working without a pointer, where is focus, where can it
+go, and where does it come back to?
+
+Focus is only ever proved at runtime. A `:focus-visible` rule in a stylesheet does not establish a
+visible indicator, and a correct DOM order does not establish that traversal reached every stop.
+Each rule below names the observation that would falsify it.
+
+## FOCUS-1 — The visible indicator sits on the actual target
+
+Governs whether a focused thing looks focused.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Keyboard focus lands on an interactive or scrollable published owner | An indicator appears on that exact target, identifying it unambiguously. A focused element with no perceivable change falsifies it |
+| Case 2 | The indicator sits against adjacent paint or a coloured surface | It remains distinguishable there, in the current computed styles rather than in the intended ones |
+| Case 3 | The viewport narrows, the page zooms, or the target sits at a scroll edge | The indicator is not clipped by any ancestor's overflow |
+| Case 4 | The application or a family styled over the published owner | The indicator survives. An `outline: none` with no equivalent replacement falsifies it, and hover feedback is not a substitute |
+| Case 5 | Focus arrives by pointer rather than by keyboard | The indicator appears only where the published treatment intends it, so its presence still means something |
+
+## FOCUS-2 — Sequential order equals task order
+
+Governs the path focus takes through a composite.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Tabs, disclosures, navigation peers, or scroll regions create several stops | Visible order, DOM order, and sequential focus order agree with the task dependency. A visual reorder that leaves focus behind falsifies it |
+| Case 2 | The composite publishes arrow-key behaviour | Traversal reaches every enabled peer and skips what is disabled or hidden. Arrow focus landing on a disabled peer falsifies it |
+| Case 3 | Traversal is run backwards | Reverse order mirrors forward order, and no stop is reachable in only one direction |
+| Case 4 | Peers overflow their container, or the layout reflows at a narrower width | Every peer is still reachable, and focusing one brings it into view |
+| Case 5 | The application set an explicit tab order | A positive tab index that jumps a later action ahead of earlier required fields falsifies the order; the source order is what should have changed |
+
+## FOCUS-3 — Containment follows modality
+
+Governs how far focus may travel while a region is open.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | A modal region opens above the current task | Focus enters the dialog, stays inside it, reaches an explicit close path, and responds to Escape. Focus escaping to the page behind it falsifies containment |
+| Case 2 | The modal closes | Focus returns to the exact control that opened it. A return to the document body falsifies restoration |
+| Case 3 | The compact conversation rail is the modal in question | `ChatWorkspace` owns that lifecycle through `isRailOpen` and `onRailOpenChange`; the runtime focus sequence is observed rather than inferred from the vendor name behind it |
+| Case 4 | A non-modal region appears beside the task | Focus moves in and out of it freely. A non-modal region that traps focus falsifies it |
+| Case 5 | A different reusable modal is needed and no published owner fits | The gap is recorded. Application-local focus machinery is a tracked workaround, never presented as the contract |
+
+## FOCUS-4 — Focus evidence and falsifiers
+
+Governs what closes a focus claim.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Any focus claim is being closed | The active element, the visible indicator, the computed style, the DOM order, the target rectangle, and the accessibility tree are captured together. A screenshot without an active-element trace closes nothing |
+| Case 2 | A branch is conditionally absent | It contributes no focus stop. A visually hidden control still in the sequence falsifies its absence |
+| Case 3 | A control is disabled or unavailable | Focus behaves as the published owner intends, and activation produces no effect |
+| Case 4 | The page is zoomed or reflowed | Every path above is rerun there, because a ring that fits at one width may be clipped at another |
+| Case 5 | A family or the application adds a delta | The isolated published output, the family delta, and the application delta are separated, so the failing layer is named |
+
+## FOCUS-5 — Pointer and keyboard reach the same outcome
+
+Governs parity between input methods across every interactive owner.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | A whole-surface action, a tab, or a disclosure is exercised | Pointer and keyboard produce the same product outcome. An action available only by pointer falsifies parity |
+| Case 2 | One activation is delivered by either route | It produces at most one accepted effect. Two callbacks for one key press falsifies the owner |
+| Case 3 | Targets sit near or over one another | Their rectangles do not collide, and no independent control hides behind a whole-surface overlay |
+| Case 4 | A required action is revealed by hovering | That falsifies it. A required action is never hover-only |
+| Case 5 | The paths are run across default, selected, expanded, disabled, pending, and absent states | Each state is exercised by both routes, and a desktop pointer pass alone closes nothing |
+
+## What this file does not decide
+
+Which reading order the task requires is [Hierarchy](../composition/hierarchy.md), which surfaces are
+interactive and which values persist is [State](../composition/state.md), and which effect an
+activation may reach is [Action](../composition/action.md). Names, relationships, and target sizes
+are [Accessibility](accessibility.md); movement and reduced-motion equivalence are
+[Motion](motion.md).

package/knowledge/ui/proof/focus.vi.md

@@ -0,0 +1,76 @@
+# Focus proof
+
+File này trả lời đúng một câu hỏi: với người đọc làm việc không dùng con trỏ, focus đang ở đâu, nó
+được đi tới đâu, và nó quay về đâu.
+
+Focus chỉ chứng minh được lúc chạy. Một rule `:focus-visible` trong stylesheet không xác lập một chỉ
+dấu nhìn thấy được, và một thứ tự DOM đúng không xác lập rằng việc duyệt đã chạm tới mọi điểm dừng.
+Mỗi rule dưới đây gọi tên quan sát nào sẽ bác bỏ nó.
+
+## FOCUS-1 — Chỉ dấu nhìn thấy nằm trên đúng mục tiêu
+
+Chi phối việc một thứ đang được focus có trông như đang được focus không.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Focus bàn phím rơi vào một owner công khai tương tác được hoặc cuộn được | Một chỉ dấu xuất hiện trên đúng mục tiêu đó và nhận diện nó rõ ràng. Một phần tử được focus mà không có thay đổi cảm nhận được sẽ bác bỏ nó |
+| Case 2 | Chỉ dấu nằm cạnh phần sơn hoặc trên một surface có màu | Nó vẫn phân biệt được ở đó, xét theo computed style hiện tại chứ không phải theo dự định |
+| Case 3 | Viewport hẹp lại, trang zoom, hoặc mục tiêu nằm ở mép vùng cuộn | Chỉ dấu không bị overflow của tổ tiên nào cắt mất |
+| Case 4 | Ứng dụng hoặc một family sơn đè lên owner công khai | Chỉ dấu vẫn sống sót. Một `outline: none` mà không có thứ thay thế tương đương sẽ bác bỏ nó, và phản hồi hover không thay thế được |
+| Case 5 | Focus tới bằng con trỏ chứ không bằng bàn phím | Chỉ dấu chỉ xuất hiện ở nơi treatment công khai chủ đích, nhờ vậy sự hiện diện của nó vẫn còn ý nghĩa |
+
+## FOCUS-2 — Thứ tự tuần tự bằng đúng thứ tự nhiệm vụ
+
+Chi phối đường mà focus đi qua một composite.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Tabs, disclosure, các mục navigation ngang hàng hoặc vùng cuộn tạo ra nhiều điểm dừng | Thứ tự nhìn thấy, thứ tự DOM và thứ tự focus tuần tự khớp với phụ thuộc nhiệm vụ. Một lần đảo thị giác mà bỏ focus lại phía sau sẽ bác bỏ nó |
+| Case 2 | Composite có công bố hành vi phím mũi tên | Việc duyệt chạm tới mọi mục ngang hàng đang bật và bỏ qua thứ bị vô hiệu hoặc bị ẩn. Focus mũi tên rơi vào một tab bị vô hiệu sẽ bác bỏ nó |
+| Case 3 | Duyệt theo chiều ngược lại | Thứ tự ngược soi gương thứ tự xuôi, và không điểm dừng nào chỉ chạm tới được theo một chiều |
+| Case 4 | Các mục ngang hàng tràn khỏi container, hoặc bố cục chảy lại ở bề rộng hẹp hơn | Mọi mục vẫn chạm tới được, và focus vào một mục sẽ kéo nó vào tầm nhìn |
+| Case 5 | Ứng dụng đặt thứ tự tab tường minh | Một tab index dương đẩy một action về sau lên trước các field bắt buộc sẽ bác bỏ thứ tự; thứ đáng lẽ phải đổi là thứ tự nguồn |
+
+## FOCUS-3 — Giam giữ đi theo tính modal
+
+Chi phối việc focus được đi xa tới đâu khi một vùng đang mở.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một vùng modal mở lên trên nhiệm vụ hiện tại | Focus đi vào dialog, ở lại bên trong, chạm tới một đường đóng tường minh và phản hồi Escape. Focus thoát ra trang phía sau sẽ bác bỏ việc giam giữ |
+| Case 2 | Modal đóng lại | Focus quay về đúng control đã mở nó. Quay về document body sẽ bác bỏ việc khôi phục |
+| Case 3 | Rail hội thoại dạng gọn chính là modal đang xét | `ChatWorkspace` sở hữu vòng đời đó qua `isRailOpen` và `onRailOpenChange`; chuỗi focus lúc chạy phải được quan sát chứ không suy ra từ tên vendor đứng sau |
+| Case 4 | Một vùng không modal xuất hiện bên cạnh nhiệm vụ | Focus ra vào tự do. Một vùng không modal mà giam focus sẽ bác bỏ nó |
+| Case 5 | Cần một modal dùng lại được khác mà chưa owner công khai nào hợp | Ghi nhận gap. Bộ máy focus cục bộ của ứng dụng là workaround có theo dõi, không bao giờ được trình bày như hợp đồng |
+
+## FOCUS-4 — Bằng chứng focus và thứ bác bỏ nó
+
+Chi phối những gì khép lại một tuyên bố về focus.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Đang khép lại bất kỳ tuyên bố nào về focus | Chụp cùng lúc phần tử active, chỉ dấu nhìn thấy, computed style, thứ tự DOM, hình chữ nhật mục tiêu và cây accessibility. Một ảnh chụp màn hình không kèm vết phần tử active không khép được gì |
+| Case 2 | Một nhánh vắng mặt có điều kiện | Nó không đóng góp điểm dừng focus nào. Một control bị ẩn thị giác mà vẫn nằm trong chuỗi sẽ bác bỏ sự vắng mặt đó |
+| Case 3 | Một control bị vô hiệu hoặc không dùng được | Focus hành xử đúng như owner công khai chủ đích, và kích hoạt không sinh ra hiệu ứng nào |
+| Case 4 | Trang được zoom hoặc chảy lại | Chạy lại mọi đường ở trên tại đó, vì một vòng focus vừa ở bề rộng này có thể bị cắt ở bề rộng khác |
+| Case 5 | Một family hoặc ứng dụng thêm delta | Tách đầu ra công khai cô lập, delta của family và delta của ứng dụng, để gọi tên được tầng đang hỏng |
+
+## FOCUS-5 — Con trỏ và bàn phím đi tới cùng một kết quả
+
+Chi phối sự ngang bằng giữa hai phương thức nhập trên mọi owner tương tác.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một action toàn surface, một tab hoặc một disclosure được chạy thử | Con trỏ và bàn phím cho ra cùng một kết quả sản phẩm. Một action chỉ dùng được bằng con trỏ sẽ bác bỏ sự ngang bằng |
+| Case 2 | Một lần kích hoạt được thực hiện bằng một trong hai đường | Nó sinh ra nhiều nhất một hiệu ứng được chấp nhận. Hai callback cho một lần nhấn phím sẽ bác bỏ owner đó |
+| Case 3 | Các mục tiêu nằm sát hoặc chồng lên nhau | Hình chữ nhật của chúng không va nhau, và không control độc lập nào nấp sau overlay của một action toàn surface |
+| Case 4 | Một action bắt buộc chỉ lộ ra khi hover | Điều đó bác bỏ nó. Một action bắt buộc không bao giờ chỉ có ở hover |
+| Case 5 | Các đường được chạy qua trạng thái mặc định, selected, expanded, disabled, pending và vắng mặt | Mỗi trạng thái được chạy bằng cả hai đường, và một lượt bấm chuột trên desktop không khép được gì |
+
+## File này không quyết định
+
+Nhiệm vụ đòi thứ tự đọc nào thuộc [Hierarchy](../composition/hierarchy.vi.md), surface nào tương tác
+và giá trị nào bền vững thuộc [State](../composition/state.vi.md), còn một lần kích hoạt chạm tới
+hiệu ứng nào thuộc [Action](../composition/action.vi.md). Tên, quan hệ và kích thước mục tiêu thuộc
+[Accessibility](accessibility.vi.md); chuyển động và sự tương đương ở chế độ reduced motion thuộc
+[Motion](motion.vi.md).

package/knowledge/ui/proof/motion.md

@@ -0,0 +1,63 @@
+# Motion proof
+
+This file answers one question: if the movement stopped, was interrupted, or was never allowed to
+run, would the reader still know everything the page was telling them?
+
+Motion is always supplementary. A rendered page is judged on the frame where nothing is moving, and
+on the frame where the animation was cut off halfway. Each rule below names the observation that
+would falsify it.
+
+## MOTION-1 — Meaning exists without movement
+
+Governs whether any essential meaning is carried by movement alone.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Accepted work is in progress | The initiating command still shows its name, exposes busy state, and refuses a second activation in a static frame. A spinner as the only sign that work exists falsifies it |
+| Case 2 | A state changed | A persistent carrier holds it: stable copy, native state, a controlled value, geometry, or a published relationship. A pulsing paint as the only selected cue falsifies it |
+| Case 3 | Animation is disabled entirely | The same meaning is readable. Anything that disappears with the animation was never carried |
+| Case 4 | Content is animating out | Once it is hidden it leaves no focus stop and no accessibility node. A hidden but still focusable exiting link falsifies it |
+| Case 5 | Only an animated capture exists as evidence | Nothing is closed. The static frame and the interrupted outcome are still unknown |
+
+## MOTION-2 — Preference changes choreography, not outcome
+
+Governs what a reduced-motion preference is allowed to change.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | The system preference or the published motion mode changes | The trigger, the content, the landmark, the focus order, and the final geometry are identical before and after. Different collapsed content under the reduced path falsifies it |
+| Case 2 | A rail publishes `motion` as `static`, `animated`, or `reduced` | The attribute is present, but the published CSS changes animated scroll behaviour and does not implement a rail-collapse transition. Claiming choreography from the prop name alone falsifies the finding |
+| Case 3 | Reusable rail-collapse choreography is genuinely required | No published path provides it, so the missing capability is recorded rather than assumed |
+| Case 4 | Application CSS animates that collapse in the meantime | It is a tracked workaround with an owner and a removal condition, not a new contract |
+| Case 5 | A family supplies scoped choreography | It supplies an equivalent reduced path, ending in the same final state |
+
+## MOTION-3 — Timing comes from the owner that published it
+
+Governs where duration, delay, and easing are read from.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | A transition runs on a published element, such as a tooltip, a whole-card response, or a decorative highlight | The computed duration, delay, and easing match the rule that actually won in the current render, not a source string or a fallback variable |
+| Case 2 | A family adds its own timing | It stays inside its `data-grammar-family` scope. Timing appearing in an unrelated tree falsifies the scoping |
+| Case 3 | The application sets a duration on published anatomy | That reaches through an owner it does not have. The application decides when state changes, never how the renderer choreographs it |
+| Case 4 | A published timing value was quoted from source | It is measured in the selected family before it is believed, because the selected family may have replaced it |
+
+## MOTION-4 — Motion evidence and falsifiers
+
+Governs what closes a motion claim.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Any reachable motion is being closed | Normal, reduced, interrupted, reversed, backgrounded and resumed, zoomed, and responsive paths are all exercised |
+| Case 2 | The capture is taken | Owner, trigger, prior and final state, the alternative cue, computed duration, delay and easing, animation events, focus, the accessibility tree, and the settled result are recorded together |
+| Case 3 | Motion is interrupted partway | It settles to a valid state. A stale intermediate state, or lost focus, falsifies it |
+| Case 4 | Anything flashes | It stays at or below three flashes per second. A four-flash urgency cue falsifies safety outright |
+| Case 5 | A family or the application adds a delta | Each layer is attributed independently, and a smooth video with no preference or interruption evidence closes nothing |
+
+## What this file does not decide
+
+Which states exist and which carrier holds each is [State](../composition/state.md), and which
+action owns pending is [Action](../composition/action.md). Whether the resting cue is distinguishable
+without colour is [Accent](../composition/accent.md) and [Accessibility](accessibility.md). Whether
+focus survives an exit is [Focus](focus.md), and whether the movement implies a result nobody
+confirmed is [Render truth](render-truth.md).

package/knowledge/ui/proof/motion.vi.md

@@ -0,0 +1,64 @@
+# Motion proof
+
+File này trả lời đúng một câu hỏi: nếu chuyển động dừng lại, bị cắt ngang, hoặc chưa từng được phép
+chạy, người đọc có còn biết mọi điều mà trang đang nói với họ không.
+
+Chuyển động luôn chỉ là phần bổ trợ. Một trang đã render được xét ở khung hình mà không gì đang
+chuyển động, và ở khung hình mà animation bị cắt ngang giữa chừng. Mỗi rule dưới đây gọi tên quan
+sát nào sẽ bác bỏ nó.
+
+## MOTION-1 — Ý nghĩa tồn tại mà không cần chuyển động
+
+Chi phối việc có ý nghĩa thiết yếu nào chỉ do chuyển động mang hay không.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Việc đã nhận đang chạy | Câu lệnh khởi động vẫn hiện tên, vẫn để lộ trạng thái bận và vẫn từ chối lần kích hoạt thứ hai trong một khung hình tĩnh. Một spinner là dấu hiệu duy nhất cho thấy có việc đang chạy sẽ bác bỏ nó |
+| Case 2 | Một state vừa đổi | Có một carrier bền giữ nó: chữ ổn định, native state, một giá trị điều khiển, geometry, hoặc một quan hệ công khai. Một hiệu ứng nhấp nháy là dấu hiệu selected duy nhất sẽ bác bỏ nó |
+| Case 3 | Animation bị tắt hoàn toàn | Vẫn đọc ra đúng ý nghĩa đó. Thứ gì biến mất cùng animation thì vốn chưa từng được mang |
+| Case 4 | Nội dung đang chạy ra ngoài | Khi đã bị ẩn, nó không để lại điểm dừng focus và không để lại node trợ năng. Một link đang thoát bị ẩn nhưng vẫn focus được sẽ bác bỏ nó |
+| Case 5 | Bằng chứng duy nhất là một bản ghi có chuyển động | Không khép được gì. Khung hình tĩnh và kết cục khi bị cắt ngang vẫn chưa biết |
+
+## MOTION-2 — Tuỳ chọn đổi cách dàn dựng, không đổi kết quả
+
+Chi phối những gì mà tuỳ chọn reduced motion được phép thay đổi.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Tuỳ chọn hệ thống hoặc chế độ motion công khai thay đổi | Trigger, nội dung, landmark, thứ tự focus và geometry cuối giống hệt trước và sau. Nội dung thu gọn khác đi ở nhánh reduced sẽ bác bỏ nó |
+| Case 2 | Một rail công bố `motion` là `static`, `animated` hoặc `reduced` | Thuộc tính có mặt, nhưng CSS công khai chỉ đổi hành vi cuộn có animation và không hiện thực một transition thu gọn rail. Khẳng định có dàn dựng chỉ dựa vào tên prop sẽ bác bỏ kết luận |
+| Case 3 | Thật sự cần dàn dựng thu gọn rail dùng lại được | Chưa đường công khai nào cung cấp, nên ghi nhận năng lực còn thiếu thay vì mặc định là có |
+| Case 4 | CSS ứng dụng đang tự animate phần thu gọn đó trong lúc chờ | Đó là workaround có theo dõi, có owner và có điều kiện gỡ bỏ, không phải một hợp đồng mới |
+| Case 5 | Một family cấp phần dàn dựng trong phạm vi của nó | Nó cấp kèm một nhánh reduced tương đương, kết thúc ở cùng một trạng thái cuối |
+
+## MOTION-3 — Thời lượng đến từ owner đã công bố nó
+
+Chi phối việc duration, delay và easing được đọc từ đâu.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một transition chạy trên phần tử công khai, như tooltip, phản hồi toàn card hay animation highlight trang trí | Duration, delay và easing tính được khớp với rule thật sự thắng trong bản render hiện tại, không khớp với một chuỗi trong source hay một biến dự phòng |
+| Case 2 | Một family thêm thời lượng của riêng nó | Nó ở trong phạm vi `data-grammar-family` của mình. Thời lượng xuất hiện ở một cây không liên quan sẽ bác bỏ phạm vi đó |
+| Case 3 | Ứng dụng đặt duration lên phần anatomy công khai | Đó là với qua một owner mà nó không có. Ứng dụng quyết định khi nào state đổi, không bao giờ quyết định renderer dàn dựng ra sao |
+| Case 4 | Một giá trị thời lượng công khai được trích từ source | Phải đo lại trong family đang chọn rồi mới tin, vì family đang chọn có thể đã thay nó |
+
+## MOTION-4 — Bằng chứng chuyển động và thứ bác bỏ nó
+
+Chi phối những gì khép lại một tuyên bố về chuyển động.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Đang khép lại bất kỳ chuyển động nào chạm tới được | Chạy đủ các đường bình thường, reduced, bị cắt ngang, đảo chiều, chuyển nền rồi quay lại, zoom và responsive |
+| Case 2 | Đang chụp bằng chứng | Ghi cùng lúc owner, trigger, trạng thái trước và cuối, dấu hiệu thay thế, duration, delay và easing tính được, các sự kiện animation, focus, cây accessibility và kết quả đã kết thúc |
+| Case 3 | Chuyển động bị cắt ngang giữa chừng | Nó lắng về một trạng thái hợp lệ. Một trạng thái trung gian kẹt lại, hoặc focus bị mất, sẽ bác bỏ nó |
+| Case 4 | Có thứ gì nhấp nháy | Nó ở mức tối đa ba lần mỗi giây. Một dấu hiệu khẩn nhấp bốn lần bác bỏ tính an toàn ngay lập tức |
+| Case 5 | Một family hoặc ứng dụng thêm delta | Quy trách nhiệm từng tầng độc lập, và một video mượt không kèm bằng chứng về tuỳ chọn và về lúc bị cắt ngang không khép được gì |
+
+## File này không quyết định
+
+Có những state nào và carrier nào giữ từng cái thuộc [State](../composition/state.vi.md), còn action
+nào sở hữu pending thuộc [Action](../composition/action.vi.md). Dấu hiệu lúc nghỉ có phân biệt được
+mà không cần màu không thuộc [Accent](../composition/accent.vi.md) và
+[Accessibility](accessibility.vi.md). Focus có sống sót qua một lần thoát không thuộc
+[Focus](focus.vi.md), còn chuyển động có ngụ ý một kết quả chưa ai xác nhận không thuộc
+[Render truth](render-truth.vi.md).

package/knowledge/ui/proof/render-truth.md

@@ -0,0 +1,63 @@
+# Render truth proof
+
+This file answers one question: does every visible and announced claim on the rendered page trace
+back to something the product actually established?
+
+A claim is anything the page asserts: a word, a glyph, a tone, a state, a live announcement, a
+promise of recovery. The audit inventories the claims that were rendered and traces each to its
+source. A claim with no source is invented, whichever layer invented it.
+
+## TRUTH-1 — Neutral facts stay neutral
+
+Governs content that authority supplied without any status attached.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Authority supplied a plain fact | It renders as ordinary text with no status role, no success or error state, and no urgency. An alert role on default text falsifies it |
+| Case 2 | A glyph, a tone, or a placement was added around the fact | None of them reads as an outcome or an endorsement. A tick mark and a success treatment on a capability statement falsifies it |
+| Case 3 | A family paints the region | Neutral facts stay neutral under that paint. A whole set of plan facts painted as warnings falsifies it |
+| Case 4 | The state or the viewport changes | The claim is re-inventoried there, because a fact that was neutral at one width may not be at another |
+
+## TRUTH-2 — Availability follows authority
+
+Governs claims about what the current reader may do.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Authority confirms a static capability is unavailable here | The row carries `state="unavailable"` with an exact label and a description naming the verified condition. Copy implying the feature is already enabled falsifies it |
+| Case 2 | The unavailable thing is a command rather than a static capability | The action owner carries `isDisabled`, and the disabled semantics are in the rendered output |
+| Case 3 | The state mark alone would be the evidence | It is decorative or absent here, so the accessible truth still depends on the supplied text. Inferring a spoken unavailable status from paint falsifies it |
+| Case 4 | An action is visible and is taken as proof of permission | Visibility is not permission. Permission is resolved from authority and then drives the real owner |
+| Case 5 | A family paints the unavailable row | It stays inactive. Affirmative paint over an unavailable fact falsifies it |
+
+## TRUTH-3 — Progress is not an outcome
+
+Governs the boundary between work in flight and a result.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | A command has accepted work | Progress stays on that command, its label survives, and duplicate activation is blocked while the work runs |
+| Case 2 | A result is claimed | Authority confirmed it first. A success message rendered while the request is still pending falsifies it |
+| Case 3 | Navigation is claimed | The navigation effect actually exists. A message saying the reader is being taken somewhere, when nothing started, falsifies it, and a navigation status rendered as an error falsifies it twice |
+| Case 4 | Pending and outcome would occupy the same moment | They do not. A family painting affirmative over a pending control falsifies the current state |
+| Case 5 | A recovery or a route is stated in the copy | It exists and can be reached. A promised retry with no wired recovery falsifies the promise |
+
+## TRUTH-4 — Claim evidence and falsifiers
+
+Governs what closes a render-truth claim.
+
+| Case | When | Observe |
+| --- | --- | --- |
+| Case 1 | Any reachable state is being closed | Every claim carried by text, icon, shape, tone, placement, motion, native state, live region, and accessibility semantics is inventoried in that state |
+| Case 2 | A claim has been inventoried | It is traced to business authority, the current runtime result, the current permission, and the effect or recovery that actually exists |
+| Case 3 | The state, the theme, or the viewport changes | The inventory is rerun there. One theme or one stale-and-refreshed state left unchecked closes nothing |
+| Case 4 | A family or the application adds a delta | The isolated published output, the family delta, the application delta, and the current pixels are compared separately |
+| Case 5 | Copy review or source props are offered as the evidence | They are not sufficient. A rendered claim is proved by the rendered output and its traced authority |
+
+## What this file does not decide
+
+Which rank a fact receives is [Hierarchy](../composition/hierarchy.md), which conditions exist and
+which carrier holds each is [State](../composition/state.md), and where a message belongs is
+[Feedback](../composition/feedback.md). Whether the claim is announced correctly is
+[Accessibility](accessibility.md), whether movement implies it is [Motion](motion.md), and whether
+the reader can reach the control that acts on it is [Focus](focus.md).

package/knowledge/ui/proof/render-truth.vi.md

@@ -0,0 +1,63 @@
+# Render truth proof
+
+File này trả lời đúng một câu hỏi: mọi tuyên bố nhìn thấy được và đọc lên được trên trang đã render
+có truy ngược về một thứ mà sản phẩm thật sự xác lập không.
+
+Một tuyên bố là bất cứ điều gì trang khẳng định: một từ, một glyph, một sắc thái, một state, một
+thông báo live, một lời hứa về lối phục hồi. Phần audit kiểm kê các tuyên bố đã render rồi truy từng
+cái về nguồn của nó. Một tuyên bố không có nguồn là tuyên bố bịa, bất kể tầng nào bịa ra nó.
+
+## TRUTH-1 — Dữ kiện trung tính ở nguyên trạng thái trung tính
+
+Chi phối nội dung mà authority cấp mà không kèm bất kỳ status nào.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Authority cấp một dữ kiện thuần | Nó render thành chữ thường, không vai trò status, không state thành công hay lỗi, không tính khẩn. Một vai trò alert trên chữ mặc định sẽ bác bỏ nó |
+| Case 2 | Có glyph, sắc thái hoặc vị trí được thêm quanh dữ kiện | Không cái nào đọc lên thành kết cục hay thành sự bảo chứng. Một dấu tích cùng treatment thành công trên một câu mô tả năng lực sẽ bác bỏ nó |
+| Case 3 | Một family sơn cả vùng đó | Dữ kiện trung tính vẫn trung tính dưới lớp sơn ấy. Cả một tập dữ kiện gói dịch vụ bị sơn thành cảnh báo sẽ bác bỏ nó |
+| Case 4 | State hoặc viewport thay đổi | Kiểm kê lại tuyên bố ở đó, vì một dữ kiện trung tính ở bề rộng này có thể không còn trung tính ở bề rộng khác |
+
+## TRUTH-2 — Quyền dùng đi theo authority
+
+Chi phối các tuyên bố về việc người đọc hiện tại được làm gì.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Authority xác nhận một năng lực tĩnh không dùng được ở đây | Hàng đó mang `state="unavailable"` với label chính xác và một mô tả gọi tên điều kiện đã kiểm chứng. Copy ngụ ý tính năng đã bật sẽ bác bỏ nó |
+| Case 2 | Thứ không dùng được là một câu lệnh chứ không phải một năng lực tĩnh | Owner của action mang `isDisabled`, và ngữ nghĩa disabled có mặt trong đầu ra đã render |
+| Case 3 | Chỉ có dấu state đứng ra làm bằng chứng | Ở đây dấu đó chỉ trang trí hoặc vắng mặt, nên sự thật khả truy cập vẫn phụ thuộc vào phần chữ được cấp. Suy ra một status không dùng được từ phần sơn sẽ bác bỏ nó |
+| Case 4 | Một action đang hiện và được lấy làm bằng chứng về quyền | Hiện diện không phải là quyền. Quyền được giải quyết từ authority rồi mới lái owner thật |
+| Case 5 | Một family sơn hàng không dùng được | Nó ở lại dạng bất hoạt. Phần sơn affirmative đè lên một dữ kiện không dùng được sẽ bác bỏ nó |
+
+## TRUTH-3 — Tiến trình không phải kết cục
+
+Chi phối ranh giới giữa việc đang chạy và một kết quả.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Một câu lệnh đã nhận việc | Tiến trình ở lại trên câu lệnh đó, nhãn của nó sống sót, và lần kích hoạt thứ hai bị chặn trong lúc việc chạy |
+| Case 2 | Có một kết quả được tuyên bố | Authority đã xác nhận nó trước. Một thông điệp thành công render trong lúc request còn chạy sẽ bác bỏ nó |
+| Case 3 | Có tuyên bố về việc điều hướng | Hiệu ứng điều hướng thật sự tồn tại. Một thông điệp nói rằng người đọc đang được đưa đi đâu đó, khi chưa có gì bắt đầu, sẽ bác bỏ nó, và một status điều hướng render thành lỗi thì bác bỏ nó hai lần |
+| Case 4 | Pending và kết cục sẽ cùng chiếm một khoảnh khắc | Chúng không được cùng chiếm. Một family sơn affirmative đè lên một control đang pending sẽ bác bỏ trạng thái hiện tại |
+| Case 5 | Copy nêu ra một lối phục hồi hoặc một tuyến đường | Nó tồn tại và chạm tới được. Một lời hứa thử lại mà không có lối phục hồi nào được nối sẽ bác bỏ lời hứa đó |
+
+## TRUTH-4 — Bằng chứng tuyên bố và thứ bác bỏ nó
+
+Chi phối những gì khép lại một tuyên bố về render truth.
+
+| Case | Dùng khi | Quan sát |
+| --- | --- | --- |
+| Case 1 | Đang khép lại bất kỳ state nào chạm tới được | Kiểm kê ở state đó mọi tuyên bố do chữ, icon, hình khối, sắc thái, vị trí, chuyển động, native state, live region và ngữ nghĩa trợ năng mang |
+| Case 2 | Một tuyên bố đã được kiểm kê | Truy nó về authority business, về kết quả runtime hiện tại, về quyền hiện tại, và về hiệu ứng hoặc lối phục hồi thật sự tồn tại |
+| Case 3 | State, theme hoặc viewport thay đổi | Chạy lại kiểm kê ở đó. Một theme hoặc một trạng thái cũ rồi làm mới bị bỏ sót thì không khép được gì |
+| Case 4 | Một family hoặc ứng dụng thêm delta | So sánh riêng đầu ra công khai cô lập, delta của family, delta của ứng dụng và pixel hiện tại |
+| Case 5 | Có người đưa ra bản duyệt copy hoặc prop trong source làm bằng chứng | Chúng không đủ. Một tuyên bố đã render được chứng minh bằng đầu ra đã render và bằng authority đã truy ngược |
+
+## File này không quyết định
+
+Một dữ kiện nhận cấp độ nào thuộc [Hierarchy](../composition/hierarchy.vi.md), có những điều kiện
+nào và carrier nào giữ từng cái thuộc [State](../composition/state.vi.md), còn một thông điệp thuộc
+về đâu thuộc [Feedback](../composition/feedback.vi.md). Tuyên bố có được đọc lên đúng cách không
+thuộc [Accessibility](accessibility.vi.md), chuyển động có ngụ ý nó không thuộc [Motion](motion.vi.md),
+và người đọc có chạm tới được control hành động theo nó không thuộc [Focus](focus.vi.md).