Contract Form Contract

The meta-contract. It specifies what a Contract node in this project looks like: how it is named, how its requirements are structured so a validator can read them, how inheritance between contracts is declared, and how a contract conforms to itself.

A Contract describes structural obligations on nodes that claim conformance. A node's conforms_to::[[X Form Contract]] predicate is the public assertion that it satisfies the requirements named in X. A build-time or curation-time validator can read the Requirements section of a contract and check conforming nodes against it.

The Contract Form Contract's self-conformance — its own conforms_to::[[Contract Form Contract]] edge — is a structural bootstrap invariant, not a revisitable commitment. Exempting the meta-contract from conformance would create a privileged one-off that undermines the form system's universality; the only other move is an infinite meta-meta regress. Self-conformance is what makes the form system internally consistent, and it does not admit viable alternatives. The Self-conformance Requirement below states the rule; no grounding Decision is needed because no choice with alternatives is being made.

Requirements

Inherits Markdown Node Contract

Filename pattern

Self-conformance

Inheritance

Requirements section

Enforces [[Use RFC 2119 Keywords in Contract Requirements]].

Body precedes Requirements

Enforces [[Require Explanatory Prose Before Contract Requirements]].

Relations

Vocabulary introduction

Relations