Auto solver end-to-end flow

Browser product surface
React setup, solve plan, worker transport, persisted documents
Auto orchestration core
Input validation, complexity axes, phase budget policy, explicit fallbacks
Constraint-aware template lane
Outer constrained path: scaffold and merge around a nested pure-SGP structure-oracle invocation
Nested pure-SGP structure lane
Subroutine inside Auto: direct pure cases enter here immediately; constrained template candidates call back into it for contact geometry
Constraint scaffold / projection / merge sublane
Budgeted scaffold construction, dense warmup polish, signal extraction, template ranking, oracle projection, hard filtering, repair, and acceptance
Result, observability, and product feedback
Solver3 polish, canonical evaluation, telemetry, UI result inspection
Solver5 exact construction detail
Router, family portfolio, candidate ledger, shared atom output
Offline design-theory discovery tooling
Developer-only searches for certified seeds; runtime solver5 consumes shipped JSON/codegen artifacts only
Solver6 repeat-minimization detail
Exact handoff, Latin seed lane, block/tail seed lane, scoring and pure local polish
Solver6 local polish internals
LocalSearchState, same-week deltas, tabu/breakout, weak-week LNS, best snapshot, stop telemetry
Shared zero-repeat atom bridge
The same construction atom output serves exact responses and solver6 block seeds
Scaffold construction and warmup
Hard-feasible scaffold, dense warmup polish, anchors and signals
Template candidate builder
Sessions, group slots, mapped people, risk, and ranked pure-SGP shape
Projection / merge / repair gate
Map oracle geometry into real slots, filter hard constraints, repair displaced placements, accept or fall back
Dense search subsystem
Indexed hard/soft constraints, move kernels, preview deltas, RuntimePatch apply, invariants, and final polish
UI

Scenario editor

  • people, sessions, capacities
  • hard/soft constraints
  • initial/manual schedules
WEBAPP

Solve plan builder

  • capability-gated defaults
  • Auto remains product-default
  • no hidden direct solver6 shortcut
RUNTIME

Contract transport

  • WASM worker or API runtime
  • progress mailbox
  • typed request/response contracts
BACKEND

Auto engine entry

  • compile scenario
  • validate solver selection
  • derive canonical input facts
POLICY

Complexity axes

  • repeat/contact pressure
  • constraint disruption
  • placement heterogeneity
  • attendance/capacity shape
POLICY

AutoSolvePlan budgets

  • total runtime from user or complexity
  • scaffold / oracle / merge reserves
  • solver3 search remainder
DECISION

Initial schedule supplied?

  • validate supplied placements
  • honor user-provided starting point
DECISION

Exactly pure SGP?

  • full attendance
  • uniform groups
  • contact objective only
  • optional repeat limit
DECISION

Repeat pressure relevant?

  • if no, use deterministic baseline
  • if yes, request contact geometry
STRUCTURE ORACLE

Pure SGP atom/template request

  • synthetic pure scenario shape
  • explicit objective mode
  • deadline passed through
SOLVER5

Exact construction router

  • construction-only solver
  • records every family attempt
  • fails honestly if requested span unsupported
SOLVER6

Repeat minimization constructor

  • pure-SGP only
  • exact handoff before search
  • budgeted seed construction then local polish
CATALOGS

Certified construction data

  • JSON sources
  • codegen validation
  • offline discovery only
  • deterministic runtime expansion
SOLVER5

Span semantics

  • RequestedSpan
  • BestAvailableFullSpan
  • ClosestSupportingSpan
SOLVER5

Attempt ledger

  • NotApplicable reasons
  • ConstructionFailed mismatch
  • InsufficientWeeks diagnostics
SOLVER5 FAMILY

Round-robin atom

  • group_size = 2
  • 1-factorization route
  • exact counting frontier
SOLVER5 FAMILY

Triple systems

  • KTS 6t+1 finite fields
  • KTS / NKTS catalogs
  • pseudo-doubling seeds
SOLVER5 FAMILY

MOLS / TD routes

  • MOLS catalog
  • MOLS direct product
  • transversal prime-power
  • recursive latent-group lift
SOLVER5 FAMILY

