Proof path visual
One compact visual map of the supplied requirement-to-decision flow. It explains the current state; it never executes a graph action.
Intent0 requirements
Verifier0 receipts
PolicyNo dossier
Human decisionReview required
Factory Studio / Graph Ops
Follow the proof path.
A bounded control plane for Product, Mission, Proof, Gate, Trace, semantic lineage, and verified counterfactual repair. Follow the failure, compare every candidate, and understand the winning proof without executing it.
Nodes
—Edges
—Evidenced
—Lineage runs
—Forensic findings
—Repair candidates
—Graph status
LoadingLocal facts
Evidence health
Deterministic ratios from this bounded graph result, not estimated productivity or a quality score.
—evidenced
Requirements—
Policy drift—
Blocked gates—
ProofSearch · Counterfactual Arena
Winner verified · apply lockedWhich repair is smallest and actually proven?
Every candidate is hash-bound, scope-checked, independently proven, mutation-tested, and ranked by one deterministic ordering.
Winner rationale
No evaluation loaded.
Execution controls
Inspect, export, and validate the decision here. Applying code, merging, publishing, and deploying require separate authority.
Locked: ProofSearch has no workspace-mutation, approval, merge, publication, or deployment authority.
Evidence Frontier · proof-guided loop
Next evidence · execution lockedWhat should you prove next?
Rank supplied, non-executing experiments by exactly how many viable repair pairs they separate. Predictions are hypotheses, never proof or execution authority.
Evidence decision
No sealed Evidence Frontier loaded.
Execution controls
Copy, export, and validate the plan. A separate approved runner is required before any experiment may run.
Locked: Graph Ops ranks evidence only; it cannot execute a command, mutate a workspace, or grant approval.
Factory Continuity · Decision Replay
Recall, but verifyWhat prior work is safe to reuse?
Only independently promoted, exact-scope, purpose-bound, non-expired references can influence a future decision. This panel redacts memory references and summaries by design.
Eligibility boundary
No local continuity records loaded.
Human promotion required
Graph Ops can inspect local metadata. It cannot store memory content, promote a lesson, sign evidence, or grant an agent access to a record.
Locked: promotion requires a separate identity, exact purpose, evidence references, and an explicit local CLI action.
Verified semantic time travel
Review only · never executes
Why did this graph run change?
Compare sealed state lineage, isolate the first semantic divergence, and preview the smallest recovery branch.
No deterministic concurrency or state anomalies detected.
Changed state
Causal path
Rerun only
Evidence to refresh
Guarded Action Dock
Prepare and validate the recovery locally. Workspace mutation stays locked until a separate signed approval is supplied.
Locked: no named, expiring, signed approval is bound. Graph Ops cannot grant one.
Graph lanes
Loading the authenticated local graph result.
No local evidence path exists yet. Start by compiling a Product Graph, then inspect this view again.
Graph data is read from /api/graph-ops. A separate token-bound local request can record one named authorization or consume one Reality Check authorization. Labels are rendered as text nodes.