Credential walker.
xAPI statement → OpenBadges 3.0 envelope → LTI 1.3 presentation. Click any node, see the standard that owns it.
the unit of learning evidence
xAPI 1.0.3 statements are the atom — {actor, verb, object} with optional result, context, timestamp. EducationOS LRS persists statements with voided=false by default and exposes the standard /statements query surface. Verbs come from ADL's registry; activities are typed by IRI so cross-platform aggregation is unambiguous.
Anatomy — operational specs
the credential envelope
OpenBadges 3.0 is a W3C Verifiable Credential profile. credentialSubject.achievement carries the human-readable claim; evidence[] points back to the xAPI statements (or any URI) that justify it. Proof is a DataIntegrityProof (suite eddsa-rdfc-2022) so verification is offline and replayable.
Anatomy — operational specs
course launch + roster
LTI 1.3 (IMS) handles the launch contract between platform and tool: OIDC third-party-initiated login, a signed JWT id_token carrying claim ResourceLinkRequest, and the Names-and-Roles Provisioning Service for live roster pulls. Assignment-and-Grade Services round-trip score back to the platform when xAPI isn't enough.
Anatomy — operational specs
the aggregate over evidence
The Learning Record Store is the canonical aggregate. Queries hit /statements with filters {agent, verb, activity, since, until} and the server returns a paginated list. EducationOS publishes prebuilt aggregates (total_duration, statements_count, last_passed) per (actor, framework) so downstream callers don't have to re-page.
Anatomy — operational specs
framework alignment
CASE 1.0 (1EdTech) models standards frameworks as CFDocument → CFItem with stable URIs. EducationOS binds course outcomes to CFItems so an xAPI completed statement carries the framework citation alongside the activity; an OpenBadges credential's evidence then re-cites the same item. Auditors check the framework, not the syllabus.
Anatomy — operational specs
EducationOS, in one line
education, made inspectable.
Click anything. The same primitives that compose the rest of the Transaction Science family — receipts, joules, signed transport — show up here too. The family is one system.