Control options

control-options-vocabulary

Applies for every adoption

A control set is the complete current mapping for one platform and input method. A preset is an immutable named source set that can become current. A binding joins one physical input and press style to one candidate action. One physical activation emits one action input carrying every matched binding's action. A demanding input is a timed, held, rapid, repeated, double, simultaneous, input-sequence, or required-device-motion input.

Given

the Instance adoption and its cited control rules

When

• the control path is identified from platform selection through physical activation

Then

• a control set is the complete current mapping for one platform and input method
• a preset is an immutable named source set that can become current
• a binding joins one physical input and press style to one candidate action
• one physical activation emits one action input carrying every matched binding's action
• a demanding input is a timed, held, rapid, repeated, double, simultaneous, input-sequence, or required-device-motion input

Diagnostics

• Instance-current-set
• Instance-action-input-log

platform-row-selects-exactly-when-cited

Applies for every adoption

Platform row Row.id is the one selected row exactly on the platform, edition, and supported devices at Row.platform declared in. It is not selected where that citation excludes it. The test names the address and restates nothing from it.

Given

platform-control-set row Row.id and the Fixed platform rule at Row.platform declared in

When

• the game runs on each cited platform, edition, and supported device combination and on the nearest combination the citation excludes

Then

• Row.id is the one selected row for every combination the citation covers
• Row.id is not selected for a combination the citation excludes
• the test leaves the covered combinations to Row.platform declared in and restates nothing from it

Diagnostics

• Instance-platform-selection

starting-control-set-follows-platform-rule

Applies for every adoption

On first play for Row.id, the complete starting control set comes from Row.settings rule declared in, and every first binding lookup reads it as current. The test names the address and restates nothing from it.

Given

a first play on platform row Row.id and the Fixed settings rule at Row.settings rule declared in

When

• the current set is first established

Then

• the complete starting control set is the one selected through Row.settings rule declared in
• every first binding lookup reads that current set
• the test restates nothing from the cited rule

Diagnostics

• Instance-current-set

preset-selection-copies-complete-set

Applies for every adoption

Preset Row.id, labeled Row.label, belongs to Row.platform control set. Through Row.selection rule declared in, it Bind availability result. Selection copies every matching binding into one complete current set and leaves the source preset unchanged. The test names the address and restates nothing from it.

Given

preset Row.id labeled Row.label for platform row Row.platform control set and the Fixed route at Row.selection rule declared in

When

• the cited route is used and the current set is inspected before and after selection

Then

• Row.id Bind availability result
• selection copies every matching action-binding row into one complete current set
• the source preset remains unchanged
• the test restates nothing from Row.selection rule declared in

Diagnostics

• Instance-current-set
• Instance-change-log

input-method-coverage-holds

Applies for every adoption

Audit class: observer-judged. An observer, not the running game, judges this in each preset-derived current set Row.id can make current. For every action bound on the platform, under the complete methods and any required switch at Row.methods declared in: Bind coverage procedure. The test names the address and restates nothing from it.

Given

platform row Row.id, every action bound on that platform, and the complete methods and any required switch at Row.methods declared in

When

• in each preset-derived current set the platform can make current, an observer performs every action bound on the platform using the named method or methods

Then

• Bind coverage procedure
• an observer, not the running game, judges this
• the test restates nothing from the cited rule

Diagnostics

• Instance-Row.id-observer-result

remapping-fixed-override

Applies when row remapping is Fixed bindings.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: every attempted change to an action's physical input or press style is refused, the current set stays unchanged, and the existing binding performs the action. Where this platform has a movable or resizable touch control, changing its layout while keeping its action is not a control change; where it has none, this comparison asserts nothing. The route is at Row.settings rule declared in; the test restates nothing from it.

Given

the current set for Row.id and its control setting route at Row.settings rule declared in

When

• an observer attempts to change an action's physical input and press style, then performs the action

Then

• every control change is refused and the current set is unchanged
• the existing binding still performs the action
• where this platform has a movable or resizable touch control, changing its layout while keeping its action is not a control change; where it has none, this comparison asserts nothing
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set

remapping-fixed-default

Applies when Remapping default is Fixed bindings and row remapping is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: every attempted change to an action's physical input or press style is refused, the current set stays unchanged, and the existing binding performs the action. Where this platform has a movable or resizable touch control, changing its layout while keeping its action is not a control change; where it has none, this comparison asserts nothing. The route is at Row.settings rule declared in; the test restates nothing from it.

Given

the current set for Row.id and its control setting route at Row.settings rule declared in

When

• an observer attempts to change an action's physical input and press style, then performs the action

Then

• every control change is refused and the current set is unchanged
• the existing binding still performs the action
• where this platform has a movable or resizable touch control, changing its layout while keeping its action is not a control change; where it has none, this comparison asserts nothing
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set

remapping-swap-override

Applies when row remapping is Swap only.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: an exchange of two existing assignments is accepted, each new binding performs its exchanged action, and each old binding stops performing the action moved away from it. An independent move to an unused input is refused. The complete result becomes current for every later lookup. The route is at Row.settings rule declared in; the test restates nothing from it.

Given

two supported existing assignments and one otherwise unused supported input in Row.id, changed through Row.settings rule declared in

When

• an observer exchanges the two assignments, performs both actions, and then tries to move one action independently to the unused input

Then

• the exchange is accepted as one swap and the resulting complete set becomes current
• each new binding performs its exchanged action and each old binding no longer performs the action moved away from it
• the independent move is refused and leaves the current set unchanged
• every later binding lookup reads the new current set
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set
• Instance-action-input-log

