Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 26 additions & 1 deletion docs/site/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ The public home introduces the mathematics before its implementation. All pages

- **Home (`index.html`):** a short introduction to random landscapes, thresholds and persistence; no source catalog is downloaded on this page.
- **Explore (`explore.html`):** three deterministic teaching models—negative-definite curvature, cubic gap scaling and a finite capacity example. Controls work locally with no remote data service. These illustrate their defined examples and do not certify a continuum result.
- **Research (`research.html`):** a curated reading path from the question to the precise proof and recorded review, with conditions and limits stated alongside the result.
- **Research (`research.html`):** a dated Latest public work reading cut, followed by the established question-to-proof paths. Pinned source citations, scoped formal packets and issue-only proofs retain distinct scope; separately labeled mutable upstream links reach newer work.
- **Library and workspace (`workspace.html`):** the existing exact coefficient viewer, dated status snapshot, hash-verified source inventory and contributor instructions. Old `index.html#board`, `#coefficient`, `#inventory` and `#contribute` bookmarks route here; without JavaScript the home still offers the workspace link.
- **Reproduce (`reproduce.html`):** a single pinned coefficient replay, prerequisites, actual expected output and the boundary of the check.
- **Cite (`cite.html`):** object-specific citation guidance and a local immutable-reference builder. It checks input syntax, not source existence or scientific status.
Expand All @@ -23,6 +23,31 @@ python3 -B -S -m unittest discover -s tests -p test_reader_links.py -v

Check real desktop/mobile layouts, keyboard operation, light/dark appearance and source-unavailable behavior separately. The pure-model tests are not browser or scientific verification.


## Latest public work is a reading cut

`research.html#latest-work` is static editorial navigation checked at its displayed
UTC time. It links the landed soft-model chain at Math `07320089`, the separately
landed cap formalization at `0fda855b`, exact public C81–C84 issue-comment proofs and
reviews (model and source-bound actual/contact scopes kept distinct), the finite numerical work at main `1e1c9a1c`, and the existing catalog and
query sources. The named boundaries are part of each reading path. This is a
curated selection plus full upstream navigation, not a complete artifact catalog,
scientific-status register or automatic synchronization service.

Exact-commit citations preserve the reading cut. The **Check newer work** section
intentionally follows mutable upstream branches and discussions. Comment links
identify the public record but comments remain editable; their reviews record the
reviewed identity. A missing source is unavailable evidence. No browser fetch or
execution of those sources is claimed. The Library, status and museum snapshots
retain all their original pins and are not refreshed by this section.

The existing four light/dark desktop/mobile source-card browser cases now also
exercise the Home → Latest public work route, native keyboard fragment focus,
repeated source-identity disclosure, Back/Forward navigation, no document overflow
and the static route with remote source requests refused. Each case retains a
latest-entry screenshot. Actual source identity readback is a separate engineering
check, not something established by a screenshot or link.

## Keep or share a Library search

The Library's search, repository and path filters are saved in the current URL
Expand Down
30 changes: 30 additions & 0 deletions docs/site/home.css
Original file line number Diff line number Diff line change
Expand Up @@ -66,3 +66,33 @@ nav a[aria-current="page"] { text-decoration: underline; text-underline-offset:
}
@media (forced-colors: active) { .landscape-art svg g:first-of-type { stroke: CanvasText; } .art-point { fill: CanvasText; } .launch-card { border-color: CanvasText; } }
@media print { .reader-home .home-hero { grid-template-columns: 1fr; } .landscape-art { max-width: 350px; } .launch-card { break-inside: avoid; } }
/* Dated reading navigation, separate from scientific exhibit classes. */
.latest-work { scroll-margin-top: 24px; }
Comment thread
d6g8k5htny-coder marked this conversation as resolved.
Resolved
.latest-feature, .latest-card, .latest-upstream { background: var(--ul-surface); border: 1px solid var(--ul-border); border-radius: 18px; padding: 28px; min-width: 0; }
.latest-feature { margin-top: 30px; }
.latest-feature > h3, .latest-card h3, .latest-upstream h3 { font: 27px/1.35 Georgia, serif; margin: 10px 0 16px; }
.latest-feature p, .latest-card p, .latest-upstream p { max-width: 78ch; }
.latest-chain { list-style: none; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 28px; margin: 30px 0; }
.latest-chain li { border-top: 2px solid var(--ul-edge); padding-top: 20px; min-width: 0; }
.latest-chain h4 { font-size: 18px; margin: 12px 0; }
.latest-chain p, .latest-card p, .latest-card li { font-size: 15px; line-height: 1.75; }
.latest-chain p, .latest-card > p, .latest-upstream p { color: var(--ul-muted); }
.latest-boundary { border-left: 3px dashed var(--ul-edge); padding-left: 18px; }
.latest-identities { border-top: 1px solid var(--ul-border); padding-top: 12px; }
.latest-identities summary { color: var(--ul-link); cursor: pointer; padding: 10px 0; }
.latest-identities code, .latest-card code { overflow-wrap: anywhere; }
.latest-identities li { margin-bottom: 14px; overflow-wrap: anywhere; }
.latest-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 20px; margin-top: 20px; }
.latest-card ul, .latest-upstream ul { padding-left: 22px; }
.latest-card li, .latest-upstream li { margin: 12px 0; }
.latest-upstream { margin-top: 20px; background: var(--ul-raised); }
@media (max-width: 800px) {
.latest-chain, .latest-grid { grid-template-columns: 1fr; }
.latest-feature, .latest-card, .latest-upstream { padding: 22px; }
.latest-chain { gap: 18px; }
}
@media (forced-colors: active) { .latest-feature, .latest-card, .latest-upstream { border-color: CanvasText; } }
@media print { .latest-card, .latest-chain li { break-inside: avoid; } }

