event_log format

The API docs says:

```
event_log
Array of integers [ items ]

Log of all events that get extended to RTMRs (runtime-extendable measurement registers). RTMR event log is available through ACPI.
```

a naive interpretation suggests that this is about reading the CCEL table and adding a base64 encoded string of the TCG formatted file to the request. However, that errors with a bad request.

Looking at the client code here, I can see it's parsing the CCEL file to drop the TCG format to build a custom JSON. Is there a doc somewhere what's in `event_log` that is passed via the REST API?

Start with the client code that parses the CCEL file and builds the event_log JSON sent through the REST API, then compare it with the API documentation and the bad-request behavior described here. Done means documenting the exact event_log structure and encoding expected by the API.

Written by the indexing model from the issue text.