DST ENGINE

DYNAMICAL SEMANTIC TRAVERSAL · RESIDUE-GUIDED FORMAL ANALYSIS

DST is not an oracle for closure. It produces a disciplined record of traversal: what was declared, what residue appeared, what bridges were attempted, and what certificate or obstruction resulted. Nothing more is claimed. Nothing less is delivered.
ENTRY PATH
DECLARE YOUR PROBLEM
CONFIRM FIELDS
FIRE TRAVERSAL
READ THE RECORD