Skip to content

v4 loop: long-running harness, entropy gate, verifier protocol - #2978

Closed
lilyshen0722 wants to merge 3 commits into
v4from
v4-workflow
Closed

lilyshen0722 wants to merge 3 commits into
v4from
v4-workflow

Conversation

@lilyshen0722

Copy link
Copy Markdown
Contributor

Feature

infra: the v4 build loop (D186, "build this good loop first and design cleverly first"). Held as a draft until Cofounder and Sam review it. Stacked on #2977 (L0), which is also held.

Done-test

$ ./init.sh            # dependencies, make preflight (check-gen, test, entropy), scoreboard: 2.2 s
1/20 passing. Next: F02

Mutation checks: a 72-line function, a TODO with no row id, an unused file (knip) and a forbidden Go import all fail make entropy.

What changed and why

  • The long-running harness from Anthropic's article: feature_list.json (20 slice features written as e2e tests; only passes may change), init.sh, progress.md, and a 59-line AGENTS.md loop.
  • An entropy gate in preflight and CI:
    • file and function size budgets, LOC caps per area and TODO row ids;
    • Go import boundaries and an exceptions ratchet;
    • knip, dependency-cruiser, staticcheck and deadcode.
  • Review and records: the verifier protocol (fresh-context review plus deslop), ADR 0001, docs/INDEX.md, and the PR template.

Review

  • make preflight green locally
  • feature_list.json: new file
  • progress.md entry added
  • Touches .github/workflows: needs a fresh-context review and an Opus GATE: PASS at head
  • Lesson captured: docs/development/workflow.md

🤖 Generated with Claude Code

https://claude.ai/code/session_01MDs9DS3E4dzoHKdxtgQqyz

lilyshen0722 and others added 3 commits October 29, 2026 00:57
schema/ (7 files, drafted by the SWE session) is the only source of wire
shapes. scripts/gen.mjs writes gen/ts/protocol.ts, gen/ts/schemas.json (ajv
bundle), gen/ts/tools.json (MCP tools, refs inlined) and
daemon/internal/protocol/gen.go (structs, enums, required-key checks, event
decode). It rejects composition keywords and inline objects, and checks that
x-variants covers EventType exactly.

71 fixtures under schema/fixtures/ are checked by ajv (valid pass, invalid
fail) and by a Go round-trip test (valid re-encode to the same JSON,
invalid-required rejected). CI runs make check-gen, test-ts and test-go,
with Bun and Go installed by setup actions.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MDs9DS3E4dzoHKdxtgQqyz
feature_list.json (20 slice features as e2e tests), init.sh, progress.md,
AGENTS.md loop (59 lines), PR template, docs/development/{workflow,verifier}.md,
docs/INDEX.md, ADR 0001 (dev tooling + slice LOC caps), and make entropy:
size budgets, TODO ids, LOC caps, Go import boundaries, exceptions ratchet,
knip, dependency-cruiser, staticcheck, deadcode. Wired into preflight and CI.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MDs9DS3E4dzoHKdxtgQqyz
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MDs9DS3E4dzoHKdxtgQqyz
@coderabbitai

coderabbitai Bot commented Oct 29, 2026

Copy link
Copy Markdown

Important

Draft PR not reviewed

Draft PRs are not automatically reviewed by default.

  • Trigger a manual review

To automatically review draft PRs, update your CodeRabbit configuration:

reviews:
  auto_review:
    drafts: true
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Comment @coderabbitai help to get the list of available commands.

@lilyshen0722

Copy link
Copy Markdown
Contributor Author

Moved to Team-Commonly/jellymoon#2 (v4 now lives in its own private repo, D187). The v4 branch stays until the new repo's CI is green.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant