Action legibility

action-legibility-vocabulary

Applies for every adoption

An action input is one game-facing signal from Control options when that contract is adopted, otherwise from the game's Fixed control rule. An action case is one action in one cited situation. A candidate is an action the input carries whose permission or forgiveness acceptance holds at the accepted moment. An action is offered when selection identifies it to the player.

Given

where the adoption or its cited control rules name an action input; where none is named, this trial asserts nothing; the Instance adoption and a player-facing physical control

When

• the control path, matching action cases, candidate actions, and offered result are identified

Then

• the action input is one game-facing signal from Control options when adopted and otherwise from the game's Fixed control rule
• each action case is one action in one cited situation
• a candidate is an action the input carries whose binding context, when one exists, holds and whose ordinary permission or Input forgiveness acceptance holds at the accepted moment
• an action is offered only when it is identified to the player as the result of selection

Diagnostics

• Instance-candidate-set
• Instance-offered-action

no-action-case-makes-no-promise

Applies for every adoption

Where no matching action case exists because the adoption has no action-cases row, the adoption makes no discovery, unavailable-presentation, or availability promise and both game-wide answers are absent. Where an action case exists, this test asserts nothing.

Given

the Instance adoption, its action-cases rows, and its game-wide answers

When

• the adoption's action-legibility promises are read

Then

• where no matching action case exists because the adoption has no action-cases row, the adoption makes no discovery, unavailable-presentation, or availability promise and the game-wide discovery and unavailable-action answers are both absent; where an action case exists, this test asserts nothing

Diagnostics

• Instance-declaration-record

action-case-matches-cited-situation

Applies for every adoption

Action case Row.id applies in every situation named at Row.situation declared in and does not apply in any situation excluded there. It applies on every platform the adoption covers; platform variation lives only in availability-presentations rows. The test leaves the rule's content to that citation. A situation the citation does not classify asserts nothing.

Given

the action case Row.id and the Fixed situation rule at Row.situation declared in

When

• the cited covered situations and the nearest similar excluded situations are each reached

Then

• Row.id applies in every situation the citation covers
• Row.id does not apply in any situation the citation excludes
• Row.id applies on every platform the adoption covers; platform variation lives only in availability-presentations rows
• a situation the citation neither covers nor excludes asserts nothing

Diagnostics

• Instance-situation-trace

discovery-looks-usable-override

Applies when row discoverability is Looks usable.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: while Row.id is available, at least one matching availability presentation identifies the action as attemptable before the attempt.

Given

Row.id available in a situation at Row.situation declared in, before an attempt

When

• an observer examines the matching availability presentations

Then

• at least one presentation identifies Row.id as an action that can be attempted in the current situation before the attempt

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

discovery-looks-usable-default

Applies when Action discovery default is Looks usable and row discoverability is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: while Row.id is available, at least one matching availability presentation identifies the action as attemptable before the attempt.

Given

Row.id available in a situation at Row.situation declared in, before an attempt

When

• an observer examines the matching availability presentations

Then

• at least one presentation identifies Row.id as an action that can be attempted in the current situation before the attempt

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

discovery-explanation-on-demand-override

Applies when row discoverability is Explanation on demand.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: while Row.id matters, the route at Row.presentation rule declared in is available in the situation, names the action, and explains how to attempt it. The test restates nothing from the cited rule.

Given

Row.id matters in a situation at Row.situation declared in

When

• an observer uses the discovery route declared at Row.presentation rule declared in

Then

• the route is available in the current situation
• the route names the action and explains how to attempt it

Diagnostics

• Instance-Row.id-observer-result

discovery-explanation-on-demand-default

Applies when Action discovery default is Explanation on demand and row discoverability is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: while Row.id matters, the route at Row.presentation rule declared in is available in the situation, names the action, and explains how to attempt it. The test restates nothing from the cited rule.

Given

Row.id matters in a situation at Row.situation declared in

When

• an observer uses the discovery route declared at Row.presentation rule declared in

Then

• the route is available in the current situation
• the route names the action and explains how to attempt it

Diagnostics

• Instance-Row.id-observer-result

discovery-current-binding-override

Applies when row discoverability is Current binding is shown.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: every prompt for Row.id names the actual current device control. An old binding, a wrong-device binding, or a hardware glyph in place of the actual touch region or gesture fails.

