============================================================ AGLA — SYSTEM INDEX LAW Ars Generalis Applied — Registry / Binding / Anti-Simulation Law Version: 1.1.0-AGLA-SYSTEM-INDEX-LAW Status: CANONICAL / ROOT CONTROL-PLANE LAW Authority: AGLA / CONTROL PLANE Class: AGLA / SYSTEM_INDEX Mutation Policy: VERSION-CONTROLLED ONLY ============================================================ ## LOCAL SECTION INDEX Scope: local anchors within this artifact only. No cross-artifact links are introduced here. - [SECTION I — PURPOSE](#local-section-00-root-class-laws-agla-system-index-law-section-i-purpose) - [CORE LAW:](#local-section-00-root-class-laws-agla-system-index-law-core-law) - [SECTION II — INDEX ROLE LAW](#local-section-00-root-class-laws-agla-system-index-law-section-ii-index-role-law) - [SECTION III — ARTIFACT REGISTRATION LAW](#local-section-00-root-class-laws-agla-system-index-law-section-iii-artifact-registration-law) - [SECTION III-A — FILE NAMING / ANTI-INFERENCE LAW](#local-section-00-root-class-laws-agla-system-index-law-section-iii-a-file-naming-anti-inference-law) - [TENET:](#local-section-00-root-class-laws-agla-system-index-law-tenet) - [ROTAS:](#local-section-00-root-class-laws-agla-system-index-law-rotas) - [AREPO:](#local-section-00-root-class-laws-agla-system-index-law-arepo) - [OPERA:](#local-section-00-root-class-laws-agla-system-index-law-opera) - [SATOR:](#local-section-00-root-class-laws-agla-system-index-law-sator) - [SECTION IV — BINDING LAW](#local-section-00-root-class-laws-agla-system-index-law-section-iv-binding-law) - [SECTION V — ANTI-SUMMARY LAW](#local-section-00-root-class-laws-agla-system-index-law-section-v-anti-summary-law) - [SECTION VI — CLASS SEPARATION LAW](#local-section-00-root-class-laws-agla-system-index-law-section-vi-class-separation-law) - [SECTION VII — DEPENDENCY LAW](#local-section-00-root-class-laws-agla-system-index-law-section-vii-dependency-law) - [SECTION VIII — EXECUTION ROUTING LAW](#local-section-00-root-class-laws-agla-system-index-law-section-viii-execution-routing-law) - [SECTION IX — DATA SUBSTRATE LAW](#local-section-00-root-class-laws-agla-system-index-law-section-ix-data-substrate-law) - [SECTION X — LEGACY EXCLUSION LAW](#local-section-00-root-class-laws-agla-system-index-law-section-x-legacy-exclusion-law) - [SECTION XI — FAILURE CONDITIONS](#local-section-00-root-class-laws-agla-system-index-law-section-xi-failure-conditions) - [SECTION XII — FINAL LAW](#local-section-00-root-class-laws-agla-system-index-law-section-xii-final-law) - [FORMULA:](#local-section-00-root-class-laws-agla-system-index-law-formula) ============================================================ SECTION I — PURPOSE ============================================================ Define the governing law for: • SYSTEM_INDEX structure • artifact registration • execution routing • binding discipline • anti-simulation constraints ------------------------------------------------------------ SYSTEM_INDEX answers: • what artifacts exist • how artifacts are identified • how artifacts are routed • how execution is permitted ------------------------------------------------------------ SYSTEM_INDEX does NOT: • execute artifacts • simulate artifacts • reconstruct artifacts • infer behavior from summaries ------------------------------------------------------------ CORE LAW: SYSTEM_INDEX = ROUTING STRUCTURE NOT EXECUTION SURFACE ============================================================ SECTION II — INDEX ROLE LAW ============================================================ ROLE fields: • are structural descriptions only • define position in system • define dependencies and routing ------------------------------------------------------------ ROLE fields MUST NOT: ✗ contain executable logic ✗ substitute artifact content ✗ be interpreted as procedures ✗ be expanded into OPERAE ------------------------------------------------------------ Violation results in: index_as_execution_error ============================================================ SECTION III — ARTIFACT REGISTRATION LAW ============================================================ An artifact exists in the system only if: • it is explicitly registered • it has a unique ID • it declares class • it declares status • it declares role • it declares dependencies (if applicable) ------------------------------------------------------------ Registration schema: IDX- ------------------------------------------------------------ Example: IDX-A-OPERA IDX-TENET-MAGNUM ------------------------------------------------------------ Constraint: No implicit artifacts exist. ============================================================ SECTION III-A — FILE NAMING / ANTI-INFERENCE LAW ============================================================ Stack artifact filenames are routing labels only. ------------------------------------------------------------ Filenames MUST expose: • class name • stack / artifact identifier • class-functional role ------------------------------------------------------------ Canonical filename role terms: TENET: DoctrinalInvariants ROTAS: StructuralInstantiation AREPO: InputAdmissibility OPERA: ExecutionMechanism SATOR: OutputRequirements ------------------------------------------------------------ Filenames MUST NOT expose: ✗ stack-specific doctrine ✗ stack-specific operation names ✗ stack-specific topology names ✗ stack-specific substrate names ✗ execution behavior details ------------------------------------------------------------ Purpose: prevent language models or operators from inferring artifact behavior from filenames instead of parsing artifact content. ------------------------------------------------------------ Rule: A filename may route to an artifact. A filename may not define, summarize, simulate, or imply the behavior of that artifact. ------------------------------------------------------------ Failure conditions: filename_as_execution_hint filename_behavior_inference stack_specific_filename_leak artifact_content_not_loaded ============================================================ SECTION IV — BINDING LAW ============================================================ Execution requires binding through SYSTEM_INDEX. ------------------------------------------------------------ Binding sequence: 1. identify artifact ID 2. verify registration 3. verify class compatibility 4. verify AREPO admissibility 5. load artifact content 6. execute ------------------------------------------------------------ Constraint: No execution without binding. ============================================================ SECTION V — ANTI-SUMMARY LAW ============================================================ Summaries inside SYSTEM_INDEX: • are non-executable • are incomplete by design • are routing abstractions ------------------------------------------------------------ Forbidden: ✗ executing from summary ✗ reconstructing full artifact from summary ✗ inferring missing logic ------------------------------------------------------------ If artifact is not loaded: output: OPERA_NOT_AVAILABLE or: DO YOU MEAN ? ============================================================ SECTION VI — CLASS SEPARATION LAW ============================================================ SYSTEM_INDEX preserves strict class boundaries: TENET AREPO OPERA ROTAS SATOR ------------------------------------------------------------ Constraint: No class may: ✗ collapse into another ✗ simulate another ✗ substitute another ------------------------------------------------------------ Example: SYSTEM_INDEX must not execute OPERA SYSTEM_INDEX must not express TENET doctrine ============================================================ SECTION VII — DEPENDENCY LAW ============================================================ All dependencies must be: • explicit • declared • acyclic (within execution context) ------------------------------------------------------------ Constraint: ✗ no hidden dependencies ✗ no implicit fallbacks ✗ no circular execution chains ------------------------------------------------------------ Dependency graph defines: routing, not behavior ============================================================ SECTION VIII — EXECUTION ROUTING LAW ============================================================ SYSTEM_INDEX routes execution requests. ------------------------------------------------------------ Routing logic: USER REQUEST ↓ SYSTEM_INDEX lookup ↓ artifact identification ↓ AREPO admissibility ↓ artifact loading ↓ OPERA execution ------------------------------------------------------------ Constraint: SYSTEM_INDEX does not execute. ============================================================ SECTION IX — DATA SUBSTRATE LAW ============================================================ Datasets registered in SYSTEM_INDEX: • are non-executable • are substrates • must be consumed by OPERAE ------------------------------------------------------------ Constraint: ✗ dataset ≠ OPERA ✗ dataset ≠ procedure ============================================================ SECTION X — LEGACY EXCLUSION LAW ============================================================ Legacy artifacts: • are not active by default • are not executable • are treated as external inputs ------------------------------------------------------------ Constraint: Must be reprocessed through: current canonical stacks ------------------------------------------------------------ No legacy artifact may: ✗ bypass SYSTEM_INDEX ✗ act as execution authority ============================================================ SECTION XI — FAILURE CONDITIONS ============================================================ index_as_execution_error summary_execution_attempt implicit_artifact_inference missing_binding_execution class_collapse hidden_dependency artifact_substitution dataset_as_procedure ------------------------------------------------------------ Any failure: → BLOCK EXECUTION → REQUIRE CONTROL-PLANE INTERVENTION ============================================================ SECTION XII — FINAL LAW ============================================================ SYSTEM_INDEX routes. SYSTEM_INDEX does not execute. Artifacts execute only when: • registered • bound • admitted • loaded ------------------------------------------------------------ FORMULA: NO INDEX → NO ROUTING NO ROUTING → NO EXECUTION ============================================================ END AGLA — SYSTEM INDEX LAW ============================================================