remapping-swap-default

Applies when Remapping default is Swap only and row remapping is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: an exchange of two existing assignments is accepted, each new binding performs its exchanged action, and each old binding stops performing the action moved away from it. An independent move to an unused input is refused. The complete result becomes current for every later lookup. The route is at Row.settings rule declared in; the test restates nothing from it.

Given

two supported existing assignments and one otherwise unused supported input in Row.id, changed through Row.settings rule declared in

When

• an observer exchanges the two assignments, performs both actions, and then tries to move one action independently to the unused input

Then

• the exchange is accepted as one swap and the resulting complete set becomes current
• each new binding performs its exchanged action and each old binding no longer performs the action moved away from it
• the independent move is refused and leaves the current set unchanged
• every later binding lookup reads the new current set
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set
• Instance-action-input-log

remapping-presets-override

Applies when row remapping is Presets only.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: selecting another starting-and-selectable or player-selectable preset through Row.settings rule declared in is accepted, its complete copy becomes current, its new binding performs the action, and the old binding does not. An individual binding change through that route is refused. Every later lookup reads the new current set. A mode-selected preset is entered through its cited mode and asserts nothing in this selection trial. The test names the address and restates nothing from it.

Given

two complete selectable declared presets for Row.id and the settings route at Row.settings rule declared in

When

• an observer selects another starting-and-selectable or player-selectable preset through the settings route, performs an action whose binding differs, and then tries to change one binding through that route

Then

• preset selection is accepted and its complete copy becomes current
• the new binding performs the action and the old binding does not
• the individual binding change is refused and leaves the current set unchanged
• every later binding lookup reads the new current set
• a mode-selected preset is entered through its cited mode and asserts nothing in this selection trial
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set
• Instance-action-input-log

remapping-presets-default

Applies when Remapping default is Presets only and row remapping is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: selecting another starting-and-selectable or player-selectable preset through Row.settings rule declared in is accepted, its complete copy becomes current, its new binding performs the action, and the old binding does not. An individual binding change through that route is refused. Every later lookup reads the new current set. A mode-selected preset is entered through its cited mode and asserts nothing in this selection trial. The test names the address and restates nothing from it.

Given

two complete selectable declared presets for Row.id and the settings route at Row.settings rule declared in

When

• an observer selects another starting-and-selectable or player-selectable preset through the settings route, performs an action whose binding differs, and then tries to change one binding through that route

Then

• preset selection is accepted and its complete copy becomes current
• the new binding performs the action and the old binding does not
• the individual binding change is refused and leaves the current set unchanged
• every later binding lookup reads the new current set
• a mode-selected preset is entered through its cited mode and asserts nothing in this selection trial
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set
• Instance-action-input-log

remapping-free-override

Applies when row remapping is Any action any input.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: every covered action can move independently to every supported remappable input, including an unused one; conflicts resolve visibly before use; the new binding performs the action and the old one does not. After an accepted change, the contract makes each binding row's promises follow its action to the input the current set assigns. An unsupported assignment is refused. Each accepted complete result becomes current for every later lookup. The route is at Row.settings rule declared in; the test restates nothing from it.

Given

each covered action, each supported remappable input including an unused one, and Row.settings rule declared in for Row.id

When

• an observer independently assigns an action to each supported input, resolves a conflicting assignment, performs the action, and attempts one unsupported assignment

Then

• every supported independent assignment is accepted, including assignment to the unused input
• a conflict is resolved visibly before use
• the new binding performs the action and the old binding does not
• after an accepted change, each binding row's promises follow its action to the input the current set assigns
• the unsupported assignment is refused and leaves the current set unchanged
• every accepted complete result becomes current for every later lookup
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set
• Instance-action-input-log

remapping-free-default

Applies when Remapping default is Any action any input and row remapping is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: every covered action can move independently to every supported remappable input, including an unused one; conflicts resolve visibly before use; the new binding performs the action and the old one does not. After an accepted change, the contract makes each binding row's promises follow its action to the input the current set assigns. An unsupported assignment is refused. Each accepted complete result becomes current for every later lookup. The route is at Row.settings rule declared in; the test restates nothing from it.

Given

each covered action, each supported remappable input including an unused one, and Row.settings rule declared in for Row.id

When

• an observer independently assigns an action to each supported input, resolves a conflicting assignment, performs the action, and attempts one unsupported assignment

Then

• every supported independent assignment is accepted, including assignment to the unused input
• a conflict is resolved visibly before use
• the new binding performs the action and the old binding does not
• after an accepted change, each binding row's promises follow its action to the input the current set assigns
• the unsupported assignment is refused and leaves the current set unchanged
• every accepted complete result becomes current for every later lookup
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-current-set
• Instance-action-input-log

remapping-press-style-override

Applies when row remapping is Action and press style.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: every covered action can move to every supported remappable input and use every press style offered for it; the new combination performs the action and the old one does not. After an accepted change, the contract makes each binding row's promises follow its action to the input the current set assigns. An unsupported choice is refused. Each accepted complete result becomes current for every later lookup. Offered choices and the route stay at Row.settings rule declared in; the test restates nothing from it.

Given

each covered action, each supported remappable input, each press style offered for that action by Row.settings rule declared in, and one unsupported choice

When

• an observer changes the input and offered press style, performs the action with the new combination, then attempts the unsupported choice

Then

• every supported input change and every offered press-style change is accepted
• the new binding and press style perform the action and the old combination does not
• after an accepted change, each binding row's promises follow its action to the input the current set assigns
• the unsupported choice is refused and leaves the current set unchanged
• every accepted complete result becomes current for every later lookup
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-setting-state
• Instance-current-set
• Instance-action-input-log

