# Syncre Form Theory (SFT) — Solar–Lunar Local Time Convergence Pack

This bundle provides:

- a concrete Earth-scale model (solar local time and lunar local time as circle-valued observables),
- a general Syncre form theory paper with certificate/obstruction interfaces,
- a lightweight engine layer (schemas + audits + example artifacts) that makes claims checkable.

## Main outputs

- `finish_ready/sft_form_theory.pdf`  
  Main paper (with TeX sources in `finish_ready/paper/`).

- `finish_ready/witness_atlas.pdf`  
  Example atlas (30 entries) linking to shipped artifacts.

- `finish_ready/sft2_syncre_stability_modulus.pdf`  
  Stability modulus reference note (TeX in `finish_ready/sft2/`).

- `finish_ready/sft3_target_inference_and_certificates.pdf`  
  Target inference + certificate objects (TeX in `finish_ready/sft3/`).

- `global_universality/GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.pdf`  
  Standalone theorem chain version of the universality statement.

## Quick checks

### Run the Earth-scale simulation
```bash
python example_simulation.py
```

### Validate shipped artifacts and the atlas index
```bash
cd finish_ready
bash scripts/validate_all.sh
```

## Key write-ups

- `SolarLunar_LocalTime_Convergence.md` / `.tex`  
  Earth-scale model and convergence statements.

- `Syncre_ProofProgram.md`  
  High-level statement of the witness program (targets, witnesses, boundaries).

- `examples/WORKED_EXAMPLE.md`  
  A single end-to-end example showing the interface discipline.

## Engine layer

The `engine/` directory contains:

- JSON schemas (WSC/WOB/CC and reports),
- audit scripts (`engine/audit/`) that verify artifacts against the schema and basic inequalities,
- example artifacts (`engine/artifacts/`) referenced by the atlas,
- benchmark runners (`engine/benchmarks/`) that exercise the inference pipeline on synthetic inputs.
