Saltar al contenido

Conceptos

Arquitectura de Orkastery

Entienda quién presenta, quién ejecuta y quién verifica cada cambio.

Quién conduce, ejecuta y compruebaEl host presenta la intención al núcleo. El núcleo despacha el runtime y recibe código y pruebas para verificar. Los gates y el ledger permanecen en el núcleo. 1.Hostpeticiones y decisionesPetición → núcleo2.Núcleo orkcontratos y estadoDespacho → runtime3.Runtimecódigo y pruebas
Quién conduce, ejecuta y comprueba. El host presenta la intención al núcleo. El núcleo despacha el runtime y recibe código y pruebas para verificar. Los gates y el ledger permanecen en el núcleo.
Aislamiento y autorizaciónLa thread define alcance y permisos. La worktree aísla el código. Los leases coordinan colisiones. El gate de entrega comprueba autorización y pruebas antes del merge. 1.ThreadalcanceLimita la edición2.Worktreecódigo aisladoCoordina acceso3.Leaserecurso compartidoComprueba la entrega4.Gateentrega autorizada
Aislamiento y autorización. La thread define alcance y permisos. La worktree aísla el código. Los leases coordinan colisiones. El gate de entrega comprueba autorización y pruebas antes del merge.

Tres capas con responsabilidades explícitas

El host recibe la petición y presenta las decisiones. El núcleo ork aplica contratos, registra el estado y comprueba las pruebas. El runtime escribe el producto. Su informe no sustituye la ejecución de los verificadores.

El núcleo es un CLI determinista. Los adaptadores conectan hosts y runtimes; las reglas de negocio permanecen en el núcleo para que una decisión conserve su significado entre canales.

Estado y procedencia

El manifiesto orkastery.yaml define el proyecto. Cada thread tiene estado, ledger, claims y prompts con hash en .orkastery. Consulte esos datos mediante los comandos del núcleo. Una conversación puede explicar el estado, pero no es su fuente de verdad.

ork thread status <thread>
ork phase list <thread>
ork claims list <thread>

Aislamiento y decisiones

La worktree separa el código de una thread. Los leases coordinan recursos que pueden colisionar, como rutas de edición y el árbol de destino del merge. El trabajo paralelo sigue requiriendo una entrega serializada.

El modo controla las pausas previstas. Las políticas block, los fallos de verificación y los escalados tipados siguen vigentes. La memoria aporta contexto; no concede autorización.

Dos medidas con propósitos distintos

El índice de conducción deriva de los eventos del ledger y describe cómo se condujo el ciclo. La nota humana registra la valoración del dueño sobre el resultado. Sus fuentes son distintas: ninguna debe inventarse ni usarse como medida de la otra.

Una tasa de entregas requiere un intervalo, una población definida y registros de origen. Esta página no presenta una tasa sin esa medición.

Grafo determinista: el contrato KG1

KG1 define ork.code-artifact-graph/v1 y ork.graph-benchmark/v1, con validación pura y corpus sintético. La misma entrada, configuración y versión del extractor producen las mismas identidades y contenido canónico. Cada relación exige pruebas localizables y conserva las restricciones de acceso de las fuentes.

El grafo es una proyección local descartable. KG1 ofrece el contrato, la validación pura y el corpus; la extracción es KG2, y el índice con la consulta mediante ork grafo es KG3. No modifica orkmind.company-brain/v1 ni sustituye el estado de Ork o el Company Brain. Ningún benchmark medido demuestra ahorro en esta etapa.

Extracción, índice y consulta: KG2 y KG3

KG2 extrae de un repositorio Git local un grafo con el mismo contrato: TypeScript y JavaScript mediante el compilador, Markdown con secciones, enlaces, frontmatter e IDs citados, y la procedencia de cada arista. Una arista solo existe con prueba; lo que no se demuestra queda fuera y se declara como diagnóstico o como laguna del informe de extracción. La misma entrada produce el mismo grafo y el mismo digest en cualquier orden de lectura.

KG3 guarda ese grafo en un índice local del HEAD limpio, fuera de git, y lo consulta por vecindad, llamadores, importadores y camino. La misma pregunta produce la misma salida, cada arista incluye extractor y prueba, y la respuesta se declara parcial. Los registros fuera de la concesión local no aparecen en respuestas, recuentos ni candidatos. La extracción incremental, el consumo por las fases, la federación y una herramienta MCP siguen fuera.

ork grafo indexar --verificar
ork grafo vizinhos <nodo> --json