Skip to content

probes: a signed derivational witness preserves falsifier depth the Belief scalar discards - #1007

Merged
AdaWorldAPI merged 2 commits into
mainfrom
claude/probe-tarski-signed-witness
Aug 23, 2026
Merged

probes: a signed derivational witness preserves falsifier depth the Belief scalar discards#1007
AdaWorldAPI merged 2 commits into
mainfrom
claude/probe-tarski-signed-witness

recut: separate the Tarski ClassView from A9, de-circularize the rung…

f990e0b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar