# Harbor comparison example

Identity and equivalence compare maneuver behavior under a declared observer. A join preserves the shared witness binding only when both inputs name the same invented actor.

State and temporal binding describe which synthetic observation was admitted at a given time. A witness remains attached to its originating record when a later query selects a smaller view.

Evidence, support and provenance qualify the example conclusion. Copying this paragraph into another repository adds a visible occurrence but supplies no independent warrant.

Task-relative representation preserves the distinctions needed by a declared question. The observer can request a coarser view while the original source record remains separately available.

Semantic compilation connects the authored source to bounded admission checks. This invented document is demonstration input and does not assert that a compiler implements every research obligation.

Governance keeps a candidate proposal distinct from a ratified decision. The example policy for comparing aliases remains unratified and cannot silently replace the selected rule.
