L-012: Размерная подпись механического заряда — что редукция фиксирует, а что нет
- Тип: стыковая-теорема + граница (единицы/размерности) — §4.2
- Между: аксиома редукции P (M-001/M-002) ↔ природа заряда (P-004, L-003) ↔ масштаб/квантование (L-006); мост ρ=ε₀ (M-001, P-005); владелец ансаца B — M-005 (q = 2ρVω; в M-002 словарь Q = ρ₀r₀Γ размерно тоже кг/с, но объявлен ФОРМАЛЬНЫМ — «не перенос массы»: подпись условна на ансаце, который M-002 не утверждает)
- Статус: ОТКРЫТА (условная теорема). Сильная форма «механичность ЭМ = теорема аксиомы редукции» ОПРОВЕРГНУТА (адверсариальный пре-чек, 3 независимых ломателя — логик/физик-размерник/охотник-за-оверклеймом, 2026-07-25)
- Число (обязательно): размерная подпись.
- Редукция P ⇒ ТОЛЬКО (i): всё в {L,M,T}, показатели ВЕЩЕСТВЕННЫЕ; независимой электрической размерности нет.
- Ансац B (заряд = массовый ток среды, q=2ρVω) ⇒ [q]=M·T⁻¹=кг/с (целое — по построению, как произведение механических множителей) ⇒ [k]=L³/M ⇒ [ε₀]=M/L³ = размерность массовой плотности.
- Несовместимы с B: гауссова/Х–Л [q]=M^½L^(3/2)T⁻¹, СГСМ [q]=M^½L^½ (отношение СГСЭ/СГСМ = L/T = c — улика Вебера–Кольрауша), естественные [q]=(0,0,0), СИ-сырая (независимый ампер).
- НЕ фиксируется: тождество ε₀≡ρ (только размерность плотности — величин M/L³ бесконечно много); ЧИСЛО 8.854·10⁻¹² (B даёт размерность, не масштаб кг/с·Кл⁻¹); квантование значений q=n·e (шов L-006).
- Ревизия: 2026-07-25
Суть
Аксиома программы — сведение всей природы к механике одной среды. Соблазн: объявить «механичность ЭМ» ТЕОРЕМОЙ этой аксиомы. Формальная проверка (3 независимых ломателя) соблазн УБИЛА и оставила честную условную форму.
Из редукции P следует ТОЛЬКО (i): все ЭМ-величины живут в {L,M,T} без независимой электрической размерности — подлинное следствие монизма. НО (i) выполняется и в ГАУССОВЫХ единицах (чистые {L,M,T}), где заряд M^½L^(3/2)T⁻¹ — а «√кг» механическим потоком быть не может. Значит целочисленность показателей (ii) из P НЕ следует: (i) и (ii) логически НЕЗАВИСИМЫ, и гауссова система — прямое тому доказательство.
Целочисленную размерность и конкретный вид кг/с даёт ОТДЕЛЬНЫЙ ансац B: заряд = сохраняющийся массовый ток среды (q=2ρVω, по построению M·T⁻¹). Именно B — а не лозунг «всё есть механика» — вносит механичность заряда. Редукция даёт АРЕНУ ({L,M,T}); физику вносит конструкция заряда.
Под P+B размерность ε₀ вынужденно есть массовая плотность — и это ретро-обоснование «моста единиц» ρ=ε₀ (обязательство ансаца B, а не трюк единиц; см. мост в M-001 и P-005). НО три предела: (а) размерное совпадение ≠ тождество (величин M/L³ бесконечно много); (б) ЧИСЛО ρ=ε₀=8.854·10⁻¹² не вынуждено (B фиксирует размерность, не масштаб); (в) отбор систем единиц — КОНВЕНЦИОНАЛЬНОЕ, физически пустое утверждение (все системы описывают численно тождественную электродинамику; выбор единиц не делает ЭМ механичнее). Реальная проверяемая нагрузка — эмпирическая: существует ли среда с ρ=ε₀, воспроизводящая Максвелла И числом.
Что решит / что убьёт
- ОПЛАЧИВАЕТ: (1) вывод ансаца B из более базового — почему заряд именно массовый ток, а не иной целочисленный механический объект (импульс-ток, циркуляция, топологический заряд): семейство допустимых целых [q] бесконечно, B выбирает один; лок-формула ротор↔линия L-003 — тот же вопрос. (2) Масштаб/число: откуда кг/с·Кл⁻¹ и 8.854·10⁻¹² — шов L-006 (масштаб ħ; квантование значений q=n·e не выведено).
- УБИВАЕТ (сильную форму): всякую попытку выдать «отбор единиц» за физическое доказательство механичности — это конвенция, не физика. Карточка держит границу: доказано лишь «ЕСЛИ заряд механичен (B), ТО ε₀ размерно есть плотность, а обезразмеривающие/полуцелые системы несовместимы».
Задача шва
(1) В книге/картине писать не «Теорема: ЭМ механичен», а «размерная подпись механического ансаца»: P ⇒ (i); +B ⇒ [ε₀]=плотность + исключение несовместимых единиц; затем три предела (тождество / число / физдоказательство — не даются). (2) Вывести B (или показать неединственность и назвать цену выбора). (3) Свести числовую часть с L-006: и значение ε₀, и квантование q=n·e упираются в ОДИН невыведенный масштаб дна.
Хроника
- 2026-07-25 — заведена по вопросу Д.Л. «вывести механичность ЭМ формально как следствие аксиомы редукции»; адв. пре-чек (3 ломателя) убил сильную форму, оставил условную «размерную подпись»; связана с мостом ρ=ε₀ (M-001, P-005) и швом масштаба (L-006).
- 2026-07-26 — независимый проход (раунд 4): восстановлен множитель ансаца (q = 2ρVω, как у владельца M-005), M-005 вписана в «Между» с оговоркой о формальном словаре M-002; мост зарегистрирован постулатом числа в леджере M-001; долг дна (число ε₀, q = n·e) принят телом L-006.
- tg39 (2026-07-26) — задача (2) частично оплачена: неединственность ПОКАЗАНА (7 целочисленных носителей → 7 несовпадающих прочтений ε₀ — размерность не выбирает); цена выбора НАЗВАНА: B выбран системной когерентностью паспорта (плотность свободна — учредительная подгонка; давление занято этажом — кандидат «импульс-ток» убит ×10⁴⁶; циркуляция убита 1836; импульс/расход/действие — без якоря, живы логически; топологический = натуральные единицы, исключён). Остаток: вывод B из механики (лок-формула L-003) — не закрыт.