An invalidation event is appended
89e8d5d018a83d311db692a80433f997814a12352a5898f3d50a1d9fd4f7cba9
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.
Prior evidence is not silently deleted
Valid and invalidated evidence are listed separately
Renewed verification duties are explicit
4 tests; 2 reviews
EQUIVALENT REPRESENTATIONS
Visual, table, and text views
Spatial arrangement
Claims, subclaims, evidence, assumptions, and defeaters occupy different spatial layers. A change appends an invalidation event and updates only dependent claim states.
The 3D scene is an additional representation. The table and text below contain the authoritative accessible state.
| Node | Type | State | Detail | Position |
|---|---|---|---|---|
| Top assurance claim | claim | suspended | 3 dependent claim(s) require review | 0, 2, 0 |
| Input evidence valid | subclaim | suspended | Affected by model change | -2, 0, 0 |
| Human review meaningful | subclaim | qualified | 2, 0, 0 | |
| Schema conformance evidence | evidence | suspended | Affected by model change | -3, -2, 0 |
| Human-factors evidence | evidence | qualified | 3, -2, 0 | |
| Operating assumption | assumption | unresolved | 0, -2, -1 | |
| Distribution-shift defeater | defeater | unresolved | 0, -2, 1 |
| From | Relationship | To |
|---|---|---|
| e1 | supports | c1 |
| e2 | supports | c2 |
| a1 | context | c1 |
| d1 | defeats | c1 |
| c1 | supports | c0 |
| c2 | supports | c0 |
Text description
Claims, subclaims, evidence, assumptions, and defeaters occupy different spatial layers. A change appends an invalidation event and updates only dependent claim states.
Declared proof invariants
- invalidated evidence remains in history
- affected claims are suspended or unresolved
- no universal safety score is produced
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