ARXO ATLAScanonical corpus

Опубликованный пакет / CLIR

us.code.federal_holidays

v0.1.0

5 U.S.C. §6103 — Holidays

Пломба §208sha256:5abbb9b9fb07fec3a57111f09407a89f52b15eae861b8009b6912214d280911c
Подключить / law.toml
[dependencies]
us.code.federal_holidays = "0.1.0"
Получить канонические байты
curl -O /blobs/5abbb9b9fb07fec3a57111f09407a89f52b15eae861b8009b6912214d280911c.lawir.json

Текст порождён из пакета паком law.verb.ru@0.7.0, а не написан рядом с ним: рассинхронизировать изложение с нормами нельзя по построению. Пробелов тотальности нет: каждый узел пакета получил изложение.

Ревью-документ: пакет «us.code.federal_holidays» 0.1.0

Дисклеймер. Это не официальный текст закона и не юридическое заключение. Документ порождён детерминированной проекцией (ступень 2: используются морфологические формы меток; нормативные позиции duty, liberty, power и immunity, толкования и изменения редакций отображаются явно; имена аргументов отношений называются русским словарём, а переменные обозначаются краткими именами по типу) формализации в контролируемый русский язык и не имеет самостоятельной силы: при расхождении этого текста и семантики программы дефектом является шаблон вербализации, а не программа.

Вербализация: law.verb.ru@0.7.0 · язык ru-KZ · semantic hash программы sha256:f9e572e444510d3faf3990beb34e059b9b9026513b90c62b4bd7afd57adabcac

Источники

USC_5_6103

Источник «USC_5_6103».

Идентификатор: urn:us:code:clir:federal-holidays#USC_5_6103

USC_5_6103_2023

Издание «USC_5_6103_2023» источника «USC_5_6103», язык en.

Состояние adopted: 1966-09-06.

Идентификатор: urn:us:code:clir:federal-holidays#USC_5_6103_2023

Закреплённые публикации

USC_5_6103_TEXT

Закреплённая публикация издания «USC_5_6103_2023»: https://www.govinfo.gov/content/pkg/USCODE-2023-title5/html/USCODE-2023-title5-partIII-subpartE-chap61-subchapI-sec6103.htm.

Хэш документа: sha256:bad3ead1c6fb9c6df242142faa6af1cf919f90372780e1c4d7b24cedbdd03a43; тип text/plain; charset=utf-8; получен 2026-08-28T09:00:00Z.

Идентификатор: urn:us:code:clir:federal-holidays#USC_5_6103_TEXT

Фрагменты источников

USC_5_6103_A

Фрагмент article/6103/subsection/a издания «USC_5_6103_2023».

(a) The following are legal public holidays: New Year's Day, January 1. Birthday of Martin Luther King, Jr., the third Monday in January. Washington's Birthday, the third Monday in February. Memorial Day, the last Monday in May. Juneteenth National Independence Day, June 19. Independence Day, July 4. Labor Day, the first Monday in September. Columbus Day, the second Monday in October. Veterans Day, November 11. Thanksgiving Day, the fourth Thursday in November. Christmas Day, December 25.

Хэш официального текста: sha256:3be104308a9fafc13e54ce9fad571a8ad9788d6201927af4112bdd8cd767ef92.

Идентификатор: urn:us:code:clir:federal-holidays#USC_5_6103_A

USC_5_6103_B1

Фрагмент article/6103/subsection/b/paragraph/1 издания «USC_5_6103_2023».

(b) For the purpose of statutes relating to pay and leave of employees, with respect to a legal public holiday and any other day declared to be a holiday by Federal statute or Executive order, the following rules apply: (1) Instead of a holiday that occurs on a Saturday, the Friday immediately before is a legal public holiday for— (A) employees whose basic workweek is Monday through Friday; and (B) the purpose of section 6309 1 of this title.

Хэш официального текста: sha256:030b9ea4609a97d66bb24132cdb3f052bf250973a5ae998bffc3fb6c50ce604c.

Идентификатор: urn:us:code:clir:federal-holidays#USC_5_6103_B1

Понятия

Holiday

Понятие «Holiday».

Идентификатор: urn:us:code:clir:federal-holidays#Holiday

Отношения и признаки

falls_on_saturday

Отношение «falls_on_saturday».

Аргументы: h: Holiday.

Ключ: h — не более одной записи на одно сочетание.

Идентификатор: urn:us:code:clir:federal-holidays#falls_on_saturday

friday_immediately_before

Отношение «friday_immediately_before».

Аргументы: h: Holiday, день: дата.

Ключ: h — не более одной записи на одно сочетание.

Идентификатор: urn:us:code:clir:federal-holidays#friday_immediately_before

holiday_designated_on

Отношение «holiday_designated_on».

Аргументы: h: Holiday, день: дата.

