# 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 Syncr\'e form theory paper with certificate/obstruction interfaces,
- a runnable engine layer (schemas + audits + example artifacts + benchmarks) that makes claims checkable.

Release tag: **SFT-0.2.3**

## Start here

- `START_HERE.md` — a plain-English map (phase, slice, coverage, witness, coupling, target)
- `ENGINE_COMPLETENESS.md` — the one-page reason “global universality” is final inside COC
- `BOUNDARY_GALLERY.md` — the sharp boundary: how Syncré claims fail when meaning is underspecified


## Main outputs

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

- `finish_ready/witness_atlas.pdf`
  - witness atlas (54 examples) linked to shipped WSC/WOB artifacts

- `finish_ready/sft2_syncre_stability_modulus.pdf`
  - stability modulus document (TeX in `finish_ready/sft2/`)

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

- `finish_ready/global_universality.pdf`
  - standalone theorem-chain version of the global universality statement

## One-command reproducibility

From the repository root:

```bash
bash run_all.sh
```

This bundle also supports an optional stricter audit mode for theorem navigation:

- set `SFT_AUDIT_STRICT_ANCHORS=1` to require every `theorem_ref` to include a file anchor and to verify that the anchor exists in the referenced file

This runs:

- TeX sync for shared sources
- full artifact audits (all WSC/WOB/CC objects + atlas index)
- benchmarks that emit evidence payloads
- PDF compilation
- integrity hash regeneration and verification
- a release bundle build (`finish_ready/submission_bundle.zip`)

## 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`
  - the witness program: targets, witnesses, boundaries

- `engine/docs/universality_scorecard.md`
  - one-page verification map for the universality claim

- `engine/docs/scope_wall.md`
  - what is claimed and what is not claimed

## Engine layer

The `engine/` directory contains:

- JSON schemas (WSC/WOB/CC and reports)
- audit scripts (`engine/audit/`) that verify artifacts and numeric inequalities
- example artifacts (`engine/artifacts/`) used by the witness atlas
- benchmark runners (`engine/benchmarks/`) that exercise inference and emit evidence payloads



## CI (GitHub Actions)

A ready-to-use workflow is included at `.github/workflows/validate.yml` to run:

- full artifact audits and benchmarks
- PDF builds
- hash-manifest verification

This keeps the release bundle reproducible under continuous integration.
- `finish_ready/paper/DIRECTION_HIGHER_THEOREM.tex`  
  Higher target and proxy: Relational Form Principle (RFP) and Proxy Identity Principle (PIP).
- `FOUNDATIONS_RFP_PIP.md`  
  Plain-language statement of RFP and PIP for quick orientation.
