12. Service Invocations🔗

Service entry points that the protocol invokes via the JAVM (GP §11, Appendix B).

In jar1, service code runs inside the capability kernel. Protocol capabilities (GAS, FETCH, STORAGE_R, etc.) replace direct host-call numbers — the kernel dispatches ecalli to the appropriate protocol cap, which exits to the host. REPLY returns results to the calling VM rather than writing to a halt address. See the Capability Kernel chapter for the execution model.

1. 12.1. Storage Affordability
2. 12.2. Is-Authorized
3. 12.3. Refinement
4. 12.4. Work-Report Computation
5. 12.5. Accumulation Input
6. 12.6. On-Transfer
7. 12.7. Auditing
8. 12.8. Host-Call Interface