---
title: "Semaprax: Lenguaje de sistemas nativo para agentes"
canonical: https://wavect.io/es/semaprax/
language: es
description: "Semaprax es un lenguaje de sistemas experimental para agentes de código, con grafo semántico estable, parches semánticos y salida nativa y Wasm verificada."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

INVESTIGACIÓN PRE-ALFA · APACHE-2.0

# El lenguaje de sistemas creado para agentes de código y legible por personas.

Entra significado. Sale código máquina verificado.

El código fuente sigue siendo una proyección clara para personas. Los agentes trabajan con significado tipado, identidad estable, contexto acotado y cambios ligados a una revisión, en vez de reescribir texto a ciegas.

semaprax://v0.2 investigación pre-alfa

```
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 experimental y nativo para agentes, construido alrededor de un grafo semántico estable del programa. Su prototipo v0.2 permite a los agentes de código consultar significado tipado, enviar parches semánticos ligados a una revisión y compilar un subconjunto verificado como ejecutables nativos y paquetes para navegador/Wasm.

// 01

## Un programa, tres superficies de trabajo

El código para personas, el significado para agentes y la salida de máquina proceden del mismo estado semántico versionado. Cada flecha es un límite de evidencia.

1. **Código para personas** La sintaxis legible sigue siendo la superficie de autoría y revisión.
2. **Grafo semántico del programa** Los IDs estables exponen significado, contexto, diagnósticos y objetivos de parche.
3. **Salida verificada** Los subconjuntos admitidos se compilan de forma determinista a artefactos nativos o navegador/Wasm.

[Semaprax semantic program graph](/es/semaprax/architecture/): Semaprax transforma código legible en HIR validado y un grafo semántico versionado. Los agentes solicitan contexto acotado por ID estable, previsualizan o envían un parche contra una revisión exacta y reciben diagnósticos o evidencia deterministas antes de la salida nativa o Wasm.

// 02

## La hipótesis, no el titular

Semaprax prueba si un sistema de programación puede reducir el contexto y la ambigüedad de reparación para agentes de código. Un menor coste de modelo es una hipótesis, no un resultado demostrado con tokens, latencia, calidad o escala de repositorio.

**HIPÓTESIS NO DEMOSTRADA** Menos contexto y menor coste a escala de repositorio

// 03

## Un índice de investigación con un propietario por pregunta

Cada página responde una sola pregunta de marca para que buscadores y motores de respuesta reconozcan la ruta autoritativa.

### [Arquitectura](/es/semaprax/architecture/)

IDs estables, contexto de grafo y parches semánticos

### [Evidencia](/es/semaprax/evidence/)

Qué implementa v0.2 y dónde termina

### [Benchmarks](/es/semaprax/benchmarks/)

Mediciones de contexto sin promesas de coste

### [Interoperabilidad](/es/semaprax/interoperability/)

Matriz de objetivos y ecosistemas

### [Roadmap](/es/semaprax/roadmap/)

Hitos, objetivos y brechas abiertas

// 04

## Registro de evidencia de capacidades

| Estado actual | Estado de evidencia | Alcance | Evidencia |
| --- | --- | --- | --- |
| **Grafo semántico estable del programa** | Implementado | JSON Graph v10-v14 versionado para el subconjunto tipado documentado, con identidades persistentes y HIR validado compartido. | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **Contexto acotado para agentes** | Implementado | Agent Context v1 y recorrido de llamadas v2 con límites deterministas de bytes, nodos, profundidad y fronteras. | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **Parches semánticos ligados a revisión** | Implementado | Atomic Patch v1 y operaciones Patch v2 acotadas con revisión exacta, rechazo obsoleto y validación del delta. | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **Reviews y cápsulas de evidencia semántica** | Demostrado | Rutas acotadas de review, impacto, target, patch y workspace con artefactos deterministas y no-afirmaciones. | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **Compilación nativa y navegador/Wasm** | Demostrado | Subconjuntos documentados de lenguaje y ownership mediante C11/Clang y gates reales de Node/Wasm. | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **Gestión de memoria inspirada en ownership** | Experimental | Límites own, borrow y shared, comprobación de movimientos y limpieza acotada. No es compatibilidad con Rust. | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |

// FAQ

## Preguntas respondidas sin exageraciones

### ¿Semaprax está listo para producción?

No. Es investigación pre-alfa Apache-2.0. El registro separa implementación acotada de finalización general.

### ¿Semaprax es solo para agentes de IA?

No. La fuente debe seguir legible para personas. Nativo para agentes describe el grafo, contexto, diagnósticos y parches disponibles para agentes de código.

¿Tu producto de IA necesita ingeniería con este nivel de evidencia?

Creado por Wavect como proyecto de investigación de sistemas de código abierto. [Repositorio de GitHub](https://github.com/wavect/semaprax). Las especificaciones de GitHub son la fuente normativa. Esta página es un resumen de investigación fechado.

## Structured Data

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/#organization",
      "@type": [
        "Organization",
        "ProfessionalService",
        "LocalBusiness"
      ],
      "employee": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "founder": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "legalRepresentative": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "name": "Wavect GmbH",
      "subjectOf": {
        "@id": "https://wavect.io/verified-claims.json#dataset",
        "@type": "Dataset",
        "creator": {
          "@id": "https://wavect.io/#organization",
          "@type": [
            "Organization",
            "ProfessionalService",
            "LocalBusiness"
          ]
        },
        "description": "A machine-readable registry of quantitative and qualitative claims published by Wavect, with review dates, localized page appearances and public third-party citations where available.",
        "inLanguage": "en",
        "isAccessibleForFree": true,
        "license": "https://creativecommons.org/licenses/by/4.0/",
        "name": "Wavect verified publication claims",
        "url": "https://wavect.io/verified-claims.json"
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/team/kevin-riedl/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Kevin Riedl",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796365",
        "https://www.linkedin.com/in/wsdt",
        "https://github.com/wsdt"
      ],
      "url": "https://wavect.io/team/kevin-riedl/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/team/christof-jori/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Christof Jori",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796367",
        "https://www.linkedin.com/in/jocr77/",
        "https://github.com/jo-chris"
      ],
      "url": "https://wavect.io/team/christof-jori/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/#website",
      "@type": "WebSite",
      "inLanguage": [
        "en",
        "de",
        "es",
        "zh"
      ],
      "name": "Wavect",
      "potentialAction": {
        "@type": "SearchAction",
        "query-input": "required name=search_term_string",
        "target": {
          "@type": "EntryPoint",
          "urlTemplate": "https://wavect.io/search/?q={search_term_string}"
        }
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/es/semaprax/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "es",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "url": "https://wavect.io/es/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-semantic-graph-patches",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 prototype exposes a stable, queryable semantic program graph and revision-bound semantic patch operations for documented language subsets."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/es/semaprax/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Semaprax es un lenguaje de sistemas experimental para agentes de código, con grafo semántico estable, parches semánticos y salida nativa y Wasm verificada.",
      "inLanguage": "es",
      "mainEntity": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "name": "Semaprax: Lenguaje de sistemas nativo para agentes | Wavect",
      "url": "https://wavect.io/es/semaprax/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode",
      "codeRepository": "https://github.com/wavect/semaprax",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "description": "Semaprax is an experimental agent-native systems programming language built around a stable semantic program graph. Its v0.2 prototype lets coding agents query typed meaning, submit revision-bound semantic patches, and lower a verified subset to native executables and browser/Wasm packages.",
      "license": "https://www.apache.org/licenses/LICENSE-2.0",
      "name": "Semaprax",
      "programmingLanguage": "Semaprax",
      "softwareVersion": "v0.2"
    },
    {
      "@id": "https://wavect.io/es/semaprax/#faq",
      "@type": "FAQPage",
      "inLanguage": "es",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. Es investigación pre-alfa Apache-2.0. El registro separa implementación acotada de finalización general."
          },
          "name": "¿Semaprax está listo para producción?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. La fuente debe seguir legible para personas. Nativo para agentes describe el grafo, contexto, diagnósticos y parches disponibles para agentes de código."
          },
          "name": "¿Semaprax es solo para agentes de IA?"
        }
      ],
      "url": "https://wavect.io/es/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-semantic-graph-patches",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 prototype exposes a stable, queryable semantic program graph and revision-bound semantic patch operations for documented language subsets."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@type": "BreadcrumbList",
  "itemListElement": [
    {
      "@type": "ListItem",
      "item": "https://wavect.io/es/",
      "name": "Inicio",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/es/semaprax/",
      "name": "Semaprax",
      "position": 2
    }
  ]
}
```