Given

every prompt for Row.id on each covered device, including a touch device where covered

When

• an observer compares the prompt with the current device control under the applicable control rule

Then

• every prompt names the actual current device control
• no prompt names an old binding or a wrong-device binding as current
• on a touch platform, the prompt names the actual touch region or gesture rather than a hardware glyph

Diagnostics

• Instance-Row.id-observer-result
• Instance-prompt-bindings

discovery-current-binding-default

Applies when Action discovery default is Current binding is shown and row discoverability is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: every prompt for Row.id names the actual current device control. An old binding, a wrong-device binding, or a hardware glyph in place of the actual touch region or gesture fails.

Given

every prompt for Row.id on each covered device, including a touch device where covered

When

• an observer compares the prompt with the current device control under the applicable control rule

Then

• every prompt names the actual current device control
• no prompt names an old binding or a wrong-device binding as current
• on a touch platform, the prompt names the actual touch region or gesture rather than a hardware glyph

Diagnostics

• Instance-Row.id-observer-result
• Instance-prompt-bindings

discovery-assistive-name-override

Applies when row discoverability is Assistive tech can name it.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: a player-facing interface element for Row.id exposes a determinable action name and role to supported assistive technology.

Given

Row.id available through a player-facing interface element in a covered situation

When

• an observer inspects that element through each supported assistive technology

Then

• the assistive interface exposes a determinable action name and role for Row.id

Diagnostics

• Instance-Row.id-observer-result
• Instance-assistive-tree

discovery-assistive-name-default

Applies when Action discovery default is Assistive tech can name it and row discoverability is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: a player-facing interface element for Row.id exposes a determinable action name and role to supported assistive technology.

Given

Row.id available through a player-facing interface element in a covered situation

When

• an observer inspects that element through each supported assistive technology

Then

• the assistive interface exposes a determinable action name and role for Row.id

Diagnostics

• Instance-Row.id-observer-result
• Instance-assistive-tree

discovery-none-override

Applies when row discoverability is None.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: Row.id promises no identity or availability before the attempt. Accidental discovery and memorable content do not violate this answer; secrecy beyond that promise is outside the contract.

Given

Row.id before an attempt in every situation at Row.situation declared in

When

• an observer examines every player-facing presentation before the attempt

Then

• no presentation promises the action's identity or availability before the attempt
• accidental discovery and memorable authored content do not fail this answer

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

discovery-none-default

Applies when Action discovery default is None and row discoverability is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: Row.id promises no identity or availability before the attempt. Accidental discovery and memorable content do not violate this answer; secrecy beyond that promise is outside the contract.

Given

Row.id before an attempt in every situation at Row.situation declared in

When

• an observer examines every player-facing presentation before the attempt

Then

• no presentation promises the action's identity or availability before the attempt
• accidental discovery and memorable authored content do not fail this answer

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

action-permission-remains-cited

Applies for every adoption

Ordinary permission for Row.id stays at Row.action declared in. This contract grants none and does not make an unavailable action succeed. Where the cited rule admits no unavailable state, that comparison asserts nothing. The test restates nothing from the cited action rule.

Given

the action at Row.action declared in in an ordinarily permitted state and, where the cited action rule admits one, an ordinarily unavailable state in a covered situation

When

• the player attempts the action in each state

Then

• ordinary permission is read from Row.action declared in
• this contract grants no permission
• where an unavailable state exists, the unavailable attempt does not succeed because of any discovery route, availability presentation, or shared-input selection; where none exists, this clause asserts nothing

Diagnostics

• Instance-permission-trace

presentation-applies-on-covered-platforms

Applies for every adoption

Availability presentation Row.id applies on every platform its action case covers unless a platform citation narrows it, and that narrower scope is carried by its platform citation.

Given

availability presentation Row.id for the case named Row.action case

When

• the case is reached on each platform it covers

Then

• the row applies on every platform its action case covers unless a platform citation narrows it, and that narrower scope is carried by its platform citation

Diagnostics

• Instance-presentation-trace

listed-action-presentations-agree

Applies for every adoption

Audit class: observer-judged. An observer, not the running game, judges this. Every player-facing presentation of a covered action agrees with that action case's Fixed action citation and never presents it as another covered action. A presentation outside the stated scope asserts nothing.

