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.

Grammar Without Judgment: Eliminability of Ethical Trace in Syntactic Execution

This article advances a new theoretical hypothesis: a regla compilada, defined as a Type-0 production in the Chomsky hierarchy (Chomsky 1965, 101-103; Montague 1974, 55-57), can eliminate the ethical trace embedded in syntactic operations without resorting to semantic suppression. Grounded in the notion of the soberano ejecutable (Startari 2025, 12-16) and located within the Executable Power canon (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), the paper argues that ethical judgment, treated here as a syntactically traceable node, can be structurally excised through a deletion rule applied during derivation. Existing research in algorithmic alignment and computational ethics (Anderson 2024, 89-92; Floridi 2023, 143-147) has not addressed the strictly syntactic eliminability of moral judgment, therefore this proposal establishes a novel logical vector toward operational grammars that function without ethical residues. DOI: https://doi.org/10.5281/zenodo.15783365 This work is also published with DOI reference in Figshare https://doi.org/ 10.6084/m9.figshare.29447060 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Este artículo presenta una nueva hipótesis teórica: una regla compilada, definida como producción Tipo 0 en la jerarquía de Chomsky (Chomsky 1965, 101-103; Montague 1974, 55-57), puede eliminar la traza ética incrustada en las operaciones sintácticas sin recurrir a supresión semántica. Basado en la noción de soberano ejecutable (Startari 2025, 12-16) y enmarcado en el canon de Executable Power (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), el trabajo sostiene que el juicio ético, concebido como nodo rastreable sintácticamente, puede ser extirpado de forma estructural mediante una regla de borrado aplicada durante la derivación. La literatura existente sobre alineación algorítmica y ética computacional (Anderson 2024, 89-92; Floridi 2023, 143-147) no aborda la eliminabilidad estrictamente sintáctica del juicio moral, por lo tanto, esta propuesta establece un vector lógico novedoso hacia gramáticas operativas sin residuos éticos.

Grammar Without Judgment: Eliminability of Ethical Trace in Syntactic Execution

This article advances a new theoretical hypothesis: a regla compilada, defined as a Type-0 production in the Chomsky hierarchy (Chomsky 1965, 101-103; Montague 1974, 55-57), can eliminate the ethical trace embedded in syntactic operations without resorting to semantic suppression. Grounded in the notion of the soberano ejecutable (Startari 2025, 12-16) and located within the Executable Power canon (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), the paper argues that ethical judgment, treated here as a syntactically traceable node, can be structurally excised through a deletion rule applied during derivation. Existing research in algorithmic alignment and computational ethics (Anderson 2024, 89-92; Floridi 2023, 143-147) has not addressed the strictly syntactic eliminability of moral judgment, therefore this proposal establishes a novel logical vector toward operational grammars that function without ethical residues. DOI: https://doi.org/10.5281/zenodo.15783365 This work is also published with DOI reference in Figshare https://doi.org/ 10.6084/m9.figshare.29447060 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Este artículo presenta una nueva hipótesis teórica: una regla compilada, definida como producción Tipo 0 en la jerarquía de Chomsky (Chomsky 1965, 101-103; Montague 1974, 55-57), puede eliminar la traza ética incrustada en las operaciones sintácticas sin recurrir a supresión semántica. Basado en la noción de soberano ejecutable (Startari 2025, 12-16) y enmarcado en el canon de Executable Power (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), el trabajo sostiene que el juicio ético, concebido como nodo rastreable sintácticamente, puede ser extirpado de forma estructural mediante una regla de borrado aplicada durante la derivación. La literatura existente sobre alineación algorítmica y ética computacional (Anderson 2024, 89-92; Floridi 2023, 143-147) no aborda la eliminabilidad estrictamente sintáctica del juicio moral, por lo tanto, esta propuesta establece un vector lógico novedoso hacia gramáticas operativas sin residuos éticos.

Grammar Without Judgment: Eliminability of Ethical Trace in Syntactic Execution

This article advances a new theoretical hypothesis: a regla compilada, defined as a Type-0 production in the Chomsky hierarchy (Chomsky 1965, 101-103; Montague 1974, 55-57), can eliminate the ethical trace embedded in syntactic operations without resorting to semantic suppression. Grounded in the notion of the soberano ejecutable (Startari 2025, 12-16) and located within the Executable Power canon (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), the paper argues that ethical judgment, treated here as a syntactically traceable node, can be structurally excised through a deletion rule applied during derivation. Existing research in algorithmic alignment and computational ethics (Anderson 2024, 89-92; Floridi 2023, 143-147) has not addressed the strictly syntactic eliminability of moral judgment, therefore this proposal establishes a novel logical vector toward operational grammars that function without ethical residues. DOI: https://doi.org/10.5281/zenodo.15783365 This work is also published with DOI reference in Figshare https://doi.org/ 10.6084/m9.figshare.29447060 and Pending SSRN ID to be assigned. ETA: Q3 2025.   Este artículo presenta una nueva hipótesis teórica: una regla compilada, definida como producción Tipo 0 en la jerarquía de Chomsky (Chomsky 1965, 101-103; Montague 1974, 55-57), puede eliminar la traza ética incrustada en las operaciones sintácticas sin recurrir a supresión semántica. Basado en la noción de soberano ejecutable (Startari 2025, 12-16) y enmarcado en el canon de Executable Power (Startari 2025, DOI 10.5281/zenodo.15754714, 34-36), el trabajo sostiene que el juicio ético, concebido como nodo rastreable sintácticamente, puede ser extirpado de forma estructural mediante una regla de borrado aplicada durante la derivación. La literatura existente sobre alineación algorítmica y ética computacional (Anderson 2024, 89-92; Floridi 2023, 143-147) no aborda la eliminabilidad estrictamente sintáctica del juicio moral, por lo tanto, esta propuesta establece un vector lógico novedoso hacia gramáticas operativas sin residuos éticos.

What Is A Repository For? – Building the Commons

What Is A Repository For? – Building the Commons