Reproduce CARS exact constrained sampling on the real Llama-3.1-8B-Instruct (HF inference): empirical matches true P^L (TV=0.016), 100% valid vs 0% unconstrained

Restore rich logbook manifest 65026266 (revert stale auto-sync that hid claim pages)

Update logbook: Repro - Constrained Adaptive Rejection Sampling

Update logbook: Repro - Constrained Adaptive Rejection Sampling

Upload logbook.json with huggingface_hub

Publish exact trie audit and application evidence

Exact scaled tiers: 107x enumeration + 2.8e14 DP, executed cells

Update logbook: Repro - Constrained Adaptive Rejection Sampling