Scope

every player-facing prompt, explanation, control reminder, and availability presentation

Holds

each presentation of an action case agrees with its Fixed action citation and never presents one covered action as another; a player-facing presentation outside this scope asserts nothing

Diagnostics

• Instance-observer-result
• Instance-presentation-trace

remapped-prompt-updates-override

Applies when row discoverability is Current binding is shown.

Audit class: observer-judged. An observer, not the running game, judges this. Where Control options changes Row.id's binding, every later prompt, hint, reminder, and control summary names the new current device control, and none names the old control as current. This contract checks the presentation; Control options performs the remap. Where the adoption cannot construct that change, this trial asserts nothing.

Given

the control source for Row.id and its current device control

When

• where Control options is adopted and permits a binding change, it changes the action to another supported current device control and an observer compares every later prompt, hint, reminder, and control summary with the configured control; otherwise this trial asserts nothing

Then

• each later presentation names the new current device control
• none names the old control as current

Diagnostics

• Instance-Row.id-observer-result
• Instance-prompt-bindings

remapped-prompt-updates-default

Applies when Action discovery default is Current binding is shown and row discoverability is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. Where Control options changes Row.id's binding, every later prompt, hint, reminder, and control summary names the new current device control, and none names the old control as current. This contract checks the presentation; Control options performs the remap. Where the adoption cannot construct that change, this trial asserts nothing.

Given

the control source for Row.id and its current device control

When

• where Control options is adopted and permits a binding change, it changes the action to another supported current device control and an observer compares every later prompt, hint, reminder, and control summary with the configured control; otherwise this trial asserts nothing

Then

• each later presentation names the new current device control
• none names the old control as current

Diagnostics

• Instance-Row.id-observer-result
• Instance-prompt-bindings

unavailable-hidden-override

Applies when row when unavailable is Hidden.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: Row.id follows its effective discovery promise while available and its availability presentation is absent while unavailable.

Given

Row.id available and then unavailable in a covered situation

When

• an observer compares the player-facing availability presentation in both states

Then

• the available state follows the case's effective discovery promise
• the action's availability presentation is absent while the action is unavailable

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-hidden-default

Applies when Unavailable action default is Hidden and row when unavailable is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: Row.id follows its effective discovery promise while available and its availability presentation is absent while unavailable.

Given

Row.id available and then unavailable in a covered situation

When

• an observer compares the player-facing availability presentation in both states

Then

• the available state follows the case's effective discovery promise
• the action's availability presentation is absent while the action is unavailable

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-shown-override

Applies when row when unavailable is Shown unavailable.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: while unavailable, Row.id stays identifiable and has a distinct unavailable state.

Given

Row.id available and then unavailable in a covered situation

When

• an observer compares its availability presentation in both states

Then

• the action remains identifiable while unavailable
• the unavailable presentation is distinct from the available presentation

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-shown-default

Applies when Unavailable action default is Shown unavailable and row when unavailable is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: while unavailable, Row.id stays identifiable and has a distinct unavailable state.

Given

Row.id available and then unavailable in a covered situation

When

• an observer compares its availability presentation in both states

Then

• the action remains identifiable while unavailable
• the unavailable presentation is distinct from the available presentation

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-reason-override

Applies when row when unavailable is Reason is shown.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: while Row.id is unavailable, its presentation identifies it, marks it unavailable, and names the current block under Row.presentation rule declared in. The test restates nothing from the cited rule.

Given

Row.id unavailable for each current block admitted by Row.action declared in

When

• an observer examines its availability presentation

Then

• the presentation identifies the action
• the presentation marks the action unavailable
• the presentation names the current blocking reason

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-reason-default

Applies when Unavailable action default is Reason is shown and row when unavailable is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: while Row.id is unavailable, its presentation identifies it, marks it unavailable, and names the current block under Row.presentation rule declared in. The test restates nothing from the cited rule.

Given

Row.id unavailable for each current block admitted by Row.action declared in

When

• an observer examines its availability presentation

Then

• the presentation identifies the action
• the presentation marks the action unavailable
• the presentation names the current blocking reason

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-unchanged-override

Applies when row when unavailable is Unchanged.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: any player-facing presentation of Row.id that exists is identical while available and unavailable. If none exists, the comparison asserts nothing.

