anti
33f139ecfa
Adds decnet/topology/ with:
- config.TopologyConfig: pydantic model driving generation (depth,
branching_factor, deckies_per_lan_min/max, bridge_forward_probability,
cross_edge_probability, subnet_base_prefix, service selection, seed).
Emits GeneratedTopology dataclass (lans, deckies, edges).
- status.TopologyStatus + assert_transition: seven-state machine with
an explicit legal-transition table. torn_down is terminal; degraded
is schema-reserved for future Healer use.
- generator.generate: deterministic DAG generation under config.seed.
Builds a tree of LANs (DMZ at root), plants deckies in each LAN,
promotes one decky per non-DMZ LAN to a parent bridge, and rolls
cross-edges per cross_edge_probability for DAG shape.
- persistence: persist() writes a plan to the repo as pending;
transition_status() enforces state-machine legality; hydrate() loads
topology + children into a single dict.
Covered by tests/topology/{test_status,test_generator,test_persistence}.
56 lines
1.8 KiB
Python
56 lines
1.8 KiB
Python
"""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")
|