---
title: "Semaprax v0.2: Capacidades implementadas y límites"
canonical: https://wavect.io/es/semaprax/evidence/
language: es
description: "Registro fechado de Semaprax v0.2 que separa trabajo implementado, demostrado, experimental y de roadmap con evidencia y límites."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

REGISTRO DE EVIDENCIA · VERIFICADO 2026-08-11

# Lo que demuestra el prototipo v0.2 y lo que no.

La evidencia tiene estado, alcance y fecha de revisión.

El repositorio es una semilla arquitectónica ejecutable. Un gate acotado solo demuestra la porción de lenguaje, el artefacto, el host y el comportamiento de fallo que nombra.

semaprax://evidence v0.2

```
entity     Semaprax
status     investigación pre-alfa
verified   2026-08-11
authority  github.com/wavect/semaprax
```

## ¿Qué implementa Semaprax hoy?

Semaprax v0.2 implementa un lenguaje tipado pequeño, identidad estable de grafo, contexto acotado, familias de parches ligados a revisión, verificación fail-closed y compilación nativa y navegador/Wasm determinista para subconjuntos documentados.

// 01

## Registro de evidencia de capacidades

| Estado actual | Estado de evidencia | Alcance | Verificado | Evidencia |
| --- | --- | --- | --- | --- |
| **Grafo semántico estable del programa** `stable-semantic-program-graph` | Implementado | JSON Graph v10-v14 versionado para el subconjunto tipado documentado, con identidades persistentes y HIR validado compartido. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **Contexto acotado para agentes** `bounded-agent-context` | Implementado | Agent Context v1 y recorrido de llamadas v2 con límites deterministas de bytes, nodos, profundidad y fronteras. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **Parches semánticos ligados a revisión** `revision-bound-semantic-patches` | Implementado | Atomic Patch v1 y operaciones Patch v2 acotadas con revisión exacta, rechazo obsoleto y validación del delta. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **Reviews y cápsulas de evidencia semántica** `semantic-evidence-capsules` | Demostrado | Rutas acotadas de review, impacto, target, patch y workspace con artefactos deterministas y no-afirmaciones. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **Compilación nativa y navegador/Wasm** `native-and-wasm-lowering` | Demostrado | Subconjuntos documentados de lenguaje y ownership mediante C11/Clang y gates reales de Node/Wasm. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **Gestión de memoria inspirada en ownership** `ownership-inspired-memory-management` | Experimental | Límites own, borrow y shared, comprobación de movimientos y limpieza acotada. No es compatibilidad con Rust. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |
| **Soporte amplio de plataformas nativas** `broad-platform-support` | Roadmap | Soporte general para macOS, Windows, Linux, web, iOS y Android más allá de los gates actuales. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |
| **Interoperabilidad bidireccional de ecosistema** `bidirectional-ecosystem-interoperability` | Roadmap | Objetivo a largo plazo para límites tipados y seguros con ownership. No se afirma un porcentaje. | 2026-08-11 | [Repositorio de GitHub](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |

// 02

## Afirmaciones que esta página no hace

- Semaprax no se presenta como listo para producción.
- Un harness de plataforma no equivale a soporte completo de aplicaciones.
- Un artefacto generado no cuenta como cargado o ejecutado sin su gate específico.
- La gestión inspirada en ownership no es compatibilidad con Rust ni un borrow checker completo.

Las especificaciones de GitHub son la fuente normativa. Esta página es un resumen de investigación fechado. [Repositorio de GitHub](https://github.com/wavect/semaprax).

// FAQ

## Preguntas respondidas sin exageraciones

### ¿Qué significa Demostrado?

Un artefacto o ruta nombrada superó su gate bajo restricciones concretas. No implica soporte completo de lenguaje o plataforma.

### ¿CI verde demuestra seguridad?

No. Respalda invariantes y fallos probados, no la ausencia de vulnerabilidades fuera del límite.

Proyecto de investigación de Wavect: [Wavect GmbH](/es/). Creado por Wavect como proyecto de investigación de sistemas de código abierto.

## 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/evidence/#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/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/evidence/"
      },
      "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/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/evidence/"
      },
      "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/evidence/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Registro fechado de Semaprax v0.2 que separa trabajo implementado, demostrado, experimental y de roadmap con evidencia y límites.",
      "inLanguage": "es",
      "mainEntity": {
        "@id": "https://wavect.io/es/semaprax/evidence/#article",
        "@type": "TechArticle"
      },
      "name": "Semaprax v0.2: Capacidades implementadas y límites | Wavect",
      "url": "https://wavect.io/es/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/es/semaprax/evidence/#article",
      "@type": "TechArticle",
      "about": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "datePublished": "2026-08-11",
      "description": "Registro fechado de Semaprax v0.2 que separa trabajo implementado, demostrado, experimental y de roadmap con evidencia y límites.",
      "headline": "Lo que demuestra el prototipo v0.2 y lo que no.",
      "inLanguage": "es",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/es/semaprax/evidence/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/es/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/es/semaprax/evidence/#faq",
      "@type": "FAQPage",
      "inLanguage": "es",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "Un artefacto o ruta nombrada superó su gate bajo restricciones concretas. No implica soporte completo de lenguaje o plataforma."
          },
          "name": "¿Qué significa Demostrado?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. Respalda invariantes y fallos probados, no la ausencia de vulnerabilidades fuera del límite."
          },
          "name": "¿CI verde demuestra seguridad?"
        }
      ],
      "url": "https://wavect.io/es/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/evidence/"
      },
      "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/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/evidence/"
      },
      "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
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/es/semaprax/evidence/",
      "name": "Lo que demuestra el prototipo v0.2 y lo que no.",
      "position": 3
    }
  ]
}
```