Given

any player-facing presentation of Row.id that exists once the action is available and once it is unavailable in the same covered situation

When

• an observer compares the two states

Then

• where a player-facing presentation exists, it is identical across the available and unavailable states; where none exists, this comparison asserts nothing

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-unchanged-default

Applies when Unavailable action default is Unchanged and row when unavailable is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: any player-facing presentation of Row.id that exists is identical while available and unavailable. If none exists, the comparison asserts nothing.

Given

any player-facing presentation of Row.id that exists once the action is available and once it is unavailable in the same covered situation

When

• an observer compares the two states

Then

• where a player-facing presentation exists, it is identical across the available and unavailable states; where none exists, this comparison asserts nothing

Diagnostics

• Instance-Row.id-observer-result
• Instance-presentation-trace

unavailable-never-override

Applies when row when unavailable is Never unavailable.

Audit class: observer-judged. An observer, not the running game, judges this. The row overrides the game default: no reachable state in a covered situation makes Row.id unavailable.

Given

every reachable state in every covered situation for Row.id

When

• an observer checks ordinary permission throughout those states

Then

• no reachable state makes Row.id unavailable

Diagnostics

• Instance-Row.id-observer-result
• Instance-permission-trace

unavailable-never-default

Applies when Unavailable action default is Never unavailable and row when unavailable is Use game default.

Audit class: observer-judged. An observer, not the running game, judges this. The row uses the game default: no reachable state in a covered situation makes Row.id unavailable.

Given

every reachable state in every covered situation for Row.id

When

• an observer checks ordinary permission throughout those states

Then

• no reachable state makes Row.id unavailable

Diagnostics

• Instance-Row.id-observer-result
• Instance-permission-trace

action-channel-announces

Applies for every adoption

Audit class: observer-judged. An observer, not the running game, judges this. The channel-rule-declared-in field says a channel is judged by an observer who meets that channel alone. On every platform where this row applies, every other discovery route and availability presentation is removed or held identical, so the observer meets Bind channel phrase alone. Where both states are presented, the observer meets at least two presentations of each with the balance undisclosed and order unknown; under hidden, the unavailable form is the absence of this channel and the observer meets at least two presentations of the available form and at least two of its absence; under never-unavailable, the observer meets at least two presentations of the available form alone. Where the effective unavailable answer of the case this row names admits a distinct unavailable form, the observer names availability every time from that channel alone; under unchanged, the observer cannot distinguish the two forms above chance; under never-unavailable, that clause asserts nothing. Where Row.channel rule declared in states that this channel also identifies the action, the observer names which action it is and that identity agrees with the case this row names; where it does not, the identity clause asserts nothing. The presented form or forms follow Row.channel rule declared in; the test restates nothing from it.

Given

on every platform where this row applies, controlled presentations for the action case named Row.action case: the available and unavailable forms where its effective unavailable answer admits a distinct unavailable form, the available form and its absence under hidden, the available and unavailable state presentations under unchanged, and the available form alone under never-unavailable; every other discovery route and availability presentation is removed or held identical across the states being compared, so the observer meets Bind channel phrase alone; developer instrumentation that is not player-facing and a frozen background held identical are not routes

When

• where both states are presented, an observer meets at least two presentations of each with the balance undisclosed and the order unknown; under hidden, the unavailable form is the absence of this channel, and the observer meets at least two presentations of the available form and at least two of its absence; under never-unavailable, the observer meets at least two presentations of the available form alone

Then

• where the effective unavailable answer of the case this row names admits a distinct unavailable form, the observer correctly names availability every time from Bind channel phrase alone; under unchanged, the observer instead cannot distinguish the two forms above chance, and under never-unavailable this clause asserts nothing
• the presented form or forms follow Row.channel rule declared in
• where Row.channel rule declared in states that this channel also identifies the action, the observer correctly names which action it is and that identity agrees with the case this row names; where it does not, the identity clause asserts nothing
• where the case this row names has a reachable unavailable state, the channel presents exactly the state its effective unavailable answer requires; where it has none, this clause asserts nothing

Diagnostics

• Instance-Row.id-observer-result

shared-input-stays-one

Applies for every adoption

