anti
f2b3393669
Replaces LICENSE (GPLv3 -> AGPLv3) and prepends `SPDX-License-Identifier: AGPL-3.0-or-later` to every source file across decnet/, decnet_web/, tests/, scripts/, and tools/. Rationale: closes the GPLv3 ASP loophole so any party operating a modified DECNET as a network service must offer their modified source. Personal copyright (Samuel Paschuan) + inbound=outbound contributions make a future unilateral relicense infeasible. - LICENSE: full AGPL-3.0 text (gnu.org/licenses/agpl-3.0.txt) - COPYRIGHT: project copyright notice - tools/add_spdx_headers.py: idempotent header injector (shebang- and PEP 263-aware) Touches 1565 source files (.py, .ts, .tsx, .js, .jsx, .css, .sh). No behavior change; comments only.
57 lines
1.9 KiB
Python
57 lines
1.9 KiB
Python
# SPDX-License-Identifier: AGPL-3.0-or-later
|
|
"""MazeNET status state-machine tests.
|
|
|
|
Every legal transition declared in the plan is permitted; every other
|
|
pair (including self-loops and unknowns) must raise.
|
|
"""
|
|
import pytest
|
|
from decnet.topology.status import (
|
|
TopologyStatus,
|
|
TopologyStatusError,
|
|
assert_transition,
|
|
legal_next,
|
|
)
|
|
|
|
LEGAL = {
|
|
(TopologyStatus.PENDING, TopologyStatus.DEPLOYING),
|
|
(TopologyStatus.PENDING, TopologyStatus.TORN_DOWN),
|
|
(TopologyStatus.DEPLOYING, TopologyStatus.ACTIVE),
|
|
(TopologyStatus.DEPLOYING, TopologyStatus.FAILED),
|
|
(TopologyStatus.DEPLOYING, TopologyStatus.DEGRADED),
|
|
(TopologyStatus.DEPLOYING, TopologyStatus.TEARING_DOWN),
|
|
(TopologyStatus.ACTIVE, TopologyStatus.DEGRADED),
|
|
(TopologyStatus.ACTIVE, TopologyStatus.TEARING_DOWN),
|
|
(TopologyStatus.DEGRADED, TopologyStatus.ACTIVE),
|
|
(TopologyStatus.DEGRADED, TopologyStatus.TEARING_DOWN),
|
|
(TopologyStatus.FAILED, TopologyStatus.TEARING_DOWN),
|
|
(TopologyStatus.TEARING_DOWN, TopologyStatus.TORN_DOWN),
|
|
(TopologyStatus.TEARING_DOWN, TopologyStatus.DEGRADED),
|
|
}
|
|
|
|
|
|
def test_every_legal_transition_permitted():
|
|
for cur, nxt in LEGAL:
|
|
assert_transition(cur, nxt) # no raise
|
|
|
|
|
|
def test_every_illegal_transition_raises():
|
|
for cur in TopologyStatus.ALL:
|
|
for nxt in TopologyStatus.ALL:
|
|
if (cur, nxt) in LEGAL:
|
|
continue
|
|
with pytest.raises(TopologyStatusError):
|
|
assert_transition(cur, nxt)
|
|
|
|
|
|
def test_torn_down_is_terminal():
|
|
assert legal_next(TopologyStatus.TORN_DOWN) == frozenset()
|
|
|
|
|
|
def test_unknown_status_raises():
|
|
with pytest.raises(TopologyStatusError):
|
|
assert_transition("pending", "bogus")
|
|
with pytest.raises(TopologyStatusError):
|
|
assert_transition("bogus", "active")
|
|
with pytest.raises(TopologyStatusError):
|
|
legal_next("bogus")
|