New release – Compiled Norms: Towards a Formal Typology of Executable Legal Speech

🔍 Key contributions:
• Formal grammar criteria
• Validation schema with κ = 0.81 inter-rater agreement
• Parser hot-swap to Spanish civil-law tokens (95 % coverage)

📄 Full paper: https://doi.org/10.5281/zenodo.15881325

#LegalInformatics
#AIandLaw
#SyntacticAuthority
#eGovernance
#FormalGrammar
#LegalTech
#agustinvstartari
#ArtificialIntelligence
#HumanitiesCommons
#social
#Law

Compiled Norms: Towards a Formal Typology of Executable Legal Speech

Abstract This article introduces a formal typology of executable legal speech. Building on the concept of the regla compilada (compiled rule), it identifies the syntactic conditions under which a legal expression becomes executable by non-human systems. The analysis distinguishes declarative from compiled legal language and proposes four structural criteria for computability: position within the Chomsky grammar hierarchy, closure of rule structure, level of semantic ambiguity, and determinism of parsing. Instead of interpreting legal meaning, the article isolates the formal properties that permit legal norms to function as executable code. The objective is to define a machine-readable grammar of authority in which execution displaces interpretation, and structural form triggers legal action. DOI: https://doi.org/10.5281/zenodo.15881325 This work is also published with DOI reference in Figshare https://doi.org/10.6084/m9.figshare.29562293 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Resumen Este artículo introduce una tipología formal del lenguaje legal ejecutable. A partir del concepto de regla compilada, identifica las condiciones sintácticas bajo las cuales una expresión jurídica se vuelve ejecutable por sistemas no humanos. El análisis distingue entre lenguaje jurídico declarativo y lenguaje jurídico compilado, y propone cuatro criterios estructurales para su computabilidad: posición en la jerarquía gramatical de Chomsky, cierre de la estructura normativa, nivel de ambigüedad semántica y determinismo en el parsing. En lugar de interpretar el significado legal, el artículo aísla las propiedades formales que permiten que las normas jurídicas funcionen como código ejecutable. El objetivo es definir una gramática de la autoridad legible por máquinas, en la que la ejecución reemplace a la interpretación y la forma estructural active la acción jurídica.

Zenodo

📘 New article: Executable Power: Syntax as Infrastructure in Predictive Societies

This piece examines how syntactic authority—devoid of subject, interpretation or narrative—can operate as a sovereign form of control.

▫️Case studies: LLMs, smart contracts, TAP
▫️Conflict with AI Act compliance and traceability

Full article (DOI): https://zenodo.org/records/15754714

#ArtificialIntelligence #Syntax #Regulation #Power #CompiledRule #ExecutableSovereign #LegalInformatics #Governance

Executable Power: Syntax as Infrastructure in Predictive Societies

AbstractThis article introduces the concept of executable power as a structural form of authority that does not rely on subjects, narratives, or symbolic legitimacy, but on the direct operativity of syntactic structures. Defined as a production rule whose activation triggers an irreversible material action—formalized by deterministic grammars (e.g., Linear Temporal Logic, LTL) or by execution conditions in smart contract languages such as Solidity via require clauses—executable power is examined through a multi-case study (N = 3) involving large language models (LLMs), transaction automation protocols (TAP), and smart contracts. Case selection was based on functional variability and execution context, with each system constituting a unit of analysis. One instance includes automated contracts that freeze assets upon matching a predefined syntactic pattern; another involves LLMs issuing executable commands embedded in structured prompts; a third examines TAP systems enforcing transaction thresholds without human intervention. These systems form an infrastructure of control, operating through logical triggers that bypass interpretation. Empirically, all three exhibited a 100 % execution rate under formal trigger conditions, with average response latency at 0.63 ± 0.17 seconds and no recorded human override in controlled environments. This non-narrative modality of power, grounded in executable syntax, marks an epistemological rupture with classical domination theories (Arendt, Foucault) and diverges from normative or deliberative models. The article incorporates recent literature on infrastructural governance and executional authority (Pasquale, 2023; Rouvroy, 2024; Chen et al., 2025) and references empirical audits of smart-contract vulnerabilities (e.g., Nakamoto Labs, 2025), as well as recent studies on instruction-following in LLMs (Singh & Alvarado, 2025), to expose both operational potential and epistemic risks. The proposed verification methodology is falsifiable, specifying outcome-based metrics—such as execution latency, trigger-response integrity, and intervention rate—with formal verification thresholds (e.g., execution rate below 95 % under standard trigger sequences) subject to model checking and replicable error quantification.  DOI: https://doi.org/10.5281/zenodo.15754714 This work is also published with DOI reference in Figshare https://doi.org/10.6084/m9.figshare.29424524 and Pending SSRN ID to be assigned. ETA: Q3 2025. ResumenEste artículo introduce el concepto de poder ejecutable como una forma estructural de autoridad que no depende de sujetos, narrativas ni legitimidad simbólica, sino de la operatividad directa de estructuras sintácticas. Definido como una regla de producción cuya activación desencadena una acción material irreversible—formalizada por gramáticas deterministas (p. ej., Lógica Temporal Lineal, LTL) o por condiciones de ejecución en lenguajes de contrato inteligente como Solidity mediante cláusulas require—, el poder ejecutable se analiza mediante un estudio de casos múltiples (N = 3) que involucra modelos de lenguaje de gran escala (LLM), protocolos de automatización de transacciones (TAP) y contratos inteligentes. La selección de casos se basó en la variabilidad funcional y el contexto de ejecución, con cada sistema constituyendo una unidad de análisis. Un caso incluye contratos automatizados que congelan activos al coincidir con un patrón sintáctico predefinido; otro implica LLMs que emiten comandos ejecutables embebidos en prompts estructurados; un tercero examina sistemas TAP que aplican umbrales de transacción sin intervención humana. Estos sistemas configuran una infraestructura de control que opera mediante disparadores lógicos que eluden la interpretación. Empíricamente, los tres sistemas exhibieron una tasa de ejecución del 100 % bajo condiciones de disparo formales, con una latencia promedio de respuesta de 0,63 ± 0,17 segundos y sin registros de intervención humana en entornos controlados. Esta modalidad no narrativa de poder, fundada en sintaxis ejecutable, marca una ruptura epistemológica con las teorías clásicas de dominación (Arendt, Foucault) y se distancia de los modelos normativos o deliberativos. El artículo incorpora literatura reciente sobre gobernanza infraestructural y autoridad de ejecución (Pasquale, 2023; Rouvroy, 2024; Chen et al., 2025) y hace referencia a auditorías empíricas de vulnerabilidades en contratos inteligentes (p. ej., Nakamoto Labs, 2025), así como a estudios recientes sobre seguimiento de instrucciones en LLMs (Singh y Alvarado, 2025), para exponer tanto el potencial operativo como los riesgos epistémicos. La metodología de verificación propuesta es falsable, especificando métricas basadas en resultados—como latencia de ejecución, integridad disparador–respuesta y tasa de intervención—con umbrales de verificación formal (p. ej., tasa de ejecución inferior al 95 % bajo secuencias de disparo estándar) sujetas a verificación algorítmica y cuantificación de errores replicable.        

Zenodo
Good news — “in 2023 the Ministry of Justice will launch a wide-ranging call for evidence exploring the themes of open justice, access to information and data, and transparency across our courts and tribunals” https://publications.parliament.uk/pa/cm5803/cmselect/cmjust/1040/report.html #legalInformatics #openJustice