Pumpkin growth window
pumpkin-growth-window · an adoption of Suspension and catch-up, version 1
Use in your game
Opens the authoring tool with these answers and settings already filled in. You still add your game's own rules and tuning.
What is in the ZIP
The ZIP holds the adoption and its acceptance tests. In the authoring tool, choose Add contract and pick this ZIP. If you keep your design as files, put them in contracts/.
The contract behind it
Covers state that pauses, catches up, or continues while a game is closed or in the background. It also covers return rewards, calendar crossings, clock changes, and what appears before play resumes. Normal rates, timer rules, inventory capacity, save lifetime, and replay guarantees stay elsewhere.
Questions
The supplied answer is marked on each question. Pick other answers to see what changes. Nothing is saved here: the ZIP and the authoring tool use the supplied answers.
What happens while the game stays open in the background?
Why this is asked
An open game may use away handling, keep playing, or stay still until it closes. The same time must never count twice.
What appears before ordinary play resumes?
Why this is asked
Changed state may speak for itself, animate before play, or appear in a return summary.
Can the player change the clock that measures time away?
- Asked when
- the clock list has at least one row.
- If not asked
- No clock row exists, so this adoption measures no elapsed suspension time.
Why this is asked
The player can move a device clock through settings. A protected clock stays outside those settings, though the service behind it can correct it.
If the player moves the device clock backward, which state does the game keep?
- Asked when
- Clock source is Device clock.
- If not asked
- No device clock is read, either because no clock row exists or because the clock is protected, so no rollback anchor is selected. A protected-clock resync may still move its reading backward; the lifecycle then keeps the loaded state.
Why this is asked
Zero elapsed time does not say which saved state survives a backward clock. The anchor prevents duplicate or reversed gains.
Does the game explain the backward clock result?
- Asked when
- Clock source is Device clock.
- If not asked
- No device clock is read, either because no clock row exists or because the clock is protected, so no player-caused clock-change notice is selected. A protected-clock resync may still produce zero elapsed time.
Why this is asked
The same backward-clock outcome can be silent or visible to the player.
Several calendar boundaries passed while the game was away. Which ones count on return?
- Asked when
- the calendar boundaries list has at least one row.
- If not asked
- No calendar boundary is tracked, so return settlement creates no calendar crossing.
Why this is asked
A daily or weekly rule may run for every crossing, only the latest one, or one combined return event.
Numbersno numbers
This contract has no numbers to set.
Rulesno rules
A rule is a check between the numbers. Validation reports a rule that fails.
This contract has no rules between its numbers.
Lists8 lists
Each list holds the rows this adoption supplies. A list can be empty.
Clock
clock
| Id | Clock declared in |
|---|---|
world-time | time.world-time |
Fixed items
fixed-items
This adoption declares no fixed items.
Catch up items
catch-up-items
| Id | State declared in | Away amount | Amount rule declared in | Catch up fidelity | Fidelity rule declared in | Away limit | Limit rule declared in |
|---|---|---|---|---|---|---|---|
pumpkin-growth | contracts.pumpkin-growth-window | same-as-playing | — | every-missed-update | — | whole-interval | — |
Continuous items
continuous-items
This adoption declares no continuous items.
Choice items
choice-items
This adoption declares no choice items.
Return rewards
return-rewards
This adoption declares no return rewards.
Calendar boundaries
calendar-boundaries
This adoption declares no calendar boundaries.
Rollback rules
rollback-rules
This adoption declares no rollback rules.
Test inputsscope and seeds
Some tests need a scope or seeds from the adoption before they can run.
This adoption supplies none; every test uses its defaults.
Acceptance tests27 tests apply
The contract comes with 80 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.
suspension-interval-boundaries
a suspension interval has one beginning and one return
Applies to pumpkin-growth-window.
A suspension interval begins once, at closure only, since the open-background interval is held, and ends once at return processing, at the return clock reading where a clock row exists. The interval contains no time outside those boundaries.
Test steps and diagnostics
- Given
a covered close-and-return cycle after the selected background handling
- When
- the lifecycle records the interval boundaries
- Then
- the suspension interval begins once, at closure only, since the open-background interval is held, and ends once at return processing, at the return clock reading where a clock row exists
- no time before its beginning or after its end enters that interval
- Diagnostics
pumpkin-growth-window-suspension-interval
suspension-snapshot-vocabulary
the suspension snapshot is one coherent starting state
Applies to pumpkin-growth-window.
The suspension snapshot is one coherent starting state for every in-scope local item. Where this adoption has a clock row, the starting reading is captured in the same batch; without one, that clause asserts nothing.
Test steps and diagnostics
- Given
distinguishable values for every in-scope local item when a suspension interval begins
- When
- the suspension snapshot is captured
- Then
- the snapshot contains the same-instant starting value of every in-scope local item
- where a clock row exists, its starting reading belongs to the same snapshot batch; without a clock row, the reading clause asserts nothing
- Diagnostics
pumpkin-growth-window-suspension-snapshot
pending-reward-vocabulary-and-expiry
Row.id stays pending until acceptance or expiry
Does not apply to pumpkin-growth-window: return-rewards has no rows.
expiry-deadline-enforced
Row.id is removed when its cited deadline expires
Does not apply to pumpkin-growth-window: return-rewards has no rows.
background-counts-as-away
background time begins the suspension interval
Does not apply to pumpkin-growth-window: while in the background is waits until closed, not counts as away.
background-keeps-playing
background time stays on the ordinary update path
Does not apply to pumpkin-growth-window: while in the background is waits until closed, not keeps playing.
background-waits-until-closed
background state waits until closure
Applies to pumpkin-growth-window.
The open-background interval receives neither ordinary updates nor catch-up. Covered state stays unchanged until closure begins the suspension interval.
Test steps and diagnostics
- Given
the game open in the background with distinguishable covered state
- When
- a background interval passes, the game returns to the foreground, and a later closure occurs
- Then
- the open-background interval receives neither ordinary updates nor catch-up
- the covered state stays unchanged until closure begins the suspension interval
- Diagnostics
pumpkin-growth-window-background-update-tracepumpkin-growth-window-suspension-snapshot
closure-captures-one-snapshot
closure begins an interval and captures one snapshot
Applies to pumpkin-growth-window.
Closing always begins a suspension interval. One coherent suspension snapshot is captured before covered local state can change, and the same time never follows two paths.
Test steps and diagnostics
- Given
a game closure with distinguishable covered state
- When
- closure begins a suspension interval
- Then
- one coherent suspension snapshot is captured before any covered local state can change
- the same time is never applied by two lifecycle paths
- Diagnostics
pumpkin-growth-window-suspension-snapshotpumpkin-growth-window-suspension-interval
clock-starting-reading · world-time
world-time starts at the higher available reading
Applies to the world-time row.
world-time is read in the suspension snapshot batch from time.world-time. The interval starts at the higher of that reading and the committed anchor, so time below the anchor is never replayed.
Test steps and diagnostics
- Given
a committed anchor and a starting reading supplied by
time.world-time- When
- the suspension snapshot and starting reading are captured in one batch
- Then
- the interval starts from the higher of the sampled reading and the committed anchor
- time below the committed anchor is never replayed
- Diagnostics
pumpkin-growth-window-clock-readingspumpkin-growth-window-suspension-snapshot
fixed-item-held-at-snapshot
Row.id stays at its suspension snapshot state
Does not apply to pumpkin-growth-window: fixed-items has no rows.
catch-up-item-held-at-snapshot · pumpkin-growth
pumpkin-growth waits at its suspension snapshot state
Applies to the pumpkin-growth row.
pumpkin-growth remains at its suspension snapshot state while away. Local catch-up does not appear before return settlement.
Test steps and diagnostics
- Given
pumpkin-growthat a distinguishable state when suspension begins- When
- the suspension interval is still away
- Then
pumpkin-growthremains at its suspension snapshot state and shows no local catch-up advance
- Diagnostics
pumpkin-growth-window-suspension-snapshotpumpkin-growth-window-catch-up-trace
choice-item-resolves-selection
Row.id resolves its cited selection
Does not apply to pumpkin-growth-window: choice-items has no rows.
continuous-item-stays-with-authority
Row.id stays under its cited authority
Does not apply to pumpkin-growth-window: continuous-items has no rows.
catch-up-waits-for-return · pumpkin-growth
pumpkin-growth records reach and settles only on return
Applies to the pumpkin-growth row.
While ordinary updates are stopped, pumpkin-growth shows no visible local advance. The interval records reach only, and settlement waits for return.
Test steps and diagnostics
- Given
ordinary updates stopped with
pumpkin-growthat its suspension snapshot state- When
- the suspension interval advances and then return processing begins
- Then
- the away interval records clock reach only and shows no visible local advance
pumpkin-growthbegins settlement only during return processing
- Diagnostics
pumpkin-growth-window-clock-readingspumpkin-growth-window-catch-up-trace
continuous-item-is-not-predicted
Row.id is neither predicted nor duplicated locally
Does not apply to pumpkin-growth-window: continuous-items has no rows.
calendar-crossings-wait-for-return
Row.id crossings are discovered before settlement
Does not apply to pumpkin-growth-window: calendar-boundaries has no rows.
no-clock-return-path
the no-clock return path continues from fixed state
Applies to pumpkin-growth-window.
Without a clock row, this adoption measures no elapsed time, performs no local catch-up, creates no calendar crossing, and continues from unchanged fixed state at step 12. Where a clock row exists, this test asserts nothing.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption document and a return from suspension- When
- return processing checks whether a clock row exists
- Then
- without a clock row, this adoption measures no elapsed time, performs no local catch-up, creates no calendar crossing, and continues from unchanged fixed state at step 12
- where a clock row exists, this test asserts nothing
- Diagnostics
pumpkin-growth-window-return-timelinepumpkin-growth-window-fixed-state-trace
no-calendar-row-creates-no-crossing
the no-calendar path creates no crossing
Applies to pumpkin-growth-window.
Without a calendar-boundaries row, return settlement creates no calendar crossing. Where a row exists, this test asserts nothing.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption document and a return from suspension- When
- return processing checks whether a calendar-boundaries row exists
- Then
- without a calendar-boundaries row, return settlement creates no calendar crossing
- where a calendar-boundaries row exists, this test asserts nothing
- Diagnostics
pumpkin-growth-window-calendar-reportpumpkin-growth-window-return-timeline
protected-clock-return-paths · world-time
world-time accepts forward time and skips negative time
Applies to the world-time row.
A non-negative world-time interval uses the suspension snapshot and elapsed difference. A negative protected-clock interval keeps the loaded state, records zero elapsed time, skips steps 9 to 11, and creates no return reward. Device settings do not control this reading, so no rollback anchor or player-caused clock-change notice is selected.
Test steps and diagnostics
- Given
two returns using
world-time, one with a non-negative difference and one after a protected-clock resync produces a negative difference- When
- the return reading is sampled once in each run
- Then
- the non-negative run uses the suspension snapshot and the elapsed difference and proceeds through steps 9 to 11
- the negative run keeps the loaded state, records zero elapsed time, skips steps 9 to 11, and creates no return reward
- changing device settings does not change the reading supplied by this protected clock
- no rollback anchor or player-caused clock-change notice is selected; the protected-clock resync branch keeps the loaded state
- Diagnostics
pumpkin-growth-window-clock-readingspumpkin-growth-window-return-timelinepumpkin-growth-window-reward-report
device-clock-non-negative-return
Row.id uses the device-clock difference on an ordinary return
Does not apply to pumpkin-growth-window: clock source is protected clock, not device clock.
device-clock-restores-suspension-snapshot
Row.id restores the suspension snapshot after a backward reading
Does not apply to pumpkin-growth-window: clock source is protected clock, not device clock.
device-clock-restores-trusted-checkpoint
Row.id restores the trusted checkpoint after a backward reading
Does not apply to pumpkin-growth-window: clock source is protected clock, not device clock.
device-clock-keeps-return-state
Row.id keeps the loaded return state after a backward reading
Does not apply to pumpkin-growth-window: clock source is protected clock, not device clock.
backward-clock-notice-silent
a backward device clock adds no explanation
Does not apply to pumpkin-growth-window: backward clock notice is not asked for pumpkin-growth-window.
backward-clock-notice-explain
a backward device clock is explained before the return surface
Does not apply to pumpkin-growth-window: backward clock notice is not asked for pumpkin-growth-window.
rollback-reading-protects-next-anchor
Row.id supplies one state and matching trusted reading
Does not apply to pumpkin-growth-window: rollback-rules has no rows.
backward-return-anchor-is-monotonic
a backward return commits an anchor that cannot replay earlier time
Does not apply to pumpkin-growth-window: clock source is protected clock, not device clock.
non-negative-catch-up-settles · pumpkin-growth
pumpkin-growth settles an ordinary non-negative interval
Applies to the pumpkin-growth row.
A non-negative interval settles pumpkin-growth from the suspension snapshot and elapsed difference. The trace distinguishes this accepted interval from a skipped or zero-length one.
Test steps and diagnostics
- Given
pumpkin-growthat a distinguishable suspension snapshot state and a non-negative elapsed difference- When
- return processing builds this row's pass timeline
- Then
pumpkin-growthsettles from the suspension snapshot and elapsed difference- the return trace distinguishes this accepted interval from a skipped or zero-length interval
- Diagnostics
pumpkin-growth-window-return-timelinepumpkin-growth-window-catch-up-trace
whole-interval-limit · pumpkin-growth
pumpkin-growth admits the whole measured interval
Applies to the pumpkin-growth row.
pumpkin-growth admits the full measured interval before amount and fidelity are applied; return processing owns this limit itself; nothing is clipped and every missed update remains admitted.
Test steps and diagnostics
- Given
two non-negative measured intervals for
pumpkin-growth, one twice the length of the other- When
- return processing derives each admitted span
- Then
- each full measured interval is admitted before amount and fidelity are applied
- return processing owns this limit itself; nothing is clipped and every missed update remains admitted
- Diagnostics
pumpkin-growth-window-return-timelinepumpkin-growth-window-catch-up-report
time-limit
Row.id admits no time past its cited point
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-limit time limit.
less-after-a-point-limit
Row.id uses its later amount rule past the cited point
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-limit less after a point.
state-ceiling-limit
Row.id stops at its cited state ceiling
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-limit state ceiling.
same-as-playing-amount · pumpkin-growth
pumpkin-growth uses the ordinary amount for equal time
Applies to the pumpkin-growth row.
For equal elapsed time, pumpkin-growth uses the ordinary-play amount. Fidelity and limits remain separate decisions in the report.
Test steps and diagnostics
- Given
matching ordinary-play and admitted-away segments for
pumpkin-growthwith equal elapsed time and the same starting state- When
- the amount for each segment is computed before fidelity is applied
- Then
- both segments define the same ordinary amount
- fidelity and limits remain separate recorded decisions
- Diagnostics
pumpkin-growth-window-catch-up-report
reduced-amount
Row.id uses only its cited reduced amount rule
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-amount reduced.
away-rule-amount
Row.id uses only its cited away amount rule
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-amount away rule.
every-missed-update-fidelity · pumpkin-growth
pumpkin-growth clips each segment by its limit, where one applies
Applies to the pumpkin-growth row.
For pumpkin-growth, where the row's limit bites, the lifecycle clips each segment by it and then feeds only the remaining missed updates to the game rules. Where the limit is whole-interval, nothing is clipped and every missed update is fed to the game rules.
Test steps and diagnostics
- Given
a pass for
pumpkin-growthwith distinguishable segment edges- When
- the lifecycle hands each segment to settlement
- Then
- where the row's limit bites, the lifecycle clips the segment by it before feeding only the remaining missed updates to the game rules
- where the limit is whole-interval, nothing is clipped and every missed update is fed to the game rules
- the trace contains no update beyond the admitted segment
- Diagnostics
pumpkin-growth-window-return-timelinepumpkin-growth-window-catch-up-trace
larger-steps-fidelity
Row.id gives amount and limit to its larger-step rule
Does not apply to pumpkin-growth-window: no row in catch-up-items matches catch-up-fidelity larger steps.
one-derived-change-fidelity
Row.id gives amount and limit to its one-change rule
Does not apply to pumpkin-growth-window: no row in catch-up-items matches catch-up-fidelity one derived change.
away-rule-one-change-composition
Row.id keeps amount and one-change distribution separate
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-amount away rule and catch-up-fidelity one derived change.
calendar-every-crossing-in-order
Row.id settles every crossing in ascending order
Does not apply to pumpkin-growth-window: crossed calendar boundaries is not asked for pumpkin-growth-window.
calendar-latest-crossing-only
Row.id settles only its latest crossing
Does not apply to pumpkin-growth-window: crossed calendar boundaries is not asked for pumpkin-growth-window.
calendar-one-combined-crossing
Row.id combines its crossings into one return event
Does not apply to pumpkin-growth-window: crossed calendar boundaries is not asked for pumpkin-growth-window.
segments-events-and-ties-stay-ordered
row order breaks equal-timestamp ties
Applies to pumpkin-growth-window.
Row order breaks equal-timestamp ties before Event resolution receives them. Where no equal-timestamp tie is constructible, this test asserts nothing.
Test steps and diagnostics
- Given
equal-timestamp calendar events where the adoption can construct them
- When
- the return timeline orders the events before settlement
- Then
- row order breaks an equal-timestamp tie before Event resolution receives the events
- where no equal-timestamp tie is constructible, this test asserts nothing
- Diagnostics
pumpkin-growth-window-return-timelinepumpkin-growth-window-calendar-reportpumpkin-growth-window-catch-up-report
crossing-inside-admitted-span-settles-in-order
a crossing inside the admitted span for Row.id settles in order
Does not apply to pumpkin-growth-window: crossed calendar boundaries is not asked for pumpkin-growth-window.
return-reward-created-from-source
Row.id is created only from its cited source settlement
Does not apply to pumpkin-growth-window: return-rewards has no rows.
automatic-reward-delivery
Row.id is offered automatically in reward-row order
Does not apply to pumpkin-growth-window: return-rewards has no rows.
player-claims-reward-delivery
Row.id stays pending until its cited claim event
Does not apply to pumpkin-growth-window: return-rewards has no rows.
continuous-item-read-once-at-return
Row.id applies its authority reading once
Does not apply to pumpkin-growth-window: continuous-items has no rows.
choice-item-applied-once-at-return
Row.id applies its selected branch once
Does not apply to pumpkin-growth-window: choice-items has no rows.
state-only-return-display
return adds no player-facing surface
Applies to pumpkin-growth-window.
The lifecycle adds no player-facing return surface. Existing game displays can show settled state after ordinary play resumes; developer and diagnostic instrumentation is out of scope.
Test steps and diagnostics
- Given
a completed return settlement
- When
- ordinary play resumes
- Then
- the lifecycle adds no player-facing return surface
- developer or diagnostic instrumentation is out of scope
- Diagnostics
pumpkin-growth-window-return-display-trace
visible-before-resume-return-display
settled state is visible before ordinary play
Does not apply to pumpkin-growth-window: return display is state only, not visible before resume.
return-summary-display
the return surface names each affected row and result
Does not apply to pumpkin-growth-window: return display is state only, not return summary.
detailed-return-summary-display
the return surface explains each affected result
Does not apply to pumpkin-growth-window: return display is state only, not detailed return summary.
final-state-and-anchor-commit-together
final state and the next anchor commit together
Applies to pumpkin-growth-window.
Final local state and the next suspension anchor commit together where an anchor exists; without one, that clause asserts nothing. Where an anchor exists, step 15 requires it never to be lower than the previous one on any return. Ordinary updates resume only after automatic return changes and required pre-resume displays settle.
Test steps and diagnostics
- Given
a completed return with final local state and, where they exist, distinguishable automatic changes and required pre-resume displays
- When
- return processing reaches step 15
- Then
- final local state and the next suspension anchor commit together where an anchor exists; without one, the anchor clause asserts nothing
- where an anchor exists, the committed anchor is never lower than the previous one on any return, as step 15 requires
- ordinary updates resume only after every automatic return change and required pre-resume display has settled
- Diagnostics
pumpkin-growth-window-anchor-commitpumpkin-growth-window-return-display-trace
empty-row-sets-create-nothing
empty row sets create no suspension work
Applies to pumpkin-growth-window.
An empty fixed-items set fixes no covered state; an empty catch-up-items set calculates no covered state from missed time on return; an empty continuous-items set means no covered state continued elsewhere; an empty choice-items set selects no away behaviour at runtime; an empty return-rewards set creates no separately delivered reward; and an empty rollback-rules set uses no trusted checkpoint as a backward-clock anchor. Where a row exists, that clause asserts nothing.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption document and its optionally empty row sets- When
- the lifecycle follows each row set's declared empty consequence
- Then
- where fixed-items is empty, no covered state is fixed by suspension; where a row exists, this clause asserts nothing
- where catch-up-items is empty, no covered state is calculated from missed time on return; where a row exists, this clause asserts nothing
- where continuous-items is empty, no covered state continued elsewhere during suspension; where a row exists, this clause asserts nothing
- where choice-items is empty, no covered state selects between away behaviours at runtime; where a row exists, this clause asserts nothing
- where return-rewards is empty, return settlement creates no separately delivered reward; where a row exists, this clause asserts nothing
- where rollback-rules is empty, no trusted checkpoint is used as a backward-clock anchor; where a row exists, this clause asserts nothing
- Diagnostics
pumpkin-growth-window-declaration-recordpumpkin-growth-window-return-timeline
catch-up-report-fields · pumpkin-growth
the catch-up report for pumpkin-growth carries the lifecycle fields
Applies to the pumpkin-growth row.
Each catch-up report for pumpkin-growth records the interval readings, admitted elapsed time, row, amount, fidelity, limit, before and after state, and any crossing that split the segment.
Test steps and diagnostics
- Given
each catch-up report produced for
pumpkin-growth- When
- a reviewer reads the report
- Then
- each report records interval start and end readings, elapsed time admitted, row id, amount branch, fidelity branch, limit reached, before state, after state, and the calendar crossing that split the segment when present
- Diagnostics
pumpkin-growth-window-catch-up-report
backward-clock-report-fields
each backward-clock report records its selected response
Applies to pumpkin-growth-window.
A backward-clock report records its selected anchor when one was selected and whether a notice appeared when that question applies. Where no such report exists, this test asserts nothing.
Test steps and diagnostics
- Given
each backward-clock report produced by
pumpkin-growth-window- When
- a reviewer reads the report
- Then
- the report records the selected anchor when one was selected and whether a notice appeared when the notice question applies
- where this adoption produces no backward-clock report, this test asserts nothing
- Diagnostics
pumpkin-growth-window-clock-readingspumpkin-growth-window-anchor-commit
return-reward-report-fields
the return-reward report for Row.id carries its delivery fields
Does not apply to pumpkin-growth-window: return-rewards has no rows.
trusted-checkpoint-row-shape
declaration check: last-trusted-checkpoint has exactly one rollback row
Does not apply to pumpkin-growth-window: backward clock anchor is not asked for pumpkin-growth-window.
rollback-row-only-for-trusted-checkpoint
declaration check: rollback rows exist only for last-trusted-checkpoint
Applies to pumpkin-growth-window.
This declaration check reads the adoption and cites the rollback-rules description, not the running game. A rollback-rules row is legal only under the last-trusted-checkpoint anchor; that anchor's exactly-one duty is checked separately. A protected clock, another anchor, or an adoption with no clock row must have none, and an adoption with no clock row answers no anchor. Any other shape is a defect this test fails by construction.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption document and the rollback-rules description, not the running game- When
- a reviewer compares its clock source, backward-clock anchor when answered, and rollback-rules rows
- Then
- a protected clock and each device-clock anchor other than last-trusted-checkpoint have no rollback-rules row
- an adoption with no clock row answers no anchor and has no rollback-rules row
- under last-trusted-checkpoint this check asserts nothing because the exactly-one check owns that shape
- any other shape is a defect this test fails by construction
- Diagnostics
pumpkin-growth-window-declaration-record
at-most-one-clock-row
declaration check: clock has at most one row
Applies to pumpkin-growth-window.
This declaration check reads the adoption, not the running game. Clock has at most one row. More than one is a defect this test fails by construction. With no row, the check asserts nothing about elapsed time.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption document, not the running game- When
- a reviewer counts clock rows
- Then
- the clock collection has zero or one row
- more than one row is a defect this test fails by construction; with no clock row, the count duty still passes and this check asserts nothing about elapsed time
- Diagnostics
pumpkin-growth-window-declaration-record
at-most-one-rollback-row
declaration check: rollback-rules has at most one row
Applies to pumpkin-growth-window.
This declaration check reads the adoption, not the running game. Rollback-rules has at most one row. More than one is a defect this test fails by construction. With no row, the check asserts nothing about a trusted checkpoint.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption document, not the running game- When
- a reviewer counts rollback-rules rows
- Then
- the rollback-rules collection has zero or one row
- more than one row is a defect this test fails by construction; with no rollback row, this check asserts nothing about a trusted checkpoint
- Diagnostics
pumpkin-growth-window-declaration-record
player-claim-needs-return-surface
declaration check: Row.id has a claim-capable return surface
Does not apply to pumpkin-growth-window: return-rewards has no rows.
clock-citation-duty · world-time
declaration check: world-time's clock citation states its duty
Applies to the world-time row.
This declaration check reads the adoption and time.world-time, not the running game. The citation must name world-time's reading, unit, and sampling. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption and the prose attime.world-time, not the running game- When
- a reviewer checks the citation's meaning
- Then
time.world-timenames the reading, its unit, and when it is sampled- a missing duty is a defect this test fails by construction
- Diagnostics
pumpkin-growth-window-declaration-record
fixed-state-citation-duty
declaration check: Row.id's state citation names complete fixed state
Does not apply to pumpkin-growth-window: fixed-items has no rows.
catch-up-state-citation-duty · pumpkin-growth
declaration check: pumpkin-growth's state citation names ordinary changes and unit
Applies to the pumpkin-growth row.
This declaration check reads the adoption and contracts.pumpkin-growth-window, not the running game. The citation must identify pumpkin-growth, its ordinary changes, and its unit. A missing duty is a defect this test fails by construction. The test names the address and restates nothing from it.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption and the prose atcontracts.pumpkin-growth-window, not the running game- When
- a reviewer checks the citation's meaning
- Then
contracts.pumpkin-growth-windowidentifiespumpkin-growth, its ordinary changes, and its unit- a missing duty is a defect this test fails by construction
- Diagnostics
pumpkin-growth-window-declaration-record
amount-rule-citation-duty
declaration check: Row.id's amount citation states the complete amount and its unit
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-amount reduced or away rule.
fidelity-rule-citation-duty
declaration check: Row.id's fidelity citation states its distribution
Does not apply to pumpkin-growth-window: no row in catch-up-items matches catch-up-fidelity larger steps or one derived change.
limit-rule-citation-duty
declaration check: Row.id's limit citation states its complete boundary
Does not apply to pumpkin-growth-window: no row in catch-up-items matches away-limit time limit or less after a point or state ceiling.
continuous-state-citation-duty
declaration check: Row.id's state citation supplies its return reading
Does not apply to pumpkin-growth-window: continuous-items has no rows.
choice-rule-citation-duty
declaration check: Row.id's choice citation states both paths and selection
Does not apply to pumpkin-growth-window: choice-items has no rows.
reward-rule-citation-duty
declaration check: Row.id's reward citation states source and derivation
Does not apply to pumpkin-growth-window: return-rewards has no rows.
destination-rule-citation-duty
declaration check: Row.id's destination citation states acceptance
Does not apply to pumpkin-growth-window: return-rewards has no rows.
claim-rule-citation-duty
declaration check: Row.id's claim citation names one event
Does not apply to pumpkin-growth-window: return-rewards has no rows.
expiry-rule-citation-duty
declaration check: Row.id's expiry citation states one deadline
Does not apply to pumpkin-growth-window: return-rewards has no rows.
calendar-boundary-citation-duty
declaration check: Row.id's boundary citation states the calendar test
Does not apply to pumpkin-growth-window: calendar-boundaries has no rows.
calendar-settlement-citation-duty
declaration check: Row.id's settlement citation states immediate effects
Does not apply to pumpkin-growth-window: calendar-boundaries has no rows.
trusted-state-citation-duty
declaration check: Row.id's trusted-state citation supplies a matched pair
Does not apply to pumpkin-growth-window: rollback-rules has no rows.
away-limit-declaration-is-visible · pumpkin-growth
declaration check: pumpkin-growth declares a state ceiling when one governs away gain
Applies to the pumpkin-growth row.
This declaration check reads the adoption, cites the away-limit description, and considers an ordinary-play maximum declared elsewhere, not the running game. If that maximum also governs pumpkin-growth away gain, this row must declare state-ceiling and cite it. Otherwise the clause asserts nothing. A hidden governing ceiling is a defect this test fails by construction.
Test steps and diagnostics
- Given
the
pumpkin-growth-windowadoption, the away-limit description, and an ordinary-play maximum declared elsewhere, not the running game- When
- a reviewer checks whether an ordinary-play clamp is intended to stop
pumpkin-growthaway gain
- a reviewer checks whether an ordinary-play clamp is intended to stop
- Then
- where that clamp governs away gain, this row declares state-ceiling and cites it; where no such clamp governs away gain, this clause asserts nothing
- leaving a governing ceiling hidden behind whole-interval is a defect this test fails by construction
- Diagnostics
pumpkin-growth-window-declaration-record
suspension-holds
suspension and catch-up hold for the whole run
Applies to pumpkin-growth-window.
Across every suspend-and-return cycle of the audited run, including a background transition, a backward device clock where the adoption has one, and a crossed calendar boundary where it has one, no elapsed time is counted twice; each catch-up row follows its amount, fidelity, and limit; each selected crossing settles once in order; each reward reaches its destination or stays pending; skipped intervals create no reward; and the next anchor never falls below the prior one. A case this adoption cannot construct asserts nothing.
Test steps and diagnostics
- Holds
across every covered cycle, no elapsed time was counted twice; every catch-up row followed its amount, fidelity, and limit; every selected crossing settled once in its selected order; every created reward reached its destination or stayed pending as declared; every skipped interval created no reward; and each next anchor never fell below its prior anchor; a case the adoption cannot construct asserts nothing
- Seeds
["audit-a","audit-b"]- Scope
every suspend-and-return cycle of the audited run, including a background transition, a backward device clock where the adoption has one, and a crossed calendar boundary where it has one- Diagnostics
pumpkin-growth-window-suspension-intervalpumpkin-growth-window-return-timelinepumpkin-growth-window-catch-up-reportpumpkin-growth-window-calendar-reportpumpkin-growth-window-reward-reportpumpkin-growth-window-anchor-commitpumpkin-growth-window-first-ordering-violation
JSONthe adoption as one file
The adoption file as supplied. Answers you try on this page are not written into it; to change an adoption, open it in the authoring tool.
{
"contract": "suspension-and-catch-up",
"version": 1,
"summary": "Covers state that pauses, catches up, or continues while a game is closed or in the background. It also covers return rewards, calendar crossings, clock changes, and what appears before play resumes. Normal rates, timer rules, inventory capacity, save lifetime, and replay guarantees stay elsewhere.",
"questions": {
"while-in-the-background": {
"asks": "What happens while the game stays open in the background?",
"rationale": "An open game may use away handling, keep playing, or stay still until it closes. The same time must never count twice.",
"options": {
"counts-as-away": {
"meaning": "Background time uses the same suspension rules as closed time. Ten minutes in another tab refills energy like ten minutes with the game closed.",
"semantics": "The lifecycle treats the background interval as a suspension interval. Ordinary updates do not also apply that interval."
},
"keeps-playing": {
"meaning": "Ordinary play continues in the background. A browser farm keeps growing crops while the player uses another tab.",
"semantics": "The ordinary update path continues, including platform throttling. Foregrounding adds no catch-up for the same interval."
},
"waits-until-closed": {
"meaning": "The open game stays still, and away progress starts only after closing. A crop timer pauses in the app switcher but advances after the app closes.",
"semantics": "The open-background interval receives neither ordinary updates nor catch-up."
}
}
},
"return-display": {
"asks": "What appears before ordinary play resumes?",
"rationale": "Changed state may speak for itself, animate before play, or appear in a return summary.",
"options": {
"state-only": {
"meaning": "No separate return surface appears. A match-3 game simply shows that three lives are ready.",
"semantics": "The lifecycle adds no player-facing return surface. Existing game displays may show the settled state after ordinary play resumes. Developer or diagnostic instrumentation that is not player-facing is out of scope."
},
"visible-before-resume": {
"meaning": "Existing displays show the change before play resumes. A life counter ticks from two lives to five on the map screen.",
"semantics": "At least one existing player-facing display presents the affected state during return settlement."
},
"return-summary": {
"meaning": "A return surface names each result. An idle game shows energy gained and coins waiting for collection.",
"semantics": "A player-facing return surface identifies each affected row and its settled result."
},
"detailed-return-summary": {
"meaning": "A return surface also explains the calculation. A factory screen shows six hours away, its energy ceiling, and the final gain.",
"semantics": "The return surface reports elapsed time, applicable limits, amount rules, fidelity, and settled results."
}
}
},
"clock-source": {
"asks": "Can the player change the clock that measures time away?",
"rationale": "The player can move a device clock through settings. A protected clock stays outside those settings, though the service behind it can correct it.",
"when": {
"row-count": {
"clock": "non-empty"
}
},
"otherwise": "No clock row exists, so this adoption measures no elapsed suspension time.",
"options": {
"device-clock": {
"meaning": "The game reads a clock from the device. Moving a phone clock forward by two hours gives an idle mine two more measured hours.",
"semantics": "The elapsed interval comes from a clock the player can change through device settings. Both backward-clock questions are asked."
},
"protected-clock": {
"meaning": "The game reads a clock outside device settings. Changing a phone clock does not refill a match-3 life sooner.",
"semantics": "The elapsed interval comes from a clock the player cannot change through device settings. The backward-clock questions are not asked."
}
}
},
"backward-clock-anchor": {
"asks": "If the player moves the device clock backward, which state does the game keep?",
"rationale": "Zero elapsed time does not say which saved state survives a backward clock. The anchor prevents duplicate or reversed gains.",
"when": {
"flag": {
"clock-source": [
"device-clock"
]
}
},
"otherwise": "No device clock is read, either because no clock row exists or because the clock is protected, so no rollback anchor is selected. A protected-clock resync may still move its reading backward; the lifecycle then keeps the loaded state.",
"options": {
"suspension-snapshot": {
"meaning": "The game returns to the state captured when suspension began. An idle mine returns to the ore count recorded when the app closed.",
"semantics": "Every in-scope local item is restored from the suspension snapshot. Elapsed time for this interval is zero."
},
"last-trusted-checkpoint": {
"meaning": "The game returns to the latest state accepted by a trusted rule. An online workshop returns to its last server-confirmed stock count.",
"semantics": "The one rollback rule supplies a trusted state and matching clock reading. The current suspension interval contributes zero elapsed time."
},
"keep-return-state": {
"meaning": "The game keeps the state loaded at return but adds no away change. A newer cloud save from another device keeps its crops.",
"semantics": "No state is restored by this contract. The loaded return state remains, and elapsed time for this interval is zero. That state may be newer than the suspension snapshot because of a cloud save, a second device, or a mid-session autosave."
}
}
},
"backward-clock-notice": {
"asks": "Does the game explain the backward clock result?",
"rationale": "The same backward-clock outcome can be silent or visible to the player.",
"when": {
"flag": {
"clock-source": [
"device-clock"
]
}
},
"otherwise": "No device clock is read, either because no clock row exists or because the clock is protected, so no player-caused clock-change notice is selected. A protected-clock resync may still produce zero elapsed time.",
"options": {
"silent": {
"meaning": "The game adds no clock-change notice. A life refill stays unchanged without a pop-up.",
"semantics": "The lifecycle adds no player-facing explanation for the backward-clock branch."
},
"explain": {
"meaning": "The game explains that the clock change blocked away time. An idle game shows a short clock-change message beside unchanged energy.",
"semantics": "The lifecycle presents a player-facing clock-change explanation after the anchor is applied and before ordinary play resumes."
}
}
},
"crossed-calendar-boundaries": {
"asks": "Several calendar boundaries passed while the game was away. Which ones count on return?",
"rationale": "A daily or weekly rule may run for every crossing, only the latest one, or one combined return event.",
"when": {
"row-count": {
"calendar-boundaries": "non-empty"
}
},
"otherwise": "No calendar boundary is tracked, so return settlement creates no calendar crossing.",
"options": {
"every-crossing-in-order": {
"meaning": "Every crossed boundary settles in time order. A farm processes Friday, Saturday, and Sunday crop resets separately.",
"semantics": "The lifecycle inserts every crossed boundary into the return timeline in ascending time order."
},
"latest-crossing-only": {
"meaning": "Only the latest crossed boundary settles. A daily reward calendar opens on today's entry without granting missed days.",
"semantics": "The lifecycle inserts only the latest crossed boundary for each calendar row and omits earlier crossings."
},
"one-combined-crossing": {
"meaning": "All crossings become one return event. A weekly shop refreshes once and receives the number of missed weeks.",
"semantics": "The lifecycle inserts one return-time event per calendar row, carrying that row's number and span of crossed boundaries."
}
}
}
},
"declares": {
"values": {},
"rows": {
"clock": {
"description": "The elapsed-time rule for this behaviour family. At most one row is valid.",
"when-empty": "No elapsed suspension time is measured by this adoption.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A stable name for the elapsed clock, such as away-clock."
},
"clock-declared-in": {
"type": "citation",
"required": true,
"description": "The game rule naming the reading, its unit, and when it is sampled."
}
}
},
"fixed-items": {
"description": "State that remains at its suspension anchor until ordinary play resumes.",
"when-empty": "No covered state is fixed by suspension.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "The state item in game language, such as round-score or player-position."
},
"state-declared-in": {
"type": "citation",
"required": true,
"description": "The game rule that identifies the complete state held fixed."
}
}
},
"catch-up-items": {
"description": "State calculated from elapsed time when the suspension interval returns.",
"when-empty": "No covered state is calculated from missed time on return.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "The state item in game language, such as energy, crops, or lives."
},
"state-declared-in": {
"type": "citation",
"required": true,
"description": "The game rule identifying the state, its ordinary changes, and its unit."
},
"away-amount": {
"type": "string",
"required": true,
"options": [
"same-as-playing",
"reduced",
"away-rule"
],
"description": "The amount earned from equal elapsed time: the ordinary amount, a lower amount, or an amount from a separate away rule. An energy refill may keep its normal one point per minute."
},
"amount-rule-declared-in": {
"type": "citation",
"when": {
"row": {
"away-amount": [
"reduced",
"away-rule"
]
}
},
"description": "The rule for the lower or separate away amount. It states the complete amount calculation and its unit. Only the cited rule binds this row; uncited game prose does not."
},
"catch-up-fidelity": {
"type": "string",
"required": true,
"options": [
"every-missed-update",
"larger-steps",
"one-derived-change"
],
"description": "How missed play changes this state between calendar events: every missed update, larger catch-up steps, or one derived change. A crop may replay every growth tick while a life refill may derive one total."
},
"fidelity-rule-declared-in": {
"type": "citation",
"when": {
"row": {
"catch-up-fidelity": [
"larger-steps",
"one-derived-change"
]
}
},
"description": "The rule naming step size and order, or the rule deriving the single return change. It distributes the promised amount and does not change it. Only the cited rule binds this row; uncited game prose does not."
},
"away-limit": {
"type": "string",
"required": true,
"options": [
"whole-interval",
"time-limit",
"less-after-a-point",
"state-ceiling"
],
"description": "How much time or gain is allowed away: all time, a hard time stop, a lower amount past a point, or a state ceiling. A normal full-energy maximum is a valid state ceiling. A maximum that limits away gain is declared here as a state ceiling, not left under whole-interval."
},
"limit-rule-declared-in": {
"type": "citation",
"when": {
"row": {
"away-limit": [
"time-limit",
"less-after-a-point",
"state-ceiling"
]
}
},
"description": "The time point, later amount rule, or state ceiling. A state ceiling may be the same maximum that applies during ordinary play. Only the cited rule binds this row; uncited game prose does not."
}
}
},
"continuous-items": {
"description": "State that continued under another authority while the local game was suspended.",
"when-empty": "No covered state continued elsewhere during suspension.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "The state item in game language, such as skill-training or life-service."
},
"state-declared-in": {
"type": "citation",
"required": true,
"description": "The external or protected rule that continued the state and supplies its return reading."
}
}
},
"choice-items": {
"description": "State whose away behaviour is selected by a setting, platform, unlock, or other game rule.",
"when-empty": "No covered state selects between away behaviours at runtime.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "The state item in game language, such as harvest-mode."
},
"choice-declared-in": {
"type": "citation",
"required": true,
"description": "The game rule naming both possible behaviours, their complete data, the condition selecting one, and the time at which the selection is made."
}
}
},
"return-rewards": {
"description": "Rewards created by catch-up or a crossed calendar boundary, then delivered or left for the player to claim.",
"when-empty": "Return settlement creates no separately delivered reward.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "The reward in game language, such as offline-coins or daily-gift."
},
"reward-declared-in": {
"type": "citation",
"required": true,
"description": "The game rule deriving the reward and identifying its source settlement."
},
"destination-declared-in": {
"type": "citation",
"required": true,
"description": "The destination rule that accepts the complete reward or leaves it pending."
},
"delivery": {
"type": "string",
"required": true,
"options": [
"automatic",
"player-claims"
],
"description": "Whether this reward enters its destination automatically or waits on a return surface for the player to claim it. A player-claims reward requires a return-display answer that supplies a return surface: return-summary or detailed-return-summary."
},
"claim-declared-in": {
"type": "citation",
"when": {
"row": {
"delivery": [
"player-claims"
]
}
},
"description": "The player event that claims this pending reward from the return surface."
},
"expires-declared-in": {
"type": "citation",
"required": false,
"description": "The optional rule naming when an unclaimed reward expires and is removed. Omission means an unclaimed reward never expires."
}
}
},
"calendar-boundaries": {
"description": "Daily, weekly, seasonal, or other calendar boundaries that may pass during suspension.",
"when-empty": "Return settlement creates no calendar crossing.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "The boundary in game language, such as daily-reset or new-week."
},
"boundary-declared-in": {
"type": "citation",
"required": true,
"description": "The rule naming the calendar, time zone, boundary test, exact crossing time, and what happens when local civil time skips or repeats a boundary."
},
"settlement-declared-in": {
"type": "citation",
"required": true,
"description": "The game rule that receives each selected crossing and states its immediate effects."
}
}
},
"rollback-rules": {
"description": "The trusted checkpoint rule used by the backward-clock checkpoint answer. Exactly one row under last-trusted-checkpoint; no row under any other anchor, a protected clock, or no clock.",
"when-empty": "No trusted checkpoint is used as a backward-clock anchor.",
"record": {
"id": {
"type": "string",
"required": true,
"pattern": "kebab-case",
"unique": true,
"description": "A stable name for the trusted checkpoint rule."
},
"trusted-state-declared-in": {
"type": "citation",
"required": true,
"description": "The rule that supplies one coherent state snapshot and its matching trusted clock reading."
}
}
}
}
},
"origin": "https://opengdd.org/contracts/suspension-and-catch-up-1",
"mechanism": [
"This is the one normative authority for suspension state, elapsed time, catch-up, calendar crossings, return rewards, and report order. Questions and rows supply choices and game rules to this lifecycle; they do not define a second sequence.",
"A **suspension interval** begins at game closure, or at the earlier open-background transition selected by `counts-as-away`, and ends at return processing, at the return clock reading when a clock row exists. A **suspension snapshot** contains every in-scope local item and the starting clock reading. A **return timeline** is the ordered elapsed span, split at the calendar crossings selected by the calendar answer. A **pending reward** has been created but not accepted by its destination.",
"An unclaimed reward with an expiry rule is removed at its cited deadline. The lifecycle checks that deadline at return and immediately before a claim.",
"### Suspend",
"1. **Closing the game always begins a suspension interval.** Route an earlier open-background transition through `while-in-the-background`. `counts-as-away` begins the interval at that transition. `keeps-playing` continues ordinary play and creates no return catch-up for background time. `waits-until-closed` holds state unchanged until closure begins the interval. 2. When an interval begins, capture one coherent suspension snapshot before any covered state can change. If a clock row exists, read its starting value in the same batch; the interval's starting value is the higher of that reading and the committed anchor from the previous return, so time below the anchor is never replayed. A protected authority may keep changing a `continuous-items` row after the snapshot. 3. Hold every fixed and catch-up item at its snapshot state. A choice row resolves its cited selection at the time named by that rule. A selected continuous branch stays under its cited authority; other selected branches follow their matching lifecycle paths.",
"### While away",
"4. Local catch-up items do not advance visibly while ordinary updates are stopped. The interval records clock reach only; settlement waits for return. 5. Continuous items keep changing under their cited authority. This lifecycle neither predicts those changes nor duplicates them locally. 6. Calendar crossings are discovered from the cited calendar and clock. They are not settled yet. Return processing selects and orders them.",
"### Return",
"7. If a clock row exists, read the return clock once. A non-negative interval uses the suspension snapshot and the elapsed difference. Any negative protected-clock interval counts as zero elapsed with the loaded state retained, because a service resync can move even a protected clock back; skip steps 9–11 and continue at step 12. That skipped interval creates no return reward. Without a clock row, local catch-up and calendar crossings are absent; continue with the unchanged fixed state at step 12. 8. If a device clock reads earlier, apply `backward-clock-anchor` before any catch-up. Restore the suspension snapshot, restore the cited trusted checkpoint, or keep the loaded return state. The current interval then has zero elapsed time. A skipped interval creates no return reward. Apply the selected clock notice, skip steps 9–11, and continue at step 12. 9. Build one calendar return timeline and one pass timeline for each catch-up row. A calendar row admits the full non-negative measured interval because it declares no away limit. For a catch-up row, this lifecycle derives the admitted span from the row's declared limit for crossing selection only; that derivation is not the limit application step 10 assigns, and a state-dependent ceiling discovers its endpoint during the chronological pass. Crossings inside that admitted span settle against the row, and crossings beyond it do not. A state-dependent ceiling discovers its endpoint during the chronological pass, so no later crossing enters that row's pass. A catch-up row's limit does not cancel an independent calendar event: the row shape declares no such link, and the event settles once on the calendar timeline. `every-crossing-in-order` keeps all remaining crossings in ascending time order. `latest-crossing-only` keeps the last remaining crossing for each calendar row. `one-combined-crossing` creates one return-time event per calendar row with its count and span. Row order breaks a tie between equal timestamps before **Event resolution** receives them. 10. Compute each catch-up row's segments as step 11 hands them over, keeping amount separate from fidelity; step 11 owns the ordering. `same-as-playing` defines the ordinary amount for equal elapsed time; `reduced` and `away-rule` use only their cited amount rule. Under `every-missed-update`, this lifecycle applies the away limit as a per-segment clip and then feeds only the remaining missed updates to the game rules. Under `larger-steps`, the cited fidelity rule receives the amount and limit, owns both the larger-step distribution and the limit, and returns the ordered changes. Under `one-derived-change`, the cited fidelity rule receives the amount and limit, owns the limit, and returns one change. The lifecycle does not re-apply a limit owned by a cited fidelity rule. When `away-rule` and `one-derived-change` compose, the amount rule defines the total and the fidelity rule distributes it. 11. Settle each selected calendar event once through `settlement-declared-in`. For every catch-up row containing that crossing, settle the preceding segment first, then the event's immediate effect, then the following segment. The row's clip already excluded later crossings, so this order cannot re-admit time or events beyond its limit. Reports keep the same segment-then-event-then-segment order. 12. Check every existing pending reward's cited deadline at return. An expired unclaimed reward is removed at that deadline. A pending reward is in-scope local state and survives this and later suspensions until the player claims it or its cited deadline expires. 13. Read every continuous item once. Apply each selected choice branch once. Create each return reward from its cited source settlement; a reward row with no settled source produces nothing. A skipped interval therefore creates no return reward. Check a new reward's cited deadline at return. Offer an `automatic` reward to its destination in reward-row order. A `player-claims` reward remains pending until its cited claim event. Destination refusal keeps the same pending reward, and a refused `automatic` reward is offered again at each later return until its destination accepts it or its cited deadline removes it. 14. Present `return-display` after settled state and pending rewards are known. A clock explanation precedes the general return surface. Existing displays used by `visible-before-resume` update before ordinary play. A claim event checks the cited deadline before offering its reward. An expired unclaimed reward is removed; each accepted reward is reported once. 15. Commit the final local state and the next suspension anchor together. On every return the committed anchor is never lower than the previous one. After any backward-clock return, commit the highest of the suspension reading, the return reading, and any trusted-checkpoint reading as the next suspension anchor, retaining the trusted state under that anchor, so repeated clock rollback cannot replay time below the prior anchor. Resume ordinary updates only after all automatic return changes and every required pre-resume display have settled. A later player claim is a new event and never repeats catch-up.",
"Every catch-up report carries the interval start and end readings, elapsed time admitted, row id, amount branch, fidelity branch, limit reached, before state, after state, and calendar crossing that split the segment when present. A backward-clock report also carries the selected anchor when one was selected, and whether a notice appeared when the notice question applies. A return-reward report carries its source, destination, delivery, pending, accepted, or expired status, deadline when present, and claim event when present."
],
"answers": {
"while-in-the-background": "waits-until-closed",
"return-display": "state-only",
"clock-source": "protected-clock"
},
"values": {},
"rows": {
"clock": [
{
"id": "world-time",
"clock-declared-in": "time.world-time"
}
],
"catch-up-items": [
{
"id": "pumpkin-growth",
"state-declared-in": "contracts.pumpkin-growth-window",
"away-amount": "same-as-playing",
"catch-up-fidelity": "every-missed-update",
"away-limit": "whole-interval"
}
],
"fixed-items": [],
"continuous-items": [],
"choice-items": [],
"return-rewards": [],
"calendar-boundaries": [],
"rollback-rules": []
},
"pack": "sha256:d1ec8edb7c86cda9f923cacba4a1d4a0c6c4af5ee4302842865d39636cd8a81d"
}