fermilink.drvloop.workflow module

class fermilink.drvloop.workflow.WorkflowProfile[source]

Bases: object

WorkflowProfile(name: ‘str’, min_iterations: ‘int’, min_route_candidates: ‘int’, required_pathways: ‘int’, min_developed_route_lines: ‘int’, min_manuscript_lines: ‘int’, min_manuscript_equations: ‘int’, min_note_lines: ‘int’, min_explicit_obligations: ‘int’, min_strong_target_obligations: ‘int’, require_route_ranking: ‘bool’, require_synthesis: ‘bool’, require_gap_review: ‘bool’, require_numerical_checks: ‘bool’, require_final_consistency_review: ‘bool’)

__init__(name, min_iterations, min_route_candidates, required_pathways, min_developed_route_lines, min_manuscript_lines, min_manuscript_equations, min_note_lines, min_explicit_obligations, min_strong_target_obligations, require_route_ranking, require_synthesis, require_gap_review, require_numerical_checks, require_final_consistency_review)
Parameters:

  • name (str)

  • min_iterations (int)

  • min_route_candidates (int)

  • required_pathways (int)

  • min_developed_route_lines (int)

  • min_manuscript_lines (int)

  • min_manuscript_equations (int)

  • min_note_lines (int)

  • min_explicit_obligations (int)

  • min_strong_target_obligations (int)

  • require_route_ranking (bool)

  • require_synthesis (bool)

  • require_gap_review (bool)

  • require_numerical_checks (bool)

  • require_final_consistency_review (bool)

Return type:

None

min_developed_route_lines: int
min_explicit_obligations: int
min_iterations: int
min_manuscript_equations: int
min_manuscript_lines: int
min_note_lines: int
min_route_candidates: int
min_strong_target_obligations: int
name: str
require_final_consistency_review: bool
require_gap_review: bool
require_numerical_checks: bool
require_route_ranking: bool
require_synthesis: bool
required_pathways: int
fermilink.drvloop.workflow.apply_workflow_gate_to_validation_report(*, repo_dir, validation_report, workflow_state)[source]

Merge workflow readiness into the persisted validation report.

Parameters:

  • repo_dir (Path)

  • validation_report (dict[str, Any])

  • workflow_state (dict[str, Any])

Return type:

dict[str, Any]

fermilink.drvloop.workflow.evaluate_drvloop_workflow(*, repo_dir, spec_context, validation_report, proof_depth, iteration)[source]

Evaluate publication-process gates and persist workflow state.

Parameters:

  • repo_dir (Path)

  • spec_context (DerivationSpecContext)

  • validation_report (dict[str, Any])

  • proof_depth (str)

  • iteration (int)

Return type:

dict[str, Any]

fermilink.drvloop.workflow.format_workflow_feedback(state)[source]
Parameters:

state (dict[str, Any])

Return type:

str

fermilink.drvloop.workflow.normalize_proof_depth(value)[source]
Parameters:

value (str | None)

Return type:

str

fermilink.drvloop.workflow.workflow_completion_ready(state)[source]
Parameters:

state (dict[str, Any])

Return type:

bool

fermilink.drvloop.workflow.workflow_state_path_for(repo_dir)[source]
Parameters:

repo_dir (Path)

Return type:

Path