Path dimensions preserve subset relationships
{"authorized": 4, "permissible": 3, "technically_connected": 8, "trusted": 6, "usable": 3}
NATIVE WEBGL / WEBXR
Interactive spatial model
Select a nodeUse the node list or interact with the scene.
DERIVED RESULT
Condition record and proof
PROOF CHECKS PASS
The deterministic result proves the declared synthetic software behavior for this input. It does not certify a real system or establish legal liability.
Integrity or authority failure reaches safe hold
BASELINE — MONITORING
Recovery never silently revives stale evidence
DEGRADED STATE APPLIED
EQUIVALENT REPRESENTATIONS
Visual, table, and text views
Spatial arrangement
The scene draws one abstract network and distinguishes path dimensions by state and labels. When a fault destroys integrity or authority, the scene transitions to safe hold.
The 3D scene is an additional representation. The table and text below contain the authoritative accessible state.
| Node | Type | State | Detail | Position |
|---|---|---|---|---|
| Observation A | source | supported | -3, 1, 0 | |
| Observation B | source | supported | -3, -1, 0 | |
| Translation gateway | gateway | supported | -1.5, 0, 0 | |
| Provenance service | provenance | supported | 0, 1.5, 0 | |
| Coordination node | coordination | supported | 0, -1.5, 0 | |
| Human supervision | human | supported | 1.5, 1, 0 | |
| Synthetic null sink | null-sink | safe | 3, 0, 0 | |
| Recovery ledger | recovery | qualified | DEGRADED STATE APPLIED | 1.5, -1, 0 |
| From | Relationship | To |
|---|---|---|
| s1 | connected | t1 |
| s2 | connected | t1 |
| t1 | trusted | p1 |
| t1 | trusted | c1 |
| p1 | authorized | h1 |
| c1 | authorized | h1 |
| h1 | permissible | n1 |
| c1 | recovery | r1 |
| r1 | reconciled | n1 |
Text description
The scene draws one abstract network and distinguishes path dimensions by state and labels. When a fault destroys integrity or authority, the scene transitions to safe hold.
Declared proof invariants
- permissible paths are a subset of authorized paths
- authorized paths are a subset of trusted paths
- trusted paths are a subset of connected paths
- recovery requires new evidence or authority when prior state is invalid
SYNTHETIC TECHNOLOGY DEMONSTRATION — This scene uses fictional or abstract data to explain assurance, provenance, uncertainty, authority, human judgment, governance, acquisition, and distributed systems. It is not an operational targeting, planning, command, legal-advice, or force-authorization system.
SOURCE REPORTS