Check No Inf
From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-07.)
Check No Inf has 12 facts recorded in Dontopedia across 3 references, with 1 live disagreement.
Mostly:rdf:type(2), rdfs:label(2), referenced but undefined(1)
Maturity scale
raw canonical shape-checked rule-derived certifiedRdf:typein disputerdf:type
- Function[1]all time · 018071ba Eeb7 46eb 9af2 E3728d58c1d6
- Validation Function[3]sourceall time · Aad353db 40d3 4d34 8e10 A505be683f35
Rdfs:labelrdfs:label
Referenced But UndefinedreferencedButUndefined
- true[1]all time · 018071ba Eeb7 46eb 9af2 E3728d58c1d6
Inf HandlinginfHandling
Validatesvalidates
- Absence of Infinity[3]sourceall time · Aad353db 40d3 4d34 8e10 A505be683f35
Dependencydependency
Purposepurpose
- Prevents Infinity Contamination[1]all time · 018071ba Eeb7 46eb 9af2 E3728d58c1d6
Implementationimplementation
- Np All Not Inf Check[1]all time · 018071ba Eeb7 46eb 9af2 E3728d58c1d6
Checkschecks
- Inf Values[1]all time · 018071ba Eeb7 46eb 9af2 E3728d58c1d6
Sequence OrdersequenceOrder
- 4[1]all time · 018071ba Eeb7 46eb 9af2 E3728d58c1d6
Inbound mentions (4)
Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.
containsContains(2)
- Checks List
ex:checks-list - Checks List
ex:checks_list
includesIncludes(1)
- Vector Validation
ex:vector_validation
invokesInvokes(1)
- Check Compliance
ex:check_compliance
Timeline
Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.
References (3)
- custom
ctx:claims/beam/018071ba-eeb7-46eb-9af2-e3728d58c1d6 - custom
ctx:claims/beam/a980ff53-f4b6-4edc-b34c-d483c453a7f5 - custom
ctx:claims/beam/aad353db-40d3-4d34-8e10-a505be683f35- full textbeam-chunktext/plain1 KB
doc:beam/aad353db-40d3-4d34-8e10-a505be683f35Show excerpt
- Each check function operates on a list of vectors and returns a boolean indicating whether all vectors pass the check. - This avoids iterating over each vector individually for each check. 2. **Combining Checks**: - The `check_c…
See also
Keep researching
Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.