Cycle 15/Ruleset Draft: Difference between revisions

From Infinite Nomic Wiki
Trungle (talk | contribs)
→‎Winning: clarify crystals
Trungle (talk | contribs)
→‎Spaces: spaces possibly being negative was intentional
 
(16 intermediate revisions by 5 users not shown)
Line 1: Line 1:
open questions:
Rules defined in subsections claim to be subrules of rules defined in their supersections.


is movement specified correctly?
== Time ==


is the board specified correctly?
=== General ===
 
== Nomic Rules ==
 
=== Time ===
 
==== General ====
All times mentioned in this ruleset are in UTC. Days start at 00:00 UTC. Weeks start on Monday 00:00 UTC.
All times mentioned in this ruleset are in UTC. Days start at 00:00 UTC. Weeks start on Monday 00:00 UTC.


==== Phases ====
=== Phases ===
Each week is divided into two phases:
Each week is divided into two phases:


Line 19: Line 13:
Phase II: Friday, Saturday, and Sunday
Phase II: Friday, Saturday, and Sunday


=== Rules ===
== Rules ==


A rule is a body of text which governs the state of the game. Rules that are in effect apply continuously. When a player joins the game, they agree to abide by the rules in effect.
A rule is a body of text which governs the state of the game. Rules that are in effect apply continuously. When a player joins the game, they agree to abide by the rules in effect.
Line 25: Line 19:
A subrule is a rule that claims another rule as its parent. The subrule is not part of the parent; instead this relationship is to be used for organizational purposes.
A subrule is a rule that claims another rule as its parent. The subrule is not part of the parent; instead this relationship is to be used for organizational purposes.


A rule that is not a subrule is a top-level rule.  
A rule that is not a subrule is a top-level rule.


=== Players ===
== Players ==
Any person may become a player by posting a message setting forth their intent to do so in the channel ⁠#game-actions, provided they have not been a player at any point in the past seven days. A player may cease being a player by sending a message that sets forth their intent to do so in #⁠game-actions.
Any person may become a player by posting a message setting forth their intent to do so in the channel ⁠#game-actions, provided they have not been a player at any point in the past seven days. A player may cease being a player by sending a message that sets forth their intent to do so in #⁠game-actions.


A player is "reputable" if they have continuously been a player for the previous seven days or if they have continuously been a player from a time that was within 3 days of the round starting.
A player is "reputable" if they have continuously been a player for the previous seven days or if they have continuously been a player from a time that was within 3 days of the round starting.


=== Proposals ===
== Proposals ==
Proposals are made by sending a message in the channel #proposals.
Proposals are made by sending a message in the channel #proposals.


A 👍 or 👎 reaction from a player on a Proposal message at the time when the voting period ends constitutes a vote in favor or against, respectively. If a person's vote is unclear (excluding abstentions), it is considered to be against.
A 👍 or 👎 reaction from a player on a proposal message at the time when the voting period ends constitutes a vote in favor or against, respectively. If a person's vote is unclear (excluding abstentions), it is considered to be against.


At the end of its voting period, a proposal takes effect if it is popular (as defined for its type) and the message in which it was submitted has been neither deleted nor edited. If more than one proposal would otherwise take effect simultaneously, they take effect in the order in which they were created.
At the end of its voting period, a proposal takes effect if it is popular (as defined for its type) and the message in which it was submitted has been neither deleted nor edited. If more than one proposal would otherwise take effect simultaneously, they take effect in the order in which they were created.


The class of a proposal must be one of the classes listed below. When a proposal is submitted, the submitter may specify its class. if no class is specified, the proposal class defaults to Standard.
The class of a proposal must be a class defined in the rules. When a proposal is submitted, the submitter may specify its class. if no class is specified, the proposal class defaults to Standard.


==== Urgent Class Proposal ====
=== Urgent Class Proposal ===
The voting period of an urgent proposal begins at the time it is submitted and ends two days (48 hours) after. An urgent proposal is popular if it has no more than two votes against it.
The voting period of an urgent proposal begins at the time it is submitted and ends two days (48 hours) after. An urgent proposal is popular if it has no more than two votes against it.


