xAPI Video events don't report required progress for paused, terminated, completed verbs

The progress extension is:

Used to expresses the percentage of media consumed by the actor.

We are required to emit it in certain cases:

The LRP MUST assign progress value to statements with "paused", "terminated" and "completed" verbs.

Used to expresses the percentage of media consumed by the actor.
LRP Obligations
The LRP MUST assign progress value to statements with "paused", "terminated" and "completed" verbs.

It should be represented in the statement as follows:

    "result": {
        "completion": true,
        "extensions": {
            "https://w3id.org/xapi/video/extensions/played-segments": "0[.]46.613",
            "https://w3id.org/xapi/video/extensions/progress": 1,
            "https://w3id.org/xapi/video/extensions/time": 46.613
        }
    }

Full sample events are available here.

Start by locating the event transformation path for xAPI Video statements and compare handling of paused, terminated, and completed verbs. Use the linked xAPI Video Profile templates as the expected format; done means those statements include the progress extension in result.extensions, with tests covering the required verbs.