maskshell/solidforge-pi

Cobertura de Novedad

Un detector de colisiones basado en búsqueda, de solo lectura, por cada afirmación de novedad, para un artefacto con forma de documento (un paper de diseño, un documento de investigación, una especificación). Abre la superficie de novedad del eje RESULTADO que ni la revisión entre fuentes (cross-source-review, csr), ni la verificación de fuente primaria (primary-source-verification, psv), ni el investigador de la elaboración de planos (blueprint-crafting) alcanzan: csr converge el eje PROCESO de un documento pero no busca arte previo; psv OBTIENE cada fuente citada (hacia atrás, citada) pero no busca arte previo no citado; el investigador RECOPILA fuentes hacia adelante para la autoría (la dirección opuesta). la búsqueda de arte previo es la verificación de colisión hacia atrás, de arte previo no citado que faltaba — BUSCA en el corpus de arte previo cada afirmación de novedad e informa las colisiones de manera honesta.

Posicionamiento Central

Basado en búsqueda, no en recuerdo

Un hallazgo de colisión/relevante-no-citado DEBE citar una CITA OBTENIDA del arte previo encontrado, no un recuerdo del modelo. Un hallazgo que no pueda fundamentar una cita obtenida del texto de arte previo encontrado se degrada a no concluyente, nunca se afirma. Esta es la invariante estructural (regla 3 del espacio de trabajo + L1), aplicada por una auto-puerta (NC-I5). El texto encontrado es en sí mismo extraído por el modelo de los resultados de búsqueda — un oráculo más débil que la fuente autorizada obtenida por psv (ver la advertencia de dos capas a continuación).

Cobertura de colisión por afirmación, no un veredicto de novedad

la búsqueda de arte previo NUNCA emite novedad_confirmada o "el documento es novedoso." Su única señal de primera línea es colisiones_bajo_cobertura_conocida: C claros-bajo-búsqueda, N colisiones, U relevantes-no-citados, I no concluyentes de M afirmaciones de novedad extraídas. Las afirmaciones I (y el caso M=0 — sin superficie de novedad) ESCALAN a un humano. Esta es una divulgación de cobertura honesta, NO un veredicto de novedad. El límite irreducible de ausencia de evidencia: no se puede probar un negativo ("no existe arte previo"), por lo que un documento con cero colisiones encontradas es "no se encontró colisión en el corpus buscado," NO "novedoso." Una habilidad simétrica de "convergencia de novedad" que circula hasta un booleano novedad_confirmada es el error de categoría: aplana una divulgación de COBERTURA ("no se encontró colisión en el corpus buscado") en un VEREDICTO ("novedoso"), es decir, tratar la ausencia de evidencia como evidencia de ausencia; la búsqueda de arte previo explícitamente NO es eso. (El marco más amplio de dos ejes — proceso × resultado — es el paper de especulación de juegos §4.2; la búsqueda de arte previo vive enteramente en el eje de resultado, por lo que su error es interno al resultado, no una confusión proceso/resultado.)

Aditivo a csr y psv; un solo pipeline

la búsqueda de arte previo es ADITIVO a csr (eje proceso) y psv (verificación de fuente citada); NO se fusiona con ninguno. A diferencia del debate de múltiples rondas misma-familia + diferente-familia de csr, la búsqueda de arte previo es un SOLO pipeline — extraer afirmaciones de novedad → buscar arte previo → veredicto de colisión por afirmación → divulgación de cobertura. El oráculo es el corpus de arte previo buscable, no un modelo de familia diferente, por lo que NO trasplanta el sustrato heterogéneo de csr. psv y la búsqueda de arte previo se componen: un documento de alto riesgo puede ejecutar psv (¿las fuentes citadas son precisas?) Y la búsqueda de arte previo (¿las afirmaciones de novedad están libres de colisiones con el arte previo localizable?). No se fusionan.

Debilidad del oráculo de dos capas, declarada honestamente (regla 3 del espacio de trabajo)

El oráculo de la búsqueda de arte previo es el corpus de arte previo buscable, MÁS DÉBIL que la fuente primaria obtenida de psv en DOS capas (la advertencia de honestidad estructural, propuesta §3 / ADR §8 Q4):

