Кіріспе
Бағдарламалық жасақтаманы жобалау нұсқаулығы. Компьютерлік техникада беріктік принципі – бағдарламалық жасақтаманы жобалау нұсқаулығы, ол былай демек: "Не істейтініңізде сақтық танытыңыз, басқалардан нәрсе қабылдағанда кеңдік танытыңыз". Оны көбінесе былай түйіндейді: "Жібергеніңізде сақтықпен, алғандарыңызда кеңдікпен болыңыз". Бұл принципті Джон Постельдің есімімен Постель заңы деп те атайды, ол TCP-нің алғашқы сипаттамасында осы сөздерді қолданған. Яғни, басқа машиналарға (немесе бір машинадағы басқа бағдарламаларға) хабарлама жіберетін бағдарламалар спецификацияға толығымен сәйкес болуы керек, ал хабарлама қабылдайтын бағдарламалар мағынасы түсініксіз болмаса, сәйкес келмейтін деректерді қабылдауы керек. Бағдарламашылар арасында үйлесімді функцияларды жасау үшін принцип кіріс түрі бойынша контрвариантты, ал шығыс түрі бойынша ковариантты болу ретінде де белгілі.
In computing, the robustness principle is a design guideline for software that states: "be conservative in what you do, be liberal in what you accept from others". It is often reworded as: "be conservative in what you send, be liberal in what you accept". The principle is also known as Postel's law, after Jon Postel, who used the wording in an early specification of TCP. In other words, programs that send messages to other machines (or to other programs on the same machine) should conform completely to the specifications, but programs that receive messages should accept non conformant input as long as the meaning is clear. Among programmers, to produce compatible functions, the principle is also known in the form: be contravariant in the input type and covariant in the output type.
Интерпретация
RFC 1122 (1989) Постел принципін кеңейтіп, бағдарламашыларға «желіде ең нашар әсер ететіндей етіп жасалған пакеттерді жіберетін қастандықпен толған ұйымдар бар деп есептеуді» ұсынды. Протоколдар болашақ нұсқаларындағы қолданыстағы өрістерге жаңа кодтарды қосуға мүмкіндік беруі керек, белгісіз кодтары бар хабарламаларды қабылдау арқылы (мүмкін, оларды тіркеп). Бағдарламашылар қабылдағыштардағы кемшіліктерді ашып көрсетуі мүмкін «заңды, бірақ түсініксіз протокол мүмкіндіктері» бар хабарламаларды жіберуден аулақ болуы керек, сондай-ақ олардың кодын «басқа қате жұмыс істейтін хосттардан ғана аман қалдыру үшін емес, сонымен қатар мұндай хосттардың ортақ коммуникациялық құралға келтіретін бұзылуларын шектеу үшін ынтымақтасуға» бағытталған етіп жобалау керек.