Issues

• Resume a stopped run as an explicit continuation

  sequelcore/tesota#823 · Filter by author Sequela02 opened on Nov 6, 2026

• Research: what stops Tesota's verification loop from needing no extra installs?

  sequelcore/tesota#822 · Filter by author Sequela02 opened on Nov 6, 2026
  2

• bun run check runs eight minutes and fails 20 tests when ripgrep isn't vendored

  sequelcore/tesota#818 · Filter by author Sequela02 opened on Nov 6, 2026

• Engine session lifecycle is spread across flags instead of one phase

  sequelcore/tesota#816 · Filter by author Sequela02 opened on Nov 6, 2026

• MCP sign-in fails when ~/.tesota doesn't exist yet

  bug
  sequelcore/tesota#815 · Filter by author Sequela02 opened on Nov 6, 2026

• Tests start Git thousands of times, most in gate.test.ts

  sequelcore/tesota#809 · Filter by author Sequela02 opened on Nov 5, 2026
  3

• ClaimCheck can be turned off by flag but not by setting

  sequelcore/tesota#805 · Filter by author Sequela02 opened on Nov 5, 2026

• A subagent can start on a costlier model than the session without asking

  sequelcore/tesota#803 · Filter by author Sequela02 opened on Nov 5, 2026

• Research: can the gate verify less often without verifying less?

  sequelcore/tesota#800 · Filter by author Sequela02 opened on Nov 5, 2026
  1

• Make the test suite fast and deterministic, measured first

  sequelcore/tesota#799 · Filter by author Sequela02 opened on Nov 5, 2026
  10

• Experiment: can a disagreement search find the cases a request leaves open?

  sequelcore/tesota#796 · Filter by author Sequela02 opened on Nov 5, 2026
  1

• Investigate selective native verification from design models to code

  enhancement
  sequelcore/tesota#792 · Filter by author Sequela02 opened on Nov 3, 2026

• Research: agents that change files through shell scripts instead of edit tools

  sequelcore/tesota#768 · Filter by author Sequela02 opened on Oct 29, 2026

• A terminal theme that follows the user's own color scheme

  feat
  sequelcore/tesota#748 · Filter by author Sequela02 opened on Oct 29, 2026

• Performance evidence in the receipt: interleaved before/after, never a bare speedup

  enhancement
  sequelcore/tesota#719 · Filter by author Sequela02 opened on Oct 27, 2026

• Decide Quint's Windows limit from its version, once Quint releases its spawn fix

  sequelcore/tesota#695 · Filter by author Sequela02 opened on Oct 26, 2026

• Offer to download the verification toolchain on first use, pinned and verified

  sequelcore/tesota#688 · Filter by author Sequela02 opened on Oct 26, 2026
  3

• Measure whether analyzing with TypeScript 5.7 misreads newer TypeScript

  sequelcore/tesota#682 · Filter by author Sequela02 opened on Oct 26, 2026
  1

• Explore: the receipt as a shareable HTML page, generated from evidence

  sequelcore/tesota#661 · Filter by author Sequela02 opened on Oct 25, 2026
  1

• When a plan's limit stops a run, ask which model should continue it

  enhancement
  sequelcore/tesota#597 · Filter by author Sequela02 opened on Oct 23, 2026

• Start a session in a new worktree from a chosen base, prepared by the repository's setup

  enhancement
  sequelcore/tesota#579 · Filter by author Sequela02 opened on Oct 22, 2026

• Evaluation: run claude-code models on the engine, not through claude -p

  enhancement
  sequelcore/tesota#571 · Filter by author Sequela02 opened on Oct 22, 2026

• Receipt: list the owners CODEOWNERS gives each changed path

  sequelcore/tesota#533 · Filter by author Sequela02 opened on Oct 21, 2026

• Run commands in the background and read their output

  enhancement
  sequelcore/tesota#524 · Filter by author Sequela02 opened on Oct 19, 2026
  1

• Read images with the read tool

  enhancement
  sequelcore/tesota#523 · Filter by author Sequela02 opened on Oct 19, 2026