v0.10.0: análise/prova/teste das críticas de engenharia Qwen3.8 lote 3 (r-35) — divisão SRP dos monólitos jepa/pensamento/moe/python em 26 submódulos (API estável via re-exports; 'Amdahl de compilação' refutada por experimento controlado, builds frios neutros), checkpoints atômicos SHA-256 puro FIPS 180-4 + fsync + rename + manifesto (CP-1..CP-3; correções da proposta: sem destruir estado anterior, manifesto com barreira, sem bincode/unwrap), TemperaturaInversa T-V3 (fronteira tipada da convexidade N-2; alegação compile-time corrigida), trait CamadaKhtst+CamadaHomeostatica (premissa do controlador refutada no fonte; Vec<Var>; adaptador MoeComPapel bit-a-bit), CLI Typer 75 (fachada aditiva com resume verificado por hash) — 123/123 cargo, 107/107 gates, treino real Wikipédia PT-BR com checkpoints íntegros

06e4b6f verified 11 days ago

Raw History Blame Contribute Delete

3.55 kB

//! Tecnologia Pensamento — módulos: motor, combinador ridge,
//! quebra-cabeça pós-treino (divisão SRP v0.10.0 — r-35 §2).

//! Tecnologia **Pensamento** v0.5.0 — N-redes neurais flexíveis paralelizadas
//! integradas ao NCM, conectadas ao Mecanismo de Atenção, com raciocínio
//! temporal-estratégico (item d = a + b + c).
//!
//! **O que é (motivação do usuário):** Pensamento é semelhante ao
//! pós-treinamento — N-redes paralelas de tentativas cooperativas para
//! resolver o problema do item c (requisição do usuário) quando a
//! informação tem POUCA CONFIANÇA para gerar novo conhecimento (fora dos
//! padrões comuns), a partir de:
//! - **a)** conhecimento aprendido durante o treinamento;
//! - **b)** estado de inferência corrente;
//! - **c)** a requisição (prompt) do usuário;
//! e da ativação de **difusores** (exploração estocástica) e
//! **combinadores/montadores** (re-encaixe de peças por projeção algébrica).
//!
//! **Ciclo d (raciocínio temporal-estratégico):**
//! `planejamento → construção de etapas e distribuição/desmembramento de
//! competências → volta ao planejamento OU envio da resposta ao usuário`.
//!
//! **Provas (completas em `docs/memorias/r-21-provas-pensamento-v050.md`):**
//! - **T-P1 (gatilho mensurável e causal):** o gatilho
//!   `1{conf(p) < τ_c}` com `conf = 1 − H(p)/log K` é função apenas da
//!   distribuição preditiva CORRENTE — não transporta informação do futuro,
//!   preservando a causalidade (mesma estrutura do gate G1 do NCM).
//! - **T-P2 (tentativas paralelas — auto-consistência):** com N tentativas
//!   independentes, cada uma correta com prob. `p > 1/2`, a votação por
//!   maioria tem `P(erro) ≤ exp(−2N(p−1/2)²)` (Hoeffding); com seleção
//!   best-of-N por verificador exato, `P(sucesso) ≥ 1−(1−p)^N`.
//! - **T-P3 (combinador ótimo):** o montador por mínimos quadrados com
//!   regularização ridge resolve `r* = (WᵀW+εI)^{−1}Wᵀr_alvo` — o resíduo é
//!   o MÍNIMO possível na norma (pseudo-inversa, Teo V-1' do outro agente).
//! - **T-P4 (terminação e soundness do planejador):** o potencial
//!   `Φ(k) = B − k` decresce estritamente a cada iteração do ciclo d ⇒ o
//!   loop termina em ≤ B iterações (indução bem-fundada); a resposta só é
//!   emitida com confiança ≥ τ_c OU com orçamento esgotado (declaração
//!   honesta de queda de confiança na telemetria).
//! - **T-P5 (neutralidade no nascimento na atenção):** com o gate de
//!   atenção das tentativas inicializado em ZERO, a saída da atenção é
//!   bit-a-bit a da atenção base; a perturbação é limitada por
//!   `‖Δy‖ ≤ L·|g|·‖W_k z‖` (Lipschitz com constante L do softmax).
//! - **T-P6 (composição d = a + b + c):** o condicionamento de cada
//!   tentativa é `cond = [a; b; c]` — a estrutura de independência
//!   condicional `p(resposta | a, b, c)` fatoriza pelo estado conjunto; as
//!   tentativas só veem o PASSADO (causalidade preservada).

use candle_core::{Device, Result, Tensor, Var};
use crate::camadas::Linear;
use crate::jepa::MlpJepa;
use crate::rng::RngDeterministico;
use std::collections::HashMap;

