Module test_harness 

Contract test harness generator.

Translates test blocks from IntentLang specs into executable test modules in the target language. The generated tests verify that an implementation honors the spec’s contracts (requires/ensures).

Functions

expected_test_names

List the expected test function names that the harness generates.

generate

Generate a contract test harness from a parsed intent file.

slugify

Slugify a test name for use as a function name. “successful transfer” -> “successful_transfer”