Semiconductor Domain: secure isolation

Safe Agent Execution Gets Localized Obligations

HALO proposes localized obligations for admitting and supervising heterogeneous agent actions safely.