Estado actual: prelanzamiento de 0.10.0 (producto como servicio)

Esta es la página pública canónica de estado de implementación para seed. La especificación de idioma actual es seed/docs/lang-spec.md; sus capítulos de gramática y semántica se encuentran bajo seed/compiler/llvm. Un elemento de la hoja de ruta no se implementa simplemente porque se propone; Las puertas terminadas requieren la evidencia de cierre nombrada.

El producto 0.10.0 está en prelanzamiento con lista de espera 100, área de juegos WASM y chatbot de soporte en seed-lang.com. grove → catálogo, pod → src|bin tipo caja con caché versionado ~/.seed central. 1.0 estable no tiene horizonte ni usuarios reales todavía; El enfoque del lanzamiento son el servicio, las bibliotecas, la publicación (privada), el repositorio code/binary y los documentos por pod.

Gate 47 está completo bajo el LLVM hoja de ruta. Sus 58 tareas con alcance de dependencia establecieron una compilación en frío predecible, costos explícitos, seguridad de vista utilizable, inicio de tareas recuperables y reutilización incremental verificada. El resto Linux-solo las filas de perfil se informan explícitamente como no disponibles en macOS; Los diagnósticos, las herramientas y la evidencia de reutilización del prefijo HIR existentes permanecen en GATE47_BASELINE.md.

Compilador - 0.10.0

seed/compiler/llvm es el compilador y lanzador del repositorio operativo. Gates 0-24 están completos para sus alcances registrados, al igual que Gates 26, 29 y 30. Gate 25 (ergonomía de partido: _ descarte comodín, materialización temporal, ref patrones de préstamo), Gate 27 (módulo calificado module.symbol acceso), y Gate 31 (contrato de determinismo de punto flotante) están completos, cerrados el 13 de agosto de 2026. Gates 25 y 27 se registraron completos el 29 de julio de 2026 mediante una confirmación de solo documentación; La verificación del 13 de agosto de 2026 mostró que el compilador no implementó sus funciones, se reabrieron y las implementaciones llegaron el mismo día. Gate 28 (resultado de compilación estructurada) está completo. Gate 29, la escalabilidad del análisis de propiedad para funciones grandes está completa: la propiedad en una función de 4068 bloques se redujo de 264 a 1,2 segundos. Gate 30, codegen backend paralelo, está completo. Gates 32 (diagnóstico procesable), 33 (destino de escritura de byte seguro) y 34 (generación falible) están completos, cerrados el 13 de agosto de 2026. Gate 35 (especificación superficie de ruta crítica: completa let escribir anotaciones, size_of/align_of consultas en tiempo de compilación y reales link_name con interfaces esquema-17) está completo, cerrado el 2026-08-20. Gate 36 (múltiples límites de rasgos en parámetros genéricos) y Gate 37 (genérico impl bloques, impl<t> trait for name<t> con satisfacción ligada recursiva) están completos, cerrados 2026-08-20. Gate 38 (hallazgos residuales de la revisión: irrefutables let patrones, refuerzo de desbordamiento del modo valla y la documentación de alineación gramatical e invariante de confianza del backend) está completo, cerrado el 20 de agosto de 2026. Gate 39 (ergonomía y facilitación del compilador: consciente de la forma) M007 deduplicación de importaciones reexportadas transitivamente, W900 unario de índice comprobado y C023 desazucarado de doble índice, valor predeterminado de campo bool omitido, coerción de elemento literal de matriz y check=build paridad del verificador) está completa, cerrada el 23 de agosto de 2026. La hoja de ruta de reinicio (Gates 0-39) está completamente cerrado para sus alcances registrados; El trabajo futuro de habilitación de hardware está planificado como Gates 40-46. La tubería verificada es:

source → lexer/parser → semantic graph → typed HIR/CFG
       → ownership/provenance/effects/loans → cleanup planning/verification
       → MIR → target layout/ABI → verified low MIR → LLVM

Importaciones de origen y .sdi emisión ejecutar la misma cadena de seguridad obligatoria. lo normal y ASan/UBSan las suites pasan 1.571 comprobaciones del compilador (3 omitidas: dependientes del corredor) más ocho unidades binarias en la línea de base actual. Gate-hay evidencia específica bajo seed/compiler/llvm/tests/GATE*_BASELINE.md.

Compilador autohospedado

LLVM El autohospedaje del compilador respaldado es el activo. Linux x86-64 pista gobernada por roadmap-self-hosted.md. El operativo C23/LLVM El compilador sigue siendo el predeterminado hasta SH21-05 y se conserva una semántica y ABI oráculo después.

El 2 de octubre LLVM-La primera hoja de ruta preserva la evidencia histórica de SH0-SH3 y al mismo tiempo requiere la revalidación de la tarjeta completa actual. Actual reader/writer utilice el esquema 22 y pase la prueba de interoperabilidad enfocada. flujo de origen finito, try_spawn existen componentes iniciales y de préstamo retenido; La seguridad de producción en toda la invocación, la preservación de pruebas importadas y el MIR verificado obligatorio permanecen abiertos. SH4 es abierto y SH5 experimental. Las diferencias de auditoría actuales tienen propietarios nombrados.

LLVM emisión, S2/S3, completo requerido Linux safety/ABI/workflows, se requieren presupuestos medidos y recuperación fuera de línea antes de SH21-05. LLVM/link/archive Las herramientas, el tiempo de ejecución C reconstruible en código fuente y los adaptadores revisados pueden seguir siendo dependencias declaradas del producto. Nativo backend/runtime/linker/tool el reemplazo y SH20 están condicionados a una decisión medida de SH21-06 y una activación explícita.

