Skip to content

Term Status Taxonomy

StatusMeaningBoundary
canonical-externalestablished term from external science / mathematics / engineeringsource-linked grounding only
public-interpretationexplanatory bridge used for public readabilitynot formal proof
authorial-definitiondefinition introduced or stabilized by Ivan Pasevrequires review
research-extensionproposed theoretical termrequires formalization and critique
formalization-targetterm intended for theorem/proof assistant specificationnot yet proven
applied-architectureimplementation/system termrequires audit/testing
institutional-corpusGILC / UKC / archive/governance terminstitutional model, not validation
deprecated-or-boundedterm retained for history but bounded or discourageduse replacement where possible