tribunal-kit 9.2.3 → 9.2.4

package/.agents/skills/train-sentence-transformers/scripts/train_sentence_transformer_static_embedding_example.py

@@ -0,0 +1,273 @@
+#!/usr/bin/env python3
+# /// script
+# requires-python = ">=3.10"
+# dependencies = [
+#     "sentence-transformers[train]>=5.0",
+#     "datasets>=2.19.0",
+#     "accelerate>=0.26.0",
+#     "trackio",
+#     "tokenizers>=0.20",
+#     "model2vec",  # only needed when WARMSTART=True (StaticEmbedding.from_model2vec)
+# ]
+# ///
+"""Train a StaticEmbedding model on a contrastive dataset.
+
+StaticEmbedding is a token-bag model: a per-token embedding table averaged over
+the tokens of an input. No transformer, no attention. Inference is ~20x faster
+on GPU and ~80x faster on CPU than a small encoder, with surprisingly competitive
+quality on retrieval benchmarks when trained on >=1M contrastive pairs.
+
+Two init paths via `WARMSTART` constant:
+- `WARMSTART=False` (default): random init. Use with >=1M contrastive pairs.
+  Reaches a higher ceiling than warm-start when given enough data. The default
+  dataset below (GooAQ, ~3M pairs) is comfortably in this regime.
+- `WARMSTART=True`: `StaticEmbedding.from_model2vec(...)` (distil from a
+  model2vec checkpoint). Flip to True if you swap in a smaller dataset (<1M
+  pairs). Converges faster and reaches better quality at lower data scales.
+
+Demonstrates:
+- MultipleNegativesRankingLoss wrapped in MatryoshkaLoss for nested embedding dims
+- Large batch size (1024+) with a high LR (~2e-1 for random init, ~5e-2 for warm-
+  start) since the loss surface for a token-bag is much flatter than for a
+  pretrained encoder
+- BatchSamplers.NO_DUPLICATES (load-bearing for in-batch negatives with duplicated
+  anchors)
+- NanoBEIREvaluator at full embedding dim
+- Auto model card + optional Hub push
+
+Run locally (CPU works for inference, but training needs a GPU for batch=1024+):
+    pip install "sentence-transformers[train]>=5.0"
+    python train_sentence_transformer_static_embedding_example.py
+
+Multi-GPU:
+    accelerate launch train_sentence_transformer_static_embedding_example.py
+
+Hugging Face Jobs: paste this file's contents as the `script` in hf_jobs(...).
+
+References:
+- HF blog post: https://huggingface.co/blog/static-embeddings
+- Module docs: sentence_transformers.sentence_transformer.modules.StaticEmbedding
+"""
+
+from __future__ import annotations
+
+import argparse
+import logging
+import os
+from contextlib import nullcontext
+
+import datasets
+import torch
+from datasets import load_dataset
+from tokenizers import Tokenizer
+
+from sentence_transformers import (
+    SentenceTransformer,
+    SentenceTransformerModelCardData,
+    SentenceTransformerTrainer,
+    SentenceTransformerTrainingArguments,
+)
+from sentence_transformers.base.sampler import BatchSamplers
+from sentence_transformers.sentence_transformer.evaluation import NanoBEIREvaluator
+from sentence_transformers.sentence_transformer.losses import (
+    MatryoshkaLoss,
+    MultipleNegativesRankingLoss,
+)
+from sentence_transformers.sentence_transformer.modules import StaticEmbedding
+
+
+def autocast_ctx():
+    """bf16/fp16 autocast for evaluator calls outside the trainer."""
+    if not torch.cuda.is_available():
+        return nullcontext()
+    dtype = torch.bfloat16 if torch.cuda.is_bf16_supported() else torch.float16
+    return torch.autocast("cuda", dtype=dtype)
+
+
+def log_trackio_dashboard():
+    """Surface the Trackio dashboard URL so the user can watch training live."""
+    try:
+        from huggingface_hub import whoami
+
+        hf_user = whoami().get("name")
+        if hf_user:
+            logging.info(
+                f"Trackio dashboard (live training progress): https://huggingface.co/spaces/{hf_user}/trackio"
+            )
+    except Exception:
+        pass
+
+
+TOKENIZER_NAME = "google-bert/bert-base-uncased"
+EMBEDDING_DIM = 1024
+MATRYOSHKA_DIMS = [1024, 512, 256, 128, 64, 32]  # ordered largest-first per MatryoshkaLoss
+
+# False: random init (recommended for >=1M pairs, reaches a higher ceiling).
+# True: warm-start from a model2vec checkpoint (recommended for <1M pairs).
+# Default False because the example dataset (GooAQ, ~3M pairs) is well above the threshold.
+WARMSTART = False
+WARMSTART_MODEL2VEC = "minishlab/potion-base-8M"
+
+OUTPUT_DIR = "models/static-embedding-bert-uncased"
+RUN_NAME = "static-embedding-bert-uncased"
+SMOKE_TEST = os.environ.get("SMOKE_TEST") == "1"
+
+
+def setup_logging():
+    """Configure logging + TF32. Tees to logs/{RUN_NAME}.log and silences HTTP spam."""
+    os.makedirs("logs", exist_ok=True)
+    logging.basicConfig(
+        format="%(asctime)s - %(message)s",
+        datefmt="%Y-%m-%d %H:%M:%S",
+        level=logging.INFO,
+        handlers=[logging.StreamHandler(), logging.FileHandler(f"logs/{RUN_NAME}.log")],
+        force=True,
+    )
+    for noisy in ("httpx", "httpcore", "huggingface_hub", "urllib3", "filelock", "fsspec"):
+        logging.getLogger(noisy).setLevel(logging.WARNING)
+    if torch.cuda.is_available():
+        torch.set_float32_matmul_precision("high")
+
+
+def load_pair_dataset() -> datasets.Dataset:
+    """Load a contrastive-pair dataset for training.
+
+    StaticEmbedding starts from random initialization, so it needs *a lot* of
+    contrastive signal to converge. GooAQ alone provides ~3M (question, answer)
+    pairs, comfortably over the >=1M threshold below which a warm-start would
+    beat random init. For stronger production models, concatenate more sources
+    (NaturalQuestions, MSMARCO, MIRACL, etc.) and shuffle, in the same family of
+    sources used in `sentence-transformers/static-retrieval-mrl-en-v1`.
+    """
+    return (
+        load_dataset("sentence-transformers/gooaq", split="train")
+        .rename_columns({"question": "anchor", "answer": "positive"})
+        .select_columns(["anchor", "positive"])
+    )
+
+
+def main() -> None:
+    parser = argparse.ArgumentParser()
+    parser.add_argument(
+        "--eval-only", type=str, default=None, help="Skip training; load this saved model and run only the evaluator."
+    )
+    cli, _ = parser.parse_known_args()
+
+    setup_logging()
+
+    if cli.eval_only:
+        logging.info(f"Eval-only mode: loading model from {cli.eval_only}")
+        model = SentenceTransformer(cli.eval_only)
+        evaluator = NanoBEIREvaluator(dataset_names=["msmarco", "nfcorpus", "nq"])
+        with autocast_ctx():
+            evaluator(model)
+        return
+
+    if WARMSTART:
+        logging.info(f"Warm-starting StaticEmbedding from model2vec: {WARMSTART_MODEL2VEC}")
+        # `StaticEmbedding.from_distillation("<bi-encoder>", vocabulary=...)` is the
+        # alternative warm-start path (distil from a stronger teacher's vectors). Pick
+        # one. model2vec is faster to load and converges quickly on smaller datasets.
+        static_embedding = StaticEmbedding.from_model2vec(WARMSTART_MODEL2VEC)
+    else:
+        logging.info(f"Random-init StaticEmbedding from {TOKENIZER_NAME} tokenizer (dim={EMBEDDING_DIM})")
+        tokenizer = Tokenizer.from_pretrained(TOKENIZER_NAME)
+        static_embedding = StaticEmbedding(tokenizer, embedding_dim=EMBEDDING_DIM)
+    model = SentenceTransformer(
+        modules=[static_embedding],
+        model_card_data=SentenceTransformerModelCardData(
+            language="en",
+            license="apache-2.0",
+            model_name=f"Static embedding ({EMBEDDING_DIM}d) trained on contrastive pairs",
+        ),
+    )
+
+    logging.info("Loading + concatenating training datasets")
+    full = load_pair_dataset()
+    if SMOKE_TEST:
+        logging.info("SMOKE_TEST=1: trimmed dataset; will run max_steps=1 and skip Hub push")
+        full = full.select(range(min(200, len(full))))
+    eval_size = 20 if SMOKE_TEST else 10_000
+    split = full.train_test_split(test_size=eval_size, seed=12)
+    train_dataset = split["train"]
+    eval_dataset = split["test"]
+    logging.info(f"  train: {len(train_dataset):,} rows | eval: {len(eval_dataset):,} rows")
+    logging.info(f"  columns: {train_dataset.column_names}")
+
+    inner = MultipleNegativesRankingLoss(model)
+    loss = MatryoshkaLoss(model, inner, matryoshka_dims=MATRYOSHKA_DIMS)
+
+    evaluator = NanoBEIREvaluator(dataset_names=["msmarco", "nfcorpus", "nq"])
+    logging.info("Baseline evaluation (random init scores near zero; warm-start scores 0.3+):")
+    with autocast_ctx():
+        # Must run before deriving metric_key: evaluator(model) mutates primary_metric to add the name_ prefix.
+        baseline_eval = evaluator(model)[evaluator.primary_metric]
+    metric_key = f"eval_{evaluator.primary_metric}"
+
+    args = SentenceTransformerTrainingArguments(
+        output_dir=OUTPUT_DIR,
+        num_train_epochs=1,
+        max_steps=1 if SMOKE_TEST else -1,
+        per_device_train_batch_size=2048,
+        per_device_eval_batch_size=2048,
+        learning_rate=5e-2
+        if WARMSTART
+        else 2e-1,  # warm-start needs less LR. Both far higher than encoder fine-tuning
+        weight_decay=0.0,  # weight decay on a token-bag is usually harmful
+        warmup_steps=0.1,
+        lr_scheduler_type="linear",
+        bf16=True,
+        batch_sampler=BatchSamplers.NO_DUPLICATES,
+        eval_strategy="steps",
+        eval_steps=0.1,
+        save_strategy="steps",
+        save_steps=0.1,
+        save_total_limit=2,
+        logging_steps=0.01,
+        logging_first_step=True,
+        load_best_model_at_end=True,
+        metric_for_best_model=metric_key,
+        greater_is_better=True,
+        report_to="none" if SMOKE_TEST else "trackio",
+        run_name=RUN_NAME,
+        seed=12,
+    )
+
+    trainer = SentenceTransformerTrainer(
+        model=model,
+        args=args,
+        train_dataset=train_dataset,
+        eval_dataset=eval_dataset,
+        loss=loss,
+        evaluator=evaluator,
+    )
+    if not SMOKE_TEST:
+        log_trackio_dashboard()
+    trainer.train()
+
+    logging.info("Post-training evaluation:")
+    with autocast_ctx():
+        score = evaluator(model)[evaluator.primary_metric]
+    delta = score - baseline_eval
+    verdict = "WIN" if delta >= 0.005 else "MARGINAL" if delta >= 0 else "REGRESSION"
+    logging.info(f"VERDICT: {verdict} | score={score:.4f} | baseline={baseline_eval:.4f} | delta={delta:+.4f}")
+
+    final_dir = f"{OUTPUT_DIR}/final"
+    model.save_pretrained(final_dir)
+    logging.info(f"Saved final model to {final_dir}")
+
+    if SMOKE_TEST:
+        logging.info("SMOKE_TEST=1: skipping Hub push")
+        return
+
+    try:
+        commit_url = model.push_to_hub(RUN_NAME)
+        logging.info(f"Pushed model to {commit_url.rsplit('/commit/', 1)[0]}")
+    except Exception:
+        import traceback
+
+        logging.error(f"Hub push failed:\n{traceback.format_exc()}")
+
+
+if __name__ == "__main__":
+    main()

