{"features":["core-executable"],"imports":[],"metadata":{"localSources":{"urn:us:code:clir:federal-holidays#USC_5_6103_TEXT":"sources/usc-5-6103/en.txt"}},"nodes":[{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:33911cc69d42fad1e66c4bd867921b5a79fbad416ed3973788e112ff9c767d51","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#observed_holiday_on"},"id":"urn:us:code:clir:federal-holidays#DesignatedDayIsHoliday","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"5 U.S.C. §6103(a). The designated day is the legal public holiday"}],"package":"urn:us:code:clir:federal-holidays","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}},{"id":"v1","type":{"name":"urn:law:std#Date"}}]},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_B1"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#falls_on_saturday"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#friday_immediately_before"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:27a884daf28523ed69b6482dfdbf330d8785a05bca2e94422c598762d61a196e","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#observed_holiday_on"},"id":"urn:us:code:clir:federal-holidays#FridayBeforeSaturdayHoliday","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"5 U.S.C. §6103(b)(1). Instead of a holiday that occurs on a Saturday, the Friday immediately before is the legal public holiday"}],"package":"urn:us:code:clir:federal-holidays","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}},{"id":"v1","type":{"name":"urn:law:std#Date"}}]},{"contentHash":"sha256:9ca2fa80b47b1880e6273fa9fa6471d5192da0eb4a173596740ccc43b8193bc5","id":"urn:us:code:clir:federal-holidays#Holiday","kind":"type_decl","labels":[{"language":"en","status":"official","text":"legal public holiday"}],"name":"Holiday","package":"urn:us:code:clir:federal-holidays","typeKind":"entity"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_B1"],"body":{"items":[{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"kind":"status","status":"established"},{"formula":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#falls_on_saturday"},"kind":"status","status":"established"}],"kind":"and"},"contentHash":"sha256:97fddb0b1659ac081db3a5ee2b6d7dd26c225a0815ccc070f5a29124730e1a11","head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"negative","predicate":"urn:us:code:clir:federal-holidays#observed_holiday_on"},"id":"urn:us:code:clir:federal-holidays#SaturdayHolidayDisplaced","interpretations":[],"kind":"rule","labels":[{"language":"en","status":"official","text":"5 U.S.C. §6103(b)(1). A holiday that occurs on a Saturday is not itself the legal public holiday for a Monday-through-Friday workweek"}],"package":"urn:us:code:clir:federal-holidays","scope":{"kind":"boolean","value":true},"strength":"defeasible","variables":[{"id":"v0","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}},{"id":"v1","type":{"name":"urn:law:std#Date"}}]},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_B1"],"condition":{"kind":"boolean","value":true},"contentHash":"sha256:0adc5e92ae4fc8de4849a9dedff6f8343a6c65eca4f211de0457cb2605dd75eb","higher":{"id":"urn:us:code:clir:federal-holidays#SaturdayHolidayDisplaced","kind":"const_ref"},"id":"urn:us:code:clir:federal-holidays#SubstitutionDisplacesDesignatedDay","kind":"priority_rule","labels":[{"language":"en","status":"official","text":"5 U.S.C. §6103(b)(1) is an exception to §6103(a): the substitution displaces the designated day"}],"lower":{"id":"urn:us:code:clir:federal-holidays#DesignatedDayIsHoliday","kind":"const_ref"},"package":"urn:us:code:clir:federal-holidays","priorityKind":"direct","reason":"urn:us:code:clir:federal-holidays#lex_specialis"},{"contentHash":"sha256:00adf080340911ae765c6706c66a243ea5be5afe9d530be5e885d1b619890e15","id":"urn:us:code:clir:federal-holidays#USC_5_6103","jurisdiction":{"id":"urn:us:code:clir:federal-holidays#US","kind":"const_ref"},"kind":"source_work","labels":[{"language":"en","status":"official","text":"5 U.S.C. §6103 — Holidays"}],"number":"5 U.S.C. 6103","package":"urn:us:code:clir:federal-holidays","sourceKind":"urn:us:code:clir:federal-holidays#law"},{"contentHash":"sha256:93bd42a1a8e97bd1904df460a5c67f5b7297bd76045f22effb151139d2bfe660","id":"urn:us:code:clir:federal-holidays#USC_5_6103_2023","kind":"source_edition","labels":[{"language":"en","status":"official","text":"United States Code, 2023 Edition"}],"language":"en","lifecycle":[{"extent":"1966-09-06","status":"adopted"}],"materializationStatus":"PINNED_UNOFFICIAL_COPY","officiality":"official","package":"urn:us:code:clir:federal-holidays","work":"urn:us:code:clir:federal-holidays#USC_5_6103"},{"contentHash":"sha256:23fbc23fca820d71be2e7a0d7273a2a3975402535ad187220b15ee4514539777","edition":"urn:us:code:clir:federal-holidays#USC_5_6103_2023","fragmentKind":"article","id":"urn:us:code:clir:federal-holidays#USC_5_6103_A","kind":"fragment","locator":"article/6103/subsection/a","package":"urn:us:code:clir:federal-holidays","texts":[{"contentHash":"sha256:3be104308a9fafc13e54ce9fad571a8ad9788d6201927af4112bdd8cd767ef92","language":"en","status":"official","text":"(a) The following are legal public holidays:\nNew Year's Day, January 1.\nBirthday of Martin Luther King, Jr., the third Monday in January.\nWashington's Birthday, the third Monday in February.\nMemorial Day, the last Monday in May.\nJuneteenth National Independence Day, June 19.\nIndependence Day, July 4.\nLabor Day, the first Monday in September.\nColumbus Day, the second Monday in October.\nVeterans Day, November 11.\nThanksgiving Day, the fourth Thursday in November.\nChristmas Day, December 25."}]},{"contentHash":"sha256:09c88a6e6c7cac0cf7be65e5b40f45918240a61077fb85c264334ac339c1ae28","edition":"urn:us:code:clir:federal-holidays#USC_5_6103_2023","fragmentKind":"article","id":"urn:us:code:clir:federal-holidays#USC_5_6103_B1","kind":"fragment","locator":"article/6103/subsection/b/paragraph/1","package":"urn:us:code:clir:federal-holidays","texts":[{"contentHash":"sha256:030b9ea4609a97d66bb24132cdb3f052bf250973a5ae998bffc3fb6c50ce604c","language":"en","status":"official","text":"(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:\n(1) Instead of a holiday that occurs on a Saturday, the Friday immediately before is a legal public holiday for—\n(A) employees whose basic workweek is Monday through Friday; and\n(B) the purpose of section 6309 1 of this title."}]},{"contentHash":"sha256:c7532934d1c540cab7c291793fe1b070dc5f38385e7459bd7ff470fb97b2ff06","documentHash":"sha256:bad3ead1c6fb9c6df242142faa6af1cf919f90372780e1c4d7b24cedbdd03a43","edition":"urn:us:code:clir:federal-holidays#USC_5_6103_2023","id":"urn:us:code:clir:federal-holidays#USC_5_6103_TEXT","kind":"publication","mediaType":"text/plain; charset=utf-8","package":"urn:us:code:clir:federal-holidays","retrievedAt":"2026-08-28T09:00:00Z","uri":"https://www.govinfo.gov/content/pkg/USCODE-2023-title5/html/USCODE-2023-title5-partIII-subpartE-chap61-subchapI-sec6103.htm"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:45596cdb3e30fa3fc97f67a9d917b0397d0442a450feb9ffc99a5cc49309dbf8","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-1","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#NewYearsDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:f7f11c03d1e0f02c16235ca10c727039a883ee8603727f7b18be77547ba5f7e6","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-10","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#JuneteenthNationalIndependenceDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-06-19"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:1a521e26698b5fc2666233ccbb3c767a75e6b7573eac3db11dc57c57dc52541e","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-11","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#IndependenceDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:985580411848db23f903b5c4578d184db6d2fd4a0274cfc83d93ff527e1a266a","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-12","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#IndependenceDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-07-04"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:fe6e8b322fd784211637be80b8983a4a7f0022f8aea83c79459a1a8b598dc1d9","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-13","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#LaborDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:33e260a6eb7bf9b3bfe3ea6190940be3abcb5975c0e8ada2d243d60f8e9cf520","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-14","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#LaborDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-09-07"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:bcba4b3604bb4899a208ef6d6e28d7f743a5e1a1914c72067c6c0b0e212f4bef","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-15","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#ColumbusDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:b5e9467643c1505a64cc7e04e7de69580931414c41ff996b1a294feb2ac95157","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-16","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#ColumbusDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-10-12"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:8ae6e894cbd1e5fb6aba18e1093e71360b674f989c23f2b7a4665415d4130476","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-17","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#VeteransDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:f6a06763d9c7ccb08e817692b78747968e29e07f30f8bfa90e91c72b98b3d6fd","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-18","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#VeteransDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-11-11"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:d680c6ace83c59da32fdff8b4b9ba50f7b79f53621376d58d362f6432f6b25c5","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-19","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#ThanksgivingDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:f5253f52dbf104f5db865dc66edacbbf9db165bf1d2bfcf689b66952ebe9ee55","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-2","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#NewYearsDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-01-01"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:7d90e9162455f08a4a605d5eac4160989fcff77c8212d42685cba05e08044a60","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-20","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#ThanksgivingDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-11-26"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:055c3fdfa746adf238b647ef1aa102c589850f4e2f68c6da99ca0e3fdc62f1ac","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-21","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#ChristmasDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:79c8b500dae4e633801b308b3b8b549b4cad9fa9817083c3babe090a3ba6c5f0","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-22","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#ChristmasDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-12-25"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_B1"],"contentHash":"sha256:1f28c6e1b1fd06374a1bcd2035255cbc1720bc505ed6413b2f2c44fcb4d2103d","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-23","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#IndependenceDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#falls_on_saturday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_B1"],"contentHash":"sha256:845dac302394dd790a81cdbcc0c1ab02a191adb8bcffd9b02fceab18f3adbd67","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-24","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#IndependenceDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-07-03"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#friday_immediately_before"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:300c477ddaa29412a8b280252135ebaadd5ade37d3a19596e481f81e71e10683","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-3","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#BirthdayOfMartinLutherKingJr","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:7651feea8c97e257cde36fa2ee00c16eb98bfdd789ac73a5295040753c479ef8","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-4","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#BirthdayOfMartinLutherKingJr","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-01-19"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:50fed42e30ea4d3463d0a610158e5efb60b627345c3728125afd9014d74a1a4d","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-5","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#WashingtonsBirthday","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:da240a474aee14056d71670abcb9088407c8346b5730da0971b9e6939c324611","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-6","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#WashingtonsBirthday","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-02-16"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:1a3098c790526c37c7181d738c684cc1379202c3f58dde04185fdb6bf74bf2d3","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-7","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#MemorialDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:4f62587c497a0936aaed2eca385058f6e83026dcf97509b8c56a26f8424704fc","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-8","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#MemorialDay","kind":"const_ref"},{"kind":"value","type":{"name":"urn:law:std#Date"},"value":"2026-05-25"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#holiday_designated_on"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"anchors":["urn:us:code:clir:federal-holidays#USC_5_6103_A"],"contentHash":"sha256:773b6f100103893c2d5d032584906bcf5e6a59d16b592634112be120c8b7de9d","evidence":[],"id":"urn:us:code:clir:federal-holidays#assert-9","kind":"assertion","literal":{"args":[{"id":"urn:us:code:clir:federal-holidays#JuneteenthNationalIndependenceDay","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:us:code:clir:federal-holidays#legal_public_holiday"},"origin":"source_asserted","package":"urn:us:code:clir:federal-holidays"},{"contentHash":"sha256:b7fbb69cede549fe6d2408761560a4739736797616c4d26c07c00d4d00e98b00","id":"urn:us:code:clir:federal-holidays#falls_on_saturday","keys":[[0]],"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the designated date falls on a Saturday"}],"name":"falls_on_saturday","package":"urn:us:code:clir:federal-holidays","parameters":[{"id":"urn:us:code:clir:federal-holidays#falls_on_saturday/arg/h","name":"h","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:ca6fac366c3a5db172ee431ec62dd26851cf0eae9f16b82fb9ff583319cdc219","id":"urn:us:code:clir:federal-holidays#friday_immediately_before","keys":[[0]],"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Friday immediately before the designated date"}],"name":"friday_immediately_before","package":"urn:us:code:clir:federal-holidays","parameters":[{"id":"urn:us:code:clir:federal-holidays#friday_immediately_before/arg/h","name":"h","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}},{"id":"urn:us:code:clir:federal-holidays#friday_immediately_before/arg/day","name":"day","type":{"name":"urn:law:std#Date"}}],"relationKind":"empirical","symbolKind":"relation"},{"contentHash":"sha256:3dd1ff689c37ddd125ec8575453fa20e3f0ac86734653f8861721cd2ce8f1609","id":"urn:us:code:clir:federal-holidays#holiday_designated_on","keys":[[0]],"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"date on which 5 U.S.C. §6103(a) designates the holiday"}],"name":"holiday_designated_on","package":"urn:us:code:clir:federal-holidays","parameters":[{"id":"urn:us:code:clir:federal-holidays#holiday_designated_on/arg/h","name":"h","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}},{"id":"urn:us:code:clir:federal-holidays#holiday_designated_on/arg/day","name":"day","type":{"name":"urn:law:std#Date"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:0e8a2d03214eed37025e45bbcdfb9363988a140c459afff7b9701c0042202226","id":"urn:us:code:clir:federal-holidays#legal_public_holiday","keys":[[0]],"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"legal public holiday named by 5 U.S.C. §6103(a)"}],"name":"legal_public_holiday","package":"urn:us:code:clir:federal-holidays","parameters":[{"id":"urn:us:code:clir:federal-holidays#legal_public_holiday/arg/h","name":"h","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}}],"relationKind":"institutional","symbolKind":"relation"},{"contentHash":"sha256:2b60193af0203bda5c117863ef3d270bc4659e0aab48ba668e6fbe0bb93ac7e1","id":"urn:us:code:clir:federal-holidays#observed_holiday_on","keys":[[0]],"kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"legal public holiday for an employee whose basic workweek is Monday through Friday"}],"name":"observed_holiday_on","package":"urn:us:code:clir:federal-holidays","parameters":[{"id":"urn:us:code:clir:federal-holidays#observed_holiday_on/arg/h","name":"h","type":{"name":"urn:us:code:clir:federal-holidays#Holiday"}},{"id":"urn:us:code:clir:federal-holidays#observed_holiday_on/arg/day","name":"day","type":{"name":"urn:law:std#Date"}}],"relationKind":"institutional","symbolKind":"relation"}],"package":{"name":"us.code.federal_holidays","namespace":"urn:us:code:clir:federal-holidays","semanticHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","version":"0.1.0"},"schemaVersion":"law.core.ir/0.2","semanticHash":"sha256:f9e572e444510d3faf3990beb34e059b9b9026513b90c62b4bd7afd57adabcac","semanticVersion":"0.1.0","strata":[]}