1. Debilidad del lado de la comparación (compartida con psv). La comparación afirmación-vs-arte-previo es juzgada por el modelo — claro-bajo-búsqueda significa que el modelo no encontró colisión, no que no exista. Esta es la debilidad de comparación parcial de nivel 2 de psv.
2. Debilidad del lado de la selección (propia de la búsqueda de arte previo). Un resultado de búsqueda agrega una debilidad de selección además de la debilidad de comparación: sesgo de clasificación, límites de recuerdo (no se puede buscar en todo el corpus), y el texto de arte previo encontrado es en sí mismo extraído por el modelo del resultado de búsqueda, no un rango de bytes autorizado obtenido.

Por lo tanto, la búsqueda de arte previo es más débil en dos capas, no "oráculo débil vs oráculo fuerte." Esta es precisamente la RAZÓN por la que NUNCA emite novedad_confirmada y por la que su línea superior es una declaración de cobertura, no un veredicto. claro-bajo-búsqueda significa "sin colisión en lo que se buscó," no "novedoso." El oráculo más débil es el límite irreducible de la verificación de novedad sin un humano.

Dos puntos ciegos, declarados honestamente (regla 3 del espacio de trabajo)

Los pasos realizados por el modelo de la búsqueda de arte previo conllevan puntos ciegos que se divulgan en lugar de ocultarse: (1) la extracción de afirmaciones de novedad hereda los puntos ciegos del extractor — las afirmaciones que ni el autor ni el extractor identifican como "novedad" están ausentes de M; (2) la comparación afirmación-vs-arte-previo es juzgada por el modelo — claro-bajo-búsqueda significa que el modelo no encontró colisión, no que no exista. Los recuentos C/N/U/I/M son condicionales a lo que se extrajo, buscó y comparó, no una garantía de integridad. Una etapa de extracción de familia diferente es una mitigación diferida (parcial).

Alcance

• Incluye: extraer afirmaciones de novedad atómicas de un documento (cada una: ubicación + objetivo de búsqueda); buscar en el corpus de arte previo por afirmación; emitir un veredicto de colisión por afirmación (colisión/relevante-no-citado/claro-bajo-búsqueda/no concluyente) fundamentado en una cita obtenida del arte previo encontrado para colisiones; emitir un registro de colisión (colisiones_bajo_cobertura_conocida) + un paquete de hallazgos de colisión.
• Excluye: revisión de código (desarrollo-paralelo); autoría de especificaciones/diseño de arquitectura (elaboración-de-planos); convergencia de proceso de documentos (revisión-entre-fuentes); verificación de fuentes CITADAS (verificación-de-fuente-primaria); recopilación de investigación (investigador de elaboración-de-planos); un veredicto de novedad — si la novedad del documento es REAL o significativa — (humano).

Guardia de Alcance (detección en tiempo de entrada)

• El entregable es código fuente/prueba → enrutar a desarrollo-paralelo.
• El entregable es autoría/reescritura de una especificación, diseño de arquitectura, plan de iteración o investigación → enrutar a elaboración-de-planos.
• La solicitud es "impulsar una revisión adversarial de múltiples rondas hasta la convergencia en este documento" → enrutar a revisión-entre-fuentes (eje proceso).
• La solicitud es "¿las afirmaciones CITADAS de este documento se sostienen frente a sus fuentes?" → enrutar a verificación-de-fuente-primaria (psv = hacia atrás-CITADO; búsqueda de arte previo = hacia atrás-NO CITADO).
• La solicitud es "¿este documento SOBREDIMENSIONA la novedad — colisiona con arte previo que no citó?" → búsqueda de arte previo (esta habilidad).
• La solicitud es "¿es esto novedoso / significativo / la contribución correcta?" → eje de resultado, solo humano.

La guardia es suave (recordar + enrutar, no rechazar). La Fase A depende de la invocación explícita (/habilidad:búsqueda-de-arte-previo).

Inicio Rápido

Eres el orquestador. Las etapas son de solo lectura; el controlador ejecuta el pipeline único (NO un debate de múltiples rondas). Ejecutar en orden.

1. Enmarcar — identificar el artefacto + su superficie de novedad. Enumerar las afirmaciones de novedad centrales (las afirmaciones estructurales "X es nuevo / primero / no tiene arte previo" para verificar colisiones). Declarar el alcance.