Rules to the contrary notwithstanding, only a reputable player can submit an urgent proposal. Urgent proposals should only be used to correct the game to its intended state and to maintain playability.
Rules to the contrary notwithstanding, only a reputable player can submit an urgent proposal. Urgent proposals should only be used to correct the game to its intended state and to maintain playability.


==== Standard Class Proposal ====
=== Standard Class Proposal ===
The voting period for a standard proposal is the phase that started after the proposal was submitted. A standard proposal is popular if it has more votes in favor than votes against.
The voting period for a standard proposal is the phase that started after the proposal was submitted. A standard proposal is popular if it has more votes in favor than votes against.


=== Judges ===
== Judges ==
There shall be a sole Judge, responsible for resolving rules disputes. An incumbent Judge can be removed with the assent of two players, but they should not be removed except for abuse of office. A person can cease being the Judge by publicly stating so.
There shall be a sole Judge, responsible for resolving rules disputes. An incumbent Judge can be removed with the assent of two players, but they should not be removed except for abuse of office. A person can cease being the Judge by publicly stating so.


Line 64: Line 58:
Any reputable player may become a candidate for the Judge by sending a message in the channel #judge-elections. If there are any Judge candidacies put forward during a week, the player whose message is both popular and has the most 👍 reactions from players becomes the Judge once that week ends. A Judge Candidacy message is popular if it has more 👍 than 👎 reactions from players on its initiating message. Ties are broken in favor of the player with the earliest text message during that week.
Any reputable player may become a candidate for the Judge by sending a message in the channel #judge-elections. If there are any Judge candidacies put forward during a week, the player whose message is both popular and has the most 👍 reactions from players becomes the Judge once that week ends. A Judge Candidacy message is popular if it has more 👍 than 👎 reactions from players on its initiating message. Ties are broken in favor of the player with the earliest text message during that week.


=== Items ===
== Items ==
Items are entities defined as such by the rules. Items can be owned by players. When an item's owner cannot reasonably be determined using publicly available information, or if it would be owned by a non-player, it is instead destroyed.
Items are entities defined as such by the rules. Items can be owned by players. When an item's owner cannot reasonably be determined using publicly available information, or if it would be owned by a non-player, it is instead destroyed.


Line 73: Line 67:
Reputable players can trade items with other reputable players.
Reputable players can trade items with other reputable players.


==== Trading ====
=== Trading ===
A trade is an exchange or transfer of items between two entities, with each entity giving a specified finite set of items to the other.
A trade is an exchange or transfer of items between two entities, with each entity giving a specified finite set of items to the other.


When otherwise authorized, a trade between two players takes place when both players explicitly consent to the trade in #trades within 7 days of each other.
When otherwise authorized, a trade between two players takes place when both players explicitly consent to the trade in #trades within 7 days of each other.


=== Actions ===
== Actions ==
When defining a game action that can be performed by sending a message, the rules should specify a channel where the game action can be taken. If the rules enable performing an action by sending a message without providing for a specific channel, the action can be taken by sending a message in #game-actions. Similarly, if the rules provide that a game action can be taken without making any provision for any method to take that action, the action can be taken by sending a message in #game-actions.
When defining a game action that can be performed by sending a message, the rules should specify a channel where the game action can be taken. If the rules enable performing an action by sending a message without providing for a specific channel, the action can be taken by sending a message in #game-actions. Similarly, if the rules provide that a game action can be taken without making any provision for any method to take that action, the action can be taken by sending a message in #game-actions.


Line 85: Line 79:
Whenever a player performs an action that would modify the information that the players generally agree should be tracked, that player should make a reasonable effort to track the outcome of the action in the generally-agreed-upon applicable location.
Whenever a player performs an action that would modify the information that the players generally agree should be tracked, that player should make a reasonable effort to track the outcome of the action in the generally-agreed-upon applicable location.


==== Random Choices ====
=== Random Choices ===
A person shall not deliberately select random values for a rules-defined action without intending to use those values to the best of their ability to resolve that action.
A person shall not deliberately select random values for a rules-defined action without intending to use those values to the best of their ability to resolve that action.


