tawasuyu/arje
> Standalone repository, extracted from the tawasuyu monorepo at tag v0.3.3. The domain's code lives under 03ukupacha/arje/; the foundational crates it shares with the rest of the suite come in as git dependencies pinned to that tag. cargo…
⎇ d6b8f18b43c9bd9bf7268e48b61392a2d62bb229
crates/ente-zero/src/graph/mod.rs
History
Who touched what
raw
Pausa: 11 crates del fractal Ente #0 con cerebro completo
1//! `EnteGraph`: estado del fractal vivo en PID 1.
2//!
3//! Diseño:
4//! - Submódulos por concern: lifecycle, topology, shutdown, bus_mediator,
5//! devices, capabilities. Cada uno extiende `impl EnteGraph` con métodos
6//! relacionados.
7//! - Estado plano (no substructs todavía) — la separación es por
8//! comportamiento, no por compartimentación de datos.
9//! - Toda mutación pasa por el bucle primordial vía `GraphEvent`. Los
10//! submódulos se llaman desde `main.rs::primordial_loop`.
11
12mod bus_mediator;
13mod capabilities;
14mod devices;
15mod lifecycle;
16mod shutdown;
17mod topology;
18
19use ente_bus::{BusMessage, BusResponse};
20use ente_card::{Capability, EntityCard};
21use nix::unistd::Pid;
22use std::collections::{BTreeMap, BTreeSet, HashMap};
23use tokio::sync::{mpsc, oneshot};
24use ulid::Ulid;
25
26pub use shutdown::SHUTDOWN_GRACE;
27
28/// Bit alto encendido en `seq` para invokes server-iniciados — evita choque
29/// con secuencias allocadas por clientes.
30pub(in crate::graph) const SERVER_SEQ_FLAG: u64 = 1u64 << 63;
31
32pub struct EnteGraph {
33 pub(in crate::graph) seed: EntityCard,
34 /// Entes encarnados como proceso o nodo virtual. id↔pid bidireccional.
35 pub(in crate::graph) incarnated: HashMap<Ulid, Incarnated>,
36 pub(in crate::graph) by_pid: HashMap<i32, Ulid>,
37 /// Quién provee qué capacidad. Resuelve `requires` y `pick_invokable`.
38 pub(in crate::graph) providers: BTreeMap<Capability, BTreeSet<Ulid>>,
39 /// Tokens de capability emitidos. Revocables al morir el proveedor.
40 pub(in crate::graph) next_token: u64,
41 pub(in crate::graph) grants: HashMap<u64, GrantedCapability>,
42 /// Dispositivos del kernel presentes (devpath → última UEvent).
43 pub(in crate::graph) devices: HashMap<String, ente_kernel::UEvent>,
44 /// Cards genesis pendientes de instanciar (extraídas de la Semilla).
45 pub(in crate::graph) pending_genesis: Vec<EntityCard>,
46 /// Hijos directos por lineage. parent → [child, ...].
47 pub(in crate::graph) children: HashMap<Ulid, Vec<Ulid>>,
48 /// Conexiones del bus indexadas por la identidad anunciada y verificada
49 /// con SO_PEERCRED. El value es el extremo de escritura del writer task.
50 pub(in crate::graph) bus_connections: HashMap<Ulid, mpsc::Sender<BusMessage>>,
51 /// Invokes forwardeados pendientes de respuesta del proveedor.
52 pub(in crate::graph) pending_invokes: HashMap<u64, oneshot::Sender<BusResponse>>,
53 pub(in crate::graph) next_invoke_seq: u64,
54}
55
56pub(in crate::graph) struct Incarnated {
57 pub card: EntityCard,
58 pub pid: Option<Pid>,
59}
60
61pub(in crate::graph) struct GrantedCapability {
62 pub cap: Capability,
63 pub provider: Ulid,
64 pub holder: Ulid,
65}
66
67impl EnteGraph {
68 pub fn new(mut seed: EntityCard) -> Self {
69 // Extraemos genesis antes de almacenar la Semilla — evita duplicación
70 // en `incarnated[seed.id]`.
71 let pending_genesis = std::mem::take(&mut seed.genesis);
72 let mut g = Self {
73 seed: seed.clone(),
74 incarnated: HashMap::new(),
75 by_pid: HashMap::new(),
76 providers: BTreeMap::new(),
77 next_token: 1,
78 grants: HashMap::new(),
79 devices: HashMap::new(),
80 pending_genesis,
81 children: HashMap::new(),
82 bus_connections: HashMap::new(),
83 pending_invokes: HashMap::new(),
84 next_invoke_seq: 0,
85 };
86 // El Ente #0 se inscribe a sí mismo como proveedor de las capacidades
87 // que su Card declara — sólo así los hijos pueden requerirlas.
88 g.register_provider(&seed);
89 g.incarnated.insert(seed.id, Incarnated { card: seed, pid: None });
90 g
91 }
92
93 pub fn lookup_pid(&self, pid: Pid) -> Option<Ulid> {
94 self.by_pid.get(&pid.as_raw()).copied()
95 }
96
97 /// Acceso read-only a la Card de un Ente vivo. Usado por el cerebro
98 /// para hidratar `SubjectInfo` sin clonar todo el mapa.
99 pub fn peek_card(&self, id: &Ulid) -> Option<&EntityCard> {
100 self.incarnated.get(id).map(|i| &i.card)
101 }
102
103 /// Identidad de la Semilla. Usado como `requester` para spawns generados
104 /// por reglas auto-cristalizadas (única identidad con Capability::Spawn).
105 pub fn seed_id(&self) -> Ulid {
106 self.seed.id
107 }
108
109 /// Captura el estado live como snapshot serializable. Excluye la Semilla
110 /// (será re-sintetizada al restore con su seed_id preservado).
111 pub fn snapshot(&self) -> ente_snapshot::FractalSnapshot {
112 let entes: Vec<EntityCard> = self.incarnated.iter()
113 .filter(|(id, _)| **id != self.seed.id)
114 .map(|(_, inc)| inc.card.clone())
115 .collect();
116 ente_snapshot::FractalSnapshot {
117 version: ente_snapshot::SNAPSHOT_VERSION,
118 timestamp_ms: ente_snapshot::now_ms(),
119 seed_id: self.seed.id,
120 seed_label: self.seed.label.clone(),
121 entes,
122 }
123 }
124
125 pub(in crate::graph) fn register_provider(&mut self, card: &EntityCard) {
126 for cap in &card.provides {
127 self.providers.entry(cap.clone()).or_default().insert(card.id);
128 }
129 }
130
131 pub(in crate::graph) fn unregister_provider(&mut self, card: &EntityCard) {
132 for cap in &card.provides {
133 if let Some(set) = self.providers.get_mut(cap) {
134 set.remove(&card.id);
135 }
136 }
137 // Revocar grants emitidos por el Ente fallecido.
138 let revoked: Vec<u64> = self.grants.iter()
139 .filter(|(_, g)| g.provider == card.id)
140 .map(|(t, _)| *t)
141 .collect();
142 for t in revoked {
143 self.grants.remove(&t);
144 }
145 }
146
147 /// El Ente #0 (semilla) tiene todas sus capacidades declaradas. Otros
148 /// las tienen si su Card las declara o si poseen un grant vivo.
149 pub(in crate::graph) fn holder_has(&self, holder: Ulid, cap: &Capability) -> bool {
150 if holder == self.seed.id {
151 return self.seed.provides.contains(cap);
152 }
153 if let Some(inc) = self.incarnated.get(&holder) {
154 if inc.card.provides.contains(cap) { return true; }
155 }
156 self.grants.values().any(|g| g.holder == holder && &g.cap == cap)
157 }
158}