Design catalogs

  • QDM → RTD
  • RITD group fill
  • RBIBD / P4 router
  • affine plane prime-power
SOLVER5 FAMILY

MOLR / PSB / ownSG

  • MOLR from MOLS
  • MOLR group fill
  • ownSG starter blocks
  • published schedule bank
SOLVER5 FAMILY

Difference matrices

  • cyclic partite certificates
  • highest exact per (g,p)
  • prefix truncation supported
  • runtime lookup + expansion
SOLVER5 FAMILY

Single-round partition

  • p > g pigeonhole cap
  • one-week exact fallback
  • visual/report exact cells
SOLVER5

Candidate record set

  • family precedence
  • max_supported_weeks
  • quality label
  • evidence + residual metadata
SOLVER5

Rank and truncate

  • larger span for requested/best
  • smallest excess for closest
  • quality then precedence
  • prefix if selected span is longer
SHARED ATOM SOURCE

Zero-repeat atom API

  • same zero-repeat construction router solver5 exposes
  • RequestedSpan / BestAvailableFullSpan / ClosestSupportingSpan
  • solver6 exact-block seeds consume these atoms
OFFLINE BOUNDARY

Discovery not runtime

  • CLI / tools search workspace
  • no hidden solver5 runtime search
  • deterministic lookup remains product path
DM SEARCH

Difference-matrix ladder

  • row-wise MRV exact backtracking
  • column-beam fallback search
  • target ladder + deadline stop
  • highest exact certificate retained
KTS SEARCH

Cyclic KTS reconstruction

  • one-layer cyclic starters
  • two-layer compact starters
  • catalog reconstruction CLI
  • strategy portfolio per order
BATCH TOOLS

Frontier sweep runners

  • curated target candidates
  • parallel ladder batches
  • summary JSON + local reports
  • human-reviewed import step
CERTIFICATES

Candidate artifacts

  • DM rows with modulus/group size
  • compact KTS starter artifacts
  • citation/provenance recorded
  • near misses excluded from solver5
VALIDATE + CODEGEN

Artifact promotion gate

  • JSON schema validation
  • build.rs catalog generation
  • zero-repeat-catalog inspect
  • regression fixture when frontier changes
SHIPPED CATALOGS

Runtime lookup material

  • checked-in JSON only
  • highest frontier per family
  • expanded by construction families
  • served through solver5 router
SOLVER6

Exact handoff check

  • requested zero-repeat atom?
  • terminal optimal response
  • skip seed portfolio entirely
SOLVER6

FastBaseline seed

  • valid full-horizon incumbent
  • cheap atom repeat/truncate
  • direct cyclic partition fallback
SOLVER6 DECISION

Square-case gate

  • groups = group size
  • groups ≥ 4
  • weeks ≥ 3
  • choose Latin lane if true
SOLVER6 LATIN

Base symmetry break

  • week 1 rows
  • week 2 columns
  • canonical square frame
SOLVER6 LATIN

20% core phase

  • identity row required
  • affine rows optional
  • linear contact coverage
SOLVER6 LATIN

30% expansion phase

  • near-orthogonal templates
  • randomized permutations
  • borrow only if needed
SOLVER6 LATIN

Candidate week pool

  • row permutations
  • coprime column multipliers
  • deduplicated candidate weeks
SOLVER6 LATIN

30% selection phase

  • required week selection
  • may borrow to full seed
  • stops at deadline
SOLVER6 LATIN

20% optimize phase

  • optional replacements
  • selected-week improvement
  • soft budget only
SOLVER6 BLOCK

Dominant atom probe

  • query BestAvailableFullSpan
  • uses same atom source as solver5
  • block span chosen for non-square lane
SOLVER6 DECISION

Requested horizon divisible?

  • yes: exact block only
  • no: prefix plus tail candidates
SOLVER6 BLOCK

ExactBlockOnly

  • dominant zero-repeat atom divides horizon
  • repeat exact atom blocks
  • greedy relabeling
  • full-horizon candidate
SOLVER6 BLOCK

Exact-block prefix

  • dominant zero-repeat atom copied floor(request/span)
  • relabel copies greedily
  • leave remainder unresolved
SOLVER6 TAIL

