Error reports: text, compact and JSON

using RecursiveAI.OneEcma;
using RecursiveAI.OneEcma.Diagnostics;
 
const string checkout = """
    async function loadOrder(id) {
      return { id, lineItems: [{ price: 4 }, { price: 6 }], total: 10 };
    }
 
    async function main() {
      const order = await loadOrder(7);
      const total = order.items.reduce((sum, i) => sum + i.price, 0);
      return total;
    }
 
    main();
    """;
 
var engine = new ScriptEngine();
try
{
    engine.Evaluate(checkout, "checkout.js");              // the rejection is unhandled, so Evaluate throws
}
catch (JsException e)
{
    Diagnostic report = e.Report!;
 
    Console.WriteLine("--- e.Message");
    Console.WriteLine(e.Message);
 
    Console.WriteLine("--- the full report");
    Console.WriteLine(DiagnosticRenderer.Render(report));
 
    Console.WriteLine("--- with locals");
    Console.WriteLine(DiagnosticRenderer.Render(report, new RenderOptions { ShowLocals = true }));
 
    Console.WriteLine("--- compact, for a model's context");
    Console.WriteLine(DiagnosticRenderer.Render(report, new RenderOptions { Compact = true }));
 
    Console.WriteLine("--- JSON");
    Console.WriteLine(DiagnosticJson.Render([report], new JsonRenderOptions { Indented = true }));
 
    Console.WriteLine("--- the same facts as objects");
    Console.WriteLine($"{report.Kind} {report.Code} at {report.Position.Line}:{report.Position.Column}");
    foreach (DidYouMean d in report.Suggestions) Console.WriteLine($"did you mean {d.Name}: {d.Description}");
}

--- e.Message
TypeError: Cannot read properties of undefined (reading 'reduce')
--- the full report
error[TypeError]: Cannot read properties of undefined (reading 'reduce')
 --> checkout.js:7:23
  |
6 |   const order = await loadOrder(7);
  |                 ------------------ `order` comes from here: { id, lineItems, total }
7 |   const total = order.items.reduce((sum, i) => sum + i.price, 0);
  |                       ^^^^^ `order.items` is undefined
  |
  = help: did you mean `order.lineItems`? (Array, 2 items)
  = stack: main (checkout.js:7)
 
--- with locals
error[TypeError]: Cannot read properties of undefined (reading 'reduce')
 --> checkout.js:7:23
  |
6 |   const order = await loadOrder(7);
  |                 ------------------ `order` comes from here: { id, lineItems, total }
7 |   const total = order.items.reduce((sum, i) => sum + i.price, 0);
  |                       ^^^^^ `order.items` is undefined
  |
  = help: did you mean `order.lineItems`? (Array, 2 items)
  = stack: main (checkout.js:7)
  = locals in main: order = { id, lineItems, total }, total = <uninitialized>
 
--- compact, for a model's context
error[TypeError]: Cannot read properties of undefined (reading 'reduce')
 --> checkout.js:7:23
6 |   const order = await loadOrder(7);
  |                 ------------------ `order` comes from here: { id, lineItems, total }
7 |   const total = order.items.reduce((sum, i) => sum + i.price, 0);
  |                       ^^^^^ `order.items` is undefined
  = help: did you mean `order.lineItems`? (Array, 2 items)
 
--- JSON
{
  "version": 1,
  "format": "oneecma.report",
  "summary": {
    "errors": 1,
    "warnings": 0,
    "repairs": 0
  },
  "diagnostics": [
    {
      "kind": "TypeError",
      "code": "runtime",
      "severity": "error",
      "headline": "Cannot read properties of undefined (reading 'reduce')",
      "source": {
        "name": "checkout.js",
        "length": 255
      },
      "span": {
        "start": 185,
        "end": 190,
        "line": 7,
        "column": 23,
        "endLine": 7,
        "endColumn": 28
      },
      "label": "`order.items` is undefined",
      "secondary": [
        {
          "span": {
            "start": 143,
            "end": 161,
            "line": 6,
            "column": 17,
            "endLine": 6,
            "endColumn": 35
          },
          "message": "`order` comes from here: { id, lineItems, total }"
        }
      ],
      "notes": [],
      "help": [
        "did you mean `order.lineItems`? (Array, 2 items)"
      ],
      "fixes": [],
      "recovery": [],
      "stack": [
        {
          "function": "main",
          "source": {
            "name": "checkout.js",
            "length": 255
          },
          "span": {
            "start": 179,
            "end": 190,
            "line": 7,
            "column": 17,
            "endLine": 7,
            "endColumn": 28
          },
          "async": false,
          "locals": [
            {
              "name": "order",
              "value": "{ id, lineItems, total }"
            },
            {
              "name": "total",
              "value": "<uninitialized>"
            }
          ]
        }
      ],
      "provenance": [
        {
          "source": {
            "name": "checkout.js",
            "length": 255
          },
          "span": {
            "start": 143,
            "end": 161,
            "line": 6,
            "column": 17,
            "endLine": 6,
            "endColumn": 35
          },
          "description": "`order` comes from here: { id, lineItems, total }"
        }
      ],
      "didYouMean": [
        {
          "name": "order.lineItems",
          "description": "Array, 2 items"
        }
      ]
    }
  ]
}
--- the same facts as objects
TypeError runtime at 7:23
did you mean order.lineItems: Array, 2 items