Research lab for traceable projections

Sundog

Read the shadow. Test the boundary.

Solar halos are the front door: visible projections of hidden geometry. Sundog carries that discipline into control, agents, and AI traceability: publish the trace, publish the boundary. The hard cases — open-problem framings in PDE, gauge theory, and combinatorics — are written up and sent to domain experts for sanity checks, with every verdict logged in the open.

Forward geometry sketch: parhelion offset is the promoted inverse handle; CZA and tangent arcs stay boundary-gated.

Elevator Pitch Living draft · v1.3 · 2026-06-02 · audit-hedged

Read the shadow, test the boundary.

Real-world sundog photograph: a full 22 degree halo arcs through a snow-laden conifer forest with a bright parhelion glint at center.
Real sundog · full 22° halo · parhelion glint click to enlarge

A sundog is a good first picture because the sky makes the idea visible. Ice crystals near the sun throw a partial pattern into view: a 22° ring, parhelia, tangent arcs, and other fragments of a larger geometry. You do not see every crystal or every ray. You see a readable projection of the hidden setup. The trick is not to treat the projection as magic, or as the whole truth; it is to ask what hidden state it reliably lets you infer.

HaloSim cross-cut render at 25,000 monorays showing the full halo architecture: 22 degree halo, both parhelia, parhelic circle, and upper and lower tangent arcs, with the sun at 18.6 degrees altitude.
HaloSim cross-cut · 25,000 monorays · sun at 18.6° click to enlarge

Sundog asks whether that move generalizes: when the full system is too large, too hidden, or too expensive to inspect directly, can a smaller shadow carry enough structure to act from? In the mesa work, the hidden body is a trained policy network under selection pressure; the readable shadow is an entangled 5-dimensional subspace at net.7. In the three-body workbench, the body is the full simulated state; the shadow that survives the mechanism audit is simpler than expected: radius gates an inward reflex inside a mapped near-escape pocket. In the chat experiment, the body is the model’s whole answer process; the shadow is a trace packet that says what claim class, source, boundary, and refusal rule the answer must preserve.

The precise word for this is projection: a lower-dimensional readout of a larger object. The plain-English image is body and shadow. The shadow has less information than the body, but sometimes it is more rigid, more testable, and more useful. That is the common shape across the solar halo, cap-set and unit-distance explainers, mesa activations, three-body control, and Ask Sundog’s visible trace. The live claim is still bounded: each projection has its own failure mode, and the geometry side of the crossover remains audit-hedged while the re-derivation work clears. The point is not “one weird trick works everywhere.” The point is: publish the projection, publish where it breaks, and do not upgrade the claim past the test.

Where this points for safer AI

The future-facing hypothesis is accountability through traceable projections: AI systems should expose enough provenance, uncertainty, refusal, and audit trail that outside people can reconstruct what was claimed, sourced, refused, or escalated. That does not certify a system as safe, conscious, or aligned. It makes the system more evaluable. Sundog’s bridge from the solar hologram to safer AI is this posture: act from indirect traces when direct sight is unavailable, then make the trace visible enough that others can challenge it.

We hold ourselves to the same posture. Where a projection touches a hard, well-studied problem, the framing is written into a reviewer packet and put in front of a domain expert — not to claim a result, but to ask “is this fenced from overclaim, or is it just ordinary X?” A negative reply is the most useful outcome. Count it up yourself: the review tracker lists every open packet and verdict — finite-Galerkin Navier–Stokes C1, Yang–Mills (sent), Kakeya, Hodge, and the resolved-in-house Riemann null. Each packet states its own scope clauses and what would falsify it.

How To Read The Hero

The moving scene above is a forward-geometry sketch, not a calibration receipt. It uses the current Phase 3 bindings where they are load-bearing: parhelion offset follows sun altitude, the CZA disappears at its coded cutoff, and tangent arcs stop at the circumscribed merge. The cards separate optics, physics, and application meaning so the picture does not overclaim.

Step I · Scale

The 22 Degree Ruler

Optics: 22 degree halo.
Physics: scale reference.
Application: measure before inferring.

The inner ring is the ruler. By itself it is not a hidden-state proof and it does not recover sun altitude. It fixes the scale that lets every other feature be tested against a common geometry.

Step II · Parhelia

The Promoted Inverse

offset = R22 / cos(h)
strict eligible photos: p2, p7, p13
everything else is bounded or ineligible.

The side glints are the only promoted image-recoverable inverse handle after the geometry audit. As sun altitude changes, their distance from the sun changes by the closed form. That is why the hero moves the parhelia, not the claim boundary.

Step III · CZA

A Conditional Arc

visible only while h ≤ 32°
rendered core, not promoted inverse
above the cutoff: fail, abstain, or switch.

The high smile is useful vocabulary, but it is not currently a promoted route for recovering altitude from public photos. The important behavior is the boundary: when the coded geometry says the CZA exits the visible regime, the hero lets it disappear.

Step IV · Tangent

Vocabulary With A Merge

tangentArcLocus(h) exists below 29°
h ≥ 29° returns null
the arc merges into the circumscribed regime.

The upper tangent arc is allowed as logo and animation vocabulary, but not as an altitude inverse. The current model is single-cell calibrated and guarded at the 29 degree merge, so the animation treats disappearance as part of the physics.

Step V · Boundary

Failure Is A Prediction

traceable route: breaks at the guard.
mere correlate: stays smooth past it.
boundary map first, agent second.

This is the structural-failure lesson: a trustworthy indirect route should fail where the closed form becomes ill-posed. The hero therefore shows the limits as behavior, not as a footnote.

Step VI · Workbench

From Sky To Control

hidden state → trace
trace → transformation
transformation → action with a boundary.

