HyoDo Evidence Graph Prototype
Rows are producer-declared participant lanes, columns preserve producer-recorded when.ts values from left to right, and step index is event detail. Missing timestamps stay TIME UNOBSERVED. ALLOW, ASK, DENY, and UNOBSERVED are policy-evaluation outputs, not execution permissions. Solid elbow = parent_event_id ("result of"). Dashed curve = evidence_refs ("decided from"). Red stub = broken link.
These statuses are policy-evaluation outputs, not execution permissions. HyoDo does not run or authorize agents; the host or a human decides what happens next.
Tab to a cell to inspect its record. Press Escape to clear the panel without losing focus. Shift+Tab moves to the previous cell.
WHAT IS MISSING
Load a hyodo.verification-view/v0 file to inspect canonical evidence gaps.