fix: retag as proof-search harness, drop model-centric tags

duotactic full package: checkpoints, tokenizer, config, code, docs (part 3)

duotactic full package: checkpoints, tokenizer, config, code, docs (part 2)

duotactic full package: checkpoints, tokenizer, config, code, docs

Delete files duotactic.zip with huggingface_hub

duotactic release package

initial commit