diff --git a/README.md b/README.md index 8179f3e..5603195 100644 --- a/README.md +++ b/README.md @@ -1,21 +1,21 @@ -# hotpath +# peltier.io > Spot cooling for hot paths. A profile-guided optimization agent that > only ships wins it can prove. -hotpath profiles real binaries and services, isolates hot paths, proposes +Peltier profiles real binaries and services, isolates hot paths, proposes optimizations, and accepts a change **only** when two independent bars are cleared: **behavioral equivalence** (upstream tests + byte-identical golden replay + differential fuzzing + sanitizers) and **statistical significance** (the speedup's bootstrap 95% CI lower bound clears a threshold on calibrated hardware). A change without both is discarded and logged. -Consultants sell surveys; compilers sell flags. hotpath sells **verified +Consultants sell surveys; compilers sell flags. Peltier sells **verified deltas with the methodology attached** โ€” a stopwatch on pinned hardware, a proof of equivalence, and an ROI figure whose confidence interval survives hostile review. -๐Ÿ“– **Full documentation: the [hotpath book](https://bdbrown4.github.io/peltier.io/)** +๐Ÿ“– **Full documentation: the [peltier.io book](https://bdbrown4.github.io/peltier.io/)** ยท Design spec: [SPEC.md](SPEC.md) ยท Charter: [CLAUDE.md](CLAUDE.md) ## Verified results diff --git a/docs/book.toml b/docs/book.toml index 14d0dd8..56f0d9b 100644 --- a/docs/book.toml +++ b/docs/book.toml @@ -1,7 +1,7 @@ [book] -title = "hotpath" +title = "peltier.io" description = "A profile-guided optimization agent that only ships wins it can prove." -authors = ["hotpath"] +authors = ["peltier.io"] language = "en" src = "src" diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md index a569428..7da2aee 100644 --- a/docs/src/SUMMARY.md +++ b/docs/src/SUMMARY.md @@ -1,6 +1,6 @@ # Summary -[hotpath](./introduction.md) +[peltier.io](./introduction.md) - [The thesis: trust is the product](./thesis.md) - [Architecture](./architecture.md) diff --git a/docs/src/architecture.md b/docs/src/architecture.md index 8291207..9e04370 100644 --- a/docs/src/architecture.md +++ b/docs/src/architecture.md @@ -1,6 +1,6 @@ # Architecture -hotpath is split into a **trust layer** (Rust, the agent cannot write it) +Peltier is split into a **trust layer** (Rust, the agent cannot write it) and an **untrusted proposer** (the agent). The split is structural, not advisory: the guarantees hold even if the proposer is adversarial. diff --git a/docs/src/introduction.md b/docs/src/introduction.md index 5af7e55..3126526 100644 --- a/docs/src/introduction.md +++ b/docs/src/introduction.md @@ -1,9 +1,9 @@ -# hotpath +# peltier.io > Spot cooling for hot paths. A profile-guided optimization agent that > only ships wins it can prove. -hotpath profiles real binaries and services, isolates hot paths, proposes +Peltier profiles real binaries and services, isolates hot paths, proposes optimizations, and accepts a change **only** when two independent bars are cleared: @@ -36,7 +36,7 @@ new gate. ## The differentiator -Consultants sell surveys; compilers sell flags. hotpath sells **verified +Consultants sell surveys; compilers sell flags. Peltier sells **verified deltas with the methodology attached** โ€” a stopwatch on pinned hardware, a proof of equivalence, and an ROI figure whose confidence interval you can quote to a hostile reviewer. That is the entire product, and this site diff --git a/docs/src/isolation.md b/docs/src/isolation.md index 34f65da..9fee1f4 100644 --- a/docs/src/isolation.md +++ b/docs/src/isolation.md @@ -1,6 +1,6 @@ # Isolation & anti-reward-hacking -The guarantees only matter if the proposer cannot cheat. hotpath's defense +The guarantees only matter if the proposer cannot cheat. Peltier's defense is **structural**: the agent is denied the capabilities it would need to manufacture a false win, at the OS level, not by prompt. diff --git a/docs/src/measurement.md b/docs/src/measurement.md index 05ff5d1..52a9efa 100644 --- a/docs/src/measurement.md +++ b/docs/src/measurement.md @@ -46,7 +46,7 @@ shared runners โ€” passed both bars before its numbers were trusted. Phase 4 measures latency under load, where the classic trap is **coordinated omission**: a closed-loop client that waits for a slow response simply sends fewer requests during the stall, so the stall never -appears in the latency histogram. hotpath's load generator is **open-loop** +appears in the latency histogram. Peltier's load generator is **open-loop** โ€” requests are scheduled at a fixed rate and each latency is measured from its *intended* send time. When the server falls behind, the requests queued behind it each carry the full delay a real client would have seen. Nothing diff --git a/docs/src/thesis.md b/docs/src/thesis.md index 78c78e9..923d9b9 100644 --- a/docs/src/thesis.md +++ b/docs/src/thesis.md @@ -5,7 +5,7 @@ almost always some mix of a noisy benchmark, a workload that flatters the change, and a behavioral difference nobody checked. The number is real to the person who measured it and worthless to everyone downstream. -hotpath is built on the opposite premise: **a performance claim is a +Peltier is built on the opposite premise: **a performance claim is a liability until it is proven, and the proof ships with the number.** ## Three non-negotiables diff --git a/docs/theme/custom.css b/docs/theme/custom.css index 4816833..59b70ba 100644 --- a/docs/theme/custom.css +++ b/docs/theme/custom.css @@ -1,4 +1,4 @@ -/* hotpath docs โ€” small refinements over the default mdBook theme. */ +/* peltier.io docs โ€” small refinements over the default mdBook theme. */ .content h1 { border-bottom: 2px solid var(--links);