Module partition 

Structs

Partition4

Bipartition for a 4-node graph.

PartitionNegativeGuardReport

Negative-guard report for old-wrong external partition handling.

PartitionVerificationInput4

Inputs for one #158 canonical partition verification.

PartitionVerificationReport4

Value-bearing report for one canonical partition verification.

WeightedGraph4

Fixed 4-node undirected weighted graph used by the #158 fixtures.

Enums

PartitionTelemetryEvent

Runtime event emitted by partition verification.

PartitionVerificationError

Constants

COGNITUM_PARTITION_HINT_POLICY

External partition handling required by story #158.

EXTERNAL_PARTITION_TRUSTED_OLD_WRONG_PATH

Old-wrong path guarded by story #158.

LIVE_STATE_ENDPOINT_JOURNEY_ID

The command/runtime journey for stories #158 and #161.

STOER_WAGNER_CANONICAL_SOURCE

Canonical partition source required by story #158.

STOER_WAGNER_PARTITION_STORY_ID

The SpecFlow story id for the Stoer-Wagner partition verifier.

Functions

reject_external_partition_trusted_without_verification

Reject accepting an external partition without verifier comparison.

verify_partition_4

Compute the canonical Stoer-Wagner min-cut and compare any external hint.