Las 101 tarjetas de hoja de ruta ahora tienen dependencias manifiestas coincidentes; Las etiquetas históricas completas siguen siendo evidencia fechada, no cierre actual. C0 fresco Linux pase de build, suite normal y suite sanitizer. M0019-M0021 están reparados: la verificación en frío de 100k permanece por debajo del límite máximo sin cambios de 256 MiB, hay comprobaciones de propiedad retenida y el MIR de generación coincide en siete casos. SH4 permanece abierto; consulte su corredor de paridad y su línea de base para conocer el resultado actual en lugar de confiar en un recuento de casos copiado. SH0-01–04 se ha renovado la aceptación actual; SH0-04 fue recapturado en el host de grabación 2026-10-15 a las 767e2f1b. El oráculo SH0 renovado registra el rechazo del inicio fallido S001 de C0 move/linear capturar la reutilización y la diferencia entre cuatro estados de inicio simulados y producción reserve_failed (M0010/M0011), transporte de resultado de tarea escalar simple (M0022) y no válido LLVM para consolidaciones locales de valor unitario (M0023); estos requisitos permanecen abiertos. SH21-01 congela una matriz de productos de 42 filas, tres consumidores fijados y explícitos product/native políticas de dependencia. Su cierre de dependencia pasa con seis vigentes verificadas C0/S1 grupos de costos, todos los perfiles seguros, autenticación aislada y observaciones de reconstrucción de fuente C0 fuera de línea. La emisión binaria S1 sigue no disponible; estas medidas de entrada no establecen S2/S3 o recuperación del producto. La evidencia de entrada fue recapturada y congelada nuevamente el 2026-10-12 a las 0960f7d3 en el host de grabación después de que la deriva de la herramienta del sistema invalidara los pines del 3 de octubre; la hoja de ruta posee el estado final de la tarjeta actual. Los corredores SH21 posteriores y los no Linux Los puertos autohospedados siguen planificados.

Entrada SH21-01 y SH1-01 substrate/bootstrap pase de cierre con tarjeta completa; la instantánea de entrada se volvió a congelar 2026-10-12 a las 0960f7d3, y la helada del 3 de octubre en 6bf41ca9 permanece en la historia de git. La evidencia de entrada se conserva como entradas medidas: la base de Git registrada más una superposición enlazada con hash y el productor de C0 identificado reproducen la fuente original, la receta, el consumidor y las identidades del artefacto. Pasan nueve controles de rechazo de instantáneas además del matrix/stage/cost controles. Los cambios posteriores en la fuente de funciones no vuelven a etiquetar los costos iniciales. Las pruebas actuales de SH0 y de la tarjeta de implementación aún se ejecutan con respecto a las fuentes actuales; Esta instantánea valida únicamente las observaciones de entrada. SH1-02 pases completos de cierre de tareas: contadores de costos de inclusión voluntaria, deduplicación de 100 001 ID, veinte hallazgos dinámicos con decodificación de intervalo verificado, diagnóstico idéntico JSON, tres familias de crecimiento fallido, presupuestos sin cambios y un nuevo arranque de 58 objetos. La fuga de hash de dependencia de caché rechazada de C0 se repara y se prueba con las fugas activadas. La renovación de la evidencia del host actual sigue el proceso sincronizado. source/docs huella digital. Pasos de cierre SH2-01: el try_spawn La palabra clave, el código de token estable y los accesorios diferenciales C0 ya existían y la tarjeta ahora tiene un corredor registrado. La aceptación del tipo de inicio de SH2 compara las entradas vacías, del cuerpo del resultado, anidadas y de llaves faltantes con C0 y verifica los marcadores a través de la copia y el formato AST, con un control de generación normal. El corpus rastreado pasa con un nuevo productor; Los ejecutables obsoletos y las interfaces almacenadas en caché no deben interpretarse como divergencias de fuentes. El corredor SH2-04 ahora reconstruye el productor y ejecuta el cierre frontal completo, incluidos desinfectantes, comprobaciones de arquitectura y BF0. El estado actual de la tarjeta completa pertenece a la hoja de ruta y al manifiesto de tareas. SH3-01 ahora abarca la identidad de la definición al poseer el módulo, de modo que los nominales con la misma ortografía en módulos distintos permanezcan distintos y asigna a cada declaración su ID de definición una vez por invocación, con claves nominales, destructoras y de firma que leen esa tabla en lugar de aritmética de índice. Propiedad compartida de varios módulos, repeated-path/diamond orígenes y conservados HIR/checked Los metadatos de definición ahora tienen evidencia componente. La ruta de verificación conserva los alias del ámbito del módulo, los ID de destino canónicos, los intervalos y la visibilidad de las exportaciones, y recopila firmas en un registro de ID asignado sobre los AST retenidos. La resolución de sólo firma no asigna datos corporales; las firmas no admitidas permanecen pendientes y devuelven el AST/type propietarios. La procedencia recursiva utiliza ID asignados y las asignaciones de producción incompletas se rechazan. Importado call/body despacho, total seguridad de invocación y SH3/SH4 el cierre permanece abierto. El escaneo de importación transitiva de SH3-02 está conectado a la ruta de verificación: un ciclo informa un M001 localizado, una importación desconocida informa M002 y un enlace de módulo en conflicto informa M008, cada uno en la línea y columna de la importación con la redacción de C0, y use "seed.core" permanece sin operación como en C0. La autocomprobación también se canceló en cualquier byte que no fuera ASCII dentro de un intervalo de origen escaneado: tres escaneos de subcadenas por bytes cortaron el texto en desplazamientos interiores, lo que str.slice rechaza como límites de puntos de código. Se solucionó comparando bytes en lugar de cortar; los abortos en las 2.643 fuentes rastreadas van de 55 a 0 sin regresión del veredicto. el CLI Leaf ahora verifica un dispositivo que no sea ASCII directamente, porque el diferencial del corpus impulsa ast-print y nunca llegué a ese código. Los escaneos en sí permanecen como los nombres heurísticos textuales residuales SH4-11 para su eliminación, ya que eliminarlos antes de que el canal HIR escrito cubra sus formas descartaría los diagnósticos reales. importado compartido call/body El envío es el siguiente. S2/S3, producto propio completo safety/workflows/budgets, la recuperación fuera de línea y la transición SH21-05 permanecen abiertas.

