--- title: "Identidad semántica para ediciones de agentes en Rust" canonical: https://wavect.io/es/blog/semantic-identity-rust-agent-edits/ language: es description: "Cómo SEMAPRAX usa tipos Rust, IDs estables, HIR comprobado, grafos deterministas y evidencia reproducible para limitar ediciones de agentes." image: "https://wavect.io/img/blog/headers/header_semantic-identity-rust-agent-edits.png" --- [**Volver**](/es/blog/overview/) [![Kevin Riedl](/img/team/kevin.webp)](/es/team/kevin-riedl/) [Kevin Riedl](/es/team/kevin-riedl/) https://linkedin.com/in/wsdt 10 min de lectura · 23 ago 2026 Última revisión 23 de agosto de 2026 [**Siguiente**](/es/blog/programming-languages-matter-less-ai/) # Por qué las ediciones de agentes necesitan identidad semántica: SEMAPRAX en Rust Resumen Las posiciones de texto son objetivos frágiles porque el formato y los cambios cercanos las desplazan. SEMAPRAX asigna identidades persistentes a las declaraciones, resuelve el código como HIR comprobado, proyecta vistas de grafo deterministas y liga cada parche a una revisión. Los newtypes de Rust separan identidades de declaración y expresión, mientras las colecciones ordenadas y la reproducción independiente de evidencia hacen reproducible el límite. Es un diseño de investigación prealfa, no una afirmación de madurez productiva ni seguridad completa. **Un agente de programación debería editar una declaración por su identidad y significado esperado, no por un número de línea posiblemente obsoleto.** En [SEMAPRAX](/es/semaprax/), los IDs persistentes sobreviven a movimientos normales del código, el HIR comprobado centraliza el significado resuelto y los parches ligados a revisión fallan de forma cerrada si cambia el snapshot. Rust hace explícitas estas diferencias en los tipos del compilador. Este artículo explica el diseño implementado en el compilador de investigación prealfa. Los mismos límites sirven para motores de refactorización, servicios de compilador y herramientas de agentes que convierten una intención en un cambio revisable. ## ¿Por qué las líneas y offsets son objetivos frágiles? Una edición textual suele decir «reemplaza los bytes 418 a 463». Esa dirección describe un snapshot, no la entidad que quería modificar el agente. Un formateador, comentario o edición concurrente puede moverla. Un nombre ayuda, pero scopes, sobrecargas y renombrados también lo vuelven contextual. El contrato de SEMAPRAX trata el código `.spx` legible como proyección canónica de Git y ofrece un grafo semántico versionado como interfaz preferida para agentes. Las declaraciones públicas tienen identidades `@id` persistentes. Las identidades de expresiones son locales a la revisión porque prometer identidad estable para cada nodo transitorio sería deshonesto. El [contrato del lenguaje y compilador](https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/docs/RFC-0001.md) especifica esta separación. ## ¿Cómo codifica Rust el límite de identidad? El HIR no pasa strings sin tipo. Define newtypes separados: ``` pub struct DeclarationId(String); pub struct ExpressionId(String); pub struct ResolvedFunction { pub id: DeclarationId, // firma, cuerpo y efectos comprobados } ``` El ejemplo abreviado refleja los tipos de [`src/hir.rs` en la revisión auditada](https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/src/hir.rs). Una función que espera un objetivo de declaración persistente no puede recibir por accidente la dirección de una expresión. El compilador exige una conversión explícita o rechaza la operación. El módulo guarda índices en `BTreeMap` y relaciones en `BTreeSet`. Las colecciones ordenadas no bastan para garantizar determinismo, pero eliminan la iteración aleatoria de hashes. Cuando el orden afecta a la ejecución, debe conservarse el orden semántico. ## ¿Por qué resolver una vez como HIR comprobado? Si el exportador del grafo y cada backend reconstruyen significado desde la sintaxis, pueden discrepar sobre tipos, ownership o destinos de llamadas. SEMAPRAX resuelve y verifica primero; después, las proyecciones consumen la representación comprobada. El [documento de arquitectura y límites de confianza](https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/docs/ARCHITECTURE.md) describe la canalización y separa rutas implementadas de autoridad futura. 1. Analizar el código legible. 2. Resolver nombres e identidades persistentes como HIR. 3. Verificar tipos, efectos, reglas de ownership y contratos admitidos por el subconjunto actual. 4. Proyectar JSON determinista o artefactos objetivo desde semántica comprobada. 5. Ligar los cambios a la revisión y al objetivo semántico esperado. El grafo es una proyección del compilador, no otra fuente de verdad. Git continúa revisando código legible mientras el agente recibe contexto estructurado. ## ¿Qué hace determinista un grafo semántico? El determinismo pertenece a toda la canalización. IDs estables no ayudan si el orden de aristas cambia entre ejecuciones. SEMAPRAX utiliza índices ordenados, serialización explícita, recorrido acotado y reglas canónicas en su [proyección de grafo en Rust](https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/src/graph.rs). No se deben ordenar vectores de ejecución para producir un JSON más bonito. El orden de evaluación y limpieza es semántico. La ordenación canónica solo corresponde a conjuntos matemáticamente no ordenados. ## ¿Cómo limita la evidencia un parche de agente? Una cápsula de evidencia explica por qué un parche es admisible, pero poseerla no debe conceder escritura. SEMAPRAX separa datos de prueba del componente con autoridad de commit. La ruta adquiere el bloqueo normal, reproduce de forma independiente la evidencia exacta, comprueba el snapshot y solo entonces prepara el candidato. La [implementación de evidencia de parches](https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/src/patch_evidence.rs) mantiene separadas reproducción y aplicación. - **Intención obsoleta:** el parche era válido para una revisión anterior. - **Objetivo incorrecto:** el texto coincide, pero ahora representa otra declaración. - **Confianza falsificada:** un caller presenta un informe plausible sin reproducir las comprobaciones. La reproducción independiente no demuestra que una funcionalidad sea prudente. Demuestra algo más estrecho: la propuesta acotada todavía satisface las comprobaciones a las que está ligada. ## ¿Qué patrones conviene copiar? 1. **Newtypes de dominio:** separar entidades persistentes, nodos locales, digests y capacidades en el sistema de tipos. 2. **Un núcleo semántico comprobado:** grafos y backends consumen significado resuelto. 3. **Determinismo explícito:** especificar orden, serialización, diagnósticos y fallos, y comparar ejecuciones byte a byte. 4. **Ediciones ligadas a snapshots:** un objetivo semántico sin digest aún puede desviarse. 5. **Evidencia sin poder:** reproducirla dentro del límite de autoridad antes de preparar cambios. 6. **Límites publicados:** una matriz evita convertir evidencia de una ruta en una afirmación sobre todos los destinos. SEMAPRAX aplica el último punto con una [matriz de completitud ligada a evidencia](https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/docs/COMPLETION-MATRIX.md). ## ¿Qué no demuestra SEMAPRAX? SEMAPRAX v0.2 es investigación experimental prealfa. El repositorio documenta rutas acotadas para C11/Clang nativo y WebAssembly Core, herramientas semánticas deterministas y un subconjunto verificado creciente. No afirma madurez productiva, seguridad de memoria completa, todos los sistemas operativos, ownership completo, interoperabilidad total, un runtime público del Component Model ni autoridad económica real. Evalúa el proyecto mediante código y evidencia fechada. Empieza por la [arquitectura de SEMAPRAX](/es/semaprax/architecture/) y compara las afirmaciones con la revisión fijada. ## ¿Cómo se reproduce este recorrido? ``` git clone https://github.com/wavect/semaprax.git cd semaprax git checkout ca339feffcadf77a679abe2f159376287cf2e22c cargo run -- graph examples/hello.spx ``` El comando inspecciona la proyección del grafo en la revisión exacta del artículo. Ejecuta las puertas de calidad documentadas antes de considerar una modificación local como evidencia. *Nota editorial: OpenAI Codex ayudó con borrador y traducción. Wavect comprobó afirmaciones y referencias contra el commit `ca339fe` de SEMAPRAX. El artículo no infiere afirmaciones de rendimiento o seguridad de una salida del modelo.* ## Reflexiones finales La edición fiable empieza por nombrar la entidad, la revisión en la que existe y las comprobaciones que deben seguir cumpliéndose. Rust codifica esas diferencias: identidad persistente no es dirección de expresión, HIR comprobado no es sintaxis cruda y evidencia no es autoridad. SEMAPRAX implementa ese límite de forma experimental. La lección útil hoy es menor que su objetivo a largo plazo: ofrece identificadores semánticos, haz deterministas las proyecciones y falla de forma cerrada cuando cambien el significado o el estado. ## También te puede gustar.. [**¿Importan menos los lenguajes en la era de la IA?** Qué abstracciones siguen importando cuando los agentes escriben más código.](/es/blog/programming-languages-matter-less-ai/) [**AI Enablement frente a consultoría de IA genérica** Compara una colaboración centrada en implementación con una consultoría solo estratégica.](/es/compare/ai-enablement-vs-generic-ai-consultancy/) Ingeniería de agentes ## Continúa por este clúster Agentes de código, MCP, contexto, evaluación y controles para automatización fiable. [Empieza por el artículo fundamental**Ingeniería de grafos para agentes de IA: ¿Cuándo compensa un knowledge graph?**](/es/blog/graph-engineering-ai-agents/) - [Análisis de OpenViking 2026: ¿Memoria de archivos lista para producción?](/es/blog/openviking-agent-memory-review/) - [LLM-as-a-Verifier: arquitectura, costes y uso en producción](/es/blog/llm-as-a-verifier/) - [TrueForge: análisis del agent harness open source para producción](/es/blog/trueforge-agent-harness-review/) - [Webs legibles por agentes: llms.txt, espejos en Markdown y qué se rompe](/es/blog/agent-readable-website-llms-txt-markdown-mirrors/) - [Las URLs traducidas rompen hreflang: usa un solo slug en inglés](/es/blog/english-slugs-vs-localized-urls-hreflang/) Tu bandeja, sin ruido ## Sigue el trabajo que te importa Recibe un correo breve cuando publiquemos algo nuevo. Sigue todo el blog o solo los temas que te interesan. [**Volver**](/es/blog/overview/) [![Kevin Riedl](/img/team/kevin.webp)](/es/team/kevin-riedl/) [Kevin Riedl](/es/team/kevin-riedl/) https://linkedin.com/in/wsdt 10 min de lectura · 23 ago 2026 Última revisión 23 de agosto de 2026 [**Siguiente**](/es/blog/programming-languages-matter-less-ai/) Nuevos artículos por correo × × Recibe nuevos artículos por correo Un correo breve cuando publicamos. Gratis y sin seguimiento. ## 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/blog/semantic-identity-rust-agent-edits/#webpage", "@type": "WebPage", "dateModified": "2026-08-23", "inLanguage": "es", "isPartOf": { "@id": "https://wavect.io/#website", "@type": "WebSite" }, "lastReviewed": "2026-08-23", "url": "https://wavect.io/es/blog/semantic-identity-rust-agent-edits/" } ] } ``` ```json { "@context": "https://schema.org", "@type": "BlogPosting", "abstract": "Las posiciones de texto son objetivos frágiles porque el formato y los cambios cercanos las desplazan. SEMAPRAX asigna identidades persistentes a las declaraciones, resuelve el código como HIR comprobado, proyecta vistas de grafo deterministas y liga cada parche a una revisión. Los newtypes de Rust separan identidades de declaración y expresión, mientras las colecciones ordenadas y la reproducción independiente de evidencia hacen reproducible el límite. Es un diseño de investigación prealfa, no una afirmación de madurez productiva ni seguridad completa.", "articleBody": " Resumen del blog/IA y agentes/Ingeniería de agentes Por qué las ediciones de agentes necesitan identidad semántica: SEMAPRAX en Rust Resumen Las posiciones de texto son objetivos frágiles porque el formato y los cambios cercanos las desplazan. SEMAPRAX asigna identidades persistentes a las declaraciones, resuelve el código como HIR comprobado, proyecta vistas de grafo deterministas y liga cada parche a una revisión. Los newtypes de Rust separan identidades de declaración y expresión, mientras las colecciones ordenadas y la reproducción independiente de evidencia hacen reproducible el límite. Es un diseño de investigación prealfa, no una afirmación de madurez productiva ni seguridad completa. Un agente de programación debería editar una declaración por su identidad y significado esperado, no por un número de línea posiblemente obsoleto. En SEMAPRAX, los IDs persistentes sobreviven a movimientos normales del código, el HIR comprobado centraliza el significado resuelto y los parches ligados a revisión fallan de forma cerrada si cambia el snapshot. Rust hace explícitas estas diferencias en los tipos del compilador. Este artículo explica el diseño implementado en el compilador de investigación prealfa. Los mismos límites sirven para motores de refactorización, servicios de compilador y herramientas de agentes que convierten una intención en un cambio revisable. ¿Por qué las líneas y offsets son objetivos frágiles? Una edición textual suele decir «reemplaza los bytes 418 a 463». Esa dirección describe un snapshot, no la entidad que quería modificar el agente. Un formateador, comentario o edición concurrente puede moverla. Un nombre ayuda, pero scopes, sobrecargas y renombrados también lo vuelven contextual. El contrato de SEMAPRAX trata el código .spx legible como proyección canónica de Git y ofrece un grafo semántico versionado como interfaz preferida para agentes. Las declaraciones públicas tienen identidades @id persistentes. Las identidades de expresiones son locales a la revisión porque prometer identidad estable para cada nodo transitorio sería deshonesto. El contrato del lenguaje y compilador especifica esta separación. ¿Cómo codifica Rust el límite de identidad? El HIR no pasa strings sin tipo. Define newtypes separados: pub struct DeclarationId(String); pub struct ExpressionId(String); pub struct ResolvedFunction { pub id: DeclarationId, // firma, cuerpo y efectos comprobados } El ejemplo abreviado refleja los tipos de src/hir.rs en la revisión auditada. Una función que espera un objetivo de declaración persistente no puede recibir por accidente la dirección de una expresión. El compilador exige una conversión explícita o rechaza la operación. El módulo guarda índices en BTreeMap y relaciones en BTreeSet. Las colecciones ordenadas no bastan para garantizar determinismo, pero eliminan la iteración aleatoria de hashes. Cuando el orden afecta a la ejecución, debe conservarse el orden semántico. ¿Por qué resolver una vez como HIR comprobado? Si el exportador del grafo y cada backend reconstruyen significado desde la sintaxis, pueden discrepar sobre tipos, ownership o destinos de llamadas. SEMAPRAX resuelve y verifica primero; después, las proyecciones consumen la representación comprobada. El documento de arquitectura y límites de confianza describe la canalización y separa rutas implementadas de autoridad futura. Analizar el código legible. Resolver nombres e identidades persistentes como HIR. Verificar tipos, efectos, reglas de ownership y contratos admitidos por el subconjunto actual. Proyectar JSON determinista o artefactos objetivo desde semántica comprobada. Ligar los cambios a la revisión y al objetivo semántico esperado. El grafo es una proyección del compilador, no otra fuente de verdad. Git continúa revisando código legible mientras el agente recibe contexto estructurado. ¿Qué hace determinista un grafo semántico? El determinismo pertenece a toda la canalización. IDs estables no ayudan si el orden de aristas cambia entre ejecuciones. SEMAPRAX utiliza índices ordenados, serialización explícita, recorrido acotado y reglas canónicas en su proyección de grafo en Rust. No se deben ordenar vectores de ejecución para producir un JSON más bonito. El orden de evaluación y limpieza es semántico. La ordenación canónica solo corresponde a conjuntos matemáticamente no ordenados. ¿Cómo limita la evidencia un parche de agente? Una cápsula de evidencia explica por qué un parche es admisible, pero poseerla no debe conceder escritura. SEMAPRAX separa datos de prueba del componente con autoridad de commit. La ruta adquiere el bloqueo normal, reproduce de forma independiente la evidencia exacta, comprueba el snapshot y solo entonces prepara el candidato. La implementación de evidencia de parches mantiene separadas reproducción y aplicación. Intención obsoleta: el parche era válido para una revisión anterior. Objetivo incorrecto: el texto coincide, pero ahora representa otra declaración. Confianza falsificada: un", "articleSection": "Engineering", "author": { "@id": "https://wavect.io/team/kevin-riedl/#person", "@type": "Person", "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/" }, "citation": [ { "@type": "WebPage", "name": "contrato del lenguaje y compilador", "url": "https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/docs/RFC-0001.md" }, { "@type": "WebPage", "name": "src/hir.rs en la revisión auditada", "url": "https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/src/hir.rs" }, { "@type": "WebPage", "name": "documento de arquitectura y límites de confianza", "url": "https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/docs/ARCHITECTURE.md" }, { "@type": "WebPage", "name": "proyección de grafo en Rust", "url": "https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/src/graph.rs" }, { "@type": "WebPage", "name": "implementación de evidencia de parches", "url": "https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/src/patch_evidence.rs" }, { "@type": "WebPage", "name": "matriz de completitud ligada a evidencia", "url": "https://github.com/wavect/semaprax/blob/ca339feffcadf77a679abe2f159376287cf2e22c/docs/COMPLETION-MATRIX.md" } ], "dateModified": "2026-08-23", "datePublished": "2026-08-23", "description": "Las posiciones de texto son objetivos frágiles porque el formato y los cambios cercanos las desplazan. SEMAPRAX asigna identidades persistentes a las declaraciones, resuelve el código como HIR comprobado, proyecta vistas de grafo deterministas y liga cada parche a una revisión. Los newtypes de Rust separan identidades de declaración y expresión, mientras las colecciones ordenadas y la reproducción independiente de evidencia hacen reproducible el límite. Es un diseño de investigación prealfa, no una afirmación de madurez productiva ni seguridad completa.", "headline": "Por qué las ediciones de agentes necesitan identidad semántica: SEMAPRAX en Rust", "image": "https://wavect.io/img/blog/headers/header_semantic-identity-rust-agent-edits.svg", "inLanguage": "es", "keywords": "Rust, Compiladores, Agentes de IA", "mainEntityOfPage": { "@id": "https://wavect.io/es/blog/semantic-identity-rust-agent-edits/", "@type": "WebPage" }, "publisher": { "@id": "https://wavect.io/#organization", "@type": [ "Organization", "ProfessionalService", "LocalBusiness" ] }, "url": "https://wavect.io/es/blog/semantic-identity-rust-agent-edits/", "wordCount": 1366 } ``` ```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/blog/overview/", "name": "Resumen del blog", "position": 2 }, { "@type": "ListItem", "item": "https://wavect.io/es/blog/topics/ai-agents/", "name": "IA y agentes", "position": 3 }, { "@type": "ListItem", "item": "https://wavect.io/es/blog/clusters/agent-engineering/", "name": "Ingeniería de agentes", "position": 4 }, { "@type": "ListItem", "item": "https://wavect.io/es/blog/semantic-identity-rust-agent-edits/", "name": "Identidad semántica para ediciones de agentes en Rust | ", "position": 5 } ] } ```