Опубликованный пакет / CLIR
eng.orwell.animal_farm
v0.1.0The Seven Commandments
Пломба §208
sha256:c7a14a2ac7caa420d28315151d09a004a2cf4e6c730bb95896916f48c1cc5879Подключить /
law.toml[dependencies] eng.orwell.animal_farm = "0.1.0"
Получить канонические байты
curl -O /blobs/c7a14a2ac7caa420d28315151d09a004a2cf4e6c730bb95896916f48c1cc5879.lawir.json
Все адресуемые узлы пакета. Помеченные internal — не часть контракта: сослаться на них из другого пакета нельзя (§24). Свою страницу имеют только публичные символы.
symbol_decl — 22
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| animal | is an animal of the farm | internal | |
| breaks_fifth_commandment_amended | breaks Commandment 5 as amended (alcohol to excess) | internal | |
| breaks_fifth_commandment_original | breaks Commandment 5 as originally written (any alcohol) | internal | |
| breaks_fourth_commandment_amended | breaks Commandment 4 as amended (bed with sheets) | internal | |
| breaks_fourth_commandment_original | breaks Commandment 4 as originally written (any bed) | internal | |
| breaks_sixth_commandment_amended | breaks Commandment 6 as amended (killing without cause) | internal | |
| breaks_sixth_commandment_original | breaks Commandment 6 as originally written (any killing of an animal) | internal | |
| breaks_third_commandment | breaks Commandment 3 (clothes) | internal | |
| drinks_alcohol | drinks alcohol | internal | |
| drinks_to_excess | drinks to excess | internal | |
| enemy | is an enemy (Commandment 1) | internal | |
| equal_animals | are equal (Commandment 7 / first line of the single Commandment) | internal | |
| friend | is a friend (Commandment 2) | internal | |
| has_wings | has wings | internal | |
| killing_had_cause | the killing had cause | internal | |
| kills | kills | internal | |
| more_equal | is more equal than others (second line of the single Commandment) | 1 | internal |
| sleeps_in_bed | sleeps in a bed | internal | |
| sleeps_with_sheets | the bed is made up with sheets | internal | |
| walks_on_four_legs | goes upon four legs | internal | |
| walks_on_two_legs | goes upon two legs | internal | |
| wears_clothes | wears clothes | internal |
type_decl — 1
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| Creature | creature | internal |
rule — 12
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| AlcoholToExcessForbiddenAmended | Commandment 5 (as amended). No animal shall drink alcohol to excess | 1 | internal |
| AllAnimalsEqual | Commandment 7. All animals are equal | 5 | internal |
| AnyAlcoholForbiddenOriginal | Commandment 5 (original). No animal shall drink alcohol | 3 | internal |
| AnyBedForbiddenOriginal | Commandment 4 (original). No animal shall sleep in a bed | 1 | internal |
| BedWithSheetsForbiddenAmended | Commandment 4 (as amended). No animal shall sleep in a bed with sheets | 3 | internal |
| ClothesForbidden | Commandment 3. No animal shall wear clothes | 4 | internal |
| FourLegsIsFriend | Commandment 2. Whatever goes upon four legs is a friend | 4 | internal |
| KillingAnimalForbiddenOriginal | Commandment 6 (original). No animal shall kill any other animal | 2 | internal |
| KillingWithoutCauseForbiddenAmended/R1 | Commandment 6 (as amended). No animal shall kill any other animal without cause | 2 | internal |
| KillingWithoutCauseForbiddenAmended/R2 | Commandment 6 (as amended). No animal shall kill any other animal without cause | 2 | internal |
| TwoLegsIsEnemy | Commandment 1. Whatever goes upon two legs is an enemy | 4 | internal |
| WingedIsFriend | Commandment 2. Whatever has wings is a friend | 4 | internal |
priority_rule — 1
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| KillingWithoutCauseForbiddenAmended/priority | Commandment 6 (as amended). No animal shall kill any other animal without cause | 2 | internal |
external_decl — 1
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| more_equal/external | is more equal than others (second line of the single Commandment) | 1 | internal |
fragment — 29
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| AF_E1_C1 | Commandment 1: two legs is an enemy | internal | |
| AF_E1_C2 | Commandment 2: four legs or wings is a friend | internal | |
| AF_E1_C3 | Commandment 3: no clothes | internal | |
| AF_E1_C4 | Commandment 4: no sleeping in a bed | internal | |
| AF_E1_C5 | Commandment 5: no alcohol | internal | |
| AF_E1_C6 | Commandment 6: no animal shall kill any other animal | internal | |
| AF_E1_C7 | Commandment 7: all animals are equal | internal | |
| AF_E2_C1 | Commandment 1 (unchanged in ch. VI wall) | internal | |
| AF_E2_C2 | Commandment 2 (unchanged in ch. VI wall) | internal | |
| AF_E2_C3 | Commandment 3 (unchanged in ch. VI wall) | internal | |
| AF_E2_C4 | Commandment 4 as amended: no sleeping in a bed with sheets | internal | |
| AF_E2_C5 | Commandment 5 (unchanged in ch. VI wall) | internal | |
| AF_E2_C6 | Commandment 6 (unchanged in ch. VI wall) | internal | |
| AF_E2_C7 | Commandment 7 (unchanged in ch. VI wall) | internal | |
| AF_E3_C1 | Commandment 1 (unchanged in ch. VIII wall) | internal | |
| AF_E3_C2 | Commandment 2 (unchanged in ch. VIII wall) | internal | |
| AF_E3_C3 | Commandment 3 (unchanged in ch. VIII wall) | internal | |
| AF_E3_C4 | Commandment 4 as amended in ch. VI (carried forward) | internal | |
| AF_E3_C5 | Commandment 5 (unchanged in ch. VIII wall) | internal | |
| AF_E3_C6 | Commandment 6 as amended: no killing WITHOUT CAUSE | internal | |
| AF_E3_C7 | Commandment 7 (unchanged in ch. VIII wall) | internal | |
| AF_E4_C1 | Commandment 1 (unchanged in end-of-ch.-VIII wall) | internal | |
| AF_E4_C2 | Commandment 2 (unchanged in end-of-ch.-VIII wall) | internal | |
| AF_E4_C3 | Commandment 3 (unchanged in end-of-ch.-VIII wall) | internal | |
| AF_E4_C4 | Commandment 4 as amended in ch. VI (carried forward) | internal | |
| AF_E4_C5 | Commandment 5 as amended: no alcohol TO EXCESS | internal | |
| AF_E4_C6 | Commandment 6 as amended in ch. VIII (carried forward) | internal | |
| AF_E4_C7 | Commandment 7 (unchanged in end-of-ch.-VIII wall) | internal | |
| AF_E5_SINGLE | The single Commandment: all animals are equal, but some are more equal | internal |
publication — 5
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| AF_E1_TEXT | — | internal | |
| AF_E2_TEXT | — | internal | |
| AF_E3_TEXT | — | internal | |
| AF_E4_TEXT | — | internal | |
| AF_E5_TEXT | — | internal |
revision — 4
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| AF_REV_ALCOHOL | — | internal | |
| AF_REV_BED | — | internal | |
| AF_REV_KILL | — | internal | |
| AF_REV_REWRITE | — | internal |
source_edition — 5
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| COMMANDMENTS_ALCOHOL_AMENDED | Wall after the alcohol amendment (end of ch. VIII) | internal | |
| COMMANDMENTS_BED_AMENDED | Wall after the bed amendment (ch. VI) | internal | |
| COMMANDMENTS_FINAL | Rewritten wall: the single Commandment (ch. X) | internal | |
| COMMANDMENTS_KILL_AMENDED | Wall after the killing amendment (ch. VIII) | internal | |
| COMMANDMENTS_ORIGINAL | Original wall inscription (ch. II) | internal |
source_work — 1
| Узел | Подпись | Анкеры §194 | |
|---|---|---|---|
| SEVEN_COMMANDMENTS | The Seven Commandments | internal |