learning:complete
learning family
Grants credits and records pending reward when a learner completes a course stage. FINDING: falls back to data.workspace when the caller is unattested
- Effect
- ask
- Awaits an outcome — the call returns the response below.
- Caller
- session
- The class of authority the caller must already hold, decided from the attested context with no round trip.
- Reversible
- no
- This cannot be undone. Dry-run it first where the contract allows.