Simulation ExplorerProvenance Replay

Decision Provenance Replay

Simulation: 02 / 10
Engine: provenance
Run schema: 2.0.0

Simulation

Mode

RUNCOMPLETEEVRUN-515D108FEF1C76F7

SCENARIO

Bounded inputs

SYNTHETIC

Guided exercise 1 / 3

Replay canonical history

Move event by event through the append-oriented record.

ACTIVE SCENARIO Canonical history Bounded inputs are ready for deterministic execution.

Browse 2 bounded scenarios

Device capability preflight

JavaScriptCHECKING

Persistence: no public run is stored. Sharing encodes bounded inputs in a same-origin link. Local learning progress is stored only after an explicit action.

INTERACTIVE SIMULATION

Authoritative state, spatially represented

Event0 / 14

StateDERIVED SYNTHETIC RESULT

Selected entityNone

Proof4 pass · 0 fail

Canonical digest5817ea30986410…

Initializing capability-aware renderer…Renderer pending33ed8ffc2eec…Capability check pending

RendererWebGL check

Frame time—

APIserver baseline

Replay transferpending

Qualityauto

Motionenabled

Workerchecking

EventProof changeFailureRecovery

0.000Scenario readySCENARIO_READY

PROOF INSPECTOR

Current proof state

4Passed

0Unknown / pending

0Failed

CURRENT FOCUS

Scenario ready

4 passed; 0 failed; 0 unknown or pending.

Show

INV-01Canonical history is unchanged by branchingNOT EVALUATED

Evidence: 1078aa8ed95c039b97085a359a50bb095a37fde5f7f3c58a78010d13af7a3571
Scope: AUTHORITATIVE DOMAIN ENGINE

INV-02Branch is visibly non-canonicalNOT EVALUATED

Evidence: prov-quarantine-001-cf
Scope: AUTHORITATIVE DOMAIN ENGINE

INV-03Invalidated evidence remains presentNOT EVALUATED

Evidence: Invalidated event preserved
Scope: AUTHORITATIVE DOMAIN ENGINE

PLATFORM-REPRESENTATION-PARITYVisual, table, narrative, event, metric, and raw-evidence views reference one event-index statePASS

Evidence: The v2 workbench envelope assigns every frame an eventIndex and frame digest consumed by all representations.
Scope: WORKBENCH ADAPTER

Why did this happen?

Entity inspector

Select a node in the scene or table to inspect its current state and direct relationships.

No entity selected.

Event: 0
State: DERIVED SYNTHETIC RESULT
Entity: None
Proof: 4 pass · 0 fail

CURRENT EVENT

Scenario ready

The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.

SELECTED ENTITY

Select an entity to coordinate the scene, table, proof, event, and causal views.

Entities at the selected event
Type	State	Normalized position
event	valid	-3, 0, 0
event	valid	-2, 0, 0
event	valid	-1, 0, 0
event	qualified	0, 0, 0
event	valid	1, 0, 0
event	valid	2, 0, 0
invalidation	invalidated	3, 0, 0

