# SDPE Paper 08 Bundle

Phase-I integration bundle for:

**空間域證明包圍論 VIII — Runtime、Benchmark 與 Proof-Space Observatory**

Main artifacts:

- `SDPE_Paper08_Runtime_Benchmark_and_Proof_Space_Observatory_v0.1.md`
- `SDPE_Runtime_Spec_v1.md`
- `SDPE_State_Schema_v1.json`
- `SDPE_Event_Schema_v1.json`
- `SDPE_Benchmark_Schema_v1.json`
- `SDPE_Benchmark_Sample_v1.json`
- `sdpe_runtime.py`
- `example_finite_closure_run.jsonl`
- `example_final_state.json`
- `SDPE_Proof_Space_Observatory_Snapshot_v1.json`
- `verify_SDPE_Paper08_runtime.py`
- `SDPE_Paper08_checker_report.json`
- `SDPE_Hard_Zeta_Case_Study_Adapter_v0.1.md`
- `SDPE_Paper08_Fresh_Literature_Notes_2026-08-14.md`
- `SDPE_Paper08_Theorem_Ledger.json`
- `SDPE_Series_Route_Map_v1.0.md`

The Python runtime is a finite reference implementation of event/replay/authority semantics. It is not a general mathematical proof checker.