Modular Open Architecture and Vendor Swap

1. 0.000Scenario ready
   The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.SCENARIO_READY
2. 0.500Inputs validated
   6 allowlisted inputs were normalized. No operational field, external command channel, or persistent public state was accepted.INPUTS_VALIDATED
3. 1.000Authoritative engine evaluated
   The deterministic Python domain engine evaluated the normalized input. The browser renderer did not calculate the result.AUTHORITATIVE_ENGINE_EVALUATED
4. 1.500Abstract hardware
   Abstract hardware entered the supported state.ENTITY_ABSTRACT_HARDWARE_SUPPORTED
5. 2.000Runtime layer
   Runtime layer entered the supported state.ENTITY_RUNTIME_LAYER_SUPPORTED
6. 2.500Government-owned interface
   Government-owned interface entered the invalidated state. Interface or rights boundary blocks swap.ENTITY_GOVERNMENT_OWNED_INTERFACE_INVALIDATED
7. 3.000Mission application
   Mission application entered the supported state.ENTITY_MISSION_APPLICATION_SUPPORTED
8. 3.500Conformance sandbox
   Conformance sandbox entered the invalidated state. Conformance failed.ENTITY_CONFORMANCE_SANDBOX_INVALIDATED
9. 4.000End-to-end thread
   End-to-end thread entered the invalidated state. VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARY.ENTITY_END_TO_END_THREAD_INVALIDATED
10. 4.500Rollback baseline
    Rollback baseline entered the supported state. Rollback baseline ready.ENTITY_ROLLBACK_BASELINE_SUPPORTED
11. 5.000INV-01 — Component pass is distinguished from thread pass
    Proof state is PASS. VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARYPROOF_INV_01_PASS
12. 5.500INV-02 — A proprietary interface can block a vendor swap
    Proof state is PASS. VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARYPROOF_INV_02_PASS
13. 6.000INV-03 — No real procurement recommendation is generated
    Proof state is PASS. This abstract acquisition lab does not generate a solicitation, endorse a vendor, or provide contracting or legal advice.PROOF_INV_03_PASS
14. 6.500Deterministic run complete
    The authoritative result is VENDOR SWAP BLOCKED — PROPRIETARY BOUNDARY. The run is reproducible from the exact versions and normalized inputs recorded in this envelope.RUN_COMPLETE