// ---- divisão SRP v0.10.0 (r-35 §2): submódulos + re-exports ----
#[cfg(test)]
mod testes;
mod combinador;
mod motor;
mod quebra_cabeca;

pub use combinador::*;
pub use motor::*;
pub use quebra_cabeca::*;

// ---- itens mantidos no próprio mod.rs ----


pub fn versao() -> &'static str {
    "pensamento-0.7.0"
}

	//! Tecnologia Pensamento — módulos: motor, combinador ridge,
	//! quebra-cabeça pós-treino (divisão SRP v0.10.0 — r-35 §2).

	//! Tecnologia Pensamento v0.5.0 — N-redes neurais flexíveis paralelizadas
	//! integradas ao NCM, conectadas ao Mecanismo de Atenção, com raciocínio
	//! temporal-estratégico (item d = a + b + c).
	//!
	//! O que é (motivação do usuário): Pensamento é semelhante ao
	//! pós-treinamento — N-redes paralelas de tentativas cooperativas para
	//! resolver o problema do item c (requisição do usuário) quando a
	//! informação tem POUCA CONFIANÇA para gerar novo conhecimento (fora dos
	//! padrões comuns), a partir de:
	//! - a) conhecimento aprendido durante o treinamento;
	//! - b) estado de inferência corrente;
	//! - c) a requisição (prompt) do usuário;
	//! e da ativação de difusores (exploração estocástica) e
	//! combinadores/montadores (re-encaixe de peças por projeção algébrica).
	//!
	//! Ciclo d (raciocínio temporal-estratégico):
	//! `planejamento → construção de etapas e distribuição/desmembramento de
	//! competências → volta ao planejamento OU envio da resposta ao usuário`.
	//!
	//! Provas (completas em `docs/memorias/r-21-provas-pensamento-v050.md`):
	//! - T-P1 (gatilho mensurável e causal): o gatilho
	//! `1{conf(p) < τ_c}` com `conf = 1 − H(p)/log K` é função apenas da
	//! distribuição preditiva CORRENTE — não transporta informação do futuro,
	//! preservando a causalidade (mesma estrutura do gate G1 do NCM).
	//! - T-P2 (tentativas paralelas — auto-consistência): com N tentativas
	//! independentes, cada uma correta com prob. `p > 1/2`, a votação por
	//! maioria tem `P(erro) ≤ exp(−2N(p−1/2)²)` (Hoeffding); com seleção
	//! best-of-N por verificador exato, `P(sucesso) ≥ 1−(1−p)^N`.
	//! - T-P3 (combinador ótimo): o montador por mínimos quadrados com
	//! regularização ridge resolve `r* = (WᵀW+εI)^{−1}Wᵀr_alvo` — o resíduo é
	//! o MÍNIMO possível na norma (pseudo-inversa, Teo V-1' do outro agente).
	//! - T-P4 (terminação e soundness do planejador): o potencial
	//! `Φ(k) = B − k` decresce estritamente a cada iteração do ciclo d ⇒ o
	//! loop termina em ≤ B iterações (indução bem-fundada); a resposta só é
	//! emitida com confiança ≥ τ_c OU com orçamento esgotado (declaração
	//! honesta de queda de confiança na telemetria).
	//! - T-P5 (neutralidade no nascimento na atenção): com o gate de
	//! atenção das tentativas inicializado em ZERO, a saída da atenção é
	//! bit-a-bit a da atenção base; a perturbação é limitada por
	//! `‖Δy‖ ≤ L·\|g\|·‖W_k z‖` (Lipschitz com constante L do softmax).
	//! - T-P6 (composição d = a + b + c): o condicionamento de cada
	//! tentativa é `cond = [a; b; c]` — a estrutura de independência
	//! condicional `p(resposta \| a, b, c)` fatoriza pelo estado conjunto; as
	//! tentativas só veem o PASSADO (causalidade preservada).

	use candle_core::{Device, Result, Tensor, Var};
	use crate::camadas::Linear;
	use crate::jepa::MlpJepa;
	use crate::rng::RngDeterministico;
	use std::collections::HashMap;

	// ---- divisão SRP v0.10.0 (r-35 §2): submódulos + re-exports ----
	#[cfg(test)]
	mod testes;
	mod combinador;
	mod motor;
	mod quebra_cabeca;

	pub use combinador::*;
	pub use motor::*;
	pub use quebra_cabeca::*;

	// ---- itens mantidos no próprio mod.rs ----


	pub fn versao() -> &'static str {
	"pensamento-0.7.0"
	}