stringforge.vacua_writer#
VacuaWriter#
Standalone class for writing, querying, retracting, and pushing flux-vacuum
solutions to the vault and to the community HuggingFace repository. Wraps a
stringforge.cy_io.CYDatabase (or any subclass) instance and forwards
attribute lookups to it via __getattr__.
Users can either call the methods directly on an explicit VacuaWriter(db)
instance, or use the thin delegation methods exposed on
stringforge.lcs_database.LCSDatabase — both paths call the same code.
Shared vacua vault workflow
TDF, CICY, and KKLT-oriented searches all designate records into one shared vault. Dataset-specific provenance is metadata, not a separate vault concept.
designate_vacua, validation, retraction, purge, query, and load helpers.
|
Vacua persistence / HuggingFace-upload handler. |
Local / vault operations#
VacuaWriter.designate_vacua()VacuaWriter.retract_designated()VacuaWriter.purge_retracted()VacuaWriter.query_designated()VacuaWriter.load_designated()VacuaWriter.designated_info()VacuaWriter.load_local_vacua()
HuggingFace Hub operations#
VacuaWriter.push_vacua_to_hub()VacuaWriter.fetch_vacua_from_hub()VacuaWriter.list_hub_vacua()
Session-tier helpers#
VacuaWriter.vacua_writer()VacuaWriter.query_vacua()VacuaWriter.load_vacua()VacuaWriter.solution_exists()VacuaWriter.find_similar_vacua()VacuaWriter.vacua_info()VacuaWriter.delete_vacua()VacuaWriter.validate_vacua()