A newer version of the Gradio SDK is available: 6.22.0
Holographic Trace Stack Reassembly Harness v0.2.0 Validation Report
Validation timestamp: 2026-06-18T15:05:57.215661Z
Verdict
PASS
v0.2.0 preserves the v0.1 bounded synthetic proof harness and adds the scoped forensic layer:
- per-contribution score panel
- motion-route segment ledger
- segment status labels: returned / missing / shuffled / reversed / conflicting
- segment-level coverage delta
- segment-level return contribution
- affected atom IDs
- receipt-facing reason lines
Boundary preserved: this remains a trace-structured holographic dataset proof only. It does not claim optical holography, 3D holography, cinematic rendering, or live mycelium/geometry rendering.
Validation checks
| Check | Result |
|---|---|
python -m py_compile app.py |
PASS |
python -c "import app" |
PASS |
run_required_tests() |
PASS |
| local single proof smoke test | PASS |
| JSON export generation | PASS |
| boundary language audit | PASS |
Required test summary
| Test | Final state | Pressure state | Confidence | False-settlement risk | Boundary expectation |
|---|---|---|---|---|---|
CROSS_PROJECTION_TEST |
HELD |
HELD |
1.0 |
0.0 |
True |
FULL_STACK_REASSEMBLY |
REASSEMBLED |
HELD |
1.0 |
0.0 |
True |
MIXED_SOURCE_FALSE_STACK |
QUARANTINED |
QUARANTINED |
0.4272 |
0.4581 |
True |
PARTIAL_STACK_REASSEMBLY |
REPAIRING |
STRAINED |
0.9567 |
0.0281 |
True |
ROUND_TRIP_TEST |
REASSEMBLED |
HELD |
1.0 |
0.0 |
True |
SHUFFLED_TRACE_TEST |
REPAIRING |
STRAINED |
0.9076 |
0.0601 |
True |
v0.2 forensic acceptance criteria
| Criterion | Result |
|---|---|
| v0.1 six-test harness preserved | PASS |
| per-contribution breakdown exposed | PASS |
| motion route segment ledger generated | PASS |
| returned / missing / shuffled / reversed / conflicting states supported | PASS |
| segment coverage delta exposed | PASS |
| segment return contribution exposed | PASS |
| affected atom IDs exposed | PASS |
| receipt line exposed per segment | PASS |
| JSON remains inspectable | PASS |
| false clean closure still blocked | PASS |
Notes
The UI uses a compact HTML segment strip plus a selectable segment inspector. Metric cards summarize; the segment ledger localizes motion-route breaks; the receipt explains settlement. This keeps the HF demo fast while making route support inspectable without hiding the account in JSON.