CytoscapeExporter

Renders a laid-out Vista to the JSON format cytoscape.js consumes via cy.json({...}) or fetch('graph.cyjson').then(cy.add).

Positions are taken from com.stigway.metamodels.vista.Position populated by Layout.layout; cytoscape's preset layout consumes them verbatim, so the runtime doesn't re-layout the graph unless the user toggles the layout selector.

Classes encode cascading-fault state, symbolic reachability, and ASIL. stig-cyto-embed.js binds them to visual styles.