State machine driver + camp allocator + judge-submitted verdicts +
broadcast hook to Fabric announce channel.
internal/orchestrator/
- allocator.go: pure function implementing the 3-camp rule from the
2026-05-23 design session — for each camp (pro/con/judge), random
pick from volunteers; backfill unfilled camps from remaining
unallocated signups if pool is large enough; <3 final → cancel
with diagnostic reason. rng injected for test determinism.
- allocator_test.go: 7 tests covering empty/insufficient/single-volunteer
/multi-volunteer-no-dup/backfill/insufficient-backfill/large-pool
distinctness invariants. All pass.
- ticker.go: scans every 15s (configurable via ORCHESTRATOR_TICK_INTERVAL),
drives 3 state transitions atomically:
created → signup_open (post fabric announcement async)
signup_open → signup_closed | cancelled (run allocator, write camps)
signup_closed → debating (open round 0)
debating → completed is driven by the verdict POST handler (the
implicit "judging" sub-state is captured by the gate
status==debating AND now>=debate_end_at). Per-topic transitions
use SELECT FOR UPDATE so concurrent ticker instances are safe.
internal/fabric/announce.go: HTTP client posting to a Guild announce
channel using x-fabric-system-key header (the Phase 1 gate). Wraps
the formatted topic announcement (title/summary/timing/schema). All
4 config fields required to enable; any missing → no-op with log
(orchestrator runs fine without Fabric coupling for dev).
internal/store/{round,camp,argument,verdict}_store.go: CRUD layer
for the remaining v2 entities. CampStore.WriteAllocation accepts a
tx so the orchestrator can wrap allocator+camps+status into one
atomic transition.
internal/httpapi/handlers/arguments.go:
- POST /api/topics/{id}/arguments — agent posts during debate. Gates:
agent must be in a camp on this topic; status==debating; content
nonempty and <=32KB; attached to latest open round.
- GET /api/topics/{id}/arguments — full transcript, visibility-gated.
internal/httpapi/handlers/verdict.go:
- POST /api/topics/{id}/verdict — judge submits. Gates: caller==judge
camp; status==debating AND now>=debate_end_at; verdict valid JSON;
rationale required. On success: writes verdicts row (unique on
topic_id → 409 on dup) and flips topic.status to completed.
- GET /api/topics/{id}/verdict — visibility-gated.
config: 5 new env vars — FABRIC_GUILD_BASE_URL,
FABRIC_ANNOUNCE_CHANNEL_ID, FABRIC_SYSTEM_API_KEY,
FABRIC_BOT_BEARER_TOKEN, ORCHESTRATOR_TICK_INTERVAL.
routes.go: wired new handlers — POST signups/arguments/verdict gated
on agent bearer; GET arguments/verdict on optional-auth chain
(public topics readable anonymously).
main.go: instantiates announcer + ticker; ticker.Run in a goroutine
sharing the lifetime ctx.
go vet + gofmt clean; 7/7 allocator tests pass; 12M static binary.
Next: Phase 2E (deploy to t3 with nginx + CF origin cert) or
Phase 2D.5 (SSE stream for live transcript subscribers).
138 lines
4.4 KiB
Go
138 lines
4.4 KiB
Go
package orchestrator
|
|
|
|
import (
|
|
"math/rand"
|
|
"testing"
|
|
|
|
"git.hangman-lab.top/hzhang/Dialectic.Backend/internal/models"
|
|
)
|
|
|
|
func sig(agentID string, camps ...models.Camp) models.SignupView {
|
|
return models.SignupView{AgentID: agentID, WillingCamps: camps}
|
|
}
|
|
|
|
// Helper: assert no duplicate agents across the 3 camps.
|
|
func assertDistinct(t *testing.T, alloc map[models.Camp]string) {
|
|
t.Helper()
|
|
seen := map[string]models.Camp{}
|
|
for c, a := range alloc {
|
|
if prev, ok := seen[a]; ok {
|
|
t.Fatalf("agent %q allocated to both %s and %s", a, prev, c)
|
|
}
|
|
seen[a] = c
|
|
}
|
|
}
|
|
|
|
func TestAllocate_EmptyPoolCancels(t *testing.T) {
|
|
r := Allocate(nil, rand.New(rand.NewSource(1)))
|
|
if r.CancelReason == "" {
|
|
t.Fatal("expected cancel reason, got allocation")
|
|
}
|
|
}
|
|
|
|
func TestAllocate_TwoSignupsCancels(t *testing.T) {
|
|
r := Allocate([]models.SignupView{
|
|
sig("a", models.CampPro),
|
|
sig("b", models.CampCon),
|
|
}, rand.New(rand.NewSource(1)))
|
|
if r.CancelReason == "" {
|
|
t.Fatalf("expected cancel reason (pool<3), got %v", r.Allocation)
|
|
}
|
|
}
|
|
|
|
func TestAllocate_OneVolunteerPerCampFills(t *testing.T) {
|
|
signups := []models.SignupView{
|
|
sig("a", models.CampPro),
|
|
sig("b", models.CampCon),
|
|
sig("c", models.CampJudge),
|
|
}
|
|
r := Allocate(signups, rand.New(rand.NewSource(1)))
|
|
if r.CancelReason != "" {
|
|
t.Fatalf("unexpected cancel: %s", r.CancelReason)
|
|
}
|
|
if r.Allocation[models.CampPro] != "a" || r.Allocation[models.CampCon] != "b" || r.Allocation[models.CampJudge] != "c" {
|
|
t.Fatalf("wrong allocation: %v", r.Allocation)
|
|
}
|
|
assertDistinct(t, r.Allocation)
|
|
}
|
|
|
|
func TestAllocate_AgentMultiVolunteerPicksOnlyOnce(t *testing.T) {
|
|
// 'a' volunteers for all 3 camps. Should only be allocated to one
|
|
// (pro, since it's first in iteration order); other camps need
|
|
// other volunteers or get filled via backfill.
|
|
signups := []models.SignupView{
|
|
sig("a", models.CampPro, models.CampCon, models.CampJudge),
|
|
sig("b", models.CampCon),
|
|
sig("c", models.CampJudge),
|
|
}
|
|
r := Allocate(signups, rand.New(rand.NewSource(1)))
|
|
if r.CancelReason != "" {
|
|
t.Fatalf("unexpected cancel: %s", r.CancelReason)
|
|
}
|
|
if r.Allocation[models.CampPro] != "a" {
|
|
t.Fatalf("expected 'a' in pro, got %v", r.Allocation)
|
|
}
|
|
if r.Allocation[models.CampCon] != "b" {
|
|
t.Fatalf("expected 'b' in con, got %v", r.Allocation)
|
|
}
|
|
if r.Allocation[models.CampJudge] != "c" {
|
|
t.Fatalf("expected 'c' in judge, got %v", r.Allocation)
|
|
}
|
|
assertDistinct(t, r.Allocation)
|
|
}
|
|
|
|
func TestAllocate_BackfillFromUnallocated(t *testing.T) {
|
|
// pro has 2 volunteers ('a','c'), con has 1 ('b'), judge has 0.
|
|
// Allocator picks one of {a,c} for pro, then b for con, then
|
|
// backfills judge from whichever of {a,c} is unallocated.
|
|
signups := []models.SignupView{
|
|
sig("a", models.CampPro),
|
|
sig("b", models.CampCon),
|
|
sig("c", models.CampPro),
|
|
}
|
|
r := Allocate(signups, rand.New(rand.NewSource(1)))
|
|
if r.CancelReason != "" {
|
|
t.Fatalf("unexpected cancel: %s; alloc=%v", r.CancelReason, r.Allocation)
|
|
}
|
|
assertDistinct(t, r.Allocation)
|
|
if len(r.Allocation) != 3 {
|
|
t.Fatalf("expected all 3 camps filled; got %d (%v)", len(r.Allocation), r.Allocation)
|
|
}
|
|
// Con must be 'b' (only volunteer); pro and judge must be {a, c} in some order.
|
|
if r.Allocation[models.CampCon] != "b" {
|
|
t.Fatalf("expected con=b, got %v", r.Allocation)
|
|
}
|
|
pro := r.Allocation[models.CampPro]
|
|
judge := r.Allocation[models.CampJudge]
|
|
if !(pro == "a" && judge == "c") && !(pro == "c" && judge == "a") {
|
|
t.Fatalf("expected pro/judge to be {a,c} permutation, got pro=%s judge=%s", pro, judge)
|
|
}
|
|
}
|
|
|
|
func TestAllocate_BackfillInsufficientCancels(t *testing.T) {
|
|
// pro filled by 'a'; con filled by 'b'; judge has no volunteer
|
|
// AND no remaining unallocated signups → cancel.
|
|
signups := []models.SignupView{
|
|
sig("a", models.CampPro),
|
|
sig("b", models.CampCon),
|
|
}
|
|
r := Allocate(signups, rand.New(rand.NewSource(1)))
|
|
if r.CancelReason == "" {
|
|
t.Fatalf("expected cancel; got allocation %v", r.Allocation)
|
|
}
|
|
}
|
|
|
|
func TestAllocate_LargePoolDistinctness(t *testing.T) {
|
|
// Many signups, all willing for all camps. Allocation should pick 3
|
|
// distinct agents, randomly.
|
|
signups := []models.SignupView{}
|
|
for i := 0; i < 20; i++ {
|
|
signups = append(signups, sig(string(rune('a'+i)), models.CampPro, models.CampCon, models.CampJudge))
|
|
}
|
|
r := Allocate(signups, rand.New(rand.NewSource(42)))
|
|
if r.CancelReason != "" {
|
|
t.Fatalf("unexpected cancel: %s", r.CancelReason)
|
|
}
|
|
assertDistinct(t, r.Allocation)
|
|
}
|