el Linux-El asignador nativo utiliza clases de losa vacías precisas de 16 bytes a 8 kiB, una caché de losa vacía limitada en todo el proceso y desasigna el exceso de losas vacías. box<t> es propietario de un solo puntero, mientras que ?box<t> utiliza su nicho nulo auditado y, por lo tanto, también ocupa un puntero. Esquema-11 .sdi conserva la representación nominal de nicho nulo en una compilación separada. Gate 18 interfaces de esquema-12 agregan receptores mutables exclusivos, plantillas genéricas, procedencia de retorno prestado y contratos falibles con límites de aplicación. Gate 19 interfaces de esquema-13 agregan exactamente target/profile/runtime identidad y organismos públicos en línea verificados. Gate 20 interfaces de esquema-14 conservan además constantes públicas inmutables escalares, de texto, de tupla, de estructura y de matriz anidada para los consumidores con fuente eliminada; el compilador emite globales de solo lectura escritos y proyecciones verificadas. Gate 21 tiene una primitiva de capacidad no inicializada auditada utilizada internamente por los buffers de bytes y I/O; io.input_stream proporciona lecturas incrementales limitadas, copias de crecimiento geométrico solo con prefijos inicializados y capacidad de reserva directa I/O está cubierto por su línea base.

Los árboles de compiladores reemplazados se eliminaron después de la transición. Sus clasificaciones de comportamiento relevantes sobreviven en compiler/llvm/COMPATIBILITY.md y regresiones migradas; no definen la semántica del compilador actual.

Gate estado

<!-- generated-gate-ledger:begin -->

<!-- generated-gate-ledger:end -->

Codificación fuente y texto.

• .sd Los archivos fuente son UTF-8 por contrato.
• string es propiedad válida UTF-8.
• str es una vista prestada de solo lectura UTF-8 de puntero más longitud de bytes.
• Los literales de cadena tienen almacenamiento estático y escriben str.
• Los comentarios y el contenido de las cadenas pueden contener Unicode.
• len informa la longitud en bytes. El paquete ordinario text valida y itera escalares Unicode sin asignación; La segmentación de grafemas, la normalización y el comportamiento local siguen siendo trabajo de biblioteca.
• Los identificadores de fuente permanecen intencionalmente en ASCII: los nombres de los valores usan minúsculas, los tipos nominales y las variantes usan UpperCamelCase y las constantes son ASCII en mayúsculas.

El cargador valida cada fuente como canónica UTF-8 antes de aplicar lex y rechaza NUL incrustado, codificaciones demasiado largas, sustitutos, truncamientos y valores más allá del escalar máximo de Unicode. Los literales de cadena decodificados también se validan.

La interpolación de cadenas f de fase 1 se implementa para str, prestado string, booly enteros integrados. La construcción produce efímero format_args sin asignación de montón; usos de salida directa file.write_*_format, mientras .to_string()? materializa explícitamente una cadena de propiedad. La fase 2 implementa la conversión de bases enteras; delimitado width/fill/alignment; exacto fijo y determinista scientific/general f32/f64 conversión sin libc; y formato personalizado estático directo a través de préstamos sin asignación display.display() -> str y debug.debug() -> str implementaciones.

Superficie de lenguaje implementada

• immutable/mutable/linear vinculaciones y constantes de serpiente superior, cuyo tipo la anotación es opcional: el tipo se infiere del inicializador y un inicializador que no se puede inferir se rechaza con R037 en la declaración;
• funciones, métodos receptores implícitos, destructores, genéricos, rasgos, implicaciones;
• estructuras UpperCamelCase, enum ADT, uniones sin formato, matrices, sectores, tuplas, Option/Result;
• bloques orientados a expresiones y if/else if/else, if let/while let (ambos desazucarados a dos brazos match), más while, sin asignación for, exhaustivo match, break, continue, y temprano return;
• repetir literales de matriz ([value; count]) que expanden un valor literal en un matriz fija bajo el tipo de elemento esperado;
• indexación comprobada para todos los anchos de enteros integrados; las lecturas de índice variable son compatible con los parámetros de función []u8 y el segmento original de bytes.view(). Alcance las vistas mutables dentro de un bloque y use parámetros de función []u8 de solo lectura o el segmento original para acceso de índice variable;
• explícito unsafe memoria bruta, atómica, acceso volátil, espacios de direcciones, FFI, llamadas al sistema, acceso a sindicatos sin formato y arquitectura intrínseca;
• estructurado spawn, regiones, perfiles de tiempo de ejecución y compilación separada.
• cierres sin escape sin asignación, cierres en caja falibles explícitos, efectos de devolución de llamada inferidos y contratos exigibles con fuente eliminada del esquema 16;
• cadenas f escritas phase-1/2 con evaluación única, escape de llave literal, especificaciones de formato, estático display/debug rasgos, producción segmentada sin asignación y materialización de propiedad falible.

La gramática limpia actualmente no implementa el legado. typeOrtografía ADT basada en minúsculas, identificadores nominales en minúsculas, ret/elif y # comentarios, incorporados chan<t>/send/recv, generación separada, cierres recursivos, generadores, macros, excepciones, async/await, o sintaxis de por vida.

Propiedad y seguridad

El modelo común es: copiar escalares, mover recursos, tomar prestadas vistas sin copia y clonar explícitamente. La limpieza se ejecuta exactamente una vez en las salidas estructuradas. El pánico, la trampa y el aborto no se desenrollan ni ejecutan el léxico cleanup/destructors.

Ownership/place/provenance los hechos se propagan a través de alias, bloques, ramas, puntos fijos de bucle, fields/nested campos, índices de matriz conocidos, tuplas, ADT, option/result, agregados genéricos, channels/tasks, función values/indirect llamadas, parameters/returns, y fuente eludida .sdi. Los movimientos de índice dinámico de elementos de recursos siguen siendo rechazados.

