SergioandClaude Opus 4.8
94482d292d
- cell: impl Cell para GCounter (join por máximo, is_monotone=true) y ResettableRegister (reset no monótono, is_monotone=false), con tests de las leyes de retículo y de la no-monotonía. - verdict: Verdict::diagnose(sheaf, coho) localiza cada generador del cokernel en réplicas/aristas concretas (§6.5) + Display legible. - main: hito M1 (§8). Corrida A (G-Counter, camino acíclico) → H¹=0 → corre libre. Corrida B (ResettableRegister, enlace doble irreconciliable entre réplicas 1 y 2) → H¹≠0 → nudo localizado entre réplicas 1 y 2. - tests/m1.rs fija el criterio de éxito: A=0, B≠0, localización correcta. 13 tests pasan, clippy limpio. Modelado de frontera (§2.3/Q1) documentado en comentarios: H¹≠0 nace de ciclos en el grafo de compartición. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>