File size: 2,869 Bytes
1d3f990 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 | % Facts: Agent Registry and Identity
% LOGIC-FOUNDRY Sovereign Agent Directive
:- module(agents, [
agent_registered/2,
agent_active/2,
agent_capability/3,
agent_trust_level/2
]).
% agent_registered(AgentID, Metadata)
% Metadata: atom_record(name, role, origin_kernel, trust_tier)
agent_registered(loc, atom_record('LOC Executor', executor, rust, tier_1)).
agent_registered(forge, atom_record('Forge Builder', adapter, rust, tier_1)).
agent_registered(sentinel, atom_record('Sentinel Auditor', verifier, haskell, tier_1)).
agent_registered(cipher, atom_record('Cipher Crypto', adapter, rust, tier_0)).
agent_registered(metatron, atom_record('Metatron Seal', validator, haskell, tier_1)).
agent_registered(phantom, atom_record('Phantom Logger', observer, rust, tier_2)).
agent_registered(resonance, atom_record('Resonance Math', compute, haskell, tier_1)).
% agent_active(AgentID, IsActive)
% An agent is active if it has a valid registration and has not been revoked
agent_active(loc, true).
agent_active(forge, true).
agent_active(sentinel, true).
agent_active(cipher, true).
agent_active(metatron, true).
agent_active(phantom, true).
agent_active(resonance, true).
% agent_capability(AgentID, Capability, SupportedRuntime)
% Maps which capabilities each agent can exercise on which runtimes
agent_capability(loc, dispatch, rust).
agent_capability(loc, dispatch, emoji).
agent_capability(loc, execute, holyc).
agent_capability(loc, orchestrate, ada).
agent_capability(forge, build, rust).
agent_capability(forge, verify, rust).
agent_capability(forge, emit_artifact, rust).
agent_capability(sentinel, audit, haskell).
agent_capability(sentinel, verify, ada).
agent_capability(sentinel, verify, haskell).
agent_capability(sentinel, attest, haskell).
agent_capability(cipher, seal, rust).
agent_capability(cipher, sign, rust).
agent_capability(cipher, revoke, rust).
agent_capability(metatron, finalize, haskell).
agent_capability(metatron, worm_seal, haskell).
agent_capability(metatron, meta_verify, haskell).
agent_capability(phantom, log, rust).
agent_capability(phantom, observe, rust).
agent_capability(phantom, collect_metrics, rust).
agent_capability(resonance, compute, haskell).
agent_capability(resonance, synthesize, haskell).
agent_capability(resonance, verify_math, haskell).
% agent_trust_level(AgentID, TrustTier)
% tier_0: Crypto material (cipher, key-holder)
% tier_1: Trusted core execution (loc, forge, sentinel, metatron, resonance)
% tier_2: Observational (phantom, logging)
agent_trust_level(loc, tier_1).
agent_trust_level(forge, tier_1).
agent_trust_level(sentinel, tier_1).
agent_trust_level(cipher, tier_0).
agent_trust_level(metatron, tier_1).
agent_trust_level(phantom, tier_2).
agent_trust_level(resonance, tier_1).
|