Complete ORM gaps + server features + module depth push

ORM:
- SQL Constraints support (Model.AddSQLConstraint, applied in InitDatabase)
- Translatable field Read (ir_translation lookup for non-en_US)
- active_test filter in SearchCount + ReadGroup (consistency with Search)
- Environment.Ref() improved (format validation, parameterized query)

Server:
- /web/action/run endpoint (server action execution stub)
- /web/model/get_definitions (field metadata for multiple models)
- Binary field serving rewritten: reads from DB, falls back to SVG
  with record initial (fixes avatar/logo rendering)

Business modules deepened:
- Account: action_post validation (partner, lines), sequence numbering
  (JOURNAL/YYYY/NNNN), action_register_payment, remove_move_reconcile
- Sale: action_cancel, action_draft, action_view_invoice
- Purchase: button_draft
- Stock: action_cancel on picking
- CRM: action_set_won_rainbowman, convert_opportunity
- HR: hr.contract model (employee, wage, dates, state)
- Project: action_blocked, task stage seed data

Views:
- Cancel/Reset buttons in sale.form header
- Register Payment button in invoice.form (visible when posted+unpaid)

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

pkg/orm/recordset.go

@@ -591,6 +591,33 @@ func (rs *Recordset) Read(fields []string) ([]Values, error) {
 		}
 	}
 
+	// Post-fetch: translations for non-English languages
+	// Mirrors: odoo/orm/models.py BaseModel._read() translation lookup
+	if rs.env.Lang() != "en_US" && rs.env.Lang() != "" {
+		for _, fname := range storedFields {
+			f := m.GetField(fname)
+			if f == nil || !f.Translate {
+				continue
+			}
+			for _, rec := range results {
+				srcVal, _ := rec[fname].(string)
+				if srcVal == "" {
+					continue
+				}
+				var translated string
+				err := rs.env.tx.QueryRow(rs.env.ctx,
+					`SELECT value FROM ir_translation
+					 WHERE lang = $1 AND src = $2 AND value != ''
+					 LIMIT 1`,
+					rs.env.Lang(), srcVal,
+				).Scan(&translated)
+				if err == nil && translated != "" {
+					rec[fname] = translated
+				}
+			}
+		}
+	}
+
 	// Post-fetch: M2M fields (from junction tables)
 	if len(m2mFields) > 0 && len(rs.ids) > 0 {
 		for _, fname := range m2mFields {
@@ -779,6 +806,25 @@ func (rs *Recordset) Search(domain Domain, opts ...SearchOpts) (*Recordset, erro
 func (rs *Recordset) SearchCount(domain Domain) (int64, error) {
 	m := rs.model
 
+	// Auto-filter archived records unless active_test=false in context
+	// Mirrors: odoo/orm/models.py BaseModel._where_calc()
+	if activeField := m.GetField("active"); activeField != nil {
+		activeTest := true
+		if v, ok := rs.env.context["active_test"]; ok {
+			if b, ok := v.(bool); ok {
+				activeTest = b
+			}
+		}
+		if activeTest {
+			activeLeaf := Leaf("active", "=", true)
+			if len(domain) == 0 {
+				domain = Domain{activeLeaf}
+			} else {
+				domain = append(Domain{OpAnd}, append(domain, activeLeaf)...)
+			}
+		}
+	}
+
 	compiler := &DomainCompiler{model: m, env: rs.env}
 	where, params, err := compiler.Compile(domain)
 	if err != nil {