Variable SESSION_TOOL_CONTRACTSConst

SESSION_TOOL_CONTRACTS: readonly [
    ToolContract<"open_binary">,
    ToolContract<"close_binary">,
    ToolContract<"binary_session">,
    ToolContract<"export_evidence_bundle">,
    ToolContract<"import_evidence_bundle">,
    ToolContract<"capture_process_scenario">,
    ToolContract<"compare_process_captures">,
    ToolContract<"compare_artifacts">,
    ToolContract<"compare_functions">,
    ToolContract<"compare_bundles">,
    ToolContract<"find_changed_behavior">,
    ToolContract<"build_call_path">,
    ToolContract<"correlate_static_and_runtime">,
    ToolContract<"verify_reconstruction">,
    ToolContract<"list_unknowns">,
    ToolContract<"record_unknown">,
    ToolContract<"update_unknown">,
    ToolContract<"verify_unknown_resolution">,
] = ...