EM-XCT-06 · Общий контракт · W0

Единицы, деньги, локаль и календари

Переиспользуемые типы величин, валют, диапазонов, дат, календарей и локализованных обозначений.

Частично опубликовано; исследование продолжается

Claude: independent-study-and-frozen-full-package-audits-complete; Grok: independent-study-and-frozen-full-package-audits-complete.

Опубликованные результаты

Broader EM-XCT-06 is unfinished: multi-field native quantity bindings, uncertainty and non-affine units; general Money value profiles; qualified Price and quantity-price multiplication; FX observations/replay; civil/working calendars and localization. Each requires a separate boundary, evidence and acceptance assignment. Current host authority/history/migration integrations remain external.

Предметная граница и кандидатные типы

Вопросы глубокого исследования

Проверяемые инварианты

Сквозной приёмочный сценарий

Проверить валютный пересчёт, переход времени и дробное количество с явным округлением.

Отрицательный пример

Восемь часов в разных календарях всегда дают одинаковую доступность.

Сопоставляемые подходы

Кандидаты в действующем каталоге

Требования к результату

Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.

Машиночитаемое задание JSON