SEGREDO/CHEFE · construindo e operando o CentralDark
Intenção humana → coordenação → execução reversível → prova → aprendizado.

O CentralDark é o sistema que estou construindo para juntar, no mesmo organismo, automação, agentes, GitHub, VPS, Windows/Casa, MCP e conectores, memória e recuperação de contexto, voz/multimodal, observabilidade e prova operacional.

Não é “um modelo de IA” no centro e não é uma coleção de bots soltos. Modelos entram como motores substituíveis dentro de um fluxo único, com objetivo humano preservado e estado real medido antes de qualquer conclusão.

SEGREDO/CHEFE = objetivo + autoridade humana final
SOL            = coordenação e reconciliação
PIVETE/HERMES  = execução + preservação + continuidade
MODELOS        = motores substituíveis
REALIDADE      = juiz do estado observável no escopo atual

ONE_SYSTEM_ONLY
REUSE_BEFORE_CREATE
ONE_WRITER_PER_SCOPE
UNKNOWN != PASS
DOCUMENTED != EXECUTED
MERGED != DEPLOYED
NO_BLIND_OVERWRITE

Aqui, REALITY=JUDGE não significa uma máquina da verdade eterna. Significa: diante de um domínio, premissas, instrumentos, alvo e evidências declaradas, qual é o melhor estado justificável agora?

CLAIM
→ DOMÍNIO + PREMISSAS
→ OBSERVADORES + HEAD/TEMPO
→ PROVA FORMAL quando aplicável
→ MEDIÇÃO EMPÍRICA quando aplicável
→ CONTRAPROVA
→ META-JUIZ independente
→ VEREDITO NO ESCOPO

Estados possíveis:

PROVED_IN_SCOPE
REFUTED_IN_SCOPE
UNKNOWN
UNDECIDABLE_IN_MODEL
OUT_OF_SCOPE

Um teorema formal não substitui medição física. Um HTTP 200 não prova o sistema inteiro. Um painel verde não prova produção. E um provador não recebe licença para certificar a própria conclusão sem âncora independente.

A arquitetura separa quatro coisas que costumam ser misturadas:

1. Derivação formal — o que segue das regras e fatos declarados.
2. Observação empírica — o que instrumentos realmente mediram.
3. Metalinguagem — quem avalia o próprio sistema de prova.
4. Limite — o que não pode ser decidido com o modelo ou evidência disponível.

A inspiração prática vem de lógica computacional, falsificação e dos limites de autorreferência: se uma conclusão depende de o próprio provador dizer “eu estou correto”, ela não fecha o circuito sozinha.

O paradoxo de Aquiles e a tartaruga lembra outra diferença útil: uma descrição pode conter infinitas subdivisões sem obrigar o mundo físico a executar uma sequência infinita de operações. Modelo e fenômeno não são a mesma coisa.

FORMAL_PROOF != EMPIRICAL_PROOF
EMPIRICAL_EVIDENCE != ABSOLUTE_TRUTH
SELF_REFERENCE_REQUIRES_META_LEVEL
NO_DECISION_AVAILABLE => UNKNOWN
FIXED_POINT = fechamento no escopo, não verdade metafísica final

O harness é a bancada onde claims são pressionados antes de ganhar verde. Ele não é o juiz final; é um instrumento adversarial reproduzível. Ele serve para:

• injetar ausência, corrupção, atraso, conflito e evidência contraditória;
• repetir o mesmo teste em condições positivas, negativas e de limite;
• verificar integridade de receipts e detectar tamper;
• provar que UNKNOWN, QUEUED, SKIPPED e CANCELLED não vazam como PASS;
• separar Writer, Prover e Judge para reduzir prova circular;
• comparar dois observadores e exigir reconciliação quando divergem;
• produzir receipt com alvo, SHA, premissas, evidência, contraprova e escopo do ponto fixo.

CLAIM
  ↓
HARNESS ADVERSARIAL
  ├─ positive test
  ├─ negative test
  ├─ boundary test
  ├─ tamper test
  ├─ counterexample
  └─ rollback/recovery
  ↓
EVIDENCE LEDGER
  ↓
META-JUDGE
  ↓
PROVED_IN_SCOPE | REFUTED_IN_SCOPE | UNKNOWN

A pasta pública mae/ é uma bancada pequena dessa ideia: ataques S1/S3/S6 em sandbox contra orphan BEGIN, adulteração de hash e remoção de FINAL.

• 🧠 Orquestração model-neutral — um core, múltiplos motores e coordenação por escopo
• 🔄 Continuidade e retomada — estado, receipts, cursores e reconciliação antes de seguir
• 🧪 Prova e contraprova — same-head CI, falsificação e zero falso-verde
• 🛠️ GitHub Actions self-hosted — fila, promoção segura, dependências e conflitos
• 🔌 MCP + conectores — ferramentas e runtime sem transformar transporte em autoridade
• 🎙️ Voz e multimodal — áudio, TTS, percepção e integração com superfícies locais
• 🧭 Memória e recuperação — contexto com proveniência, dedupe e aprendizado reutilizável
• ♻️ Execução reversível — menor delta, health, rollback e re-medição

O núcleo do CentralDark vive em repositório privado. Esta página é a entrada pública, não uma cópia do sistema inteiro.

README público = explicação / vitrine
GitHub privado = código + histórico + contratos
CI             = teste do HEAD
Casa / VPS     = execução observada
Runtime        = prova de funcionamento

Se um endpoint, deploy ou integração não estiver medido agora, eu prefiro marcar UNKNOWN em vez de vender verde decorativo.

TypeScript / React / Node / Bun
Python / PowerShell / Bash
PostgreSQL / Supabase
Docker / Linux / Windows
GitHub Actions / runners self-hosted
MCP / APIs / automação / observabilidade

_{SEGREDO/CHEFE define o objetivo · SOL coordena · PIVETE/HERMES executa e preserva
GitHub registra · CI testa · Runtime prova · README não fabrica verde
☕ · PM2 · Caddy · PowerShell · SegredoiDev · CentralDark}