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"
}