Infrastructure · Primitives

Search

Active retrieval of matching entities

Definition

Mechanism

Active scanning of a domain (memory, environment, data) to locate entities that match a Criteria. It iterates through the domain, applying Check to filter candidates.

Invariants

  1. Determinism: Same domain + same criteria = same results.
  2. Completeness: Must not silently skip accessible items.

Risks

Failure modes

None stated.

Relationships

Builds on

References

Check

Side-effect-free observational verification yielding Verified/Falsified/Unknown

Used by

References

Society

Discover

Distributed query for external resources

Composes with

Reference

Identity

Ref
Search#1da9
Sema ID
sema:Search#mh:SHA-256:1da96800031333016d0be31b6721f15867df62aa9cd93d2a10102efb7d4841a7
Ring
0
Tier
1
Updated
2026-11-11
Supersedes
  • sema:Search#mh:SHA-256:d6083dea6898b63d14ccb2542fcfa05561a1f6326000c8d9c190599afd99b123
  • sema:Search#mh:SHA-256:f41f1d3dadc786c5fba7f290a9fc10ae87a39c07d6bb66a8f4deb0b9e393fc85