home
Neuro-symbolic library

The truth graph.

Every fact anchored by the Obsidian Sink or manually confirmed by a verifier is automatically decomposed into (subject → predicate → object) triples. The library is neural (Chroma-indexed for semantic search) and symbolic (compositional so new inferences can be derived). Every triple carries a receipt back to the sealed report that minted it. Built one HMAC-signed truth at a time. Nothing was hand-typed.

Total triples
285
Deep-dives sealed
12
Top predicate
occurred_in
Top predicates
human population of antarctica
experiences_seasonal_change
dramatic fluctuation
antarctica
has_human_population
temporary residents
antarctica
has_native_human_population
none
1790 united states census
counted
3,929,214 people
1790 united states census
was_first_census_for
united states
united states
conducted
1790 united states census
james smithson
was_a
british scientist
smithsonian institution
funded_by
james smithson's fortune
congress
established
smithsonian institution
grover cleveland
was_the
24th u.s. president
grover cleveland
served
two nonconsecutive terms
grover cleveland
was_the
22nd u.s. president
roger milla
holds_record_as
oldest world cup goalscorer
roger milla
scored_at
1994 world cup
roger milla
played_for
cameroon
longplayer
is_a
musical composition
longplayer
designed_to_last
1,000 years
longplayer
began_playing_on
january 1, 2000
antarctica
is_covered_in
ice
antarctica
receives
little precipitation
antarctica
is_classified_as
world's largest desert
antarctica
has_relative_size
1.4 times united states
most of antarctica
is_covered_by
ice
nigeria men's table-tennis team
was_oldest_team_at
2016 olympics
space between earth and moon
could_fit
30 earth-sized planets
surface of the sun
has_temperature_of
5,400°c
earth's inner core
has_temperature_of
5,400°c
earth's inner core
is_as_hot_as
surface of the sun
36 million babies
lack
birth registration
mid-ocean ridge system
is_located
underwater
mid-ocean ridge system
stretches_across
ocean floor
mid-ocean ridge system
is_longest_mountain_range
earth
daylight saving time
first_adopted_in
1918
united states
first_adopted
daylight saving time
daylight saving time
purpose
electricity conservation
oldest known octopus ancestor
lived_about
330 million years ago
oldest known octopus ancestor
lived_before
dinosaurs
dao hack
occurred_in
2016
original ethereum chain
continued_as
ethereum classic
ethereum
split_into
two blockchains
venus
has_orbital_period_of
225 earth days
venus rotation period
is_longer_than
venus orbital period
venus
has_rotation_period_of
243 earth days
rabies
is_preventable_by
early post-exposure treatment
rabies
is_fatal_after
symptom onset
women's marathon running
debuted_at
1984 los angeles games
first olympic women's marathon
won_by
joan benoit
hakan şükür's goal
occurred_at_time
11 seconds
hakan şükür
scored
fastest fifa world cup goal
hakan şükür's goal
occurred_during
2002 fifa world cup third-place match
mike powell
set_world_record
long jump 8.95 meters
mike powell's long jump world record
set_in
1991
mike powell's 8.95-meter long jump
is_category
men's outdoor world record
hakan şükür
scored
fastest world cup goal
hakan şükür
is_from
türkiye
fastest world cup goal
occurred_after
11 seconds
mariner 2's flyby of venus
occurred_on
december 14, 1962
mariner 2
flew_past
venus
mariner 2
first_to_visit
planet
mercury
spends_more_time_closer_to
earth
venus
is_closest_at_minimum_distance
earth
mercury
closer_to_sun_than
venus
venus's surface
has_temperature
467°c
467°c
can_melt
lead
earth's english name
not_derived_from
greek or roman mythology
old english and germanic roots
mean
'ground'
earth's english name
derived_from
old english and germanic roots
venus atmospheric pressure
is_comparable_to
pressure 1 kilometer underwater on earth
venus atmospheric pressure
is_93_times
earth's sea-level pressure
brazil
won
1958 world cup
pelé
is_youngest_champion
men's world cup
pelé
age_at_1958_world_cup_win
17 years and 249 days
sadio mané's hat-trick
completed_in
2 minutes 56 seconds
sadio mané
scored
hat-trick
sadio mané's hat-trick
occurred_in
2015
pluto
exists_as
celestial body
guerrero-type players
engage_in
direct combat
mago-type players
engage_in
ranged combat
drakensang
includes_player_class
guerrero-type players
habitat destruction
causes_decline_of
wildlife species
illegal hunting
causes_decline_of
wildlife species
wildlife species
experience
decline
climate change
causes
stronger extreme weather events
climate change
causes
rising temperatures
climate change
causes
ice melt
femi opabunmi
played_for
nigeria
femi opabunmi
age_at_event
17 years and 101 days
femi opabunmi
played_in
2002 world cup
the eniac
was_built_as
general-purpose computer
programming the eniac
involved
physical switch manipulation
programming the eniac
involved
physical cable manipulation
marjorie gestring
was_13_years_old_in
1936
marjorie gestring
became_status
youngest olympic champion
marjorie gestring
won_gold_medal_at
1936 berlin games
approval of bitcoin spot etfs
occurred_on
january 10, 2024
bitcoin spot etfs
provide_exposure_to
spot bitcoin
bitcoin spot etfs
approved_by
sec
venus
orbital_period_is
225 earth days
venusian year
is_shorter_than
venus's rotation period
venus
rotation_period_is
243 earth days
Feed the library · run a deep-dive →