Module assertion_inputs 

Thin syntax inventories and source fingerprints for assertion maps. No type/flow/dependency verifier belongs here.

Constants

ARCHIVE_PATH

Functions

append

capture

capture_with_expect_modules

current_sources

Read project files only when their exact bytes still match the run manifest. This is source identity checking, not semantic dependency analysis.