linear t tiene una semántica exactamente una vez en esas mismas formas implementadas. Las vistas @borrow receiver/input-derived conservan su procedencia sin sintaxis de por vida. El código inseguro asume obligaciones crudas explícitas pero no desactiva la propiedad segura de los valores circundantes.

Los cierres simples están apilados y no tienen escape. Captura copias o movimientos en el primer orden de uso léxico, permanece inmutable y se limpia exactamente una vez. box |...| asigna explícitamente un invocable de escape y devuelve Result<box fn(...) -> T, alloc_error>; Las llamadas en caja son de solo movimiento, no se pueden clonar, no se pueden enviar y están confinadas a una región cuando se asigna una región. Las devoluciones de llamadas iniciales utilizan descriptores code/environment de un solo puntero, mientras que los punteros de función de la plataforma siguen siendo delgados y solo aceptan funciones con nombre.

Texto, bytes y regiones

• propiedad string se mueve; .clone() crea un propietario independiente explícito;
• bytes es propiedad binaria mutable única;
• shared_bytes es un identificador compartido de solo lectura con explícito retain/clone;
• las vistas owner/array compatibles no tienen asignación y se verifica su procedencia;
• las conversiones propias devuelven Result<..., alloc_error>;
• region(capacity) { body } proporciona una asignación de relieve comprobada alineada y anidada;
• el values/views/pointers seguro vinculado a una región no puede escapar de ella;
• Las tareas vinculadas a la región se unen antes de la limpieza de la región.
• str.slice hace cumplir UTF-8 límites, mientras str.equal y delimitador ASCII la búsqueda permanece libre de asignación;
• lo ordinario text, box, vec, y sort los paquetes proporcionan un token seguro rangos, propiedad recursiva, mutación controlada y ordenamiento estático.

concurrencia

spawn está estructurado: los grupos de tareas se agotan en cada borde dejando a su propietario léxico antes de la limpieza. Captura copiar o mover según la capacidad; el uso compartido es explícito y los valores de tareas cruzadas requieren send/sync según corresponda.

compiler/llvm/libs/task es una biblioteca genérica ordinaria que proporciona propiedad: canales divididos, uniones de tareas de una sola vez escritas, eventos, cancelaciones, grupos de espera, semáforos, barreras y bloqueos. El cuerpo engendrado directamente ABI todavía regresa void, entonces postfijo ? no puede cruzar el límite de la tarea directamente. Gate 15 agrega la superficie de la biblioteca escrita task_result_new, task_result_complete_ok/error, y task_result_wait sobre los mismos puntos finales lineales unidos léxicamente. Las operaciones de canal in situ de punto final prestado mantienen completos los envoltorios de una sola vez, por lo que los consumidores de tareas genéricas eliminadas del origen pueden transportar cargas útiles de solo movimiento con destructores de usuario sin omitir la limpieza exacta. Los valores de función y los cierres inferidos pueden utilizar @no_runtime_effects fn(...) requerir un resumen completo y vacío del efecto del tiempo de ejecución; Las llamadas indirectas no cualificadas desconocidas siguen siendo rechazadas en perfiles restringidos. Las devoluciones de llamada en caja no pueden cruzar spawn porque no proporcionan send.

Bibliotecas y vinculación

.sdi Las interfaces preservan los tipos públicos, genéricos. templates/common instancias, efectos, propiedad, procedencia, destructor, clon, objetivo, build/runtime perfil, dependencia y ABI identidad. El esquema 13 conserva cuerpos en línea verificados y hashes de cuerpos; el esquema 14 agrega cargas útiles constantes inmutables recursivas públicas verificadas; el esquema 15 añade contratos con efecto exigible; el esquema 16 agrega firmas invocables en cuadros, cuerpos de cierre en línea e identidad de representación invocable; El esquema 19 agrega identidades de propietario nominal y genérico calificadas por origen para importaciones transitivas y de diamantes independientes del orden. Un contenedor de biblioteca no publica una especialización de método huérfano cuyo propietario de método genérico provenga de un paquete importado; Los consumidores excluidos de la fuente rematerializan esa instancia a partir de la plantilla de la dependencia. Alojado seed las bibliotecas se vinculan dinámicamente de forma predeterminada; --static selecciona estática seed dependencias. La publicación de artefactos es atómica y corrupta, con esquema obsoleto, perfil, destino o ABI-Las interfaces no coincidentes fallan al cerrarse.

El lanzador incremental build/run etapas de ruta paquetes seguros para mecanografiados I/O, vistas de procesos, análisis de enteros, matemáticas portátiles, buffers de bytes, sectores, cajas, redes, serialización, tareas, colecciones genéricas y contenedores de sistemas. Gate 18 agrega esquema-12 @mut vectores y seguros benchmark/application consumidores; Gate 19 agrega esquema-13 en línea math/system hojas y particiones de rodajas separadas. Estos siguen siendo paquetes importados ordinarios, no lenguajes incorporados ocultos.

el Grove La base de red-cliente ahora incluye propiedad OpenSSL 3 TLS client/server contextos, streaming acotado HTTP/1.1 GET y HTTPS con certificado obligatorio y hostname/IP verificación. Los cuerpos de contenido de longitud, fragmentados y delimitados estrechamente comparten un propietario incremental de limpieza exacta y pueden transferirse a devoluciones de llamadas de códec sin almacenar en el búfer toda la carga útil. macOS ARM64 ejecuta el hermético TLS/HTTP filas y sus gráficos de paquetes se construyen de forma cruzada para Linux AArch64. el URL el analizador ahora expone componentes absolutos prestados acotados; fetch los compone a través del solucionador IPv4 del sistema y sigue redirecciones absolutas o relativas limitadas con eliminación de segmentos de puntos y rechazo de degradación de HTTPS. Un valor de Autorización limitado proporcionado por la aplicación se acepta solo a través de HTTPS y se retiene solo en redirecciones del mismo origen; socket/TLS los plazos permanecen escritos mediante apretón de manos y cuerpo I/O. IPv6/dual-stack La selección, la cancelación del solucionador limitado, las cookies, la descompresión, la política de caché, la negociación del esquema de autenticación y el ciclo de vida de las credenciales, la agrupación, la ejecución de la WAN pública y la evidencia móvil física permanecen separadas.

