Vraelis
Start verification
Skip to content
Workspace
OverviewSystemsGuaranteesVerificationsRecorded evidenceReviewRecords
Platform
ConnectionsAPI and SDKsCommand line
OrganizationTeamPlansCreditsUsageLimitsBillingAccount
Back to site

Verification tools Beta

Recorded evidence

Trace a task from request to reported completion.

Local evaluation

Your file stays in this browser tab. This evaluates recorded states, not physical safety.

01 Recording

Explore simulated examples

02 Criteria

What these criteria require

One fresh control request, service acceptance, device completion, then control completion within the time window. All three sources need uninterrupted capture through the deadline. Named unchanged assets also need a device baseline.

The file declares a shared Unix clock and source coverage. Those declarations are not independently attested.

Follow the evidence.

Import a task recording or explore an example. Review the criteria to see which sources agree and what remains unobserved.

Accepts normalized JSON and uncompressed MCAP with JSON task-event topics. ROS CDR and live connections are not supported yet.