DominantPrefixTail

  • append one more relabeled block
  • truncate to requested horizon
SOLVER6 TAIL

RequestedTailAtom

  • query ClosestSupportingSpan for remainder
  • append exact atom for tail
  • only if solver5 has supporting span
SOLVER6 TAIL

HeuristicTail

  • greedy pair-frequency weeks
  • valid remainder completion
  • fallback tail candidate
SOLVER6

Completed seed set

  • FastBaseline plus advanced seeds
  • only valid full-horizon candidates
  • failed/timeout attempts kept
SOLVER6

Seed scoring

  • active objective mode
  • linear / triangular / squared
  • max-pair and family tie-breaks
SOLVER6

Local polish controller

  • choose hill climb / tabu mode
  • deadline-aware incumbent
  • known lower-bound stop
POLISH STATE

LocalSearchState

  • pair-frequency state
  • current + best snapshots
  • active penalty model
MOVE ENUM

Same-week swaps

  • mutable weeks only
  • square scaffold locks
  • candidate count / nth move
DELTA

Incremental scoring

  • pair-adjustment scratch
  • linear / squared delta
  • best admissible swap
TABU / BREAKOUT

Tabu and escape

  • week-local tabu keys
  • aspiration for improvements
  • breakout when stuck
LNS

Weak-week rebuild

  • weakest mutable weeks
  • greedy replacement week
  • polish rebuilt week
APPLY

Apply and track best

  • apply swap/replacement
  • update pair counts
  • record best snapshot
STOP

Stop and emit incumbent

  • deadline/no-improve/optimum
  • iterations and µs telemetry
  • return best schedule
CHECKPOINT

Validate pure template

  • partition/capacity shape
  • zero-repeat or repeat score
  • convert to real schedule object
BUDGET

Constructor budget split

  • scaffold budget
  • oracle recombination budget
  • SAT fallback slice
  • seed xor for diversity
SCAFFOLD

Scaffold constructors

  • deterministic baseline first
  • SAT hard-feasible fallback if baseline fails
  • constraint feasibility owned here
  • telemetry-visible failures
DENSE WARMUP

Solver3 scaffold polish

  • load scaffold into RuntimeState
  • brief dense search under scaffold budget
  • score polished scaffold
  • current runtime uses one scaffold run
ANCHORS

Best scaffold + frozen mask

  • lowest scaffold score selected
  • rigid placements marked
  • manual / immovable / clique anchors protected
ANALYSIS

Polished-scaffold signals

  • pair pressure by session pair
  • placement histogram
  • rigidity by person/session
  • flexible vs frozen counts
TEMPLATE SHAPE

Session window candidates

  • candidate sessions
  • attendance overlap
  • coverage estimate
  • repeat pressure focus
TEMPLATE SHAPE

Group-slot ladder

  • group-size ladder
  • capacity-compatible slots
  • omitted group count
  • oracle capacity
TEMPLATE PEOPLE

Stable people + dummies

  • high-attendance people
  • stable mapped subset
  • dummy oracle people
  • omitted high-attendance count
TEMPLATE SCORE

Disruption-risk estimate

  • scaffold rigidity cost
  • coverage value
  • capacity fit
  • candidate-aware rebudget
CANDIDATES

Ranked oracle templates

  • ordered template candidates
  • sessions / groups / capacities fixed
  • synthetic pure-SGP shape emitted
MAPPING

Projection mapper

  • oracle people → real people
  • oracle groups → real groups per session
  • respect real participation and capacity
MAPPING SCORE

Projection scoring

  • pair-alignment score
  • group-alignment score
  • rigidity mismatch
  • dummy/omitted accounting
FILTER

Hard-constraint filter

  • frozen anchors unchanged
  • hard-apart violations rejected
  • capacity and attendance checked
INJECT

Oracle injection

  • write projected groups
  • keep protected placements
  • track changed placements
  • collect displaced participants
REPAIR

Displacement repair

  • reinsert partial participants
  • repair empty/overfull groups
  • preserve hard feasibility
  • count repairs
ACCEPTANCE

Real-score acceptance gate

  • evaluate merged schedule
  • compare with scaffold
  • accept improvement or keep scaffold
  • outcome stored in telemetry