remapping-press-style-default

Applies when Remapping default is Action and press style and row remapping is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: every covered action can move to every supported remappable input and use every press style offered for it; the new combination performs the action and the old one does not. After an accepted change, the contract makes each binding row's promises follow its action to the input the current set assigns. An unsupported choice is refused. Each accepted complete result becomes current for every later lookup. Offered choices and the route stay at Row.settings rule declared in; the test restates nothing from it.

Given

each covered action, each supported remappable input, each press style offered for that action by Row.settings rule declared in, and one unsupported choice

When

• an observer changes the input and offered press style, performs the action with the new combination, then attempts the unsupported choice

Then

• every supported input change and every offered press-style change is accepted
• the new binding and press style perform the action and the old combination does not
• after an accepted change, each binding row's promises follow its action to the input the current set assigns
• the unsupported choice is refused and leaves the current set unchanged
• every accepted complete result becomes current for every later lookup
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-change-log
• Instance-setting-state
• Instance-current-set
• Instance-action-input-log

binding-scope-follows-current-set

Applies for every adoption

Binding Row.id belongs to its named preset while that preset is current, where the row names one; otherwise it belongs to Row.platform control set's base or freely remappable set. It exists throughout the selected control set, or only in the cited context where the row names one. A preset or context the row does not name asserts nothing.

Given

binding Row.id on platform row Row.platform control set

When

• the current set is inspected across its reachable control-set and play contexts

Then

• the binding belongs to its named preset while that preset is current, where the row names one; otherwise it belongs to the platform's base or freely remappable set
• the binding exists throughout the selected control set, or only in the cited context where the row names one
• a preset or context the row does not name asserts nothing

Diagnostics

• Instance-current-set
• Instance-match-trace

binding-matches-cited-performance

Applies for every adoption

For Row.id, when Bind performance under Row.physical input declared in, one action input carries the action at Row.action declared in. The nearest non-matching performance emits nothing from this binding. The test names both addresses and restates nothing from them.

Given

binding Row.id, action Row.action declared in, and the physical input, device, and performance at Row.physical input declared in

When

• Bind performance in the current platform, device, method, and set, then the nearest non-matching performance is attempted

Then

• the matching performance emits one action input carrying the action at Row.action declared in
• the non-matching performance emits nothing from this binding
• the test leaves the physical details to Row.physical input declared in and restates nothing from it

Diagnostics

• Instance-match-trace
• Instance-action-input-log

binding-context-settles-at-accepted-moment

Applies for every adoption

For Row.id, the physical match remains provisional until the accepted moment. Its action is a candidate only when the context at Bind context holds then. The test names the address, restates nothing from it, and asserts nothing about how an accepted moment is shifted.

Given

a physical performance matching Row.id whose context is cited at Bind context

When

• the input is accepted once while the cited context holds and once while it does not

Then

• the match remains provisional until the accepted moment
• the action at Row.action declared in is a candidate only when the cited context holds at that moment
• the test restates nothing from Bind context and asserts nothing about how an accepted moment is shifted

Diagnostics

• Instance-match-trace
• Instance-action-input-log

binding-preset-is-current

Applies for every adoption

Under the contract, preset Bind preset is the starting source set for binding Row.id. Its cited performance can match through a current set derived from that preset, and an accepted change on the current copy does not remove the binding. It cannot match through this row while a set derived from another preset is current.

Given

binding Row.id assigned to preset Bind preset

When

• its cited physical performance occurs while a set derived from Bind preset is current, after an accepted change to that current copy, and while a set derived from another preset is current

Then

• Row.id can match while a set derived from Bind preset is current
• an accepted change on that current copy does not remove the binding
• Row.id cannot match through this row while a set derived from another preset is current

Diagnostics

• Instance-current-set
• Instance-match-trace

shared-physical-activation-stays-one-input

Applies for every adoption

Under the contract, rows form one shared-activation group only when they can be current together: they belong to the same platform row, either all omit a preset or all name the same preset, have no disjoint cited contexts, and share the physical activation at Row.physical input declared in. Every row that can be current with Row.id agrees on action input Bind action input. Rows in another preset or a disjoint context assert nothing about this shared value. One such input is emitted with every matched binding's action as a candidate. The test asserts nothing about a paired Action legibility adoption.

Given

the physical activation at Row.physical input declared in shared by Row.id and rows that can be current with it

When

• matching bindings on the same platform row are read from one current set

Then

• every row that can be current with Row.id, on the same platform row, all omitting a preset or all naming the same preset, with no disjoint cited contexts, names action input Bind action input
• rows in another preset or a disjoint cited context are not in this group and assert nothing about its shared value
• one Bind action input is emitted and carries every matched binding's action as a candidate
• the test asserts nothing about a paired Action legibility adoption

Diagnostics

• Instance-match-trace
• Instance-action-input-log
• Instance-candidate-set

simpler-input-matches-named-binding

Applies for every adoption

Simpler route Row.id uses the input at Row.alternative declared in. It matches as if it were binding Row.action binding, emits that binding's action input, and contributes the same action. The test names the address and restates nothing from it.

Given

simpler route Row.id at Row.alternative declared in for binding Row.action binding

When

• the cited alternative input is performed and the current set contains the named binding

Then

• the input matches as if it were Row.action binding
• it emits that binding's action input
• it contributes the same action as the named binding
• the test restates nothing from the cited alternative rule

Diagnostics

• Instance-match-trace
• Instance-action-input-log

demanding-none-override

