Saltar al contenido principal

26 documentos etiquetados con "straymark"

Ver Todas las Etiquetas

Dónde estaba realmente la deuda

La verdadera pregunta diaria del operador no es "muéstrame los documentos", es "¿dónde estamos?". Loom desarrolló una segunda superficie — la arquitectura como un edificio que puedes recorrer, en 2D y en 3D — y su overlay de deuda técnica salía vacío. No porque no hubiera deuda. Porque no sabía dónde ponerla.

Lo que el autor ya sabía

El dry run probó que la cobertura de señal — no la granularidad — era lo que mantenía el 57% del routing sobre conjeturas de baja confianza. El fix fue casi gratis. La persona que crea una unidad de trabajo ya sabe si es diseño, implementación, una auditoría o labor mecánica; lo sabe por el costo de teclear una palabra. Así que Baton descontinuó el escaneo de títulos por completo y volvió a un verbo declarado la única señal autoritativa — y luego lo graduó al framework.

Lo que el dry run habría gastado

La segunda fase de Baton por fin miró el dinero — pero no enrutó nada. Clasificó las 762 unidades de trabajo que StrayMark ya había registrado en Sentinel, recomendó un tier para cada una, e imprimió lo que una política de routing habría gastado versus todo-frontier. El titular fue un techo ilustrativo de ~93%. La lectura honesta invirtió la propia hipótesis del experimento — la granularidad nunca fue la palanca. La cobertura de señal sí.

Lo que el feature flag compiló fuera

Un segundo adopter, en otro lenguaje, validó el anti-patrón "declaración de superficie sin cableado" — y el helper de CLI que diferimos a propósito por fin shippeó

Lo que el formato abierto le dejó al productor

Google publicó el Open Knowledge Format — markdown, frontmatter YAML, un grafo de enlaces, un agente que los mantiene. StrayMark llegó a las mismas primitivas de forma independiente. La convergencia es real; la divergencia también — OKF construye cognición para la IA, StrayMark la construye para la IA y el ingeniero humano juntos.

Lo que el grafo todavía no podía dibujar

El primer release de Loom renderizó el grafo de documentos en vivo en el navegador en menos de un segundo. También dibujó 330 edges hacia la nada. La feature visible era la parte fácil — hacer que las referencias realmente resolvieran fue el trabajo, y nos enseñó cuándo un dangling edge es un bug y cuándo es una señal.

Lo que el script bash decía que estaba en sync

Los follow-ups se volvieron la segunda entidad de primera clase de StrayMark — y en un día, dos migraciones externas estresaron el diseño. El script bash deprecado del adopter de referencia llevaba reportando "in sync" mientras 29 entradas le eran invisibles.

Lo que el segundo lector exigió

Antes de que Loom pudiera dibujar nada, el modelo de documentos de StrayMark tenía que dejar de ser propiedad privada del CLI. El refactor que entregó cero cambios visibles para el usuario fue la precondición de todo lo visual que vino después — y una pequeña lección que el framework venía predicándoles a los adopters desde siempre.

Lo que el spec path solo probó que existía

Un cuarto experimento arrancó con un problema económico — cuando terminen los subsidios de las suscripciones, todo-frontier-todo-el-tiempo deja de ser costeable — y de inmediato chocó con uno estructural. No puedes enrutar trabajo a un modelo más barato si el trabajo está derivando de su propio plan; un router más barato sobre intención olvidada solo automatiza la deriva más rápido. Así que el primer movimiento de Baton no toca modelo alguno. Lee el plan que StrayMark solo había probado que *existía*.

Lo que un millón de aserciones no puede zanjar

La reescritura de Bun en Rust corrió revisión adversarial de IA a una escala que vale la pena estudiar — una sola familia de modelo, ventanas de contexto separadas, y 1.386.826 aserciones de test como juez final. Las auditorías de StrayMark se ven distintas porque el objetivo es distinto, y la diferencia no es de estilo. Cuando un suite de tests que pasa puede ser el juez, aíslas a los revisores por contexto. Cuando el juez es un juicio humano, diversificas por familia de modelo — y 25 ciclos de auditoría con datos reales muestran exactamente por qué, incluida una familia que se quedó callada y ciega.

Quién creyó la auditoría que era

La auditoría de StrayMark solo vale algo si familias de modelos independientes convergen en un finding por sí mismas — el acuerdo es la señal. Una serie de releases endureció esa garantía contra tres formas de fingirla. La más fresca es la más filosa — un router CLI inyecta su propio nombre de producto, así que un auditor firmó su reporte como "qwen-code" aun después de que el operador había cambiado el modelo de backend. A la matemática de convergencia le estaban dando de comer una mentira sobre quién hizo el trabajo.