horos

ὅρος

substance

the bound that defines

the law of form — what counts as a well-formed value of a kind; types & schemas as a constitution over logos

Depends on

compiles or links against ontos

compiles against the ontos value model + the ontos-data embeddings, whose recognizers (int/utf8-text/bool/list/map/set) are horos's primitive type atoms; type-identity-critical (exactly one ontos must be linked)

logos contract

depends on the published interface of logos

implements logos's published checker SPI (Theory / LeafVerifier / RuleAdmissibility) and supplies a typing Program logos checks; consumes check(), never searches

Depended on by

Nothing yet — no member declares an edge onto horos.