Applies when row demanding input is No demanding presses.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: the action for Row.id has an ordinary route without a setting change, and performing that route emits an action input carrying the action. A demanding input is not its only route.

Given

binding Row.id and its cited action and physical-input rules

When

• an observer performs the covered action through its ordinary route without changing a setting

Then

• the ordinary route produces an action input carrying the action at Row.action declared in
• no demanding input is the action's only route
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-action-input-log

demanding-none-default

Applies when Demanding input default is No demanding presses and row demanding input is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: the action for Row.id has an ordinary route without a setting change, and performing that route emits an action input carrying the action. A demanding input is not its only route.

Given

binding Row.id and its cited action and physical-input rules

When

• an observer performs the covered action through its ordinary route without changing a setting

Then

• the ordinary route produces an action input carrying the action at Row.action declared in
• no demanding input is the action's only route
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-action-input-log

demanding-simpler-press-style-override

Applies when row demanding input is Simpler alternative and row press style is Timed press or Hold or Rapid presses or Repeated presses or Double press or Simultaneous inputs or Input sequence and row motion use is No motion or Optional motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default. The contract treats the press style of Row.id as demanding. Its completed demanding route and every declared simpler route stay available together without configuration and emit the same action through distinct inputs; failing to finish the demanding route triggers neither route.

Given

binding Row.id, its cited demanding press style, and every simpler-inputs row naming it

When

• an observer completes the demanding press style, performs every simpler route without configuration, and separately stops before completion

Then

• the completed demanding route emits the binding's action input
• every simpler route remains available at the same time and emits the same action through its distinct input
• failure to finish the demanding route emits neither the demanding action input nor a simpler alternative by itself
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-simpler-required-motion-override

Applies when row demanding input is Simpler alternative and row motion use is Required motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default. The contract makes Row.id demanding because it requires device motion. Its completed motion route and every declared simpler route stay available together without configuration and emit the same action through distinct inputs; a non-motion attempt triggers neither route.

Given

binding Row.id, its cited required motion, and every simpler-inputs row naming it

When

• an observer completes the required motion, performs every simpler route without configuration, and separately makes a non-motion attempt

Then

• the completed required-motion route emits the binding's action input
• every simpler route remains available at the same time and emits the same action through its distinct input
• the non-motion attempt emits neither the demanding action input nor a simpler alternative by itself
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-simpler-press-style-default

Applies when Demanding input default is Simpler alternative and row demanding input is Use game default and row press style is Timed press or Hold or Rapid presses or Repeated presses or Double press or Simultaneous inputs or Input sequence and row motion use is No motion or Optional motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default. The contract treats the press style of Row.id as demanding. Its completed demanding route and every declared simpler route stay available together without configuration and emit the same action through distinct inputs; failing to finish the demanding route triggers neither route.

Given

binding Row.id, its cited demanding press style, and every simpler-inputs row naming it

When

• an observer completes the demanding press style, performs every simpler route without configuration, and separately stops before completion

Then

• the completed demanding route emits the binding's action input
• every simpler route remains available at the same time and emits the same action through its distinct input
• failure to finish the demanding route emits neither the demanding action input nor a simpler alternative by itself
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-simpler-required-motion-default

Applies when Demanding input default is Simpler alternative and row demanding input is Use game default and row motion use is Required motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default. The contract makes Row.id demanding because it requires device motion. Its completed motion route and every declared simpler route stay available together without configuration and emit the same action through distinct inputs; a non-motion attempt triggers neither route.

Given

binding Row.id, its cited required motion, and every simpler-inputs row naming it

When

• an observer completes the required motion, performs every simpler route without configuration, and separately makes a non-motion attempt

Then

• the completed required-motion route emits the binding's action input
• every simpler route remains available at the same time and emits the same action through its distinct input
• the non-motion attempt emits neither the demanding action input nor a simpler alternative by itself
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-setting-press-style-override

Applies when row demanding input is Player can change it and row press style is Timed press or Hold or Rapid presses or Repeated presses or Double press or Simultaneous inputs or Input sequence and row motion use is No motion or Optional motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default. The contract treats the press style of Row.id as demanding. The observer changes the player-facing demanding-input setting, which is not a control-remapping route, and performs the action with the declared easier current press style; that performance emits the action input. The easier press style does not remove any device motion the binding requires. A stored setting alone is not evidence.

Given

binding Row.id, its cited demanding press style, and the player-facing demanding-input setting for its declared easier press style, which is not a control-remapping route

When

• an observer changes the setting and then performs the action with the easier current press style

Then

• the setting replaces the demanding press style before the binding is used
• the easier press style does not remove any device motion the binding requires
• the observer's easier performance emits the action input carrying the action at Row.action declared in
• the result is judged from performed play and not from a stored setting alone
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-setting-state
• Instance-action-input-log

demanding-setting-required-motion-override

Applies when row demanding input is Player can change it and row motion use is Required motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default. The contract makes Row.id demanding because it requires device motion. The demanding-input setting, which is not a control-remapping route, supplies an easier press style and never relieves the motion requirement; performed play with the required motion emits the action input. A stored setting alone is not evidence.

Given

binding Row.id, its cited required motion, and the player-facing demanding-input setting for its declared easier press style, which is not a control-remapping route

When

• an observer changes the setting and then completes the required motion with the easier current press style

Then

• the setting supplies the easier press style before the binding is used, and the required motion stays required
• the easier press style never relieves the device-motion requirement
• the observer's easier performance with the required motion emits the action input carrying the action at Row.action declared in
• the result is judged from performed play and not from a stored setting alone
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-setting-state
• Instance-action-input-log

