Instala sin clonar
Los instaladores de shell y PowerShell verifican archivo y manifiesto, prueban el binario y lo activan de forma atómica por usuario. La verificación del editor se distingue de las sumas de comprobación.
EvidenciaV0.9.0 BETA · APACHE-2.0
El lenguaje de sistemas creado para agentes de código y legible por personas.
Código legible. Significado consultable. Cambios comprobados.
Instala la beta sin clonar código, crea un proyecto verificado y ofrece a los agentes información precisa del compilador. Semaprax 0.9.0 añade cinco descargas nativas, selección de modelos y herramientas por políticas y mejores indicaciones de reparación. Las leyes del código, la propiedad explícita y los cambios ligados a revisiones conservan la relación con el programa inspeccionado.
revision sha256:<program-state>
query app.main --depth 1
context typed · bounded · stable-id
patch expected_revision == current
verify fail_closed
target native | browser/wasm¿Qué es Semaprax?
Semaprax es un lenguaje de programación de sistemas de código abierto, diseñado para agentes y en beta. El código .spx legible permanece en Git mientras los agentes consultan significado tipado, verifican leyes del código y proponen cambios ligados a una revisión. La versión 0.9.0 añade instaladores, selección de modelos por políticas y mejores indicaciones de reparación a sus Agents tipados, herramientas conectadas al compilador y perfiles acotados de Rust, ejecución nativa y WebAssembly.
// v0.9.0
Qué cambia en v0.9.0
Ocho cambios de instalación, selección, reparación y evidencia. Las adiciones del código conservan sus límites de verificación.
Cinco descargas nativas
Linux arm64 y macOS Intel se suman a los destinos existentes. Linux exige glibc 2.35+; cada archivo indica los mínimos de macOS y Windows. Todos los destinos pasan su recorrido de distribución instalada antes de publicarse.
EvidenciaExplica la elección de modelos y herramientas
Un núcleo de decisión sirve al desarrollo y a la ejecución. Las reglas son el valor predeterminado; los adaptadores recomiendan perfiles, herramientas o especialistas ya filtrados. La recomendación no otorga permisos ni sustituye la autorización.
EvidenciaCambia entre turnos confirmados
Los despliegues aprobados por el host cambian solo entre turnos aceptados de forma duradera. Las transferencias conservan resúmenes y estado acotado; una llamada o efecto incierto detiene el proceso para reconciliarlo.
EvidenciaIndicaciones de reparación más precisas
Los diagnósticos indican importaciones exactas, sufijos, reparaciones de propiedad y declaraciones de efectos. Los temas instalados y AGENTS.md guían pasos pequeños; VS Code permite elegir y comprobar el compilador.
EvidenciaPerfiles acotados de comandos y datos
El código del tag incluye comandos nativos Project v26/v28, validación JSON estricta y patrones ASCII acotados. Cada perfil tiene admisión y evidencia propias; los tests nativos aún tienen pendiente su gate del commit actual.
EvidenciaConserva resultados adversos de pruebas
Una campaña LAW16 con Claude completó 20 ensayos por USD 0.291235: 19 pasaron la repetición independiente y un candidato Bend falló. Nueve pares completos pasaron; no establece una clasificación general de lenguajes o costes.
EvidenciaRefuerza los límites del harness
Las actualizaciones conservan revocaciones con escrituras concurrentes; la cancelación es terminal, las colas son acotadas y las infracciones permanecen aisladas. Graft respeta el presupuesto y Graphify vincula resultados a cada solicitud.
Evidencia// v0.9.0
Elige tu archivo v0.9.0
Cinco archivos completos: GNU/Linux x86-64 y arm64 (glibc 2.35+), macOS Apple Silicon 11+, macOS Intel 10.12+ y Windows x64 10 1809+ / Server 2019+. No hay archivo para musl/Alpine ni Windows ARM. Incluyen semaprax y semapraxd. El manifiesto publicado prevalece sobre la tabla histórica del manual del tag.
macOS · Apple Silicon · 11+
aarch64-apple-darwin
Linux · arm64 · glibc 2.35+
aarch64-unknown-linux-gnu
macOS · Intel · 10.12+
x86_64-apple-darwin
Windows · x64 · 10 1809+ / Server 2019+
x86_64-pc-windows-msvc
Linux · x86-64 · glibc 2.35+
x86_64-unknown-linux-gnu
- Descarga el archivo de tu plataforma y comprueba su línea exacta en SHA256SUMS. Los Source code de GitHub son instantáneas, no programas ejecutables.
- Verifica el editor con gh attestation verify,
release-attestation-<target>.json, repositorio wavect/semaprax y tag exacto. El checksum no es una firma. - Extrae a un directorio permanente, añádelo a PATH y ejecuta el primer proyecto. Para actualizar, volver atrás o desinstalar mediante recibo, sigue el contrato del instalador y respeta qué gestor posee cada instalación.
- Homebrew:
brew install wavect/tap/semapraxinstala v0.9.0 en macOS Apple Silicon e Intel. Se revisaron la fórmula y la ejecución exitosa posterior al lanzamiento el 15 de octubre. La solicitud WinGet #447495 sigue abierta; no se afirma instalación publicada. Los ejemplos v0.8.0 del manual del tag son históricos. Para compilar usa 933196b9ef3cb611343f1401e9eb0b08fa404d0a y distingue el paquete independiente de semaprax-toolchain.
SHA256SUMS · Sumas de comprobación y procedencia firmada · Manifiesto del lanzamiento · Registro de publicación
Instala las herramientas completas: macOS y GNU/Linux
Instalación por usuario fijada a v0.9.0, sin Rust, Cargo, repositorio ni cuenta de modelo. Selecciona un archivo, verifica checksum y manifiesto, lo prueba y registra la activación. Con GitHub CLI verifica también la atestación del editor; sin ella registra solo checksum. Añade --require-publisher-verification para exigirla. Abre una terminal nueva después.
curl -fsSL https://github.com/wavect/semaprax/releases/download/v0.9.0/install.sh | sh -s -- --version v0.9.0Windows PowerShell y tu primer proyecto
En Windows ejecuta el comando fijado con PowerShell 5.1 o 7 y abre una terminal nueva. En macOS/Linux continúa con los comandos semaprax tras el instalador de shell. Elige un destino inexistente. La calculadora incluye código, manifiesto, tests y AGENTS.md; la última ejecución imprime 42. Clang solo se necesita para compilar de forma nativa.
powershell -ExecutionPolicy Bypass -c "& ([scriptblock]::Create((irm https://github.com/wavect/semaprax/releases/download/v0.9.0/install.ps1))) -Version v0.9.0"
semaprax --version
semaprax new first-semaprax
semaprax check first-semaprax/semaprax.toml
semaprax test first-semaprax/semaprax.toml
semaprax run first-semaprax/semaprax.tomlDa a tu agente de programación un punto de partida preciso
Dentro de first-semaprax empieza por AGENTS.md y un tema concreto del lenguaje. Lee los archivos pequeños directamente; usa contexto semántico acotado para una pregunta y comprueba truncation. El grafo completo puede ser mucho mayor. El harness opcional y un Agent definido en el código son superficies distintas.
cd first-semaprax
semaprax help language lists
semaprax query --capabilities
semaprax check .
semaprax test .
semaprax help diagnostic SPX-T208Un programa, tres superficies conectadas
Las personas editan código legible, las herramientas consultan su significado comprobado y los destinos compatibles ejecutan el programa admitido. Cada destino e integración indica qué características del lenguaje acepta.
- Código legibleArchivos .spx canónicos, ID estables de declaraciones, contratos, leyes y propiedad explícita. Los comandos habituales check y run no necesitan una cuenta de un proveedor de modelos.
- Significado comprobado para las herramientasContexto derivado del compilador, análisis de impacto, revisión de candidatos y obligaciones de prueba. El entorno de orquestación puede incorporar recuperación de información, skills y proveedores de modelos seleccionados alrededor de ese núcleo semántico.
- Ejecución controladaIntérprete, perfiles admitidos de C11/Clang y Core Wasm, y Agents tipados cuyas propuestas del modelo pasan por una autorización determinista antes de producir efectos.
Grafo semántico del programa de Semaprax: Semaprax comprueba el código .spx legible y lo resuelve a HIR, su representación tipada del compilador. Las identidades del código y de su significado vinculan consultas, obligaciones de prueba, cambios candidatos y ejecución al programa inspeccionado. Los agentes de programación pueden usar la orquestación alrededor de este núcleo; los Agents en ejecución decodifican propuestas, autorizan efectos y actualizan el estado mediante capacidades suministradas explícitamente por el anfitrión.
Facilita la comprobación de cada cambio propuesto
Las identidades estables permiten dirigir un cambio a una declaración concreta. El contexto acotado explica su función. Los contratos y las leyes seleccionadas por separado limitan la implementación, mientras que la revisión de candidatos y la repetición de comprobaciones verifican el cambio antes de aplicarlo. El entorno registra el uso real y los resultados de las tareas para contrastar las afirmaciones de eficiencia con evidencia.
MIDE EL RESULTADO
Menos ambigüedad al reparar, con el coste y la corrección de cada tarea comprobados por separado
Sigue la pregunta que necesitas resolver
Consulta el manual para los pasos prácticos, la arquitectura para el modelo de programación, la evidencia para los perfiles implementados, los benchmarks para las mediciones y la interoperabilidad para conectar con tu tecnología actual.
// STATUS
Estado del repositorio en la instantánea auditada
| Instantánea del repositorio | 933196b · 2026-10-15. La etiqueta v0.9.0 apunta al commit de código fijado. La CI exacta de la etiqueta terminó correctamente. Esto no garantiza aptitud para producción ni seguridad general. |
|---|---|
| Estado del producto completo | 55 Parcial · 0 Implementado · 0 Faltante |
| Contrato de grafo y proyecto | El código canónico, los ID estables y las representaciones comprobadas del compilador conectan leyes, consultas semánticas, cambios y ejecución. Los esquemas de grafo y Project seleccionados por funcionalidad conservan sus propios contratos de admisión, compatibilidad y autoridad del anfitrión. |
| Versión beta publicada | v0.9.0 · Publicado el 11 de octubre de 2026 a las 15:07 UTC. Los 91 trabajos de la ejecución de publicación del tag exacto pasaron. Cinco archivos de herramientas y dos instaladores incluyen SHA256SUMS, cinco atestaciones y procedencia conjunta firmada y verificada independientemente. La publicación exige recorridos de instalación nativos. No hay notarización ni garantía de compilaciones reproducibles; verificar sin conexión no confirma revocaciones actuales. CI de la etiqueta exacta. |
| Previews de paquetes y API | La versión incluye perfiles útiles del lenguaje, leyes del programa, orquestación e integración con el sistema anfitrión. La publicación y el soporte de los paquetes Rust/npm generados, las ABI genéricas públicas y otras plataformas siguen requiriendo decisiones independientes. |
Registro de evidencia de capacidades
| Estado actual | Evidence state | Alcance | Evidencia |
|---|---|---|---|
| Código canónico e identidad estable | Parcial | El código `.spx` legible sigue siendo canónico en Git. Los valores `@id` identifican declaraciones independientemente de cambios de nombre admitidos. La revisión vincula código canónico y prelude implícito del compilador, no posiciones accidentales ni el formato serializado del grafo. | GitHub repository |
| Contexto limitado y proyecciones compactas | Parcial | Selecciona el contexto exacto del grafo o de la tarea con límites de profundidad, dirección, nodos y bytes. Model-text v2 reduce tokens en algunas entradas grandes y los aumenta en las pequeñas; los informes conservan el tokenizador y el límite de comparación. | GitHub repository |
| Cambios semánticos, no reescrituras arbitrarias | Parcial | Inspeccionar contexto, derivar candidato, revisar impacto, reproducir comprobaciones y autorizar la aplicación explícitamente. Además de renombrar hay reemplazo limitado de expresiones, cambios estructurales y composición rebase/merge definida. Cada protocolo conserva sus límites de revisión, identidad y operación. | GitHub repository |
| La publicación controlada es un límite independiente | Parcial | Las generaciones de workspace, evidencia de candidatos, almacén de revisiones y flujos MCP mantienen autoridad explícita de escritura y publicación. Validar varios archivos no actualiza atómicamente rutas arbitrarias, Git o editores. La API de integración Rust ofrece límites, cancelación y sesiones opacas, no acceso libre al host. | GitHub repository |
| Evidencia semántica reproducible | Parcial | La evidencia liga hechos validados y cambios candidatos a fuentes y revisiones. Un recibo apoya revisión o rechazo, pero no otorga autoridad para ejecutar, modificar o publicar. | GitHub repository |
| Proyectos multimódulo y plantillas offline | Parcial | Los manifiestos definen el código, las entradas, las pruebas y las exportaciones declaradas. Las plantillas incluidas de calculadora, biblioteca y servicio tienen sus propios perfiles. new crea un proyecto nuevo a partir de archivos integrados; las comprobaciones del código, las pruebas interpretadas y las compilaciones siguen el contrato del manifiesto seleccionado. | GitHub repository |
// DOCS
Abre el manual de Semaprax
El manual en línea es la guía en inglés publicada desde main y puede incluir cambios posteriores a 0.9.0. Utiliza la copia fijada a la revisión al reproducir esta versión.
Manual en línea
La ruta de aprendizaje actual en inglés, publicada desde main.
Copia del manual de 0.9.0
Los archivos del manual en el commit exacto del lanzamiento revisado.
Crea tu primer proyecto
Guía actual en inglés del manifiesto, las comprobaciones, las pruebas y las compilaciones de la calculadora.
Aprende lo esencial del lenguaje
Introducción actual en inglés a valores, funciones y estructura del código.
Trabaja con un agente de programación
Guía actual en inglés de contexto semántico y flujos seguros de cambios.
Referencia de la CLI para 0.9.0
Comandos fijados a la revisión y límites entre la CLI independiente y la cadena completa.
Extensión de VS Code
Configuración, navegación semántica, revisión y controles de desarrollo fijados a la revisión.
Ejemplos ejecutables
Ejemplos fijados a la revisión para el lenguaje, proyectos, leyes, Agents e integraciones con el anfitrión.
// REF
Fuentes primarias de esta página
Revisado el 15 de octubre de 2026 contra el commit v0.9.0, sus archivos publicados y la ejecución de publicación. El manual de instalación y el registro de canales del tag aún muestran ejemplos v0.8.0; utiliza las descargas v0.9.0 fijadas aquí. Los encabezados antiguos de matriz y hoja de ruta son históricos. El manual web sigue main y puede describir trabajo posterior.
- Versión v0.9.0 y descargas por plataforma
- CI de la etiqueta exacta y evidencia del lanzamiento
- Manual correspondiente al código revisado
- Declaraciones de leyes en el código
- Integración nativa ampliada con Rust
- Proveedores de orquestación y registros de los modelos
- Flujo de recarga en caliente comprobada
- Informes de tokens y reutilización del trabajo comprobado
- Matriz de objetivos completos y límites pendientes
- Procedencia firmada y verificación independiente
- Registro de cambios e historial del tag
- Verificación del instalador y mínimos de plataforma
- Fórmula Homebrew: ambos archivos macOS v0.9.0
- Verificación de canales posterior a la publicación
- Solicitud WinGet: abierta al revisar
// FAQ
Preguntas y respuestas prácticas
¿Semaprax está listo para producción?
v0.9.0 es una beta Apache-2.0 publicada el 11 de octubre de 2026. Pasaron los 91 trabajos y hay cinco archivos. La matriz sigue con 55 requisitos Partial; publicar no garantiza aptitud general para producción.
¿Semaprax es solo para agentes de IA?
Puedes escribir, comprobar y ejecutar programas .spx habituales sin un modelo de IA ni una cuenta. Los agentes de programación usan contexto semántico y cambios admitidos mediante las herramientas; los Agents definidos en el código son otra abstracción de programación tipada. El manual en inglés explica ambos usos.
¿Tu producto de IA necesita ingeniería con este nivel de evidencia?
Ver el trabajo de ingeniería de IA de Wavect.Creado por Wavect como proyecto de investigación de sistemas de código abierto. GitHub repository. Revisado el 15 de octubre de 2026 contra el commit v0.9.0, sus archivos publicados y la ejecución de publicación. El manual de instalación y el registro de canales del tag aún muestran ejemplos v0.8.0; utiliza las descargas v0.9.0 fijadas aquí. Los encabezados antiguos de matriz y hoja de ruta son históricos. El manual web sigue main y puede describir trabajo posterior.