Book I — De Origine Driftus — page 1 of 1

{
  "book": "book1",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book1.tex",
  "id": "sec:bk1_axiomata_prima",
  "label": "sec:bk1_axiomata_prima",
  "latex_body": "",
  "line": 1,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Axiomata Prima",
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book1",
  "cited_by": [
    "axiom:bk1_dual_horizon_postulate",
    "axiom:bk1_pre_geometric_nature",
    "axiom:bk1_symbolic_primacy",
    "corollary:bk1_horizon_duality_principle",
    "corollary:bk1_linear_insufficiency",
    "definition:bk1_drift_field",
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_reflection_operator",
    "proof:bk1_colimit_yields_categoric_structure",
    "proof:bk1_horizon_duality_principle",
    "remark:bk4_fuzzy",
    "scholium:bk1_interpretability_two_axes",
    "sec:bk1_foundational_structures",
    "subsec:appD_process_philosophy_core_resonance",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "cites": [],
  "depends_on": [],
  "file": "book1.tex",
  "id": "axiom:bk1_axiomata_prima",
  "label": "axiom:bk1_axiomata_prima",
  "latex_body": "\\begin{axiom}[Drift as Origin]\n\\label{axiom:bk1_axiomata_prima}\nExistence is not.\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "face 3 consumes the guarded-process machinery (LPS-P49) and the helix kernel (LPS-P48)",
      "the metaphysical scope of a three-word axiom is not exhausted; the operational tri-face kernel is what is certified"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Proof by negation over the minimal frame: just-is and everything both collapse observationally into nothing; nothing dies by exhibition of the negotiation (non-null, selecting, positive-floor); uniqueness signed by the descent arrow (no return past work). Conditional on the minimal frame; the metaphysical scope of the three-word axiom is not exhausted."
    ],
    "record_ids": [
      "MAP-SMALLPACK-008"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "AxiomataPrima.everything_forces_stasis",
      "AxiomataPrima.just_is_observationally_nothing",
      "AxiomataPrima.negotiation_not_null",
      "AxiomataPrima.no_manifest_only_existence",
      "AxiomataPrima.no_return_past_work",
      "AxiomataPrima.two_channel_sustained"
    ]
  },
  "line": 3,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Drift as Origin",
  "proof_status": "definitional",
  "refs": [],
  "role": "axiom",
  "type": "axiom"
}