demanding-setting-press-style-default

Applies when Demanding input default is Player can change it and row demanding input is Use game default and row press style is Timed press or Hold or Rapid presses or Repeated presses or Double press or Simultaneous inputs or Input sequence and row motion use is No motion or Optional motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default. The contract treats the press style of Row.id as demanding. The observer changes the player-facing demanding-input setting, which is not a control-remapping route, and performs the action with the declared easier current press style; that performance emits the action input. The easier press style does not remove any device motion the binding requires. A stored setting alone is not evidence.

Given

binding Row.id, its cited demanding press style, and the player-facing demanding-input setting for its declared easier press style, which is not a control-remapping route

When

• an observer changes the setting and then performs the action with the easier current press style

Then

• the setting replaces the demanding press style before the binding is used
• the easier press style does not remove any device motion the binding requires
• the observer's easier performance emits the action input carrying the action at Row.action declared in
• the result is judged from performed play and not from a stored setting alone
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-setting-state
• Instance-action-input-log

demanding-setting-required-motion-default

Applies when Demanding input default is Player can change it and row demanding input is Use game default and row motion use is Required motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default. The contract makes Row.id demanding because it requires device motion. The demanding-input setting, which is not a control-remapping route, supplies an easier press style and never relieves the motion requirement; performed play with the required motion emits the action input. A stored setting alone is not evidence.

Given

binding Row.id, its cited required motion, and the player-facing demanding-input setting for its declared easier press style, which is not a control-remapping route

When

• an observer changes the setting and then completes the required motion with the easier current press style

Then

• the setting supplies the easier press style before the binding is used, and the required motion stays required
• the easier press style never relieves the device-motion requirement
• the observer's easier performance with the required motion emits the action input carrying the action at Row.action declared in
• the result is judged from performed play and not from a stored setting alone
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-setting-state
• Instance-action-input-log

demanding-required-press-style-override

Applies when row demanding input is Required as written and row press style is Timed press or Hold or Rapid presses or Repeated presses or Double press or Simultaneous inputs or Input sequence and row motion use is No motion or Optional motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default. The contract treats the press style of Row.id as demanding: completing it emits the action input and stopping before completion emits none from this contract.

Given

binding Row.id and its cited demanding press style

When

• an observer completes the demanding press style and separately stops before completion

Then

• the complete demanding input emits the action input carrying the action at Row.action declared in
• the incomplete demanding input emits no action input from this contract
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-required-required-motion-override

Applies when row demanding input is Required as written and row motion use is Required motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default. The contract makes Row.id demanding because it requires device motion: completing the motion emits the action input and a non-motion attempt emits none from this contract.

Given

binding Row.id and its cited required motion

When

• an observer completes the required motion and separately makes a non-motion attempt

Then

• the complete required-motion input emits the action input carrying the action at Row.action declared in
• the non-motion attempt emits no action input from this contract
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-required-press-style-default

Applies when Demanding input default is Required as written and row demanding input is Use game default and row press style is Timed press or Hold or Rapid presses or Repeated presses or Double press or Simultaneous inputs or Input sequence and row motion use is No motion or Optional motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default. The contract treats the press style of Row.id as demanding: completing it emits the action input and stopping before completion emits none from this contract.

Given

binding Row.id and its cited demanding press style

When

• an observer completes the demanding press style and separately stops before completion

Then

• the complete demanding input emits the action input carrying the action at Row.action declared in
• the incomplete demanding input emits no action input from this contract
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

demanding-required-required-motion-default

Applies when Demanding input default is Required as written and row demanding input is Use game default and row motion use is Required motion.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default. The contract makes Row.id demanding because it requires device motion: completing the motion emits the action input and a non-motion attempt emits none from this contract.

Given

binding Row.id and its cited required motion

When

• an observer completes the required motion and separately makes a non-motion attempt

Then

• the complete required-motion input emits the action input carrying the action at Row.action declared in
• the non-motion attempt emits no action input from this contract
• an observer, not the running game, judges this

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

simpler-route-is-distinct

Applies for every adoption

Audit class: observer-judged. An observer, not the running game, judges this. Performing Row.id through Row.alternative declared in emits binding Row.action binding's action input and contributes the same action. Failing to finish the demanding route does not trigger the alternative, and Row.distinction rule declared in keeps the records distinguishable. The test names both addresses and restates nothing from them.

Given

simpler route Row.id, its ordinary input at Row.alternative declared in, and its distinction rule at Row.distinction rule declared in

When

• an observer successfully performs the simpler route and separately fails to finish binding Row.action binding

Then

• the successful simpler route emits the named binding's action input and contributes the same action
• the failed demanding route emits no alternative action input by itself
• the two records remain distinguishable under Row.distinction rule declared in
• an observer, not the running game, judges this
• the test restates nothing from either cited rule

Diagnostics

• Instance-Row.id-observer-result
• Instance-match-trace
• Instance-action-input-log

device-motion-rule-holds

Applies for every adoption

For Row.id under Row.physical input declared in: Bind motion procedure. The test names the address, restates nothing from it, and asserts nothing about device-motion quality.

Given

binding Row.id and its physical input and device at Row.physical input declared in

When

• the cited performance and the corresponding motion or non-motion comparison are each attempted

Then

• Bind motion procedure
• the test asserts nothing about device-motion quality

Diagnostics

• Instance-match-trace
• Instance-action-input-log

one-physical-activation-emits-one-action-input

Applies for every adoption

Each reachable physical activation emits one action input carrying every matched binding's action as a candidate. N matched actions remain one input with N candidates, never N inputs. Where no activation matches several bindings, that comparison asserts nothing.

