estado: powerdevil y ktexteditor verificados tras el re-sellado — reproducen
Los dos ya reconstruidos contra el syntax-highlighting arreglado. REPRODUCEN 2 · DERIVA 0 · NO-DETERMINISMO 0. Sellar de nuevo no demuestra nada por sí solo: lo que cierra el arreglo es que el árbol reconstruido REPRODUZCA.
Delta semántico
Ninguna definición cambió: el cambio es de texto, documentación o datos.
1 archivos · +2 −0
diff --git a/docs/state/repro-verificado.tsv b/docs/state/repro-verificado.tsv
index 108ac495..e7bf9128 100644
--- a/docs/state/repro-verificado.tsv
+++ b/docs/state/repro-verificado.tsv
@@ -234,3 +234,5 @@ qqc2-desktop-style 215bdf3d07e98d5585254060e2cc574c4247b6656e2c221274a0478e5734d
kirigami-addons d826d6b1bddbaa0b78529ca82e915ac92a64ab3148a913fed2ace4958d8a94c1 2026-09-14 reproduce
libplasma 73ec5fb279ea44e6bcfdf4c58d8703ed1307ae7985e56ce55a5da078ea098b7e 2026-09-14 reproduce
syntax-highlighting 3db73c19bdbddcb046a80d11ec112bc7dc60134eeec75b26e907cc756d25d081 2026-09-14 reproduce
+powerdevil 70ea4b373af5ac3c22cf6adde9ca45153925724ef523000bc1e0e2338e282d15 2026-09-14 reproduce
+ktexteditor f13baeb75249c7f768fdd1b4584b5077779e6806ffcb295a6554f50d3f31d0ec 2026-09-14 reproduce