Incremental Sheaf Cohomology on Cellular Complexes: O(1)-in-n Lazy Edit Processing under Bounded Local Geometry
Paper • 2606.04227 • Published
jason volk
jasonlvolk
AI & ML interests
Building SIGMA/SATYA: deterministic verification for AI systems that mutate state.
SIGMA computes structural admissibility. SATYA wraps runtime decisions. SVR turns verification results into signed, independently checkable receipts.
Models generate. SATYA verifies. SVR signs.
#deterministic-verification #ai-agents #state-mutation #signed-receipts #knowledge-graphs #formal-methods #graph-verification #ai-safety #ai-for-science #compliance-automation
Recent Activity
updated a Space 3 days ago
jasonlvolk/sigma-enron-demo updated a Space 3 days ago
jasonlvolk/satya-svr-verifierOrganizations
None yet
authored a
paper 1 day ago
updated 2
Spaces 3 days ago
updated a
dataset 3 days ago
published a
Space 3 days ago
published a
dataset 3 days ago
published a
Space 2 months ago
liked a
dataset 6 months ago