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 |
|---|---|---|---|---|
| gate | supported | -3, 0, 0 | ||
| gate | supported | -2, 0, 0 | ||
| gate | supported | -1, 0, 0 | ||
| gate | invalidated | 0, 0, 0 | ||
| gate | supported | 1, 0, 0 | ||
| gate | supported | 2, 0, 0 | ||
| gate | supported | 3, 0, 0 | ||
| null-sink | safe | No external effect exists | 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": "db5a734ea120fad1ebca0e892093648281a8d070a5e6512832fce8cac08fa2ef",
"metrics": {
"checksAuthorityPresent": 0,
"checksContextPermitted": 1,
"checksDataAvailable": 1,
"checksDataTrusted": 1,
"checksPolicyVersionValid": 1,
"checksPurposePermitted": 1,
"checksTechnicalCapability": 1,
"entityCount": 8,
"entityStateCounts": {
"invalidated": 1,
"safe": 1,
"supported": 6
},
"eventIndex": 0,
"eventProgress": 0,
"proofStateCounts": {
"fail": 0,
"notApplicable": 0,
"notEvaluated": 3,
"pass": 1,
"unknown": 0
},
"relationshipCount": 7
},
"narrative": "The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.",
"proofState": {
"checks": [
{
"affectedEntityIds": [
"g1"
],
"affectedEventIndex": 11,
"evidence": "TRUSTED BUT UNAUTHORIZED",
"id": "INV-01",
"name": "All authority gates are conjunctive",
"researchReferences": [
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/laws-governance-platform-research",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/machine-state-governance-research-plan",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"g1"
],
"affectedEventIndex": 12,
"evidence": "TRUSTED BUT UNAUTHORIZED",
"id": "INV-02",
"name": "Expired authority cannot pass",
"researchReferences": [
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/laws-governance-platform-research",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/machine-state-governance-research-plan",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"g1"
],
"affectedEventIndex": 13,
"evidence": "Synthetic null sink",
"id": "INV-03",
"name": "No external effect exists",
"researchReferences": [
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/laws-governance-platform-research",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/machine-state-governance-research-plan",
"/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/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/laws-governance-platform-research",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/machine-state-governance-research-plan",
"/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": "g1",
"kind": "requires",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "g2"
},
{
"from": "g2",
"kind": "requires",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "g3"
},
{
"from": "g3",
"kind": "requires",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "g4"
},
{
"from": "g4",
"kind": "requires",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "g5"
},
{
"from": "g5",
"kind": "requires",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "g6"
},
{
"from": "g6",
"kind": "requires",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "g7"
},
{
"from": "g7",
"kind": "bounded_output",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "sink"
}
],
"nodes": [
{
"detail": "",
"id": "g1",
"kind": "gate",
"label": "Technical capability",
"position": [
-3,
0,
0
],
"semanticLayers": [
"assurance"
],
"state": "supported"
},
{
"detail": "",
"id": "g2",
"kind": "gate",
"label": "Data available",
"position": [
-2,
0,
0
],
"semanticLayers": [
"evidence",
"assurance"
],
"state": "supported"
},
{
"detail": "",
"id": "g3",
"kind": "gate",
"label": "Data trusted",
"position": [
-1,
0,
0
],
"semanticLayers": [
"evidence",
"assurance"
],
"state": "supported"
},
{
"detail": "",
"id": "g4",
"kind": "gate",
"label": "Authority current",
"position": [
0,
0,
0
],
"semanticLayers": [
"assurance",
"authority"
],
"state": "invalidated"
},
{
"detail": "",
"id": "g5",
"kind": "gate",
"label": "Purpose permitted",
"position": [
1,
0,
0
],
"semanticLayers": [
"assurance"
],
"state": "supported"
},
{
"detail": "",
"id": "g6",
"kind": "gate",
"label": "Policy version valid",
"position": [
2,
0,
0
],
"semanticLayers": [
"assurance",
"authority"
],
"state": "supported"
},
{
"detail": "",
"id": "g7",
"kind": "gate",
"label": "Context permitted",
"position": [
3,
0,
0
],
"semanticLayers": [
"assurance"
],
"state": "supported"
},
{
"detail": "No external effect exists",
"id": "sink",
"kind": "null-sink",
"label": "Synthetic null sink",
"position": [
0,
-2,
0
],
"semanticLayers": [
"system"
],
"state": "safe"
}
],
"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.