Rename the equipment domain to machines; retype the models catalog (ADR-011)

The equipment plugin is now the machines plugin, ending the UI-vs-code
vocabulary split while the contract is pre-1.0 and nothing external
depends on the old names.

- plugins/equipment -> plugins/machines: manifest, class, /api/machines,
  machines.* permissions, registry key (with an auto-migrating load shim
  for existing installs).
- Tables: equipment -> machines (equipmentid -> machineid) and
  equipmenttypes -> machinetypes, renamed in the plugin's own migration
  chain (machines0002rename), idempotent for both upgrading and fresh
  installs.
- The legacy core machinetypes lookup actually types the vendor MODELS
  catalog, so it is renamed losslessly to modeltypes
  (models.modeltypeid, /api/modeltypes, Model Types settings page)
  rather than collapsed, freeing the machinetypes name. Core migration
  7d17_machines_rename also flips data in place: assettypes row
  equipment -> machine, auditlog entitytype, identifier_/search_
  settings keys, permission rows, and renames alembic_version_equipment.
- Frontend: machinesApi/modeltypesApi, item.machine response shape,
  assettype value compares 'equipment' -> 'machine' (map, search,
  custom fields, relationships), routes machines.js with plugin gating
  retagged, /print/machine-badge, Machine Types (subtypes) and Model
  Types (catalog) settings pages, machines-by-type report id.
- Docs swept; ADRs left as history per the authoring rule.

Upgrade: flask db upgrade then flask plugin upgrade-all.

Verified: dev DB flipped live (262 machines, 35 modeltypes, 95 models
retyped, zero equipment tables remain); fresh scratch-MySQL install
produces the new names; 341 tests green; naming/style green; frontend
builds; live E2E on machines list/detail, PC relationships, map,
reports, and both settings pages.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

frontend/src/api/index.js

@@ -58,45 +58,45 @@ export const authApi = {
   }
 }
 
-// Equipment API (plugin)
-export const equipmentApi = {
+// Machines API (plugin)
+export const machinesApi = {
   list(params = {}) {
-    return api.get('/equipment', { params })
+    return api.get('/machines', { params })
   },
   get(id) {
-    return api.get(`/equipment/${id}`)
+    return api.get(`/machines/${id}`)
   },
   getByAsset(assetId) {
-    return api.get(`/equipment/by-asset/${assetId}`)
+    return api.get(`/machines/by-asset/${assetId}`)
   },
   create(data) {
-    return api.post('/equipment', data)
+    return api.post('/machines', data)
   },
   update(id, data) {
-    return api.put(`/equipment/${id}`, data)
+    return api.put(`/machines/${id}`, data)
   },
   delete(id) {
-    return api.delete(`/equipment/${id}`)
+    return api.delete(`/machines/${id}`)
   },
   dashboardSummary() {
-    return api.get('/equipment/dashboard/summary')
+    return api.get('/machines/dashboard/summary')
   },
-  // Equipment types
+  // Machine types
   types: {
     list(params = {}) {
-      return api.get('/equipment/types', { params })
+      return api.get('/machines/types', { params })
     },
     get(id) {
-      return api.get(`/equipment/types/${id}`)
+      return api.get(`/machines/types/${id}`)
     },
     create(data) {
-      return api.post('/equipment/types', data)
+      return api.post('/machines/types', data)
     },
     update(id, data) {
-      return api.put(`/equipment/types/${id}`, data)
+      return api.put(`/machines/types/${id}`, data)
     },
     remove(id) {
-      return api.delete(`/equipment/types/${id}`)
+      return api.delete(`/machines/types/${id}`)
     }
   }
 }
@@ -178,19 +178,19 @@ export const relationshipTypesApi = {
   }
 }
 
-// Machine Types API
-export const machinetypesApi = {
+// Model Types API (the vendor models catalog: modeltypeid)
+export const modeltypesApi = {
   list(params = {}) {
-    return api.get('/machinetypes', { params })
+    return api.get('/modeltypes', { params })
   },
   create(data) {
-    return api.post('/machinetypes', data)
+    return api.post('/modeltypes', data)
   },
   update(id, data) {
-    return api.put(`/machinetypes/${id}`, data)
+    return api.put(`/modeltypes/${id}`, data)
   },
   delete(id) {
-    return api.delete(`/machinetypes/${id}`)
+    return api.delete(`/modeltypes/${id}`)
   }
 }
 
@@ -667,8 +667,8 @@ export const reportsApi = {
   list() {
     return api.get('/reports')
   },
-  equipmentByType(params = {}) {
-    return api.get('/reports/equipment-by-type', { params })
+  machinesByType(params = {}) {
+    return api.get('/reports/machines-by-type', { params })
   },
   assetsByStatus(params = {}) {
     return api.get('/reports/assets-by-status', { params })