Infrastructure · Primitives
Check
Side-effect-free observational verification yielding Verified/Falsified/Unknown
Definition
Mechanism
A non-blocking verification primitive. Evaluates a Condition against a target and yields a Status (Verified, Falsified, or Unknown). Unlike a Gate (which alters control flow via a Decision), Check is purely observational and side-effect free — it answers 'is this true?' without deciding 'should we stop?'. Unknown is a first-class outcome distinct from Falsified: it asserts absence of evidence, not evidence of absence.
Invariants
- Side-Effect Free: Running a check must not mutate the target state.
- Determinism: Same input context yields same status.
Risks
Failure modes
False Positive
Check returns Verified due to flawed logic or sensor noise.
Heisenbug
The act of checking alters the state being checked.
Callers collapse Unknown into Falsified, losing the meaningful distinction.
Relationships
Builds on
References
Yields
Graded verification outcome: Verified, Falsified, or Unknown
Used by
References
Mind
Finding nothing counts against something's presence only as far as the search would have found it
Mind
Building complex behavior from simple primitives
Society
Distributed query for external resources
Mind
A conclusion inherits the verification assurance of its weakest load-bearing premise.
Mind
Automated scientific method
Society
Distinguish Peer from Principal
Society
Rule-based message filtering
Scalar evaluation of merit
Society
Geometric neighbor consensus
Mind
Recursive self-verification of reasoning
Mind
Detection of value-laden facts
Society
Aligning predictions before aligning votes
Society
Reversibility Audit (Alias for Check(Reversibility))
Active retrieval of matching entities
Society
Dual-mode communication
Mind
Check that a moment really fits the category it is about to be handled as
Mind
Deductive application of principles
Mind
Adopt a perspective for what it opens, and check its claims on a separate ledger
Verifying inputs conform to expected schema
Mind
Confirming alignment with truth or spec
Composes with
Mind
Concept blending with novelty and value acceptance
Society
Checking for self-contradiction
Mind
Hierarchical verification strategy
Mind
Observational four-axis PURE viability check
Mind
Qualify the opposition, then release only if the conclusion remains robust
Reference