@synopackageland/cli 0.4.1 → 0.5.3

package/dist/templates/native-go/backend/internal/helper/sdk_attach_contract.go

@@ -0,0 +1,32 @@
+//go:build synopkgland_sdk_workers
+
+package helper
+
+import "time"
+
+// S7 interactive liveness: these are independent of worker total/checkpoint
+// deadlines. The owner holds the monotonic deadline only in this process.
+const sdkAttachRenewInterval = 2 * time.Second
+const sdkAttachTTL = 6 * time.Second
+
+const SDKAttachRenewMS = int64(sdkAttachRenewInterval / time.Millisecond)
+const SDKAttachTTLMS = int64(sdkAttachTTL / time.Millisecond)
+
+type sdkAttachLease struct {
+	id        string
+	principal Principal
+	session   string
+	epoch     string
+	deadline  time.Duration
+	last      time.Duration
+	denied    bool
+}
+
+// Public lease reference is an index, never a bearer authentication credential.
+type sdkAttachReceipt struct {
+	JobID        string `json:"jobId"`
+	Revision     uint64 `json:"revision"`
+	AttachID     string `json:"attachId"`
+	RenewAfterMS int64  `json:"renewAfterMs"`
+	TTLMS        int64  `json:"ttlMs"`
+}

package/dist/templates/native-go/backend/internal/helper/sdk_attach_test.go