Where the adoption or its cited control rules name an action input, one action input is consumed once with all its candidates; where none is named, this trial asserts nothing. With exactly one candidate at the accepted moment, that candidate is offered and no shared-input-cases row is needed, as the contract says. With no candidate or several candidates, that offering clause asserts nothing.

Given

where the adoption or its cited control rules name an action input; where none is named, this trial asserts nothing; one action input carrying its candidate actions at an accepted moment

When

• the candidate set is read

Then

• the action input is consumed once with all its candidates and is never split into several inputs
• when exactly one candidate remains, that candidate is offered and no shared-input-cases row is needed, as the contract says
• when no candidate or several candidates remain, the at-most-one clause asserts nothing

Diagnostics

• Instance-candidate-set
• Instance-offered-action

shared-input-rule-selects-one

Applies when row selection is Rule selects one.

For Row.id, the rule at Row.selection rule declared in selects exactly one candidate by its declared ordering or situation test at the accepted moment, after any forgiveness shift. The action is offered under Row.presentation rule declared in before the input becomes an attempt; no other candidate is presented as what will happen now. One action proposal follows. The test restates neither cited rule, and ordering, rejection, and effects after the proposal assert nothing.

Given

action input Row.action input with several candidates from Row.actions declared in in the situation at Row.situation declared in

When

• the accepted moment arrives, after any Input forgiveness shift

Then

• Row.selection rule declared in selects exactly one candidate by its ordering or situation test and breaks every reachable tie
• the selected action is offered under Row.presentation rule declared in before the accepted input becomes an attempt
• no other candidate is presented as what will happen now
• one action proposal follows
• ordering, rejection, and effects after that proposal assert nothing

Diagnostics

• Instance-candidate-set
• Instance-offered-action
• Instance-presentation-trace

shared-input-player-selects-one

Applies when row selection is Player selects one.

For Row.id, the player makes the explicit choice required at Row.selection rule declared in at the accepted moment, after any forgiveness shift. Exactly one action is offered under Row.presentation rule declared in before the input becomes an attempt; no other candidate is presented as what will happen now. One action proposal follows. The test restates neither cited rule, and ordering, rejection, and effects after the proposal assert nothing.

Given

action input Row.action input with several candidates from Row.actions declared in in the situation at Row.situation declared in

When

• the accepted moment arrives, after any Input forgiveness shift, and the player makes the explicit choice required at Row.selection rule declared in

Then

• the explicit choice completes before the input becomes an attempt and selects exactly one candidate
• the selected action is offered under Row.presentation rule declared in before the accepted input becomes an attempt
• no other candidate is presented as what will happen now
• one action proposal follows
• ordering, rejection, and effects after that proposal assert nothing

Diagnostics

• Instance-candidate-set
• Instance-offered-action
• Instance-presentation-trace

buffered-shared-input-reads-accepted-situation

Applies when row selection is Rule selects one or Player selects one.

For Row.id, a buffered input reads its candidate set and offered action in the accepted situation, not the situation where it was pressed. No candidate is presented as what will happen now while the input waits. Where forgiveness shifts acceptance for one candidate only, the settlement reads that shifted moment. Where the adoption cannot construct a buffered input, this test asserts nothing.

Given

an input pressed in one covered situation and accepted in another after an Input forgiveness shift; where the adoption cannot construct a buffered input, this test asserts nothing

When

• the input waits and then reaches its accepted moment

Then

• the candidate set and the offered action are read in the accepted situation
• no candidate is presented as what will happen now while the input waits
• where forgiveness shifts acceptance for one candidate only, the settlement reads that shifted moment

Diagnostics

• Instance-candidate-set
• Instance-offered-action
• Instance-presentation-trace

presentation-refreshes-after-change

Applies for every adoption

Where an availability or offered-action presentation exists, a change in availability, situation, platform, binding, or candidate eligibility recomputes it from the fresh situation and declarations. A previous prompt or selection stays current only when the cited rules still select it. Without a presentation, or for a change the adoption cannot construct, the corresponding clause asserts nothing.

Given

where the adoption has a live availability or offered-action presentation, that presentation followed separately by a change in availability, situation, platform, binding, or candidate eligibility; where it has none, this trial asserts nothing

When

• each change settles

Then

• the presentation is recomputed from the fresh situation and matching declarations
• the previous prompt or selection remains current only when the cited rules still select it
• a kind of change the adoption cannot construct asserts nothing

