RESEARCH EVIDENCE

Evidence and verification

Follow only links that are actually published. Missing proof bundles remain unverified.

Public, reproducible examples

BS-MIN-01 — Projection ambiguity

A self-contained four-vertex worked example, exact formulas, and a runnable standard-library checker.

Formal research claims awaiting artifacts

The static coordinate-model and distributed-observer claims described in the registry do not currently have publicly released Lean proof bundles or third-party replication packages.

Inspect the claim registry and the machine evidence-status record for current classification.

What counts as stronger evidence

Exact formal statement and assumptions, with named proof checker and dependency versions.
Complete proof sources or inputs, deterministic reproduction instructions and expected outputs.
Artifact hashes, negative controls and documented known limitations.
Independent observer execution records with disagreement and correction history.