@@ -0,0 +1,184 @@
+//go:build synopkgland_sdk_workers
+
+package helper
+
+import (
+	"context"
+	"dsmapp/internal/helper/jobcontract"
+	"testing"
+	"time"
+)
+
+func attachFixture(t *testing.T) (*sdkJobTestFixture, *time.Duration, *sdkJob) {
+	t.Helper()
+	f := sdkJobFixture(t)
+	elapsed := time.Duration(0)
+	f.o.attachNow = func() time.Duration { return elapsed }
+	if code := f.submit(); code != "" {
+		t.Fatal(code)
+	}
+	j := f.o.jobs[f.r.Control.Binding.Job.ID]
+	if j.attach == nil || !allReferences(j.attach.id) {
+		t.Fatal("submit did not issue a root lease")
+	}
+	return f, &elapsed, j
+}
+func renewAttach(f *sdkJobTestFixture, j *sdkJob) Code {
+	return f.o.renewAttach(context.Background(), f.carriers, j.request.Control.Binding.Job.ID, j.attach.id)
+}
+func TestSDKAttachExpiryDurableCancelAndQ(t *testing.T) {
+	f, elapsed, j := attachFixture(t)
+	*elapsed = sdkAttachTTL
+	if c := f.o.poll(context.Background()); c != "" {
+		t.Fatal(c)
+	}
+	if !j.terminal || j.receipt.Job.State != jobcontract.Canceled || !j.receipt.Job.Drained || f.journal.cancels != 1 {
+		t.Fatal(j.receipt, f.journal.cancels)
+	}
+	if c := renewAttach(f, j); c == "" {
+		t.Fatal("late renew resurrected job")
+	}
+}
+func TestSDKAttachRenewExpiryOrderingAndNoDeadlineExtension(t *testing.T) {
+	for _, expired := range []bool{false, true} {
+		t.Run(map[bool]string{false: "renew-first", true: "expiry-first"}[expired], func(t *testing.T) {
+			f, elapsed, j := attachFixture(t)
+			admitted, checkpoint, activity := j.op.admittedAt, j.lastCheckpoint, j.op.lastActivity
+			controls := len(f.o.controls)
+			*elapsed = sdkAttachTTL - time.Nanosecond
+			if expired {
+				*elapsed = sdkAttachTTL
+			}
+			c := renewAttach(f, j)
+			if expired {
+				if c != ErrExpired || !j.receipt.Job.Drained {
+					t.Fatal(c, j.receipt)
+				}
+				return
+			}
+			if c != "" {
+				t.Fatal(c)
+			}
+			if j.op.admittedAt != admitted || j.lastCheckpoint != checkpoint || j.op.lastActivity != activity || len(f.o.controls) != controls {
+				t.Fatal("renew changed job deadline/tickets")
+			}
+			*elapsed = sdkAttachTTL
+			if c = f.o.poll(context.Background()); c != "" || j.terminal {
+				t.Fatal(c, j.receipt)
+			}
+			*elapsed = 2 * sdkAttachTTL
+			f.o.poll(context.Background())
+			if !j.receipt.Job.Drained {
+				t.Fatal("renewed lease did not expire")
+			}
+		})
+	}
+}
+func TestSDKAttachRejectsForeignBindingsAndFreshProofLoss(t *testing.T) {
+	for _, kind := range []string{"token", "session", "principal", "epoch", "logout"} {
+		t.Run(kind, func(t *testing.T) {
+			f, _, j := attachFixture(t)
+			switch kind {
+			case "token":
+				j.attach.id = grantRef('f')
+			case "session":
+				f.native.session.SessionRef = grantRef('e')
+				f.native.app.SessionRef = grantRef('e')
+			case "principal":
+				j.attach.principal.SubjectRef = grantRef('f')
+			case "epoch":
+				j.attach.epoch = grantRef('f')
+			case "logout":
+				f.native.sessionCode = ErrDenied
+			}
+			token := j.attach.id
+			if kind == "token" {
+				token = grantRef('e')
+			}
+			before := j.attach.deadline
+			if c := f.o.renewAttach(context.Background(), f.carriers, j.request.Control.Binding.Job.ID, token); c == "" {
+				t.Fatal("foreign renew accepted")
+			}
+			if j.attach.deadline != before {
+				t.Fatal("failed renew extended lease")
+			}
+		})
+	}
+}
+func TestSDKAttachClockJumpAndRestart(t *testing.T) {
+	for _, jump := range []time.Duration{-time.Hour, time.Hour} {
+		t.Run(jump.String(), func(t *testing.T) {
+			f, elapsed, j := attachFixture(t)
+			before := j.attach.deadline
+			wall := f.c.now()
+			f.c.now = func() time.Time { return wall.Add(jump) }
+			// Wall-clock discontinuity cannot change the owner's monotonic lease.
+			if f.o.attachExpired(j) || j.attach.deadline != before {
+				t.Fatal("wall jump changed attach TTL")
+			}
+			*elapsed = sdkAttachTTL
+			if !f.o.attachExpired(j) {
+				t.Fatal("wall jump extended lease")
+			}
+		})
+	}
+	f, elapsed, j := attachFixture(t)
+	*elapsed = time.Second
+	if c := renewAttach(f, j); c != "" {
+		t.Fatal(c)
+	}
+	*elapsed = 0
+	if !f.o.attachExpired(j) {
+		t.Fatal("monotonic rollback accepted")
+	}
+	// A fresh owner has no old lease even for a coincidentally equal job id.
+	fresh := sdkJobFixture(t)
+	if c := fresh.o.renewAttach(context.Background(), fresh.carriers, j.request.Control.Binding.Job.ID, j.attach.id); c == "" {
+		t.Fatal("owner restart restored lease")
+	}
+}
+func TestSDKAttachSharesStatusBudgetNotMutationTickets(t *testing.T) {
+	f, _, j := attachFixture(t)
+	v := newSDKJobViews(f.o)
+	before := len(f.o.controls)
+	if _, c := v.ownerPage(context.Background(), f.carriers, ""); c != "" {
+		t.Fatal(c)
+	}
+	if c := renewAttach(f, j); c != "" {
+		t.Fatal(c)
+	}
+	if c := renewAttach(f, j); c != ErrBusy {
+		t.Fatal("renew bypassed status budget", c)
+	}
+	if len(f.o.controls) != before {
+		t.Fatal("renew consumed mutation tickets")
+	}
+	if sdkAttachTTL != 6*time.Second || sdkAttachRenewInterval != 2*time.Second {
+		t.Fatal("unexpected lease bounds")
+	}
+}
+func TestSDKAttachCancelDurabilityFailureNeverClaimsQ(t *testing.T) {
+	f, elapsed, j := attachFixture(t)
+	f.journal.cancelCode = ErrUnavailable
+	*elapsed = sdkAttachTTL
+	if c := f.o.poll(context.Background()); c != ErrCleanupRequired {
+		t.Fatal(c)
+	}
+	if j.receipt.Job.Drained || j.receipt.Job.State != jobcontract.CleanupRequired {
+		t.Fatal(j.receipt)
+	}
+	if c := renewAttach(f, j); c == "" {
+		t.Fatal("uncertain cancel renewed")
+	}
+}
+
+func TestSDKAttachExpiryDuringCheckpointProofCannotIssueLease(t *testing.T) {
+	f, elapsed, j := attachFixture(t)
+	f.event(t, sdkJobEvent{Kind: "ready"})
+	replies := len(f.children[0].replies)
+	f.validator.after = func() { *elapsed = sdkAttachTTL }
+	f.event(t, sdkJobEvent{Kind: "checkpoint", Checkpoint: sdkJobCheckpoint{Phase: "before-step"}})
+	if len(f.children[0].replies) != replies || !j.receipt.Job.CancelRequested || !j.receipt.Job.Drained {
+		t.Fatal("expired during proof but issued checkpoint or omitted durable cancel", j.receipt)
+	}
+}

package/dist/templates/native-go/backend/internal/helper/sdk_authority_schema_test.go

@@ -0,0 +1,6 @@
+//go:build synopkgland_sdk_workers
+
+package helper
+
+// Ordinary behavioral fixtures start with a current envelope; migration has separate tests.
+const testAuthoritySchema = 2