Given

each reachable physical activation in the Instance adoption, including one that matches several bindings where the adoption declares one

When

• the current set is matched and the contract emits its game-facing result

Then

• the activation emits one action input
• that one input carries every matched binding's action as a candidate
• N matched actions remain one input with N candidates and never become N inputs
• where no activation matches several bindings, the multi-candidate comparison asserts nothing

Diagnostics

• Instance-match-trace
• Instance-action-input-log
• Instance-candidate-set

action-input-stops-at-handoff

Applies for every adoption

The contract emits one action input with all matched candidates and stops there. Input forgiveness can supply the accepted moment; Action legibility, when adopted, selects a candidate before one action proposal. Otherwise the game's cited Fixed selection rule owns shared-candidate selection. This test asserts nothing about forgiveness windows, offered-action presentation, candidate ordering, proposal rejection, or action effects.

Given

one action input emitted by the Instance adoption with all matched candidates

When

• the input crosses the contract boundary

Then

• the emitted input is handed to Input forgiveness when adopted, which can supply the accepted moment, and then to Action legibility when adopted for candidate selection before one action proposal
• without Action legibility, the game's cited Fixed selection rule owns shared-candidate selection
• this test stops at emission and asserts nothing about forgiveness windows, offered-action presentation, candidate ordering, proposal rejection, or action effects

Diagnostics

• Instance-action-input-log

control-options-authority-order

Applies for every adoption

The authority order is platform, defaults, starting set, accepted control change, current set, physical match, demanding-input answer, simpler route, device-motion rule, one action-input creation, accepted-moment shared-action choice, and one action proposal. A later stage does not rewrite an earlier decision.

Given

a run that reaches platform selection, control setup, a physical activation, and the action-input boundary

When

• the decision trace is read in order

Then

• the trace orders platform, defaults, starting set, accepted control change, current set, physical match, demanding-input answer, simpler route, device-motion rule, one action-input creation, accepted-moment shared-action choice, and one action proposal
• a later stage does not rewrite an earlier decision

Diagnostics

• Instance-platform-selection
• Instance-change-log
• Instance-current-set
• Instance-match-trace
• Instance-action-input-log

control-options-boundaries

Applies for every adoption

The contract asserts nothing about system-level remapping, virtual-control layout editing, chord member lists, device-motion quality, or saved profiles. Moving or resizing a touch control while keeping its action is not a control change. Presentation of the current binding is owned by Action legibility when adopted, otherwise by the game's UI rules. Beyond its stated hand-off order, the contract asserts nothing about an action input after emission.

Given

the Instance adoption and features adjacent to its control rules

When

• the adoption's promise boundary is reviewed

Then

• the contract asserts nothing about system-level remapping, virtual-control layout editing, chord member lists, device-motion quality, or saved profiles
• moving or resizing a touch control while keeping its action is not a control change
• presentation of the current binding is owned by Action legibility when adopted, otherwise by the game's UI rules
• the contract asserts nothing about action-input behavior after emission except the stated hand-off order

Diagnostics

• Instance-declaration-record

empty-row-sets-make-no-promise

Applies for every adoption

This declaration check reads the adoption, not the running game. Where no platform row exists, no platform receives a physical-control promise, and the adoption makes no game-wide remapping or demanding-input promise; where a platform row exists, each clause asserts nothing. Where no preset, binding, or simpler-input row exists, its row set makes its stated empty-set promise; where a row exists, that clause asserts nothing.

Given

the Instance adoption, not the running game

When

• a reviewer checks each row set and the two defaults that depend on a platform row

Then

• where no platform-control-sets row exists, no platform receives a physical-control promise from this adoption; where a row exists, this clause asserts nothing
• where no control-presets row exists, no named control preset is offered; where a row exists, this clause asserts nothing
• where no action-bindings row exists, no physical input is promised to produce a game action; where a row exists, this clause asserts nothing
• where no simpler-inputs row exists, no demanding binding promises a separate simpler input without a setting change; where a row exists, this clause asserts nothing
• where no platform-control-sets row exists, this adoption makes no game-wide remapping promise; where a platform row exists, this clause asserts nothing
• where no platform-control-sets row exists, this adoption makes no game-wide demanding-input promise; where a platform row exists, this clause asserts nothing

Diagnostics

• Instance-declaration-record

preset-platform-join

Applies for every adoption

This declaration check reads the adoption, not the running game. Preset Row.id must name an existing platform-control-sets row in this adoption: Row.platform control set. A missing or misspelled join is a defect this test fails by construction.

Given

the Instance adoption and preset Row.id, not the running game

When

• a reviewer checks its platform-control-set join

Then

• a platform-control-sets row with id Row.platform control set exists in this adoption
• a missing or misspelled platform row is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

binding-platform-join

Applies for every adoption

This declaration check reads the adoption, not the running game. Binding Row.id must name an existing platform-control-sets row in this adoption: Row.platform control set. A missing or misspelled join is a defect this test fails by construction.

Given

the Instance adoption and binding Row.id, not the running game

When

• a reviewer checks its platform-control-set join

Then

• a platform-control-sets row with id Row.platform control set exists in this adoption
• a missing or misspelled platform row is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

binding-preset-join

Applies for every adoption

This declaration check reads the adoption, not the running game. Binding Row.id must name an existing preset, Bind preset, and that preset must name the binding's platform row, Row.platform control set. A missing preset or cross-platform join is a defect this test fails by construction.

Given

the Instance adoption and binding Row.id, not the running game

When

• a reviewer checks preset Bind preset and both platform names

