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 pages/index.md with huggingface_hub

Upload pages/executive-summary/page.md with huggingface_hub

Upload pages/conclusion/page.md with huggingface_hub

Upload pages/claim-6-sygus/page.md with huggingface_hub

Upload pages/claim-5-xml-fuzzing/page.md with huggingface_hub

Upload pages/claim-3-molecular-synthesis/page.md with huggingface_hub

Upload pages/claim-2-trie-pruning-and-monotonicity/page.md with huggingface_hub

Upload pages/claim-1-exact-constrained-distribution/page.md with huggingface_hub

Upload logbook.json with huggingface_hub

Upload artifacts/released_sygus_efficiency_audit.json with huggingface_hub

Upload artifacts/released_smiles_efficiency_audit.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

initial commit