| % 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). | |