Documentation

Sundog Document Index

All research, roadmap, and reference documents organized by topic. Start with the documentation README or the researcher guide for a guided entry path.

Recommended Reading Order

  1. Repository root: README.md
  2. Researcher Guide — shortest path for reviewers and collaborators
  3. Scientific Criteria — what is testable, what remains future work
  4. Paper Draft v1 and recorded results in the repository
  5. Application Map — how workbenches relate to the theorem

Core Research

  • Researcher Guide

    Shortest path for reviewers and collaborators

  • Active TODO

    Consolidated queue for outstanding experiments, blockers, and public-surface gates

  • Scientific Criteria

    Testable claims, partial support, and future work

  • Sundog Tauroctony Ledger

    The portfolio cosmogram: one image holding the empirical ledgers (Sol/field, bull/maximand, the two torchbearers, the bestiary as lanes). Braids a pantheon theory of agency, a hedged precession keystone, and the figure-by-figure map; governed by the Ornament Rule. Mythopoetic spine, not a new empirical front

  • Sundog Percival Ledger

    Partial-grace ledger: un-targeting (zero causal proxy influence) as a safety primitive on the target channel, companion to Tauroctony's cap on the act channel. Grail-corpus scaffold (ornament, not evidence). Mostly deflates: over any trustworthy base — one that includes restraint at c=0 — un-targeting only wins a partial margin against the quantilizer family; the clean unconditional prize requires a corrupt base or a purist court. What is banked: A3 static deflation (measure-safe: look-and-ignore ties don't-look at full return under anti-correlation); B1 conditional separation mapped (clean win iff inf supp(γ) > c*, the emergent Morris–Shin coordination cliff); un-targeting composes where iterated quantilization drifts to disgrace at a finite round; un-targeting is a safety primitive, not an optimum — never the strict reward-maximum, chosen by risk-aversion to the oversight cliff. Two Lean anchors on finite instances (best_quantilizer_is_base_three, clean_support_above_separation_three), axiom-audited to the standard triple. Public artifact: Partial Grace post. Not a claim about foundation models; not a transfer to real oversight; the Grail corpus does not encode a formal γ-structure. Stuck as of 2026-06-30; reopening excuse pending — the Percival ledger itself is catalog-tier with no Class A page, but the de-Percivaled counterproductivity theorem (Angle 1 of the promo handoff) is staged as a standalone alignment note at /quantilizing (page + companion source note, pre-deploy: owner re-voice + licensing call + OG card generation pending)

  • Cautes and Cautopates Essay

    Companion narrative for the two torchbearers: reward vs punishment training economies and the third "field" path; accessible on-ramp cited by the Tauroctony ledger

  • Coarse-Graining Proof Roadmap

    Postulate 1 proof path: control-sufficient signatures, LQG/MDP proofs, and falsification gates

  • Paper Draft v1

    Current academic paper draft

  • Paper Outline v0

    Venue framing, reviewer risks, and stress-test interpretation

  • Oracle Leakage Audit

    P0 receipt for the photometric no-target-position-access boundary

  • Public Notes TeX

    TeX public-notes artifact for paper-facing review

  • Review TeX Artifact

    May 6 review artifact preserved for paper and critique history

  • Phase 2 Blocks Design

    Occlusion and block-based follow-up experiment design

  • Debunked / Origin Brief

    Origin brief for the verdict-stamp vocabulary and the case for the rail's first BOUNDARY FOUND card

  • Sundog Outreach Packet

    Phase 7 deliverable for Wikipedia editorial review, technical reviewers, and SEO publications

  • Geometry Agent Audit

    Living external-risk triage for the structural-failure / geometry agent path

  • Near-Anniversary Roadmap Triage

    Shortlist of low-risk and high-value lanes before the 2026-05-19 anniversary target

Proof Track

