Objective
Add transport-aware distributed verification topology diagnostics and convergence views over verifier nodes.
Invariant
topology != consensus
The topology surface explains node relationships, transport paths, and evidence availability without selecting a winner or committing shared state.
CI Gate
ci-gate-distributed-topology-diagnostics
Evidence
evidence/run-<RUN_ID>/gates/distributed-topology/
Artifacts:
topology_view.json
transport_edges.json
convergence_view.json
incident_routes.json
violations.txt
Acceptance Criteria
- Node-to-truth-surface bindings are queryable.
- Historical-only and insufficient-evidence islands are preserved as diagnostics states.
- Transport edges remain observability inputs, not control-plane outputs.
- Gate PASS returns.
Dependencies
DISTRIBUTED_VERIFICATION_TOPOLOGY.md
N_NODE_CONVERGENCE_FORMAL_MODEL.md
AUTHORITY_TOPOLOGY_FORMAL_MODEL.md
GLOBAL_VERIFICATION_GRAPH_MODEL.md
Objective
Add transport-aware distributed verification topology diagnostics and convergence views over verifier nodes.
Invariant
topology != consensusThe topology surface explains node relationships, transport paths, and evidence availability without selecting a winner or committing shared state.
CI Gate
ci-gate-distributed-topology-diagnosticsEvidence
evidence/run-<RUN_ID>/gates/distributed-topology/Artifacts:
topology_view.jsontransport_edges.jsonconvergence_view.jsonincident_routes.jsonviolations.txtAcceptance Criteria
Dependencies
DISTRIBUTED_VERIFICATION_TOPOLOGY.mdN_NODE_CONVERGENCE_FORMAL_MODEL.mdAUTHORITY_TOPOLOGY_FORMAL_MODEL.mdGLOBAL_VERIFICATION_GRAPH_MODEL.md