PARK JUN WOO
Proponho Projection Engineering e Reins Engineering.
Coloque rédeas nos agentes de IA — direcione-os com contratos determinísticos, trave-os com catracas, separe decisões da implementação. Escrevo código e prosa sem parar, junto com IA.
Projection Engineering
A realidade nos dá Claims. Decisões exigem Facts.
Projection Engineering projeta Claims abertas em um Grafo de Fatos Aceitos (GAF) auditável. Seus nós de fatos são Accepted Facts, conectados às Claims, avaliações, derivações, proveniência e políticas que os produziram.
→ De Claims a um Grafo de Fatos Aceitos
Reins Engineering
Prompt Engineering → Say it well and it works
Context Engineering → Give good context and it works
Harness Engineering → Contain it with structure
Reins Engineering → Steer it with direction
Um arreio sem rédeas é apenas uma cerca. Não mude o modelo. Adicione um contrato.
→ Reins Engineering — IA com rédeas
Código aberto
Ferramentas de Reins Engineering:
- yongol — Valida cruzadamente 10 SSOT e gera código. A implementação do Reins Engineering. Arreio com rédeas.
- toulmin — Motor de regras em Go baseado no modelo de argumentação de Toulmin. Regras são funções Go, exceções são grafos de defeats, o julgamento é feito pelo h-Categoriser.
- filefunc — Um arquivo, um conceito. Estrutura de código operável por agentes.
- tsma — Scaffolding automatizado de testes para código legado.
- ssac — Service Sequences as Code. Fluxo de serviços declarativo.
- whyso — O que o git blame não mostra. Extrai o histórico de alterações de sessões do Claude Code.
Projetos mundiais:
- GEUL — Uma linguagem semântica para IA. Anexa proveniência, carimbo temporal e grau de confiança a cada informação para verificação mecânica. A terceira linguagem.
- DABEL5 — Engenharia de enxame de Dyson. Da mineração de asteroides à autorreplicação de espelhos — projetando uma civilização Kardashev Tipo 1 usando apenas tecnologia existente.
Contato
Direitos autorais
Os artigos técnicos e de opinião neste site são compartilhados sob a licença CC BY 4.0.
- Livremente compartilhe, cite, traduza e crie obras derivadas.
- Atribuição — Credite a fonte e o autor (Park Jun Woo).
O código aberto segue a licença de cada repositório. Dúvidas: mail@parkjunwoo.com