If a person has selected some or all of the random values necessary to perform an action, they shall not discard the valid specifications in order to attempt a substantially similar action with the goal of obtaining different random values. If there is consensus that a preponderance of the evidence exists, or if a Judge ruling, not overturned, finds that a player has done such a thing, all attempts other than the first are deemed to be invalid and to not have affected the gamestate.
If a person has selected some or all of the random values necessary to perform an action, they shall not discard the valid specifications in order to attempt a substantially similar action with the goal of obtaining different random values. If there is consensus that a preponderance of the evidence exists, or if a Judge ruling, not overturned, finds that a player has done such a thing, all attempts other than the first are deemed to be invalid and to not have affected the gamestate.


==== Dice Rolls ====
=== Dice Rolls ===
A rule that requires a selection of an NdK value, for non-negative integer N and positive integer K, is requiring the random selection of N rolls of a K-sided die.
A rule that requires a selection of an NdK value, for non-negative integer N and positive integer K, is requiring the random selection of N rolls of a K-sided die.


If not otherwise specified, this produces the sum of N rolls of a K-sided die; that is, the sum of N independent selections of integers from 1 to K, using a uniform random distribution. If N is zero, the sum is zero.
* If not otherwise specified, this produces the sum of N rolls of a K-sided die; that is, the sum of N independent selections of integers from 1 to K, using a uniform random distribution. If N is zero, the sum is zero.
 
* If a rule requires an NdK dice roll with a target number x, this instead produces the number of N independent 1dK rolls that meet or exceed the target number and can be abbreviated as "x+". For example, if a rule requires a dice roll with a target number of 3, this can be abbreviated to "3+".
 
