asolaria-patterns

name	asolaria-patterns
description	Port dos padrões Asolaria (JesseBrown1980) para o Simplicio Runtime como primitivas determinísticas testáveis — N-Nest cosign/corrective gate, HRM two-level planner, BEHCS-256 supervisor federado.

Asolaria Patterns — Port Determinístico

Use este skill quando evoluir o simplicio-runtime absorvendo padrões do ecossistema Asolaria (N-Nest-Prime, HRM, BEHCS-256). Todo padrão aqui é uma primitiva determinística testável, nunca um stub LLM.

Princípio do simplicio-runtime-asolaria-porting: prefira transform puro, gate explícito, persistência tipada. O runtime é o determinism kernel; estes padrões são bibliotecas Python/Rust puras que o simplicio-agent consome.

Padrões portados

1) N-Nest — Cosign + Corrective Gate (lib/nest_cosign.py)

Implementação original do contrato de N-Nest depth-3, sem copiar código externo.

• Cada nó = agente PID + watcher PID (2 PIDs) que recomputa a ground-truth.
• Gate corretivo: pai autoriza filho só se reported == watcher_recomputed_truth.
• Roll-up de consent: só dispara se TODOS os níveis passam.
• Tamper test: injeta confabulação em folha 3 níveis fundo; gate TEM que pegar.
• Aproveita ReceiptChain (hash-chained) do simplicio-fabric para cosign.

2) N-Nest depth-N prime (lib/nest_depthn.py)

Implementação original de uma árvore hash binária determinística com N=7. Cada nó mantém o hash verdadeiro recomputado pelo watcher, o hash reportado, o gate local e fail_by_depth; uma confabulação é detectada no próprio nível e propagada ao apex sem perder a profundidade.

O espelho correspondente em simplicio-runtime está UNVERIFIED nesta árvore do agente: não há checkout/runtime externo disponível para confirmar paridade, portanto nenhum estado de paridade é declarado.

3) HRM — Two-Level Planner (lib/hierarchical_planner.py)

Port de HRM/models/hrm/hrm_act_v1.py (loop H/L sem torch).

• High-level (LENTO): re-planeja a cada H_cycles passos.
• Low-level (RÁPIDO): executa L_cycles micro-passos entre re-planejos.
• Carry state: z_H / z_L propagados (aqui: dicts/strings determinísticos).

4) BEHCS-256 — Supervisor Federado (lib/behcs_supervisor.py)

Port de asolaria-behcs-256/tools/behcs/behcs-agent-operator.js.

• Cube/register NDJSON com GC bounded (truncate em MAX).
• Hilbert address = sha256_16 (compat asolaria_hbi_hbp::agt).
• Loop de operador: screenshot→check→corrige→verify→GC, max loops.

Uso

python3 skills/asolaria-patterns/lib/nest_cosign.py --selftest
python3 skills/asolaria-patterns/lib/hierarchical_planner.py --selftest
python3 skills/asolaria-patterns/lib/behcs_supervisor.py --selftest
python3 skills/asolaria-patterns/lib/nest_depthn.py --selftest
python3 -m pytest skills/asolaria-patterns/tests/ -q

Verificação (obrigatória)

Cada padrão tem --selftest e teste pytest que PROVA o comportamento:

• nest_cosign: run limpo → apex VERIFIED; run com tamper → apex UNVERIFIED + path nomeado.
• hierarchical_planner: H re-planeja N vezes, L executa L_cycles cada.
• behcs_supervisor: register estoura MAX → truncate p/ últimas MAX linhas.
• nest_depthn: árvore limpa verifica; cada nível 1..7 captura exatamente @depthN; N=7 é primo e a árvore tem 255 nós.

Pitfalls

• Não substitua gate por stub. O gate deve morder (tamper test obrigatório).
• Não use torch/LLM no core — estes são primitivas puras.
• Mantenha compat de hashing com asolaria_hbi_hbp (sha256_16 = AGT-+16hex).