Resolución registral, lockfiles/download caché, paquete add/update, poda de caché, generación de documentación, LSP e incremental object/interface caché son implementados por el Gate 15 herramientas. Gate 17 etapas de dependencias manifiestas básicas y ordinarias en profile/target-qualified tiendas dinámicas de forma predeterminada, reutiliza generaciones instaladas sin recompilación e implementa transacciones user/system seed install además de referencia seed uninstall. Explícito --static y --static=all siguen siendo opciones de vinculación independientes.

Crear perfiles y rendimiento

--release utiliza seed-safe-o2-v1; --release-small utiliza seed-safe-oz-v1. Las protecciones de límites, discriminantes, de procedencia, de propiedad y de limpieza permanecen a menos que LLVM demuestre que son redundantes. ThinLTO, PGO y el enlace estático son opciones independientes explícitas. No existe ningún perfil operativo no verificado.

Gate 13 compara cargas de trabajo equivalentes numéricas, de análisis, de recopilación, de allocation/string, de tareas estructuradas, de redes, de llamadas dinámicas, de inicio, de RSS y de tamaño de artefacto con Clang C y Rust. En el host de cierre, seed permanece dentro del objetivo de tiempo de ejecución ordinario del 0 al 10 % para el corpus aplicado. Esta es una evidencia de carga de trabajo controlada, no una afirmación universal de que cada programa seed supera a C/Rust.

Gate La mediana de verificación completa de 100k del host de cierre de 12 es de 0,41 s a 177 504 KiB frente a presupuestos de 3,00 s y 196 608 KiB. Ver GATE12_BASELINE.md y GATE13_BASELINE.md para hardware/toolchain metadatos e interpretación.

Estado objetivo

La compatibilidad con objetos no es lo mismo que la compatibilidad con ejecutables alojados. La matriz canónica es compiler/llvm/tests/GATE14_TARGET_MATRIX.tsv.

Gate 14 requiere Intel runner, SDK, ABI, Se cumplen los requisitos de FFI, biblioteca dinámica, compilación separada, corrupción, cargador y regresión. macOS arm64 sigue siendo un host nativo etiquetado de forma independiente en lugar de un sustituto de la fila de cierre de Intel.

El contrato puente de servicio nativo UI9 de Adaptive UI es la versión 2. Conserva un límite de 4096 bytes. UTF-8 instantáneas del portapapeles y agrega bloqueo escrito information/warning/error Diálogos con títulos de 256 bytes, mensajes de 2048 bytes y plataforma neutral. acknowledged/cancelled/yes/no resultados. Sin cabeza, nativo macOS Kit de aplicaciones ARM64, Linux x86-64 X11, y Windows x86-64/Wine debug/release pasen las puertas. Los procesos independientes prueban el intercambio de portapapeles; nativo NSAlert, una ventana modal X11 propia, y MessageBoxW Ejecute las cuatro clases de respuesta con cierre exacto. Formatos de portapapeles enriquecidos, cuadros de diálogo de archivos, Wayland/mobile adaptadores y físicos Windows siguen siendo pruebas separadas.

El contrato de host del complemento UI9 de Adaptive UI es la versión 4, mientras que el complemento ABI sigue siendo la versión 1. Nativa macOS ARM64, Linux x86-64, y Windows x86-64/Wine debug/release Las puertas retienen hasta dieciséis propietarios distintos verificados por generación, aceptan hasta ocho capacidades con versiones semánticas con respaldo heredado, las clasifican como numéricas o acotadas de 4096 bytes. UTF-8 se transforma a través de un grupo de firma opcional completo, rechaza parcial catalog/signature grupos, identificadores duplicados, desbordamiento de capacidad y identificadores obsoletos, y prueba exacta independiente unload/reopen. Schema-2/3/4/5/6/7 Los planes de dependencia además retienen cuatro complementos creados por Seed simultáneamente en el orden de dependencia primero, aplican estrictas exact/caret/tilde requisitos de capacidad y versión semántica, omitir y contar paquetes opcionales ausentes mientras no se cierran los actuales no válidos o incompatibles, invocar una capacidad numérica negociada y una capacidad negociada UTF-8 capacidad, exponer transformaciones indexadas limitadas, exponer la unión de permisos única, denegar planes autorizados de forma predeterminada, comprobar previamente concesiones explícitas antes de abrir cualquier propietario y cerrar a la inversa. El esquema 6 congela la firma declarada y la compara con el binario cargado antes de su publicación; El esquema 7 congela las declaraciones de permisos limitados y la política de paquetes con reconocimiento de concesiones. Estas subvenciones no protegen el código nativo. El contrato de host del paquete 3 también transmite un resumen SHA-256 separado por dominio sobre el manifiesto y el binario exactamente delimitados, retiene una instantánea POSIX privada de solo lectura o una denegación de reemplazo. Windows maneja y carga ese recurso exacto. Seed expone la verificación voluntaria de Ed25519 y las operaciones de apertura verificada; independiente debug/release Los dispositivos coinciden con el resumen, rechazan la manipulación del manifiesto o binario y demuestran una ejecución estable después de un intento adversario de reemplazo de la fuente. macOS, Linux, y Windows/Wine. ui-plugin-trust agrega una propiedad de aplicación limitada publisher/key política con una clave activa y otra superpuesta, explícita rotation/revocation, API abiertas confiables de paquetes y repositorios, y verificación previa del plan de dependencia completa. Los mismos tres escritorios. debug/release Las filas rechazan registros faltantes, firmas que no coinciden y revocados. current/rotated claves antes de la activación. Físico Windows, raíz de autoridad fijada provisioning/rotation, transparency/timestamp las políticas, el sandboxing y la composición de la vista de plataforma siguen siendo pruebas separadas.