2. Extracción de afirmaciones de novedad (NC-I2) — invocar la herramienta subagente con agente="solidforge:extractor-de-afirmaciones-de-novedad" (contexto nuevo); lee el artefacto y enumera afirmaciones de novedad atómicas, cada una vinculada a una ubicación y un objetivo de búsqueda. Atómica = una proposición de novedad por afirmación (compuesto dividido). Una afirmación de novedad es una aserción de novedad ("X es un nuevo marco," "Y es el primero en," "Z no tiene arte previo"). Distinguir de afirmaciones fácticas/de citas (dominio de psv — verificar, no verificar colisiones) y afirmaciones interpretativas ("esto es significativo" — NO adjudicable mediante búsqueda; escalar a humano, etiquetado como inadmisible). (Advertencia de punto ciego del extractor: las afirmaciones que ninguna de las partes identifica como "novedad" están ausentes de M).

3. Búsqueda multi-fuente + veredicto de colisión (NC-I3) — para cada afirmación de novedad, buscar en el corpus de arte previo (arXiv, web, repositorios públicos) trabajo que YA haya hecho la afirmación, luego comparar la afirmación con el arte previo encontrado y asignar uno de:

   • colisión — el arte previo encontrado ya hace esta afirmación (la novedad del documento está exagerada); citar la fuente en colisión + CITAR el texto de arte previo encontrado (gravedad bloqueante; evidencia DEBE citar el arte previo encontrado).
   • relevante-no-citado — se encontró trabajo relevante que el documento no citó (no una colisión directa, pero una brecha de cobertura); CITAR el arte previo encontrado (gravedad advertencia).
   • claro-bajo-búsqueda — no se encontró colisión EN EL CORPUS BUSCADO (NO novedoso; solo que no surgió ninguna colisión). Solo se cuenta, no es un hallazgo.
   • no concluyente — la búsqueda no pudo cubrir la afirmación (corpus detrás de pago, consulta ambigua, nada localizable); escalar a humano (gravedad cobertura). Las fuentes abiertas (resúmenes de arXiv, repositorios públicos) se buscan sin credencial; las API de búsqueda web utilizan una superficie HTTP con nombre separado (NO el espacio de nombres de token LLM _ANTHROPIC_AUTH_TOKEN de csr — ver install.md). (Advertencia de punto ciego de comparación + la debilidad del lado de selección).

4. Divulgación de cobertura (NC-I4) — emitir un registro-de-colisión: colisiones_bajo_cobertura_conocida = C claros-bajo-búsqueda / N colisiones / U relevantes-no-citados / I no concluyentes de M = C+N+U+I afirmaciones de novedad extraídas; más un paquete de hallazgos de colisión (hallazgos de colisión / relevante-no-citado / no concluyente; las afirmaciones claro-bajo-búsqueda se cuentan, no se enumeran). M=0 (sin afirmaciones de novedad extraíbles — un documento sin aserción de novedad, o todas las afirmaciones de novedad interpretativas) y I>0 ambos ESCALAN a un humano. NUNCA novedad_confirmada. Un hallazgo de colisión/relevante-no-citado sin una cita obtenida se degrada a no concluyente.

La señal honesta es la divulgación de cobertura — exactamente qué se buscó y qué colisionó, y qué no pudo cubrirse. Si el documento es genuinamente NOVEDOSO sigue siendo humano.

Cadena de Autoridad

• docs/propuesta.md = diseño autoritativo (maestro; convergencia SUSTANTIVA del eje de proceso de re visión-entre-fuentes + psv N=9/K=0 verificado, 2026-07-31).
• docs/plan-de-iteración.md = plan de ejecución (elementos de trabajo de la Fase A NC-I0–NC-I6; en conflicto, gana propuesta.md).
• docs/decisiones-de-diseño.md = registro ADR (las decisiones no obvias: nunca-novedad_confirmada, pipeline único-no-debate, el proxy estructural de falsos positivos, la debilidad del oráculo de búsqueda de dos capas, la relación con psv/investigador, la superficie de credenciales).
• docs/propuesta.convergencia.md = el rastro de revisión cruzada de la propuesta.

Coordinación con revisión-entre-fuentes / verificación-de-fuente-primaria / elaboración-de-planos / desarrollo-paralelo

