.gitignore

# =============================================================================
# Python / language caches
# =============================================================================
__pycache__/
*.egg-info/
.venv/
.pytest_cache/
.hypothesis/
.mypy_cache/
.ruff_cache/

# Coq solver caches (anywhere in the tree)
*.lia.cache
*.nia.cache
*.nra.cache
.csdp.cache
.coq-env
.opam/

# Coq compilation artifacts outside coq/ — coq/*.vo and coq/*.glob are tracked
*.vos
*.vok
*.aux

# Editable install metadata
thiele_verify.egg-info/

# Generic ephemeral caches
.cache/

# =============================================================================
# IDE / OS / Node
# =============================================================================
.vscode/
.claude/
.codex
.idea/
.DS_Store
node_modules/

# =============================================================================
# Build directory — most artifacts are regenerated; track only what CI needs.
# =============================================================================
build/__pycache__/
build/netlist.json
# FPGA build artifacts (yosys/nextpnr/xc7frames2bit outputs — regenerated by
# fpga/run_synthesis_xc7.sh; the .json post-synth netlist alone is ~150 MB
# and exceeds GitHub's 100 MB single-file push limit).
build/thiele_xc7*.json
build/thiele_xc7*.bit
build/thiele_xc7*.fasm
build/thiele_xc7*.frames
build/thiele_xc7*.bba
build/xc7*.bin
build/yosys_xc7.log
build/nextpnr_xc7.log
build/*.vvp
build/*.vcd
build/*.cmi
build/*.cmo
build/*.cmx
build/*.o
build/gls_flat.v
build/thiele_kami_test.lock
build/thiele_cpu_kami_tb.out
build/extracted_vm_runner_native
build/kami_hw/*.cmi
build/kami_hw/*.cmx
build/kami_hw/*.o
build/kami_hw/*.bo
build/kami_hw/kami_to_bsv
build/kami_hw/Header.bsv
build/kami_hw/thiele_hw.bsv
build/kami_hw/thiele_hw_clean.bsv
build/verilator/*
build/verilator.lock
# Kernel-conversion vacuity probes (scripts/vacuity_gate.py). Each is an
# auto-generated, "DO NOT EDIT" .v synthesised from a theorem statement plus a
# fixed tactic, compiled to .glob/.vo. They are pure scaffolding — fully
# regenerated on every gate run and deterministically reproducible — so they
# do not belong in version control. The durable output is artifacts/
# vacuity_audit.json (auto-staged by the pre-commit hook), not these probes.
build/vacuity_probes/

# Forge runtime spill (generated by scripts/forge_artifact.sh at the repo root)
synth_cpu.ys

# Hardware build artifacts
hardware/synthesis_trap/test_tb
thielecpu/hardware/thiele_cpu_tb
thielecpu/hardware/thiele_cpu_test
thielecpu/hardware/thiele_cpu_sim
/thielecpu/hardware/test_serializer
/thielecpu/hardware/test_serializer_debug
thielecpu/hardware/*.o
trace

# =============================================================================
# Distribution / proofpack artifacts
# =============================================================================
dist/
*.tar.gz
*.zip
proofpack*.tar.gz

# Build cache scaffolding
.build_cache/
.test_artifacts/
.generated/

# =============================================================================
# Thesis LaTeX build artifacts (only the PDFs are canonical)
# =============================================================================
thesis/*.aux
thesis/*.bbl
thesis/*.blg
thesis/*.log
thesis/*.out
thesis/*.toc
# Root-anchored: catches accidental compiles at the repo root,
# without shadowing the tracked thesis/short_thesis.{tex,pdf}.
/short_thesis.*

# =============================================================================
# Logs and ephemeral demo / test output
# =============================================================================
logs/
*.log
!audit_logs/*.log
!audit_logs/*.txt
!artifacts/coq/no_oracle_build.log
!artifacts/coq/no_oracle_target_missing.log

terminal_output.md
security_log.json
*.vcd
results/*.out

# Scratch files some local runs may produce
baseline_dpll_up.py
dummy.cnf
dummy.json
thiele_driver.py
plot_results.py
audit_verification.py

# Phase / status reports (work-session spill)
STATUS_REPORT.md
INTEGRATION_COMPLETE.md
*_build_log.txt
*_build_output.txt

# AI-assistant diagnostics
diagnostics/
demos/practical_examples/output/
tmpclaude-*

# =============================================================================
# Results / experiments / runtime data
# =============================================================================
results/stress_tests/
results/shor/
results/graphs/
results/partition/
results/tsp/
results/proofs/
results/equivalence_bundle.json
results/thermo_experiment.json
results/structural_heat_experiment.json
results/time_dilation_experiment.json
results/time_dilation_curve.svg
results/halting_trap.json
!results/archive/

shape_of_truth_out/
TSP_SOLUTION/
tsp_work/

experiments/results/
experiments/*_[0-9][0-9][0-9][0-9][0-9][0-9]_*/
experiments/receipt_*.json