ui-plugin-trust-store El contrato de host 1 conserva la política de confianza de la aplicación limitada completa más hasta ocho secuencias de catálogo mínimas aceptadas en un documento canónico de 64 KB. Se publica a través de un archivo de pieza sincronizado privado, bloqueo del sistema operativo y reemplazo atómico dentro de una raíz existente explícita. Nativo macOS ARM64, Linux x86-64, y Windows x86-64/Wine debug/release cubierta de puertas active/overlap/revoked viajes de ida y vuelta clave, avance de secuencia monótona, retroceso y rechazo de corrupción, recuperación de piezas obsoletas y limpieza exacta. ui-plugin-trust-bundle verifica un sobre de política canónico de esquema-1 Ed25519 fijado a la raíz con metadatos de autoridad limitados, actualidad, validez y antirretroceso de secuencia. ui-plugin-trust-distribution recupera el sobre solo a través de HTTPS verificado. El contrato compuesto carga la secuencia mínima duradera, reemplaza la política completa, avanza esa secuencia y guarda atómicamente solo después de una verificación exitosa. Los mismos tres escritorios. debug/release Las filas rechazan firmas no válidas, autoridad incorrecta, caducidad, repetición, HTTP, respuestas que no son 200 y cuerpos de gran tamaño sin secuencia de mutación 8. La entrega autenticada utiliza la política de credenciales del mismo origen, solo HTTPS compartida. Los GET de sobre utilizan tres intentos en total con tapa 100/200 retroceso exponencial de ms para fallas de transporte y el transitorio compartido HTTP estado establecido. El exacto-URL el respaldo de caché de sobre sin formato se utiliza solo para fallas de recuperación transitorias; cada visita repite la firma fijada en la raíz, la actualidad, la validez y la verificación de la secuencia retenida, y solo se almacena un sobre verificado por la aplicación. Raíz de autoridad fijada provisioning/rotation, reloj seguro y transparency/timestamp política, condicional HTTP revalidación, caché expiry/eviction/quota/encryption, Retry-After/política de jitter, negociación de esquema de autenticación y credencial acquisition/refresh, cifrado, espacio aislado y físico Windows permanecer separados.

El contrato de host de generaciones del complemento UI9 adaptable UI9 es la versión 3. Retiene una a ocho generaciones locales validadas seleccionadas por la persona que llama detrás de la ruta activa pública sin cambios, informa el recuento del historial contiguo y devuelve metadatos de la versión semántica propia mediante una inspección tentativa. Intercambia cualquier índice seleccionado mediante la validación de Seed. La confirmación de actualización registra de forma duradera su límite de retención, rota o elimina las ranuras fijas y finaliza después de una interrupción solo porque el paquete preparado exacto ya pasó la validación. La recuperación de reversión tentativa restaura el paquete activo anterior. Nativo macOS ARM64, Linux x86-64, y Windows x86-64/Wine debug/release Las puertas cubren el límite completo de ocho entradas, reversión seleccionada, poda, interrupción rotation/publication/rollback, candidatos inválidos, y normal/interrupted eliminación del paquete activo más todo el historial. Descubrimiento remoto de actualizaciones y en vivo forced-process/power-loss las pruebas permanecen separadas.

la inicial ui-plugin-update El segmento ahora se cierra de forma delimitada y autenticada por artefactos de forma explícita.URL actualizaciones para paquetes sin permiso y otorgados explícitamente. compone estándar HTTP/HTTPS recuperación, extracción de archivos canónicos, credenciales Ed25519 seleccionadas por la persona que llama, verificación previa de confianza y permisos antes de la carga nativa y publicación de generación retenida detrás de un bloqueo de archivos del sistema operativo por paquete y un archivo de parte privada sincronizado. Nativo macOS ARM64, Linux x86-64, y Windows x86-64/Wine debug/release Las puertas rechazan firmas no válidas, concesiones faltantes y desbordamientos vinculados a las personas que llaman sin cambiar el paquete instalado o el historial, luego publican una actualización autorizada válida y demuestran la reversión basada en permisos. ui-plugin-catalog agrega 64 KiB schema-1/2 catálogo con hasta 32 versiones limitadas, selección de servidor estricto de mayor compatibilidad independiente del pedido, una política estrictamente más nueva y vinculación exacta de la versión del catálogo al paquete firmado. El esquema 2 autentica el documento exacto con una firma Ed25519 separada por dominio y aplica la firma seleccionada por la aplicación. publisher/key, issue/expiry, tolerancia de reloj, validez máxima y política anti-retroceso de secuencia monótona. lo mismo macOS/Linux/Windows cubierta de puertas already-current/no-match comportamiento más rechazo de duplicado, editor, discrepancia de versión, firma no válida, prematuro, caducado y reversión. Las variantes autenticadas llevan un valor de Autorización limitado y seleccionado por la aplicación tanto para las solicitudes de catálogo como para las de archivo bajo la política de redireccionamiento del mismo origen y solo HTTPS compartida. Ambos GET utilizan tres intentos en total con límite 100/200 retroceso exponencial de ms para fallas de transporte y el conjunto de estados transitorios compartidos. ui-plugin-remote-cache retiene límites exactos URL entradas de catálogo y archivo sin formato en una raíz explícita. Sólo los fallos de recuperación transitorios retroceden y cada visita se repite en el catálogo. signature/freshness/sequence además de comprobaciones de archivo, paquete, versión, confianza y permisos antes de la carga o publicación nativa. Condicional HTTP revalidación, caché expiry/eviction/quota/encryption, Retry-After/política de jitter, negociación de esquema de autenticación y credencial acquisition/refresh, raíz de autoridad fijada provisioning/rotation, transparency/timestamp política y física Windows permanecer separados.

