Thursday, March 30, 2023

Proposal: Hanoi Halting Problem

Passes 10-0. Enacted by Brendan.

Adminned at 31 Mar 2023 18:39:58 UTC

If there exists ruletext reading “As a Daily Action, if the Building has not collapsed, a Engineer may Build” then reword it as follows:

As a Daily Action, if the Building is not Collapsed, a Engineer may Build

If there exists ruletext reading “If Building Stability is 0 or lower, the building has collapsed!  If the building has collapsed, then any Engineer can Move On.” then reword it as follows:

If Building Stability is 0 or lower, then the Building is Collapsed; otherwise, the Building is not Collapsed. While the Building is Collapsed, any Engineer can Move On.

posted by Brendan at 30 Mar 2023 19:16:00 UTC Comments (13)

Comments

Lulu: she/her

30-03-2023 19:34:52 UTC

I’m not sure where I screwed up the wording?

Brendan: he/him

30-03-2023 19:40:14 UTC

Under the current wording, once the building has collapsed the first time, anyone can Move On infinite times.

Lulu: she/her

30-03-2023 19:44:50 UTC

Might want to fix the “is/has” issue with the other place where it appears in the proposal, then

Brendan: he/him

30-03-2023 19:46:50 UTC

Good call, done.

Josh: he/they

30-03-2023 21:50:39 UTC

for

Habanero:

30-03-2023 21:54:15 UTC

for

JonathanDark: he/him

30-03-2023 21:59:00 UTC

for

jjm3x3: he/him

30-03-2023 22:38:02 UTC

for

Lulu: she/her

30-03-2023 22:57:55 UTC

for

Trapdoorspyder: he/him

31-03-2023 00:22:07 UTC

for

SingularByte: he/him

31-03-2023 06:39:11 UTC

for

Kevan: he/him

31-03-2023 08:51:11 UTC

for

Raven1207: he/they

31-03-2023 18:14:20 UTC

for