Commit Graph

11 Commits

Author SHA1 Message Date
egutierrez 5ac4c52e67 feat: WAL mode explícito con PRAGMA para acceso concurrente
Cambia de _journal_mode=WAL en connection string a PRAGMA journal_mode=WAL
explícito. Esto persiste en el archivo y cualquier cliente externo (sqlite3
CLI, DuckDB) hereda WAL automáticamente sin configuración adicional.
Permite leer mientras el agente escribe simultáneamente sin bloqueos.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:22:58 +01:00
egutierrez 2d87d6affc feat: indexer con validacion en dos pasadas y CLI con output de errores
Reescribe el indexer con estrategia de dos pasadas:
1. Parsea todos los .md y construye sets de IDs conocidos
2. Valida integridad contra IDs conocidos, inserta solo los validos

El CLI ahora muestra INVALID para errores de validacion y ERROR
para errores de insercion, separando claramente ambos.
Añade test de integracion que verifica que entradas invalidas
se rechazan sin afectar a las validas.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:13:44 +01:00
egutierrez 08d141ea1b test: 15 tests para reglas de integridad
Cubre cada regla de integridad:
- Funciones validas pasan
- Pipeline puro rechazado, pipeline sin uses_functions rechazado
- Pura con returns_optional o error_type rechazada
- Impura sin error_type rechazada
- Coherencia tested/tests/test_file_path
- Referencias huerfanas detectadas (4 tipos de referencia)
- Component: framework, returns, has_state+purity
- file_path absoluta rechazada
- Types: algebraic invalido, auto-referencia, refs huerfanas

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:13:41 +01:00
egutierrez df7e4a15cf feat: validacion de integridad para funciones y tipos
Implementa todas las reglas de docs/integrity.md:
- Pipeline: siempre impuro, uses_functions no vacio
- Pura: sin returns_optional, sin error_type
- Impura: error_type obligatorio
- Tested: coherencia entre tested, tests y test_file_path
- Component: framework obligatorio, returns vacio, has_state->impure
- file_path siempre relativa
- Referencias cruzadas: uses_functions, uses_types, returns, error_type
  deben apuntar a IDs existentes
- Types: algebraic valido, sin auto-referencias, refs validadas

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:13:37 +01:00
egutierrez a34e4109a8 test: tests para parser de frontmatter e indexer completo
5 tests nuevos que validan:
- Parseo de function con extraccion de ejemplo del body
- Parseo de type algebraico con definition multilinea
- Parseo de component con props, emits, has_state, framework
- Error en archivos sin frontmatter valido
- Ciclo completo: escribir .md -> indexar -> buscar por FTS

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:07:10 +01:00
egutierrez bf4b71653f feat: indexer que regenera registry.db desde los .md
Index() recorre functions/ y types/, parsea cada .md con frontmatter,
purga la BD existente e inserta todas las entradas. Devuelve conteos
y errores sin abortar ante fallos individuales.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:07:08 +01:00
egutierrez 94a1a81297 feat: parser de frontmatter YAML para .md de funciones y tipos
Implementa ParseFunctionMD y ParseTypeMD que extraen frontmatter YAML
de archivos .md y construyen los structs del registry. Soporta los tres
kinds (function, pipeline, component) con sus campos especificos.
Extrae automaticamente el ejemplo del body si existe seccion ## Ejemplo.

Dependencia: gopkg.in/yaml.v3

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:07:06 +01:00
egutierrez d9f5f432e8 test: tests para insert, get, FTS search, purge y drop
5 tests que validan el flujo completo del registry:
- Insert y Get de funciones con tags y campos correctos
- Insert y Get de tipos algebraicos
- Busqueda FTS con filtros combinados (purity, domain)
- Purge limpia ambas tablas
- Drop elimina el archivo de BD

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:04:21 +01:00
egutierrez e7b4e3eb81 feat: operaciones CRUD y busqueda FTS del registry
Implementa el acceso a datos completo:
- InsertFunction/InsertType con generacion automatica de ID y timestamps
- GetFunction/GetType por ID
- SearchFunctions con FTS + filtros por kind, purity, lang, domain
- SearchTypes con FTS + filtros por lang, domain
- DeleteFunction/DeleteType por ID
- Purge para limpiar antes de re-indexar
- Serialization JSON para campos array (tags, uses_functions, props, etc)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:04:19 +01:00
egutierrez 11d1dea6e0 feat: schema SQLite con FTS5 y triggers de sync
Crea la base de datos del registry con:
- Tabla functions con todos los campos del schema v1.0 incluyendo component
- Tabla types con campos algebraicos
- Tablas virtuales FTS5 para busqueda full-text sobre nombre, descripcion, tags, signature y domain
- Triggers AFTER INSERT/UPDATE/DELETE para mantener FTS sincronizado
- Open con WAL mode y foreign keys habilitadas
- Drop y Purge para regeneracion del indice

Dependencia: github.com/mattn/go-sqlite3 (requiere CGO_ENABLED=1 -tags fts5)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:04:16 +01:00
egutierrez f750418239 feat: modelos Go para Function y Type
Define los structs que reflejan el schema de docs/:
- Function con campos base + campos de component (props, emits, has_state, framework, variant)
- Type con campos algebraicos (product/sum)
- Enums Kind, Purity, Algebraic como tipos string
- GenerateID para construir IDs canonicos {name}_{lang}_{domain}

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2026-03-28 02:04:11 +01:00