extends_contract

A predicate declaring that the subject Form Contract inherits all Requirements of the object Form Contract — the inheritance is strict and structural, not merely naming or analogy. The subject may add Requirements or refine inherited ones, but it does not weaken or remove them. The edge places the subject Contract on a named extension chain whose root is the Markdown Node Contract.

The edge lands both in the identity block (declaring inheritance as an identity claim alongside conforms_to::[[Contract Form Contract]]) and in the Relations section (declaring inheritance as a typed edge with an annotation explaining what the subject adds to the parent).

Carries

The predicate names structural inheritance between Form Contracts: the subject Contract carries every Requirement of the object Contract, applies to every node form that conforms to the object Contract, and may extend the object's specification with additional or refined Requirements. The inheritance is not nominal — the subject does not merely reference the object and pick what to borrow; the subject inherits the full set and any divergence is an explicit refinement documented in the subject Contract's own Requirements section.

The web of associations the predicate activates is the Contract hierarchy. A reader traversing extends_contract:: edges from a Contract back to Markdown Node Contract reads the full stack of Requirements that apply to any node conforming to the subject — the extension chain is what makes Requirements composable across forms.

Crescent

Against [[conforms_to -- compliance with a specification]]

conforms_to:: is an instance-to-specification relationship: any node declares compliance with a Form Contract it satisfies. extends_contract:: is a specification-to-specification relationship: one Form Contract inherits another Form Contract's Requirements and refines them. The two predicates operate at different layers of the form hierarchy and on different subject types — conforms_to:: on any node; extends_contract:: only between Form Contracts. The distinction matters because a single Form Contract typically carries both: the Gloss Form Contract conforms_to::[[Contract Form Contract]] (it is itself a Contract subject to the meta-Contract's rules) and extends_contract::[[Markdown Node Contract]] (it inherits the base file-form Requirements and adds gloss-specific ones).

Against [[composed_of]]

Ghost link; the target Predicate node is not yet seeded. Composition is whole-to-part — the subject is composed of the object as a structural component of itself. Extension is specialization-to-generalization — the subject inherits the object and specializes it. The two are different structural shapes: a compound node composed_of:: its constituent nodes carries the constituents as parts; a Form Contract extends_contract:: another Form Contract carries the parent's Requirements as inherited structure, not as parts the child contains.

Typing

Instances

Relations