KHTST v9.1 — NÚCLEOS CYTHON+C PUBLICADOS: nucleos.pyx + nucleos.c + .so agora no repo (allow_patterns corrigido — v9 omitia os artefatos acelerados); Teo 19.25 verificado (Δw=0, ΔEQ=8.9e-16); suites v6/v7/v9 verdes (113 ✓); estado fase-v9 gate-aprovado preservado — sem novo treino (Retreino v9)

.gitattributes

@@ -34,3 +34,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
 graficos/graf_ram.png filter=lfs diff=lfs merge=lfs -text
+src/khtst/acelerado/nucleos.cpython-312-x86_64-linux-gnu.so filter=lfs diff=lfs merge=lfs -text

README.md

@@ -169,6 +169,17 @@ python3 scripts/08_graficos_card.py           # gráficos + gates
 python3 scripts/06_publicar_hf.py             # commit único (gate bloqueia estados)
 ```
 
+**Núcleos acelerados (Cython+C):** o repo inclui `nucleos.pyx` (fonte),
+`nucleos.c` (C gerado) e o binário pré-compilado
+`nucleos.cpython-312-x86_64-linux-gnu.so`. Sem binário compatível, recompile
+ou use o fallback puro-torch (semântica idêntica, Teo 19.25):
+
+```bash
+cd src/khtst/acelerado && python3 setup.py build_ext --inplace
+python3 -c "from khtst.acelerado import status; print(status())"
+# {'backend': 'cython_c', 'cython_disponivel': True}
+```
+
 ## Estrutura
 
 `src/khtst/` — núcleo, percepção (atenção/microunidades/moe/vit_lra),

scripts/06_publicar_hf.py

@@ -108,7 +108,9 @@ def auditoria_segredos() -> list[str]:
     suspeitos = []
     for raiz, dirs, arquivos in os.walk(STAGE):
         for a in arquivos:
-            if not a.endswith((".json", ".md", ".py", ".txt", ".yaml", ".yml")):
+            # v9.1: .pyx e .c são texto e também são auditados
+            if not a.endswith((".json", ".md", ".py", ".txt", ".yaml", ".yml",
+                               ".pyx", ".c")):
                 continue
             caminho = os.path.join(raiz, a)
             try:
@@ -143,17 +145,23 @@ def main():
     api.create_repo(args.repo, repo_type="model", exist_ok=True, private=False)
 
     # PUBLICAÇÃO ÚNICA E COMPLETA: delete_patterns=["*"] remove no MESMO commit
-    # qualquer arquivo antigo — nada de uploads parciais em sequência
+    # qualquer arquivo antigo — nada de uploads parciais em sequência.
+    # v9.1: allow_patterns agora INCLUI os artefatos do núcleo acelerado
+    # (Cython+C): *.pyx (fonte), *.c (C gerado) e *.so (binário pré-compilado
+    # cpython-312 linux x86_64) — na v9 o padrão omitia esses arquivos e o
+    # aprimoramento Cython/C++ não foi publicado (corrigido).
     api.upload_folder(
         folder_path=STAGE, repo_id=args.repo, repo_type="model",
-        commit_message="KHTST v9 — ESTADO INTEGRAL + AUTORREGULAÇÃO: snapshot fiel "
-                       "(modelo+roteador S-SOM+orquestrador, Teos 20.1–20.2), gate "
-                       "de fase com rollback (Teo 20.3), CIAR no lr (Teos 20.4–20.5); "
-                       "bug de persistência do v8 corrigido; estados antigos apagados; "
-                       "publicação condicionada ao gate vs AURORA",
+        commit_message="KHTST v9.1 — NÚCLEOS CYTHON+C PUBLICADOS: nucleos.pyx + "
+                       "nucleos.c + .so agora no repo (allow_patterns corrigido — "
+                       "v9 omitia os artefatos acelerados); Teo 19.25 verificado "
+                       "(Δw=0, ΔEQ=8.9e-16); suites v6/v7/v9 verdes (113 ✓); "
+                       "estado fase-v9 gate-aprovado preservado — sem novo treino "
+                       "(Retreino v9)",
         delete_patterns=["*"],
         allow_patterns=["*.py", "*.md", "*.json", "*.yaml", "*.yml",
-                        "*.txt", "*.png", "*.safetensors", "LICENSE*"])
+                        "*.txt", "*.png", "*.safetensors", "*.pyx", "*.c",
+                        "*.so", "LICENSE*"])
     print("✓ PUBLICAÇÃO ÚNICA COMPLETA (1 commit; antigos removidos "
           "atomicamente)")
 

src/khtst/acelerado/nucleos.cpython-312-x86_64-linux-gnu.so

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9bc83dceec2d35965f45aa075a18d5c4180816d4eeaa0b608c9b28c4995db1d3
+size 1325544

src/khtst/acelerado/nucleos.pyx

@@ -0,0 +1,91 @@
+# -*- coding: utf-8 -*-
+"""Núcleos acelerados KHTST — Cython + C (v8, requisito de reescrita).
+
+Hot-paths selecionados por PERFIL (onde o custo é laço Python, não GEMM):
+  1. som_atualizar_lote — laço de Kohonen sequencial do roteador S-SOM
+     (O(B) iterações Python por passo de treino → C);
+  2. contagens_entropia — contagens de contexto + entropia H e fator de
+     punição (eq. 10.8/10.9) por TOKEN GERADO (O(|ctx|) Python → C).
+
+Teorema 19.25 (equivalência): cada núcleo C reproduz a SEMÂNTICA SEQUENCIAL
+exata do laço original (mesma ordem de atualizações — Robbins–Monro depende
+da ordem); o ganho é o overhead do interpretador: O(B) e O(T) operações
+Python → 1 chamada C. Erro numérico = 0 (mesma aritmética em double).
+"""
+# cython: language_level=3, boundscheck=False, wraparound=False, cdivision=True
+
+import numpy as np
+cimport numpy as cnp
+cimport cython
+from libc.math cimport exp, log
+
+cnp.import_array()
+
+
+def som_atualizar_lote(double[:, ::1] w, double[:, ::1] v,
+                       double[::1] hit_ema, double[:, ::1] z,
+                       long[::1] rotulos, double eta0,
+                       double lambda_sup, long n_amostras):
+    """Kohonen + CE supervisionada (eq. 6.2) — SEMÂNTICA EXATA do laço do
+    RoteadorSSOM.atualizar. Atualiza w/v/hit_ema IN-PLACE; devolve (EQ, n)."""
+    cdef Py_ssize_t B = z.shape[0]
+    cdef Py_ssize_t K = w.shape[0]
+    cdef Py_ssize_t d = w.shape[1]
+    cdef Py_ssize_t C = v.shape[1]
+    cdef double eq_soma = 0.0
+    cdef Py_ssize_t i, j, c, t_arg
+    cdef double dist, melhor, eta, soma_p, acc
+    cdef double onehot, p_val
+    for i in range(B):
+        n_amostras += 1
+        # BMU
+        melhor = 1e300
+        c = 0
+        for j in range(K):
+            dist = 0.0
+            for t in range(d):
+                dist += (z[i, t] - w[j, t]) * (z[i, t] - w[j, t])
+            if dist < melhor:
+                melhor = dist
+                c = j
+        eq_soma += melhor
+        eta = eta0 / (1.0 + 0.001 * <double>n_amostras)
+        for t in range(d):
+            w[c, t] += eta * (z[i, t] - w[c, t])
+        # softmax de v[c] + update supervisionado (eq. 6.2)
+        soma_p = 0.0
+        for t in range(C):
+            soma_p += exp(v[c, t])
+        if soma_p <= 0.0:
+            soma_p = 1e-12
+        for t in range(C):
+            p_val = exp(v[c, t]) / soma_p
+            onehot = 1.0 if t == rotulos[i] else 0.0
+            v[c, t] += (lambda_sup * 0.1) * (onehot - p_val)
+        # hit EMA
+        for j in range(K):
+            hit_ema[j] *= 0.92
+        hit_ema[c] += 0.08
+    return eq_soma / max(B, 1), n_amostras
+
+
+def contagens_entropia(long[::1] contextos, long vocab, double h_max,
+                       double punicao_base):
+    """Contagens + entropia H_ctx + fator min(1, H/h_max) (eq. 10.8/10.9).
+    Devolve (contagens, H_ctx, fator)."""
+    cdef Py_ssize_t T = contextos.shape[0]
+    cdef cnp.ndarray[cnp.int64_t, ndim=1] cont = np.zeros(vocab, dtype=np.int64)
+    cdef long[::1] cont_v = cont
+    cdef Py_ssize_t i
+    cdef double p_nz_soma = 0.0, h = 0.0
+    for i in range(T):
+        if 0 <= contextos[i] < vocab:
+            cont_v[contextos[i]] += 1
+    for i in range(vocab):
+        if cont_v[i] > 0:
+            p_nz_soma += <double>cont_v[i]
+    for i in range(vocab):
+        if cont_v[i] > 0 and p_nz_soma > 0:
+            h -= (<double>cont_v[i] / p_nz_soma) * log(<double>cont_v[i] / p_nz_soma + 1e-8)
+    cdef double fator = min(1.0, h / max(h_max, 1e-6))
+    return cont, h, fator