El límite compartido URL el buscador ahora pasa a ser nativo macOS/Linux OpenSSL y Windows/Wine WinSock más WinHTTP/Crypt32 debug/release puertas. Las tres filas conservan el mismo incremento HTTP cuerpo, fechas límite, raíz personalizada certificate/hostname verificación, redirecciones relativas limitadas y rechazo de degradación de HTTPS. El corpus autenticado verifica la validación del encabezado limitado, el uso exclusivo de HTTPS, el reenvío al mismo origen y el rechazo entre orígenes antes de la divulgación de credenciales. Los límites seleccionados por la persona que llama proporcionan de uno a ocho intentos totales y tienen un límite exponencial. retry/backoff por fallas de transporte y estados 408, 425, 429, 500, 502, 503 o 504; el valor predeterminado sigue siendo un intento. IPv6/dual-stack, cancelación del solucionador, almacenamiento en caché condicional, Retry-After/política de jitter, negociación del esquema de autenticación y ciclo de vida de credenciales, agrupación y física Windows permanecer separados.

El contrato de host de archivo del complemento UI9 de Adaptive UI es la versión 3. Conserva las estrictas formas ZIP almacenadas de esquema-1 de dos entradas y DEFLATE sin formato de esquema-2 y agrega un sobre canónico de esquema-3 sin formato-LZ4 sin una dependencia de compresión del sistema. Nativo macOS ARM64, Linux x86-64, y Windows x86-64/Wine debug/release las puertas decodifican bloques almacenados, de Huffman fijo y de Huffman dinámico, además de coincidencias LZ4 superpuestas; hacer cumplir la entrada comprimida exacta y la salida declarada, CRC, relleno cero, un techo de 65,536 bloques, manifest/binary/archive límites y diseño fijo sin caminos; rechazar flujos inválidos o finales y métodos mixtos o no compatibles; y pasar la validación exacta del paquete, transaccional installation/upgrade, compatibilidad con esquema-1, reversión y limpieza. La búsqueda remota la proporcionan las composiciones de distribución de confianza y actualización de nivel superior; transparency/timestamp La política sigue siendo una prueba separada.

CLI y herramientas

El iniciador del repositorio proporciona new, check, format, incremental build, run, test, resolución del paquete, install/uninstall, doc, lint, LSP y publish --check, además de reenvío directo de indicadores del compilador y file.sd -o output. registro remoto publication/signing no se implementa; el comando de publicación existente solo realiza la validación local.

El compilador directo formatea el código fuente, imprime semantic/IR formas, emits/reads/hashes .sdi, emite LLVM/object/shared/static/binary artefactos, instalaciones target/ABI- bibliotecas calificadas y ejecuta objetivos compatibles. Su ayuda ejecutable es la lista de banderas autorizadas:

seed/compiler/llvm/build/seed --help

Fuente de documentación de la verdad.

Los documentos históricos pueden describir llvm-v1, el prototipo v2 o directorios auxiliares de ensamblaje que ya no existen. Deben estar etiquetados explícitamente y no deben utilizarse como guía actual en lenguaje limpio.

Integración AST prestada (2026-10-15): la plantilla HIR lee un AstModuleView del módulo propiedad del resolutor, y la verificación del cuerpo devuelve ese mismo propietario de AST al controlador. La transferencia de etapa, el verificador real y el bucle del cuerpo ya no copian en profundidad el AST por declaración. Las rutas de error devuelven el AST original para la selección del intervalo de diagnóstico, eliminando la copia a nivel de módulo. el CLI proporciona su raíz analizada para importar el escaneo con byte/SourceId guardias; los contadores de análisis ejecutados y los controles de transferencia pasan normalmente y con desinfectantes. La aceptación semántica de todos los módulos permanece abierta. Se reparó la discrepancia de C0 M0029: el descubrimiento de préstamos incluye agregados que contienen vistas y las comprobaciones de superposición de mutaciones protegen las proyecciones de copia, así como los valores propios. Los nuevos controles agregados y de vista AST rechazan al propietario en vivo movement/mutation y escape con visión local; los ámbitos separados y los propietarios no relacionados siguen siendo utilizables. Esto no cierra la verificación del cuerpo de todos los módulos, los resúmenes importados retenidos ni SH3/SH4 aceptación.

Integración autosemántica (15/10/2026): el contexto de invocación se instala antes de la inicialización de la firma. Los nombres concretos importados y las firmas corporales reutilizan TypeIds registrados; Las llamadas públicas calificadas y no calificadas utilizan firmas compartidas. Las anotaciones locales conservan AstTypeIds. Las anotaciones de tipo importadas privadas conocidas se rechazan con intervalos R002 retenidos en parámetros, devoluciones y declaraciones locales; Los controles primarios CLI JSON coinciden con C0. Los casos de generic/layout no compatibles, la verificación del cuerpo de todos los módulos y la aceptación total de SH3/SH4 permanecen abiertos.

Integración retenida del módulo fuente (2026-10-15): el CLI comprueba todos los módulos fuente analizados con sus firmas compartidas y propietario de tipo canónico. Los cadáveres controlados se conservan por separado del recuento de cadáveres de origen; los organismos sin apoyo no conceden CheckedProgram/lowering autoridad. Las fallas del cuerpo importadas conservan su SourceMap y se representan en sus propios intervalos de origen. Concreto call/diamond controles y un pase de control de corte de cobertura parcial; source/import propagación resumida, generic/method cobertura y BF1/BF3 permanecer abierto.

Integración de identidad genérica asignada (15 de octubre de 2026): los parámetros de la función fuente se internan al poseer el DefiniciónId y el ordinal, conservan los orígenes fuente estables y reutilizan la firma registrada durante la verificación del cuerpo genérico. Controles Growth/failure y pedidos de importación con pases de ID locales realmente renumerados. El componente de identificación nueva API permanece sin cambios. La integración del conjunto de rasgos, la especialización genérica de nominal/imported y la aceptación total de SH3-03/SH4 permanecen abiertas.

