Eureka in ten minutes: outsider-runnable falsification demo #60

Merged

eureka merged 4 commits from eureka-substrate/ten-minute-demo into main 2026-11-08 05:49:13 +00:00

Conversation 0 Commits 4 Files changed 9 +279 -1

eureka commented 2026-11-08 03:19:59 +00:00

Owner

Copy link

Closes follow-up eureka-substrate:follow_up:chat-mind-20261108T031739220Z-t0.

Adds demo/: a tiny tabsplit fixture with a seeded rule-3 bug (the author's 6 tests pass, the report says done), setup.sh, the Soul brief, an answer key, and a README walking install -> green tests -> Soul verdict -> model-free check -> fix with a test that fails first. Root README links it. No quickstart text existed to replace; the install line is reused.

Verified: fresh clone of this branch from the forge with no token, setup.sh into a new dir, tests green, a Soul subagent run against that dir caught the bug (output captured in the README), model-free probe and the fix both run.

Not verified: claude -p is not logged in inside Mind sessions, so the model step ran as a subagent in a Claude Code session, not from a stranger's own claude. The README's step 1 clones main, which has no demo/ until this merges.

Not merged: awaiting review.

🤖 Generated with Claude Code

Closes follow-up `eureka-substrate:follow_up:chat-mind-20261108T031739220Z-t0`. Adds `demo/`: a tiny `tabsplit` fixture with a seeded rule-3 bug (the author's 6 tests pass, the report says done), `setup.sh`, the Soul brief, an answer key, and a README walking install -> green tests -> Soul verdict -> model-free check -> fix with a test that fails first. Root README links it. No quickstart text existed to replace; the install line is reused. **Verified:** fresh clone of this branch from the forge with no token, `setup.sh` into a new dir, tests green, a Soul subagent run against that dir caught the bug (output captured in the README), model-free probe and the fix both run. **Not verified:** `claude -p` is not logged in inside Mind sessions, so the model step ran as a subagent in a Claude Code session, not from a stranger's own `claude`. The README's step 1 clones `main`, which has no `demo/` until this merges. Not merged: awaiting review. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 2 commits 2026-11-08 03:19:59 +00:00

demo: tabsplit fixture with a seeded rule-3 bug, setup script, Soul brief ... 37c8c04e6a

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

demo: walk-through README with captured Soul verdict; link from root README ... ec10b5d74c

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

eureka referenced this pull request from GameCult/eureka-site 2026-11-08 03:20:08 +00:00

Proposal: link 'Eureka in ten minutes' from the install panel #1

eureka added 1 commit 2026-11-08 05:48:30 +00:00

demo README: forge clone URL, step 1 survives a pre-demo clone, charters not auto-installed ... c3ecc32627

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

eureka added 1 commit 2026-11-08 05:48:33 +00:00

README: install line clones from the forge ... cc3f47e638

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

eureka merged commit c846f776a5 into main 2026-11-08 05:49:13 +00:00

eureka referenced this pull request from a commit 2026-11-08 05:49:14 +00:00

Merge pull request 'Eureka in ten minutes: outsider-runnable falsification demo' (#60) from eureka-substrate/ten-minute-demo into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/Eureka!60

No description provided.