Disciplina cognitiva estructurada
La mayor parte del trabajo asistido por IA pierde su razonamiento en el momento en que aterriza el diff. StrayMark lo arregla con tres tipos pequeños de artefacto — Charters, AILOGs, AIDECs — que viven junto al código y documentan la intención, la acción y la concesión detrás de cada cambio.
Por qué importa
Cuando un agente entrega una feature, normalmente recibes el resultado y pierdes todo lo que llevó hasta ahí: las alternativas consideradas, el alcance excluido explícitamente, los riesgos descubiertos en vuelo. Seis meses después, el código es arqueología irrecuperable. La disciplina cognitiva es barata cuando tienes una plantilla; lo es todo cuando no.
El costo de no tenerla aparece después como: decisiones sin documentar que nadie puede defender en una revisión, agentes que se desvían silenciosamente de la spec, y auditores de compliance pidiendo evidencia que no existe.
Qué obtienes
- Charters declaran una unidad acotada de trabajo antes de empezar: alcance (in / out), archivos declarados de antemano, riesgos (
R1...Rn), comandos de verificación. El Charter no puede cerrar si la realidad se desvió de la declaración y el drift no se reconcilió en el mismo PR. - AILOGs registran la ejecución real: qué se hizo, por qué, qué se descubrió en vuelo, qué se pospuso. Uno por commit, numerados por día, con un campo
risk_levely un campoconfidence. - AIDECs capturan decisiones independientes: alternativas consideradas, concesiones, la opción elegida y el motivo. La decisión sobrevive aunque el Charter original esté cerrado.
Los tres son Markdown plano con frontmatter YAML. Viven en .straymark/ y traen plantillas. El CLI los scaffoldea; los agentes los invocan vía skills.