tawasuyu/mirada

1# =============================================================================
2#  renaser :: format — el format del grafo de objetos en disco
3# -----------------------------------------------------------------------------
4#  Nucleo `#![no_std]` COMPARTIDO: lo enlaza el kernel bare-metal (target
5#  `x86_64-unknown-none`) y, por ser no_std, tambien lo compila sin friccion el
6#  anfitrion `boot`. Es la unica verdad del format del grafo —tipos,
7#  (de)serializacion postcard, hash BLAKE3, trazado de registros—, de modo que
8#  kernel y constructor de imagen hablen exactamente el mismo idioma de disco.
9#
10#  Queda EXCLUIDO del espacio de trabajo (ver el Cargo.toml raiz), como el
11#  kernel: lo consume un paquete bare-metal, asi que fija sus versiones de
12#  forma explicita, sin herencia del workspace.
13# =============================================================================
14
15[package]
16name = "format"
17version = "0.1.0"
18edition = "2021"
19license = "MPL-2.0"
20authors = ["JL Soltech <gerencia@jlsoltech.com>"]
21description = "renaser :: format del grafo de objetos en disco — compartido kernel ↔ boot"
22
23[lib]
24bench = false
25doctest = false
26
27[dependencies]
28# `serde` da el rasgo de (de)serializacion; `postcard` lo materializa en un
29# format binario compacto — el que viaja al disco. Ambos `no_std`, sobre `alloc`.
30serde = { version = "1", default-features = false, features = ["alloc", "derive"] }
31postcard = { version = "1", default-features = false, features = ["alloc"] }
32# `serde-big-array` cubre el hueco de serde con arrays mayores a 32 bytes: las
33# firmas Ed25519 (`Firma = [u8; 64]`) lo requieren. Compatible `no_std`.
34serde-big-array = { version = "0.5", default-features = false }
35# `blake3`: la funcion hash que da identidad a cada objeto. Se fuerza la
36# implementacion ESCALAR pura (`pure` + los cuatro `no_*`): el target del kernel
37# corre sin SSE, y un camino SIMD por deteccion en tiempo de ejecucion
38# ejecutaria instrucciones que la CPU, sin `CR4.OSFXSR`, rechazaria con un #UD.
39blake3 = { version = "1", default-features = false, features = [
40    "pure", "no_sse2", "no_sse41", "no_avx2", "no_avx512",
41] }