khtst-rust / resultados /suite_v010_final.json
PowerMachine's picture
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
Raw History Blame Contribute Delete
7.16 kB
{
"versao": "0.10.0",
"blocos": {
"legado_v090": "97/97",
"s1_divisao_srp": "3/3",
"s2_checkpoint_atomico": "2/2",
"s3s4_tipos_trait": "1/1",
"s5_treino_real": "4/4",
"s6_cli": "1/1"
},
"gates": {
"legado_legado_legado_legado_calibracao_soundness.v1_calibracao": true,
"legado_legado_legado_legado_calibracao_soundness.v2_soundness": true,
"legado_legado_legado_legado_calibracao_soundness.v3_tau_positivo": true,
"legado_legado_legado_legado_ciclo_d_sem_oraculo.aprendeu": true,
"legado_legado_legado_legado_ciclo_d_sem_oraculo.terminou": true,
"legado_legado_legado_legado_ciclo_d_sem_oraculo.sem_oraculo": true,
"legado_legado_legado_legado_ciclo_d_sem_oraculo.calibrado": true,
"legado_legado_legado_legado_ciclo_d_sem_oraculo.ganho_nao_negativo": true,
"legado_legado_legado_legado_ciclo_d_sem_oraculo.verificador_sem_oraculo": true,
"legado_legado_legado_legado_escalonamento_n.tp2_ncm": true,
"legado_legado_legado_legado_fase_c.verificador_sem_oraculo": true,
"legado_legado_legado_legado_fase_c.calibracao_nll_otima": true,
"legado_legado_legado_legado_fase_c.ece_aceitavel_para_soundness": true,
"legado_legado_legado_legado_fase_c.correcao_ativa": true,
"legado_legado_legado_legado_fase_c.acoplador_sem_timeout": true,
"legado_legado_legado_legado_fase_c.acoplador_duplex_ativo": true,
"legado_legado_legado_legado_fase_c.confianca_pos_nao_inferior": true,
"legado_legado_legado_legado_fase_c.backbone_preservado": true,
"legado_legado_legado_legado_fase_c.pcgrad_sem_conflito_observado": true,
"legado_legado_legado_legado_provas_mr.mr1_capacidade": true,
"legado_legado_legado_legado_provas_mr.mr1_perda_aux": true,
"legado_legado_legado_legado_provas_mr.mr2_neutralidade": true,
"legado_legado_legado_legado_provas_mr.mr3_paralelismo": true,
"legado_legado_legado_legado_provas_mr.mr5_water_filling": true,
"legado_legado_legado_legado_jepa_moe.jepa_moe_aprende": true,
"legado_legado_legado_legado_jepa_moe.jepa_moe_vs_densa": true,
"legado_legado_legado_legado_jepa_moe.jepa_moe_vs_pequena": true,
"legado_legado_legado_legado_som_moe.moe_refina": true,
"legado_legado_legado_legado_som_moe.redirect_decodifica": true,
"legado_legado_legado_legado_som_moe.wf_melhor_uniforme": true,
"legado_legado_legado_legado_acoplador_duplo.duplex_simultaneo": true,
"legado_legado_legado_legado_acoplador_duplo.sem_timeout": true,
"legado_legado_legado_legado_acoplador_duplo.terminou": true,
"legado_legado_legado_legado_iter.gate_ucb1_encontrou_moe": true,
"legado_legado_legado_legado_iter.gate_gap_positivo_vs_baseline": true,
"legado_legado_legado_legado_iter.gate_arrependimento_pequeno": true,
"legado_legado_legado_legado_iter.gate_regulacao_ocorreu": true,
"legado_legado_legado_legado_iter.gate_parada_ou_teto": true,
"legado_legado_legado_legado_iter.gate_melhor_aprendeu": true,
"legado_legado_legado_legado_iter.a1_tau_quantil": true,
"legado_legado_legado_legado_iter.a2_b_finito": true,
"legado_legado_legado_legado_iter.a3_n_reduzido": true,
"legado_legado_legado_legado_iter.a4_ucb1_achou": true,
"legado_legado_legado_legado_iter.a5_gate_subiu": true,
"legado_legado_legado_legado_legada_suite_v": true,
"legado_legado_legado_legado_cargo_54": true,
"legado_legado_legado_fnh_f1_so_n_exato": true,
"legado_legado_legado_fnh_f3_gate_zona_morta": true,
"legado_legado_legado_fnh_f3_gate_abre": true,
"legado_legado_legado_fnh_f4_homeostase_theta_congelado": true,
"legado_legado_legado_fnh_f4_rotacao_aprende_com_punicao": true,
"legado_legado_legado_fnh_a2_delta_ort_treino_real": true,
"legado_legado_legado_fnh_a3_punicao_real_medida": true,
"legado_legado_legado_arvore_quebra_t1_invariantes": true,
"legado_legado_legado_arvore_quebra_t2_agregacao_exata": true,
"legado_legado_legado_arvore_quebra_t3_teto_simetrico": true,
"legado_legado_legado_arvore_quebra_q1_executa_real": true,
"legado_legado_legado_arvore_quebra_q2_soundness_aceites": true,
"legado_legado_legado_arvore_quebra_q3_invariantes_pos_quebra": true,
"legado_legado_legado_arvore_quebra_q4_punicao_registrada": true,
"legado_legado_legado_arvore_quebra_q5_sintetico_mistura_aceita_rejeita": true,
"legado_legado_legado_nlp_nlg_n_coerencia_ok": true,
"legado_legado_legado_nlp_nlg_n_espec_ok": true,
"legado_legado_legado_nlp_nlg_n_gate_medio_ok": true,
"legado_legado_legado_nlp_nlg_n_nlg_neutro": true,
"legado_legado_legado_nlp_nlg_n_nlp_neutro": true,
"legado_legado_legado_nlp_nlg_n_ctx_real_bigramas_unicos": true,
"legado_legado_legado_nlp_nlg_s_piso_ok": true,
"legado_legado_legado_nlp_nlg_s_qe_sobe": true,
"legado_legado_legado_nlp_nlg_s_stop_dispara": true,
"legado_legado_legado_nlp_nlg_s_tetos_ok": true,
"legado_legado_legado_telemetria_painel_v070": true,
"legado_legado_legado_treino_real_completo": true,
"legado_legado_q1_newton_menos_avaliacoes": true,
"legado_legado_q1_newton_mesmo_t": true,
"legado_legado_q1_newton_nll_nao_piora": true,
"legado_legado_q3_cayley_ambos_exatos": true,
"legado_legado_q3_cayley_cayley_mais_rapido": true,
"legado_legado_q2_arvore_iguais_bit_a_bit": true,
"legado_legado_q4_moe_bug_v080_1_confirmado": true,
"legado_legado_q4_moe_gradiente_restaurado": true,
"legado_legado_q4_moe_valores_iguais": true,
"legado_legado_q5_ablacao_moe_aprende_3x": true,
"legado_legado_q5_ablacao_moe_domina_pequena_3x": true,
"legado_legado_cargo_todos_verdes": true,
"legado_q1_skew_bits_identicos": true,
"legado_q1_skew_mais_rapido_n128": true,
"legado_q2_calibrar_bit_a_bit": true,
"legado_q2_calibrar_nao_regride": true,
"legado_q3_forward_valores_e_gradiente": true,
"legado_q4_newtypes_fronteira_validada": true,
"legado_real_gate_abre_com_punicao_alta": true,
"legado_real_gate_fecha_com_punicao_baixa": true,
"legado_real_rotacao_aprende": true,
"legado_real_so_n_exato": true,
"legado_real_ce_decresce": true,
"legado_q5_compila_sem_python": true,
"s1_nenhum_arquivo_acima_60kB": true,
"s1_monolitos_dissolvidos": true,
"s1_testes_herdados_preservados": true,
"s2_checkpoints_sha256_validos": true,
"s3s4_testes_novos_16": true,
"s5a_faseA_perda_cai": true,
"s5b_faseB_perda_cai": true,
"s5c_faseC_ce_cai": true,
"s5d_ortogonalidade_exata": true,
"s6_cli_comandos": true
},
"medicoes": {
"maior_arquivo": {
"caminho": "src/fnh.rs",
"kB": 57.6
},
"cargo_total": 123,
"checkpoints": {
"tokenizador_conceitos.json": {
"valido": true,
"manifesto_bytes": 141
},
"gerador_conceitos.json": {
"valido": true,
"manifesto_bytes": 140
}
},
"testes_novos_v010": 16,
"treino_real": {
"a": {
"perda_inicial": 9.88181209564209,
"perda_final": 8.72581958770752,
"delta_ort_max": 1.012120244413075e-06
},
"b": {
"perda_inicial": 4.1010067122323175,
"perda_final": 3.8218880721500943
},
"c": {
"ce_inicial": 3.773000853402274,
"ce_final": 3.750825984137399,
"taxa_gatilho": null
}
},
"cli": {
"versao": "khtst-rust-0.10.0",
"checkpoints_relacionados": 2
}
},
"veredito": "107/107 — APROVADO"
}