Fonaments Tècnics
Fonaments tècnics per a enginyers que construeixen sistemes espacials deterministes: contenidors, reproducció i l'arquitectura de tres capes que impulsa un estat mundial fiable.
Conceptes Bàsics
Asset Core és un motor espacial-transactional determinista que tracta l’estat del món com una sèrie de transformacions atòmiques i reproduïbles. Quan les aplicacions, l’automatització o les eines d’agents executen operacions—des d’afegir elements a un contenidor fins a moure entitats a través d’una graella—cada mutació es registra en un registre de compromisos només d’append que serveix com a única font de veritat. Això fa que el temps d’execució sigui auditable per disseny i permet una recuperació precisa després de fallades.
Aquesta arquitectura garanteix que:
- La mateixa seqüència d’esdeveniments sempre produeix el mateix estat final (determinisme)
- Qualsevol punt en el temps es pot reconstruir reproduint el registre de commits (reproducció)
- L’estat intern i les notificacions externes mai divergeixen (consistència)
- Totes les operacions són atòmiques i transaccionals (fiabilitat)
Tipus de contenidors
Els sistemes operen en entorns amb diferents estructures espacials. Asset Core proporciona tipus de contenidors de primera classe per a cadascun, modelant els contenidors com a objectes tipats espacialment on cadascun representa un tipus distint d’espai adreçable. La clau és que el mateix model de transacció s’aplica a tot arreu, així que no necessiteu una infraestructura diferent per a cada tipus de contenidor. El sistema actualment suporta:
Contenidors 0-Dimensionals
- Balances: quantitats algebraiques 0D (punt fix) sense coordenades espacials. S’utilitzen per a moneda, recursos o qualsevol quantitat que no ocupi espai.
- Slots: Posicions discretes i numerades (1, 2, …, N) sense relacions geomètriques. S’utilitzen per a slots d’equipament, llistes ordenades o posicions semàntiques.
Gres de Discreció (1D/2D)
- 1D Grids (ℤ): Reixetes lineals amb posicions seqüencials. Suporten la col·locació de formes, les col·lisions i les restriccions espacials al llarg d’un únic eix.
- Gresols 2D (ℤ²): Reixetes bidimensionals (amplada × altura) amb semàntica geomètrica completa. Suporten formes de múltiples cel·les, rotació, adjacència i detecció de col·lisions.
Espais Contínuos (1D/2D)
- 1D Continu (ℝ): Coordenades de punt fix al llarg d’una línia per a rails, ascensors i robòtica d’eix únic.
- 2D Continu (ℝ²): Col·locacions de punts fixos x/y amb rotació per a cèl·lules de treball de robots i comprovacions de col·lisió mètriques.
Extensible a Dimensions Superiors
Asset Core es pot ampliar naturalment a dimensions superiors—per exemple, reixetes discretes en 3D o volums continus—mentre es manté el mateix model de transacció determinista, garanties de reproducció i ordenació.
Operacions Universals
Tots els contenidors comparteixen un conjunt comú d’operacions que funcionen de manera consistent a través dels espais dimensionals. Això fa que les integracions siguin predecibles: un cop enteneu l’envolupant d’operacions, podeu aplicar-ho a tot arreu.
- Afegir/Eliminar: Introduir o eliminar quantitats o entitats
- Mou: Traduir entitats dins de l’espai del mateix contenidor
- Dividir/Combinar: Divideix o combina piles i quantitats
- Transferència: Mou entitats entre diferents contenidors (transicions entre espais)
Aquestes operacions preserven el determinisme, són completament reproduïbles i mantenen una semàntica consistent tant si s’apliquen a balances de 0D com a graelles de 2D.
Arquitectura
Quan un client executa una operació que modifica l’estat del món, Asset Core la processa a través de tres capes. Aquesta arquitectura de tres capes s’inspira en els motors d’emmagatzematge de bases de dades, assegurant una separació neta de responsabilitats i un comportament previsible. També és la font de la majoria d’invariants del sistema, per la qual cosa val la pena entendre-ho aviat.
Cap de Magatzematge (L1)
Estructures de dades de baix nivell optimitzades per al rendiment. Utilitza un disseny de Structure-of-Arrays (SoA) amb IDs densos per a una iteració amigable amb la memòria cau i patrons d’accés a la memòria predecibles. Aquesta capa proporciona primitives en brut sense validació ni lògica empresarial.
Operacions Layer (L2)
Validació de domini i orquestració d’estat. Aquesta capa orquestra primitives d’emmagatzematge, aplica restriccions del món (col·lisió, límits, ajustament de forma), manté índexs derivats i emet esdeveniments que descriuen què ha canviat. Les operacions són deterministes i completament validades abans de comprometre’s.
Cap de Transacció (L3)
Execució atòmica amb suport de retrocés. Aquesta capa coordina els límits de les transaccions, registra la informació de desfer per al retrocés i segella les operacions exitoses al registre de confirmació. Garantix que les operacions siguin atòmiques i aïllades. Aquesta estratificació assegura que els camins crítics per al rendiment es mantinguin ràpids (L1), les regles del món estiguin centralitzades i siguin provables (L2), i la correcció transaccional s’apliqui estructuralment (L3).
Garanties
Asset Core proporciona fortes garanties de correcció i fiabilitat mitjançant la reproducció determinista i un registre de compromís només d’addició.
Repetició
La reproducció és central per a les garanties de correcció d’Asset Core i permet la reconstrucció perfecta del comportament del sistema. El registre de confirmacions emmagatzema esdeveniments com a registres híbrids que contenen tant:
- Informació del delta: Què ha canviat (s’han afegit 10 elements, mogut de la ranura A a la ranura B)
- Post-estat: L’estat resultant després del canvi (la quantitat final és 50, l’entitat ara a la posició X)
Aquesta codificació dual permet:
- Anàlisi en temps real: La informació delta pot impulsar taulers de control, notificacions i consultes en viu.
- Reproducció determinista: L’estat posterior defineix el resultat autoritzat—reproduir la seqüència enregistrada reproduïx l’estat original exacte sense desviació acumulativa.
- Recuperació de fallades: Qualsevol projecció (model de lectura o observador) es pot reconstruir a partir del registre de confirmacions.
Replay aplica esdeveniments mecànicament utilitzant només primitives d’emmagatzematge, sense validació ni lògica de regles del món. Això garanteix que l’estat reproduït és equivalent bit a bit a l’estat original compromès.
Commit Log
El registre de commits és una seqüència durable d’agrupacions d’esdeveniments segellades que serveix com a registre autoritzat de totes les accions del sistema. Evita escriptures duals internes fent del registre l’única escriptura autoritzada; les projeccions i notificacions es deriven d’ell. Això manté les pistes d’auditoria netes i elimina estats ocults. Les implementacions inclouen registres basats en fitxers per a producció, registres en memòria per al desenvolupament, lectors mapejats a memòria per a seguiment alternatiu i backend extensibles per a núvol o altres mitjans d’emmagatzematge.
Propertats clau:
- Els esdeveniments són immutables un cop compromesos.
- Els números de seqüència globals, que augmenten de manera monòtona, proporcionen un ordenament total.
- Els lots es verifiquen mitjançant sumes de control per a la verificació de la integritat.
Aquest disseny suporta el compliment (rutes d’auditoria, cadena de custòdia), la depuració (reproducció a qualsevol estat històric) i la isolació multi-tenant (historial de compromisos amb espai de noms). Les projeccions i notificacions es deriven d’esdeveniments compromesos i es poden tornar a provar de manera independent sense arriscar-se a la divergència.
Veure exemples
Per a demostracions concretes de cada tipus de contenidor, consulteu la pàgina Examples per a operacions JSON executables en esperit i escenaris aplicats. Per a una guia detallada amb trucades reals, consulteu l’escenari Robotic Arm Continuous.