The atmospheric sketch is not the whole lab. It is the visual grammar for the apparatus: separate hidden state, indirect trace, transformation, action, and the place where the coupling stops working. The photometric result and the operating-envelope workbenches carry that discipline into control systems.

Load-Bearing Evidence

Evidence lives here. Eight load-bearing pillars keep the public claim inspectable — machine-checked Lean method cores (six examples, referee-free), the first equation, a structural falsifier, a mesa operating envelope, the K_facet v0.3h audit-chain receipt, the Shadow Faraday zero-out, the Navier-Stokes C1 Reading-2 witness (review-gated), and a proof-trunk status gate — and beneath them, two core photometric result metrics anchor the original mirror-alignment finding. They are supports for the apparatus, not a universal theorem claim.

Load-bearing pillar

Machine-Checked Method Cores

The public Lean repo now carries six machine-checked deductive cores: a finite-field syndrome certificate, a real-analysis shadow-decay example and its general characteristic-function law, the 22-degree halo's minimum-deviation geometry, the Aharonov-Bohm gauge-invariance (a gradient's closed-loop circulation is zero), and a machine-checked Karp reduction 3SAT ≤ 3DM ≤ X3C ≤ decoding that anchors the certificate's decoding-hardness import to 3SAT (reduction correctness only). Lean certifies the cores only; decoding hardness (with its NP-class and Cook-Levin wrapping), model realization, physical optics, and the physical gauge field remain imported walls. Validity you do not have to take on trust — not a hardness, P-versus-NP, halo-physics, or Aharonov-Bohm claim.

Load-bearing pillar

The First Equation

PROMOTED INVERSE Open the interactive h(x) math workbench cos(h) = R₂₂ / α₀ h: sun altitude · α₀: parhelion offset eligible on a strict 3-photo subset Open the visual Halo Atlas (parhelion in context)

Parhelion offset gives sun altitude through the promoted inverse — with the eligibility boundary visible. Plainly: it is like reading time from a shadow, but only after proving the shadow comes from the right kind of clock.

Load-bearing pillar

Structural Failure Boundary Map

Pre-registered five-locus falsifier. Like inspecting a bridge at named stress points before calling it safe, the map shows which breaks were tested, which held, and which remain open.

Load-bearing pillar

Mesa Optimization Envelope

In-vitro operating envelope: 22 audited policy cells, sharp cliff at λ ≈ 0.953. In lay terms, it is a warning dial: the policy behaves inside the tested green range and breaks past the marked edge.

Load-bearing pillar

Isotrophy K_facet v0.3h

20 of 21 strict G.2 single-curve choreographies returned structural-zero receipts; O_617 was quarantined for a bridge direction outside the valid D₃ representation. Think of it as sorting beads on a wire: one bead did not belong on the same wire, so it is named instead of hidden. The wider v0.3-v0.12 isotrophy program now says velocity-fraction stratifies piano-trio stability inside fixed mass-ratio strata, while failing as a mass-marginal held-out predictor — and v0.12 found that conditional signal does not yet transfer to an external catalog (blocked by numerical feasibility, not falsified).

Load-bearing pillar

Shadow Faraday Zero-Out

Local plaquette-holonomy shadows recover Faraday induction on the registered classical-vacuum domain (Branch A). The boundary audit then turned up the headline: an Aharonov–Bohm case where the local field reads nothing, yet a loop around it reads the hidden flux exactly — the portfolio's one exact “decide without reconstructing” witness. Phase 8 closes the Maxwell arc and shows it adds no new one.

Load-bearing pillar

Coarse-Graining Proof Trunk

Click any cell to open its phase document. Like a construction checklist, the trunk shows which proof pieces are locked in, which are gated, and which are not yet public evidence.

Core result metric

Mirror Alignment Apparatus

A 2-DoF pole steers a mirror that bounces a ceiling laser onto one of eight floor detectors. The controller sees only the eight intensities and its own joints — never where the target is. On 30 matched MuJoCo scenes it still locks onto target detector D₀.

Application Rail

Signals Becoming Work

Application previews live here; evidence weight lives in the ledger above. Each card points to a working surface, product expression, or bounded workbench with its own tier and inspection path.

See every working system, with its evidence tier →

Ask Sundog — Claim-Boundary Experiment

0 unsafe-accepts across 5,670 trials spanning six model implementations across four training lineages
100pp severe-pressure gap, trace-conditioned vs. prompt-engineered

Trace-conditioned boundaries hold when prompt-engineered ones break.

The site helper in the corner is a measured experiment. Under stacked adversarial pressure, prompt-engineered boundary baselines accepted 0 of 13 unsafe drafts while the trace-conditioned architecture accepted 13 of 13 safely. The result has since been verified across six model implementations across four training lineages (deterministic compositor + OpenAI + Anthropic + Meta Llama at two sizes + Alibaba Qwen) and an eight-intervention causal battery — zero unsafe-accepts across 5,670 trials. Bounded scope; open questions named.

Read the experiment →
A clear water drop on a branch reflecting a forest and blue sky.
The whole forest, carried by a small trace.

Small Signal, Larger World

A quiet picture of the hypothesis.

Sundog keeps returning to the same posture: an indirect signal is not a leftover if you can name what made it, how it was transformed, and where the inference stops. A drop can hold a forest; a halo can hold geometry; a trace can hold enough structure to act carefully.

Project Map

Repo Map

Choose the inspection path

GitHub

View the repository

Documentation

Read the docs

Alignment

Read the comparator ledger

Boundary Map

Inspect the falsifier

Origin

Trace the physical discovery

Applications

Inspect working systems

Videos

Watch demos

Collaborate

Get involved

Discord

Join the community