Module assertion_inputs 

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

Constants

ARCHIVE_PATH

CONTEXT_ENVIRONMENT

Names the variables whose values participate in assertion context identity, as a comma-separated list. Empty or unset means none.

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.