Integración de metadatos vinculados al origen (2026-10-15): el analizador conserva todos + tramo ligado a rasgos a través de owned/borrowed/copied AST. Los rasgos originales tienen identidades canónicas; Los parámetros de función conservan la primera definición de rasgo y cada rasgo adicional TypeId. Unknown/non-trait/private límites adicionales rechazados con R013 ubicado coincidente con C0 primario JSON. rasgo satisfaction/witness controles en llamadas genéricas, envío de métodos y completo SH3-03/SH4 la aceptación permanece abierta.

Integración del testigo de origen (15 de octubre de 2026): la invocación conserva los contratos de rasgos indexados y requiere un escaneo implícito de origen completo. Las llamadas genéricas inferidas localmente verifican cada marcador vinculado; El rasgo vacío completo implica proporcionar testigos y los testigos faltantes producen el H072 ubicado. Method/generic Los casos implícitos siguen sin demostrarse. C0 M0030 alinea la denominación implícita de parámetros de tipo de destino con las declaraciones, preservando P042 identity/order rechazo; pase de controles de Oracle enfocados, con renovación de suite completa propiedad de SH0_BASELINE.md. SH3-03/SH4 permanecer abierto.

Preparación de firma del método de rasgo (2026-10-15): el AST conserva los intervalos de firma y receiver/effect/unsafe/static-view metadatos. Un contexto verificado por el propietario resuelve tipos de métodos en la tabla canónica compartida, almacena en caché firmas repetidas y recupera AST/type propietarios en formas sin soporte. Se rechazan rangos de métodos de rasgos cruzados y asignaciones incorrectas. La publicación de producción y la validación implícita del método completo permanecen abiertas; esto API no sella rasgos ni otorga testigos.

Publicación de firma de método de rasgo (15 de octubre de 2026): la colección de producción ahora publica descriptores de métodos admitidos en los contratos compartidos de la invocación. La recopilación repetida y los nuevos contextos de resolución reutilizan sus ID de firma y unsafe/static-view banderas. Los recuentos declarados y publicados permanecen separados; un conjunto de métodos fuente incompleto no puede sellar. Los tipos de métodos privados conocidos y los nombres duplicados conservan el primero localizado R002/R014 encontrar, hacer coincidir C0 primario CLI JSON. Las firmas no admitidas siguen pendientes. Los rasgos del método permanecen sin sellar; validación de implementación, diccionarios, coincidencia de impl genérica y completa SH3-03/SH4 la aceptación permanece abierta.

Validación de firma implícita de fuente concreta (2026-10-15): después de que se publiquen todas las firmas de módulos, concreto borrowed/mutable Los métodos comparan el receptor, los parámetros y los tipos de retorno con conjuntos completos de métodos de rasgos de origen, incluidos los rasgos importados. Undeclared/mismatching los métodos retienen R016/R017 con C0 primario JSON paridad. La comparación no da testimonio alguno. El estado impl diferido sobrevive al resellado; receptores propios, implicaciones genéricas, missing/duplicate métodos, body/effect los resúmenes y diccionarios permanecen abiertos. SH3-03/SH4 no están cerrados.

Diagnóstico de integridad de impl de fuente (15 de octubre de 2026): los contratos completos de rasgos de origen concretos ahora rechazan los métodos requeridos que faltan con R020 en el lapso de impl completo, incluidos los rasgos importados. La presencia del nombre se verifica por separado del soporte de firma. C0/self CLI coincidencias primarias JSON para controles vacíos, parciales y de métodos faltantes importados. Los rasgos permanecen sin sellar; Los métodos duplicados, los receptores propios, los genéricos y la validación de implementación body/dictionary permanecen abiertos. SH3-03/SH4 la aceptación total no se modifica.

Diagnóstico de método fuente duplicado (2026-10-15): el registro con alcance de módulo conserva R001 en la declaración del segundo método en lugar de fallar silenciosamente. CLI primario JSON coincide con C0 para impl/inherent/imported duplicados. Los espacios duplicados permanecen sin asignar y la recolección de firmas se detiene; stage/single-module Los adaptadores rechazan registros parciales. Cuerpos de método, receptores propios, implicaciones genéricas y dictionary/witness la integración sigue abierta; SH3-03/SH4 no están cerrados.

Integración del receptor de origen propio (15 de octubre de 2026): los métodos de estructura ordinarios no genéricos ahora publican un TypeId de receptor explícito y crean un parámetro HIR no prestado. Sus firmas impl admitidas participan en las comprobaciones R017. Los cuerpos con campos escalares incorporados tienen una cobertura comprobada enfocada. Resource/view/nested y los organismos de campo inseguro permanecen pendientes hasta el nominal canónico cleanup/capability los metadatos están completos; los destructores permanecen fuera de este camino. Las firmas no otorgan autoridad al cuerpo o al testigo. completo SH3-03/SH4 la aceptación sigue abierta.

Integración de limpieza del receptor de recursos planos (15 de octubre de 2026): los campos de estructura canónica se pueden completar una vez con capacidades derivadas y al mismo tiempo se conservan los TypeId y los orígenes estables. Los receptores de propiedad normal compatibles completan los campos scalar/resource integrados durante la recopilación de firmas. Antes de la propiedad, HIR materializa todos los campos receptores, incluidos los campos no referenciados; Los controles de limpieza retenidos cubren el descarte de todo el propietario, el movimiento parcial del campo y la transferencia completa. Nested/view/los campos inseguros, los destructores, las capturas, los enlaces agregados adicionales y la persistencia general de metadatos nominal/imported siguen pendientes. Estos componentes no cierran SH3/SH4 ni autorizan un CheckedProgram completo.