The Ontology
The ontology is a queryable canon of software architecture. It holds every principle with its relations and its repair, every term with its definition, every algorithm with its contract, the reasoning that derives them, the layers they live in and how every tension between them is resolved, and every reference from one record to another is a link.
Grammar
action
Every PAG keyword record, with what grounds it and how it is checked.
control_flow
Every PAG keyword record, with what grounds it and how it is checked.
declaration
Every PAG keyword record, with what grounds it and how it is checked.
modifier
Every PAG keyword record, with what grounds it and how it is checked.
coordination
Every PAG keyword record, with what grounds it and how it is checked.
state_machine
Every PAG keyword record, with what grounds it and how it is checked.
dag
Every PAG keyword record, with what grounds it and how it is checked.
priority_queue
Every PAG keyword record, with what grounds it and how it is checked.
flowchart
Every PAG keyword record, with what grounds it and how it is checked.
document_type
Every PAG keyword record, with what grounds it and how it is checked.
document_verb
Every PAG keyword record, with what grounds it and how it is checked.
meta
Every PAG keyword record, with what grounds it and how it is checked.
validation
Every PAG keyword record, with what grounds it and how it is checked.
report
Every PAG keyword record, with what grounds it and how it is checked.
invariant
Every PAG keyword record, with what grounds it and how it is checked.
node
Every PAG keyword record, with what grounds it and how it is checked.
semantic_operation
Every PAG keyword record, with what grounds it and how it is checked.
contextual
Every PAG keyword record, with what grounds it and how it is checked.
planning
Every PAG production record, with what grounds it and how it is checked.
coordination
Every PAG production record, with what grounds it and how it is checked.
statement
Every PAG production record, with what grounds it and how it is checked.
Document types
Every PAG document type record, with what grounds it and how it is checked.
Templates
Every PAG template record, with what grounds it and how it is checked.