• revisión-entre-fuentes sigue siendo el motor de convergencia del eje PROCESO. la búsqueda de arte previo es ADITIVO y no fusionable: la convergencia_sustantiva de csr no implica la cobertura de la búsqueda de arte previo, y viceversa.
• verificación-de-fuente-primaria es la etapa complementaria del eje resultado. psv = hacia atrás-CITADO (obtener cada fuente citada); búsqueda de arte previo = hacia atrás-NO CITADO (buscar arte previo que el documento NO citó). Se componen (un documento puede ejecutar ambos); no se fusionan. la búsqueda de arte previo reutiliza el patrón de campo de esquema de psv (los hallazgos de colisión extienden los hallazgos de documento de psv — un superconjunto estricto) y el RAZONAMIENTO de credencial de install.md — patrones de copia, NO código (regla 7 del espacio de trabajo).
• elaboración-de-planos sigue siendo puro (eje proceso). Su investigador es de RECOPILACIÓN hacia adelante ("encontrar fuentes sobre X para la autoría") — la dirección opuesta de la colisión hacia atrás de la búsqueda de arte previo. No se fusionan.
• desarrollo-paralelo posee la revisión de código. la búsqueda de arte previo tiene forma de documento, no de código.
• Límite de archivos_tocados: esta habilidad posee búsqueda-de-arte-previo/ + el agentes/extractor-de-afirmaciones-de-novedad.agente.md raíz del repositorio (reflejando solidforge:extractor-de-afirmaciones de psv). No modifica la lógica central de csr, psv, ep o dp (la búsqueda de arte previo es aditiva). Terminología (regla 10 del espacio de trabajo): colisiones_bajo_cobertura_conocida es el único término de primera línea; novedad_confirmada es el término prohibido y nunca aparece como campo emitido.

Autocomprobaciones (Definición de Terminado)

Nota de madurez (construcción de la Fase A): todas las auto-puertas a continuación se envían y pasan en verde (NC-I0–NC-I6 convergido; docs/plan-de-iteración.registro-de-ejecución.json lleva el veredicto). La ejecución de prueba N≥3 en vivo se realizó el 2026-08-01 en 3 artefactos reales, incluido el largo paper de especulación de juegos — perfil de cobertura en ejecución-de-prueba-2026-08-01.md: 2 hallazgos relevantes-no-citados surgieron a través del arte previo obtenido (especulación de juegos NC34 ↔ SWE-ABS; psv NC2 ↔ Auditoría de Citas Impulsada por IA), y la conocida colisión de la paradoja de la auto-certificación volvió clara-bajo-búsqueda bajo el oráculo solo de arXiv — lo que demuestra la debilidad de dos capas en producción (un resultado de colisión cero es "sin colisión en lo que se buscó," NO "novedoso"). La puerta dogfood.py fuera de línea cubre solo el fixture canónico (ruta de salto de la regla 1 cuando no hay red). Diferimiento restante: una etapa de extracción de familia diferente (mitigación parcial del punto ciego del extractor). El nombre búsqueda-de-arte-previo es PROPUESTO, pendiente de BLOQUEO humano (propuesta §8 Q1).

Un cambio de habilidad no está terminado mientras falle alguna autocomprobación (regla 1 del espacio de trabajo). Ejecutar antes de confirmar:

python3 skills/prior-art-search/infra/test/disconnect_check.py        # estructura + cadena de carga
python3 skills/prior-art-search/infra/test/plugin_layout.py           # plugin.json + agentes bien formados
python3 skills/prior-art-search/infra/test/findings_shape_check.py    # cada ruta de emisión → hallazgos-de-colisión + registro-de-colisión válido
python3 skills/prior-art-search/infra/test/coverage_policy_check.py   # los recuentos suman M=C+N+U+I; M=0/I>0 escalan; sin novedad_confirmada; invariante de cita obtenida
python3 skills/prior-art-search/infra/test/fetched_quote_gate.py      # cada hallazgo de colisión/relevante-no-citado cita texto de arte previo obtenido; sin cita → no concluyente (la invariante L1/regla-3)
python3 skills/prior-art-search/infra/test/lint_self.py               # dogfood: lint de la propia infraestructura de esta habilidad (ruff)
python3 skills/prior-art-search/infra/test/dogfood.py                 # ejecuta el pipeline en un documento fixture con una colisión plantada (omite con gracia sin red; un registro grabado lo sustituye)

Archivos de Referencia

• propuesta.md — diseño autoritativo (problema, no-objetivos, contrato propio, capas, decisiones §8).
• plan-de-iteración.md — ejecución de la Fase A

… [truncado para traducción]