Ключ: h — не более одной записи на одно сочетание.

Идентификатор: urn:us:code:clir:federal-holidays#holiday_designated_on

legal_public_holiday

Отношение «legal_public_holiday».

Аргументы: h: Holiday.

Ключ: h — не более одной записи на одно сочетание.

Идентификатор: urn:us:code:clir:federal-holidays#legal_public_holiday

observed_holiday_on

Отношение «observed_holiday_on».

Аргументы: h: Holiday, день: дата.

Ключ: h — не более одной записи на одно сочетание.

Идентификатор: urn:us:code:clir:federal-holidays#observed_holiday_on

Установленные факты

assert-1

Факт: «legal_public_holiday» (h: «NewYearsDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-1 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-10

Факт: «holiday_designated_on» (h: «JuneteenthNationalIndependenceDay», день: «2026-06-19»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-10 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-11

Факт: «legal_public_holiday» (h: «IndependenceDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-11 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-12

Факт: «holiday_designated_on» (h: «IndependenceDay», день: «2026-07-04»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-12 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-13

Факт: «legal_public_holiday» (h: «LaborDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-13 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-14

Факт: «holiday_designated_on» (h: «LaborDay», день: «2026-09-07»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-14 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-15

Факт: «legal_public_holiday» (h: «ColumbusDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-15 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-16

Факт: «holiday_designated_on» (h: «ColumbusDay», день: «2026-10-12»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-16 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-17

Факт: «legal_public_holiday» (h: «VeteransDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-17 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-18

Факт: «holiday_designated_on» (h: «VeteransDay», день: «2026-11-11»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-18 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-19

Факт: «legal_public_holiday» (h: «ThanksgivingDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-19 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-2

Факт: «holiday_designated_on» (h: «NewYearsDay», день: «2026-01-01»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-2 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-20

Факт: «holiday_designated_on» (h: «ThanksgivingDay», день: «2026-11-26»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-20 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-21

Факт: «legal_public_holiday» (h: «ChristmasDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-21 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-22

Факт: «holiday_designated_on» (h: «ChristmasDay», день: «2026-12-25»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-22 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-23

Факт: «falls_on_saturday» (h: «IndependenceDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-23 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_B1

assert-24

Факт: «friday_immediately_before» (h: «IndependenceDay», день: «2026-07-03»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-24 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_B1

assert-3

Факт: «legal_public_holiday» (h: «BirthdayOfMartinLutherKingJr»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-3 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-4

Факт: «holiday_designated_on» (h: «BirthdayOfMartinLutherKingJr», день: «2026-01-19»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-4 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-5

Факт: «legal_public_holiday» (h: «WashingtonsBirthday»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-5 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-6

Факт: «holiday_designated_on» (h: «WashingtonsBirthday», день: «2026-02-16»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-6 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-7

Факт: «legal_public_holiday» (h: «MemorialDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-7 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-8

Факт: «holiday_designated_on» (h: «MemorialDay», день: «2026-05-25»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-8 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

assert-9

Факт: «legal_public_holiday» (h: «JuneteenthNationalIndependenceDay»).

Основание: source_asserted.

Идентификатор: urn:us:code:clir:federal-holidays#assert-9 Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

Правила

DesignatedDayIsHoliday

Для Holiday H (v0); даты Д (v1).

По общему правилу, если установлено, что «holiday_designated_on» (h: H, день: Д) и установлено, что «legal_public_holiday» (h: H), то «observed_holiday_on» (h: H, день: Д), — если не установлено иное.

Идентификатор: urn:us:code:clir:federal-holidays#DesignatedDayIsHoliday Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_A

FridayBeforeSaturdayHoliday

Для Holiday H (v0); даты Д (v1).

По общему правилу, если установлено, что «falls_on_saturday» (h: H) и установлено, что «friday_immediately_before» (h: H, день: Д), то «observed_holiday_on» (h: H, день: Д), — если не установлено иное.

Идентификатор: urn:us:code:clir:federal-holidays#FridayBeforeSaturdayHoliday Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_B1

SaturdayHolidayDisplaced

Для Holiday H (v0); даты Д (v1).

По общему правилу, если установлено, что «holiday_designated_on» (h: H, день: Д) и установлено, что «falls_on_saturday» (h: H), то не имеет места, что «observed_holiday_on» (h: H, день: Д), — если не установлено иное.

Идентификатор: urn:us:code:clir:federal-holidays#SaturdayHolidayDisplaced Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_B1

Приоритеты

SubstitutionDisplacesDesignatedDay

При расхождении приоритет имеет правило «SaturdayHolidayDisplaced» перед правилом «DesignatedDayIsHoliday».

Идентификатор: urn:us:code:clir:federal-holidays#SubstitutionDisplacesDesignatedDay Анкер: urn:us:code:clir:federal-holidays#USC_5_6103_B1