sectionchapteroperator_poetry

Operatio

sec:bk1_operatio

Complete structured record
{
  "book": "operatio",
  "cited_by": [
    "scholium:bk1_interpretability_two_axes"
  ],
  "cites": [],
  "depends_on": [],
  "file": "operatio.tex",
  "id": "sec:bk1_operatio",
  "label": "sec:bk1_operatio",
  "latex_body": "",
  "lean_alignment": {
    "conditions": [],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Formal silence does not reject or flatten the operator-poetic register."
    ],
    "record_ids": [
      "POETRY-01"
    ],
    "statuses": [
      "poetic"
    ],
    "witnesses": []
  },
  "line": 1,
  "macros_used": [],
  "matter_region": "operator_poetry",
  "matter_role": "operator_poetry",
  "name": "Operatio",
  "role": "section",
  "subtype": "chapter",
  "type": "section"
}

sectionchapteroperator_poetry

Prefatio

sec:bk1_prefatio

Reference roles

TargetRoleLogical support
sec:appA_symbol_dictionaryappendix_teaserno
sec:appC_dual_horizonappendix_teaserno
sec:appE_directed_abstractsappendix_teaserno
Complete structured record
{
  "appendix_teaser_ref_roles": [
    {
      "context": "",
      "label": "sec:appA_symbol_dictionary",
      "role": "appendix_teaser",
      "target_file": "appendix_symbol_dictionary.tex",
      "target_line": 3,
      "target_type": "section"
    },
    {
      "context": "",
      "label": "sec:appC_dual_horizon",
      "role": "appendix_teaser",
      "target_file": "appendix_dual_horizon.tex",
      "target_line": 3,
      "target_type": "section"
    },
    {
      "context": "",
      "label": "sec:appE_directed_abstracts",
      "role": "appendix_teaser",
      "target_file": "appendix_abstracts.tex",
      "target_line": 2,
      "target_type": "section"
    }
  ],
  "appendix_teaser_refs": [
    "sec:appA_symbol_dictionary",
    "sec:appC_dual_horizon",
    "sec:appE_directed_abstracts"
  ],
  "book": "operatio",
  "cited_by": [],
  "cites": [
    "sec:appA_symbol_dictionary",
    "sec:appC_dual_horizon",
    "sec:appE_directed_abstracts"
  ],
  "depends_on": [],
  "file": "operatio.tex",
  "id": "sec:bk1_prefatio",
  "label": "sec:bk1_prefatio",
  "latex_body": "",
  "line": 52,
  "macros_used": [],
  "matter_region": "operator_poetry",
  "matter_role": "operator_poetry",
  "name": "Prefatio",
  "ref_roles": [
    {
      "context": "",
      "label": "sec:appA_symbol_dictionary",
      "logical_support": false,
      "role": "appendix_teaser",
      "target_file": "appendix_symbol_dictionary.tex",
      "target_line": 3,
      "target_type": "section"
    },
    {
      "context": "",
      "label": "sec:appC_dual_horizon",
      "logical_support": false,
      "role": "appendix_teaser",
      "target_file": "appendix_dual_horizon.tex",
      "target_line": 3,
      "target_type": "section"
    },
    {
      "context": "",
      "label": "sec:appE_directed_abstracts",
      "logical_support": false,
      "role": "appendix_teaser",
      "target_file": "appendix_abstracts.tex",
      "target_line": 2,
      "target_type": "section"
    }
  ],
  "role": "section",
  "subtype": "chapter",
  "type": "section"
}

sectionsectionoperator_poetry

Prolegomenon: The Necessity of Bounded Interactive Dynamics

sec:bk1_operatio_prolegomenon_bounded_interactive_dynamics

Complete structured record
{
  "book": "operatio",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "operatio.tex",
  "id": "sec:bk1_operatio_prolegomenon_bounded_interactive_dynamics",
  "label": "sec:bk1_operatio_prolegomenon_bounded_interactive_dynamics",
  "latex_body": "",
  "line": 80,
  "macros_used": [],
  "matter_region": "operator_poetry",
  "matter_role": "operator_poetry",
  "name": "Prolegomenon: The Necessity of Bounded Interactive Dynamics",
  "role": "section",
  "subtype": "section",
  "type": "section"
}