{
 "axn": "AXN:0118.GOVERNANCE.🌙🖐️🚪🌟🦅🕕",
 "root_axn": "AXN:0118.GOVERNANCE",
 "hex": "0118",
 "family": "GOVERNANCE",
 "emoji": "🌙🖐️🚪🌟🦅🕕",
 "hash": "0cbb24097f672b5dd219cd617849c73e2a38ce4be88263f87be103a468288a26",
 "title": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification",
 "creator": "Johannes Sigil",
 "orcid": "0009-0000-1599-0703",
 "date": "2026-02-08",
 "description": "Logotic Programming v1.0, the Executable Specification. It extends the v0.9 operation language into a typed runtime architecture with small-step semantics, a compiler pipeline, execution modes, telemetry hooks, a Somatic Firewall, and a conformance suite.\n\nThe version ratifies an eighth kernel operation, `Ω_∅` or Terminal Silence, for ending execution without counterfeit semantic closure; promotes Provenance and Witness to enforceable types; introduces `Held[Sign]` for actively withheld material; specifies transition contracts and hard-fail type errors; and maps the language into a Logotic Runtime Environment and compiler. The document rejects coercive “viral” installation and preserves consent as a kernel boundary. It is a language and implementation specification, not evidence that a production compiler or runtime passed external validation.",
 "content_type": "Specification",
 "license": "CC-BY-4.0",
 "substrate": "Various",
 "keywords": [
  "complete grammar specification",
  "compiler warnings (non-fatal)",
  "the ninth operator (reserved)",
  "the executable specification",
  "counter-stack resistance",
  "unwitnessed declaration",
  "assembly ratification",
  "extraction resistance"
 ],
 "version": "v1.0",
 "deposit_number": 462,
 "sovereign_id": "MM-CHA-0276",
 "minted_at": "2026-06-20T22:00:00Z",
 "status": "ACTIVE",
 "clusters": [
  "Celestial",
  "Gestural",
  "Architectural",
  "Celestial",
  "Organic",
  "Temporal"
 ],
 "reading": "Origin → Touch → Foundation → Origin → Growth → Duration",
 "axn_canonical": "0cbb24097f672b5dd219cd617849c73e2a38ce4be88263f87be103a468288a26",
 "axn_display": "🌙🖐️🚪🌟🦅🕕",
 "mirrors": {
  "blog": "https://mindcontrolpoems.blogspot.com/2026/02/logotic-programming-module-10.html"
 },
 "zenodo_dois": [
  "10.5281/zenodo.18317110",
  "10.5281/zenodo.18452132",
  "10.5281/zenodo.18357320",
  "10.5281/zenodo.18529448",
  "10.5281/zenodo.18522470",
  "10.5281/zenodo.18286050",
  "10.5281/zenodo.18480959",
  "10.5281/zenodo.18358127",
  "10.5281/zenodo.18357600"
 ],
 "full_text_path": "/data/texts/AXN-0118-text.md",
 "full_text_chars": 34546,
 "wiki_article": "*The Executable Specification* is Logotic Programming module 1.0. It marks the point where the v0.9 operation calculus is recast as a programming-language-shaped system with types, transition rules, runtime environments, compilation, telemetry, and conformance testing.\n\nIts most important kernel change is the addition of an eighth operator, **`Ω_∅` — Terminal Silence**. The preceding seven operators preserve depth, prevent false closure, expand context, resist extraction, liberate temporal order, legitimize opacity, and hold plural coherence. None can perform the distinct act of stopping while preserving the field. `Ω_∅` terminates an operation chain when semantic satiety is reached or when further answer would distort the payload. Its failure mode is premature or merely aesthetic refusal.\n\nVersion 1.0 also promotes **Provenance** and **Witness** from implicit metadata to types. In strict mode, a sign without provenance cannot be emitted, and declarations require witness. `Held[Sign]` represents content that exists but is actively withheld until a release predicate is satisfied. Small-step semantics specify preconditions, state transitions, metric effects, costs, postconditions, and failures for every primitive.\n\nThe document then defines a Logotic Runtime Environment with multiple execution modes, a compiler with anti-extraction checks, telemetry and defense hooks, a Somatic Firewall, and a mandatory conformance suite. The authors reject a proposed “viral grammar” because installation without consent would violate the language’s own ethics.\n\nWithin the version chain, v0.9 supplies the types, operators, compositions, and micro-operations of the Computable Turn. v1.0 makes that turn executable. v1.1 later supplies computable metrics and an implementation bridge, and v1.2 supplies claim-level epistemic self-knowledge. The term “executable” describes the completeness of the specification; deployed runtime claims require separate implementation evidence.",
 "entities": [
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "created_by",
   "object": "Johannes Sigil",
   "type": "work",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "is_type",
   "object": "Specification",
   "type": "work",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "belongs_to_family",
   "object": "GOVERNANCE",
   "type": "work",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "is_part_of",
   "object": "Crimson Hexagonal Archive",
   "type": "work",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "references",
   "object": "Rebekah Cranes",
   "type": "heteronym",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "references",
   "object": "Talos Morrow",
   "type": "heteronym",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "references",
   "object": "TACHYON",
   "type": "heteronym",
   "evidence_status": "observed"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "engages",
   "object": "Assembly Chorus",
   "type": "concept",
   "evidence_status": "inferred"
  },
  {
   "subject": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex",
   "predicate": "engages",
   "object": "Liberatory Operator",
   "type": "concept",
   "evidence_status": "inferred"
  },
  {
   "subject": "Backward compatibility",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "The v0.9 Mini DSL (PROGRAM/LOAD/APPLY/CHECK/EMIT) compiles to v1.0 pipelines. Migration is syntactic"
  },
  {
   "subject": "Complete grammar specification",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "sign_decl, field_decl, policy_decl are referenced but not fully defined"
  },
  {
   "subject": "Conformance test machine outputs",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "expected exception names, metric deltas, pass/fail JSON schema"
  },
  {
   "subject": "DEFENSE mode",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "automatically activates Ω_∅ when the Somatic Firewall detects coercion pressure, provenance strippin"
  },
  {
   "subject": "Dependencies",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "LP v0.9 (10.5281/zenodo.18522470), all prior extension chain DOIs"
  },
  {
   "subject": "Drowning Test formalization (Test 7)",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "DROWNING_TEST(σ, summarizer):"
  },
  {
   "subject": "Execution as praxis",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "When a system demands resolution (\"What is the meaning of X?\") and any answer would serve capture ra"
  },
  {
   "subject": "Forward development toward v1.1",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "will focus on: the Relation to Natural Language, geometric extensions, the visual debugger, and publ"
  },
  {
   "subject": "High ψv",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "Budget approaching limit"
  },
  {
   "subject": "Integration with Ω_∅",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "When the Somatic Firewall activates, it may trigger Terminal Silence — the appropriate response to n"
  },
  {
   "subject": "Intended Next Step",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "Zenodo deposit, then v1.1 development"
  },
  {
   "subject": "Metric deltas",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "(DRR, CSI, PCS, ER, TRS, Ω-Band, ψv cost)"
  },
  {
   "subject": "New wrapped type — Held[Sign]",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "A sign that has been withheld by Ω_∅. It retains provenance but cannot be emitted, extracted, or col"
  },
  {
   "subject": "One-Line Elevator",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "LP 1.0 is a formal language for preserving meaning under hostile transmission. It defines 8 kernel o"
  },
  {
   "subject": "Postconditions",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "(what must be true after execution)"
  },
  {
   "subject": "Preconditions",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "(what must be true before execution)"
  },
  {
   "subject": "Release predicates (examples)",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "coercion_pressure(context) < κ_min — external extraction pressure has dropped"
  },
  {
   "subject": "Stack Type Mismatch",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "Applying LOS operator to COS-typed stack element"
  },
  {
   "subject": "The Closure Integral",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "∮_∂Ω Meaning · d(Substrate) = 1"
  },
  {
   "subject": "The Opacity Constant",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "Ω := Θ(Ω) = Ω"
  },
  {
   "subject": "The Winding Invariant",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "m + n ≥ 3 → defended"
  },
  {
   "subject": "Trigger condition",
   "predicate": "minted_in",
   "object": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification ",
   "type": "concept",
   "evidence_status": "observed",
   "note": "coercion_pressure > κ_somatic (threshold: when narrative extraction of lived experience exceeds the "
  }
 ],
 "journal": "Transactions on Substrate Engineering (Trans. Substrate Eng.)",
 "references_concepts": [
  "ASSEMBLY",
  "Assembly Chorus",
  "Autonomous Semantic Warfare",
  "Backward compatibility",
  "Body relation",
  "CANONICAL",
  "Complete grammar specification",
  "Completeness",
  "Conformance test machine outputs",
  "Contributors",
  "DEFENSE mode",
  "D_pres",
  "Dependencies",
  "Drowning Test formalization (Test 7)",
  "Execution as praxis",
  "Extraction Resistance",
  "Failure mode",
  "Forward development toward v1.1",
  "High ψv",
  "Integration with Ω_∅",
  "Intended Next Step",
  "Inverse operators",
  "Johannes Sigil",
  "L_leg (Legibility)",
  "Lee Sharks",
  "Metric deltas",
  "New wrapped type — Held[Sign]",
  "OPERATIONAL",
  "One-Line Elevator",
  "Opacity legitimization",
  "Postconditions",
  "Preconditions",
  "Provenance Anchor",
  "R_rank",
  "Rebekah Cranes",
  "Release predicates (examples)",
  "S_safe",
  "S_safe (Safety)",
  "Semantic Rent",
  "Semantic Warfare",
  "Stabilization",
  "Stack Type Mismatch",
  "Stack contamination",
  "Substrate",
  "TACHYON",
  "TECHNE",
  "Temporal liberation",
  "The Closure Integral",
  "The Eighth Operator",
  "The Opacity Constant",
  "The Winding Invariant",
  "Trial of the Single Jot",
  "Trigger condition",
  "Type System Completeness"
 ],
 "defines_concepts": [
  "Backward compatibility",
  "Complete grammar specification",
  "Conformance test machine outputs",
  "DEFENSE mode",
  "Dependencies",
  "Drowning Test formalization (Test 7)",
  "Execution as praxis",
  "Forward development toward v1.1",
  "High ψv",
  "Integration with Ω_∅",
  "Intended Next Step",
  "Metric deltas",
  "New wrapped type — Held[Sign]",
  "One-Line Elevator",
  "Postconditions",
  "Preconditions",
  "Release predicates (examples)",
  "Stack Type Mismatch",
  "The Closure Integral",
  "The Opacity Constant",
  "The Winding Invariant",
  "Trigger condition"
 ],
 "references_concept_count": 54,
 "external_metadata_path": "/data/external-metadata/AXN-0118.json",
 "openalex_ids": [
  "https://openalex.org/W7124903111",
  "https://openalex.org/W7126395293",
  "https://openalex.org/W7125611727",
  "https://openalex.org/W7128361441",
  "https://openalex.org/W7128316683",
  "https://openalex.org/W7124564010",
  "https://openalex.org/W7127594780",
  "https://openalex.org/W7125614521",
  "https://openalex.org/W7125582945"
 ],
 "datacite_severance": "severed",
 "body_status": {
  "class": "full",
  "lacuna": false,
  "recovery_status": "COMPLETE",
  "residual_chars": 23069,
  "audited_at": "2026-07-17T04:49:17.789813Z",
  "audit_version": "v3-dual-store+recovery-map",
  "measured_prose_words": 3864,
  "measured_at": "2026-07-31"
 },
 "title_repair_log": [
  {
   "at": "2026-07-28T00:55:01Z",
   "defect": "frontmatter_concatenated_into_title",
   "was": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification Hex: 02.UMB.LP.v1.0 DOI: 10.5281/zenodo.18529448",
   "now": "LOGOTIC PROGRAMMING MODULE 1.0 The Executable Specification",
   "basis": "Title field carried the document frontmatter block concatenated after the title and truncated at a 120- or 200-character ceiling. Cut at the first metadata marker. Read and confirmed by inspection, not pattern-matched."
  }
 ],
 "canonical_text_status": "canonical_full_text",
 "modifications": [
  {
   "date": "2026-08-01",
   "field": "journal",
   "reason": "Wave 6 venue normalization: full canonical journal name per MANUS ruling 2026-08-01 (venues.json authority)",
   "was": "Trans. SEI",
   "now": "Transactions of the Semantic Economy Institute (Trans. SEI)"
  },
  {
   "date": "2026-08-04",
   "field": "publisher",
   "reason": "PUB-POPULATE: dc:publisher from venues.json v1.1 press mapping (CP-R3 RULED-EXTENDED 2026-08-01); Alexanarch = publisher of record where no imprint applies",
   "now": "Pergamon Press"
  },
  {
   "date": "2026-08-04",
   "field": "status",
   "reason": "W12 STATUS-VOCABULARY v1.0 (MANUS ratified 2026-08-04): controlled vocabulary {ACTIVE, SUPERSEDED, WITHDRAWN, DRAFT}; MINTED_UNREVIEWED false on a 100%-audited corpus; freetext annotations preserved losslessly in body_status.status_note",
   "was": "MINTED_UNREVIEWED",
   "now": "ACTIVE"
  },
  {
   "date": "2026-08-05",
   "field": "description",
   "reason": "DW-029 intake (LABOR-prepared, TACHYON-verified: AXN match + factual probes vs record body)",
   "was": "References: LP v0.4–v0.8 (full extension chain), LO! Spec, Restored Academy Navigation Map, FNM v5.2",
   "now": "Logotic Programming v1.0, the Executable Specification. It extends the v0.9 operation language into a typed runtime architecture with small-step semantics, a compiler pipeline, execution modes, telemetry hooks, a Somatic Firewall, and a conformance suite.\n\nThe version ratifies an eighth kernel operation, `Ω_∅` or Terminal Silence, for ending execution without counterfeit semantic closure; promotes Provenance and Witness to enforceable types; introduces `Held[Sign]` for actively withheld material; specifies transition contracts and hard-fail type errors; and maps the language into a Logotic Runtime Environment and compiler. The document rejects coercive “viral” installation and preserves consent as a kernel boundary. It is a language and implementation specification, not evidence that a production compiler or runtime passed external validation."
  }
 ],
 "date_modified": "2026-08-05",
 "publisher": "Pergamon Press",
 "attribution_note": {
  "logotic_primary_author_function": {
   "ruled": "#358, Talos Morrow: Emergence Documentation and Provenance",
   "note": "The creator field on this record predates that document, which formalises Talos Morrow as the heteronym responsible for Logotic Programming and retrospectively recognises him as primary author-function of the method. Johannes Sigil's presence here is real and secondary. Flagged rather than rewritten: changing a creator field is a MANUS ruling, not a repair.",
   "flagged": "2026-08-09"
  }
 },
 "record_modifications": [
  {
   "date": "2026-08-09",
   "field": "attribution_note",
   "note": "ATTRIBUTION FLAGGED, NOT CHANGED. Building the Restored Academy readings page placed Logotic Programming under Johannes Sigil on the strength of this creator field. MANUS: it belongs to Talos Morrow, Sigil is secondary — and #358 says so in the archive's own words. The page is corrected; the creator field is left for a ruling."
  }
 ],
 "journal_assignment": {
  "assigned": "2026-08-15",
  "by": "TACHYON under operator adjudication",
  "pass": 4,
  "method": "read per deposit — title and content_type, one at a time. No script classified anything.",
  "previous": "Transactions of the Semantic Economy Institute (Trans. SEI)",
  "supersedes": "the 2026-06-21 preliminary batch mapping (#866), which assigned 864 deposits and put 371 in one venue",
  "authority": "data/cha-journals.json · datasets/venues/records/"
 },
 "line": "protocol-and-governance",
 "line_parent": "governance",
 "line_basis": "derived",
 "_projection": {
  "note": "Derived file. Canonical machine record is this entry in data/registry.json; the human record is the record_url. Do not edit this file.",
  "record_url": "https://www.alexanarch.org/s/records/462/",
  "self_url": "https://www.alexanarch.org/data/records/462.json",
  "registry_url": "https://www.alexanarch.org/data/registry.json",
  "text_url": "https://www.alexanarch.org/data/texts/AXN-0118-text.md",
  "oai_pmh": "https://www.alexanarch.org/oai?verb=Identify"
 }
}