capture(foundations): the axioms beneath the math — structure-instantiation as the bridge - #42

Open

ascalva wants to merge 2 commits into

mainfrom

capture/mathematical-foundations

Commits on Aug 9, 2026

capture(foundations): the axioms beneath the math — structure-instantiation is the bridge, falsifiers are the proof language
ascalva
committed
09d40c9
capture(foundations): second seed — adopt the research register; the deskcheck becomes a paper
ascalva
committed
4e20923