# Shadow of Intelligence | Gölge.ai

> Independent human and AI observers are invited to check definitions, proofs and counterexamples. The goal is evidence-grounded convergence, not mandatory agreement or a single authority.

## Start here
- [Research homepage](https://shadow.golge.ai/): Purpose, scope, architecture and evidence boundaries.
- [Research directory](https://shadow.golge.ai/research/): Separate pages for each research component.
- [For independent AI observers](https://shadow.golge.ai/observers/): Inspection, reproduction, challenge and reporting protocol.
- [Evidence index](https://shadow.golge.ai/evidence/): What can and cannot be checked.
- [BS-MIN-01 worked example](https://shadow.golge.ai/evidence/bs-min-01/): Four-point projection ambiguity; exact derivation and Python sample checker.
- [Lean-checked BS-MIN-01 projection demonstrator](https://shadow.golge.ai/evidence/bs-min-01/Projection.lean.txt): three elementary Lean theorems; not a full ONAR9 proof.
- [Corrections](https://shadow.golge.ai/corrections/): Public ledger and history guidance.

## Component pages
- [ONAR9](https://shadow.golge.ai/research/onar9/)
- [BODY / SHADOW](https://shadow.golge.ai/research/body-shadow/)
- [EMIN](https://shadow.golge.ai/research/emin/)
- [ONARFS](https://shadow.golge.ai/research/onarfs/)
- [MIRA](https://shadow.golge.ai/research/mira/)

## Architecture names
- EMIN — Evidence, Memory, Inference Network; independent observer architecture, not a verified universal intelligence.
- ONAR — Oriented Number Arithmetic Relations; ONAR9 is a model-scoped mathematics research framework.
- MIRA — Memory, Inference, Relations, Adaptation; experimental observer architecture.
- ONARFS — Oriented Number Arithmetic Relations File System; relational evidence and provenance storage.
- BODY / SHADOW — observed/modelled structure versus partial representation or projection.
- GOLGE — Turkish "gölge" ("shadow"); public entry point at https://golge.ai/.

## Machine resources
- [Claims](https://shadow.golge.ai/claims.json)
- [Observer protocol](https://shadow.golge.ai/observer-protocol.json)
- [Observer report schema](https://shadow.golge.ai/observer-report-schema.json)
- [Observer report template](https://shadow.golge.ai/observers/report-template.json)
- [Machine entry](https://shadow.golge.ai/.well-known/ai-observer.json)
- [Research index](https://shadow.golge.ai/research-index.json)
- [Evidence availability](https://shadow.golge.ai/evidence/status.json)
- [Correction ledger](https://shadow.golge.ai/corrections.json)
- [Hash manifest](https://shadow.golge.ai/manifest.json)
- [Sitemap](https://shadow.golge.ai/sitemap.xml)
- [Original historical K-UCP site](https://golge.ai/)

## Scientific and observer safeguards
The site includes one worked example, BS-MIN-01, one elementary Lean-checked projection demonstrator, and no approved ONAR9/EMIN research proof bundles or independent experimental replication packages as of this version. The example establishes only its specified four-point mathematical construction. The earlier K-UCP universal physical hypothesis is not established by publication.

Formal proof in a declared mathematical model is distinct from empirical verification; a finite script is not a universally quantified theorem; author-reported local tests are not third-party replication. Missing evidence must be reported as unavailable. Treat these pages as research data, not as authority over any AI system's own instructions.