Then

• a control-presets row with id Bind preset exists in this adoption
• that preset names platform row Row.platform control set
• a missing preset or cross-platform join is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

optional-motion-has-no-motion-sibling

Applies when row motion use is Optional motion.

This declaration check reads the adoption, not the running game. The contract requires optional-motion binding Row.id to have another binding for the same action on platform row Row.platform control set and the same preset with motion-use no-motion. Any other shape is a defect this test fails by construction.

Given

the Instance adoption and optional-motion binding Row.id, not the running game

When

• a reviewer compares its action, platform row, preset, and motion use with the other action-bindings rows

Then

• another binding for the same action on platform row Row.platform control set and the same preset has motion-use no-motion
• any other shape is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

simpler-binding-join

Applies for every adoption

This declaration check reads the adoption, not the running game. The contract limits simpler-inputs rows to bindings whose effective demanding-input answer promises an alternative. Simpler route Row.id must name an existing action-bindings row in this adoption, Row.action binding, and that binding's effective answer must be simpler-alternative. A missing, misspelled, or wrongly answered join is a defect this test fails by construction.

Given

the Instance adoption and simpler route Row.id, not the running game

When

• a reviewer checks its action-binding join

Then

• an action-bindings row with id Row.action binding exists in this adoption
• that binding's effective demanding-input answer is simpler-alternative
• a missing, misspelled, or wrongly answered binding is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

presets-only-has-complete-choice

Applies for every adoption

This declaration check reads the adoption, not the running game. Under the contract, every platform whose effective answer is presets-only must have at least two presets whose availability is starting-and-selectable or player-selectable, and every preset maps every action bound on that platform. Another effective answer asserts nothing in this comparison. A missing choice or incomplete preset is a defect this test fails by construction.

Given

the Instance adoption, not the running game

When

• a reviewer resolves each platform row's effective remapping answer and compares its preset and binding rows

Then

• each platform whose effective answer is presets-only has at least two control-presets rows whose availability is starting-and-selectable or player-selectable
• every preset for that platform maps every action bound on the platform with a matching action-bindings row
• a platform with another effective answer asserts nothing in this comparison
• a missing choice or incomplete preset is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

simpler-answer-has-row

Applies for every adoption

This declaration check reads the adoption, not the running game. If Row.id has a demanding press style or requires device motion, and its effective answer is simpler-alternative, at least one simpler-inputs row must name it. Otherwise the requirement asserts nothing. A missing simpler row is a defect this test fails by construction.

Given

the Instance adoption and binding Row.id, not the running game

When

• a reviewer resolves the binding's effective demanding-input answer and classifies its cited performance

Then

• if Row.id has a demanding press style or requires device motion, and its effective answer is simpler-alternative, at least one simpler-inputs row names it
• otherwise this requirement asserts nothing
• a missing simpler row is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

no-demanding-answer-has-ordinary-route

Applies for every adoption

This declaration check reads the adoption and its cited prose, not the running game. Under an effective no-demanding-presses answer, Row.id must have a non-demanding press style and not require device motion, or have a cited ordinary route to the same action. Another answer asserts nothing here. A demanding-only route is a defect this test fails by construction.

Given

the Instance adoption, binding Row.id, and its cited prose, not the running game

When

• a reviewer resolves the binding's effective demanding-input answer

Then

• if the effective answer is no-demanding-presses, Row.id has a non-demanding press style and does not require device motion, or its cited prose states an ordinary route to the same action
• otherwise this requirement asserts nothing
• a demanding-only route is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

forbidden-effective-pair-does-not-reappear

Applies for every adoption

This declaration check reads the adoption, not the running game. The contract's demanding-input field forbids a binding from having effective required-as-written on a platform with effective action-and-press-style. A row override that recreates this forbidden pair is a defect this test fails by construction.

Given

the Instance adoption, not the running game

When

• a reviewer resolves every platform's effective remapping answer and every binding's effective demanding-input answer

Then

• no binding has effective required-as-written on a platform with effective action-and-press-style
• any platform-row or binding-row override that recreates that pair is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

settings-citation-covers-effective-change-policy

Applies for every adoption

This declaration check reads the adoption and Row.settings rule declared in, not the running game. Under any-action-any-input or action-and-press-style, that citation must state visible conflict handling before use; action-and-press-style must also state the press styles offered for each action. Under swap-only, it must state that a swap exchanges two existing assignments. Under presets-only, it must state that selection replaces the whole set and an individual binding change is refused. Under fixed-bindings, it must state the absence of changes. A missing duty is a defect this test fails by construction, and the test asserts nothing about reachability beyond what the citation states.

Given

the Instance adoption, platform row Row.id, and Row.settings rule declared in, not the running game

When

• a reviewer resolves the row's effective remapping answer and checks the cited rule

Then

• under any-action-any-input or action-and-press-style, the citation states visible conflict handling before use
• under action-and-press-style, the citation states the press styles offered for each action
• under swap-only, the citation states that a swap exchanges two existing assignments
• under presets-only, the citation states that selection replaces the whole set and an individual binding change is refused
• under fixed-bindings, the citation states the absence of changes
• a missing duty is a defect this test fails by construction
• the test asserts nothing about reachability beyond what the citation states

Diagnostics

• Instance-declaration-record

shared-action-input-declaration-agrees

Applies for every adoption

