From 7806fcba8a070228e2dee3015f44458fa1ac9c93 Mon Sep 17 00:00:00 2001 From: Gerard Louis Recinto Date: Thu, 29 Oct 2026 00:51:22 -0700 Subject: [PATCH 1/4] Put the hero first and make form failures visible The hero and its one filled CTA now sit above the scroll story, the wasm preload is gone and the engine starts on first interaction, and the video is click to play. Enterprise and Pro forms report real failures instead of claiming success. Trust text is larger and lighter for contrast, social preview tags gain image alt text, and fixed test sleeps are replaced with frame and poll waits. Thanks, Gerard Recinto --- README.md | 6 +- demo-agents/index.html | 14 +- demo-btree/index.html | 12 +- demo-intent/index.html | 14 +- demo/index.html | 329 ++++++++++++++++++-------------- demo/tailwind.css | 2 +- docs/index.html | 12 +- tests/a11y.spec.ts | 3 +- tests/helpers/wasm-lifecycle.ts | 29 +++ tests/homepage.spec.ts | 66 +++++-- tests/page-sound.spec.ts | 6 +- tests/playful.spec.ts | 7 +- tests/private-intent.spec.ts | 3 +- tests/sound.spec.ts | 17 +- tests/visual-animation.spec.ts | 3 + 15 files changed, 319 insertions(+), 204 deletions(-) diff --git a/README.md b/README.md index 0bc7fcf26..cfd00c7a7 100644 --- a/README.md +++ b/README.md @@ -10,13 +10,13 @@ [![CI](https://github.com/SharedCode/joltrin/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/SharedCode/joltrin/actions/workflows/ci.yml) [![Go Tests](https://github.com/SharedCode/joltrin/actions/workflows/go.yml/badge.svg?event=push&branch=master)](https://github.com/SharedCode/joltrin/actions/workflows/go.yml) -[![codecov](https://codecov.io/gh/SharedCode/sop/branch/master/graph/badge.svg)](https://app.codecov.io/github/SharedCode/sop) +[![codecov](https://codecov.io/gh/SharedCode/joltrin/branch/master/graph/badge.svg)](https://app.codecov.io/github/SharedCode/joltrin) [![Go Reference](https://pkg.go.dev/badge/github.com/sharedcode/joltrin/v5.svg)](https://pkg.go.dev/github.com/sharedcode/joltrin/v5) [![License](https://img.shields.io/github/license/SharedCode/joltrin)](LICENSE) -Joltrin (formerly SOP) is an open-source Go library that checks an AI agent's action against the recorded trace before the action commits. The agent proposes. A separate verifier decides, using fixed preconditions and the steps the server has actually recorded. It does not use the agent's claims, its prompt context, its self-evaluation, or its confidence. +Joltrin blocks an AI agent's risky step, like dropping a database, until the steps before it are recorded, and tells the agent what to do first. It is an open-source Go library that checks the action against the recorded trace before it commits. The agent proposes. A separate verifier decides, using fixed preconditions and the steps the server has actually recorded. It does not use the agent's claims, its prompt context, its self-evaluation, or its confidence. **The problem.** An agent can propose a destructive action and report success from its own context. If the same agent also judges the action safe, both judgments can fail for the same reason. That correlated failure is the production risk, and asking the agent to be careful does not remove it. @@ -177,7 +177,7 @@ The verifier sits on an embedded, ACID-compliant B-Tree storage engine, so the t | C# | `dotnet add package Sop` | | Container | `docker run ghcr.io/sharedcode/joltrin-quickstart:stable` | -Java and Rust bindings exist in the repo and are not published yet. Version pinning, the note on the old SOP package names, and the full list are in [docs/PACKAGES.md](docs/PACKAGES.md). +Java and Rust bindings exist in the repo and are not published yet. Joltrin was formerly called SOP. Version pinning, the note on the old SOP package names, and the full list are in [docs/PACKAGES.md](docs/PACKAGES.md). ## Open core and plans diff --git a/demo-agents/index.html b/demo-agents/index.html index 1f2a1fd97..c308f260f 100644 --- a/demo-agents/index.html +++ b/demo-agents/index.html @@ -14,13 +14,17 @@ + + + - - - - - + + + + + + diff --git a/demo-btree/index.html b/demo-btree/index.html index 55a192f2b..8e8d79bc5 100644 --- a/demo-btree/index.html +++ b/demo-btree/index.html @@ -11,6 +11,9 @@ + + + @@ -36,10 +39,11 @@ html { scroll-behavior: auto; } } - - - - + + + + + - - - - + + + + + - + - -
-
-
-

Independent verification

-

An agent says it backed up the database. Joltrin checks the record, not the claim.

-

Scroll down to continue Skip to the demo

-
-
- -
-
-
-

- Blocked. - Allowed. -

-

- The agent asks to drop the production database. The recorded trace has no validated backup, so the barrier refuses. - It tries to validate a backup that was never taken. Refused again, with the missing state named. - It takes the backup. That step has everything it needs, so it is recorded. - Now the validation passes, because the backup it depends on exists in the trace. - The drop is committed. The order was enforced by the barrier, whatever the agent said it had already done. -

-
- -
-
- -
-

Check before it commits.

-
- Open the barrier demo - Read the quickstart -
-
-
- -
- + +
@@ -754,20 +711,19 @@

Watch the short demo - + class="text-slate-400 hover:text-white underline underline-offset-4 decoration-dark-600 text-sm transition"> See Pro

MIT licensed · Go · 500+ test files · runs in your browser, no signup

-

Or run it now (Go 1.26.10 or newer)

+

Or run it now (Go 1.26.10 or newer)

go run github.com/sharedcode/joltrin/v5/examples/verify_barrier@latest
-

It checks the recorded trace, not the world. What this does not prove

-

No Go installed? Install the MCP server with one command for Claude Code, Codex or Gemini CLI.

+

It checks the recorded trace, not the world. What this does not prove

+

No Go installed? Install the MCP server with one command for Claude Code, Codex or Gemini CLI.

@@ -781,7 +737,7 @@

validate_backup ALLOWED
drop_prod_db ALLOWED
-

The order is enforced by the barrier, whatever the agent says it already did.

+

The order is enforced by the barrier, whatever the agent says it already did.

@@ -795,20 +751,75 @@

    -

    These are the same rules, replayed in the page. For the real compiled check, use the agents page.

    +

    These are the same rules, replayed in the page. For the real compiled check, use the agents page.

    + + + + +
    +
    +
    +

    Independent verification

    +

    An agent says it backed up the database. Joltrin checks the record, not the claim.

    +

    Scroll down to continue Skip to the demo

    +
    +
    - +
    +
    +
    +

    + Blocked. + Allowed. +

    +

    + The agent asks to drop the production database. The recorded trace has no validated backup, so the barrier refuses. + It tries to validate a backup that was never taken. Refused again, with the missing state named. + It takes the backup. That step has everything it needs, so it is recorded. + Now the validation passes, because the backup it depends on exists in the trace. + The drop is committed. The order was enforced by the barrier, whatever the agent said it had already done. +

    +
    + +
    +
    + +
    +

    Check before it commits.

    +
    + Open the barrier demo + Read the quickstart +
    +
    +
    + +
    + +
    - +
    @@ -2264,31 +2275,87 @@

    Open Source &a