Skip to content

Commit

Permalink
WIP add footnote about Chaing Growth "requirement"
Browse files Browse the repository at this point in the history
  • Loading branch information
nfrisby committed Dec 2, 2024
1 parent 66febce commit e8b7774
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion docs/website/contents/for-developers/CivicTime.md
Original file line number Diff line number Diff line change
Expand Up @@ -160,9 +160,12 @@ The exact thought process was not recorded during the design work, but this is a
It would also be too confusing if a node agreed to translate some slot/civic time and then subsequently refused to translate that same slot/civic time.
So `Just t1 -> Nothing` is also unacceptable for some translation, not merely `Just t1 -> Just t2`.

- {DespiteChainGrowthViolation}.
- {DespiteChainGrowthViolation}[^Anachrony].
All of the above must hold even in the presence of a Chain Growth violation, except switching from a chain that violates Chain Growth to one that does not is allowed to violate the RollbackInsensitiveTranslations subcase of ImmutableTranslations.

[^Anachrony]: Clarification.
This was not originally a "requirement", but the behavior was eventually discovered and has so far been accepted as reasonable and potentially even desirable.

**{Iteration 1}**.
The ImmutableTranslations and NonemptyForecastRange requirements are simple to achieve without the rest.

Expand Down

0 comments on commit e8b7774

Please sign in to comment.