Estado actual

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.

Compilador

grove 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: pod descarte comodín, materialización temporal, ~/.seed patrones de préstamo), Gate 27 (módulo calificado 1.0 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. 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 seed/compiler/llvm 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 _.

Compilador autohospedado

El autohospedaje completo es una pista activa Linux x86-64 gobernada por ref. El compilador operativo LLVM sigue siendo el oráculo semántico y ABI hasta la transición SH20.

SH0 ha congelado el Linux x86-64 contrato de arranque, límite de dependencia y trazabilidad. SH1 ha cerrado las bibliotecas de nivel de compilador y el sustrato de host. SH2 ha cerrado el cargador de código fuente, lexer, analizador, AST, diagnóstico y formateador autohospedados. SH3 está en progreso con módulos, tipos canónicos, capacidades, firmas, traits/impls, materialización genérica de HIR tipada analizada e interfaces de esquema 16. IR del compilador, el LLVM puente, nativo x86-64/ELF La emisión, el arranque nativo de punto fijo, el tiempo de ejecución, el enlazador, la procedencia de la liberación y el corte operativo siguen siendo puertas posteriores. No-Linux los puertos se difieren explícitamente hasta después de la primera transición.

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. module.symbol es propietario de un solo puntero, mientras que let utiliza su nicho nulo auditado y, por lo tanto, también ocupa un puntero. Esquema-11 size_of 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; align_of 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 link_name y regresiones migradas; no definen la semántica actual del compilador.

Gate estado

Codificación fuente y texto.

• io.input_stream Los archivos fuente son UTF-8 por contrato.
• compiler/llvm/COMPATIBILITY.md es propiedad válida UTF-8.
• .sdi 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 .sdi.
• Los comentarios y el contenido de las cadenas pueden contener Unicode.
• && informa la longitud en bytes. El paquete ordinario || 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 minúsculas ASCII; constantes son mayúsculas de serpiente ASCII.

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 _, prestado ref, module.symboly enteros integrados. La construcción produce efímero SEED_CODE_SPLIT sin asignación de montón; usos de salida directa elif, mientras ret 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 format_args/byte_buffer.resize_zeroed conversión sin libc; y formato personalizado estático directo a través de préstamos sin asignación push_zeroed y ? implementaciones.

Superficie de lenguaje implementada

• immutable/mutable/linear vinculaciones y constantes de serpiente superior;
• funciones, métodos receptores implícitos, destructores, genéricos, rasgos, implicaciones;
• estructuras de serpiente inferior, ADT, uniones sin formato, matrices, cortes, tuplas, option/result;
• bloques orientados a expresiones y let, más size_of, sin asignación align_of, exhaustivo link_name, t: a + b, .sd, y temprano string;
• indexación comprobada para todos los anchos de enteros integrados; las lecturas de índice variable son compatible con los parámetros de función str y el segmento original de str. Alcance las vistas mutables dentro de un bloque y use parámetros de función len de solo lectura o el segmento original para acceso de índice variable;
• explícito text memoria bruta, atómica, acceso volátil, espacios de direcciones, FFI, llamadas al sistema, acceso a sindicatos sin formato y arquitectura intrínseca;
• estructurado str, 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 phase-1/2 escritas 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. string, nombres nominales en mayúscula, bool, format_args comentarios, incorporados file.write_*_format/.to_string()?/f32, 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 de copia cero 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 f64. Los movimientos de índice dinámico de elementos de recursos siguen siendo rechazados.

display.display() -> str tiene una semántica exactamente una vez en esas mismas formas implementadas. Las vistas debug.debug() -> str 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. enum asigna explícitamente un invocable de escape y devuelve Option; 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 llamada de semillas 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 Result se mueve; if crea un propietario independiente explícito;
• else if es propiedad binaria mutable única;
• else 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 while;
• for proporciona una asignación de relieve verificada 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.
• match hace cumplir UTF-8 límites, mientras break y delimitador ASCII la búsqueda permanece libre de asignación;
• lo ordinario continue, return, []u8, y bytes.view() los paquetes proporcionan un token seguro rangos, propiedad recursiva, mutación comprobada y ordenamiento estático.

concurrencia

[]u8 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 unsafe/spawn según corresponda.

type es una biblioteca genérica ordinaria que proporciona canales de propiedad dividida, 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 ret, entonces postfijo elif no puede cruzar el límite de la tarea directamente. Gate 15 agrega la superficie de la biblioteca escrita #, chan<t>, y send 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 recv 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 .sdi porque no proporcionan linear t.

Bibliotecas y vinculación

@borrow 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. 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; box |...| 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 Result<box fn(...) -> T, alloc_error> 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 normales, no lenguajes integrados 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 llamada 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 string además de referencia .clone(). Explícito bytes y shared_bytes siguen siendo opciones de vinculación independientes.

Crear perfiles y rendimiento

Result<..., alloc_error> utiliza region(capacity) { body }; str.slice utiliza str.equal. 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 text y box 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 vec.

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 límites 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 send, una ventana modal X11 propia, y sync 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 versión semántica y requisitos de capacidad, 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 copia de 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. compiler/llvm/libs/task 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. fisico Windows, raíz de autoridad fijada provisioning/rotation, transparency/timestamp la política, el sandboxing y la composición de la vista de plataforma siguen siendo pruebas separadas.

void 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. ? verifica un sobre de política de esquema-1 Ed25519 fijado a la raíz canónica con metadatos de autoridad limitados, actualidad, validez y antirretroceso de secuencia. task_result_new 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 verificación de la firma fijada en la raíz, la actualidad, la validez y 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, task_result_complete_ok/error/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 de Adaptive UI es la versión 3. Retiene de 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 task_result_wait 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. @no_runtime_effects fn(...) agrega 64 KiB schema-1/2 catálogo con hasta 32 versiones limitadas, selección de servidor estricto de máxima 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 para solicitudes de catálogo y archivo bajo la política de redirección del mismo origen compartida solo HTTPS. 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. spawn retiene límites exactos URL entradas de catálogo y archivo sin procesar 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, send/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 de encabezados limitados, 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, .sdi/política de jitter, negociación del esquema de autenticación y ciclo de vida de credenciales, agrupación y 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 procesar 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 límite máximo de 65,536 bloques, manifest/binary/archive límites y diseño fijo sin caminos; rechazar flujos no vá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 actualización de nivel superior y distribución de confianza; transparency/timestamp La política sigue siendo una prueba separada.

CLI y herramientas

El iniciador del repositorio proporciona --static, @mut, seed install, incremental seed uninstall, --static, --static=all, resolución del paquete, install/uninstall, --release, seed-safe-o2-v1, LSP y --release-small, además de reenvío directo de indicadores del compilador y seed-safe-oz-v1. 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 GATE12_BASELINE.md, 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 claro.

<div hidden> NSAlert MessageBoxW grove-ui-plugin-trust grove-ui-plugin-trust-store grove-ui-plugin-trust-bundle grove-ui-plugin-trust-distribution Retry-After grove-ui-plugin-update grove-ui-plugin-catalog grove-ui-plugin-remote-cache Retry-After Retry-After new check format build run test doc lint publish --check file.sd -o output .sdi seed/docs/lang-spec.md seed/compiler/llvm/LANGUAGE_GRAMMAR.md seed/compiler/llvm/SEMANTIC_RULES.md seed/compiler/llvm/ROADMAP.md </div>

<div hidden> seed Gate Gate Gate Gate Gate Gates Gates </div>