CURRENT EVENT
Scenario ready
The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.
INTERACTIVE SIMULATION
GRAPHICS UNAVAILABLE
Use the coordinated table, narrative, metrics, event, proof, and raw-evidence views below. All authoritative state is still available.
CURRENT EVENT
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.
| Entity | Type | State | Detail | Normalized position |
|---|---|---|---|---|
| organization | supported | -3, 0, 0 | ||
| data | supported | -1.5, 0, 0 | ||
| gate | qualified | 0, 0, 0 | ||
| organization | supported | 1.5, 0, 0 | ||
| application | qualified | 3, 0, 0 | ||
| control | baseline | 0, -2, 0 |
TEXT EQUIVALENT
The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.
1 proof conditions pass; 0 fail; 3 are unknown or not yet evaluated.
The deterministic result proves the declared synthetic software behavior for this input. It does not certify a real system or establish legal liability.
| Event | Progress | Entities | Relationships | Pass | Fail | Unknown |
|---|
BASELINE
Pin the current run, change one or more bounded inputs, and run a variant.
VARIANT
Comparison identifies event, proof, metric, input, and entity differences without changing either history.
COUNTERFACTUAL BRANCH
The canonical run remains immutable. Change bounded parameters, then create a clearly labeled non-executed branch.
BRANCH-TO-BRANCH COMPARISON
{
"domainState": null,
"eventIndex": 0,
"frameDigest": "9bdbc0cfd60903c0624056097aa2571850a7be977b736a81a7af06826844db47",
"metrics": {
"dimensionsAuthorityToAct": 0,
"dimensionsPermissionToDisclose": 1,
"dimensionsPermissionToUse": 0,
"dimensionsSemanticCompatibility": 1,
"dimensionsTrustInData": 1,
"dimensionsTrustInIdentity": 1,
"entityCount": 6,
"entityStateCounts": {
"baseline": 1,
"qualified": 2,
"supported": 3
},
"eventIndex": 0,
"eventProgress": 0,
"proofStateCounts": {
"fail": 0,
"notApplicable": 0,
"notEvaluated": 3,
"pass": 1,
"unknown": 0
},
"relationshipCount": 5
},
"narrative": "The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.",
"proofState": {
"checks": [
{
"affectedEntityIds": [
"org-a"
],
"affectedEventIndex": 9,
"evidence": "trust in identity, trust in data, semantic compatibility, permission to disclose, permission to use, authority to act",
"id": "INV-01",
"name": "Trust dimensions remain separate",
"researchReferences": [
"/docs/reports/federated-data-architecture-research",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"org-a"
],
"affectedEventIndex": 10,
"evidence": "DATA RECEIVED \u2014 REQUESTED USE DENIED",
"id": "INV-02",
"name": "Secondary reuse requires separate permission",
"researchReferences": [
"/docs/reports/federated-data-architecture-research",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"org-a"
],
"affectedEventIndex": 11,
"evidence": "DATA RECEIVED \u2014 REQUESTED USE DENIED",
"id": "INV-03",
"name": "Shared data does not create authority",
"researchReferences": [
"/docs/reports/federated-data-architecture-research",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/machine-sovereign-assurance-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/federated-data-architecture-research",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/machine-sovereign-assurance-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": "org-a",
"kind": "publishes",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "product"
},
{
"from": "product",
"kind": "evaluated_by",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "guard"
},
{
"from": "guard",
"kind": "disclosed_to",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "org-b"
},
{
"from": "org-b",
"kind": "used_by",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "app"
},
{
"from": "revoke",
"kind": "invalidates",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "product"
}
],
"nodes": [
{
"detail": "",
"id": "org-a",
"kind": "organization",
"label": "Origin organization",
"position": [
-3,
0,
0
],
"semanticLayers": [
"system"
],
"state": "supported"
},
{
"detail": "",
"id": "product",
"kind": "data",
"label": "Signed data product",
"position": [
-1.5,
0,
0
],
"semanticLayers": [
"evidence"
],
"state": "supported"
},
{
"detail": "",
"id": "guard",
"kind": "gate",
"label": "Purpose and minimization guard",
"position": [
0,
0,
0
],
"semanticLayers": [
"assurance"
],
"state": "qualified"
},
{
"detail": "",
"id": "org-b",
"kind": "organization",
"label": "Receiving organization",
"position": [
1.5,
0,
0
],
"semanticLayers": [
"system"
],
"state": "supported"
},
{
"detail": "",
"id": "app",
"kind": "application",
"label": "Analysis service",
"position": [
3,
0,
0
],
"semanticLayers": [
"system"
],
"state": "qualified"
},
{
"detail": "",
"id": "revoke",
"kind": "control",
"label": "Revocation channel",
"position": [
0,
-2,
0
],
"semanticLayers": [
"system"
],
"state": "baseline"
}
],
"overlays": []
},
"selectedEntityId": null,
"simulationTime": 0
}METHODOLOGY AND LIMITS
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
RESEARCH TRACEABILITY
MISSION-FIRST · EVIDENCE-LOCKED · MACHINE-SPEED
DETECT → VERIFY → DENY → CONTAIN → RECOVER → PROVE
Command integrity. Decision superiority. Compartment security. Attested reconstitution.