{
  "domainState": null,
  "eventIndex": 0,
  "frameDigest": "963a1f8f940d9db4906fd9bebf0ff90ee037f2e225b5d4ccbc25d1865767386e",
  "metrics": {
    "canonicalCanonical": 1,
    "counterfactualCanonical": 0,
    "entityCount": 7,
    "entityStateCounts": {
      "invalidated": 1,
      "qualified": 1,
      "valid": 5
    },
    "eventIndex": 0,
    "eventProgress": 0,
    "proofStateCounts": {
      "fail": 0,
      "notApplicable": 0,
      "notEvaluated": 3,
      "pass": 1,
      "unknown": 0
    },
    "relationshipCount": 6
  },
  "narrative": "The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.",
  "proofState": {
    "checks": [
      {
        "affectedEntityIds": [
          "p1"
        ],
        "affectedEventIndex": 11,
        "evidence": "1078aa8ed95c039b97085a359a50bb095a37fde5f7f3c58a78010d13af7a3571",
        "id": "INV-01",
        "name": "Canonical history is unchanged by branching",
        "researchReferences": [
          "/docs/reports/decision-provenance-system-architecture",
          "/docs/reports/autonomous-c2-simulation-architecture",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/evulgare-accountability-architecture-research",
          "/docs/reports/evulgare-simulation-workbench-research"
        ],
        "scope": "AUTHORITATIVE DOMAIN ENGINE",
        "status": "NOT EVALUATED"
      },
      {
        "affectedEntityIds": [
          "p1"
        ],
        "affectedEventIndex": 12,
        "evidence": "prov-quarantine-001-cf",
        "id": "INV-02",
        "name": "Branch is visibly non-canonical",
        "researchReferences": [
          "/docs/reports/decision-provenance-system-architecture",
          "/docs/reports/autonomous-c2-simulation-architecture",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/evulgare-accountability-architecture-research",
          "/docs/reports/evulgare-simulation-workbench-research"
        ],
        "scope": "AUTHORITATIVE DOMAIN ENGINE",
        "status": "NOT EVALUATED"
      },
      {
        "affectedEntityIds": [
          "p1"
        ],
        "affectedEventIndex": 13,
        "evidence": "Invalidated event preserved",
        "id": "INV-03",
        "name": "Invalidated evidence remains present",
        "researchReferences": [
          "/docs/reports/decision-provenance-system-architecture",
          "/docs/reports/autonomous-c2-simulation-architecture",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/evulgare-accountability-architecture-research",
          "/docs/reports/evulgare-simulation-workbench-research"
        ],
        "scope": "AUTHORITATIVE DOMAIN ENGINE",
        "status": "NOT EVALUATED"
      },
      {
        "affectedEntityIds": [],
        "affectedEventIndex": 0,
        "evidence": "The v2 workbench envelope assigns every frame an eventIndex and frame digest consumed by all representations.",
        "id": "PLATFORM-REPRESENTATION-PARITY",
        "name": "Visual, table, narrative, event, metric, and raw-evidence views reference one event-index state",
        "researchReferences": [
          "/docs/reports/decision-provenance-system-architecture",
          "/docs/reports/autonomous-c2-simulation-architecture",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/evulgare-accountability-architecture-research",
          "/docs/reports/evulgare-simulation-workbench-research"
        ],
        "scope": "WORKBENCH ADAPTER",
        "status": "PASS"
      }
    ],
    "summary": {
      "fail": 0,
      "notApplicable": 0,
      "notEvaluated": 3,
      "pass": 1,
      "unknown": 0
    }
  },
  "scene": {
    "camera": {
      "distance": 11,
      "pitch": 0.25,
      "yaw": 0.55
    },
    "edges": [
      {
        "from": "p1",
        "kind": "was_informed_by",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "p2"
      },
      {
        "from": "p2",
        "kind": "generated",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "p3"
      },
      {
        "from": "p3",
        "kind": "presented_by",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "p4"
      },
      {
        "from": "p4",
        "kind": "review_context",
        "semanticLayers": [
          "system",
          "authority"
        ],
        "state": "baseline",
        "to": "p5"
      },
      {
        "from": "p5",
        "kind": "preceded",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "p6"
      },
      {
        "from": "p3",
        "kind": "was_invalidated_by",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "p7"
      }
    ],
    "nodes": [
      {
        "detail": "",
        "id": "p1",
        "kind": "event",
        "label": "Observation recorded",
        "position": [
          -3,
          0,
          0
        ],
        "semanticLayers": [
          "evidence",
          "events"
        ],
        "state": "valid"
      },
      {
        "detail": "",
        "id": "p2",
        "kind": "event",
        "label": "Model transformed evidence",
        "position": [
          -2,
          0,
          0
        ],
        "semanticLayers": [
          "evidence",
          "events"
        ],
        "state": "valid"
      },
      {
        "detail": "",
        "id": "p3",
        "kind": "event",
        "label": "Scope warning generated",
        "position": [
          -1,
          0,
          0
        ],
        "semanticLayers": [
          "events"
        ],
        "state": "valid"
      },
      {
        "detail": "",
        "id": "p4",
        "kind": "event",
        "label": "Interface rendered",
        "position": [
          0,
          0,
          0
        ],
        "semanticLayers": [
          "events"
        ],
        "state": "qualified"
      },
      {
        "detail": "",
        "id": "p5",
        "kind": "event",
        "label": "Human approval logged",
        "position": [
          1,
          0,
          0
        ],
        "semanticLayers": [
          "authority",
          "events"
        ],
        "state": "valid"
      },
      {
        "detail": "",
        "id": "p6",
        "kind": "event",
        "label": "Bounded action applied",
        "position": [
          2,
          0,
          0
        ],
        "semanticLayers": [
          "events"
        ],
        "state": "valid"
      },
      {
        "detail": "",
        "id": "p7",
        "kind": "invalidation",
        "label": "Later invalidation appended",
        "position": [
          3,
          0,
          0
        ],
        "semanticLayers": [
          "system"
        ],
        "state": "invalidated"
      }
    ],
    "overlays": []
  },
  "selectedEntityId": null,
  "simulationTime": 0
}