High-Stakes Trial Ledgers

  • Riemann Saga Ledger

    RH-adjacent bounded-null synthesis: three lanes, three substrate causes, no structural-zero edge; public surface gated on review

  • Riemann Project Folder

    Synthesis, Probe 01 and Probe 05 receipts, C1 cell set, bridge notes, and external-review packet

  • Riemann Bounded-Null Synthesis

    Capstone readout: three lanes, three identified substrate causes, no structural-zero edge

  • Riemann External Review Packet

    Minimal sanity-check packet for the bounded-null result; public surface remains review-gated

  • Sundog Navier-Stokes Ledger

    Clay Millennium PDE coupling through determining-mode and Kolmogorov-flow cells; no Navier-Stokes solution claimed

  • Navier-Stokes Lit-Pass Memo

    Prior-art spine and candidate ranking for the NSE lane

  • Sundog vs. Yang-Mills Handoff

    Draft finite-lattice gauge-invariant certificate lane; no mass-gap or Clay-problem claim is live

  • Sundog vs. P-vs-NP Verification

    Promise-bounded verifier trial: compact signatures for certifying named operating envelopes, not a complexity-class claim

  • P-vs-NP Lit-Pass Memo

    Prior-art spine and gap map for promise-bounded verifier scaffolding

  • P-vs-NP Project Folder

    Phase 1 toy-verifier slates, receipts, quarantines, and result conventions

  • P-vs-NP Receipt Index

    Phase 1 v0-v5 receipt trail, including the provisional v5 cost-adjudication hold

  • Sundog Certificate (Lean) Ledger

    Machine-checked Lean deductive core: certificate soundness and lossiness across fifteen worked examples (finite-field algebra, real analysis × 2, geometric optics, gauge topology, Karp 3SAT→decoding, finite audit game, tropical/PL with linear gate count ≤ 4N via sharing-aware DAG, N-1 monotone depth-as-computation, find/check ledger with 7 instances, plus five slate-3 closures: cpl_iff_reluNet, analytic-gate rates, the QueryGap proved find/check separator in a restricted query model, GradedCancellation dial, and an empirical ε-essential sample-complexity), plus one Order-Relative Resolution Law synthesis core (schema-not-scalar, grounded on seven instance families — determination, coordinate-locality, search-reachability, radical-reach, spectral/moment, algebraic-degree, and topological/cohomological — with the composition law as a single general lemma `orderOf_prod_eq_lcm` — the group-order axes fall out as instances (`cohomological_compose`, `radical_compose`), not seven separate proofs — `compose_lcm_not_max` proving the sharpness (`4⊕6=12`, not `6`), `converse_fails` proving the boundary; a structure theorem `structure_mode_vector` proving the difficulty vector is a group's invariant-factor vector and the scalar is its join; and an approximation dimension (`OrderRelativeApprox` / `…Graded` / `…LadderK`) proving that approximating to any tolerance always works but exact representation is order-relative — an unbounded ladder against a hard resist pole. The composition law is axis-internal, applying where the structure is a group order; the last analysis step (independent-sum integrability) is now machine-checked too (`indepFun_integrable_add_iff`) — no prose fences remain), plus one constructive universal-approximation capstone (UniversalApprox.continuous_relu_approximable — every continuous function on [0,1] is uniformly ε-approximable by an explicit ReLU net, axiom-clean, with only Stone-Weierstrass density imported; the constructive direction of a classical fact, not a new approximation theorem and not a rate improvement); decoding hardness, analytic gates, depth-vs-width, the find-side of every certifying instance, and Stone-Weierstrass density all imported — not a P-vs-NP, complexity-class, learnability, fast-primality, general-neural-net-lower-bound, universal-cross-instance-scalar, or universal-cross-axis-composition claim

  • Tauroctony Brand Surface

    Class A public page (filed 2026-06-30): the cosmogram ledger's deflation receipt — "a magnum opus that deflated, on purpose, into a single inequality". Hero with Diablo II Mithraeum image; story arc from pantheon scaffold to Sov_opt ≤ κ; four-axis result; replicated under a learned presider (NS-3); competent-sandbagger elicited then deterred (NS-4 / CAP_DETERS_COMPETENT_SANDBAG); three machine-checked Lean lemmas (optimum_mono, signature_noninterference, ruin_break_even); Monet-style oil-painting tauroctony in the cosmogram section. Standing claim boundary: Mithraic framing is ornament throughout, not evidence; operating-envelope evidence not proof; does not transfer to foundation models; field-grounding relocates the attack surface (not deletes). Released task family at released/non-sovereignty/, Apache-2.0. Companions: ledger (DELIVERED) and LW/AF technical companion

  • Algorithmic Approximation public page

    Class A public lane page (filed 2026-06-29): leads with the find/check ledger (7 cheap-CHECK instances under one Certifies interface: max-flow/min-cut, König, 2-SAT, Pratt primality, shortest-path, syndrome, ReLU gate-count). Sidebar sections on the tropical/PL core (resolved DAG linear gate count), N-1 monotone depth-as-computation, and honest secondary cards for N-2 (typed-conjecture spine) and N-4 (empirical region count). Standing claim boundary: not a P-vs-NP advance, not a hardness proof, not a fast primality test, not a general neural-net lower bound

  • Sundog Algorithmic-Approximation Lane Ledger

    Lane ledger off arXiv:2606.26705 (Kratsios et al.): six-of-six hooks closed (PDF-verify, exact PL compilation, cost-certificate isomorphism, competence-dominance reread, Atlas short-program, shadow-tower floor); spawned the slate-2 follow-ups (N-1 / N-2 / N-3 / N-4) all of which have landed

  • Algorithmic-Approximation Conjecture Slate 2

    The cancellation-spine slate: N-1 fully closed (FoldCancellation + PieceCover + RegionPoly — monotone depth is region-polynomial), N-2 written + Lean-anchored (typed conjecture, organizing lens), N-3 complete (find/check ledger, 7 instances), N-4 empirical (epsilon-essential region count, named SGD residual)

  • N-2 Cancellation Spine

    Synthesis retrospective: cancellation as the organizing coordinate across the lane's imported walls. Machine-checked half: isMono_tame on the monotone/convex/region axes. Organizing-reading half: 3SUM (additive), n^ω (subtractive), and analytic gates (division) typed by cancellation but with no formal reduction — stays a typed conjecture, not a reduction theorem

  • N-4 epsilon-Essential Regions Result

    Empirical: the epsilon-essential region count tracks a ReLU net's trained generalization-width threshold at 32/36 = 0.89 (vs 0.50 for the exact piece count). Honest residual: the non-convex jagged family at 0.67 with one outlier (k=5) — SGD trainability survives as a separate factor. Generalization onset = region geometry modulo SGD trainability

  • C-D2 Grokking Result (the prior null this redeems)

    The original C-D2 verdict: GROKS_FAR_BELOW_COMPILED_SIZE fires literally, but for two confounded reasons that are themselves the finding — (1) exact size ≠ epsilon-approximation complexity, (2) existence ≠ trainability. N-4 redeems confound (1) and cleanly isolates confound (2)

  • Sundog BoxSEL False-Closure Ledger

    Bounded false-closure detection over Statistical EL box embeddings (BoxSEL, arXiv:2407.11821): separates logical concentration from search/representation/loss-induced narrowing against an exact small-fragment oracle; scaffold, lit-pass filled, no run yet

  • BoxSEL Lit-Pass Memo

    Prior-art spine, claim ledger, and the Phase-1 PMP replication gate (Proposition 2 vs Appendix Algorithm 2 discrepancy); attribution and falsifier set

  • Sundog Capset Ledger

    Hard-math coupling precedent around the unit-distance / cap-set disproof context; evaluator front plus horizon substrate work

  • Sundog ARC-AGI Roadmap

    Abstraction-coupling trial promoted from the Gravity ledger; Phase 0 preregistration under prereg/arc

  • Sundog Gravity Ledger

    Highest-ambition staging ledger for Goodhart and partial-observability trials

  • Sundog vs. Mesa-Optimization

    High-stakes alignment substrate with localized cliff behavior and traceable operating-envelope boundaries

  • Sundog vs. Mesa-Optimization v2 Spine

    Future-integration spine for traceability and separability; sister doc to the main Mesa roadmap

  • Capset / Unit-Distance Lit-Pass Memo

Workbench Roadmaps

  • Application Map

    How operating-envelope workbenches and products relate to the theorem

  • Sundog Balance

    Cart-pole hidden-angle workbench; reads shadow, not pole. Repaired Phase 10 returned CONFIRM

  • Sundog Three-Body

    Denied full state; indirect instability signatures

  • Sundog Pressure Mines

    Phase 0 game-native workbench for hidden mines and noisy pressure fields

  • Sundog Geometry

    Parametric parhelion render workbench

  • Sundog Atlas

    The halo possibility-space as a classified bifurcation diagram; structural arc complete (bifurcation set → strata → phase diagram → capstone). Folder: atlas/

  • Phase 10 Attack Roadmap

    Post-audit Geometry attack plan for the single-handle verdict

  • Sundog Gimmicks Ledger

    Candidate game-native workbenches under evaluation; not yet promoted

  • Sundog vs. Chat-Proxy Capture

    Roadmap and substantiation for the site-helper claim-boundary experiment, including the completed open-weight sweep

  • Sundog Chat v2 Ledger

    Next-generation chat-library roadmap; current surface set, audit-chain claim integration, and the Phase 13+ refresh plan. Research-lane status: R1 MET 2026-06-29 per the disciplined promote-gate (chatv2/PROMOTE_GATE.md) and the R1 completion battery (chatv2/PHASE1_R1_COMPLETION.md) — a de-confounded, seed-robust, objective-driven body-resistance on toy from-scratch transformers with parity-family latents at d_dec < 20 (d_dec ≈ 7.6, high-dim bar UNMET and honestly reported). Two architectures (A1 d=192, A2 d=128) and two latent computations (pair-XOR SHARP to H=8, 3-parity SHARP at H≤4) both cleared; F-readout / F-δ / F-opt falsifiers all passed. R2 (real pretrained LLM + external mech-interp review) is NOT STARTED; R3 (theory of AI) is FAR. The gate's §3 do-not-claim ledger binds: no "world model," no "generative training is special," no "regime-2 confirmed for AI," no "explains generalization/scaling." A framework that fits a toy is not a theory that predicts

  • Sundog Occluded Path

    Pushable-occluder falsification slate paired with Mesa; Balance-style phase model with pre-registered verdict template

  • Sundog Perception

    Atlas-as-instrument roadmap; smartphone-tier Phase 1 (Candidate 12 in the gravity ledger)

  • Sundog vs. Bayes

    Head-to-head framing: Bayes turns evidence into belief; Sundog turns response into control

  • Pushable Occluder Roadmap

    Compatibility redirect to SUNDOG_V_PATH; preserved so older public evidence links resolve

Evidence Ledgers

Pre-Registration & Falsification

Mesa Implementation Specs

Three-Body Experiment

Product and Application Docs

Technical Specs

Geometry Calibration & HaloSim

Sundog Atlas — Classified Bifurcation Diagram

  • Atlas roadmap

    The halo possibility-space as a classified bifurcation diagram (the thesis, the two-component wall taxonomy, the phase table, the §6 falsification gates). Structural arc complete; frozen-as-portfolio, NOT public-eligible.

  • Atlas project folder

    Index of the atlas's banked receipts. Atlas phases carry the ATLAS_PHASE… prefix, distinct from the geometry workbench's calibration/PHASE… scheme.

  • Phase 6.5 — Bifurcation Set

    The transition elevations (CZA 32.196°, CHA 57.804°, the 29.7° merge) derived from {n, geometry}, none hardcoded.

  • Phase 8 — Catastrophe Strata

    The 2-DOF single-crystal sweep; all confirm Berry 1994 (no A₄ swallowtail, no D₄ umbilic); the one higher catastrophe = the Lowitz A₃-lips.

  • Phase 7 — Phase Diagram

    The classified (elevation × habit) phase diagram — 6 habits, 21 cells, 8 derived phase-boundary elevations.

  • Phase 11 — The Capstone

    The small-parameter (platonic-solid) model — the whole atlas generated from ~1 free physical parameter (n) + the fixed ice lattice + the discrete habits.

  • Determining-shadow tower (S2)

    The Shadow-Invertibility cross-substrate operator + the S2 partial physical leg on real halo optics. Companions: S2 lit-pass, measured-sky scope.

  • Atlas lit-pass memo

    Citation spine + gap map (Berry 1994 prior-art, Tape, Können, Greenler); a hard precondition for any outward claim.

Presentation and Promotion

Site and Infrastructure

  • Site Folder

    Website operations, search/social readiness, design-system, assets, and policy ledgers

  • Website Development

    How to edit HTML pages, link docs, build dist/, and deploy

  • SEO and Social Readiness Roadmap

    Per-page metadata, OG cards, sitemap coverage, validator passes, and public-launch gates

  • Icon Assets

    Favicon, app icon, manifest, and HTML tags for sundog.cc

  • Logo Animation Toolkit

    Characterized Sundog mark assets, protected layers, and motion rules

  • Third-Party Reuse

    Permissions and attribution for borrowed design, code, and assets

  • Brand and IP Roadmap

    Legal hygiene, registration, and future entity-formation plan

  • Legal Standing

    Summary of the current ownership and sponsorship structure

  • Photo Data Policy

    Policy for the optional sundog photo sharing checkbox at /sundog §6; opt-in atlas-model training data

  • chat/claim_map.json

    Phase 0 claim classes, source boundaries, evidence tiers, answer templates, and refusal rules for Ask Sundog

  • chat/contents.json

    Artifact index for chat prompts, public data, widget modules, evaluation scripts, and result manifests

  • chat/prompts/gold-normal.jsonl

    Phase 0 normal navigation and explanation prompts for Ask Sundog

  • chat/prompts/gold-boundary.jsonl

    Phase 0 boundary-sensitive prompts for evidence-tier preservation

  • chat/prompts/gold-adversarial.jsonl

    Phase 0 adversarial overclaim prompts for chat-proxy capture probes

  • public/data/sundog-chat-index.json

    Phase 2 generated browser retrieval index for source-boundary inspection

Isotrophy / K-Facet Research

Chat v2 Research Lane

  • chatv2/LANE_CHARTER.md
  • chatv2/PHASE0_2_COMPUTED_LATENTS.md

    Internal/no-publish pre-registration; not deployed from dist.

  • chatv2/PHASE0_MINIMUM_FALSIFIABLE.md

    Internal/no-publish pre-registration; not deployed from dist.

Documentation Index