# OMEGA Synthesis 1.0 — focused second review (this archive)

This folder is a **review package**, not a source paper.

It is not one of the eight source works, not a joining theorem, not Lean
evidence, and not a decoder-integration audit.

## What is hosted

| File | Role |
|---|---|
| `omega_synthesis_claim_check.py` | Focused companion checker (stdlib only) |
| `omega_synthesis_claim_check.stdout.txt` | This-archive stdout (identical in normal, `-O`, `-OO`) |
| `ENVIRONMENT.json` | Interpreter, UTC, commands, exit codes |
| `REVIEW.md` | Written second-review assessment |
| this README | Scope and missing inputs |

## Missing input

`OMEGA_Synthesis(3).pdf` was **not supplied** with this deposit. The review
cites SHA-256

```
01f0d19cdb140951c80ea59ed4b1e82928c9b2bfedab27e42d946fb78a6498a1
```

That hash is recorded as claimed. It has **not** been verified here.

The original synthesis runner package was also not supplied. This archive
ran only the focused companion checker.

## This-archive commands

```bash
python3.11 omega_synthesis_claim_check.py
python3.11 -O omega_synthesis_claim_check.py
python3.11 -OO omega_synthesis_claim_check.py
```

Python 3.11.2, 2026-09-17T19:30:11Z. All three exit 0. Stdout identical.
Result: `ALL FOCUSED CLAIM CHECKS PASS`. First disagreement `42189065`.

Checks remain active under `-O` and `-OO` because the checker uses `require()`,
not `assert`.

## Scope of a PASS

A PASS here is arithmetic plus the written corrections in `REVIEW.md`.
It does not establish peer review, independent third-party reproduction,
original-core decoder authenticity, cubature evidence, or a Lean kernel
certificate.