EXPLICIT FALLBACK

Fallback ledger

  • timeout/error path
  • no silent downgrade
  • reason preserved for telemetry
SOLVER3

Dense search entry

  • constructed incumbent loaded
  • indexed scenario facts
  • allowed sessions and runtime limits
INDEXED SCENARIO

Constraint index tables

  • capacity + participation masks
  • clique and immovable lookup
  • pair / attribute / visit adjacency
  • allowed-session mutation scope
SOLVER3 STATE

RuntimeState caches

  • flat person-location arrays
  • group member / size slots
  • pair contact matrix
  • attribute-sum + visit-count caches
SOLVER3 POLICY

SearchRunContext

  • move policy
  • driver and improver modes
  • time / iteration / no-improve stops
  • correctness lane config
SOLVER3 DRIVER

Search driver

  • single-state default/general loop
  • optional memetic population
  • optional recombination / path relinking
HARD CONSTRAINTS

Feasibility guards

  • capacity and attendance
  • immovable placements
  • must-stay-together cliques
  • must-stay-apart pair blocks
SOFT OBJECTIVES

Penalty surfaces

  • repeat encounters + pair meetings
  • should-together / should-apart
  • attribute balance and sums
  • person-group visit counts
MOVE POLICY

Move-family selection

  • swap
  • transfer
  • clique swap
  • policy memory and adaptive weights
GUIDANCE

Hotspot guidance

  • repeat-guided swaps
  • SGP week-pair tabu
  • conflict-restricted sampling
  • aspiration overrides
SAMPLERS

Candidate sampling

  • eligibility filters
  • same-week swaps
  • transfer proposals
  • must-stay clique moves
MOVE KERNELS

Analyze move family

  • swap / transfer / clique-swap analysis
  • pre-score feasibility result
  • runtime-lightweight preview path
  • oracle recompute debug path
DELTA ENGINE

Preview score delta

  • incremental score preview
  • hard blocks reported before accept
  • soft penalty deltas
  • tabu aspiration surface
PREVIEW: HARD

Placement validity slice

  • capacity and attendance deltas
  • immovable assignment guard
  • must-stay clique cohesion
  • must-apart pair block checks
PREVIEW: PAIRS

Pair penalty slice

  • repeat encounter linear/squared delta
  • pair-meeting target delta
  • should-together reward/penalty
  • should-apart co-location penalty
PREVIEW: ATTRIBUTES

Attribute penalty slice

  • attribute-balance desired counts
  • attribute-sum lower/upper bounds
  • normalized numeric scales
  • linear/squared penalty functions
PREVIEW: VISITS

Visit-count slice

  • person-group visit lower/upper
  • selected sessions and groups
  • cache delta for moved people
  • weighted penalty contribution
PATCH

RuntimePatch delta set

  • person-location updates
  • group-member patch ops
  • pair contact deltas
  • attribute / visit cache deltas
APPLY

Accepted patch apply

  • mutate dense arrays
  • sync score aggregates
  • refresh policy counters
  • preserve hard feasibility
ACCEPTANCE

Acceptance and cooling

  • improving / neutral / uphill moves
  • temperature schedule
  • local-optimum escape metrics
ARCHIVE

Best schedule archive

  • publish best incumbent
  • progress callbacks
  • best-so-far schedule emission
  • final result extraction
CORRECTNESS LANE

Preview validation

  • trusted vs checked previews
  • oracle delta cross-checks
  • certification scans
  • hard-block counters
META SEARCH

Recombination lanes

  • donor session transplant
  • session-aligned path relinking
  • multi-root balanced inheritance
  • child polish and retention
STOPPING

Stop conditions

  • time limit
  • max iterations
  • runtime-scaled no-improvement
  • optimal score reached
OUTPUT

Canonical evaluation

  • score breakdown
  • repeat contacts
  • constraint penalties
  • stop reason
OBSERVABILITY

Auto telemetry

  • complexity axes
  • phase budgets
  • constructor path/outcome
  • search timings and fallbacks
UI

Results workspace

  • schedule visualization
  • pair-meeting matrix
  • history / export / manual editor