fermilink.drvloop.validation module

fermilink.drvloop.validation.collect_obligations(repo_dir)[source]
Parameters:

repo_dir (Path)

Return type:

list[dict[str, Any]]

fermilink.drvloop.validation.format_validation_feedback(report)[source]
Parameters:

report (dict[str, Any])

Return type:

str

fermilink.drvloop.validation.goal_cache_path_for(repo_dir)[source]
Parameters:

repo_dir (Path)

Return type:

Path

fermilink.drvloop.validation.run_drvloop_validation(*, repo_dir, spec_context)[source]

Validate derivation proof obligations and persist a report.

Parameters:
Return type:

dict[str, Any]

fermilink.drvloop.validation.validate_obligation(*, repo_dir, obligation, spec_assumptions)[source]
Parameters:

  • repo_dir (Path)

  • obligation (dict[str, Any])

  • spec_assumptions (list[str])

Return type:

dict[str, Any]

fermilink.drvloop.validation.validation_report_path_for(repo_dir)[source]
Parameters:

repo_dir (Path)

Return type:

Path