=== Progressive Actions ===
Where the rules define a "progressive action", a person authorized to take that action may take that action as described in this rule. For this purpose, the "appropriate channel" is the channel specified by the rule defining the action (defaulting to #game-actions).


If a rule requires a dice roll with a target number x, this instead produces the number of independent selections that meet or exceed the target number and can be abbreviated as "x+". For example, if a rule requires a dice roll with a target number of 3, this can be abbreviated to "3+".
An authorized person may "commence" (syn. "begin") the action by sending a message in the appropriate channel. A person who has done so may then make any required selections (including, potentially, random choices) required for the action in the appropriate channel.


== Game Rules ==
Upon the person making all required selections (that is, immediately after they make the final required selection), the action is deemed to be performed if all of the following are true at that time:
* The time is in the same phase in which they commenced the action.
* They are authorized to perform the action.
* All other preconditions of the action specified in the rules are met.
* All provided selections are valid (as required by the defining rule).


=== Initialization ===
== Initialization ==
If no spaces exist, then the following occur:
Upon the first instant that this rule takes effect, the following occur in order:
* Spaces are created for each integer N from 0 to 39.
* For each integer 0 to 39, in ascending numerical order, a space is hereby created with that identifier if it does not already exist.
* Each space N is connected to space N+1, except for space 39, which is connected to space 0.
* For each space with identifiers 0 to 38, in ascending numerical order, that space's successors is hereby the set consisting solely of the space with the next numerical ID.
* The type of space 0 is set to Crystal.
* Hereby, the sole successor of space 39 is space 0.
* Hereby, the type of space 0 is Crystal.
* This rule is repealed.
* This rule is repealed.


=== Board ===
== Board ==
Players have a location or current space, which is a space. If a player has no location or if their location is indeterminate, then they move to Space 0, if it exists. If Space 0 does not exist, it is created before this move occurs.
Each player has a location (syn. "current space"), which is a space. For a player to "move to" a new space, other than their current location, is for their location to become the new space. Initially, or if a player would otherwise lack a location or have indeterminate location, a player's location becomes the initial space (as elsewhere defined by the rules, or otherwise the oldest-created existing space) if possible.


==== Spaces ====
=== Spaces ===
Spaces are entities. Spaces can be connected to any number of spaces. Connections between spaces are one-directional unless otherwise specified. All spaces that exist in the gamestate constitute the board.
A space is an entity. Each space has an identifier, which is an integer unique among spaces. An attempt to create a space with an invalid or duplicated identifier fails, rules to the contrary notwithstanding. The space with identifier N is known as "Space N".


Each space has an identifier, which is an integer. A space with identifier N can be called "Space N".
A space with identifier 0 always exists, and is created immediately if it does not. This space is the initial space.


Each space has a type, which is, by default, Blank.
Each space has a type. The possible types are described by other rules. Initially, or if a space would otherwise lack a type or have indeterminate type, a space's type becomes Blank.


Spaces are defined by subrules of this rule.
==== Blank ====
"Blank" is a type of space. Blank spaces have no effect that occurs when a player lands on or passes through them.


===== Blank =====
==== Crystal ====
Does nothing when a player stops moving on it, and does nothing when a player moves into it.
"Crystal" is a type of space. When a player lands on or passes through a crystal space, they gain 1 crystal.


===== Crystal =====
=== Connections Between Spaces ===
Any player that moves into this space from a different space gains 1 crystal.
Each space has a set of successors, each of which is a space. If such a set would ever contain non-spaces, or if one of its elements ceases to exist, the set is modified by removing any offending elements. Each space initially has no successors (that is, its set of successors is empty).


=== Movement ===
A space is said to "precede" each of its successors. A space "succeeds" (syn. "follows") each space that precedes it.
Every phase, as an action, each player can roll 1d10 in #game-actions. This is called their "movement roll". Other rules can specify dice to be added to or removed from the set of dice used to make movement rolls.


Immediately after a player makes their movement roll, while that player has not moved a number of spaces equal to their movement roll, the following occur:
== Movement ==
* If the player's current space only connects to one other space, then the player automatically moves to that space.
Each player can, as a progressive action, move, provided they have not done so previously in the current phase. This requires the following selections:
* If the player's current space connects to multiple other spaces, they must choose one space their current space connects to, then move to that space.
* First, a random choice of 1d10. Let the result be N.
* Then, N selections of a space, where each space follows the prior selected space (and the first seleced space follows the player's current space).


=== Choices ===
When a player moves, the following happen in order:
Anytime the rules say a player chooses something, that player must post a valid option to #game-actions by the end of that phase. If a player does not specify all choices that must be made during their action, their action does not occur.
* They are deemed to "leave" the current space, and any subsequent effects occur.
* For each selected space, other than the last, in order:
** Their location is set to that space. Then,
** They are deemed to "pass" that space, and any subsequent effects occur.
* Their location is set to the final selected space.
* They are deemed to "land on" the final selected space.


=== Winning ===
== Winning ==
Crystals are fungible, non-transferable items.
Crystals are fungible, non-transferable items.


The first player to own 15 or more crystals and to own at least 5 more crystals than any other player wins.
If a player owns a number of crystals greater than or equal to 15 and at least five more than any other player, that player wins.

Latest revision as of 22:17, 23 December 2023

Rules defined in subsections claim to be subrules of rules defined in their supersections.

Time[edit | edit source]

General[edit | edit source]

All times mentioned in this ruleset are in UTC. Days start at 00:00 UTC. Weeks start on Monday 00:00 UTC.

Phases[edit | edit source]

Each week is divided into two phases:

Phase I: Monday, Tuesday, Wednesday, and Thursday

Phase II: Friday, Saturday, and Sunday

Rules[edit | edit source]

A rule is a body of text which governs the state of the game. Rules that are in effect apply continuously. When a player joins the game, they agree to abide by the rules in effect.

A subrule is a rule that claims another rule as its parent. The subrule is not part of the parent; instead this relationship is to be used for organizational purposes.

A rule that is not a subrule is a top-level rule.

Players[edit | edit source]

Any person may become a player by posting a message setting forth their intent to do so in the channel ⁠#game-actions, provided they have not been a player at any point in the past seven days. A player may cease being a player by sending a message that sets forth their intent to do so in #⁠game-actions.

A player is "reputable" if they have continuously been a player for the previous seven days or if they have continuously been a player from a time that was within 3 days of the round starting.

Proposals[edit | edit source]

Proposals are made by sending a message in the channel #proposals.

A 👍 or 👎 reaction from a player on a proposal message at the time when the voting period ends constitutes a vote in favor or against, respectively. If a person's vote is unclear (excluding abstentions), it is considered to be against.

At the end of its voting period, a proposal takes effect if it is popular (as defined for its type) and the message in which it was submitted has been neither deleted nor edited. If more than one proposal would otherwise take effect simultaneously, they take effect in the order in which they were created.

The class of a proposal must be a class defined in the rules. When a proposal is submitted, the submitter may specify its class. if no class is specified, the proposal class defaults to Standard.

Urgent Class Proposal[edit | edit source]

The voting period of an urgent proposal begins at the time it is submitted and ends two days (48 hours) after. An urgent proposal is popular if it has no more than two votes against it.

Rules to the contrary notwithstanding, only a reputable player can submit an urgent proposal. Urgent proposals should only be used to correct the game to its intended state and to maintain playability.

Standard Class Proposal[edit | edit source]

The voting period for a standard proposal is the phase that started after the proposal was submitted. A standard proposal is popular if it has more votes in favor than votes against.

Judges[edit | edit source]

There shall be a sole Judge, responsible for resolving rules disputes. An incumbent Judge can be removed with the assent of two players, but they should not be removed except for abuse of office. A person can cease being the Judge by publicly stating so.

A request for justice shall take the form of a question or statement. The proper response to a question is an answer to that question, and the proper response to a statement is the truth value of that statement.

Upon formal submission of a request for justice by a person other than themself in #request-for-justice, the Judge shall, as quickly as possible, issue a response to the request. This response shall be binding only to the extent that it reasonably directly pertains to the request, and only to the extent that it does not blatantly and obviously contradict rules text while still considering the expressed or clearly implied legislative intent.

Within 4 days of a judge issuing a ruling, a public vote of confidence on that ruling can be initiated in #request-for-justice. Votes may be cast in such a vote for a period of 2 days after initiation. Votes are to be cast by 👍 or 👎 reactions on a clearly designated poll message; if a person's vote is unclear, it is to affirm the judgement. A ruling is overturned if strictly more players vote in favor of overturning than affirming.

A ruling may be overturned by the Judge who made it within one week of being made. When a ruling is overturned in this manner, the Judge shall then issue a new ruling on the initial request, which shall be binding in the same manner as the original ruling.

An overturned ruling shall have no bearing on the interpretation of the rules or of the gamestate.

Any reputable player may become a candidate for the Judge by sending a message in the channel #judge-elections. If there are any Judge candidacies put forward during a week, the player whose message is both popular and has the most 👍 reactions from players becomes the Judge once that week ends. A Judge Candidacy message is popular if it has more 👍 than 👎 reactions from players on its initiating message. Ties are broken in favor of the player with the earliest text message during that week.

Items[edit | edit source]

Items are entities defined as such by the rules. Items can be owned by players. When an item's owner cannot reasonably be determined using publicly available information, or if it would be owned by a non-player, it is instead destroyed.

For an entity to gain an item is for that item to be created in that entity's possession. To grant an entity an item is to create it in that entity's possession.

For an entity to lose an item is for that item to be destroyed from that entity's possession. To revoke an item from an entity is to destroy it from that entity's possession.

Reputable players can trade items with other reputable players.

Trading[edit | edit source]

A trade is an exchange or transfer of items between two entities, with each entity giving a specified finite set of items to the other.

When otherwise authorized, a trade between two players takes place when both players explicitly consent to the trade in #trades within 7 days of each other.

Actions[edit | edit source]

When defining a game action that can be performed by sending a message, the rules should specify a channel where the game action can be taken. If the rules enable performing an action by sending a message without providing for a specific channel, the action can be taken by sending a message in #game-actions. Similarly, if the rules provide that a game action can be taken without making any provision for any method to take that action, the action can be taken by sending a message in #game-actions.

Actions that are to be performed by sending a message are done by sending a message in the appropriate channel that clearly and unambiguously sets forth intent for the action to be taken.

Whenever a player performs an action that would modify the information that the players generally agree should be tracked, that player should make a reasonable effort to track the outcome of the action in the generally-agreed-upon applicable location.

Random Choices[edit | edit source]

A person shall not deliberately select random values for a rules-defined action without intending to use those values to the best of their ability to resolve that action.

If a person has selected some or all of the random values necessary to perform an action, they shall not discard the valid specifications in order to attempt a substantially similar action with the goal of obtaining different random values. If there is consensus that a preponderance of the evidence exists, or if a Judge ruling, not overturned, finds that a player has done such a thing, all attempts other than the first are deemed to be invalid and to not have affected the gamestate.

Dice Rolls[edit | edit source]

A rule that requires a selection of an NdK value, for non-negative integer N and positive integer K, is requiring the random selection of N rolls of a K-sided die.

  • If not otherwise specified, this produces the sum of N rolls of a K-sided die; that is, the sum of N independent selections of integers from 1 to K, using a uniform random distribution. If N is zero, the sum is zero.
  • If a rule requires an NdK dice roll with a target number x, this instead produces the number of N independent 1dK rolls that meet or exceed the target number and can be abbreviated as "x+". For example, if a rule requires a dice roll with a target number of 3, this can be abbreviated to "3+".

Progressive Actions[edit | edit source]

Where the rules define a "progressive action", a person authorized to take that action may take that action as described in this rule. For this purpose, the "appropriate channel" is the channel specified by the rule defining the action (defaulting to #game-actions).

An authorized person may "commence" (syn. "begin") the action by sending a message in the appropriate channel. A person who has done so may then make any required selections (including, potentially, random choices) required for the action in the appropriate channel.

Upon the person making all required selections (that is, immediately after they make the final required selection), the action is deemed to be performed if all of the following are true at that time:

  • The time is in the same phase in which they commenced the action.
  • They are authorized to perform the action.
  • All other preconditions of the action specified in the rules are met.
  • All provided selections are valid (as required by the defining rule).

Initialization[edit | edit source]

Upon the first instant that this rule takes effect, the following occur in order:

  • For each integer 0 to 39, in ascending numerical order, a space is hereby created with that identifier if it does not already exist.
  • For each space with identifiers 0 to 38, in ascending numerical order, that space's successors is hereby the set consisting solely of the space with the next numerical ID.
  • Hereby, the sole successor of space 39 is space 0.
  • Hereby, the type of space 0 is Crystal.
  • This rule is repealed.

Board[edit | edit source]

Each player has a location (syn. "current space"), which is a space. For a player to "move to" a new space, other than their current location, is for their location to become the new space. Initially, or if a player would otherwise lack a location or have indeterminate location, a player's location becomes the initial space (as elsewhere defined by the rules, or otherwise the oldest-created existing space) if possible.

Spaces[edit | edit source]

A space is an entity. Each space has an identifier, which is an integer unique among spaces. An attempt to create a space with an invalid or duplicated identifier fails, rules to the contrary notwithstanding. The space with identifier N is known as "Space N".

A space with identifier 0 always exists, and is created immediately if it does not. This space is the initial space.

Each space has a type. The possible types are described by other rules. Initially, or if a space would otherwise lack a type or have indeterminate type, a space's type becomes Blank.

Blank[edit | edit source]

"Blank" is a type of space. Blank spaces have no effect that occurs when a player lands on or passes through them.

Crystal[edit | edit source]

"Crystal" is a type of space. When a player lands on or passes through a crystal space, they gain 1 crystal.

Connections Between Spaces[edit | edit source]

Each space has a set of successors, each of which is a space. If such a set would ever contain non-spaces, or if one of its elements ceases to exist, the set is modified by removing any offending elements. Each space initially has no successors (that is, its set of successors is empty).

A space is said to "precede" each of its successors. A space "succeeds" (syn. "follows") each space that precedes it.

Movement[edit | edit source]

Each player can, as a progressive action, move, provided they have not done so previously in the current phase. This requires the following selections:

  • First, a random choice of 1d10. Let the result be N.
  • Then, N selections of a space, where each space follows the prior selected space (and the first seleced space follows the player's current space).

When a player moves, the following happen in order:

  • They are deemed to "leave" the current space, and any subsequent effects occur.
  • For each selected space, other than the last, in order:
    • Their location is set to that space. Then,
    • They are deemed to "pass" that space, and any subsequent effects occur.
  • Their location is set to the final selected space.
  • They are deemed to "land on" the final selected space.

Winning[edit | edit source]

Crystals are fungible, non-transferable items.

If a player owns a number of crystals greater than or equal to 15 and at least five more than any other player, that player wins.