Oxygen
oxygen · an adoption of Ranged value, version 2
Use in your package
The first button opens the authoring tool with these answers and numbers already filled in. You still add the rules and tuning of your own game.
What is in the zip file
The zip file holds the adoption and its acceptance tests. In the authoring tool, choose Add contract and pick this zip file. If you edit your package outside the authoring tool, unpack the zip file in your package folder. The files of the zip file go into contracts/.
The contract that this adoption uses
This contract covers health, stamina, oxygen, XP and other values with a marked bottom and top. It decides what happens to a change at those limits, how named lines fire (report that the value crossed them), how costs are paid, and how the value can move on its own. This contract does not cover the sources of changes, their rates, the display of the value, or the effects of its reports.
Questions
The supplied answer is marked on each question. Pick other answers to see what changes. Nothing is saved here: the zip file and the authoring tool use the supplied answers.
Can this value hold a fraction, or is it always a whole number?
Why this is asked
Whole and fractional values handle small changes differently. A health bar may show only whole points while oxygen keeps decimals.
A change contains part of a point. What happens to that part?
- Asked when
- Number kind is Whole number.
- If not asked
- This value keeps fractional changes exactly as sent.
The value lands exactly on a line or a limit. Does the value count as having reached it?
A change would push this value above its marked top. What happens?
A change would pull this value below its marked bottom. What happens?
One move passes more than one mark (a line or a band edge). Which marks report?
- Asked when
- the lines list has at least one row, or the bands list has at least one row.
- If not asked
- No mark exists, so no move can pass one.
The bottom or top moves while this value holds a number. What happens to the value?
- Asked when
- the min value is supplied as a citation, or the max value is supplied as a citation.
- If not asked
- The bottom and top are fixed numbers, so neither limit moves.
Something sets this value to a number outside its range. What happens?
- Asked when
- the sets list has at least one row.
- If not asked
- No named set puts this value directly at a target number.
A set jumps across one or more marks. Do they report?
- Asked when
- the sets list has at least one row.
- If not asked
- No named set crosses a line or changes a band.
Starting over at a limit is a lap. After a lap, what happens to the extra?
- Asked when
- At the ceiling is Start a lap, or At the floor is Start a lap.
- If not asked
- Neither limit starts this value over, so no lap leaves extra.
After a lap, the extra can reach the same limit again. Can one change cause more than one lap?
- Asked when
- At the ceiling is Start a lap, or At the floor is Start a lap.
- If not asked
- Neither limit starts this value over, so one change cannot lap it.
Does a lap clear any saved fraction?
- Asked when
- Small change is Save the fraction and At the ceiling is Start a lap, or Small change is Save the fraction and At the floor is Start a lap.
- If not asked
- No lap can clear saved fractions; either this value does not lap or it does not save fractions.
This value cannot pay the full cost of an action, because not enough room is left before the limit. What happens?
- Asked when
- the costs list has at least one row.
- If not asked
- No cost checks this value before changing it; every change simply happens, and bands and limits still apply.
A drift is a change that happens with nobody acting. Two or more drifts can run in the same step. How do they combine?
- Asked when
- the drifts list has at least two rows.
- If not asked
- Fewer than two drifts can run together, so no combination choice applies.
A change would pass a limit. Are marks tested against the number before the limit is applied, or against the number that the value keeps?
- Asked when
- the lines list has at least one row, or the bands list has at least one row.
- If not asked
- No line or band exists, so nothing reads a result beyond a limit.
Numbers7 numbers
Each value is either a number set here or a reference to a decided number in your tuning. It cannot reference an open number.
Min = 0
fixed as writtenmin
This value's marked bottom. Keep it even when the value may fall lower.
Max = 100
fixed as writtenmax
This value's marked top. Keep it even when the value may rise higher.
Initial = 100
fixed as writteninitial
The number that this value holds when it is created. When you point to a number in your game's rules instead, that number is read at creation. Later resets are listed separately.
Fraction step
fraction-step
How much saved fraction releases one whole point.
Not used by this adoption. It applies when Small change is Save the fraction.
Anchor
anchor
The resting point a drift approaches from either side.
Not used by this adoption. It applies when some drifts row has direction Toward the anchor.
Lap lands on
lap-lands-on
Where the value lands during a lap.
Not used by this adoption. It applies when At the ceiling is Start a lap, or At the floor is Start a lap.
Out of range lands on
out-of-range-lands-on
Where the value lands when a moved limit leaves it outside the new range.
Not used by this adoption. It applies when When a limit moves is Pull it to a declared number.
Rules13 rules
A rule is a check between the numbers. Validation reports a rule that fails.
max > mininitial >= mininitial <= maxfraction-step > 0anchor >= minanchor <= maxlap-lands-on >= minlap-lands-on <= maxout-of-range-lands-on >= minout-of-range-lands-on <= max-
Forbidden when When a limit moves is Refill to the new ceiling and At the ceiling is Start a lap, or When a limit moves is Refill to the new ceiling and At the floor is Start a lap.
-
Forbidden when More than one lap is Lap again while it fits and The extra after a lap is Drop it.
Lists9 lists
Each list holds the rows this adoption supplies. A list can be empty.
Reading notes
reading-notes
This adoption declares no reading notes.
Quantity unit
quantity-unit
This adoption declares no quantity unit.
Lines
lines
| Id | Value kind | Value | Value key | Line unit | Direction | Refire | Times | Rearm | Rearm declared in | Repeat | Counts at line | Starts armed |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
breath-low | number | 30 | — | — | both | every-crossing | — | — | — | — | — | — |
breath-critical | number | 10 | — | — | both | every-crossing | — | — | — | — | — | — |
breath-empty | number | 0 | — | — | both | every-crossing | — | — | — | — | — | — |
Sets
sets
| Id | Mode | Target key | Trigger declared in | Enabled while |
|---|---|---|---|---|
surface-refill | set-to-target | contracts.oxygen.max | 02-mechanics.md#player-surfaced | — |
Bands
bands
This adoption declares no bands.
Costs
costs
This adoption declares no costs.
Drifts
drifts
| Id | Direction | Cadence | Moment declared in | Step amount key | Amount kind | Amount declared in | Stops at key | At stop |
|---|---|---|---|---|---|---|---|---|
breath-drain | falls | per-real-second | — | tuning.oxygen.drain | fixed | — | contracts.oxygen.min | lands-exactly |
Interrupts
interrupts
| Id | Drift | Kind | Condition declared in | Event declared in | Pause length key | Pause length kind | Pause length declared in | Repeat event |
|---|---|---|---|---|---|---|---|---|
only-underwater | breath-drain | off-while-condition | 02-mechanics.md#player-not-submerged | — | — | — | — | — |
Resets
resets
This adoption declares no resets.
Test inputsscope and seeds
Some tests need a scope or seeds from the adoption before they can run.
This adoption supplies no test inputs. Every test uses its default inputs.
Acceptance tests26 tests apply
The contract comes with 96 tests. A test that runs once per row is counted once for each row. Tests that do not apply to these answers are still listed, with the reason.
change-applies
an in-range change applies exactly
Applies to oxygen.
An in-range change moves oxygen by its amount, exactly as given, in one commit with no partly settled state observable. A mark whose reached state did not change does not report. The limits are stated at min = 0 and max = 100; this test restates neither number.
Test steps and diagnostics
- Given
oxygenholding a stored value strictly betweenmin = 0andmax = 100, with enough room that the change below stays in range, and with no active band blocking the change's direction- When
- one imposed change with signed amount d is applied to
oxygen
- one imposed change with signed amount d is applied to
- Then
- the stored
oxygenvalue changes by d, exactly as given - the value and residue, when residue exists, commit together and no partly settled state is observable
- no mark whose reached state did not change reports
- the stored
- Diagnostics
oxygen-value-before-afteroxygen-mark-log
fractional-change-resolves
a fractional change resolves as declared
Does not apply to oxygen: small change is not asked for oxygen.
fractional-change-saves-residue
saved fractions release whole multiples toward zero
Does not apply to oxygen: small change is not asked for oxygen.
fractional-value-keeps-no-store
a fractional value has no saved-fraction store
Applies to oxygen.
A fractional oxygen keeps every finite change at full precision. It has no saved-fraction store, so residue is never observable.
Test steps and diagnostics
- Given
oxygenholding any fractional stored value with room for finite positive and negative changes- When
- finite changes with fractional amounts settle
- Then
- every finite change lands at full precision
- no saved-fraction store exists
- no residue is ever observable
- Diagnostics
oxygen-value-before-afteroxygen-state-record
comparisons-read-stored-value
every comparison reads the stored value
Applies to oxygen.
Whatever oxygen shows the player, every comparison reads its stored value at full precision. Lines, bands, limits, drift stops, and costs never read a rounded display number, and each cited position is read again at each comparison.
Test steps and diagnostics
- Given
a moment when the number shown for
oxygendiffers from the stored value because the display is rounded, shortened, or abbreviated; where the display always matches the stored value, this test checks nothing- When
- a line, band edge, limit, drift stop, or cost comparison is made
- Then
- the comparison reads the stored
oxygenvalue at full precision - every cited position is read again for that comparison
- the displayed number decides nothing
- the comparison reads the stored
- Diagnostics
oxygen-comparison-logoxygen-value-before-after
creation-is-silent
creation stores mark state silently
Applies to oxygen.
Creation is not a movement and reports nothing. oxygen silently stores every line's reached state, gives lines their declared arm state or the armed default, and gives bands their declared starts.
Test steps and diagnostics
- Given
creation of
oxygenatinitial = 100- When
- initial line and band state is stored
- Then
- creation is not a movement and reports nothing
- every line's reached state is stored silently
- lines take their declared arm state, or armed when starts-armed is omitted
- bands take their declared starts
- Diagnostics
oxygen-line-stateoxygen-line-allowanceoxygen-band-stateoxygen-mark-log
exact-landing-counts
an exact landing counts as reached
Applies to oxygen.
For oxygen, landing exactly on a line or consuming limit counts as reaching it. An armed line at that position, matching the direction of travel and with allowance remaining, reports on that landing, and the change consumes a limit whose answer is start-a-lap. This default answer is tested at a line or band that declares no counts-at-line of its own.
Test steps and diagnostics
- Given
oxygenon the unreached side of a declared line or consuming limit, at a line or band that declares no counts-at-line of its own- When
- one change lands exactly on that position
- Then
- the position counts as reached in the direction of travel
- an armed line at that position, matching the direction of travel and with allowance remaining, reports on that landing
- the change consumes a limit whose answer is start-a-lap
- Diagnostics
oxygen-mark-logoxygen-operation-record
exact-landing-must-pass
an exact landing does not count as reached
Does not apply to oxygen: exact landing is at the line counts, not must pass the line.
ceiling-stops-change
the value stops at the top and the extra is dropped
Applies to oxygen.
A rising change that would pass max = 100 leaves oxygen exactly on that limit. The extra is dropped and reported to no one. This test restates neither number.
Test steps and diagnostics
- Given
oxygenholding any value at or belowmax = 100- When
- an imposed rising change would take
oxygenabovemax = 100
- an imposed rising change would take
- Then
- the stored value is exactly
max = 100 - the extra is dropped and reported to no one
- in every other respect the change counts as applied
- the stored value is exactly
- Diagnostics
oxygen-value-afteroxygen-edge-record
floor-stops-change
the value stops at the bottom and the shortfall is dropped
Applies to oxygen.
A falling change that would pass min = 0 leaves oxygen exactly on that limit. The shortfall is dropped and reported to no one. This test restates neither number.
Test steps and diagnostics
- Given
oxygenholding any value at or abovemin = 0- When
- an imposed falling change would take
oxygenbelowmin = 0
- an imposed falling change would take
- Then
- the stored value is exactly
min = 0 - the shortfall is dropped and reported to no one
- the stored value is exactly
- Diagnostics
oxygen-value-afteroxygen-edge-record
ceiling-refuses-change
a change that would pass the top is refused whole
Does not apply to oxygen: at the ceiling is stop at the ceiling, not refuse the whole change.
floor-refuses-change
a change that would pass the bottom is refused whole
Does not apply to oxygen: at the floor is stop at the floor, not refuse the whole change.
ceiling-returns-extra
the extra above the top is handed back
Does not apply to oxygen: at the ceiling is stop at the ceiling, not hand back the extra.
floor-returns-extra
the shortfall below the bottom is handed back
Does not apply to oxygen: at the floor is stop at the floor, not hand back the extra.
ceiling-is-landmark
the top does not stop the value
Does not apply to oxygen: at the ceiling is stop at the ceiling, not no ceiling.
floor-is-landmark
the bottom does not stop the value
Does not apply to oxygen: at the floor is stop at the floor, not no floor.
ceiling-starts-lap
reaching the top starts a lap
Does not apply to oxygen: at the ceiling is stop at the ceiling, not start a lap.
floor-starts-lap
reaching the bottom starts a lap
Does not apply to oxygen: at the floor is stop at the floor, not start a lap.
lap-carries-extra
extra continues after a lap
Does not apply to oxygen: the extra after a lap is not asked for oxygen.
lap-drops-extra
extra is dropped after a lap
Does not apply to oxygen: the extra after a lap is not asked for oxygen.
lap-repeats-with-cap
carried extra laps again up to the runtime cap
Does not apply to oxygen: more than one lap is not asked for oxygen.
lap-stops-after-one
one change causes at most one lap
Does not apply to oxygen: more than one lap is not asked for oxygen.
lap-stops-after-one-and-drops
one change drops leftover after its only lap
Does not apply to oxygen: more than one lap is not asked for oxygen.
lap-clears-residue
a lap clears saved residue
Does not apply to oxygen: a lap clears saved fraction is not asked for oxygen.
lap-keeps-residue
a lap keeps saved residue
Does not apply to oxygen: a lap clears saved fraction is not asked for oxygen.
line-crosses-fixed-position · breath-low
the breath-low line fires on crossing
Applies to the breath-low row.
The breath-low line uses the position the row declares, read as its line-unit directs — the declared number itself unless the row declares share-of-the-ceiling, where it is that share of the value at max = 100, read again at each comparison. A movement in either direction reports when its reached state changes from false to true, provided the line is armed and has allowance. Its declared starting arm state applies; omission means armed.
Test steps and diagnostics
- Given
oxygenholding a value on the unreached side ofbreath-lowat the position the row declares, read as its line-unit directs — the declared number itself unless the row declares share-of-the-ceiling, where it is that share of the value atmax = 100, read again at each comparison, with the line in its declared starting arm state; omission of starts-armed means armed- When
- one movement in either direction changes
breath-lowfrom unreached to reached
- one movement in either direction changes
- Then
breath-lowreports exactly once if it is armed and still has allowance- the report carries before, after, direction, leg position, operation id, and row id
- reached state is recomputed from the stored endpoint in both directions
- Diagnostics
oxygen-mark-logoxygen-line-stateoxygen-value-before-after
line-crosses-fixed-position · breath-critical
the breath-critical line fires on crossing
Applies to the breath-critical row.
The breath-critical line uses the position the row declares, read as its line-unit directs — the declared number itself unless the row declares share-of-the-ceiling, where it is that share of the value at max = 100, read again at each comparison. A movement in either direction reports when its reached state changes from false to true, provided the line is armed and has allowance. Its declared starting arm state applies; omission means armed.
Test steps and diagnostics
- Given
oxygenholding a value on the unreached side ofbreath-criticalat the position the row declares, read as its line-unit directs — the declared number itself unless the row declares share-of-the-ceiling, where it is that share of the value atmax = 100, read again at each comparison, with the line in its declared starting arm state; omission of starts-armed means armed- When
- one movement in either direction changes
breath-criticalfrom unreached to reached
- one movement in either direction changes
- Then
breath-criticalreports exactly once if it is armed and still has allowance- the report carries before, after, direction, leg position, operation id, and row id
- reached state is recomputed from the stored endpoint in both directions
- Diagnostics
oxygen-mark-logoxygen-line-stateoxygen-value-before-after
line-crosses-fixed-position · breath-empty
the breath-empty line fires on crossing
Applies to the breath-empty row.
The breath-empty line uses the position the row declares, read as its line-unit directs — the declared number itself unless the row declares share-of-the-ceiling, where it is that share of the value at max = 100, read again at each comparison. A movement in either direction reports when its reached state changes from false to true, provided the line is armed and has allowance. Its declared starting arm state applies; omission means armed.
Test steps and diagnostics
- Given
oxygenholding a value on the unreached side ofbreath-emptyat the position the row declares, read as its line-unit directs — the declared number itself unless the row declares share-of-the-ceiling, where it is that share of the value atmax = 100, read again at each comparison, with the line in its declared starting arm state; omission of starts-armed means armed- When
- one movement in either direction changes
breath-emptyfrom unreached to reached
- one movement in either direction changes
- Then
breath-emptyreports exactly once if it is armed and still has allowance- the report carries before, after, direction, leg position, operation id, and row id
- reached state is recomputed from the stored endpoint in both directions
- Diagnostics
oxygen-mark-logoxygen-line-stateoxygen-value-before-after
line-crosses-cited-position
the Row.id line follows and fires at its cited position
Does not apply to oxygen: no row in lines matches value-kind citation.
line-uses-ceiling-share
the Row.id line is a share of the top
Does not apply to oxygen: no row in lines matches line-unit share of the ceiling.
line-exact-landing-override
Row.id uses its own exact-landing answer
Does not apply to oxygen: no row in lines matches counts-at-line at the line counts or must pass the line.
line-refires-every-crossing · breath-low
breath-low fires again on each crossing
Applies to the breath-low row.
For breath-low, each leg whose reached state for a reported direction goes false to true fires exactly one report, while a true-to-false leg reports nothing. the described sequence reports three times, once per crossing, because a both line keeps one reached state per direction.
Test steps and diagnostics
- Given
breath-lowarmed and unreached- When
oxygencrossesbreath-lowin a reporting direction, returns to unreached, and crosses again
- Then
- each leg whose reached state for a reported direction goes false to true fires exactly one report for that leg, and a leg whose transition is true to false reports nothing
- the described sequence reports three times, once per crossing, because a both line keeps one reached state per direction
- Diagnostics
oxygen-mark-logoxygen-line-state
line-refires-every-crossing · breath-critical
breath-critical fires again on each crossing
Applies to the breath-critical row.
For breath-critical, each leg whose reached state for a reported direction goes false to true fires exactly one report, while a true-to-false leg reports nothing. the described sequence reports three times, once per crossing, because a both line keeps one reached state per direction.
Test steps and diagnostics
- Given
breath-criticalarmed and unreached- When
oxygencrossesbreath-criticalin a reporting direction, returns to unreached, and crosses again
- Then
- each leg whose reached state for a reported direction goes false to true fires exactly one report for that leg, and a leg whose transition is true to false reports nothing
- the described sequence reports three times, once per crossing, because a both line keeps one reached state per direction
- Diagnostics
oxygen-mark-logoxygen-line-state
line-refires-every-crossing · breath-empty
breath-empty fires again on each crossing
Applies to the breath-empty row.
For breath-empty, each leg whose reached state for a reported direction goes false to true fires exactly one report, while a true-to-false leg reports nothing. the described sequence reports three times, once per crossing, because a both line keeps one reached state per direction.
Test steps and diagnostics
- Given
breath-emptyarmed and unreached- When
oxygencrossesbreath-emptyin a reporting direction, returns to unreached, and crosses again
- Then
- each leg whose reached state for a reported direction goes false to true fires exactly one report for that leg, and a leg whose transition is true to false reports nothing
- the described sequence reports three times, once per crossing, because a both line keeps one reached state per direction
- Diagnostics
oxygen-mark-logoxygen-line-state
line-both-directions-keep-state · breath-low
breath-low keeps separate reached state for both directions
Applies to the breath-low row.
A both-direction line keeps one reached state per direction. In a cross-down, cross-up, cross-down sequence, each qualifying false-to-true transition reports while refire allowance remains; one shared state is not legal.
Test steps and diagnostics
- Given
breath-lowarmed with allowance and its rising and falling reached states recorded separately- When
oxygencrossesbreath-lowdown, up, and down again
- Then
- each direction keeps its own reached state
- each qualifying false-to-true transition in either direction reports while the line's refire allowance remains
- no shared single reached state is legal
- Diagnostics
oxygen-crossing-logoxygen-mark-logoxygen-line-state
line-both-directions-keep-state · breath-critical
breath-critical keeps separate reached state for both directions
Applies to the breath-critical row.
A both-direction line keeps one reached state per direction. In a cross-down, cross-up, cross-down sequence, each qualifying false-to-true transition reports while refire allowance remains; one shared state is not legal.
Test steps and diagnostics
- Given
breath-criticalarmed with allowance and its rising and falling reached states recorded separately- When
oxygencrossesbreath-criticaldown, up, and down again
- Then
- each direction keeps its own reached state
- each qualifying false-to-true transition in either direction reports while the line's refire allowance remains
- no shared single reached state is legal
- Diagnostics
oxygen-crossing-logoxygen-mark-logoxygen-line-state
line-both-directions-keep-state · breath-empty
breath-empty keeps separate reached state for both directions
Applies to the breath-empty row.
A both-direction line keeps one reached state per direction. In a cross-down, cross-up, cross-down sequence, each qualifying false-to-true transition reports while refire allowance remains; one shared state is not legal.
Test steps and diagnostics
- Given
breath-emptyarmed with allowance and its rising and falling reached states recorded separately- When
oxygencrossesbreath-emptydown, up, and down again
- Then
- each direction keeps its own reached state
- each qualifying false-to-true transition in either direction reports while the line's refire allowance remains
- no shared single reached state is legal
- Diagnostics
oxygen-crossing-logoxygen-mark-logoxygen-line-state
line-fires-once-per-arm
Row.id fires once, then waits to re-arm
Does not apply to oxygen: no row in lines matches refire once and rearm on reset or on event or after a wait.
line-fires-set-number
Row.id fires its declared number of times per arm
Does not apply to oxygen: no row in lines matches refire a set number of times and rearm on reset or on event or after a wait.
line-wait-rearm-repeat
Row.id handles another crossing during its re-arm wait
Does not apply to oxygen: no row in lines matches rearm after a wait.
jumped-lines-reports
a move crossing several marks reports as declared
Applies to oxygen.
When one leg of oxygen crosses several marks, every crossed armed mark reports in travel order, with row order deciding a tie. every crossed mark updates all its state. A crossed band edge updates its band state under both answers whether or not its report is selected. Where this adoption has fewer than two marks, this test checks nothing.
Test steps and diagnostics
- Given
one leg that crosses at least two armed bare lines or band edges with allowance; where the adoption has fewer than two marks, this test checks nothing
- When
- the leg settles
- Then
- every crossed armed mark reports in travel order, with row order deciding a tie
- every crossed mark updates all its state
- a band edge crossed on the leg updates its band state under both answers, whether or not its report is the selected one
- Diagnostics
oxygen-mark-logoxygen-mark-state
marks-read-final-value
marks read the final value at a limit
Applies to oxygen.
When a change passes a limit, oxygen marks read the final outward endpoint: the stored value, or the consuming limit on a lap. A mark at or past the reached limit never observes the raw candidate, and every report from that leg carries the stored endpoint or consuming limit as its after value.
Test steps and diagnostics
- Given
a change whose raw candidate passes a limit and a mark at or past the limit the change reaches
- When
- the change settles without refusal
- Then
- outward marks test the stored endpoint or the consuming limit
- no outward mark observes a number beyond the limit
- every report from that leg carries the stored endpoint, or the consuming limit, as its after value — never the raw candidate
- Diagnostics
oxygen-operation-recordoxygen-mark-log
marks-read-raw-result
marks read the raw result at a limit
Does not apply to oxygen: lines read is the final value, not the raw result.
band-enters-at-fixed-line
the Row.id band enters at its fixed line
Does not apply to oxygen: bands has no rows.
band-enters-at-cited-line
the Row.id band enters at its cited line
Does not apply to oxygen: bands has no rows.
band-leaves-at-fixed-line
the Row.id band leaves at its fixed line
Does not apply to oxygen: bands has no rows.
band-leaves-at-cited-line
the Row.id band leaves at its cited line
Does not apply to oxygen: bands has no rows.
band-event-enters
the Row.id band enters on its event
Does not apply to oxygen: bands has no rows.
band-event-or-wait-leaves
the Row.id band leaves on its declared event or wait
Does not apply to oxygen: bands has no rows.
band-wait-repeat
the Row.id band handles another entry during its wait
Does not apply to oxygen: bands has no rows.
band-starts-as-declared
the Row.id band starts as declared
Does not apply to oxygen: bands has no rows.
band-starts-from-initial
the Row.id band reads its starting state from the initial value
Does not apply to oxygen: bands has no rows.
event-entered-band-starts-out
the event-entered Row.id band starts out
Does not apply to oxygen: bands has no rows.
event-left-band-starts-out
the event-left Row.id band starts out
Does not apply to oxygen: bands has no rows.
band-blocks-selected-movement
the Row.id band blocks its selected movements
Does not apply to oxygen: bands has no rows.
event-entered-band-survives-silent-recompute
the event-entered Row.id band keeps state through silent recomputes
Does not apply to oxygen: bands has no rows.
event-left-band-survives-silent-recompute
the event-edged Row.id band keeps state through silent recomputes
Does not apply to oxygen: bands has no rows.
line-once-never-rearms
Row.id fires once and never re-arms
Does not apply to oxygen: no row in lines matches refire once and rearm never.
line-set-number-never-rearms
Row.id has one fixed lifetime allowance
Does not apply to oxygen: no row in lines matches refire a set number of times and rearm never.
line-starts-armed-as-declared
Row.id uses its explicit starting arm state
Does not apply to oxygen: no row in lines matches starts-armed armed or disarmed.
band-enter-share-follows-ceiling
the Row.id entering line is a share of the top
Does not apply to oxygen: bands has no rows.
band-leave-share-follows-ceiling
the Row.id leaving line is a share of the top
Does not apply to oxygen: bands has no rows.
band-exact-landing-override
Row.id uses its own exact-landing answer
Does not apply to oxygen: bands has no rows.
set-stores-target-without-raw-result · surface-refill
the surface-refill set stores its target without a raw result
Applies to the surface-refill row.
surface-refill reads the target number at contracts.oxygen.max when 02-mechanics.md#player-surfaced offers it. A set with a declared enabling condition is offered only while that condition holds. the named target settles as one absolute repositioning: it has no raw result and does not pass through small-change. This test names the addresses and restates no number.
Test steps and diagnostics
- Given
surface-refillenabled, with target sourcecontracts.oxygen.maxand trigger02-mechanics.md#player-surfaced- When
- the trigger offers the target number
- Then
- a set with a declared enabling condition is offered only while that condition holds
- the named target settles as one absolute repositioning
- the set has no raw result and marks can observe only its successful stored outcome
- fractional small-change handling is not applied
- Diagnostics
oxygen-set-recordoxygen-value-before-after
outside-set-clamps
an outside set stores the nearer limit
Applies to oxygen.
A set outside the range stores the nearer passed limit. It does not expose the target outside the range as a raw result, hands back no extra, and starts no lap. The limits are min = 0 and max = 100; this test restates neither number. Where no declared set can target outside the range, this test checks nothing.
Test steps and diagnostics
- Given
named sets targeting once above
max = 100and once belowmin = 0, where this adoption's declared sets can construct such targets; where no declared set can target outside the range, this test checks nothing- When
- each set settles
- Then
- the high target stores exactly
max = 100and the low target stores exactlymin = 0 - neither target outside the range is a raw result
- the set returns no extra and starts no lap
- the high target stores exactly
- Diagnostics
oxygen-set-recordoxygen-value-after
outside-set-refuses
an outside set is refused whole
Does not apply to oxygen: a set outside the range is pull it to the nearer limit, not refuse the set.
outside-set-stores-as-sent
an outside set stores its target as sent
Does not apply to oxygen: a set outside the range is pull it to the nearer limit, not store it as sent.
set-fires-marks-as-change
a successful set reports crossed marks
Applies to oxygen.
A successful set tests marks along its stored movement and reports them as jumped-lines directs. Because a set crossing no line can store the same value under either answer, this test also reads the operation record that distinguishes mark testing from silent recompute.
Test steps and diagnostics
- Given
a named set whose accepted stored target crosses at least one mark, plus a set whose target crosses no mark, with an operation record distinguishing reports from silent state updates
- When
- each set settles
- Then
- crossed marks test the successful stored movement and report as jumped-lines directs
- the operation record identifies this answer even when the absence of a crossing makes the stored result indistinguishable from a silent recompute
- Diagnostics
oxygen-set-recordoxygen-mark-logoxygen-mark-state
set-updates-marks-silently
a successful set recomputes marks without reports
Does not apply to oxygen: does a set fire lines is treat it as a change, not silent.
successful-set-clears-residue
the Row.id set clears residue when it succeeds
Does not apply to oxygen: small change is not asked for oxygen.
cost-pays-exactly
the affordable Row.id cost pays exactly
Does not apply to oxygen: costs has no rows.
value-wide-cost-refuses
the default cost answer refuses an unaffordable action
Does not apply to oxygen: not enough room is not asked for oxygen.
value-wide-cost-takes-what-fits
the default cost answer takes what fits
Does not apply to oxygen: not enough room is not asked for oxygen.
cost-row-override-refuses
the Row.id override refuses an unaffordable action
Does not apply to oxygen: not enough room is not asked for oxygen.
cost-row-override-partial
the Row.id override takes what fits
Does not apply to oxygen: not enough room is not asked for oxygen.
drift-moves-value
Row.id moves the value on its own
Does not apply to oxygen: no matching row in drifts has every field this test uses (amount-declared-in).
continuous-drift-uses-elapsed-time · breath-drain
breath-drain accrues continuously from elapsed clock time
Applies to the breath-drain row.
breath-drain accrues continuously. It multiplies the rate at tuning.oxygen.drain by elapsed cited-clock time, not frame count, and sends fractional accrual through small-change. This test restates no rate.
Test steps and diagnostics
- Given
breath-draineligible over equal cited-clock durations rendered with different frame counts- When
- each duration settles
- Then
- each contribution is the rate at
tuning.oxygen.drainmultiplied by elapsed cited-clock time - equal elapsed time produces equal provisional movement regardless of frame count
- fractional accrual passes through small-change
- each contribution is the rate at
- Diagnostics
oxygen-clock-traceoxygen-drift-log
named-moment-drift-uses-citation
Row.id runs only at its named moment
Does not apply to oxygen: no row in drifts matches cadence at a named moment.
declared-drift-amount-rule
Row.id uses its declared changing amount rule
Does not apply to oxygen: no row in drifts matches amount-kind depends on state or grows while it runs.
drift-stops · breath-drain
breath-drain stops where its row says it stops
Applies to the breath-drain row.
Both at-stop answers leave oxygen stored at contracts.oxygen.min, so the stored value cannot distinguish them. This test reads the at-stop step record: the offered contribution is clipped so no value beyond contracts.oxygen.min exists in the step record. Once stored at that address, breath-drain is ineligible and offers nothing. The test restates no stop or amount.
Test steps and diagnostics
- Given
oxygenless than onebreath-draincontribution fromcontracts.oxygen.min,breath-draineligible and alone, and an at-stop step record naming the offered amount, every intermediate value, the correction, and the stored value afterwards- When
- the next offered contribution would pass
contracts.oxygen.min
- the next offered contribution would pass
- Then
- the step record names the amount offered before clipping or correction
- the offered contribution is clipped so no value beyond
contracts.oxygen.minexists in the step record - the stored value is exactly
contracts.oxygen.minunder either answer - after an overshoot, correction reports no mark and recomputes reached state from the stored stop
breath-drainis ineligible and offers nothing while the value rests at its stop
- Diagnostics
oxygen-at-stop-step-recordoxygen-offered-amountoxygen-intermediate-valueoxygen-value-after
drift-clips-at-consuming-ceiling
Row.id clips at the consuming top without lapping
Does not apply to oxygen: at the ceiling is stop at the ceiling, not start a lap.
drift-clips-at-consuming-floor
Row.id clips at the consuming bottom without lapping
Does not apply to oxygen: at the floor is stop at the floor, not start a lap.
drift-approaches-anchor
Row.id approaches the anchor from either side
Does not apply to oxygen: anchor is not in use for oxygen.
drifts-add-together
eligible drifts add before one settlement
Does not apply to oxygen: drifts together is not asked for oxygen.
largest-drift-wins
only the largest eligible drift settles
Does not apply to oxygen: drifts together is not asked for oxygen.
drifts-settle-in-row-order
eligible drifts settle separately in row order
Does not apply to oxygen: drifts together is not asked for oxygen.
condition-interrupt-controls-drift · only-underwater
only-underwater controls its drift through a condition
Applies to the only-underwater row.
only-underwater allows breath-drain only while the condition is false, using the condition at 02-mechanics.md#player-not-submerged. Every interrupt row naming breath-drain must allow it before that drift runs.
Test steps and diagnostics
- Given
the condition at
02-mechanics.md#player-not-submergedobserved once false and once true, with every other interrupt row forbreath-drainallowing it- When
breath-drainreaches an occurrence in each condition state
- Then
only-underwaterallowsbreath-drainonly while the condition is false- the drift runs only when this row and every other row naming
breath-drainallow it
- Diagnostics
oxygen-interrupt-stateoxygen-drift-log
pause-interrupt-controls-drift
Row.id pauses its drift after an event
Does not apply to oxygen: no row in interrupts matches kind paused after event.
state-dependent-pause-length
Row.id reads its state-dependent pause rule
Does not apply to oxygen: no row in interrupts matches pause-length-kind depends on state.
interrupt-conjunction-holds · only-underwater
only-underwater combines with every interrupt on its drift
Applies to the only-underwater row.
Even while only-underwater allows breath-drain, another row for that drift can forbid it. The drift runs only when every row naming it allows it; where this adoption has no such pair, this test checks nothing.
Test steps and diagnostics
- Given
another interrupt row naming
breath-drainand currently forbidding it whileonly-underwaterallows it; where this adoption has no such pair, this test checks nothing- When
- the drift reaches an occurrence while those row states hold
- Then
breath-draindoes not run- every interrupt row for one drift must allow it before it runs
- Diagnostics
oxygen-interrupt-stateoxygen-drift-log
reset-returns-silently
the Row.id reset returns the value silently
Does not apply to oxygen: resets has no rows.
reset-handles-residue
the Row.id reset handles residue as declared
Does not apply to oxygen: small change is not asked for oxygen.
reset-handles-lines-and-bands
the Row.id reset restores mark state as declared
Does not apply to oxygen: resets has no rows.
reset-applies-explicit-band-choice
the Row.id reset applies its explicit band choice
Does not apply to oxygen: resets has no rows.
limit-move-refills-ceiling
a moving top refills the value
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limit-move-keeps-number
a moving limit keeps the held number while it is inside the new range
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limit-move-keeps-share
a moving limit preserves the value's share
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limit-move-uses-declared-number
an outside value moves to its declared number
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limit-move-leaves-number-alone
a moving limit does not change the held number
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limit-move-never-fires-bare-line
a limit move never fires the Row.id bare line
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limit-move-recomputes-band
a limit move recomputes the Row.id band as its edge kind directs
Does not apply to oxygen: when a limit moves is not asked for oxygen.
limits-hold
the limits hold after every operation
Applies to oxygen.
For every operation in this adoption's verification scope — sequences of legal imposed changes, costs, sets, drift steps and batches, laps, resets, and limit moves over one run — the oxygen value is greater than or equal to min = 0, and the oxygen value is less than or equal to max = 100. A cited limit whose answer is no-floor or no-ceiling remains a named point that other rules can cite. The adoption supplies scope and seeds through verification inputs; each of the two conditions is the one that the answer for that limit permits.
Test steps and diagnostics
- Holds
after every operation, the
oxygenvalue is greater than or equal tomin = 0, and theoxygenvalue is less than or equal tomax = 100. A cited limit whose answer is no-floor or no-ceiling remains a named point that other rules can cite- Seeds
["audit-a","audit-b"]- Scope
sequences of legal imposed changes, costs, sets, drift steps and batches, laps, resets, and limit moves over one run- Diagnostics
oxygen-value-traceoxygen-first-violating-operation
JSONthe adoption as one file
Answers you try on this page do not change this file. To change an adoption, open it in the authoring tool.
{
"contract": "ranged-value",
"version": 2,
"summary": "This contract covers health, stamina, oxygen, XP and other values with a marked bottom and top. It decides what happens to a change at those limits, how named lines fire (report that the value crossed them), how costs are paid, and how the value can move on its own. This contract does not cover the sources of changes, their rates, the display of the value, or the effects of its reports.",
"questions": {
"number-kind": {
"asks": "Can this value hold a fraction, or is it always a whole number?",
"rationale": "Whole and fractional values handle small changes differently. A health bar may show only whole points while oxygen keeps decimals.",
"options": {
"whole-number": {
"meaning": "The stored value is always whole. A health bar can show 7 or 8, never 7.5.",
"semantics": "A change with a fractional part passes through small-change before any limit or mark reads it. Every absolute stored target and mark must resolve to a whole number."
},
"fractional": {
"meaning": "Fractions stay exactly as sent. An oxygen meter can rest at 7.5.",
"semantics": "Every finite change lands at full precision. No saved-fraction store exists."
}
}
},
"small-change": {
"asks": "A change contains part of a point. What happens to that part?",
"when": {
"flag": {
"number-kind": [
"whole-number"
]
}
},
"otherwise": "This value keeps fractional changes exactly as sent.",
"options": {
"nearest": {
"meaning": "Use the nearer whole change, with an exact half going to the higher number. A health gain of 2.5 becomes 3.",
"semantics": "Round the signed change to the nearest integer; ties go toward positive infinity. Discard the difference."
},
"nearest-away-from-zero": {
"meaning": "Use the nearer whole change, with an exact half going away from zero. A karma loss of 2.5 becomes −3.",
"semantics": "Round to the nearest integer; ties choose the integer with the greater absolute magnitude. Discard the difference."
},
"drop-the-fraction": {
"meaning": "Drop the fractional part toward zero. A poison drain of 0.7 health does nothing that step.",
"semantics": "Remove the signed fractional part toward zero and discard it."
},
"always-a-whole-unit": {
"meaning": "Every nonzero change moves at least one whole point. Chip damage of 0.1 removes 1 health.",
"semantics": "Round every non-integer signed change away from zero and discard the difference."
},
"save-the-fraction": {
"meaning": "Save the fractional parts until they make a whole point. Two hits worth 0.5 poise each add 1 poise together.",
"semantics": "Move the whole part now. Add only the signed fractional remainder to one saved-fraction store. Remove complete multiples of fraction-step toward zero, move by that many whole units, and keep the remainder. Sets always clear the store; named resets and starting over at a limit use their own clearing choices."
}
}
},
"exact-landing": {
"asks": "The value lands exactly on a line or a limit. Does the value count as having reached it?",
"options": {
"at-the-line-counts": {
"meaning": "Yes, landing exactly on it counts. Health falling to exactly 25 fires a warning set at 25.",
"semantics": "A rising mark at t is reached at value greater than or equal to t; a falling mark is reached at value less than or equal to t. An exact landing may consume a limit."
},
"must-pass-the-line": {
"meaning": "No, the value must pass it. Health must fall below 25 before a warning set at 25 fires.",
"semantics": "A rising mark at t is reached only above t; a falling mark is reached only below t. An exact landing does not consume a limit."
}
}
},
"at-the-ceiling": {
"asks": "A change would push this value above its marked top. What happens?",
"options": {
"stop-at-the-ceiling": {
"meaning": "Stop at the top and drop the extra. A large health pickup fills the bar, and the rest of the pickup is dropped.",
"semantics": "Store max. Drop the extra and do not report it. In every other respect the change counts as applied."
},
"refuse-the-whole-change": {
"meaning": "Refuse the whole gain. A health pickup that would overfill the bar adds no health.",
"semantics": "Leave the value and saved fraction unchanged and report the refusal. Fire no mark."
},
"hand-back-the-extra": {
"meaning": "Fill to the top and hand back the extra. A healing rule can pass unused healing to a shield.",
"semantics": "Store max and report the positive extra to the caller. This contract does not decide where the extra goes. A change with nobody acting has no caller, so its extra is dropped."
},
"no-ceiling": {
"meaning": "The marked top does not stop the value. It stays a named point that other rules can refer to. A score can keep rising after it passes its goal.",
"semantics": "Store the complete result above max. The declared top remains citable and still defines shares."
},
"start-a-lap": {
"meaning": "Start a lap at the top. In a lap, the value starts again from a number that you name. Filling an XP bar reports a level and returns the bar to that number.",
"semantics": "Reaching is decided by exact-landing. Report a lap and move to lap-lands-on. The mechanism text alone defines leftover handling and report order (see its numbered steps and its paragraph Lap loop)."
}
}
},
"at-the-floor": {
"asks": "A change would pull this value below its marked bottom. What happens?",
"options": {
"stop-at-the-floor": {
"meaning": "Stop at the bottom and drop the shortfall. A lethal hit leaves health at zero, and the rest of the damage is dropped.",
"semantics": "Store min. Drop the shortfall and do not report it."
},
"refuse-the-whole-change": {
"meaning": "Refuse the whole loss. A hit that would cross the bottom deals no damage.",
"semantics": "Leave the value and saved fraction unchanged and report the refusal. Fire no mark."
},
"hand-back-the-extra": {
"meaning": "Empty to the bottom and hand back the shortfall. A shield can report how much damage is left for another rule.",
"semantics": "Store min and report the positive shortfall to the caller. This contract does not decide where the shortfall goes. A change with nobody acting has no caller, so the shortfall is dropped."
},
"no-floor": {
"meaning": "The marked bottom does not stop the value. It stays a named point that other rules can refer to. A debt meter can keep falling below zero.",
"semantics": "Store the complete result below min. The declared bottom remains citable."
},
"start-a-lap": {
"meaning": "Start a lap at the bottom. In a lap, the value starts again from a number that you name. Losing the last combo point can report a break and refill the meter.",
"semantics": "Reaching is decided by exact-landing. Report a lap and move to lap-lands-on. The mechanism text alone defines leftover handling and report order (see its numbered steps and its paragraph Lap loop)."
}
}
},
"jumped-lines": {
"asks": "One move passes more than one mark (a line or a band edge). Which marks report?",
"when": {
"any": [
{
"row-count": {
"lines": "non-empty"
}
},
{
"row-count": {
"bands": "non-empty"
}
}
]
},
"otherwise": "No mark exists, so no move can pass one.",
"options": {
"all-in-order": {
"meaning": "Report every crossed mark in travel order. One large hit can report wounded, critical, then empty health.",
"semantics": "Report every armed line and band edge whose reached state changes in its direction. Order by position along the path; row order decides a tie. Update all mark state."
},
"only-the-nearest": {
"meaning": "Report only the crossed mark nearest the landing value. One large hit can report empty health and suppress earlier warnings.",
"semantics": "Among the crossed lines and band edges, find the one nearest to the landing value. Row order decides a tie. Report only that mark, but update every reached, arm, and band state along the full path."
}
}
},
"when-a-limit-moves": {
"asks": "The bottom or top moves while this value holds a number. What happens to the value?",
"when": {
"any": [
{
"value-form": {
"min": [
"citation"
]
}
},
{
"value-form": {
"max": [
"citation"
]
}
}
]
},
"otherwise": "The bottom and top are fixed numbers, so neither limit moves.",
"options": {
"refill-to-the-new-ceiling": {
"meaning": "Follow a moving top by filling to it. Raising maximum health from 100 to 120 also raises current health to 120.",
"semantics": "A max change stores the new max. A min-only change keeps the value unless it falls below the new min, then stores that min."
},
"keep-the-number": {
"meaning": "Keep the current number while it is still inside the range. Raising maximum health from 100 to 120 leaves current health at 70.",
"semantics": "Preserve the value inside the new range; otherwise clamp it to the limit it is outside, even if an ordinary change may pass that limit."
},
"keep-the-share": {
"meaning": "Keep the same share of the range. Raising a half-full health bar from 100 to 200 moves its health from 50 to 100.",
"semantics": "Compute the old normalized share immediately before the limit move and store the same share of the new range. An empty old range uses the new min. Whole-number targets round to nearest with ties away from zero. Saved fraction is unchanged."
},
"pull-it-to-a-declared-number": {
"meaning": "Keep the number if it is still inside the range. Otherwise move the value to a number that you name. When the stamina top is lowered, a value that is now outside the range can move to 80.",
"semantics": "Preserve the value inside the new range. Otherwise store out-of-range-lands-on, which must resolve inside the new range."
},
"leave-the-number-alone": {
"meaning": "Do not move the held number now. Lowering a score's marked top to 100 can leave a held score of 120 unchanged.",
"semantics": "A held number outside a moved limit is legal only where the at-the-ceiling or at-the-floor answer for that limit lets the value pass the limit."
}
}
},
"a-set-outside-the-range": {
"asks": "Something sets this value to a number outside its range. What happens?",
"when": {
"row-count": {
"sets": "non-empty"
}
},
"otherwise": "No named set puts this value directly at a target number.",
"options": {
"pull-it-to-the-nearer-limit": {
"meaning": "Move to the limit the target passed. A refill aimed at 120 leaves a 100-point health bar at 100.",
"semantics": "Above max store max; below min store min. The target outside the range is not a raw result. A set does not hand back extra or start a lap."
},
"refuse-the-set": {
"meaning": "Refuse the set and keep the old number. An invalid checkpoint refill leaves health unchanged.",
"semantics": "Leave the value and saved fraction unchanged, fire no mark, and report refusal to the caller."
},
"store-it-as-sent": {
"meaning": "Store the target even outside the range. A score set to 120 can stay above its marked top of 100.",
"semantics": "Store the target exactly. It is legal beyond a limit only where the at-the-ceiling or at-the-floor answer for that limit lets the value pass the limit."
}
}
},
"does-a-set-fire-lines": {
"asks": "A set jumps across one or more marks. Do they report?",
"when": {
"row-count": {
"sets": "non-empty"
}
},
"otherwise": "No named set crosses a line or changes a band.",
"options": {
"treat-it-as-a-change": {
"meaning": "Report crossed marks after a successful set. Refilling oxygen to full can clear the low-air warnings on the way up.",
"semantics": "After storing the accepted target, test lines and band edges along the movement. jumped-lines selects reports. A refused or clamped target is never a raw result."
},
"silent": {
"meaning": "Update mark state without reports. Respawning at full health does not replay every health warning.",
"semantics": "Recompute line reached state and line-geometry band state from the stored target. Event-edged bands keep their state. Report nothing."
}
}
},
"the-extra-after-a-lap": {
"asks": "Starting over at a limit is a lap. After a lap, what happens to the extra?",
"when": {
"any": [
{
"flag": {
"at-the-ceiling": [
"start-a-lap"
]
}
},
{
"flag": {
"at-the-floor": [
"start-a-lap"
]
}
}
]
},
"otherwise": "Neither limit starts this value over, so no lap leaves extra.",
"options": {
"carry-it-onto-the-new-value": {
"meaning": "Keep using the extra after the lap. An XP award of 120 can fill a 100-point bar and put 20 into the next level.",
"semantics": "Keep the amount past the consuming limit and apply it in the same direction after the lap movement. The mechanism text defines the sequence (see its numbered steps and its paragraph Lap loop)."
},
"drop-it": {
"meaning": "Drop the extra after the lap. A 120-point stagger hit fills one 100-point meter, and the remaining 20 are dropped.",
"semantics": "Drop the leftover after one lap and do not report it (see the numbered steps and the paragraph Lap loop of the mechanism text)."
}
}
},
"more-than-one-lap": {
"asks": "After a lap, the extra can reach the same limit again. Can one change cause more than one lap?",
"when": {
"any": [
{
"flag": {
"at-the-ceiling": [
"start-a-lap"
]
}
},
{
"flag": {
"at-the-floor": [
"start-a-lap"
]
}
}
]
},
"otherwise": "Neither limit starts this value over, so one change cannot lap it.",
"options": {
"lap-again-while-it-fits": {
"meaning": "Start over again while enough extra remains. A 250-point XP award can report two levels on a 100-point bar.",
"semantics": "Repeat while carried leftover reaches the limit, up to the cap of 32 laps in the paragraph Lap loop of the mechanism text. This requires carrying the extra."
},
"one-lap-per-change": {
"meaning": "Allow at most one lap from each change. A 250-point combo gain reports one lap even if more would fit.",
"semantics": "The originating change causes at most one lap (see the numbered steps and the paragraph Lap loop of the mechanism text)."
}
}
},
"a-lap-clears-saved-fraction": {
"asks": "Does a lap clear any saved fraction?",
"when": {
"any": [
{
"flag": {
"small-change": [
"save-the-fraction"
],
"at-the-ceiling": [
"start-a-lap"
]
}
},
{
"flag": {
"small-change": [
"save-the-fraction"
],
"at-the-floor": [
"start-a-lap"
]
}
}
]
},
"otherwise": "No lap can clear saved fractions; either this value does not lap or it does not save fractions.",
"options": {
"clear-it": {
"meaning": "Clear the saved fraction after every lap. Breaking a stagger meter removes the 0.4 poise that was saved.",
"semantics": "A lap clears the saved fraction."
},
"keep-it": {
"meaning": "Keep the saved fraction across a lap. Leveling up keeps the 0.4 XP that was saved.",
"semantics": "A lap leaves the signed saved-fraction store unchanged."
}
}
},
"not-enough-room": {
"asks": "This value cannot pay the full cost of an action, because not enough room is left before the limit. What happens?",
"when": {
"row-count": {
"costs": "non-empty"
}
},
"otherwise": "No cost checks this value before changing it; every change simply happens, and bands and limits still apply.",
"options": {
"refuse-the-action": {
"meaning": "Refuse the action and spend nothing. A tired player cannot dodge without the full stamina cost.",
"semantics": "Report refusal and shortage to the caller. Leave the value, saved fraction, and every mark unchanged."
},
"take-what-fits": {
"meaning": "Spend what remains and report the amount paid. A tired player can use the last stamina for a weaker dodge.",
"semantics": "Move to the limit in the direction of the cost, test marks normally, and report the approved positive magnitude. The game's rule decides the partial action."
}
}
},
"drifts-together": {
"asks": "A drift is a change that happens with nobody acting. Two or more drifts can run in the same step. How do they combine?",
"when": {
"row-count": {
"drifts": "at-least-two"
}
},
"otherwise": "Fewer than two drifts can run together, so no combination choice applies.",
"options": {
"add-them-up": {
"meaning": "Add the drifts' signed amounts and move once. Oxygen drain of 3 and recovery of 1 produce one loss of 2.",
"semantics": "Clip each eligible contribution to its own stop, sum the clipped amounts, resolve small-change once, and test marks once."
},
"only-the-largest": {
"meaning": "Run only the largest drift. With health regeneration of 4 and poison damage of 2, only the regeneration runs in that step.",
"semantics": "Compare clipped absolute magnitudes; row order decides a tie. A skipped drift whose amount grows while it runs does not advance its growth for that step."
},
"in-row-order": {
"meaning": "Run each drift in written order. Poison can damage health before regeneration heals it in the same step.",
"semantics": "Settle every eligible row separately in row order. Each row follows the numbered steps of the mechanism text from step 1 to step 8."
}
}
},
"lines-read": {
"asks": "A change would pass a limit. Are marks tested against the number before the limit is applied, or against the number that the value keeps?",
"when": {
"any": [
{
"row-count": {
"lines": "non-empty"
}
},
{
"row-count": {
"bands": "non-empty"
}
}
]
},
"otherwise": "No line or band exists, so nothing reads a result beyond a limit.",
"options": {
"the-final-value": {
"meaning": "Marks are tested against the number that the value keeps. A hit aimed at −20 leaves health at 0, so warnings are tested against 0.",
"semantics": "The outward part of the move tests its stored endpoint, or the consuming limit on a lap. It never tests beyond a limit."
},
"the-raw-result": {
"meaning": "Marks are tested against the number before the limit is applied. A hit aimed at −20 lets health warnings be tested against −20 before health returns to 0.",
"semantics": "The outward part of the move tests the raw candidate. It may observe a number the value never stores. A refused change has no observable raw result."
}
}
}
},
"declares": {
"values": {
"min": {
"description": "This value's marked bottom. Keep it even when the value may fall lower.",
"forms": [
"number",
"citation"
]
},
"max": {
"description": "This value's marked top. Keep it even when the value may rise higher.",
"forms": [
"number",
"citation"
]
},
"initial": {
"description": "The number that this value holds when it is created. When you point to a number in your game's rules instead, that number is read at creation. Later resets are listed separately.",
"forms": [
"number",
"citation"
]
},
"fraction-step": {
"description": "How much saved fraction releases one whole point.",
"when": {
"flag": {
"small-change": [
"save-the-fraction"
]
}
}
},
"anchor": {
"description": "The resting point a drift approaches from either side.",
"forms": [
"number",
"citation"
],
"when": {
"row-has": {
"drifts": {
"direction": [
"toward-the-anchor"
]
}
}
}
},
"lap-lands-on": {
"description": "Where the value lands during a lap.",
"forms": [
"number",
"citation"
],
"when": {
"any": [
{
"flag": {
"at-the-ceiling": [
"start-a-lap"
]
}
},
{
"flag": {
"at-the-floor": [
"start-a-lap"
]
}
}
]
}
},
"out-of-range-lands-on": {
"description": "Where the value lands when a moved limit leaves it outside the new range.",
"forms": [
"number",
"citation"
],
"when": {
"flag": {
"when-a-limit-moves": [
"pull-it-to-a-declared-number"
]
}
}
}
},
"rows": {
"reading-notes": {
"description": "List the part of your game's rules that a reader needs before relying on this adoption. Use at most one row.",
"when-empty": "No advance reading is required.",
"record": {
"read-first": {
"type": "citation",
"required": true,
"description": "Where your game's rules say what a reader needs first, such as which of a soft top and a hard top the game calls full."
}
}
},
"quantity-unit": {
"description": "Name the unit that your game uses for absolute numbers. Use at most one row.",
"when-empty": "This contract gives the quantity no named unit.",
"record": {
"unit": {
"type": "string",
"required": true,
"description": "The unit of every absolute number, whether you give the number or point to it, such as kg or XP. This contract neither interprets nor converts the unit."
}
}
},
"lines": {
"description": "List the named marks this value reports crossing.",
"when-empty": "No crossing is reported.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this mark in your game's words, such as low-health or full."
},
"value-kind": {
"type": "string",
"required": true,
"options": [
"number",
"citation"
],
"description": "Whether this mark uses a fixed number, or points to a number in your game's rules. When it points to a number, the mark moves when that number changes."
},
"value": {
"type": "number",
"when": {
"row": {
"value-kind": [
"number"
]
}
},
"description": "The fixed number where this mark sits."
},
"value-key": {
"type": "citation",
"when": {
"row": {
"value-kind": [
"citation"
]
}
},
"description": "Where your game's rules state the number of this mark. The number is read again at each comparison."
},
"line-unit": {
"type": "string",
"options": [
"number",
"share-of-the-ceiling"
],
"description": "Use a fixed number or a share of the marked top. A share is a part of the marked top, such as 0.25 for a quarter. The top is read again at each comparison. The resulting position can be between whole points. It is only compared and never stored. When this field is absent, number applies."
},
"direction": {
"type": "string",
"required": true,
"options": [
"rising",
"falling",
"both"
],
"description": "The direction of movement in which this mark reports a crossing."
},
"refire": {
"type": "string",
"required": true,
"options": [
"every-crossing",
"once",
"a-set-number-of-times"
],
"description": "How often this line reports: at every crossing, once per arm, or a fixed number of times per arm. To arm a line is to make it ready to report."
},
"times": {
"type": "integer",
"within": [
1,
2147483647
],
"when": {
"row": {
"refire": [
"a-set-number-of-times"
]
}
},
"description": "The positive whole number of reports allowed per arm."
},
"rearm": {
"type": "string",
"when": {
"row": {
"refire": [
"once",
"a-set-number-of-times"
]
}
},
"options": [
"on-reset",
"on-event",
"after-a-wait",
"never"
],
"description": "What re-arms this line. To re-arm a line is to make it ready to report again, with its full number of reports."
},
"rearm-declared-in": {
"type": "citation",
"when": {
"row": {
"rearm": [
"on-reset",
"on-event",
"after-a-wait"
]
}
},
"description": "Where your game's rules name the reset, event, or wait that re-arms this line."
},
"repeat": {
"type": "string",
"when": {
"row": {
"rearm": [
"after-a-wait"
]
}
},
"options": [
"restart-the-wait",
"keep-the-first-wait",
"add-to-the-wait"
],
"description": "Choose what another crossing does while the wait is running."
},
"counts-at-line": {
"type": "string",
"options": [
"at-the-line-counts",
"must-pass-the-line"
],
"description": "The default answer is the answer to exact-landing. Leave this field out to use the default answer, or choose another answer for this line."
},
"starts-armed": {
"type": "string",
"options": [
"armed",
"disarmed"
],
"description": "Whether this line starts able to report. When this field is absent, the line starts armed."
}
}
},
"sets": {
"description": "List each refill, direct assignment, or recomputed total. Use a set when lines and bands must be able to react to the movement.",
"when-empty": "Nothing sets the value directly; laps, resets and limit moves remain their own movements.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this set in your game's words, such as surface-refill or inventory-total."
},
"mode": {
"type": "string",
"required": true,
"options": [
"set-to-target",
"recompute"
],
"description": "Use a named target or a rule's computed result."
},
"target-key": {
"type": "citation",
"required": true,
"description": "Where your game's rules state the target number or the rule that computes it."
},
"trigger-declared-in": {
"type": "citation",
"required": true,
"description": "Where your game's rules name the event or rule that offers this set."
},
"enabled-while": {
"type": "citation",
"description": "Where your game's rules state a condition that allows this set. This field is optional."
}
}
},
"bands": {
"description": "List named on-or-off states between marks, such as overheated or low-warning.",
"when-empty": "This value keeps no named state.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this state in your game's words, such as overheated or low-warning."
},
"enter-on": {
"type": "string",
"required": true,
"options": [
"line",
"event"
],
"description": "Whether a line or named event turns the state on."
},
"enter-value-kind": {
"type": "string",
"when": {
"row": {
"enter-on": [
"line"
]
}
},
"options": [
"number",
"citation"
],
"description": "Whether the entering line uses a fixed number, or points to a number in your game's rules. When it points to a number, the line moves when that number changes."
},
"enter-value": {
"type": "number",
"when": {
"row": {
"enter-value-kind": [
"number"
]
}
},
"description": "The fixed number of the entering line."
},
"enter-value-key": {
"type": "citation",
"when": {
"row": {
"enter-value-kind": [
"citation"
]
}
},
"description": "Where your game's rules state the number of the entering line. The number is read again at each comparison."
},
"enter-unit": {
"type": "string",
"when": {
"row": {
"enter-on": [
"line"
]
}
},
"options": [
"number",
"share-of-the-ceiling"
],
"description": "Use a fixed number or a share of the marked top. A share is a part of the marked top, such as 0.25 for a quarter. The top is read again at each comparison. The resulting position can be between whole points. It is only compared and never stored."
},
"enter-direction": {
"type": "string",
"when": {
"row": {
"enter-on": [
"line"
]
}
},
"options": [
"rising",
"falling"
],
"description": "The direction that turns the state on."
},
"enter-declared-in": {
"type": "citation",
"when": {
"row": {
"enter-on": [
"event"
]
}
},
"description": "Where your game's rules name the event that turns the state on."
},
"leave-on": {
"type": "string",
"required": true,
"options": [
"line",
"event",
"after-a-wait"
],
"description": "Whether a line, event, or wait turns the state off."
},
"leave-value-kind": {
"type": "string",
"when": {
"row": {
"leave-on": [
"line"
]
}
},
"options": [
"number",
"citation"
],
"description": "Whether the leaving line uses a fixed number, or points to a number in your game's rules. When it points to a number, the line moves when that number changes."
},
"leave-value": {
"type": "number",
"when": {
"row": {
"leave-value-kind": [
"number"
]
}
},
"description": "The fixed number of the leaving line."
},
"leave-value-key": {
"type": "citation",
"when": {
"row": {
"leave-value-kind": [
"citation"
]
}
},
"description": "Where your game's rules state the number of the leaving line. The number is read again at each comparison."
},
"leave-unit": {
"type": "string",
"when": {
"row": {
"leave-on": [
"line"
]
}
},
"options": [
"number",
"share-of-the-ceiling"
],
"description": "Use a fixed number or a share of the marked top. A share is a part of the marked top, such as 0.25 for a quarter. The top is read again at each comparison. The resulting position can be between whole points. It is only compared and never stored."
},
"leave-direction": {
"type": "string",
"when": {
"row": {
"leave-on": [
"line"
]
}
},
"options": [
"rising",
"falling"
],
"description": "The direction that turns the state off."
},
"leave-declared-in": {
"type": "citation",
"when": {
"row": {
"leave-on": [
"event",
"after-a-wait"
]
}
},
"description": "Where your game's rules name the event that turns the state off, or state the length of the wait."
},
"repeat": {
"type": "string",
"when": {
"row": {
"leave-on": [
"after-a-wait"
]
}
},
"options": [
"restart-the-wait",
"keep-the-first-wait",
"add-to-the-wait"
],
"description": "Choose what another entry does while the wait is running."
},
"starts": {
"type": "string",
"required": true,
"options": [
"in",
"out",
"read-from-initial"
],
"description": "Whether this state starts on (in), starts off (out), or is read from the starting value (read-from-initial)."
},
"blocks-change": {
"type": "string",
"options": [
"none",
"blocks-rises",
"blocks-falls",
"blocks-all"
],
"description": "Which incoming plain changes, costs, or drifts are blocked while this state is on. When this field is absent, none applies."
},
"counts-at-line": {
"type": "string",
"options": [
"at-the-line-counts",
"must-pass-the-line"
],
"description": "The default answer is the answer to exact-landing. Leave this field out to use the default answer, or choose another answer for the line edges of this state."
}
}
},
"costs": {
"description": "List each action that checks whether this value can pay before it changes.",
"when-empty": "No action checks this value before it changes; every change simply happens, and bands and limits still apply.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this cost in your game's words, such as dodge or cast-spell."
},
"direction": {
"type": "string",
"required": true,
"options": [
"rising",
"falling"
],
"description": "Whether paying moves the value toward the top or toward the bottom."
},
"amount-key": {
"type": "citation",
"required": true,
"description": "Where your game's rules state the cost. The cost is not negative."
},
"action-declared-in": {
"type": "citation",
"required": true,
"description": "Where your game's rules name the action that receives the reports of refusal, shortage, or amount paid."
},
"answer": {
"type": "string",
"options": [
"refuse-the-action",
"take-what-fits"
],
"description": "The default answer is the answer to not-enough-room. Leave this field out to use the default answer, or choose another answer for this action."
}
}
},
"drifts": {
"description": "List each drift, such as draining, recovery, or cooling.",
"when-empty": "This value never changes on its own.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this drift in your game's words, such as recovery or cooling."
},
"direction": {
"type": "string",
"required": true,
"options": [
"rises",
"falls",
"toward-the-anchor"
],
"description": "Whether the value moves upward, downward, or toward the shared resting point."
},
"cadence": {
"type": "string",
"required": true,
"options": [
"per-game-step",
"per-real-second",
"per-turn",
"at-a-named-moment"
],
"description": "Choose when one contribution is made."
},
"moment-declared-in": {
"type": "citation",
"when": {
"row": {
"cadence": [
"at-a-named-moment"
]
}
},
"description": "Where your game's rules name the moment."
},
"step-amount-key": {
"type": "citation",
"required": true,
"description": "Where your game's rules state the amount for each occurrence. The amount is positive."
},
"amount-kind": {
"type": "string",
"required": true,
"options": [
"fixed",
"depends-on-state",
"grows-while-it-runs"
],
"description": "Whether the amount stays fixed, depends on state, or grows while the drift runs."
},
"amount-declared-in": {
"type": "citation",
"when": {
"row": {
"amount-kind": [
"depends-on-state",
"grows-while-it-runs"
]
}
},
"description": "Where your game's rules state how the amount depends on state, or how it grows."
},
"stops-at-key": {
"type": "citation",
"required": true,
"description": "Where your game's rules state the number at which this drift stops."
},
"at-stop": {
"type": "string",
"required": true,
"options": [
"lands-exactly",
"overshoots-then-returns"
],
"description": "Whether the value lands exactly on the stop, or passes the stop for a short time and then returns. The value passes the stop only when this drift runs alone."
}
}
},
"interrupts": {
"description": "List the conditions and pauses that control a drift. Every row for one drift must allow it before it runs.",
"when-empty": "No listed condition or pause controls a drift.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this interruption in your game's words, such as after-a-hit or only-underwater."
},
"drift": {
"type": "string",
"required": true,
"description": "Name the drift this row controls."
},
"kind": {
"type": "string",
"required": true,
"options": [
"off-while-condition",
"runs-only-while-condition",
"paused-after-event"
],
"description": "Whether the drift stays off during a condition, runs only during a condition, or pauses after an event."
},
"condition-declared-in": {
"type": "citation",
"when": {
"row": {
"kind": [
"off-while-condition",
"runs-only-while-condition"
]
}
},
"description": "Where your game's rules state the condition. For a condition that is a named state of this value, such as a band, cite the chapter section that states it."
},
"event-declared-in": {
"type": "citation",
"when": {
"row": {
"kind": [
"paused-after-event"
]
}
},
"description": "Where your game's rules name the event that starts the pause."
},
"pause-length-key": {
"type": "citation",
"when": {
"row": {
"kind": [
"paused-after-event"
]
}
},
"description": "Where your game's rules state the length of the pause."
},
"pause-length-kind": {
"type": "string",
"when": {
"row": {
"kind": [
"paused-after-event"
]
}
},
"options": [
"fixed",
"depends-on-state"
],
"description": "Whether the length of the pause stays fixed or depends on state."
},
"pause-length-declared-in": {
"type": "citation",
"when": {
"row": {
"pause-length-kind": [
"depends-on-state"
]
}
},
"description": "Where your game's rules state how the length of the pause depends on state."
},
"repeat-event": {
"type": "string",
"when": {
"row": {
"kind": [
"paused-after-event"
]
}
},
"options": [
"restart-the-wait",
"keep-the-first-wait",
"add-to-the-wait"
],
"description": "Choose what another event does while the pause is running."
}
}
},
"resets": {
"description": "List named moments that put this value back, such as respawn, a new day, or turn start. Use a reset when this return must never make a report.",
"when-empty": "Only creation applies the starting value.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A short name for this reset moment in your game's words, such as respawn or new-day."
},
"happens-at": {
"type": "citation",
"required": true,
"description": "Where your game's rules name the moment."
},
"sets-value-to-key": {
"type": "citation",
"description": "Where your game's rules state the number that this reset stores. When this field is absent, the reset stores the starting value. When the starting value points to a number in your game's rules, the reset stores the number that was read at creation."
},
"clears-saved-fraction": {
"type": "string",
"when": {
"flag": {
"small-change": [
"save-the-fraction"
]
}
},
"options": [
"yes",
"no"
],
"description": "Whether this reset clears the saved fraction."
},
"re-arms-lines": {
"type": "string",
"required": true,
"options": [
"yes",
"no"
],
"description": "Whether this reset re-arms every line whose rearm-declared-in points to this reset's moment."
},
"resets-bands": {
"type": "string",
"options": [
"return-to-starts",
"recompute-from-target",
"keep"
],
"description": "Choose what the named states do at this reset. With return-to-starts, every named state goes back to its declared start. With recompute-from-target, every named state that has a line at both ends is worked out again from the reset target, and every other named state keeps its state. With keep, every named state keeps its state. None of the three answers makes a report. When this field is absent, keep applies."
}
}
}
}
},
"rules": {
"range-nonempty": "max > min",
"initial-not-below-min": "initial >= min",
"initial-not-above-max": "initial <= max",
"fraction-step-positive": "fraction-step > 0",
"anchor-not-below-min": "anchor >= min",
"anchor-not-above-max": "anchor <= max",
"lap-lands-not-below-min": "lap-lands-on >= min",
"lap-lands-not-above-max": "lap-lands-on <= max",
"out-of-range-lands-not-below-min": "out-of-range-lands-on >= min",
"out-of-range-lands-not-above-max": "out-of-range-lands-on <= max",
"share-needs-two-walls": {
"forbid": {
"any": [
{
"flag": {
"when-a-limit-moves": [
"keep-the-share"
],
"at-the-ceiling": [
"no-ceiling"
]
}
},
{
"flag": {
"when-a-limit-moves": [
"keep-the-share"
],
"at-the-floor": [
"no-floor"
]
}
}
]
},
"message": "The answer keep-the-share needs a bottom and a top that the value cannot pass. Change the answer no-ceiling or no-floor, or choose another answer to when-a-limit-moves."
},
"moving-refill-cannot-lap": {
"forbid": {
"any": [
{
"flag": {
"when-a-limit-moves": [
"refill-to-the-new-ceiling"
],
"at-the-ceiling": [
"start-a-lap"
]
}
},
{
"flag": {
"when-a-limit-moves": [
"refill-to-the-new-ceiling"
],
"at-the-floor": [
"start-a-lap"
]
}
}
]
},
"message": "The answer refill-to-the-new-ceiling can put the value exactly on a limit whose answer is start-a-lap. A moving limit never starts a lap. Change one of these two answers."
},
"another-lap-needs-extra": {
"forbid": {
"flag": {
"more-than-one-lap": [
"lap-again-while-it-fits"
],
"the-extra-after-a-lap": [
"drop-it"
]
}
},
"message": "The answer lap-again-while-it-fits needs the extra that remains after the first lap. Choose carry-it-onto-the-new-value, or choose one-lap-per-change."
}
},
"pack": "sha256:7a5cc40f34b4ff0c89b9c577964f8b396f1b04ec8003ca286c73a5f3ffdf5fc1",
"origin": "https://opengdd.org/contracts/ranged-value-2",
"mechanism": [
"This text decides the order of the steps for a plain change, a cost, a set, a drift, a lap movement, a limit move, and a reset. The questions and rows supply choices and cited game rules. They do not change the order.",
"An **operation** is one change that this contract settles from start to finish: a plain change, cost, set, drift step or composed drift batch, lap movement, limit move, or reset. An **imposed change** is a plain change that happens without checking whether the value can pay it. **Residue** is the signed fraction saved for later. A **mark** is a line or one edge of a band. A **bare line** is a line that is not an edge of a band. A **leg** is one visible stretch of movement with its own start and end. A **consuming limit** is a limit whose answer is `start-a-lap`. An operation **consumes** that limit when it starts a lap there. The **leftover** is the amount of the change that is past the consuming limit. Each operation has an id supplied by its row or cited game rule and settles fully before the next begins. A lap sequence's outward, lap, and leftover legs retain their originating operation id; leg position and lap count distinguish their reports.",
"A band is **line-geometry** only when both its edges are lines. A band with any event or wait edge is **event-edged**. An event-edged band keeps its state under every silent recompute (a set, a reset, or a limit move). A reset's explicit `return-to-starts` is a restore, not a recompute, and applies to every band.",
"1. **Block.** If an active band blocks the operation's direction and the operation is an imposed change, cost, or drift, discard it. Report `blocked` to its source; a drift records the block but has no receiver. Stop this operation. Remove a blocked drift before several drifts combine. Blocks never stop sets, resets, limit moves, or lap movements.",
"2. **Resolve provisionally.** Fractional handling computes a provisional movement and new residue without committing either. A whole change leaves residue untouched. An absolute repositioning computes its destination and applies its own clearing rule; it does not pass through `small-change`.",
"3. **Check capacity for a cost.** Compare provisional movement with the room toward the named limit. Refusal discards movement and residue together. `take-what-fits` recomputes both from the approved amount and never keeps a fraction from the refused part.",
"4. **Find the raw candidate.** A change adds provisional movement to the held value. A set uses its accepted or clamped stored target. A lap movement, limit move, or reset uses its own absolute destination.",
"5. **Apply the limit.** A raw candidate strictly past a limit uses that limit's answer. Exact landing is ordinary unless `start-a-lap` applies, in which case `exact-landing` decides whether it consumes the limit. Refusing the whole change discards provisional movement and residue, leaves the store untouched, reports refusal, and stops. Sets, resets, and limit moves use their own target rules. Drifts use the clipping exception below.",
"6. **Commit.** Store the final value and new residue together. No partly settled state is visible.",
"7. **Test marks for each leg.** The outward leg ends at the final value or consuming limit. A lap then has a lap leg, followed by each carried leftover as a new lap operation returning to step 1. Test lines and band edges on every leg. Recompute reached state from each stored endpoint in both directions; only a false-to-true transition in the row's direction reports. A `both` line keeps one reached state per direction. With raw reading, only the outward leg tests the raw candidate; lap and leftover legs test stored values. At a consuming limit, report outward marks, including a line on the limit, then the lap, then lap-leg marks. Apply `jumped-lines` separately to every leg.",
"8. **Report.** Every report carries before, after, direction, leg position, and operation id. A crossing or band transition also carries its row id. A lap carries its count. `lap-cap-reached` carries committed state. Returned extra carries its amount. A cost or block carries refusal, shortage, approved amount, or `blocked` as applicable. Raw-reading reports use the tested raw candidate as `after`; other reports use the stored endpoint. Direction is `rising`, `falling`, or `unchanged`.",
"Every comparison reads the stored value at full precision, never a rounded display number. Every cited limit, mark and stop is read again at each comparison. Creation is not a movement or report. At creation, line and band-edge reached state is stored without reporting; lines use their declared arm state, and bands use their declared starting state. A share mark sits at the declared share multiplied by the value at `max`, read again at that comparison; that position may be fractional and is compared, never stored. A line-geometry band that answers `read-from-initial` starts in exactly when the initial value sits on the reached side of its entering edge and not on the reached side of its leaving edge, each side read per that edge's declared direction, with an exact landing counted as this value's `exact-landing` answer or the row's `counts-at-line` override directs. An event-edged band that answers `read-from-initial` starts out. A silent recompute of a line-geometry band's state (a set, a limit move, or `recompute-from-target`) applies the same two-sided test against the value it recomputes from.",
"**Lap loop.** A single originating operation may settle at most 32 laps. Before lap 33, refuse the continuation, report `lap-cap-reached`, drop the remaining leftover, and keep the state committed by lap 32. A statically provable repeated lap state is a package error, but the runtime cap remains the termination guard. After each lap report, re-read either cited limit and check the lap target against the re-read range. If a limit moved, apply the limit-move ruling below; any `limit-moved` band report occurs before the lap leg. A limit move never repositions the value during this loop. Under `clear-it`, a lap clears the saved fraction after the consuming movement and before carried leftover is applied. Under `one-lap-per-change`, a second reach of the same consuming limit is stored without consuming and the amount past that limit is dropped.",
"**Drift clipping.** A rising drift is eligible only below its stop; a falling drift only above it; a drift toward the anchor uses the matching test for its current direction. Clip each contribution to its stop before combining drifts. `overshoots-then-returns` is observable only when that row settles alone: its raw path may expose the overshoot, then a silent correction stores the stop, reports no mark, and recomputes reached state from the stored stop. A drift reaching a consuming limit clips there without consuming it.",
"**Sets.** A set has no raw result. Marks see only a successful stored outcome. Clamping a target stores the nearer limit; raw reading never sees the target outside the range. A successful set clears residue. A refused set does not.",
"**Resets.** A reset stores its target, recomputes and stores every line's reached state from that target, and applies its arm, band, and fraction choices silently. Band state follows the row's `resets-bands` answer, not an automatic recompute. For a band that answers `read-from-initial`, `return-to-starts` restores the state stored at creation. A reset reports no crossing.",
"**Limit moves.** A moving limit never fires a bare line. After the limit and any resulting current-value change settle, recompute and store every line's reached state and every line-geometry band's state against the new positions. Event-edged bands keep their state. A line-geometry band that enters or leaves this way reports the state change with cause `limit-moved`; a bare line reports nothing. The saved fraction is not cleared. A limit move that lands the value exactly on a consuming limit does not consume it.",
"**Continuous drift.** A `per-real-second` drift accrues continuously. Each settlement contributes its rate multiplied by elapsed cited-clock time, and fractional accrual passes through `small-change`.",
"Sets, resets, and limit moves at one moment settle in the order in which the citing game rules trigger them. A game rule that triggers several at once must state their order.",
"**Share-preserving limit moves.** `keep-the-share` is one absolute repositioning. A whole-number target rounds to nearest, with ties away from zero. Residue is unchanged.",
"A band has no address of its own. Where this adoption's own game asks for a condition that is a band, cite the Fixed chapter section that states the band. Another adoption cannot cite a band."
],
"answers": {
"number-kind": "fractional",
"exact-landing": "at-the-line-counts",
"at-the-ceiling": "stop-at-the-ceiling",
"at-the-floor": "stop-at-the-floor",
"jumped-lines": "all-in-order",
"a-set-outside-the-range": "pull-it-to-the-nearer-limit",
"does-a-set-fire-lines": "treat-it-as-a-change",
"lines-read": "the-final-value"
},
"values": {
"min": 0,
"max": 100,
"initial": 100
},
"rows": {
"lines": [
{
"id": "breath-low",
"value-kind": "number",
"value": 30,
"direction": "both",
"refire": "every-crossing"
},
{
"id": "breath-critical",
"value-kind": "number",
"value": 10,
"direction": "both",
"refire": "every-crossing"
},
{
"id": "breath-empty",
"value-kind": "number",
"value": 0,
"direction": "both",
"refire": "every-crossing"
}
],
"sets": [
{
"id": "surface-refill",
"mode": "set-to-target",
"target-key": "contracts.oxygen.max",
"trigger-declared-in": "02-mechanics.md#player-surfaced"
}
],
"drifts": [
{
"id": "breath-drain",
"direction": "falls",
"cadence": "per-real-second",
"step-amount-key": "tuning.oxygen.drain",
"amount-kind": "fixed",
"stops-at-key": "contracts.oxygen.min",
"at-stop": "lands-exactly"
}
],
"interrupts": [
{
"id": "only-underwater",
"drift": "breath-drain",
"kind": "off-while-condition",
"condition-declared-in": "02-mechanics.md#player-not-submerged"
}
],
"reading-notes": [],
"quantity-unit": [],
"bands": [],
"costs": [],
"resets": []
}
}