fermilink.drvloop package

Derivation loop support for FermiLink.

Submodules

• fermilink.drvloop.artifacts module
  • detect_artifact_changes()
  • legacy_state_path_for()
  • load_state()
  • record_artifact_changes()
  • save_state()
  • snapshot_project_artifacts()
  • state_path_for()
• fermilink.drvloop.backends module
  • validate_algebra()
  • validate_assumption()
  • validate_citation()
  • validate_commutator()
  • validate_dimension()
  • validate_external_cas()
  • validate_final_artifact()
  • validate_formal_optional()
  • validate_hermiticity()
  • validate_latex()
  • validate_limit()
  • validate_numeric()
  • validate_perturbation_order()
  • validate_tensor_index()
  • validate_trace_preservation()
• fermilink.drvloop.instructions module
  • DrvloopInstructionFiles
    • DrvloopInstructionFiles.__init__()
    • DrvloopInstructionFiles.agents_path
    • DrvloopInstructionFiles.alias_paths
  • materialize_drvloop_instructions()
• fermilink.drvloop.main module
  • DrvloopConfig
    • DrvloopConfig.__init__()
    • DrvloopConfig.max_iterations
    • DrvloopConfig.prompt_file
    • DrvloopConfig.proof_depth
    • DrvloopConfig.repo_dir
    • DrvloopConfig.sandbox
    • DrvloopConfig.user_prompt
  • build_drvloop_prompt()
  • build_publication_sweep_prompt()
  • cmd_drvloop()
  • main()
  • publication_sweep_path_for()
  • run_drvloop()
• fermilink.drvloop.memory module
  • append_to_memory_section()
  • ensure_drvloop_memory()
  • memory_path_for()
• fermilink.drvloop.prompts module
  • load_drvloop_guide()
• fermilink.drvloop.sketches module
  • format_sketch_population()
  • sketches_path_for()
  • update_sketch_population()
• fermilink.drvloop.spec module
  • DerivationSpecContext
    • DerivationSpecContext.__init__()
    • DerivationSpecContext.integrity
    • DerivationSpecContext.payload
    • DerivationSpecContext.project_dir
    • DerivationSpecContext.project_rel
    • DerivationSpecContext.spec_path
    • DerivationSpecContext.spec_rel
  • compute_locked_hash()
  • ensure_derivation_spec()
  • format_spec_context()
  • target_claim_ids()
  • validate_spec_integrity()
• fermilink.drvloop.validation module
  • collect_obligations()
  • format_validation_feedback()
  • goal_cache_path_for()
  • run_drvloop_validation()
  • validate_obligation()
  • validation_report_path_for()
• fermilink.drvloop.workflow module
  • WorkflowProfile
    • WorkflowProfile.__init__()
    • WorkflowProfile.min_developed_route_lines
    • WorkflowProfile.min_explicit_obligations
    • WorkflowProfile.min_iterations
    • WorkflowProfile.min_manuscript_equations
    • WorkflowProfile.min_manuscript_lines
    • WorkflowProfile.min_note_lines
    • WorkflowProfile.min_route_candidates
    • WorkflowProfile.min_strong_target_obligations
    • WorkflowProfile.name
    • WorkflowProfile.require_final_consistency_review
    • WorkflowProfile.require_gap_review
    • WorkflowProfile.require_numerical_checks
    • WorkflowProfile.require_route_ranking
    • WorkflowProfile.require_synthesis
    • WorkflowProfile.required_pathways
  • apply_workflow_gate_to_validation_report()
  • evaluate_drvloop_workflow()
  • format_workflow_feedback()
  • normalize_proof_depth()
  • workflow_completion_ready()
  • workflow_state_path_for()