package/.agents/skills/train-sentence-transformers/scripts/train_sentence_transformer_with_lora_example.py

@@ -0,0 +1,275 @@
+#!/usr/bin/env python3
+# /// script
+# requires-python = ">=3.10"
+# dependencies = [
+#     "sentence-transformers[train]>=5.0",
+#     "peft>=0.7.0",
+#     "datasets>=2.19.0",
+#     "accelerate>=0.26.0",
+#     "trackio",
+# ]
+# ///
+"""LoRA / PEFT adapter training: memory-efficient fine-tuning.
+
+Instead of training all parameters, LoRA injects small low-rank adapter
+matrices and trains only those (~50-100x fewer trainable params). Works out
+of the box with sentence-transformers via `peft`.
+
+Use LoRA when: the base is a large decoder (Qwen3, Llama, Mistral, Gemma) and
+a full fine-tune is VRAM-prohibitive. You want multiple task-specific adapters
+on one base. You're nudging an existing strong retriever (E5-mistral,
+Qwen3-Embedding) on domain data. Skip LoRA for small encoders (BERT-base,
+MiniLM: full fine-tune is tractable and usually better) or tiny datasets
+(<1k pairs: adapter rank becomes the bottleneck).
+
+This template defaults to BERT-base for portability. Swap `MODEL_NAME` to a
+decoder backbone for the use case LoRA actually shines on.
+
+Architecture variants:
+- Bi-encoder (this script): `TaskType.FEATURE_EXTRACTION`.
+- Sparse-encoder: same pattern. `SparseEncoder` supports `add_adapter`. See
+  `examples/sparse_encoder/training/peft/train_splade_gooaq_peft.py`.
+- Cross-encoder: use `TaskType.SEQ_CLS` for `num_labels >= 1`. Community
+  examples are sparse. Smoke-test with `max_steps=1` first.
+
+Key hyperparameters:
+- `r` (rank): 8-128. Bigger = more capacity + memory. 64 is a strong default.
+- `lora_alpha`: typically 2 x r (some teams use 1 x r for stability).
+- `lora_dropout`: 0.05-0.1. Raise to 0.1 for small datasets.
+- `target_modules=None` auto-picks attention modules. Pass
+  `["q_proj", "k_proj", "v_proj", "o_proj"]` (attention) or
+  `["gate_proj", "up_proj", "down_proj"]` (MLP) for explicit control.
+- `modules_to_save=["pooler"]` for CLS-pooled bases. The pooler Dense should
+  be trained too, not adapted.
+- LR is HIGHER than full fine-tune: 1e-4 to 5e-4 for LoRA vs. 2e-5 full.
+
+Rough memory savings on a 0.6B base (bf16, batch 64, seq 128): full fine-tune
+~24 GB, LoRA r=64 ~10 GB (~12M trainable, 2%), LoRA r=16 ~8 GB (~3M, 0.5%).
+Bigger savings on 7B+ models.
+
+Saving / sharing: `model.save_pretrained("dir")` writes ONLY the adapter (few
+MB) plus a reference to the base model. Loaders call the same one-liner.
+`peft` is invoked and the base downloaded on demand. For a merged model that
+loads without `peft` (needed for vLLM-style servers), call
+`model.transformers_model.merge_and_unload()` then `save_pretrained` /
+`push_to_hub`.
+
+Swapping adapters at inference (the main multi-task deployment win):
+    model = SentenceTransformer("base-model")
+    model.load_adapter("adapter-a", adapter_name="a")
+    model.load_adapter("adapter-b", adapter_name="b")
+    model.set_adapter("a"); emb_a = model.encode([...])
+
+QLoRA (4-bit base + LoRA) for 7B+ on consumer GPUs:
+    from transformers import BitsAndBytesConfig
+    bnb = BitsAndBytesConfig(load_in_4bit=True, bnb_4bit_quant_type="nf4",
+                             bnb_4bit_compute_dtype=torch.bfloat16)
+    model = SentenceTransformer("Qwen/Qwen3-Embedding-7B",
+                                 model_kwargs={"quantization_config": bnb})
+    model.add_adapter(LoraConfig(r=64, lora_alpha=128, ...))
+`pip install bitsandbytes` first. Linux-only for bitsandbytes (Windows: the
+fork or WSL).
+
+Known issues:
+- LoRA PEFT on Qwen2.5-VL / paligemma / gemma3 / internvl / aya_vision under
+  transformers v5: `AutoModel.from_pretrained(peft_path)` crashes with
+  `KeyError: 'qwen2_vl'`. Pin transformers to 4.x or wait for the upstream fix.
+- `gradient_checkpointing=True` + LoRA: usually works. If you hit "None of
+  the inputs have requires_grad=True", call
+  `model.transformers_model.enable_input_require_grads()` after `add_adapter`.
+- `add_adapter` before pooling: when building from scratch (not loading a
+  pre-assembled checkpoint), call `add_adapter` AFTER
+  `SentenceTransformer(modules=[...])` is complete.
+
+Common gotchas: LR still at 2e-5 (LoRA needs higher). Forgetting to merge for
+vLLM-style servers (they don't load `peft`). `r=8` too small for retrievers
+trained on millions of pairs (try 32 or 64). `modules_to_save` missing the
+pooler on CLS-pooled bases.
+"""
+
+from __future__ import annotations
+
+import argparse
+import logging
+import os
+from contextlib import nullcontext
+
+import torch
+from datasets import load_dataset
+from peft import LoraConfig, TaskType
+
+from sentence_transformers import (
+    SentenceTransformer,
+    SentenceTransformerModelCardData,
+    SentenceTransformerTrainer,
+    SentenceTransformerTrainingArguments,
+)
+from sentence_transformers.base.sampler import BatchSamplers
+from sentence_transformers.sentence_transformer.evaluation import NanoBEIREvaluator
+from sentence_transformers.sentence_transformer.losses import CachedMultipleNegativesRankingLoss
+
+
+def autocast_ctx():
+    """bf16/fp16 autocast for evaluator calls outside the trainer (which has its own autocast)."""
+    if not torch.cuda.is_available():
+        return nullcontext()
+    dtype = torch.bfloat16 if torch.cuda.is_bf16_supported() else torch.float16
+    return torch.autocast("cuda", dtype=dtype)
+
+
+def log_trackio_dashboard():
+    """Surface the Trackio dashboard URL so the user can watch training live."""
+    try:
+        from huggingface_hub import whoami
+
+        hf_user = whoami().get("name")
+        if hf_user:
+            logging.info(
+                f"Trackio dashboard (live training progress): https://huggingface.co/spaces/{hf_user}/trackio"
+            )
+    except Exception:
+        pass
+
+
+MODEL_NAME = "google-bert/bert-base-uncased"
+OUTPUT_DIR = "models/bert-base-gooaq-lora"
+RUN_NAME = "bert-base-gooaq-lora"
+SMOKE_TEST = os.environ.get("SMOKE_TEST") == "1"
+
+
+def setup_logging():
+    """Configure logging + TF32. Tees to logs/{RUN_NAME}.log and silences HTTP spam."""
+    os.makedirs("logs", exist_ok=True)
+    logging.basicConfig(
+        format="%(asctime)s - %(message)s",
+        datefmt="%Y-%m-%d %H:%M:%S",
+        level=logging.INFO,
+        handlers=[logging.StreamHandler(), logging.FileHandler(f"logs/{RUN_NAME}.log")],
+        force=True,
+    )
+    for noisy in ("httpx", "httpcore", "huggingface_hub", "urllib3", "filelock", "fsspec"):
+        logging.getLogger(noisy).setLevel(logging.WARNING)
+    if torch.cuda.is_available():
+        torch.set_float32_matmul_precision("high")  # TF32 on Ampere+, no quality loss
+
+
+def main() -> None:
+    parser = argparse.ArgumentParser()
+    parser.add_argument(
+        "--eval-only", type=str, default=None, help="Skip training; load this saved model and run only the evaluator."
+    )
+    cli, _ = parser.parse_known_args()
+
+    setup_logging()
+
+    if cli.eval_only:
+        logging.info(f"Eval-only mode: loading model from {cli.eval_only}")
+        model = SentenceTransformer(cli.eval_only)
+        evaluator = NanoBEIREvaluator()
+        with autocast_ctx():
+            evaluator(model)
+        return
+
+    model = SentenceTransformer(
+        MODEL_NAME,
+        model_card_data=SentenceTransformerModelCardData(
+            language="en",
+            license="apache-2.0",
+            model_name=f"{MODEL_NAME.split('/')[-1]} LoRA adapter on GooAQ",
+        ),
+    )
+
+    peft_config = LoraConfig(
+        task_type=TaskType.FEATURE_EXTRACTION,
+        inference_mode=False,
+        r=64,
+        lora_alpha=128,
+        lora_dropout=0.1,
+    )
+    model.add_adapter(peft_config)
+    trainable = sum(p.numel() for p in model.parameters() if p.requires_grad)
+    total = sum(p.numel() for p in model.parameters())
+    logging.info(f"trainable params: {trainable:,} / {total:,} ({100 * trainable / total:.2f}%)")
+
+    full = load_dataset("sentence-transformers/gooaq", split="train")
+    if SMOKE_TEST:
+        logging.info("SMOKE_TEST=1: trimmed dataset; will run max_steps=1 and skip Hub push")
+        full = full.select(range(min(200, len(full))))
+    eval_size = 20 if SMOKE_TEST else 10_000
+    train_cap = 50 if SMOKE_TEST else 500_000
+    split = full.train_test_split(test_size=eval_size, seed=12)
+    train_dataset = split["train"].select(range(min(train_cap, len(split["train"]))))
+    eval_dataset = split["test"]
+    logging.info(f"train={len(train_dataset):,} eval={len(eval_dataset):,}")
+
+    loss = CachedMultipleNegativesRankingLoss(model, mini_batch_size=32)
+
+    evaluator = NanoBEIREvaluator()
+    logging.info("Baseline:")
+    with autocast_ctx():
+        # Must run before deriving metric_key: evaluator(model) mutates primary_metric to add the name_ prefix.
+        baseline_eval = evaluator(model)[evaluator.primary_metric]
+    metric_key = f"eval_{evaluator.primary_metric}"
+
+    args = SentenceTransformerTrainingArguments(
+        output_dir=OUTPUT_DIR,
+        num_train_epochs=1,
+        max_steps=1 if SMOKE_TEST else -1,
+        per_device_train_batch_size=512,
+        per_device_eval_batch_size=512,
+        learning_rate=1e-4,
+        weight_decay=0.01,
+        warmup_steps=0.1,
+        bf16=True,
+        batch_sampler=BatchSamplers.NO_DUPLICATES,
+        eval_strategy="steps",
+        eval_steps=0.1,
+        save_strategy="steps",
+        save_steps=0.1,
+        save_total_limit=2,
+        logging_steps=0.01,
+        logging_first_step=True,
+        load_best_model_at_end=True,
+        metric_for_best_model=metric_key,
+        greater_is_better=True,
+        report_to="none" if SMOKE_TEST else "trackio",
+        run_name=RUN_NAME,
+        seed=12,
+    )
+
+    trainer = SentenceTransformerTrainer(
+        model=model,
+        args=args,
+        train_dataset=train_dataset,
+        eval_dataset=eval_dataset,
+        loss=loss,
+        evaluator=evaluator,
+    )
+    if not SMOKE_TEST:
+        log_trackio_dashboard()
+    trainer.train()
+
+    logging.info("Post-training evaluation:")
+    with autocast_ctx():
+        score = evaluator(model)[evaluator.primary_metric]
+    delta = score - baseline_eval
+    verdict = "WIN" if delta >= 0.005 else "MARGINAL" if delta >= 0 else "REGRESSION"
+    logging.info(f"VERDICT: {verdict} | score={score:.4f} | baseline={baseline_eval:.4f} | delta={delta:+.4f}")
+
+    model.save_pretrained(f"{OUTPUT_DIR}/final")
+
+    if SMOKE_TEST:
+        logging.info("SMOKE_TEST=1: skipping Hub push")
+        return
+
+    try:
+        commit_url = model.push_to_hub(RUN_NAME)
+        logging.info(f"Pushed model to {commit_url.rsplit('/commit/', 1)[0]}")
+    except Exception:
+        import traceback
+
+        logging.error(f"Hub push failed:\n{traceback.format_exc()}")
+
+
+if __name__ == "__main__":
+    main()