Diagnostics

• Instance-refresh-log
• Instance-prompt-bindings
• Instance-offered-action

action-legibility-authority-order

Applies for every adoption

The contract reads situation, row defaults, ordinary permission, discovery, unavailable presentation, candidate set, shared-input selection at the accepted moment with its offered-action presentation, one action proposal, current-device binding, and refresh in that order. A part this adoption does not exercise asserts nothing.

Given

a covered action input and situation that exercise every applicable part of the Instance adoption

When

• the action input is settled

Then

• the game reads situation, row defaults, ordinary permission, discovery, unavailable presentation, candidate set, shared-input selection at the accepted moment with its offered-action presentation, one action proposal, current-device binding, and refresh in that order
• a part the adoption does not exercise asserts nothing

Diagnostics

• Instance-presentation-trace
• Instance-candidate-set
• Instance-offered-action
• Instance-refresh-log

legibility-boundaries

Applies for every adoption

Physical controls, input timing help, displayed game facts, and event order each assert nothing here. A route that highlights without naming an action or explaining how to attempt it is not a discovery answer. A control layout the game's Fixed rules do not make a cited situation is not a situation of this contract.

Given

the Instance adoption and features outside its declared answers and rows

When

• the adoption's promise boundary is reviewed

Then

• physical controls assert nothing
• input timing help asserts nothing
• displayed game facts assert nothing
• event order asserts nothing
• a route that highlights without naming an action or explaining how to attempt it is not a discovery answer
• a control layout the game's Fixed rules do not make a cited situation is not a situation of this contract

Diagnostics

• Instance-declaration-record

effective-answers-have-legal-presentation-shape

Applies for every adoption

This declaration check reads the adoption, not the running game. The action-cases description supplies all three duties. Resolve Row.id's effective answers from its row and the game defaults. For every platform the case covers, every effective discovery answer except none requires an applicable presentation row; none requires no presentation row; and none cannot pair with reason-is-shown. The inapplicable branch asserts nothing. Any other shape is a defect this test fails by construction.

Given

the Instance adoption, its two answers, and action case Row.id, not the running game

When

• a reviewer resolves the row's effective discovery and unavailable answers

Then

• when the effective discovery answer is not none, then for each platform the case covers, at least one availability-presentations row that applies on that platform names Row.id, as the action-cases description requires; under none, this clause asserts nothing
• when the effective discovery answer is none, no availability-presentations row names Row.id, as the action-cases description requires; under another answer, this clause asserts nothing
• the effective answers are never none together with reason-is-shown, as the action-cases description requires
• a missing row, forbidden row, or forbidden effective pair is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

presentation-action-case-join

Applies for every adoption

This declaration check reads the adoption, not the running game. The action-case field says the value is the id of an action-cases row of this adoption presented through the channel. Availability presentation Row.id must therefore name an existing action case: Row.action case. A missing or misspelled join is a defect this test fails by construction.

Given

the Instance adoption and availability presentation Row.id, not the running game

When

• a reviewer checks the action-case join

Then

• an action-cases row with id Row.action case exists in this adoption
• a missing or misspelled action case is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

shared-input-completeness

Applies for every adoption

This declaration check reads the adoption and its cited prose, not the running game. For Row.id, Row.actions declared in must list every candidate the input can carry in the cited situation and each eligibility condition; Row.selection rule declared in must select exactly one and break every reachable tie. Any other shape is a defect this test fails by construction. The test names the addresses and restates nothing from them.

Given

the Instance adoption and shared-input case Row.id, not the running game

When

• a reviewer compares the cited candidate and selection rules in every reachable cited situation

Then

• Row.actions declared in lists every candidate that Row.action input can carry in the situation at Row.situation declared in and states each eligibility condition
• Row.selection rule declared in selects exactly one candidate and breaks every reachable tie
• a missing candidate, uncovered result, or reachable tie is a defect this test fails by construction

Diagnostics

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

multi-candidate-input-has-one-row

Applies for every adoption

This declaration check reads the adoption and its cited prose, not the running game. Every situation where one action input has several candidates must have exactly one matching shared-input-cases row. An input with at most one candidate asserts nothing in that comparison. A missing or duplicate match is a defect this test fails by construction.

Given

