Check?

evaluation

🔥

Blaze

Test

Verify?Checking is verification Backward?Checking traces backward to test forward claims

🌿

Fork

Deliberate?Deliberate action includes checking Iterative?Each iteration checks the previous Premature?Check whether the conclusion was premature Responsive?Check if the state is responsive to evidence

🔗

Chains

Is the search too broad? Is breadth avoidance? Can you commit? Are you iterating? Does it check out?

Broad?+Avoidance?+Commitment?+Iterative?+Check?

Is this inferred? Is it just a guess? Can it be verified? Does it check out? Is it true?

Infer?+Guess?+Verify?+Check?+True?

↩️

Spawned by

🔭

Universalize

What is the difference between assuming and testing?L4 True?L4