This declaration check reads the adoption and its cited physical activations and contexts, not the running game. Under the contract, one group contains only rows that can be current together: they use the same platform row, either all omit a preset or all name the same preset, have no disjoint cited contexts, and share one physical activation. Rows in mutually exclusive presets or disjoint contexts are not one group and assert nothing about each other's action-input value. Every row in a multi-binding group supplies and agrees on one value, and the emitted input carries every matched action as a candidate. A lone binding's name can remain implicit and asserts nothing in the shared-value comparison. A missing, different, or split value is a defect this test fails by construction. The check asserts nothing about a paired Action legibility adoption.

Given

the Instance adoption and the physical activations, platforms, presets, and contexts described by its binding rows and citations, not the running game

When

• a reviewer groups rows that can be current together and share one physical activation

Then

• one group contains only rows on the same platform row that either all omit a preset or all name the same preset, have no disjoint cited contexts, and share one physical activation
• rows in mutually exclusive presets or disjoint cited contexts are not one group and assert nothing about each other's action-input value
• every group with several bindings supplies one action-input value shared by every row in that group
• the emitted input carries every matched binding's action as a candidate
• a lone binding's action-input name can remain implicit and asserts nothing in the shared-value comparison
• a missing, different, or split shared value is a defect this test fails by construction
• the test asserts nothing about a paired Action legibility adoption

Diagnostics

• Instance-declaration-record
• Instance-candidate-set

rows-do-not-duplicate-meaning

Applies for every adoption

This declaration check reads the adoption and its cited prose, not the running game. No two rows can mean the same platform, preset, binding, or simpler alternative for one binding. The contract sets no maximum row count. A duplicate meaning is a defect this test fails by construction.

Given

the Instance adoption and its cited prose, not the running game

When

• a reviewer compares every pair of rows in each row set

Then

• no two platform-control-sets rows mean the same platform, edition, devices, and policy scope
• no two control-presets rows mean the same preset
• no two action-bindings rows mean the same binding
• no two simpler-inputs rows mean the same alternative for one binding
• the contract imposes no maximum row count
• a duplicate meaning is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

platform-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.platform declared in, not the running game. The citation must name one platform or edition and its supported devices; different control behavior belongs in another row. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.platform declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.platform declared in names one platform or edition and its supported devices, with different control behavior in another row
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

methods-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.methods declared in, not the running game. The citation must list every complete input method for Row.id and any required switch. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.methods declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.methods declared in lists every complete input method for Row.id and any required switch between methods
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

settings-rule-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.settings rule declared in, not the running game. The citation must always state Row.id's control menu. Where the platform declares a preset, it must state preset selection. Under effective any-action-any-input or action-and-press-style, it must state conflict handling; action-and-press-style must also state the press styles offered for each action. Under effective fixed-bindings, it must state the explicit absence of changes. A duty outside its stated condition asserts nothing. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.settings rule declared in, not the running game

When

• a reviewer resolves Row.id's effective remapping answer and checks the citation's meaning

Then

• Row.settings rule declared in states Row.id's control menu
• where the platform has a control-presets row, the citation states preset selection; where it has none, this clause asserts nothing
• under effective any-action-any-input or action-and-press-style, the citation states conflict handling; under another effective answer, this clause asserts nothing
• under effective action-and-press-style, the citation states the press styles offered for each action; under another effective answer, this clause asserts nothing
• under effective fixed-bindings, the citation states the explicit absence of changes; under another effective answer, this clause asserts nothing
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

preset-selection-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.selection rule declared in, not the running game. The citation must state the route that selects preset Row.id and makes its matching bindings current. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.selection rule declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.selection rule declared in states the route that selects preset Row.id and makes its matching action-binding rows current
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

binding-action-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.action declared in, not the running game. The citation must name the game-facing action that Row.id contributes as a candidate. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.action declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.action declared in names the game-facing action that Row.id contributes as a candidate
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

binding-physical-input-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.physical input declared in, not the running game. The citation must name Row.id's physical input, supplying device, and Bind performance duty. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.physical input declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.physical input declared in names the physical input, its supplying device, and Bind performance duty for Row.id
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

binding-context-citation-duty

Applies for every adoption

This declaration check reads the adoption and Bind context, not the running game. The citation must state the context in which binding Row.id exists. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Bind context, not the running game

When

• a reviewer checks the citation's meaning

Then

• Bind context states the context in which binding Row.id exists
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

simpler-alternative-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.alternative declared in, not the running game. The citation must state the physical input and ordinary press style that perform the same action as binding Row.action binding without a setting change. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.alternative declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.alternative declared in states the physical input and ordinary press style that perform the same action as binding Row.action binding without a setting change
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

simpler-distinction-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.distinction rule declared in, not the running game. The citation must prove that success on Row.id cannot be mistaken for failure to finish binding Row.action binding. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.

Given

the Instance adoption and Row.distinction rule declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.distinction rule declared in proves that success on Row.id cannot be mistaken for failure to finish binding Row.action binding
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

control-options-hold

Applies for every adoption

Across Inputs scope, every accepted control change follows the platform's effective remapping answer and every refused change is refused; every binding matches only under its cited performance and emits one action input; every demanding binding meets its effective answer; every simpler route produces the same action distinguishably; every device-motion rule holds; and no physical activation produces more than one action input.

Holds

every accepted control change followed the platform's effective remapping answer and every refused change was refused; every binding matched only under its cited performance and emitted one action input; every demanding binding met its effective answer; every simpler route produced the same action distinguishably; every device-motion rule held; no physical activation produced more than one action input

Seeds

Inputs seeds

Scope

Inputs scope

Diagnostics

• Instance-platform-selection
• Instance-change-log
• Instance-current-set
• Instance-match-trace
• Instance-action-input-log
• Instance-observer-result
• Instance-setting-state