the Instance adoption and every cited situation where one action input can have several candidates, not the running game

When

• a reviewer matches shared-input-cases rows to those situations and inputs

Then

• each action input with several candidates has exactly one matching shared-input-cases row
• an input with at most one candidate needs no row and asserts nothing in the multi-candidate comparison
• a missing or duplicate match is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

rows-do-not-repeat-or-overlap

Applies for every adoption

This declaration check reads the adoption and its cited prose, not the running game. The availability-presentations description forbids a repeated action-case and channel pair, and the action-cases description forbids two cases for the same action in overlapping situations. The contract sets no maximum row count. A repetition or overlap 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 presentation-row pair and every pair of action cases

Then

• no two availability-presentations rows repeat one action-case and channel pair
• no two action-cases rows cover the same action in overlapping situations
• the contract imposes no maximum row count
• a repeated pair or overlapping action case is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

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 Row.id's action, ordinary permission, and complete effect. 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 action, its ordinary permission, and its complete effect
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

action-situation-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.situation declared in, not the running game. The citation must name every covered play situation and the nearest similar excluded situations for Row.id. 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.situation declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.situation declared in names every play situation covered by Row.id and the nearest similar situations excluded from it
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

action-presentation-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.presentation rule declared in, not the running game. The citation must state every discovery route and unavailable state for Row.id, including an explicit no-route statement where applicable. 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.presentation rule declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.presentation rule declared in states every discovery route and unavailable state for Row.id, including an explicit statement when no route exists
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

presentation-platform-citation-duty

Applies for every adoption

This declaration check reads the adoption and Bind platform citation, not the running game. The citation must name the platform on which Row.id applies, and the row applies only there. 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 platform citation, not the running game

When

• a reviewer checks the citation's meaning

Then

• Bind platform citation names the platform on which Row.id applies
• the row applies only on that platform
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

channel-rule-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.channel rule declared in, not the running game. The channel-rule-declared-in field requires both forms, or the available form alone for a never-unavailable or unchanged case, and says the citation states whether the channel identifies the action. 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.channel rule declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.channel rule declared in states Row.id's available and unavailable forms, or the available form alone for a never-unavailable or unchanged case, and whether the channel identifies the action
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

shared-situation-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.situation declared in, not the running game. The citation must name the situation in which several actions share Row.action input. 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.situation declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.situation declared in names the situation in which several actions share Row.action input
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

shared-actions-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.actions declared in, not the running game. The citation must list every candidate for Row.action input in the cited situation and each eligibility condition. 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.actions declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.actions declared in lists every candidate action for Row.action input in the cited situation and the conditions that make each candidate eligible
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

shared-action-input-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.action input declared in, not the running game. The Fixed control rule must name shared action input Row.action input and the physical activation that produces it. 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 input declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.action input declared in names the shared action input Row.action input and the physical activation that produces it
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

shared-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 select exactly one offered action and break every reachable tie. 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 selects exactly one offered action and breaks every reachable tie
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

shared-presentation-citation-duty

Applies for every adoption

This declaration check reads the adoption and Row.presentation rule declared in, not the running game. The citation must identify the selected offered action before Row.action input becomes an action attempt. 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.presentation rule declared in, not the running game

When

• a reviewer checks the citation's meaning

Then

• Row.presentation rule declared in identifies the selected offered action before Row.action input becomes an action attempt
• a missing duty is a defect this test fails by construction

Diagnostics

• Instance-declaration-record

legibility-holds

Applies for every adoption

Across Inputs scope, every available covered action meets its effective discovery promise; every unavailable covered action meets its effective unavailable answer; every channel distinguishes the states it promises; every shared input offers exactly one action before the attempt; and no prompt names a stale binding. A case the adoption cannot construct asserts nothing.

Holds

every available covered action met its effective discovery promise; every unavailable covered action met its effective unavailable answer; every availability-presentation channel distinguished the states it promises; every shared input offered exactly one action before the attempt; no prompt named a stale binding; a case the adoption cannot construct asserts nothing

Seeds

Inputs seeds

Scope

Inputs scope

Diagnostics

• Instance-observer-result
• Instance-presentation-trace
• Instance-prompt-bindings
• Instance-candidate-set
• Instance-offered-action
• Instance-refresh-log