419 lines
17 KiB
Go
419 lines
17 KiB
Go
package readmodel
|
|
|
|
import (
|
|
"context"
|
|
"errors"
|
|
"fmt"
|
|
"os"
|
|
"path/filepath"
|
|
"strings"
|
|
"testing"
|
|
"time"
|
|
|
|
"textmachine/platform/internal/ingest"
|
|
"textmachine/platform/internal/pgstore"
|
|
)
|
|
|
|
type fakeEngine struct {
|
|
manifest ingest.Manifest
|
|
export ingest.Export
|
|
manifestErr error
|
|
exportErr error
|
|
}
|
|
|
|
func (f *fakeEngine) Manifest(context.Context, string, string) (ingest.Manifest, error) {
|
|
return f.manifest, f.manifestErr
|
|
}
|
|
|
|
func (f *fakeEngine) Export(context.Context, string, string) (ingest.Export, error) {
|
|
return f.export, f.exportErr
|
|
}
|
|
|
|
type fakeStore struct {
|
|
structure pgstore.Structure
|
|
saved bool
|
|
bank []ingest.BankTerm
|
|
bankSaved bool
|
|
owed []pgstore.OwedBook
|
|
cleared []pgstore.OwedBook
|
|
deferred []pgstore.OwedBook
|
|
claimed []pgstore.OwedBook
|
|
// unclaimable models a debt somebody else already holds.
|
|
unclaimable bool
|
|
// beforeClear runs just before the discharge, so a test can spend the caller's context exactly
|
|
// where the reads would have spent it; clearCtxErr is what the discharge saw.
|
|
beforeClear func()
|
|
clearCtxErr error
|
|
}
|
|
|
|
func (f *fakeStore) SaveStructure(_ context.Context, _ string, in pgstore.Structure) error {
|
|
f.structure, f.saved = in, true
|
|
return nil
|
|
}
|
|
|
|
func (f *fakeStore) SaveBank(_ context.Context, _ string, terms []ingest.BankTerm) error {
|
|
f.bank, f.bankSaved = terms, true
|
|
return nil
|
|
}
|
|
|
|
func (f *fakeStore) BooksOwedReadModel(_ context.Context, limit int) ([]pgstore.OwedBook, error) {
|
|
if len(f.owed) > limit {
|
|
return f.owed[:limit], nil
|
|
}
|
|
return f.owed, nil
|
|
}
|
|
|
|
func (f *fakeStore) ClaimReadModelDebt(_ context.Context, bookID string, owedAt time.Time, window time.Duration) (time.Time, error) {
|
|
if f.unclaimable {
|
|
return time.Time{}, nil
|
|
}
|
|
f.claimed = append(f.claimed, pgstore.OwedBook{ID: bookID, OwedAt: owedAt})
|
|
return owedAt.Add(window), nil
|
|
}
|
|
|
|
func (f *fakeStore) DeferReadModelDebt(_ context.Context, bookID string, owedAt time.Time) error {
|
|
f.deferred = append(f.deferred, pgstore.OwedBook{ID: bookID, OwedAt: owedAt})
|
|
return nil
|
|
}
|
|
|
|
func (f *fakeStore) ClearReadModelDebt(ctx context.Context, bookID string, owedAt time.Time) error {
|
|
if f.beforeClear != nil {
|
|
f.beforeClear()
|
|
}
|
|
f.clearCtxErr = ctx.Err()
|
|
f.cleared = append(f.cleared, pgstore.OwedBook{ID: bookID, OwedAt: owedAt})
|
|
return nil
|
|
}
|
|
|
|
// owedBook is the book every test below refreshes: an id, a workdir and the boundary that owes it.
|
|
func owedBook(workdir string) pgstore.OwedBook {
|
|
return pgstore.OwedBook{ID: "bk_1", Workdir: workdir, OwedAt: boundary}
|
|
}
|
|
|
|
var boundary = time.Date(2026, 8, 20, 12, 0, 0, 0, time.UTC)
|
|
|
|
func tree() ingest.Manifest {
|
|
return ingest.Manifest{
|
|
Version: "tm-manifest-v2", Key: "k1", ChaptersTotal: 2, UnitsTotal: 3,
|
|
Chapters: []ingest.ManifestChapter{
|
|
{ID: "c1", Number: 1, UnitsTotal: 2, Units: []ingest.ManifestUnit{
|
|
{ID: "c1:cut:0", FirstChunkIdx: 0}, {ID: "c1:cut:4", FirstChunkIdx: 4},
|
|
}},
|
|
{ID: "c2", Number: 2, UnitsTotal: 1, Units: []ingest.ManifestUnit{{ID: "c2:cut:0", FirstChunkIdx: 0}}},
|
|
},
|
|
}
|
|
}
|
|
|
|
// The two documents are joined by the key the engine publishes for exactly this — the chapter's
|
|
// ordinal and the unit's LEADER chunk index — and a pair the export says nothing about stays
|
|
// `pending` with no text rather than inheriting a neighbour's.
|
|
//
|
|
// Mutation caught: joining by position in the array instead of by (chapter, first_chunk_idx).
|
|
func TestTheTextIsJoinedOntoTheTreeByTheEnginesOwnKey(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{
|
|
manifest: tree(),
|
|
export: ingest.Export{TotalUnits: 3, Units: []ingest.UnitText{
|
|
{Chapter: 1, Unit: 4, Source: "第二节", Target: "Второй", State: ingest.StateTranslated},
|
|
{Chapter: 2, Unit: 0, Source: "第三节", State: ingest.StateWithheld},
|
|
}},
|
|
}}
|
|
// ⚠ The BANK half fails here — this workdir has no engine artifacts — and the tree lands anyway:
|
|
// each channel is a different question about the same book, and answering two of three is
|
|
// strictly better than answering none.
|
|
if err := svc.Refresh(t.Context(), owedBook(t.TempDir())); err == nil {
|
|
t.Error("a workdir with no bank read-out reported no failure at all")
|
|
}
|
|
if !store.saved || len(store.structure.Chapters) != 2 {
|
|
t.Fatalf("structure: %+v", store.structure)
|
|
}
|
|
first := store.structure.Chapters[0]
|
|
if first.Units[0].Ordinal != 0 || first.Units[0].State != ingest.StatePending || first.Units[0].Target != "" {
|
|
t.Errorf("a pair the export did not mention: %+v", first.Units[0])
|
|
}
|
|
if first.Units[1].Target != "Второй" || first.Units[1].State != ingest.StateTranslated {
|
|
t.Errorf("the pair at leader index 4: %+v", first.Units[1])
|
|
}
|
|
second := store.structure.Chapters[1]
|
|
if second.Units[0].Source != "第三节" || second.Units[0].State != ingest.StateWithheld {
|
|
t.Errorf("the pair of the second chapter: %+v", second.Units[0])
|
|
}
|
|
if store.structure.ManifestKey != "k1" {
|
|
t.Errorf("the validity key did not travel: %q", store.structure.ManifestKey)
|
|
}
|
|
}
|
|
|
|
// A book that has never been translated has a tree and no translations, and so does a book whose
|
|
// export this build could not read. The TREE lands either way: a reader screen that stayed empty
|
|
// because the text channel failed would hide a book the user can already navigate.
|
|
//
|
|
// Mutation caught: returning early when Export fails; claiming to KNOW the text that failed to read.
|
|
func TestAFailedTextReadStillLandsTheTree(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{
|
|
manifest: tree(), exportErr: errors.New("the engine refused"),
|
|
}}
|
|
_ = svc.Refresh(t.Context(), owedBook(t.TempDir()))
|
|
if !store.saved {
|
|
t.Fatal("a failed text read cost the whole tree")
|
|
}
|
|
for _, c := range store.structure.Chapters {
|
|
for _, u := range c.Units {
|
|
if u.State != ingest.StatePending || u.Target != "" {
|
|
t.Errorf("a pair claims a translation nothing produced: %+v", u)
|
|
}
|
|
// …and it says so, which is what stops the store overwriting the stored text.
|
|
if u.TextKnown {
|
|
t.Errorf("a pair claims its text is known after the export failed: %+v", u)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// The two engine calls are two re-cuts of the same source, and they can disagree: a pair in the
|
|
// manifest that the export did not carry is a SKEW, not an empty pair, and must not be written as
|
|
// one over text already materialized.
|
|
//
|
|
// Mutation caught: setting TextKnown for every pair of a successful export.
|
|
func TestAPairTheExportDidNotCarryDoesNotSpeakAboutItsText(t *testing.T) {
|
|
// The manifest has three pairs; the export carries ONE of them, as a cut that moved between the
|
|
// two calls would leave it.
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{
|
|
manifest: tree(),
|
|
export: ingest.Export{TotalUnits: 3, Units: []ingest.UnitText{
|
|
{Chapter: 1, Unit: 0, Source: "第一节", Target: "Первый", State: ingest.StateTranslated},
|
|
}},
|
|
}}
|
|
// The bank half fails on an empty workdir, which is not what this pins.
|
|
_ = svc.Refresh(t.Context(), owedBook(t.TempDir()))
|
|
var known, unknown int
|
|
for _, c := range store.structure.Chapters {
|
|
for _, u := range c.Units {
|
|
if u.TextKnown {
|
|
known++
|
|
} else {
|
|
unknown++
|
|
}
|
|
}
|
|
}
|
|
if known != 1 || unknown == 0 {
|
|
t.Errorf("%d pairs claim known text and %d do not, want only the exported one", known, unknown)
|
|
}
|
|
}
|
|
|
|
// A book with no bank read-out has never produced terms, and that is not an empty bank: saving one
|
|
// would erase a bank the engine simply has not written yet.
|
|
//
|
|
// Mutation caught: treating ErrNoBank as an empty read-out.
|
|
func TestAMissingBankReadOutSavesNothing(t *testing.T) {
|
|
// ⚠ The book IS configured and simply has no bank sidecar yet — which is the branch this pins.
|
|
// Without the configuration the read failed one step earlier, on the missing book.yaml, and the
|
|
// declared property was never reached: "a read-out that has not been made must not erase one that
|
|
// was" was asserted by a test that could not tell the two failures apart.
|
|
dir := t.TempDir()
|
|
if err := os.WriteFile(filepath.Join(dir, "book.yaml"),
|
|
[]byte("book_id: bk_1\nproject_db: bk_1.db\n"), 0o644); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{manifest: tree()}}
|
|
if err := svc.Refresh(t.Context(), owedBook(dir)); err != nil {
|
|
t.Fatalf("a book that has never produced terms is not a failure: %v", err)
|
|
}
|
|
if store.bankSaved {
|
|
t.Error("an absent bank read-out was saved as an empty bank")
|
|
}
|
|
if !store.saved {
|
|
t.Error("the tree was not materialized, though only the bank was missing")
|
|
}
|
|
}
|
|
|
|
// A workdir with no configuration at all is a different fact, and it IS a failure: nothing about
|
|
// this book can be located, so the refresh says so instead of reporting an empty book.
|
|
func TestAWorkdirWithNoConfigurationIsAFailureRatherThanAnEmptyBank(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{manifest: tree()}}
|
|
if err := svc.Refresh(t.Context(), owedBook(t.TempDir())); err == nil {
|
|
t.Fatal("a workdir with no configuration was read as a book with no bank")
|
|
}
|
|
if store.bankSaved {
|
|
t.Error("an unreadable configuration saved a bank anyway")
|
|
}
|
|
}
|
|
|
|
// configured is a workdir the bank channel can answer about: the book exists and has simply never
|
|
// produced terms, so the read-out is absent rather than unreadable.
|
|
func configured(t *testing.T) string {
|
|
t.Helper()
|
|
dir := t.TempDir()
|
|
if err := os.WriteFile(filepath.Join(dir, "book.yaml"),
|
|
[]byte("book_id: bk_1\nproject_db: bk_1.db\n"), 0o644); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
return dir
|
|
}
|
|
|
|
// The debt is what brings the materializer back to a book, so only a materialization that answered
|
|
// EVERY channel may discharge it. A tree with no text is not a materialized book: before this the
|
|
// text channel's failure was logged and the caller was told the book was done.
|
|
//
|
|
// Mutation caught: returning nil from refreshStructure when Export fails.
|
|
func TestAPartialMaterializationDoesNotDischargeTheDebt(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{
|
|
manifest: tree(), exportErr: errors.New("the engine refused"),
|
|
}}
|
|
if err := svc.Refresh(t.Context(), owedBook(configured(t))); err == nil {
|
|
t.Fatal("a materialization with no text reported success")
|
|
}
|
|
if !store.saved {
|
|
t.Fatal("this fixture never reached the write, so it cannot observe the property")
|
|
}
|
|
if len(store.cleared) != 0 {
|
|
t.Errorf("a partial materialization discharged the debt: %+v", store.cleared)
|
|
}
|
|
}
|
|
|
|
// And a complete one discharges THAT boundary, carried through unchanged. Whether the STORE then
|
|
// refuses a debt stamped since is pgstore's own property and is pinned there, on a live database —
|
|
// here what is checked is that the boundary reaches it at all.
|
|
//
|
|
// Mutation caught: discharging with the current time instead of the boundary the caller was given.
|
|
func TestACompleteMaterializationDischargesTheBoundaryItRead(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{
|
|
manifest: tree(),
|
|
export: ingest.Export{TotalUnits: 3, Units: []ingest.UnitText{
|
|
{Chapter: 1, Unit: 0, Source: "第一节", Target: "Первый", State: ingest.StateTranslated},
|
|
}},
|
|
}}
|
|
if err := svc.Refresh(t.Context(), owedBook(configured(t))); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if len(store.cleared) != 1 || store.cleared[0].ID != "bk_1" || !store.cleared[0].OwedAt.Equal(boundary) {
|
|
t.Errorf("the debt discharged: %+v, want the boundary this read answered", store.cleared)
|
|
}
|
|
}
|
|
|
|
// A materialization that HAPPENED is written down even when the context that paid for the reads is
|
|
// already spent. The reads legitimately consume the whole budget on a large book, and a discharge
|
|
// that then fails leaves the debt standing — so the next pass re-does two full re-chunks of the same
|
|
// source, and every pass after it.
|
|
//
|
|
// Mutation caught: discharging on the caller's own context.
|
|
func TestTheDischargeSurvivesAContextTheReadsUsedUp(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{
|
|
manifest: tree(),
|
|
export: ingest.Export{TotalUnits: 3, Units: []ingest.UnitText{
|
|
{Chapter: 1, Unit: 0, Source: "第一节", Target: "Первый", State: ingest.StateTranslated},
|
|
}},
|
|
}}
|
|
ctx, cancel := context.WithCancel(t.Context())
|
|
store.beforeClear = cancel // the budget runs out exactly between the last read and the record
|
|
if err := svc.Refresh(ctx, owedBook(configured(t))); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if len(store.cleared) != 1 {
|
|
t.Fatalf("the debt was not discharged at all: %+v", store.cleared)
|
|
}
|
|
if store.clearCtxErr != nil {
|
|
t.Errorf("the discharge ran on a context that was already over: %v", store.clearCtxErr)
|
|
}
|
|
}
|
|
|
|
// The drain is the only retry there is, so it must reach every owed book and must not let one book's
|
|
// failure end the pass: these are independent books of independent accounts.
|
|
//
|
|
// Mutation caught: returning on the first error.
|
|
func TestTheDrainMaterializesEveryOwedBookAndKeepsWhatFailed(t *testing.T) {
|
|
store := &fakeStore{owed: []pgstore.OwedBook{
|
|
{ID: "bk_1", Workdir: t.TempDir(), OwedAt: boundary}, // no configuration: the bank read fails
|
|
{ID: "bk_2", Workdir: configured(t), OwedAt: boundary},
|
|
}}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{manifest: tree()}}
|
|
if err := svc.Drain(t.Context()); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if len(store.cleared) != 1 || store.cleared[0].ID != "bk_2" {
|
|
t.Errorf("discharged %+v, want only the book that was materialized whole", store.cleared)
|
|
}
|
|
// …and the one that failed goes to the BACK of the queue. The list is oldest-first, so a book the
|
|
// engine can never answer about would hold the front of it forever and the books behind it would
|
|
// never be materialized at all.
|
|
if len(store.deferred) != 1 || store.deferred[0].ID != "bk_1" {
|
|
t.Errorf("deferred %+v, want the book whose materialization failed", store.deferred)
|
|
}
|
|
}
|
|
|
|
// A deployment with no engine binary is a read replica, not a broken one: a refresh is a no-op and
|
|
// the surface it serves is whatever was materialized before.
|
|
func TestWithoutAnEngineARefreshIsANoOp(t *testing.T) {
|
|
store := &fakeStore{}
|
|
svc := &Service{Store: store, Engine: &fakeEngine{manifest: tree()}}
|
|
if err := svc.Refresh(t.Context(), owedBook("/srv/books/bk_1")); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if store.saved || store.bankSaved {
|
|
t.Error("a deployment with no engine binary materialized something")
|
|
}
|
|
// …and it does not discharge the debt either: the work belongs to an instance that has an engine.
|
|
if len(store.cleared) != 0 {
|
|
t.Errorf("a replica cleared a debt it did not pay: %+v", store.cleared)
|
|
}
|
|
}
|
|
|
|
// The engine's manifest carries a `heading` and the contract forbids a deployment to project it —
|
|
// it is a rendered ordinal («Глава N»), not a label out of the book's data. The allowlist is
|
|
// enforced by the DECODER: there is nowhere for the field to land.
|
|
//
|
|
// Mutation caught: adding a Heading field to ingest.ManifestChapter.
|
|
func TestTheManifestsRenderedHeadingHasNowhereToLand(t *testing.T) {
|
|
doc := `{"manifest_version":"tm-manifest-v2","key":"k","chapters":[
|
|
{"id":"c1","number":1,"heading":"Глава 1","units_total":1,
|
|
"units":[{"id":"c1:cut:0","first_chunk_idx":0}]}]}`
|
|
m, err := ingest.DecodeManifest([]byte(doc))
|
|
if err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if len(m.Chapters) != 1 || m.Chapters[0].ID != "c1" {
|
|
t.Fatalf("manifest: %+v", m)
|
|
}
|
|
// Whatever the engine renders, this side has no field holding it: the check is over the decoded
|
|
// STRUCT, so a field added later fails here rather than on a reader's screen.
|
|
if rendered := fmt.Sprintf("%#v", m.Chapters[0]); strings.Contains(rendered, "Глава") {
|
|
t.Errorf("the engine's rendered ordinal survived the decode: %s", rendered)
|
|
}
|
|
}
|
|
|
|
// Two materializations of one book must not run at once. The intake pays its own debt inline while
|
|
// the sweep drains the rest every few seconds, so without a claim every upload slower than one sweep
|
|
// interval was read by both at the same time — two full re-chunks of the source, which is the cost
|
|
// this package removed elsewhere.
|
|
//
|
|
// Mutation caught: draining without claiming; ignoring a claim somebody else holds.
|
|
func TestTheDrainSkipsABookSomebodyElseIsAlreadyMaterializing(t *testing.T) {
|
|
store := &fakeStore{owed: []pgstore.OwedBook{{ID: "bk_1", Workdir: configured(t), OwedAt: boundary}}}
|
|
svc := &Service{Store: store, Binary: "tmctl", Engine: &fakeEngine{manifest: tree()}}
|
|
store.unclaimable = true
|
|
if err := svc.Drain(t.Context()); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if store.saved {
|
|
t.Error("the drain read the engine for a book it does not hold the debt of")
|
|
}
|
|
// …and it DOES take a debt nobody holds — the claim is a lease, not a refusal.
|
|
store.unclaimable = false
|
|
if err := svc.Drain(t.Context()); err != nil {
|
|
t.Fatal(err)
|
|
}
|
|
if len(store.claimed) != 1 || !store.saved {
|
|
t.Errorf("claimed %+v, saved=%v — want the free debt taken and paid", store.claimed, store.saved)
|
|
}
|
|
// The discharge presents the stamp the CLAIM produced, not the one the queue was listed with: the
|
|
// claim moved it, and a discharge holding the old value would clear nothing.
|
|
if len(store.cleared) != 1 || !store.cleared[0].OwedAt.Equal(boundary.Add(MaterializeBudget)) {
|
|
t.Errorf("discharged %+v, want the stamp the claim produced", store.cleared)
|
|
}
|
|
}
|