Project map

Choose the right inspection path.

Sundog is a research site, a public claim ledger, and a working repository. This map gives visitors and agents the same first move: pick the evidence lane, then follow the receipts before the interpretation grows.

Open raw GitHub Open docs index

Living map

A curated map first, a generated graph later.

Evidence pages and falsifiers
Atlas and geometry receipts
Alignment and comparator language
Applications and workbenches
Sundog ledgers and audit chains
Claim-boundary and chat experiments
Source and operator context

Evidence Spine

Start here when the question is whether the public claim has receipts.

Structural FailureBoundary-map falsifier for closed-form traceability. Mesa EnvelopeCapacity and signal-mixing results with caveats visible. Isotrophy K_facet20 structural-zero receipts plus one named quarantine (O_617).
Navier-Stokes C1Reading-2 witness at G=200 and G=300, review-gated; 942,834 witness pairs. Generality umbrellaSix high-stakes transfer lanes: NSE, Riemann, Yang-Mills, P-vs-NP, ARC, Three-Body 15C. Proof TrunkCoarse-graining status gate and proof-roadmap ledger.
Algorithmic ApproximationFind/check ledger: 7 cheap-CHECK instances under one Certifies interface. Tropical/PL core with linear gate count ≤ 4N via sharing-aware DAG. Plus an Order-Relative Resolution Law synthesis core. TauroctonyThe cosmogram ledger's deflation receipt: pantheon scaffold → one inequality (Sov_opt ≤ κ) across four safety axes (competence, corrigibility, non-sovereignty, safe-interruptibility). Mithraic frame is ornament, not evidence. Released task family.

Applications

Use this lane for workbenches. Treat tiers as part of the result.

Applications GalleryPublic overview of surfaces and evidence tiers. BalanceShadow-control operating-envelope workbench. Three-BodyLocal-field and hazard-envelope workbench.
Pressure MinesHidden-minefield workbench under noisy pressure fields. Sundog WorkbenchTunable halo-route comparator surface. Cap-SetPolynomial-method precedent for the 2026 unit-distance disproof.
Unit-DistancePlain-English read of OpenAI's 2026 unit-distance disproof.

Sundog Ledgers

Use this lane for the audit-chain spines: each ledger pre-registers a falsification surface and tracks the route from claim to receipt. Ledgers stay distinct from roadmaps and from interactive workbenches.

GravityOutlandish public framing — "gravity for agents under partial observability." MesaMesa-trap empirical front and Formal Separability appendix. Mesa v2Future-integration spine sister to mesa-v1: 4 actionable phases.
GeometryDeep research roadmap for the geometry workbench shelf. PerceptionAtlas-as-instrument; smartphone-tier Phase 1. Cap-SetCouples Sundog apparatus to OpenAI's unit-distance result.
Three-BodyOperating-envelope roadmap for the three-body workbench. Isotrophy K_facetv0.3h staging ledger — 20 structural zeros, one named quarantine. Isotrophy RoadmapZ3-choreography to Z2-piano-trio descent program.
Navier-StokesReading-2 witness at G=200 and G=300; review-gated, C1 unpromoted. RiemannThree lanes, three bounded nulls. Review-gated. Yang-MillsFour probes, one bounded null (Phase 2 NEG-A). No mass-gap claim.
P-vs-NPBounded alignment-verification version. Safety green; cost-hold. ARC-AGIPhase 3E relative-locality hold; ARC Prize 2026 Paper Track. FaradayShadow Faraday Zero-Out: Phases 1-5 closed; chapter-close receipt.
Algorithmic ApproximationLane ledger off arXiv:2606.26705. Slate-2 closed: N-1 (monotone depth region-polynomial), N-2 (cancellation spine, typed conjecture), N-3 (find/check ledger, 7 instances), N-4 (epsilon-essential region count, empirical). Certificate (Lean)Fifteen machine-checked worked examples plus the Order-Relative Resolution Law synthesis core (seven instance families, schema-not-scalar, with an axis-internal composition law) plus the constructive universal-approximation capstone (Yarotsky-style, Stone-Weierstrass density imported). Chat v2 (research lane)R1 MET 2026-06-29 per chatv2/PROMOTE_GATE.md: de-confounded body-resistance on toy from-scratch transformers, parity-family latents at d_dec < 20. R2 (real pretrained LLM + external review) NOT STARTED; R3 (theory of AI) FAR.
Percival (partial grace)Un-targeting on the target channel, companion to Tauroctony's cap on the act channel. Mostly deflates: clean win only if inf supp(γ) > c*; over any trustworthy base, un-targeting wins a partial margin against the quantilizer family. Two Lean anchors on finite instances. Stuck 2026-06-30, reopening TBD. Public artifacts: Partial Grace post + de-Percivaled counterproductivity note at /quantilizing (staged pre-deploy).

Source

Use this lane when you need raw files, build context, operator instructions, or the brand/SEO playbook.

GitHubRaw repository in a new tab. Docs READMEHuman-readable index of public documentation. Claims & ScopeSafe public language and evidence-tier boundaries.
AGENTS.mdLocal operator and agent workflow notes. Brand PositioningAudit-chain discipline and three-tier artifact framing. SEO RoadmapPer-page matrix, OG cards, and sitemap discipline.
UI/UX FoundationTheme tokens, paper-ruled aesthetic, design-system primer.

Agent context

Start narrow, then expand by lane.

The map is intentionally curated. A full generated code graph can support review work, but the public entry point should avoid exposing every internal filename as if all paths carry the same public evidence weight.

Repository READMEProject identity, public shape, and top-level navigation. site-pages.jsonExplicit public-launch intent for root HTML surfaces. Docs READMEInspection path for papers, roadmaps, and evidence ledgers. Claims & ScopeUse before writing public claims, summaries, or chat answers.