V-Matrix → Markdown Table Generation

Renders a VMatrix as a Markdown table.

def VerifiedMBSE.Output.vvRecordToMdCell (r : VV.VVRecord) : String

Convert a VVRecord to a Markdown cell string.

Equations

• VerifiedMBSE.Output.vvRecordToMdCell r = toString r.spec_name ++ toString " " ++ toString (if (r.validation.currentLevel == 1.0) = true then "✅" else "⏳")

def VerifiedMBSE.Output.columnCells (col : Matrix.VColumn) (l : VV.Layer) : List String

Return a list of cell strings for a specific layer.

Equations

• VerifiedMBSE.Output.columnCells col l = List.map VerifiedMBSE.Output.vvRecordToMdCell (col.atLayer l)

def VerifiedMBSE.Output.VMatrix.toMarkdown (m : Matrix.VMatrix) (title : String := "Satellite") : String

Convert a VMatrix to a Markdown table string.

The rendered layers are fixed to the three-layer subset [.system, .subsystem, .component], which matches the structure of the current satellite examples. Extending the table to all seven ECSS layers only requires expanding this layers list.

Equations

• One or more equations did not get rendered due to their size.