# Output / temp dirs
out/
*_output/
runtime/
tmp/
temp/
*.tmp

# Thiele Machine demo / batch artifacts
artifacts/*_nusd_receipt.jsonl
artifacts/*.gif
artifacts/landauer_batch_*/
artifacts/genesis_ablation_*/
artifacts/closed_work/
artifacts/nl_search/campaigns/
artifacts/nl_search/serious_3x3/

# Forge / sight-log runtime
sight_logs/*.json
sight_logs/atlas/*.json
sight_logs/atlas/*.png
sight_logs/atlas/*.txt
sight_logs/meta_observatory/
sight_logs/meta_atlas/
!sight_logs/.gitkeep

evolved_strategies/*.thiele
evolved_strategies/compiled/*.py
!evolved_strategies/.gitkeep

# Engine runtime artifacts
ascension_ledger.json
critic_report.json
language_models/*.pth
final_dialogue.log
final_result.json
alpha/ascension_ledger.json
beta/ascension_ledger.json
alpha/evolved_strategies/
beta/evolved_strategies/
alpha/mitosis_alpha.log
beta/mitosis_beta.log

# Calorimetry proofpack — generated analysis outputs only
proofpacks/calorimetry_v1/analysis/report.json
proofpacks/calorimetry_v1/analysis/figs/*.png

# =============================================================================
# Receipts / figures / data files (broad ignore + intentional re-includes)
# =============================================================================
# Keep canonical receipts tracked
!receipts/

figures/
!thesis/figures/
!thesis/figures/**

*.png
!assets/(T).png
!thesis/figures/*.png

*.csv
!data/cmb_sample.csv
!tests/data/public/*.csv
!proofpacks/calorimetry_v1/data/cal_data.csv
!proofpacks/calorimetry_v1/data/idle_baseline.csv
!artifacts/bell/supra_quantum_16_5.csv
!artifacts/bell/polytope_scan.csv

tseitin_receipts.json

# =============================================================================
# Reports / break tests
# =============================================================================
*report.jsonl
break_report.jsonl

# =============================================================================
# Certificates / keys (provisioned locally; never committed)
# =============================================================================
certificates/
kernel_secret.key
kernel_public.key

# Any real Ed25519 signing key dropped into artifacts/keys/ stays local.
# The ONLY exception is the documented non-secret reproducibility fixture
# (artifacts/keys/README.md), which is intentionally tracked.
artifacts/keys/*.pem
!artifacts/keys/bitlock_ed25519_private.pem
!artifacts/keys/bitlock_ed25519_private.pub.pem

# =============================================================================
# Local-only docs (live in .claude/, not for GitHub)
# =============================================================================
STYLE_GUIDE.md
CLAUDE.md

# Kernel template / reconstructed kernel (dev-only)
kernel_template/
thiele_min.py

# Local sandbox
/drips/

# Witness logs
WITNESS.jsonl
ouroboros/witness_in_potentia.py

# Misc local
requirements_filtered.txt

# =============================================================================
# RTL cosim checkpoint JSON dumps (CHECKPOINT opcode writes state to cwd)
# =============================================================================
/[0-9]*.json
/checkpoint.json
/ck.json
/..json

# minimal core build artifacts (rebuilt by `make verify`)
minimal/*.vo
minimal/*.vok
minimal/*.vos
minimal/*.glob
minimal/.*.aux