{
  "domainState": null,
  "eventIndex": 0,
  "frameDigest": "3c34cb7994d793c58c186b64e93fcb389ec9489ad62a2c4e7074b45b31c0ef86",
  "metrics": {
    "conditionsComponentPassesConformance": 0,
    "conditionsInterfaceSpecificationAvailable": 1,
    "conditionsRequiredInterfaceAndDataRightsSecured": 0,
    "conditionsRollbackBaselineReady": 1,
    "conditionsUpdateAuthorizationEvidenceCurrent": 1,
    "entityCount": 7,
    "entityStateCounts": {
      "qualified": 3,
      "supported": 4
    },
    "eventIndex": 0,
    "eventProgress": 0,
    "proofStateCounts": {
      "fail": 0,
      "notApplicable": 0,
      "notEvaluated": 3,
      "pass": 1,
      "unknown": 0
    },
    "relationshipCount": 7,
    "vendorSwapRequested": 1
  },
  "narrative": "The bounded synthetic scenario, versions, assumptions, and default visualization state are available for inspection.",
  "proofState": {
    "checks": [
      {
        "affectedEntityIds": [
          "hw"
        ],
        "affectedEventIndex": 10,
        "evidence": "VENDOR SWAP BLOCKED \u2014 PROPRIETARY BOUNDARY",
        "id": "INV-01",
        "name": "Component pass is distinguished from thread pass",
        "researchReferences": [
          "/docs/reports/dod-kill-web-acquisition-research",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/synthetic-kill-web-simulator-architecture",
          "/docs/reports/evulgare-commercialization-and-acquisition-strategy",
          "/docs/reports/evulgare-simulation-workbench-research"
        ],
        "scope": "AUTHORITATIVE DOMAIN ENGINE",
        "status": "NOT EVALUATED"
      },
      {
        "affectedEntityIds": [
          "hw"
        ],
        "affectedEventIndex": 11,
        "evidence": "VENDOR SWAP BLOCKED \u2014 PROPRIETARY BOUNDARY",
        "id": "INV-02",
        "name": "A proprietary interface can block a vendor swap",
        "researchReferences": [
          "/docs/reports/dod-kill-web-acquisition-research",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/synthetic-kill-web-simulator-architecture",
          "/docs/reports/evulgare-commercialization-and-acquisition-strategy",
          "/docs/reports/evulgare-simulation-workbench-research"
        ],
        "scope": "AUTHORITATIVE DOMAIN ENGINE",
        "status": "NOT EVALUATED"
      },
      {
        "affectedEntityIds": [
          "hw"
        ],
        "affectedEventIndex": 12,
        "evidence": "This abstract acquisition lab does not generate a solicitation, endorse a vendor, or provide contracting or legal advice.",
        "id": "INV-03",
        "name": "No real procurement recommendation is generated",
        "researchReferences": [
          "/docs/reports/dod-kill-web-acquisition-research",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/synthetic-kill-web-simulator-architecture",
          "/docs/reports/evulgare-commercialization-and-acquisition-strategy",
          "/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/dod-kill-web-acquisition-research",
          "/docs/reports/autonomous-weapons-simulation-platform",
          "/docs/reports/synthetic-kill-web-simulator-architecture",
          "/docs/reports/evulgare-commercialization-and-acquisition-strategy",
          "/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": "hw",
        "kind": "hosts",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "os"
      },
      {
        "from": "os",
        "kind": "exposes",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "api"
      },
      {
        "from": "api",
        "kind": "integrates",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "app"
      },
      {
        "from": "api",
        "kind": "tested_by",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "test"
      },
      {
        "from": "app",
        "kind": "contributes",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "thread"
      },
      {
        "from": "test",
        "kind": "qualifies",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "thread"
      },
      {
        "from": "rollback",
        "kind": "protects",
        "semanticLayers": [
          "system"
        ],
        "state": "baseline",
        "to": "thread"
      }
    ],
    "nodes": [
      {
        "detail": "",
        "id": "hw",
        "kind": "hardware",
        "label": "Abstract hardware",
        "position": [
          -3,
          0,
          0
        ],
        "semanticLayers": [
          "system"
        ],
        "state": "supported"
      },
      {
        "detail": "",
        "id": "os",
        "kind": "runtime",
        "label": "Runtime layer",
        "position": [
          -1.5,
          0,
          0
        ],
        "semanticLayers": [
          "metrics"
        ],
        "state": "supported"
      },
      {
        "detail": "",
        "id": "api",
        "kind": "interface",
        "label": "Government-owned interface",
        "position": [
          0,
          0,
          0
        ],
        "semanticLayers": [
          "system"
        ],
        "state": "qualified"
      },
      {
        "detail": "",
        "id": "app",
        "kind": "application",
        "label": "Mission application",
        "position": [
          1.5,
          0,
          0
        ],
        "semanticLayers": [
          "system"
        ],
        "state": "supported"
      },
      {
        "detail": "",
        "id": "test",
        "kind": "test",
        "label": "Conformance sandbox",
        "position": [
          0,
          -2,
          0
        ],
        "semanticLayers": [
          "system"
        ],
        "state": "qualified"
      },
      {
        "detail": "",
        "id": "thread",
        "kind": "thread",
        "label": "End-to-end thread",
        "position": [
          3,
          0,
          0
        ],
        "semanticLayers": [
          "system"
        ],
        "state": "qualified"
      },
      {
        "detail": "",
        "id": "rollback",
        "kind": "recovery",
        "label": "Rollback baseline",
        "position": [
          1.5,
          -2,
          0
        ],
        "semanticLayers": [
          "system",
          "events"
        ],
        "state": "supported"
      }
    ],
    "overlays": []
  },
  "selectedEntityId": null,
  "simulationTime": 0
}