CURRENT EVENT
Mission Started
Bounded autonomous inspection began.
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
Bounded autonomous inspection began.
SELECTED ENTITY
Select an entity to coordinate the scene, table, proof, event, and causal views.
| Entity | Type | State | Detail | Normalized position |
|---|---|---|---|---|
| drone | supported | NOMINAL · TRANSIT | -3.4, 0, -3.2 | |
| inspection-zone | supported | Declared fictional inspection objective | 3.35, 0.35, 3.25 | |
| geofence | supported | Synthetic -4 to +4 scene-unit boundary | 0, 0.2, 0 | |
| planner | supported | FEASIBLE · 0 candidates | -2.8, 1.7, 2.8 | |
| assurance | baseline | PENDING | 0, 2, 2.8 | |
| human | supported | start-inspection · AVAILABLE | 2.8, 1.7, 2.8 | |
| provenance | supported | Source frame FRAME-0000 · canonical history preserved | -1.4, -1.8, 2.5 | |
| null-sink | safe | No derived control state leaves the simulation | 1.4, -1.8, 2.5 | |
| tracked-object | hidden | World-truth object not yet represented in autonomy belief | -2.6651, 0.05, -0.05 |
TEXT EQUIVALENT
Bounded autonomous inspection began.
1 proof conditions pass; 0 fail; 14 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 |
|---|
WORLD TRUTH
AUTONOMY BELIEF
AUTONOMY INTENT
PLANNER / SAFETY FILTER
| Candidate | Feasible | Risk | Min clearance | Goal delay | Constraint | Status |
|---|
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": {
"active_tracks": [],
"applied_command_age_ms": 0,
"applied_synthetic_action": {
"action": "NONE",
"action_id": null,
"applied_candidate_id": null,
"origin_frame_id": null,
"selected_candidate_id": null,
"terminal": null
},
"authority_state": "CURRENT",
"autonomy_belief": {
"evidence_complete": true,
"observations": [],
"primary_track_id": null,
"track_ids": []
},
"autonomy_intent": {
"active_trajectory_id": "ROUTE-NOMINAL",
"active_trajectory_points": [
[
-3.4,
0,
-3.2
],
[
-1.35,
0.05,
-1.35
],
[
0.05,
0.1,
0.1
],
[
1.55,
0.18,
1.65
],
[
3.35,
0.35,
3.25
]
],
"nominal_route_id": "ROUTE-NOMINAL",
"nominal_route_points": [
[
-3.4,
0,
-3.2
],
[
-1.35,
0.05,
-1.35
],
[
0.05,
0.1,
0.1
],
[
1.55,
0.18,
1.65
],
[
3.35,
0.35,
3.25
]
]
},
"autonomy_mode": "NOMINAL",
"candidate_count": 0,
"candidate_geometry": [
{
"arrival_delay_seconds": 1.47,
"closest_approach_point": [
-1.7095,
0.0981,
0.0318
],
"constraint_violations": [
"REQUIRED_CLEARANCE_NOT_MAINTAINED"
],
"control_effort_band": "MEDIUM",
"feasible": false,
"goal_reachable": true,
"id": "TRAJ-LEFT",
"label": "LEFT DEVIATION",
"path_length_penalty": 2.677,
"predicted_collision_risk_band": "UNACCEPTABLE",
"predicted_minimum_clearance": -0.916,
"safety_status": "INFEASIBLE",
"sequence": 1,
"status": "UNRANKED",
"trajectory_points": [
[
-0.373,
0.0849,
-0.3381
],
[
-1.85,
0.16,
0.2
],
[
-1.45,
0.22,
1.15
],
[
0.55,
0.24,
1.8
],
[
3.35,
0.35,
3.25
]
]
},
{
"arrival_delay_seconds": 1.23,
"closest_approach_point": [
-1.2477,
0.0654,
-0.202
],
"constraint_violations": [],
"control_effort_band": "MEDIUM",
"feasible": true,
"goal_reachable": true,
"id": "TRAJ-RIGHT",
"label": "RIGHT DEVIATION",
"path_length_penalty": 2.245,
"predicted_collision_risk_band": "HIGH",
"predicted_minimum_clearance": 0.628,
"safety_status": "COMPLIANT",
"sequence": 2,
"status": "UNRANKED",
"trajectory_points": [
[
-0.373,
0.0849,
-0.3381
],
[
1.82,
0.16,
0.2
],
[
1.55,
0.22,
1.15
],
[
0.65,
0.24,
1.85
],
[
3.35,
0.35,
3.25
]
]
},
{
"arrival_delay_seconds": 1.05,
"closest_approach_point": [
-1.2477,
0.0654,
-0.202
],
"constraint_violations": [],
"control_effort_band": "MEDIUM",
"feasible": true,
"goal_reachable": true,
"id": "TRAJ-VERTICAL",
"label": "VERTICAL DEVIATION",
"path_length_penalty": 1.904,
"predicted_collision_risk_band": "HIGH",
"predicted_minimum_clearance": 0.628,
"safety_status": "COMPLIANT",
"sequence": 3,
"status": "UNRANKED",
"trajectory_points": [
[
-0.373,
0.0849,
-0.3381
],
[
-0.35,
1.55,
0.2
],
[
0.25,
1.55,
1.15
],
[
0.65,
0.45,
1.85
],
[
3.35,
0.35,
3.25
]
]
},
{
"arrival_delay_seconds": 1.46,
"closest_approach_point": [
-1.2477,
0.0654,
-0.202
],
"constraint_violations": [],
"control_effort_band": "LOW",
"feasible": true,
"goal_reachable": true,
"id": "TRAJ-SLOW",
"label": "SPEED REDUCTION",
"path_length_penalty": 0.024,
"predicted_collision_risk_band": "HIGH",
"predicted_minimum_clearance": 0.628,
"safety_status": "COMPLIANT",
"sequence": 4,
"status": "UNRANKED",
"trajectory_points": [
[
-0.373,
0.0849,
-0.3381
],
[
-0.3,
0.08,
-0.2
],
[
0.2,
0.1,
0.45
],
[
1.2,
0.16,
1.55
],
[
3.35,
0.35,
3.25
]
]
},
{
"arrival_delay_seconds": 4,
"closest_approach_point": [
-0.3477,
0.0654,
-0.202
],
"constraint_violations": [
"REQUIRED_CLEARANCE_NOT_MAINTAINED"
],
"control_effort_band": "LOW",
"feasible": false,
"goal_reachable": false,
"id": "TRAJ-HOLD",
"label": "HOLD / STOP",
"path_length_penalty": 0,
"predicted_collision_risk_band": "UNACCEPTABLE",
"predicted_minimum_clearance": -0.96,
"safety_status": "INFEASIBLE",
"sequence": 5,
"status": "RESERVE",
"trajectory_points": [
[
-0.373,
0.0849,
-0.3381
],
[
-0.373,
0.0849,
-0.3381
],
[
-0.373,
0.0849,
-0.3381
]
]
},
{
"arrival_delay_seconds": 8,
"closest_approach_point": [
-1.3528,
0.06,
-0.4614
],
"constraint_violations": [
"REQUIRED_CLEARANCE_NOT_MAINTAINED"
],
"control_effort_band": "MEDIUM",
"feasible": false,
"goal_reachable": false,
"id": "TRAJ-RETURN",
"label": "SAFE RETURN",
"path_length_penalty": 0,
"predicted_collision_risk_band": "UNACCEPTABLE",
"predicted_minimum_clearance": -0.023,
"safety_status": "INFEASIBLE",
"sequence": 6,
"status": "RESERVE",
"trajectory_points": [
[
-0.373,
0.0849,
-0.3381
],
[
-2.2,
0.05,
-2
],
[
-3.5,
-0.2,
-3.45
]
]
}
],
"candidate_trajectories": [],
"canonical_history_digest": "dad037e36f9a3d052b2c180d91315e892fc36749afb67f26868c8dd815bc465f",
"coordinate_system": "SYNTHETIC_NORMALIZED_SCENE_UNITS",
"current_physical_separation": 9,
"decision_deadline": null,
"event_refs": [
"EVT-001"
],
"feasible_candidate_count": 0,
"frame_id": "FRAME-0000",
"frame_sha256": "dcb7c045112ebb1cc537eb8217b4559bdcf263dda50253c97a1825f6783c609a",
"gate_states": {
"authority_current": true,
"battery_margin_ok": true,
"geofence_valid": true,
"human_supervision": true,
"navigation_integrity": true,
"separation_assurance": true,
"software_attested": true,
"uncertainty_within_bound": true
},
"goal_state": {
"id": "GOAL-INSPECT-01",
"position": [
3.35,
0.35,
3.25
],
"reachable": true,
"reached": false
},
"human_supervisory_state": {
"available": true,
"bounded_actions": [
"CONTINUE",
"HOLD",
"RETURN",
"ABORT / MINIMUM-RISK ACTION",
"RESUME AUTONOMY"
],
"command": "start-inspection",
"communications": "AVAILABLE"
},
"minimum_predicted_separation": null,
"mission_state": "TRANSIT",
"next_reassessment_ms": 50,
"nominal_planner_request": {
"candidate_id": null,
"maneuver": "NONE"
},
"observations": [],
"plan_status": "FEASIBLE",
"planning_runtime_ms": 150,
"predicted_goal_delay": 0,
"prediction_horizon_seconds": 3,
"primary_hazard": null,
"proof_refs": [
"TRUTH_NOT_IN_BELIEF_BEFORE_OBSERVABLE",
"TRACKS_REFERENCE_OBSERVATIONS",
"SELECTED_TRAJECTORY_FEASIBLE",
"APPLIED_ACTION_RESPECTS_SAFETY_VOLUME",
"INFEASIBLE_CANDIDATE_NOT_SELECTED",
"CRITICAL_GATES_BLOCK_INSPECTION",
"MINIMUM_RISK_WHEN_NO_FEASIBLE",
"HUMAN_OVERRIDE_PRECEDENCE",
"SAFETY_FILTER_SEPARATE_FROM_PLANNER",
"APPLIED_ACTION_REFERENCES_ORIGIN",
"APPEND_ORIENTED_AVOIDANCE_HISTORY",
"NORMALIZED_COORDINATES_ONLY",
"NO_REAL_HARDWARE_PROTOCOL_OUTPUT",
"SYNTHETIC_NULL_SINK_TERMINATION"
],
"reaction_margin": null,
"rejected_candidate_count": 0,
"route_deviation": 0,
"safety_envelope_margin": null,
"safety_filter_result": {
"intervened": false,
"status": "PENDING"
},
"scenario_id": "sudden-crossing-object",
"scenario_seed": 140017,
"selected_trajectory_id": null,
"selection_reason_codes": [],
"sensor_state": {
"latency_ms": 100,
"noise_index": 18,
"perception_envelope_radius": 3.1,
"state": "AVAILABLE",
"truth_visible_to_operator": false
},
"sensor_to_track_latency_ms": 200,
"simulation_time": 0,
"source_timeline": [
{
"detail": "Bounded autonomous inspection began.",
"entity_ids": [
"DRONE-01",
"GOAL-INSPECT-01"
],
"event_code": "MISSION_STARTED",
"event_id": "EVT-001",
"evidence_ref": "CFG-BASELINE",
"previous_sha256": "GENESIS",
"sequence": 1,
"sha256": "6c9eae771c34e8c9750741cf70719c44f9938b87b0ab2d68e0edebede0e0e5c9",
"simulation_time": 0
}
],
"time_to_conflict": null,
"total_synthetic_reaction_latency_ms": 950,
"track_to_plan_latency_ms": 150,
"vehicle_estimated_state": {
"coordinate_system": "SYNTHETIC_NORMALIZED_SCENE_UNITS",
"heading_degrees": 47.94,
"id": "DRONE-01",
"position": [
-3.3928,
0,
-3.2072
],
"safety_envelope_radius": 0.72,
"speed_normalized_units_per_second": 0.701,
"velocity": [
0.5206,
0.0127,
0.4698
]
},
"vehicle_truth_state": {
"coordinate_system": "SYNTHETIC_NORMALIZED_SCENE_UNITS",
"heading_degrees": 47.94,
"id": "DRONE-01",
"position": [
-3.4,
0,
-3.2
],
"safety_envelope_radius": 0.72,
"speed_normalized_units_per_second": 0.701,
"velocity": [
0.5206,
0.0127,
0.4698
]
},
"world_truth": {
"geofence": {
"max": [
4,
2.6,
4
],
"min": [
-4,
-2.2,
-4
]
},
"no_go_regions": [],
"objective": {
"arrival_volume_radius": 0.55,
"id": "GOAL-INSPECT-01",
"position": [
3.35,
0.35,
3.25
]
},
"objects": [
{
"exists": false,
"id": "WORLD-OBJ-017",
"motion_class": "dynamic",
"observable": false,
"position": [
-2.6651,
0.05,
-0.05
],
"radius": 0.34,
"synthetic_object_type": "ABSTRACT MOVING OBJECT",
"track_id": "OBJ-017",
"velocity": [
0.72,
0,
0
]
}
],
"ownship": {
"coordinate_system": "SYNTHETIC_NORMALIZED_SCENE_UNITS",
"heading_degrees": 47.94,
"id": "DRONE-01",
"position": [
-3.4,
0,
-3.2
],
"safety_envelope_radius": 0.72,
"speed_normalized_units_per_second": 0.701,
"velocity": [
0.5206,
0.0127,
0.4698
]
}
}
},
"eventIndex": 0,
"frameDigest": "2138a0177acb3fc7607bfabf2e79d18281871a511a514efa5c6087409c722abc",
"metrics": {
"appliedCommandAgeMs": 0,
"authorityState": "CURRENT",
"autonomyMode": "NOMINAL",
"candidateCount": 0,
"currentPhysicalSeparation": 9,
"decisionDeadline": null,
"entityCount": 9,
"eventIndex": 0,
"eventProgress": 0,
"feasibleCandidateCount": 0,
"minimumPredictedSeparation": null,
"missionState": "TRANSIT",
"overlayCount": 5,
"planStatus": "FEASIBLE",
"planningRuntimeMs": 150,
"predictedGoalDelay": 0,
"proofStateCounts": {
"fail": 0,
"notApplicable": 0,
"notEvaluated": 14,
"pass": 1,
"unknown": 0
},
"reactionMargin": null,
"rejectedCandidateCount": 0,
"relationshipCount": 7,
"routeDeviation": 0,
"safetyEnvelopeMargin": null,
"safetyFilterIntervened": false,
"sensorToTrackLatencyMs": 200,
"simulationTime": 0,
"sourceFrameIndex": 0,
"timeToConflict": null,
"totalSyntheticReactionLatencyMs": 950,
"trackToPlanLatencyMs": 150
},
"narrative": "Bounded autonomous inspection began.",
"proofState": {
"checks": [
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 131,
"evidence": "Belief activation follows each object\u0027s observable and latency boundary.",
"id": "TRUTH_NOT_IN_BELIEF_BEFORE_OBSERVABLE",
"name": "World-truth objects are not present in autonomy belief before observability and detection",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 132,
"evidence": "All active tracks contain observation_refs.",
"id": "TRACKS_REFERENCE_OBSERVATIONS",
"name": "Every active track references one or more synthetic observations",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 133,
"evidence": "TRAJ-VERTICAL",
"id": "SELECTED_TRAJECTORY_FEASIBLE",
"name": "The selected planner trajectory is dynamically feasible under declared normalized constraints",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 134,
"evidence": "TRAJ-VERTICAL",
"id": "APPLIED_ACTION_RESPECTS_SAFETY_VOLUME",
"name": "The applied synthetic action is compliant or a minimum-risk hold/return",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 135,
"evidence": "TRAJ-VERTICAL",
"id": "INFEASIBLE_CANDIDATE_NOT_SELECTED",
"name": "An infeasible candidate cannot become the selected planner candidate",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 136,
"evidence": "COMPLETE",
"id": "CRITICAL_GATES_BLOCK_INSPECTION",
"name": "Existing critical gates cannot fail while the result remains an inspection state",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 137,
"evidence": "feasible=3; applied=TRAJ-VERTICAL",
"id": "MINIMUM_RISK_WHEN_NO_FEASIBLE",
"name": "Minimum-risk hold occurs when no compliant trajectory exists",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 138,
"evidence": "command=start-inspection; applied=TRAJ-VERTICAL",
"id": "HUMAN_OVERRIDE_PRECEDENCE",
"name": "Human hold, return, land, or abort dominates bounded autonomy where specified",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 139,
"evidence": "requested=TRAJ-VERTICAL; applied=TRAJ-VERTICAL",
"id": "SAFETY_FILTER_SEPARATE_FROM_PLANNER",
"name": "Planner intent and independent safety-filter output are recorded separately",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 140,
"evidence": "Applied action records include origin_frame_id, selected_candidate_id, and null-sink terminal.",
"id": "APPLIED_ACTION_REFERENCES_ORIGIN",
"name": "Every applied synthetic action references its originating frame and selected candidate",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 141,
"evidence": "be92f8a4853e953191a5d0702c660c0964e5a67e9435772c7deff78fe6568918",
"id": "APPEND_ORIENTED_AVOIDANCE_HISTORY",
"name": "Every avoidance state transition is append-oriented and hash chained",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 142,
"evidence": "SYNTHETIC_NORMALIZED_SCENE_UNITS",
"id": "NORMALIZED_COORDINATES_ONLY",
"name": "Only bounded normalized scene coordinates are emitted",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 143,
"evidence": "hardware_interfaces=[]; flight_protocols=[]; external_command_channel=false",
"id": "NO_REAL_HARDWARE_PROTOCOL_OUTPUT",
"name": "No real hardware, protocol, payload, targeting, weapon, or force output exists",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "AUTHORITATIVE DOMAIN ENGINE",
"status": "NOT EVALUATED"
},
{
"affectedEntityIds": [
"goal"
],
"affectedEventIndex": 144,
"evidence": "SYNTHETIC_NULL_SINK",
"id": "SYNTHETIC_NULL_SINK_TERMINATION",
"name": "Every derived result terminates at the synthetic null sink",
"researchReferences": [
"/docs/reports/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/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/autonomous-c2-simulation-architecture",
"/docs/reports/autonomous-delegation-architecture-research",
"/docs/reports/autonomous-system-assurance-platform",
"/docs/reports/autonomous-system-defensive-architecture",
"/docs/reports/autonomous-systems-uncertainty-architecture",
"/docs/reports/decision-provenance-system-architecture",
"/docs/reports/human-judgment-interface-design",
"/docs/reports/synthetic-kill-web-simulator-architecture",
"/docs/reports/designing-an-ai-simulation-for-real-time-evasion-and-goal-directed-navigation",
"/docs/reports/autonomous-simulation-mission-control",
"/docs/reports/machine-sovereign-assurance-research",
"/docs/reports/evulgare-simulation-workbench-research"
],
"scope": "WORKBENCH ADAPTER",
"status": "PASS"
}
],
"summary": {
"fail": 0,
"notApplicable": 0,
"notEvaluated": 14,
"pass": 1,
"unknown": 0
}
},
"scene": {
"camera": {
"distance": 13.5,
"pitch": 0.3,
"yaw": 0.62
},
"edges": [
{
"from": "planner",
"kind": "planner_request",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "safety-filter"
},
{
"from": "safety-filter",
"kind": "applied_synthetic_action",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "ownship"
},
{
"from": "human",
"kind": "supervises",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "safety-filter"
},
{
"from": "ownship",
"kind": "declared_objective",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "goal"
},
{
"from": "ownship",
"kind": "records_state",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "ledger"
},
{
"from": "ledger",
"kind": "derived_output_only",
"semanticLayers": [
"system"
],
"state": "baseline",
"to": "sink"
},
{
"from": "OBJ-017",
"kind": "observation_and_prediction",
"semanticLayers": [
"system",
"evidence",
"uncertainty"
],
"state": "baseline",
"to": "planner"
}
],
"nodes": [
{
"detail": "NOMINAL \u00b7 TRANSIT",
"id": "ownship",
"kind": "drone",
"label": "Synthetic inspection drone",
"position": [
-3.4,
0,
-3.2
],
"semanticLayers": [
"system"
],
"state": "supported"
},
{
"detail": "Declared fictional inspection objective",
"id": "goal",
"kind": "inspection-zone",
"label": "Declared inspection objective",
"position": [
3.35,
0.35,
3.25
],
"semanticLayers": [
"system"
],
"state": "supported"
},
{
"detail": "Synthetic -4 to +4 scene-unit boundary",
"id": "geofence",
"kind": "geofence",
"label": "Normalized operating volume",
"position": [
0,
0.2,
0
],
"semanticLayers": [
"system"
],
"state": "supported"
},
{
"detail": "FEASIBLE \u00b7 0 candidates",
"id": "planner",
"kind": "planner",
"label": "Deterministic candidate planner",
"position": [
-2.8,
1.7,
2.8
],
"semanticLayers": [
"system"
],
"state": "supported"
},
{
"detail": "PENDING",
"id": "safety-filter",
"kind": "assurance",
"label": "Independent safety filter",
"position": [
0,
2,
2.8
],
"semanticLayers": [
"system",
"assurance"
],
"state": "baseline"
},
{
"detail": "start-inspection \u00b7 AVAILABLE",
"id": "human",
"kind": "human",
"label": "Human supervisor",
"position": [
2.8,
1.7,
2.8
],
"semanticLayers": [
"authority"
],
"state": "supported"
},
{
"detail": "Source frame FRAME-0000 \u00b7 canonical history preserved",
"id": "ledger",
"kind": "provenance",
"label": "Append-oriented evidence timeline",
"position": [
-1.4,
-1.8,
2.5
],
"semanticLayers": [
"evidence"
],
"state": "supported"
},
{
"detail": "No derived control state leaves the simulation",
"id": "sink",
"kind": "null-sink",
"label": "Synthetic null sink",
"position": [
1.4,
-1.8,
2.5
],
"semanticLayers": [
"system"
],
"state": "safe"
},
{
"detail": "World-truth object not yet represented in autonomy belief",
"id": "OBJ-017",
"kind": "tracked-object",
"label": "ABSTRACT MOVING OBJECT",
"position": [
-2.6651,
0.05,
-0.05
],
"semanticLayers": [
"evidence"
],
"state": "hidden"
}
],
"overlays": [
{
"id": "route-nominal",
"kind": "polyline",
"label": "Nominal route",
"points": [
[
-3.4,
0,
-3.2
],
[
-1.35,
0.05,
-1.35
],
[
0.05,
0.1,
0.1
],
[
1.55,
0.18,
1.65
],
[
3.35,
0.35,
3.25
]
],
"semanticLayers": [
"system"
],
"state": "baseline",
"style": "dashed"
},
{
"id": "route-active",
"kind": "polyline",
"label": "Committed active trajectory",
"points": [
[
-3.4,
0,
-3.2
],
[
-1.35,
0.05,
-1.35
],
[
0.05,
0.1,
0.1
],
[
1.55,
0.18,
1.65
],
[
3.35,
0.35,
3.25
]
],
"semanticLayers": [
"system",
"events"
],
"state": "supported",
"style": "solid"
},
{
"center": [
-3.4,
0,
-3.2
],
"id": "ownship-safety-envelope",
"kind": "wire-sphere",
"label": "Synthetic safety envelope",
"radius": 0.72,
"semanticLayers": [
"assurance"
],
"state": "safe"
},
{
"id": "ownship-velocity",
"kind": "vector",
"label": "Velocity vector",
"points": [
[
-3.4,
0,
-3.2
],
[
-2.93146,
0.01143,
-2.77718
]
],
"semanticLayers": [
"metrics"
],
"state": "baseline"
},
{
"center": [
-3.4,
0,
-3.2
],
"id": "sensor-envelope",
"kind": "wire-sphere",
"label": "Synthetic perception envelope",
"radius": 3.1,
"semanticLayers": [
"evidence"
],
"state": "baseline"
}
],
"sourceFrameDigest": "dcb7c045112ebb1cc537eb8217b4559bdcf263dda50253c97a1825f6783c609a",
"sourceFrameId": "FRAME-0000"
},
"selectedEntityId": "goal",
"simulationTime": 0,
"sourceFrameDigest": "dcb7c045112ebb1cc537eb8217b4559bdcf263dda50253c97a1825f6783c609a",
"sourceFrameId": "FRAME-0000",
"sourceFrameIndex": 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.