.latest-work:focus-visible, .latest-upstream:focus-visible { outline: 3px solid var(--ul-focus); outline-offset: 4px; }
@media (forced-colors: active) { .latest-work:focus-visible, .latest-upstream:focus-visible { outline-color: Highlight; } }
2 changes: 1 addition & 1 deletion docs/site/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
<header><a class="brand" href="index.html">UNIVERSAL LAW <span>MATHEMATICS IN THE OPEN</span></a><nav aria-label="Primary"><a href="index.html" aria-current="page">Home</a><a href="explore.html">Explore</a><a href="research.html">Research</a><a href="workspace.html#inventory">Library</a></nav></header>
<nav class="reader-tools" aria-label="Research tools"><a href="reproduce.html">Reproduce</a><a href="cite.html">Cite</a></nav>
<main id="main-content" tabindex="-1">
<section class="hero home-hero"><div><p class="eyebrow">RANDOM LANDSCAPES. LASTING STRUCTURE.</p><h1>The shape<br>of randomness.</h1><p class="intro">A landscape has peaks, valleys, and connections. Change the height you look at, and its shape changes. Which features survive—and what can we prove about them?</p><div class="actions"><a class="button" href="explore.html">Explore the mathematics ↗</a><a class="text-link" href="#the-idea">Start with the idea ↓</a></div><p class="hero-note">An open research program in Gaussian random fields and persistent topology.</p></div>
<section class="hero home-hero"><div><p class="eyebrow">RANDOM LANDSCAPES. LASTING STRUCTURE.</p><h1>The shape<br>of randomness.</h1><p class="intro">A landscape has peaks, valleys, and connections. Change the height you look at, and its shape changes. Which features survive—and what can we prove about them?</p><div class="actions"><a class="button" href="explore.html">Explore the mathematics ↗</a><a class="text-link" href="#the-idea">Start with the idea ↓</a></div><p><a href="research.html#latest-work">Read the latest public work →</a></p><p class="hero-note">An open research program in Gaussian random fields and persistent topology.</p></div>
<figure class="landscape-art"><svg viewBox="0 0 520 440" role="img" aria-labelledby="landscape-title landscape-desc"><title id="landscape-title">Contours of an imagined landscape</title><desc id="landscape-desc">Nested contour lines form two neighboring peaks. This decorative drawing introduces the idea of studying shape at different heights; it is not research data.</desc><defs><linearGradient id="contour-ink" x1="0" y1="0" x2="1" y2="1"><stop offset="0" stop-color="#78c1ff"/><stop offset="1" stop-color="#e9c675"/></linearGradient></defs><g fill="none" stroke="url(#contour-ink)" stroke-width="1.5"><path d="M32 258C-1 190 100 50 215 54S324 109 390 138S522 214 477 302S343 415 217 380S62 328 32 258Z"/><path d="M57 253C29 193 113 76 215 80S307 129 376 154S486 219 456 287S342 387 224 358S88 315 57 253Z"/><path d="M85 247C63 196 129 106 214 105S287 150 360 171S450 223 433 274S340 360 232 335S112 298 85 247Z"/><path d="M112 240C94 201 145 133 214 132S272 171 345 188S415 225 408 262S339 333 243 311S137 284 112 240Z"/><path d="M142 229C128 197 163 160 214 160S246 197 295 207S369 191 385 236S335 307 257 284S163 270 142 229Z"/><path d="M166 218C161 194 183 183 214 185S240 210 234 235S184 257 171 234Z"/><path d="M189 214C187 205 200 200 213 207S218 228 207 232S190 225 189 214Z"/><path d="M291 242C293 224 324 214 346 226S371 260 348 275S295 264 291 242Z"/><path d="M313 244C314 237 328 234 338 239S347 254 337 260S315 256 313 244Z"/></g><g class="art-axis" fill="none" stroke="currentColor"><path d="M38 396H478M38 396V42"/></g><circle cx="206" cy="216" r="4" class="art-point"/><circle cx="330" cy="248" r="4" class="art-point"/><text x="226" y="212" class="art-label">a peak</text><text x="349" y="251" class="art-label">a neighbor</text></svg><figcaption>An imagined landscape · a visual introduction</figcaption></figure></section>
<section id="the-idea"><div class="section-heading"><div><p class="eyebrow">THE IDEA, IN A MINUTE</p><h2>From a changing landscape<br>to a precise question.</h2></div></div><div class="idea-grid"><article><span class="step-number">01</span><h3>A field gives every point a height.</h3><p>A random field assigns spatially related values. Nearby heights can vary together. In a Gaussian field, every finite collection of values has a joint Gaussian distribution.</p></article><article><span class="step-number">02</span><h3>A threshold reveals its shape.</h3><p>Imagine lowering a horizontal waterline. Peaks emerge as islands. As the level falls, islands grow and join. Critical points mark changes in the landscape.</p></article><article><span class="step-number">03</span><h3>Persistence measures what lasts.</h3><p>A feature has a birth and an end as the threshold changes. The research asks how its lifetime and the geometry of nearby critical points can be bounded mathematically.</p></article></div></section>
<section id="discover"><div class="section-heading"><div><p class="eyebrow">CHOOSE YOUR WAY IN</p><h2>A few good places to start.</h2></div><p class="section-intro">Begin with intuition. Go as deep as you like.</p></div><div class="launch-grid">
Expand Down
Loading
Loading