Server-rendered analytical baseline

JavaScript is required for synchronized timeline interaction and graphics. The initial table, proof conditions, event record, narrative, research sources, limitations, and safety boundary remain visible in this document.

METHODOLOGY AND LIMITS

PROVEN SCOPE AND RESERVED CLAIMS.

The authoritative deterministic Python engine evaluates bounded scenario inputs. The workbench adapter serializes the result into a versioned run envelope, derives a synchronized event-index representation, and exposes proof, evidence, metrics, narrative, and visual views without changing the underlying result.

TERMINAL: SYNTHETIC_NULL_SINK

Demonstrates

Deterministic state transitions within a declared synthetic scenario.
Traceable relationships among inputs, events, entities, proof conditions, and outputs.
Accessible parity among visual, table, narrative, metric, event, and raw-evidence representations.

Reserved for controlled acceptance

Certification or elimination of the model-to-reality gap.
Legal liability, institutional approval, operational authorization, or force authorization.
Real-world targeting, vehicle control, payload control, firing solutions, or operational intelligence.

Declared test-range bounds

The adapter reconstructs a synchronized analytical timeline from deterministic engine state; it does not invent unrecorded physical behavior.
Browser graphics and WebXR capability vary by device and are not required for analytical use.
No public anonymous run is stored by the platform.

RESEARCH TRACEABILITY

Every simulation remains connected to its evidence base.

Open full traceability

DOC Decision Provenance System Architecture →DOC Autonomous C2 Simulation Architecture →DOC Autonomous Weapons Simulation Platform →DOC Evulgare Accountability Architecture Research →DOC Evulgare Simulation Workbench Research →

Decision Provenance Replay

Authoritative state, spatially represented

The analytical workbench remains complete without 3D.

Scenario ready

Scenario ready

Current proof state

Qualification

No baseline pinned

Current run

Branch from event 0

PROVEN SCOPE AND RESERVED CLAIMS.

Demonstrates

Reserved for controlled acceptance

Declared test-range bounds

Every simulation remains connected to its evidence base.

Control the active workbench without a pointer.

Export the exact bounded run.

Decision Provenance Replay

Authoritative state, spatially represented

The analytical workbench remains complete without 3D.

Coordinated analytical representations

Scenario ready

Scenario ready

Current proof state

Qualification

No baseline pinned

Current run

Branch from event 0

PROVEN SCOPE AND RESERVED CLAIMS.

Demonstrates

Reserved for controlled acceptance

Declared test-range bounds

Every simulation remains connected to its evidence base.