Validación inline: al fallar un submit por campos required vacíos, el form los marca (label destructivo + mensaje debajo), no sólo un toast. MetaApp.form_errors + validate_required_fields. Secciones de formulario: FieldSpec.section agrupa campos bajo encabezados; abrir_form del CRM las usa. Campos condicionales y pulido puramente visual: scope-out conciente. El plan docs/nakui-erp-masterplan.md queda completo (7/7 fases). Tests verdes (meta-schema 16, meta-runtime 70, meta-form 8, nakui-ui 14); clippy limpio en las libs. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
66 KiB
Changelog — nakui
ERP categórico.
feat(nakui): Fase 7 del ERP — pulido (cierra el plan maestro)
Última fase: el plan docs/nakui-erp-masterplan.md queda completo
(7/7). Pulido de formularios — validación inline (campos obligatorios
marcados al fallar el submit) y secciones de formulario; el abrir_form
del CRM agrupa sus campos en «Oportunidad» e «Importe y fecha». Ver el
changelog de nahual (FieldSpec.section, form_errors).
Nakui es ahora un ERP dirigido por datos completo: tablero → listas (orden/filtro/paginación/export CSV) → fichas con relacionados → formularios con captura sin fricción y validación inline.
feat(nakui): Fase 6 del ERP — export CSV de listas
Sexta fase del plan maestro. Toda lista del ERP (clientes,
oportunidades, interacciones y los demás módulos) gana un botón
«⬇ CSV» que exporta sus filas a un archivo. Ver el changelog de
nahual (to_csv / meta-form).
feat(nakui): Fase 5 del ERP — tablero de KPIs
Quinta fase del plan maestro. El módulo CRM gana una vista «Panorama» (primera del menú): tarjetas de KPI — total de clientes y oportunidades, monto en pipeline, oportunidades ganadas y monto ganado, más breakdowns de oportunidades por etapa e interacciones por canal.
Tipos nuevos en la metainterfaz: ver el changelog de nahual
(View::Dashboard / Metric / compute_metric).
feat(nakui): Fase 4 del ERP — listas profesionales (orden/búsqueda/página)
Las vistas de lista de meta-form ganan orden por columna, búsqueda en
vivo y paginación. Ver el changelog de nahual.
feat(nakui): Fase 3 del ERP — ficha de detalle
Tercera fase del plan maestro. El módulo CRM:
- Las listas de Clientes y Oportunidades ganan un botón 👁 por fila que
abre la ficha del record (
row_detail). cliente_detailmuestra los campos del cliente + sus oportunidades e interacciones (back-references).oportunidad_detailmuestra los campos de la oportunidad, con el cliente resuelto a su nombre.- Navegación lista → ficha → volver.
Tipos nuevos en la metainterfaz: ver el changelog de nahual
(View::Detail / RelatedList / ListView.row_detail).
feat(nakui): Fase 2 del ERP — relaciones legibles + formato
Segunda fase del plan maestro. El módulo CRM:
- Las columnas
cliente_idde las listas de Oportunidades e Interacciones muestran el nombre del cliente, no su UUID (ref_entityen la columna). - La columna
montose formatea como moneda ($12,000). - En los formularios, el campo de cliente/oportunidad muestra el record elegido por su nombre.
Tipos nuevos en la metainterfaz: ver el changelog de nahual
(Column.ref_entity / Column.format).
feat(nakui): plan maestro del ERP + Fase 1 (captura sin fricción)
Plan maestro del subproyecto en docs/nakui-erp-masterplan.md: 7 fases
ordenadas para llevar nakui de "listas y formularios que funcionan" a
"ERP profesional terminado". Fase 1 implementada:
- El módulo CRM usa
selectpara etapa y canal (desplegable de opciones) yauto_idpara los ids de idempotencia — ningún formulario pide un UUID a mano. NakuiBackend::seedinyecta elidde la entity = clave del store, asídata.idy la clave coinciden (los schemas Nickel declaranid | String); el formulario de cliente ya no necesita campoid.- Tipos de campo nuevos en la metainterfaz: ver el changelog de
nahual(FieldKind::Select/AutoId).
feat(nakui-ui): CRM como ERP — listas y formularios
UiModule examples/nakui-modules/crm/module.json: hace que el módulo
crm se vea como un ERP de verdad en nakui-ui (sidebar + listas +
formularios), no como el timeline del event log de nakui-explorer.
- 3 entities, 7 vistas: lista + formulario de Clientes, Oportunidades e Interacciones, más los formularios de morfismo «Abrir», «Mover» y «Registrar».
nakui_module_direngancha el módulo-kernelcrm: el form de cliente siembra (seed_entity); «Abrir/Mover/Registrar» disparan los morfismos reales con la validación del kernel (etapas, transiciones, canal).- 2 tests en
nakui-uiverifican que el UiModule parsea, valida y carga por el camino real (brahman_cards::load_cards_from_dir).
Correr: NAKUI_MODULES_DIR=examples/nakui-modules cargo run -p nakui-ui.
feat(nakui): módulo crm — clientes, pipeline de ventas, interacciones
Módulo CRM funcional, declarativo como inventory/sales/treasury
(crates/modules/nakui/modules/crm/): schema.ncl + nsmc.json +
morfismos Rhai. Tres entities — Cliente, Oportunidad, Interaccion
— y tres morfismos:
-
abrir_oportunidad(cliente)— crea unaOportunidaden etapaprospecto. -
mover_oportunidad(oportunidad)— avanza el pipeline (prospecto→calificado→propuesta→negociacion→ganada/perdida). Valida: etapa destino conocida, no mover una oportunidad cerrada, no retroceder. -
registrar_interaccion(cliente)— crea unaInteraccion(llamada/email/reunión). -
core/src/bin/crm_demo.rs— demo realista (3 clientes, 18 eventos). A diferencia de los otros demos no borra el event log: lo deja en disco e imprime el comando para abrirlo connakui-explorer— así el explorador, que sólo mostraba un log vacío, muestra un CRM con cuerpo. -
core/tests/crm.rs— 8 tests de integración (pipeline completo + rechazos: retroceso, oportunidad cerrada, etapa/canal/monto inválidos).
Nota: el engine Rhai de nakui-core es Engine::new_raw() con paquetes
selectos — Array::index_of no resuelve; los morfismos usan sólo
if/==/throw.
Iter 17. Regresión surfaceada por el workspace test
verify_log_rejects_seed_after_schema_kcl_changes (rebautizado a
verify_log_rejects_seed_after_schema_changes).
Bug: compute_schema_bundle_hash operaba sobre los bytes del
bundle compilado, que build_schema_bundle arma como
(import "/abs/path/schema.ncl") & .... Los bytes del bundle nunca
cambian cuando se edita el archivo apuntado — sólo cambian si se
agregan/quitan schemas o se mueve el módulo de path. Resultado: el
hash quedaba pegado y los seeds firmados bajo schema vN se aceptaban
silenciosamente como válidos bajo schema vN+1, aunque las invariantes
hubieran cambiado.
Fix: nueva fn read_schema_files_concat(module_dir, schemas)
que lee los bytes de cada schema declarado y los concatena con
framing \0NCL:<name>\0 (separador no ambiguo + nombre relativo, no
absoluto, para que el hash sea estable entre máquinas). Esos bytes
alimentan compute_schema_bundle_hash y compute_morphism_schema_hash
en lugar de los bytes del bundle. El bundle compilado sigue siendo
imports-style (necesario para que Nickel resuelva paths relativos);
sólo la fuente del hash cambió.
Impacto en logs existentes: como cualquier cambio al insumo del
hash, los seeds y morphisms versados bajo el bundle hash anterior
fallarán SchemaMismatch al verificarse contra un binario nuevo. No
hay migración — esto es exactamente el comportamiento que el hash
busca: re-seed.
Tests: 10/10 en schema_versioning (era 9/10 con 1 FAILED).
refactor(nakui-core): KCL → Nickel — kcl_wrapper reemplazado por evaluación in-process
Cierra el ciclo: el motor de validación de entities deja de
shellear el binario externo kcl y pasa a evaluar Nickel
contracts in-process via la dep nickel-lang (la misma que ya
usa brahman-cards para sus templates). Los 3 schemas de los
módulos sales/inventory/treasury migran de .k a .ncl.
Además se borran los 2 archivos .k doc-only del repo
(ente-card/schema/card.k, ente-brain/schema/rule.k — ambos
estaban marcados "REFERENCE ONLY. NOT LOADED").
Cambios en nakui-core:
- Nueva dep:
nickel-lang = "2.0.0"(interfaz estable). - Borrado
kcl_wrapper.rs(43 líneas) — shellear el binario desaparece. - Nuevo
nickel_validator.rs:pub fn vet(schema_path, state, schema_name) -> Result<(), NickelError>evalúalet bundle = (import "<schema>") in (std.deserialize 'Json m%%"<json>"%%) | bundle.<entity>.- El state JSON va dentro de un raw string Nickel
(
m%%"..."%%) y se deserialize viastd.deserialize 'Json. No embebemos el state como record literal Nickel directo porque la sintaxis JSON usa:(Nickel records usan=). - 5 tests propios cubriendo happy path + 4 fallure modes (field missing, predicate fails, cross-field invariant fails, optional field present/absent).
executor.rs:kcl_wrapper::vet→nickel_validator::vet.KclError→NickelError.ExecError::KclPre/KclPost/KclPostCreate→SchemaPre/Post/PostCreate(más neutro, ya no menciona KCL).kcl_check(privado) →validate_entity.build_schema_bundleahora emite un archivo Nickel con(import "X") & (import "Y") & ...en lugar de concatenar bytes (cada.ncles una expresión record completa, no juntable como texto plano).
manifest.rs:effective_schemasdefault"schema.k"→"schema.ncl".extract_schema_namesreescrito: ahora detecta keys CapitalCase con 2 spaces de indent (convención de losschema.ncl), no más patrónschema X:de KCL.- Tests del extractor actualizados (1 test reemplazado por 2:
_handles_nickel_record_top_level+_skips_let_bindings_and_lowercase).
Cambios en schemas de módulos:
sales/schema.ncl: contracts Nickel paraVenta. Usastd.contract.Sequence [record_contract, from_predicate]para combinar shape + invariante cross-field (total == cantidad * precio_unitario). El patrón directorecord | from_predicaterebota con "missing definition" porque el predicate evalúa el contract antes de que el value lo populate; documentado en el comment.inventory/schema.ncl:Stock,MovimientoStock,TransferenciaStock(esta última con cross-fieldsource != destvia Sequence).treasury/schema.ncl:Caja,Movimiento,Transferencia(con cross-field via Sequence).- Helpers locales en cada archivo:
positive_int,non_negative_int,currency_iso, etc. viastd.contract.from_predicate. - Los 3
schema.kviejos borrados. sales/nsmc.jsonactualizado: pathsschema.k→schema.ncl.
Cambios en tests:
sales.rs,inventory.rs:KclPost→SchemaPost.kernel_guards.rs:KclPostCreate→SchemaPostCreate, path del schema directotreasury/schema.k→treasury/schema.ncl.graph.rs,manifest_validation.rs: tests que escribenschema.kinline cambian aschema.nclcon sintaxis Nickel.schema_versioning.rs: refsschema.k→schema.ncl.
Cambios documentales:
- Borrado
crates/core/ente-card/schema/card.k(1 archivo, REFERENCE ONLY documentado en su header). - Borrado
crates/core/ente-brain/schema/rule.k(REFERENCE ONLY documentado en su header).
Tests:
- nakui-core: 84 tests verdes (41 unit + 43 integration en graph/event_log/manifest_validation/schema_versioning/ inventory/sales/kernel_guards). Suite full pasa.
- nakui-ui, brahman-cards, yahweh-*: sin cambios, todos verdes.
- Total cubriendo el área: 174 tests.
Beneficios:
- Sin dep externa: el binario
kclya no es requisito de runtime ni de tests. Build limpio en CI sin instalar KCL. - Errores en línea: Nickel reporta contract violations con caret pointing al field exacto del schema y el value que falló. KCL daba mensajes textuales menos navegables.
- Mismo motor que el brazo de cards: una sola dependencia Nickel para todo el repo (validación + templates de cards).
- Sin tempfile JSON intermedio: el state se evalúa
directamente en memoria; no hay
std::fs::writepor cada validate.
Limitaciones / decisiones:
- El comentario "REFERENCE ONLY" de los
.kborrados ya estaba marcado en sus headers; eran sólo notas de diseño para humanos. La autoridad real (Rust validate methods) sigue intacta. - La sintaxis Nickel
record_contract | from_predicateno funciona — hay que envolver enstd.contract.Sequence [record, from_predicate]. Documentado en cada schema y en el doc del validator.
Pendientes restantes: ninguno del refactor original. Los yahweh + KCL + card.k cierran. Próximos pendientes salen de nuevo trabajo (no del plan que arrastrábamos).
feat(nakui-ui): migrar consumer al brazo unificado brahman_cards::load_cards_from_dir
Primera consumer migration del brazo. nakui-ui ya no llama a
nakui_ui_schema::load_modules_from_dir directamente — pasa por
brahman_cards::load_cards_from_dir y extrae el variant UiModule
del CardBody de cada Card. Beneficios concretos:
- Soporta
.nclademás de.json: el usuario puede dropear uncard.ncl(con templates Nickel + merge) en cualquier subdir y el runtime lo levanta automáticamente. El layout legacyexamples/nakui-modules/<id>/module.jsonsigue funcionando vía los filenames default[card.ncl, card.json, module.ncl, module.json]. - Cards de otros body kinds (Ente/Monad) se skipean limpio: si el dir contiene Cards no-UiModule, se reportan en un toast informativo en lugar de fallar la carga.
Cambios en brahman-cards:
- Nuevo
load_cards_from_dir(dir)+ variante con readers/filenames custom. Walkea subdirs (orden lexicográfico), busca el primero deDEFAULT_CARD_FILENAMES, dispatcha al reader. Subdirs sin ningún filename matching se skipean silenciosamente (permite assets/fixtures sueltos al lado de los cards). Errores per-file se propagan loud (sin ocultar corrupción). pub const DEFAULT_CARD_FILENAMES: lista canónica probada en orden.card.ncltiene prioridad sobrecard.jsony sobre los legacymodule.*.- 4 tests nuevos del helper: walk + skip de subdirs sin card, prioridad ncl > json, propagación loud de errores per-file, custom filenames.
Cambios en nakui-ui:
- Nueva dep
brahman-cardsenCargo.toml. - Nuevo helper
load_ui_modules(dir) -> (Vec<Module>, Vec<String>)que envuelvebrahman_cards::load_cards_from_dir, filtra a UiModule body, valida cada Module con suvalidate(), ordena por id, y detecta duplicados. El callsite enMetaUi::newpasa a usarlo y al ver Cards skipped emite un toast informativo. - 3 tests nuevos:
load_ui_modules_via_brahman_cards_returns_ui_modules_and_skips_others— verifica que un dir con UiModule + Ente carga el primero y reporta el segundo enskipped.load_ui_modules_via_brahman_cards_rejects_invalid_module—Module::validate()se sigue aplicando (menu apuntando a view inexistente rebota).load_ui_modules_detects_duplicate_id— dos UiModule con mismo id rebotan con mensaje claro.
Tests totales:
brahman-cards: 22 → 26 (+4 helper directorio).nakui-ui: 45 → 48 (+3 e2e migración).- Workspace build verde.
Lo que NO cambió:
nakui_ui_schema::load_modules_from_dirse mantiene intacto (sus propios tests lo siguen usando, y otros consumers futuros podrían preferir su error-typing más específico). La migración es opt-in:nakui-uiusa el brazo, ui-schema sigue siendo una API válida.- Layout actual de
examples/nakui-modules/<id>/module.jsonno requiere cambio. Un usuario puede convertir cualquier módulo acard.nclsin tocar el dir layout.
Pendientes para próximos commits (orden):
- Yahweh refactor: lift del MetaUi runtime a
crates/modules/ui_engine/para reuso. El brazo + canónico ya estables, ahora puede extraerse el meta-form widget genérico. - KCL → Nickel: kcl_wrapper reemplazado por Nickel contracts; los 3 schemas .k de nakui modules pasan a .ncl.
- card.k eliminado (es REFERENCE ONLY documentado).
feat(nakui-ui): validación cross-field del EntityRef (existence en store)
Cierra otro pendiente. Hasta ahora parse_field_value(EntityRef, raw)
sólo validaba forma (UUID parseable + trim de whitespace) — un
UUID válido pero inexistente en el store pasaba silenciosamente al
log/store, dejando dangling references. Ahora validamos también
existencia contra la entity declarada en FieldSpec.ref_entity.
Cambios:
- Nuevo helper
validate_entity_refs<S: Store>(store, refs):refs: &[(label, target_entity, uuid)].- Loop fail-fast: primer record ausente → error con label
legible + UUID corto + target entity en el msg
"campo 'Stock': record abc12345 de 'Stock' no existe en el store". - Pure (toma
&S: Store), totalmente testable sin GPUI.
- Wireup en
commit_seed:- Durante el parse loop, cuando un field es EntityRef + tiene
ref_entitydeclarado + value parseado a UUID, lo encolamos enentity_refs: Vec<(String, String, Uuid)>. - Después del parse loop (antes del seed/edit branch), si
entity_refsno está vacío, una sola toma del store lock para validar todos via el helper. - Falla early: ningún log entry, ningún apply.
- Durante el parse loop, cuando un field es EntityRef + tiene
- Cobertura:
- SEED path: alta nueva con EntityRef → validamos antes de
Seed { data }. - EDIT path: edit con EntityRef → validamos antes de calcular delta. Una optional empty (que iría a clear) no cuenta como EntityRef (raw vacío skipea el push).
- Morphism inputs: NO se duplica acá.
Executor::computeya valida cada input viastore.load(...).ok_or(EntityMissing)antes de correr el script Rhai. Documentado en el doc del helper.
- SEED path: alta nueva con EntityRef → validamos antes de
5 tests nuevos:
validate_entity_refs_passes_when_all_records_exist— happy path.validate_entity_refs_fails_on_first_missing— fail-fast con msg que incluye entity + UUID corto.validate_entity_refs_uses_label_not_entity_in_msg— el label legible (ej: "Stock origen") aparece en el error, no la entity desnuda.validate_entity_refs_empty_list_is_ok— lista vacía es Ok.validate_entity_refs_distinguishes_target_from_other_entities— un UUID que existe bajo Customer pero NO Stock falla la validación contra Stock.
45 tests verdes en nakui-ui (+5). Workspace build verde.
Comportamiento esperado:
- Selector clickable es happy path: el dropdown sólo lista records existentes, así que clickearlo nunca debería disparar el error. Sólo dispara con paste manual de UUID que no existe o records borrados después de la selección (timing race).
- Optional empty no se valida: si el field es EntityRef
optional y el form lo deja vacío, lo manejamos como "no value"
(skipea el push a
entity_refs); la lógica de Clear se encarga del resto. - Lock contention: una sola toma del store lock por
commit_seed, no una por field. La validación es O(refs) reads.
Pendientes restantes:
- Validación KCL del record post-edit antes de emitir Set/Clear
(hoy
ui.edit_recordno pasa porExecutor::compute). - EntityRef cross-module (referenciar records de OTRO módulo por nombre, no sólo por entity local).
feat(nakui-core,nakui-ui): FieldOp::Clear — borrar values vía form vacío
Cierra el último pendiente de UX del round. El edit no podía
"borrar" un value vaciando el input — empty optional fields
hacían continue en commit_seed, así que el current value
quedaba intacto. Para honrar el intent del usuario ("este field
ya no aplica") necesitábamos un FieldOp explícito que remueva
la key del map.
Cambios en nakui-core (la variante es semántica del kernel, no específica de la UI):
delta::FieldOp::Clear { path }— nueva variante. Distinta deSet { value: Null }: Clear borra la clave; Set Null deja la clave con valor literalnull. Importa para downstream que diferencia "ausente" vs "presente como null" (ej: serde conskip_serializing_if = "Option::is_none").capability_token— Clear devuelveentity.field, mismo shape que Set. Una capabilitywrites: ["Customer.notes"]autoriza tanto Set como Clear sobre ese field.simulate_on— Clear remueve la key del Object si el state es Some(Object). Skip silente si el state es None (deleted) o no-objeto.MemoryStore::apply_dry_run— Set y Clear comparten pre-condición (record padre existe + es objeto). Pattern combinado con|.MemoryStore::apply— Clear hacemap.remove(field). Field ausente = no-op silencioso (post-state idéntico).SurrealStore::apply_dry_run— Set/Clear combinados.SurrealStore::apply— Clear emiteUPDATE type::thing UNSET <field>. El field name viene de un FieldSpec validado upstream; SurrealQL no soporta binding de identifiers, así que va inline (con la advertencia documentada en el comment).Executorcapability check — Set/Clear comparten match (mismo token shape, misma resolución a binding role).- Conservation rules (en
check_conservation) NO consideran Clear — sólo Set. Documentado: morphism authors que querían clear de un field con conservation tienen que ser cuidadosos; KCL post-checks pueden capturar violations.
Cambios en nakui-ui:
commit_seedloop acumulato_clear: Vec<String>con los nombres de fields optional empty (en lugar de hacercontinuesilencioso).- EDIT branch:
- Computa
set_delta(igual que antes) +clear_fieldsvia nuevo helpercompute_clear_fields(current, to_clear). - Helper filtra a sólo los fields que actualmente tienen valor non-null — Clear de un field ausente o ya null no se emite (sería no-op semántico). Preserva el orden del input para estabilidad del log entry.
- Construye
opscombinando Set + Clear. - NoChange ahora requiere AMBOS vacíos (set_delta y clear_fields).
paramsdel log entry incluyecleared: ["field1", ...]sólo si non-empty (preserva la shapefields:para edits sin clears).CommitOutcome::Updated.changed = sets + clearspara que el toast"actualizado X (N campo(s))"siga siendo preciso.
- Computa
Tests nuevos:
- delta.rs:
simulate_clear_removes_field,simulate_clear_then_set_same_field_keeps_set,clear_capability_token_matches_set_shape. - store.rs:
apply_clear_removes_field_key,apply_clear_on_absent_field_is_noop,dry_run_rejects_clear_on_missing_record,dry_run_rejects_clear_on_non_object. - nakui-ui main.rs:
clear_fields_skips_absent_and_null,clear_fields_preserves_input_order,clear_fields_empty_when_current_is_null.
34 tests verdes en nakui-core (+7), 40 en nakui-ui (+3).
Workspace build verde. E2E del morphism real
morphism_pipeline_executes_real_sales_vender intacto — vender
no usa Clear.
Implicaciones:
- El log puede crecer con entries
ui.edit_recordque sólo tienencleared: [...]sinfields. Esperado y esperable. - Replay: las entries con Clear se aplican en orden via
store.apply(&ops). La semantic es deterministic. - Si un módulo tiene KCL invariants sobre la presencia de un
field, el usuario podría romper el record vaciando ese
field via UI. Hoy esto NO se chequea —
ui.edit_recordes un morphism manual que no pasa porExecutor::compute. Si esto es un problema, el camino futuro es validar contra el KCL del entity al submit (otro pendiente).
Pendientes restantes:
- Validación cross-field (ej: UUID del EntityRef existe en la entity referida).
- Validación KCL del record post-edit antes de emitir Set/Clear.
feat(nakui-ui): snapshot/compaction durante runtime cada N writes
Cierra el último pending del round de persistencia. Antes el compact sólo corría al startup — para una sesión larga con muchas escrituras, el log crecía sin tope hasta el próximo restart, y el siguiente boot pagaba el costo lineal del replay.
Cambios:
- Nuevos fields en
MetaUi:snap_path: PathBuf— cacheado del init para que el tick no tenga que recomputarlo.snapshot_threshold: usize— leído del env ennew()y cacheado.0desactiva runtime compact (mismo env y semantic que el threshold de startup).writes_since_compact: u64— contador que incrementa por cada write efectivo y se resetea cuando el threshold disparamaybe_compact_log.
- Nuevo método
tick_runtime_compact():- Early return si
threshold == 0. - Increment + check vs threshold.
- Si cruza: lock log + store, llama
maybe_compact_log. - Si compactó OK: counter = 0, devuelve msg.
- Si
maybe_compact_logreturned None (counter dijo "go" pero entries < 2): counter = 0 (no re-entrar cada write). - Si error: counter NO se resetea (próximo write reintenta), devuelve el error.
- Early return si
- Nuevo helper
append_compact_msg(base, opt): concatena el msg del compact al toast del op original con";"separator. - Wireup en 3 callsites de write efectivo:
apply_action::SeedEntity: tick si outcome != NoChange.apply_action::Morphism: tick siempre que Ok.- Click handler
[Confirmar]del delete modal: tick si commit_delete Ok.
- NoChange no cuenta: un edit que no cambia nada no escribe al log, así que tampoco debería avanzar el counter — preserva la semantic "1 write = 1 log entry = 1 tick".
2 tests nuevos:
append_compact_msg_handles_both_branches— base solo vs base- compact, formato del separator.
runtime_compact_cycle_resets_counter_after_threshold— E2E estilo simulación: 7 writes con threshold=3 → 2 compacts (en write 3 y 6), counter residual = 1, log final con 2 entries (1 anchor + 1 write residual). Reproduce el algoritmo del tick sin GPUI cx; si la lógica del método cambia, se rompe como signal.
37 tests verdes (+2). Workspace build verde.
Trade-offs:
- Counter en memoria, no persistido: si la app crashea entre compacts, al próximo boot el counter parte de 0. El startup compact (basado en entry_count del log file) compensa esto: si quedó mucho post-último-compact, se compacta al boot.
- Lock orden: tick toma log lock primero, store lock después.
Misma orden que
commit_seedycommit_morphism, no debería haber deadlock. - Costo del tick: 1 increment + 1 compare por write. Cuando cruza threshold, 1 read del log (entries) + 1 snapshot write + 1 compact. Para threshold=50 es ~1 fsync cada 50 writes — amortiza bien.
Pendientes restantes:
FieldOp::Clear— para soportar borrar un value vía form vacío.- Validación cross-field (UUID del EntityRef existe en la entity referida).
feat(nakui-ui): atajo Esc para cancelar el modal de delete
Cierra otro pendiente de UX. El banner de confirmación de delete ya tenía botones [Cancelar] / [Confirmar], pero la acción más natural para cancelar un dialog es Esc — y no la teníamos wireada.
Cambios:
capture_key_downen el root div delMetaUi::render. Capture phase (no bubble) para interceptar el Esc antes que cualquier TextInput descendiente lo consuma. Sin pending el handler es no-op y el evento sigue su flujo normal.- Match
event.keystroke.key == "escape"+pending_delete.take()→ toast"delete cancelado (Entity) [esc]"(sufijo[esc]para diferenciar visualmente del botón). Si no hay pending, return temprano sin tocar nada. - Hint visual en el banner: subtítulo en amber tenue debajo del
título:
"Esc para cancelar · click [Confirmar] para borrar". Que el usuario descubra el atajo sin RTFM.
35 tests verdes — el handler de Esc es 8 líneas no-testeables sin GPUI cx (la lógica de pending_delete + toast vive dentro del listener); el wireup compila por type-check.
Pendientes restantes:
FieldOp::Clear— para soportar borrar un value vía form vacío.- Snapshot durante runtime (cada N writes, no sólo al startup).
- Validación cross-field (UUID del EntityRef existe en la entity referida).
feat(nakui-ui): EntityRef validation en parse_field_value (UUID al submit)
Cierra otro pendiente: parse_field_value(FieldKind::EntityRef, raw)
devolvía Ok(json!(raw)) blindly — el value entraba al log/store
incluso si era basura. La validación de UUID sólo ocurría cuando el
field se usaba como input del morphism (línea ~540 de
commit_morphism); como seed field o como param, garbage
pasaba silenciosamente.
Cambios:
parse_field_value(EntityRef, raw)ahora haceUuid::parse_str(raw.trim())y devuelve error claro si falla:"'<raw>' no es UUID válido (usá el selector de records)". En caso de éxito, devuelve el UUID trimmed como string — protege contra paste manual con whitespace.- Doble cobertura: este path cubre seed fields (commit_seed via
obj.insert) y morphism params (resolve_param_value lo invoca por
cada FieldSpec con kind=EntityRef). El path de morphism inputs
ya validaba antes con
Uuid::parse_strdirecto — sigue intacto, no hay double-validation. - Selector clickable es happy path: el dropdown setea valores bien-formados, así que el usuario nunca debería ver el error en uso normal. Sólo dispara con paste manual o si el usuario escribe garbage en el input — defensivo.
5 tests nuevos (reemplazan al obsoleto parse_field_entity_ref_returns_string):
parse_field_entity_ref_accepts_valid_uuid— happy path.parse_field_entity_ref_trims_whitespace—" uuid\n"→"uuid".parse_field_entity_ref_rejects_non_uuid—"abc-123"→ error con el value y la palabra "UUID" en el mensaje.parse_field_entity_ref_rejects_empty_string—""→ rebota.resolve_param_strict_entity_ref_propagates_error— sanity de que el wireup en resolve_param_value hereda el strict checking, con label del FieldSpec en el mensaje.
35 tests verdes (+4 net). El E2E del morphism real
morphism_pipeline_executes_real_sales_vender sigue verde — sus
inputs van por el path dedicado, no por parse_field_value.
Pendientes restantes:
- Atajo Esc para Cancelar del modal de delete.
FieldOp::Clear— para soportar borrar un value vía form.- Snapshot durante runtime (cada N writes, no sólo al startup).
- Validación cross-field (ej: el UUID del EntityRef existe en la entity referida) — hoy sólo validamos forma; un UUID válido pero inexistente sí pasa.
feat(nakui-ui): snapshot/compaction automático del event log al startup
Cierra el último gran pendiente del round: el replay full cada
startup escala lineal en el log. Con 60+ entries el costo de boot
se nota; con 10k entries es prohibitivo. Wireamos el snapshot
machinery que ya estaba en nakui-core (Snapshot,
replay_with_snapshot_into, EventLog::compact_through) al
runtime de la UI.
Cambios:
- Path del snapshot: sibling del log, extensión
.snap.json.nakui-ui-state.jsonl↔nakui-ui-state.snap.json. - Nuevo helper
snapshot_path_for(log_path)— derivación pura, testeable. - Nuevo helper
maybe_compact_log(log, snap_path, store, threshold):- Si
entry_count >= thresholdy>= 2, capturaSnapshot::from_memory_store(store, next_seq - 1), lo escribe atómicamente, y compacta el log dejando la última entry como anchor. - Anchor invariant:
EventLog::openderivanext_seqdel primer entry del archivo. Si compactáramos todo el log file, al reabrir el cursor volvería a 0 y el próximo append crashearía conNonMonotonic. Por eso compactamos sólo hastanext_seq - 2— la entry delsnap.seqqueda como anchor del cursor;replay_with_snapshot_intola skipea porque snap ya cubre hasta ese seq inclusive. - Threshold via env
NAKUI_SNAPSHOT_THRESHOLD, default 50.0desactiva por completo. - Devuelve
Result<Option<msg>, String>:Ok(Some)si compactó,Ok(None)si no había payoff,Errsi snap o compact fallaron.
- Si
MetaUi::newreescrito:- Carga snapshot al inicio (Some/None según exista).
replay_with_snapshot_into(&log, snapshot.as_ref(), &mut store)en lugar dereplay_into.- Después del replay corre
maybe_compact_logcon el threshold. - Toast inicial menciona snapshot loaded si aplica ("snapshot @ seq K") y la compactación si ocurrió.
- Errores de snapshot load no son fatales: cae a full replay con un msg en el banner.
- Errores de auto-compact no son fatales: el log + snap quedan como estaban, msg al banner.
5 tests nuevos:
snapshot_path_for_replaces_extension—.jsonl→.snap.json, edge case sin extensión.maybe_compact_log_below_threshold_noops— 5 entries vs threshold 50: no toca nada, no escribe snap.maybe_compact_log_threshold_zero_noops— threshold 0 = disabled.maybe_compact_log_then_reopen_preserves_records— E2E:- Escribe 60 seeds (log + store en sync).
- Compacta (60 >= 50): snap escrito, log queda con 1 anchor entry, msg reporta "59 entries dropped (1 anchor kept)".
- Reopen:
next_seq=60se preserva via anchor,entries.len()=1. - Replay con snap loadado en store fresco: los 60 records están.
- Segunda corrida del compact con threshold=1: no-op (idempotente).
31 tests verdes (+5). Workspace build verde tras la nueva firma.
Trade-offs y notas:
- Fail-soft: cualquier error de snap/compact no rompe el boot;
la UI sigue funcionando con full replay y el toast lo reporta.
Sólo
EventLog::openfailing es no-recoverable (pierde persistencia). - Crash-safety: WAL order preservado — escribimos snap (atómico via tempfile + fsync + rename) ANTES de compactar el log (atómico igual). Si crasheamos entre los dos, próximo boot ve snap@K + log con todas las entries 0..N — replay skippea las que snap cubre, outcome idéntico.
- Sólo en startup: no hay snapshot durante runtime. Para sesiones largas con muchas escrituras, el log puede crecer arbitrariamente hasta el próximo restart. Pendiente futuro: snapshot N writes desde el último compact.
- Anchor entry sobrevive sin uso útil: el costo es 1 línea JSON por compact. No es preocupación a menos que el threshold sea muy chico (cada compact deja 1 línea de basura).
Pendientes restantes:
- EntityRef validation post-submit — validar UUID parseable al submit en lugar de al execute del morphism.
- Atajo Esc para Cancelar del modal de delete.
FieldOp::Clear— para soportar borrar un value vía form vacío.- Snapshot durante runtime (cada N writes, no sólo al startup).
feat(nakui-ui): edit delta-only — sólo campos modificados al log/store
Antes de este cambio, editar un record emitía un FieldOp::Set por
cada field del form, incluso los no tocados. Eso bloata el log
(replay tenía que aplicar N ops cuando 1 alcanzaba) y oscurece el
intent en una auditoría posterior. Con delta-only, el edit emite
sólo los Sets cuyo value nuevo difiere del actual; un edit que no
cambia nada deja el log intacto.
Cambios:
- Nuevo helper
compute_field_delta(current, proposed)— toma el record actual del store (unValue, posibleNullsi el record no existe) y elMappropuesto desde el form, y devuelve sólo las entries que difieren. Comparación:PartialEqestructural deserde_json::Value(unNullen current = todos los proposed son nuevos). - Nuevo enum
CommitOutcome:Created(Uuid)— alta nueva.Updated { id, changed }— edit con N campos modificados.NoChange(Uuid)— edit sin diferencias (el toast lo refleja como "X sin cambios — no log entry").
commit_seeden path EDIT:- Carga current via
store.load(entity, id)con fallback aValue::Null. - Calcula delta. Si vacío → return early sin tocar log ni store.
- Si no vacío → emite
Morphism { ui.edit_record, ops: [Set...] }conparams.fieldsreflejando el delta (no todo el form), haciendo la auditoría grep-able por field cambiado.
- Carga current via
- Toast del callsite:
creado X uuid(Created)actualizado X uuid (N campo(s))(Updated)X uuid sin cambios — no log entry(NoChange)
editingse limpia incluso en NoChange — el modo edit cierra, el form vuelve al state limpio.
5 tests nuevos del helper:
- delta vacío cuando todo coincide.
- delta sólo con el field cambiado.
- delta full cuando current = Null (record no existe).
- distingue int 100 de string "100".
- ignora fields del current que no están en proposed.
27 tests verdes (+5). El path SEED no cambió; el E2E del morphism real sigue verde.
Limitación conocida (consistente con pre-delta): el form no puede
borrar un value vaciando el input — empty optional fields hacen
continue antes de llegar al delta. Para clearear un value hay que
declarar el field como required, o esperar a un FieldOp::Clear
futuro (no necesario hoy: ningún demo lo requiere).
Pendientes restantes:
- Snapshot/compaction del log (replay full cada startup escala mal con repos grandes).
- EntityRef validation post-submit — validar UUID parseable al submit en lugar de al execute del morphism.
- Atajo Esc para Cancelar del modal de delete.
FieldOp::Clear— para soportar borrar un value vía form.
feat(nakui-ui): confirmación de delete vía banner modal antes de borrar
Cierra el primer pending del último round: borrar un record pedía un
solo click en ✕ y se ejecutaba inmediatamente (irreversible —
queda en el log como Morphism { name: "ui.delete_record" }). Ahora
hay un paso intermedio: el click marca el record como pendiente y el
banner amber al tope de la ventana ofrece [Cancelar] o [Confirmar].
Cambios:
- Nuevo state
MetaUi.pending_delete: Option<(String, Uuid)>. Set en el click del✕; limpiado por:- [Cancelar] → toast "delete cancelado (Entity)".
- [Confirmar] → llama
commit_delete(igual que antes) y emite el toast usual. - Navegación a otra view (
select_view) — el record marcado podría no estar visible en la nueva pantalla.
- Click handler de
✕ya no llamacommit_delete: sólo seteapending_deletey limpia toast. La acción destructiva ahora vive exclusivamente en el botón [Confirmar] del banner. - Nuevo método
render_confirm_delete_banner: devuelveOption<Div>(None si no hay pending). Banner amber con el texto¿Borrar {Entity} {short_uuid}?+ dos botones. Renderea como sibling del row sidebar+main enflex_colraíz — no es overlay flotante (GPUI no expone z-index trivialmente), pero la posición fija al tope + color amber lo hacen imposible de ignorar. - Limpieza pre-commit:
pending_delete = Nonese ejecuta antes decommit_delete, así un fallo del commit no deja el banner colgado además del toast de error.
22 tests verdes — la lógica del store/log no cambió, sólo el state machine de UI. La confirmación es puramente UX/state, no testable sin GPUI cx, pero la compilación garantiza wireup correcto de las closures.
Pendientes restantes:
- Snapshot/compaction del log para repos grandes (replay full cada startup escala mal).
- Edit delta-only — sólo campos modificados, no todos.
- EntityRef validation post-submit — validar UUID parseable al submit en lugar de al execute del morphism.
- Atajo de teclado Esc para Cancelar — requiere event dispatcher de GPUI, fuera de scope inmediato.
feat(nakui-ui): validación estricta de params del morphism vía FieldKind del FieldSpec
Cierra el último trade-off documentado: infer_param_value adivinaba
el tipo de cada param por la shape del string (i64 → f64 → bool →
string). Ahora cuando hay FieldSpec declarado, usamos
parse_field_value(spec.kind, raw) — un Boolean field con value
"abc" rebota con mensaje claro en la UI antes de llegar al morphism
Rhai (donde el error sería opaco como "Function not found: * ((), ())").
Cambios:
- Nuevo helper
resolve_param_value(field_name, raw, spec):- Si hay
FieldSpec: validación derequired(rebota empty con "param 'X' es obligatorio y está vacío") + parseo estricto viaparse_field_value(spec.kind, raw). Errores incluyen ellabeldel spec para que el toast sea interpretable. - Si NO hay spec (param declarado en
Action::Morphism.paramsque no existe enform.fields— módulo mal-formado): fallback ainfer_param_valuecomo red de seguridad. - Empty + opcional →
Value::Null.
- Si hay
commit_morphismsimplificado: el loop de params ahora es 3 líneas (lookup spec + llamada aresolve_param_value+ inserción al map). La lógica vive en el helper standalone, testable sin GPUI.
Tests: 6 nuevos en tests mod, todos contra resolve_param_value:
resolve_param_strict_number_parses_i64— happy path.resolve_param_strict_boolean_rejects_non_boolean— un Boolean con "abc" rebota con mensaje que incluye el label.resolve_param_strict_number_rejects_garbage— Number con "abc" rebota.resolve_param_required_empty_rejected— required vacío rebota con "obligatorio".resolve_param_optional_empty_returns_null— optional vacío → null.resolve_param_no_spec_falls_back_to_infer— el fallback preserva el comportamiento anterior para back-compat.
22 tests verdes en nakui-ui (+6). E2E del morphism real
(morphism_pipeline_executes_real_sales_vender) sigue verde — la
validación estricta no rompe el path correcto, sólo agrega rebotes
tempranos a values mal-tipados.
Beneficio operativo:
- Mensaje de error en la UI ahora identifica el field problemático por su label legible ("param 'Cantidad': 'abc' no es número") en lugar del error opaco del morphism Rhai.
- Errores se ven antes de tocar el log o el store — ningún cambio parcial.
- El módulo Nakui ya no tiene que defender contra inputs garbage desde la UI: la metainterfaz se vuelve la primera línea de validación tipada.
Pendientes futuros (orden de prioridad):
- Confirmación de delete — modal antes de borrar.
- Snapshot/compaction del log para repos grandes.
- Edit delta-only — sólo campos modificados, no todos.
- EntityRef validation post-submit: hoy
parse_field_valuepara EntityRef devuelve string raw; el commit_morphism luego valida como Uuid sólo cuando es input del morphism. Para EntityRef como param, podríamos validar UUID al submit.
feat(nakui-ui): FieldKind::EntityRef — selector clickable de records existentes
Cierra el principal trade-off documentado del commit anterior:
"Inputs UUID a mano (no dropdown)". Los formularios pueden declarar
un campo entity_ref que apunta a una entity y el runtime renderea
una lista clickable de records existentes; click selecciona, el
UUID queda guardado para el submit.
Schema nakui-ui-schema:
- Nueva variante
FieldKind::EntityRef(serializa como"entity_ref"en JSON). FieldSpec.ref_entity: Option<String>nuevo. Indica qué entity ofrecer en el selector.validate()chequea que cualquier field conkind=entity_reftengaref_entityset.- Nuevo error tipado
SchemaError::EntityRefMissingTarget.
Runtime nakui-ui:
render_entity_ref_selector(field_name, target_entity, ...)— helper que arma la lista debajo del input. Cada item:- Etiqueta humana via
human_label_for_record(heurística:name→label→title→sku→sku_id→ fallback al UUID corto). - Click handler vía
cx.listenerque llamainput.set_text(uuid_completo)— el TextInput interno queda como source-of-truth, así quecommit_seedycommit_morphismleen el UUID seleccionado sin saber que vino de un selector. - Highlight en accent color cuando el item es el actualmente seleccionado (compara contra el contenido del TextInput).
- Etiqueta humana via
parse_field_value(EntityRef, raw)devuelve string del raw (la validación como Uuid ocurre downstream encommit_morphism).- Mensaje "(sin {entity}: creá uno antes para referenciar)" cuando la lista está vacía — el user sabe qué hacer en lugar de quedarse trabado.
Demo actualizado: examples/nakui-modules/sales_engine/module.json:
vender_form.fields.stock_id_inputycaja_id_inputcambian dekind: "text"akind: "entity_ref"conref_entity: "Stock"y"Caja"respectivamente.- Ahora el flujo "Vender" es: (1) click en una Stock listada bajo el input, (2) click en una Caja, (3) escribir venta_id/cantidad/ precio_unitario/timestamp, (4) submit. Sin copiar UUIDs.
Tests:
- 2 nuevos en schema:
validate_catches_entity_ref_without_targetyentity_ref_with_target_validates_clean. 8 totales. - 4 nuevos en runtime:
parse_field_entity_ref_returns_string,human_label_for_record_prefers_name_over_id,human_label_falls_back_through_label_title_sku,human_label_falls_back_to_id_when_no_known_keys. 16 totales. - Integration de los 7 demos sigue verde — el demo
sales_engineahora valida con EntityRef + ref_entity correctamente set.
29 tests totales nakui-ui + schema, 100% verde. El demo
sales_engine carga limpio con la nueva forma del schema.
Pendientes futuros:
- Confirmación de delete — modal antes de borrar.
- Snapshot/compaction del log para repos grandes.
- Edit delta-only (sólo campos modificados).
- Validación de tipos en params del morphism:
FieldKinddeclarado en el FieldSpec se podría usar para forzar parseo estricto encommit_morphismen lugar de la heurísticainfer_param_value.
feat(nakui-ui): Action::Morphism wired al pipeline real (compute → log → apply)
Cierra el último gran TODO de la metainterfaz Nakui: las acciones
Action::Morphism ya no son un toast informativo; despachan al
Executor cargado del manifest nakui-core (nsmc.json + schemas
KCL + scripts Rhai), pasando por el pipeline completo de Nakui:
compute (con dry-run + KCL post-checks) → log append → store apply.
Schema nakui-ui-schema extendido:
Module.nakui_module_dir: Option<String>nuevo. Path (relativo al directorio delmodule.jsono absoluto) a un módulo nakui-core. Sin esto, las Action::Morphism del módulo quedan no-op con toast informativo. Las Action::SeedEntity siguen funcionando sin manifest (alta administrativa).Action::Morphismganó dos campos opcionales:inputs: BTreeMap<String, String>— mapeorole → field_name. Por cada input declarado en elMorphismSpec.inputs, indica qué field del form contiene el UUID del record. El runtime parsea comoUuidy lo pasa alexecute_and_log.params: Vec<String>— lista de fields cuyos values van alparamsJSON. Si vacío, todos los fields no-input van a params.
Runtime nakui-ui:
MetaUi.executors: BTreeMap<String, Arc<Executor>>nuevo. CargaExecutor::load_module(nakui_module_dir)enMetaUi::newpor cada módulo UI que declare la entry. Errores de carga van al banner; el módulo sigue cargado para SeedEntity, sólo Morphism queda no-op.commit_morphism(mod_idx, name, inputs_map, params_fields)nuevo. Resuelve inputs (parsea cada field como Uuid), arma params (Value object con tipos inferidos viainfer_param_value— int/float/ bool/string), llamaexecute_and_log_with_recovery. Toast con cantidad de ops aplicadas o el error tipado.infer_param_valuenuevo helper: heurística simple para pasar values del form al morphism con tipo inferido (i64 → f64 → bool → string).
Tests: 2 nuevos:
infer_param_value_int_then_float_then_bool_then_string— cobertura de la heurística.- E2E
morphism_pipeline_executes_real_sales_vender— carga el módulo realcrates/modules/nakui/modules/sales, arma store + log, ejecuta el morphismvendercon inputs Stock+Caja y params (cantidad=5, precio_unitario=200, venta_id, timestamp). Asserta:- el morphism produce ops (no vacío).
- stock.cantidad bajó 100 → 95.
- caja.saldo subió 1_000_000 → 1_001_000.
12 tests verdes en nakui-ui (+1 vs commit anterior). Schema extension no rompió nada (6 unit + 5 integration siguen verdes).
Demo nuevo: examples/nakui-modules/sales_engine/module.json
- Apunta a
crates/modules/nakui/modules/salesvíanakui_module_dir. - 6 vistas: list + form para cada Stock, Caja, Venta + form
"Vender" con
Action::Morphism { name: "vender", inputs: {stock, caja}, params: [venta_id, cantidad, precio_unitario, timestamp] }. - El user crea Stocks + Cajas con seed_entity, copia los UUIDs cortos a los inputs de "Vender", y ejecuta el morphism real: stock baja, caja sube, Venta se persiste, todo loggeado.
- Validaciones KCL fallan limpio (toast con error) si el morphism rebota — p. ej. cantidad > stock disponible.
Activación full:
NAKUI_EVENT_LOG=~/.nakui/state.jsonl \
NAKUI_MODULES_DIR=examples/nakui-modules \
cargo run -p nakui-ui
# Sidebar gana "Ventas (con morphism)" — los 6 menús aparecen y
# el form "Vender" dispara el pipeline nakui-core completo.
Trade-offs documentados:
- Inputs UUID a mano: el form pide que el user copie el UUID de
un Stock/Caja existente. Para UX seria habría que agregar
FieldKind::EntityRef { entity }que renderiza un dropdown — no hecho por scope, queda como nice-to-have. - Inferencia de tipo en params:
infer_param_valueadivina por shape del string. Para casos sutiles (ej. "true" como string literal vs bool), el módulo nakui-core puede explicitar tipos viakinden el FieldSpec — el form lo respeta para validación pre-submit; la inferencia final sigue siendo heurística.
feat(nakui-ui): edit + delete de records (ciclo CRUD completo)
Cierra "no hay UI para editar/borrar records existentes" del commit
anterior. Cada fila de la lista gana dos botones (✎ edit, ✕ delete);
el form view se reusa para alta y para edit; el delete es inline.
Las mutaciones pasan por LogEntry::Morphism con sus ops, así el
replay restaura el estado correcto.
Cambios:
MetaUi.editing: Option<(String, Uuid)>nuevo. Set al click en ✎; cleared al cambiar de view o tras submit exitoso.open_edit(mod_idx, entity, id, cx): seteaediting, busca la primera Form view del módulo cuyaentitymatchee, navega ahí. Si el módulo no tiene Form para esa entity → toast con error ("no hay form view para entity X").select_viewextendido: cuando carga un Form, sieditingmatchea esa entity y el record existe en el store, pre-llena cada input con el valor del record (vía nuevo helpervalue_to_input_text— inverso deparse_field_value).commit_seedramifica:- Edit path (cuando
editing.is_some()y entity matchea): emiteLogEntry::Morphism { name: "ui.edit_record", ops: [Set { path, value } for each field], params: { entity, id, fields } }. Aplica al store viaapply(&ops). - Seed path (alta nueva): comportamiento previo.
- Edit path (cuando
commit_delete(entity, id): emiteLogEntry::Morphism { name: "ui.delete_record", ops: [Delete { entity, id }] }+ apply.- Render del form: título cambia a "Editar customer abc12345"
cuando
editingmatchea; submit label cambia a "Guardar cambios en customer". - Render de la lista: dos columnas nuevas — "id" y "acciones". Cada fila tiene ✎ (accent color, click → open_edit) y ✕ (rojo, click → commit_delete). Hover states.
Ramificación visible en el event log:
{"kind":"seed","seq":0,"entity":"customer","id":"abc...","data":{"name":"Acme"}}
{"kind":"morphism","seq":1,"morphism":"ui.edit_record","ops":[
{"op":"set","path":{"entity":"customer","id":"abc...","field":"name"},
"value":"Acme S.A."}
]}
{"kind":"morphism","seq":2,"morphism":"ui.delete_record","ops":[
{"op":"delete","entity":"customer","id":"abc..."}
]}
Coherente con el modelo de Nakui — todo cambio post-seed pasa por
ops dentro de Morphism. nakui-explorer muestra estos morphisms
con sus ops claros en su timeline.
Trade-offs documentados:
schema_hash: Nonesigue para los morphism de la UI (legacy/ pre-versioning path) hasta queAction::Morphismcargue Manifest schemas.- Delete sin confirmación: 1 click, sin modal. Para MVP es OK (los records son recuperables vía replay parcial), pero un futuro iter agregaría confirmación.
- Edit sobreescribe TODOS los campos del form, no sólo los cambiados — emite N ops Set, una por field. Adecuado para forms chicos; para forms con muchos campos optimizar a delta-only.
Tests: 3 nuevos (10 totales en nakui-ui):
value_to_input_text_inverse_of_parseyvalue_to_input_then_parse_round_trip— la propiedad fundamental del pre-llenado: text → parse devuelve el Value original.event_log_replay_handles_full_crud_cycle— E2E del log: escribe Seed + Morphism(Set ops) + Morphism(Delete op), replay desde cero, verifica que el store termina vacío (delete fue el último). Verifica además que un replay parcial (sin el delete) deja los valores editados.
Activación:
NAKUI_EVENT_LOG=~/.nakui/state.jsonl \
NAKUI_MODULES_DIR=examples/nakui-modules \
cargo run -p nakui-ui
# Crear un customer, click ✎ en su fila, modificar campos,
# "Guardar cambios". Click ✕ en otra fila para borrar.
# Cerrar y reabrir: el state persiste con todos los cambios.
feat(nakui-ui): persistencia con event log + replay al startup
Cierra "sin persistencia entre runs" del commit anterior. Cada
SeedEntity se appendea al nakui_core::event_log::EventLog con
WAL semantics (log antes que store) y al re-abrir el binario el
replay reconstruye el MemoryStore desde cero. Cerrar y volver a
abrir ya no borra el data.
Cambios:
MetaUi.event_log: Option<Arc<Mutex<EventLog>>>nuevo. Compartido bajoMutexpara que el commit_seed pueda mutar.- Apertura + replay al startup (
MetaUi::new): path por envNAKUI_EVENT_LOG, default./nakui-ui-state.jsonl.EventLog::open+replay_intoreconstruyen el store. Toast informativo: "log nuevo" o "log X cargado: N evento(s) replayed". - WAL en
commit_seed: sievent_log.is_some(), primerolog.append(LogEntry::Seed { ..., schema_hash: None }), despuésstore.seed. Si el append falla, cancela toda la operación (el user reintenta sin haber dejado state inconsistente). schema_hash: None: documentado como path "legacy / pre-versioning" para seeds que no pasan por un Manifest+Executor. Es el path correcto para alta administrativa vía la metainterfaz hasta queAction::Morphismwireé el Manifest loader.- Degradación grácil: si abrir log falla (permisos, disco), toast con error pero el runtime sigue en modo in-memory.
Tests: 1 nuevo E2E event_log_replay_restores_memory_store que
escribe 2 seeds via EventLog::append, re-abre y replay_into un
store fresh, verifica que ambos records están con sus values
correctos. Reproduce el flujo del startup de MetaUi::new sin
necesitar GPUI. 7 tests verdes en nakui-ui.
Activación con persistencia explícita:
NAKUI_EVENT_LOG=~/.nakui/state.jsonl \\
NAKUI_MODULES_DIR=examples/nakui-modules \\
cargo run -p nakui-ui
# Crear varios records vía el form, cerrar el binario, abrir de
# nuevo: los records están.
Limitaciones que siguen (próximos iters):
Action::Morphismsigue como TODO: requiere cargar elManifestde nakui-core junto alModuleUI para conocer los inputs/params declarados y poder llamarexecute_and_log.- No hay snapshot/compaction: el log crece append-only para
siempre. Para repos grandes habría que integrar
Snapshotde nakui_core (existe, no se usa todavía). - No hay UI para borrar/editar records existentes — sólo alta vía form. Edit + delete en futuras iteraciones.
- Widget input simple (sin selection/IME/clipboard) — heredado
de la limitación documentada de
yahweh-widget-text-input.
feat(nakui-ui): inputs reales con yahweh-widget-text-input + click handlers funcionales
Cierra dos limitaciones documentadas en el commit anterior de la metainterfaz: los formularios ahora aceptan teclado real, y los clicks en menús + botones mutan estado correctamente.
Cambios:
- Inputs vivos: cada
FieldSpecdel Form view materializa unEntity<TextInput>(deyahweh-widget-text-input) al entrar a la vista. Los entities se reemplazan al cambiar de view (drop limpio). El widget soporta: escribir caracteres, Backspace, Enter (Confirmed event — no usado todavía; el submit va por botón), Escape (Cancelled). El cursor se renderea como|al final. - Click handlers wired vía
cx.listener: menús del sidebar invocanselect_view; botones de acción (header de list, submit de form) invocanapply_action. Los handlers tienen acceso real alContext<MetaUi>y mutan el modelo + emitencx.notify(). - Submit lee texto de los inputs:
commit_seedreemplaza el buffer ad-hoc anterior porinput.read(cx).text()por cada field. El value parseado va alMemoryStorecon su tipo correcto (text/number/boolean/date). - Reset de inputs tras submit: si la acción no tiene
next_view, los inputs se vacían (set_text("")) para alta consecutiva sin re-tipear. - Hover states: items del sidebar y botones cambian de bg al pasar el mouse, feedback visual consistente con el resto del ecosistema yahweh.
- Theme global:
Theme::install_default(cx)al inicio (lo requiere el text_input para sus colores).
Wire en Cargo:
- Deps nuevas:
yahweh-widget-text-input,yahweh-theme(paths relativos al monorepo).
Limitaciones que siguen abiertas (próximos iters):
Action::Morphismsigue como TODO: requiere cargar elManifestde nakui-core junto alModuleUI para conocer los inputs/params declarados.- Sin persistencia entre runs:
MemoryStoreen RAM. Wire conEventLogoSurrealStorequeda para cuando exista el daemon Nakui. - Inputs simples: el widget no soporta cursor positioning,
selection, copy/paste, IME, multilínea. Para edits serios habrá
que portar
gpui::examples::inputo adoptargpui-inputcuando exista upstream. - Enter no envía: el
TextInputEvent::Confirmedque emite el widget no está suscrito todavía; el submit va por click. Trivial de wirear si lo necesitamos.
Tests: los 6 unit del runtime siguen verdes (parse_field_value para
los 5 kinds, lookup_field nested, render_value). El comportamiento
visual requiere correr el binario con cargo run -p nakui-ui y
probar a mano — GPUI no provee harness de UI testing en CI hoy.
Activación full:
NAKUI_MODULES_DIR=examples/nakui-modules cargo run -p nakui-ui
# Click en un menú → carga vista. Click en "Nuevo" → form.
# Tipear en cada campo → ver el `|` al final. Click "Crear customer"
# → record aparece en la lista.
feat(nakui): metainterfaz declarativa + 6 módulos ERP estándar
Salto cualitativo: Nakui pasa de "library + demos + read-only viewer
del event log" a plataforma ERP con UI dirigida por datos. Cada
módulo de negocio se declara como un module.json (sin código Rust
nuevo) y el runtime GPUI lo carga dinámicamente: sidebar de menús,
listas con columnas configurables, formularios de alta.
Tres entregables:
1) Crate nuevo nakui-ui-schema (datos puros, ~250 LOC + 200
LOC tests):
Module { id, label, entities, menu, views }.View::List { entity, columns, actions, search_in }oView::Form { entity, fields, on_submit }.FieldSpec { name, label, kind, default, required, help }conFieldKind = Text|Multiline|Number|Boolean|Date.Action::OpenView | SeedEntity | Morphism— el runtime las dispara desde botones / submits.Module::from_pathparsea un JSON;Module::validatechequea que cadaMenuItem.viewexista enviews.load_modules_from_dir(dir)buscadir/<modulo>/module.json, parsea, valida, detecta IDs duplicados, devuelve ordenado.- 6 tests unit + 4 integration (los 6 demos cargan limpio, todos tienen list+form, kinds reconocidos, validate pasa).
2) Crate nuevo nakui-ui (binario GPUI, ~700 LOC + 100 LOC tests):
- Carga módulos desde
NAKUI_MODULES_DIR(default./nakui-modules). - Sidebar con módulos + sus menús; click en menu cambia la vista activa.
- List view: tabla de instancias del entity con columnas weighted (header de columnas + filas + id corto).
- Form view: campos labeled + botón submit que dispara la action
declarada (
SeedEntitymete el record alMemoryStorein-process;Morphismqueda como TODO hasta integrar el manifest loader nakui-core). MemoryStorecompartido entre todas las vistas (Arc); el cambio en un módulo se refleja en otro inmediato.- Toast + error banner para feedback.
- 6 tests unit (parse_field_value para los 5 kinds, lookup_field nested, render_value).
3) 6 módulos demo en examples/nakui-modules/ que cubren un
ERP estándar:
- customers: nombre, email, teléfono, activo, límite de crédito, notas.
- products: SKU, nombre, categoría, precio, stock, activo.
- suppliers: razón social, ID fiscal, contacto, email, teléfono, términos de pago.
- inventory_movements: fecha, tipo (in/out/adjustment), SKU producto, cantidad, costo unitario, motivo, doc. referencia.
- sales_orders: número, cliente, emisión, vencimiento, estado, subtotal, impuestos, total, notas.
- invoices: número, cliente, emisión, vencimiento, subtotal, impuestos, total, pagado, estado, moneda, orden referenciada.
Cada módulo tiene su list (catálogo) + form (alta), con search
field y columns weighted. Los 6 cubren un setup de ERP de ventas
chico funcional para demo.
Filosofía documentada:
- UI como datos: agregar un módulo = escribir un JSON, no recompilar el binario.
- Persistencia universal: el runtime conecta cada vista al
nakui_core::store::Store; cambiar de MemoryStore a SurrealStore no toca los module.json. - Schema primero, semántica después:
nakui-ui-schemasólo define la forma; validación de referencias rotas (entity inexistente, morphism faltante) vive en el runtime.
Activación:
NAKUI_MODULES_DIR=examples/nakui-modules cargo run -p nakui-ui
Limitaciones conocidas (próximas iteraciones):
- Inputs sin teclado: GPUI no incluye text input; los forms
muestran los
defaultdel schema y el submit usa esos. Próximo iter: integración conyahweh-widget-text-input. - Click handlers no wired: GPUI necesita pasar
Entity<MetaUi>a los handlers para mutar estado; refactor concx.listener+ weak refs queda para el próximo iter. Hoy la navegación es visual; el código de mutación sí funciona via API programática (los tests lo cubren). - Acción
Morphism: pendiente de cargar elManifestde nakui-core junto con elModuleUI para wirearexecute_and_log. - Sin persistencia entre runs: el
MemoryStorese pierde al cerrar. Wire conEventLogoSurrealStorequeda para cuando el daemon Nakui exista.
Tests: 16 totales nuevos (10 schema + 6 runtime). 100% verde.
Lo que esto desbloquea: cualquiera puede escribir un module.json
para su dominio (pacientes médicos, alumnos de escuela,
reservaciones de hotel) y aparece en la UI sin tocar Rust ni
recompilar. La forma de extender Nakui dejó de ser "agregar código
al ERP" y pasó a ser "escribir el contrato del módulo".
feat(nakui-explorer): nuevo binario GPUI — Nakui visible en la interfaz
Cierra "nakui no tiene UI propia" del audit. Nuevo binario standalone
nakui-explorer (paralelo a nouser-explorer) que renderea el
event log de un repo Nakui: timeline scrollable de seeds + morphisms
con sus parámetros, breakdown por entity type, polling cada 2s para
detectar nuevos eventos appended sin restart del explorer.
Diseño:
- Lee directamente el archivo
.jsonldelnakui_core::event_log::EventLog. Path por envNAKUI_EVENT_LOG, defaultnakui.jsonlen pwd. - Sin discovery vía broker brahman porque nakui hoy es CLI/library/ demos, no daemon. Cuando se daemonice, sustituir el lector de archivo por un sidecar consumer (mismo patrón que nouser-explorer actualmente usa).
UI:
- Header: path del log, count total + breakdown seeds/morphisms, tiempo del último reload en ms.
- Breakdown line: top 5 buckets por frecuencia (entities + nombres
de morphisms con prefijo
→). - Timeline: tarjetas color-coded por kind (azul=seed,
verde=morphism). Cada tarjeta muestra
#seq, kind, entity/morphism name, id corto (8 hex), preview del data/params (80 chars), schema hash corto (8 hex) o(legacy)si pre-versioning. Mostradas más-recientes-primero, hasta 200 visibles (suficiente para navegación; sin scroll virtualizado por ahora). - Error banner: si la lectura falla (archivo inexistente o corrupto), banner rojo con el motivo. El explorer NO crashea — sigue intentando cada 2s.
Wire en workspace:
- Nuevo
crates/apps/nakui-explorer/agregado a[workspace] members. - Deps mínimas:
nakui-core(para EventLog + LogEntry),gpui,serde_json,uuid(con feature serde para parsear los IDs). - Sin deps de brahman por ahora (Nakui standalone).
Tests: 7 unitarios en tests mod del bin:
load_log_returns_all_entries_in_order— cargar un .jsonl generado a mano, asserta que devuelve 5 entries con seqs 0..4 contiguous.breakdown_counts_seeds_morphisms_and_buckets— verifica el conteo (3 seeds + 2 morphisms) y los buckets esperados.load_missing_file_yields_empty_not_error— archivo inexistente devuelve[]sin error (delegado al contrato deEventLog::open).preview_value_truncates_long_stringsy_keeps_short_strings_intact.short_uuid_takes_first_8_charsyshort_hash_takes_first_4_bytes_hex.
Activación:
NAKUI_EVENT_LOG=/tmp/nakui_inv_xxx.jsonl cargo run -p nakui-explorer
Estado del CHANGELOG global tras este commit: cero pendientes
fundamentados activos. Lo único que queda es minga-vfs (FUSE,
explícitamente diferido por el usuario) y mejoras nice-to-have
(cobertura adicional per-lenguaje, daemon-ización de nakui para
sidecar discovery).
chore(nakui): alinear nakui-core con [workspace.package] y deps compartidas
Cleanup de drift de convenciones: nakui-core era el único crate del
monorepo que mantenía version = "0.1.0" / edition = "2021" /
thiserror = "1" hardcoded, mientras el resto heredaba del workspace
y usaba thiserror = "2". Eso significaba que un bump global de versión
o de edition se olvidaba sistemáticamente de nakui.
Cambios:
[package]:version,edition,rust-version,license,authors,publish→ todos*.workspace = true. Agregadodescription(cumple convención del resto de crates).- Deps compartidas migradas a
{ workspace = true }: serde, serde_json, thiserror (v1→v2), tokio, ulid, sha2. uuidmigrado a{ workspace = true, features = ["serde"] }— la featureserdeno está en el workspace dep porque nakui es el único user; queda local opt-in en lugar de inflar el dep común.- Deps específicas de nakui (sin compartición posible): rhai, petgraph, surrealdb permanecen inline con versión local.
Verificación: cargo build -p nakui-core verde tras el bump de
thiserror v1→v2 — el #[derive(Error)] de los 14+ enums de error
en nakui no requirió ajustes (la API de derive es backwards-compatible
para los patrones simples). cargo test -p nakui-core --lib: 27/27
verdes, sin regresión.