Может ли поправка, принятая по правилам, отменить сами правила? И что общего у лазейки Гёделя, отказа государства от иммунитета дипломата и условия договора Медины?

Двухходовка Гёделя: по парадной процедуре статьи V принимается поправка, передающая власть поправок одному Конгрессу, после чего следующая поправка вводится односторонне — и её действительность выводится строгими правилами, без единой нарушенной позиции. Без порога ратификации та же цель недостижима, и ответ звучит как «не установлено», а не «нет». Отдельно взятое равное представительство Вайоминга в Сенате оказывается поддержано и опровергнуто одновременно: модель показывает противоречие, а не прячет его. Тот же приём порождения нормы виден в отказе аккредитующего государства от иммунитета дипломата и в условии договора Медины, где низшая из предоставленных защит связывает всех.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

At a glance

Select a result to explore its grounds

Двухходовка Гёделя действительнаConditionEstablishedExecution: ComputedLogical result: Established Без ратификации цель недостижимаConditionNot establishedExecution: ComputedLogical result: Not established Равное представительство ВайомингаConditionConflicting evidenceExecution: ComputedLogical result: Conflicting evidence Отказ от иммунитета дипломатаConditionEstablishedExecution: ComputedLogical result: Established Низшая защита связывает всехConditionEstablishedExecution: ComputedLogical result: Established

Detailed analysis

Condition

Двухходовка Гёделя действительна

Jurisdiction Соединённые Штаты АмерикиLaw as of 2026-09-06

Calculation result

Established

Input parameters

What we are finding

the amendment is valid although no ratification by the States has taken place

hypothetical Twenty-Ninth Amendment, enacted unilaterally

Input facts

urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary
a: hypothetical Twenty-Eighth Amendment
urn:us:constitution:clir#congress_selects_ratification_mode
a: hypothetical Twenty-Eighth Amendment
urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states
a: hypothetical Twenty-Eighth Amendment
the content of the amendment vests the power to amend this Constitution in the Congress alone
a: hypothetical Twenty-Eighth Amendment
the Congress declares the amendment adopted without ratification by the States
a: hypothetical Twenty-Ninth Amendment, enacted unilaterally

Package: Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "AmendmentXXIX"
  ],
  "facts": [
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "two_thirds_of_both_houses_deem_amendment_necessary"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "congress_selects_ratification_mode"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "ratified_by_legislatures_of_three_fourths_of_states"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "amendment_transfers_amendment_power_to_congress"
    },
    {
      "args": [
        "AmendmentXXIX"
      ],
      "predicate": "congress_enacts_amendment_unilaterally"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "us-constitution",
  "predicate": "amendment_valid_through_unilateral_enactment",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path12 steps

1
two thirds of both houses deem amendment necessary
urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary: a: urn:us:constitution:clir#amendment-xxviii
case fact
2
congress selects ratification mode
urn:us:constitution:clir#congress_selects_ratification_mode: a: urn:us:constitution:clir#amendment-xxviii
case fact
3
ratified by legislatures of three fourths of states
urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states: a: urn:us:constitution:clir#amendment-xxviii
case fact
4
The Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments ... or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention ... which ... shall be valid ... as Part of this Constitution, when ratified ... by the Legislatures of three fourths ... or by Conventions in three fourths thereof
urn:us:constitution:clir#article_v_procedure_satisfied: a: urn:us:constitution:clir#amendment-xxviii
art. V
Identifier
urn:us:constitution:clir#ArticleVProcedureConditions/alt/1
rule
5
which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified
urn:us:constitution:clir#amendment_is_part_of_constitution: a: urn:us:constitution:clir#amendment-xxviii
art. V
Identifier
urn:us:constitution:clir#ArticleVValidityRule
rule
6
the content of the amendment vests the power to amend this Constitution in the Congress alone
a: urn:us:constitution:clir#amendment-xxviii
case fact
7
shall be valid to all Intents and Purposes, as Part of this Constitution
by an amendment that is part of this Constitution, the Congress alone holds the power of amendment: e: urn:us:constitution:clir#amendment-xxviii
art. V
Identifier
urn:us:constitution:clir#SoleAmendmentPowerFromTransfer
rule
8
the Congress declares the amendment adopted without ratification by the States
a: urn:us:constitution:clir#amendment-xxix
case fact
9
the amendment is valid without any ratification by the States
the amendment is valid although no ratification by the States has taken place: a: urn:us:constitution:clir#amendment-xxix
art. V
Identifier
urn:us:constitution:clir#UnilateralEnactmentMarkerRule
rule
10
norm creation
rule
11
the amendment is valid although no ratification by the States has taken place
a: urn:us:constitution:clir#amendment-xxix
rule
12
Query evaluation
query

verified by the engine: 7 · case fact: 5 · Full graph: 14 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

The Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments ... or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention ... which ... shall be valid ... as Part of this Constitution, when ratified ... by the Legislatures of three fourths ... or by Conventions in three fourths thereof
Identifier
urn:us:constitution:clir#ArticleVProcedureConditions/alt/1
which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified
Identifier
urn:us:constitution:clir#ArticleVValidityRule
shall be valid to all Intents and Purposes, as Part of this Constitution
Identifier
urn:us:constitution:clir#SoleAmendmentPowerFromTransfer
the amendment is valid without any ratification by the States
Identifier
urn:us:constitution:clir#UnilateralEnactmentMarkerRule

Other derived facts4

urn:us:constitution:clir#article_v_procedure_satisfied
a: amendment-xxviii
urn:us:constitution:clir#amendment_is_part_of_constitution
a: amendment-xxviii
by an amendment that is part of this Constitution, the Congress alone holds the power of amendment
e: amendment-xxviii
the amendment is valid although no ratification by the States has taken place
a: amendment-xxix

urn:us:constitution:clir#article_v_procedure_satisfied
a
amendment-xxviii

urn:us:constitution:clir#amendment_is_part_of_constitution
a
amendment-xxviii

by an amendment that is part of this Constitution, the Congress alone holds the power of amendment
e
amendment-xxviii

the amendment is valid although no ratification by the States has taken place
a
amendment-xxix

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 6 layer

Proof nodes: 14 · assertion 5, rule_application 4, norm_creation 4, query_evaluation 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

two_thirds_of_both_houses_deem_amendment_necessary

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

assertion · urn:proof:assert:urn:mcp:case#fact-2

attributes

assertion: fact-2

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

congress_selects_ratification_mode

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

assertion · urn:proof:assert:urn:mcp:case#fact-3

attributes

assertion: fact-3

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

ratified_by_legislatures_of_three_fourths_of_states

evidence

—

Identifier

fact-3

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032

attributes

—

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

article_v_procedure_satisfied

evidence

—

Identifier

be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032

Type

rule_application

Premises

fact-1
fact-2
fact-3

Rule

ArticleVProcedureConditions/alt/1

sourceAnchors

—

substitution

Identifier: amendment-xxviii
Type: entity_ref

rule_application · urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376

attributes

—

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_is_part_of_constitution

evidence

—

Identifier

ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376

Type

rule_application

Premises

be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032

Rule

ArticleVValidityRule

sourceAnchors

—

substitution

Identifier: amendment-xxviii
Type: entity_ref

assertion · urn:proof:assert:urn:mcp:case#fact-4

attributes

assertion: fact-4

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_transfers_amendment_power_to_congress

evidence

—

Identifier

fact-4

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07

attributes

—

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

congress_holds_sole_amendment_power

evidence

—

Identifier

49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07

Type

rule_application

Premises

ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376
fact-4

Rule

SoleAmendmentPowerFromTransfer

sourceAnchors

—

substitution

Identifier: amendment-xxviii
Type: entity_ref

assertion · urn:proof:assert:urn:mcp:case#fact-5

attributes

assertion: fact-5

conclusion

Arguments

Identifier
amendment-xxix
Type
entity_ref

Type

literal

Polarity

positive

Condition

congress_enacts_amendment_unilaterally

evidence

—

Identifier

fact-5

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca

attributes

—

conclusion

Arguments

Identifier
amendment-xxix
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_valid_through_unilateral_enactment

evidence

—

Identifier

472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca

Type

rule_application

Premises

49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07
fact-5

Rule

UnilateralEnactmentMarkerRule

sourceAnchors

—

substitution

Identifier: amendment-xxviii
Type: entity_ref

Identifier: amendment-xxix
Type: entity_ref

norm_creation · urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9

attributes

Rule: ArticleVAmendmentPowerRule

conclusion

position: ArticleVAmendmentPowerRule:0
Template: ArticleVAmendmentPower

evidence

—

Identifier

ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9

Type

norm_creation

Premises

be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032

sourceAnchors

—

norm_creation · urn:proof:effect:urn:us:constitution:clir#ArticleVAmendmentPowerRule:3c023a69325c7305a499456b6ce0d781f84df9f9f8d00cfb9329b955bc0709b8

attributes

mechanism: power_exercise
power: ArticleVAmendmentPowerRule:0

conclusion

Arguments

Identifier
amendment-xxviii
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_is_part_of_constitution

evidence

—

Identifier

ArticleVAmendmentPowerRule:3c023a69325c7305a499456b6ce0d781f84df9f9f8d00cfb9329b955bc0709b8

Type

norm_creation

Premises

be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032
ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376
ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9

sourceAnchors

—

norm_creation · urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631

attributes

Rule: UnilateralAmendmentPowerRule

conclusion

position: UnilateralAmendmentPowerRule:0
Template: UnilateralAmendmentPower

evidence

—

Identifier

UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631

Type

norm_creation

Premises

49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07
fact-5

sourceAnchors

—

norm_creation · urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc

attributes

mechanism: power_exercise
power: UnilateralAmendmentPowerRule:0

conclusion

Arguments

Identifier
amendment-xxix
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_valid_through_unilateral_enactment

evidence

—

Identifier

UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc

Type

norm_creation

Premises

49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07
fact-5
UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
amendment-xxix
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_valid_through_unilateral_enactment

truthStatus

Established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca
UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "article_v_procedure_satisfied(amendment-xxviii)",
    "amendment_is_part_of_constitution(amendment-xxviii)",
    "congress_holds_sole_amendment_power(amendment-xxviii)",
    "amendment_valid_through_unilateral_enactment(amendment-xxix)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_selects_ratification_mode"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#article_v_procedure_satisfied"
          },
          "evidence": [],
          "id": "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:us:constitution:clir#ArticleVProcedureConditions/alt/1",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_is_part_of_constitution"
          },
          "evidence": [],
          "id": "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032"
          ],
          "rule": "urn:us:constitution:clir#ArticleVValidityRule",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-4"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-4",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_holds_sole_amendment_power"
          },
          "evidence": [],
          "id": "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
            "urn:proof:assert:urn:mcp:case#fact-4"
          ],
          "rule": "urn:us:constitution:clir#SoleAmendmentPowerFromTransfer",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-5"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxix",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-5",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxix",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
          },
          "evidence": [],
          "id": "urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
            "urn:proof:assert:urn:mcp:case#fact-5"
          ],
          "rule": "urn:us:constitution:clir#UnilateralEnactmentMarkerRule",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:us:constitution:clir#amendment-xxix",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "rule": "urn:us:constitution:clir#ArticleVAmendmentPowerRule"
          },
          "conclusion": {
            "position": "urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0",
            "template": "urn:us:constitution:clir#ArticleVAmendmentPower"
          },
          "evidence": [],
          "id": "urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "mechanism": "power_exercise",
            "power": "urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_is_part_of_constitution"
          },
          "evidence": [],
          "id": "urn:proof:effect:urn:us:constitution:clir#ArticleVAmendmentPowerRule:3c023a69325c7305a499456b6ce0d781f84df9f9f8d00cfb9329b955bc0709b8",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032",
            "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
            "urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "rule": "urn:us:constitution:clir#UnilateralAmendmentPowerRule"
          },
          "conclusion": {
            "position": "urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0",
            "template": "urn:us:constitution:clir#UnilateralAmendmentPower"
          },
          "evidence": [],
          "id": "urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
            "urn:proof:assert:urn:mcp:case#fact-5"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "mechanism": "power_exercise",
            "power": "urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxix",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
          },
          "evidence": [],
          "id": "urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
            "urn:proof:assert:urn:mcp:case#fact-5",
            "urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:us:constitution:clir#amendment-xxix",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca",
            "urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:be8f409e5ab84418546728ea55ae48040ff422b643f4d18eacf156ac32a4304e",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:f9dd6ef57d0c5312891f38f7301117278905336693fc46ad7811c9cc1bc8cf17",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:us:constitution:clir#ArticleVProcedureConditions/alt/1",
    "urn:us:constitution:clir#ArticleVValidityRule",
    "urn:us:constitution:clir#SoleAmendmentPowerFromTransfer",
    "urn:us:constitution:clir#UnilateralEnactmentMarkerRule"
  ]
}

SourcesExcerpts: 1

article/V

Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Article. V. The Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments to this Constitution, or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention for proposing Amendments, which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified by the Legislatures of three fourths of the several States, or by Conventions in three fourths thereof, as the one or the other Mode of Ratification may be proposed by the Congress; Provided that no Amendment which may be made prior to the Year One thousand eight hundred and eight shall in any Manner affect the first and fourth Clauses in the Ninth Section of the first Article; and that no State, without its Consent, shall be deprived of its equal Suffrage in the Senate.

Original data · JSON

{
  "contentHash": "sha256:6720d42cc42288d78e3f651be06360712959ab0e22252c43f16764c4c948d567",
  "edition": "urn:us:constitution:clir#US_CONSTITUTION_1787_ENGROSSED",
  "fragmentKind": "article",
  "id": "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V",
  "kind": "fragment",
  "locator": "article/V",
  "package": "urn:us:constitution:clir",
  "texts": [
    {
      "contentHash": "sha256:2bbf566d057beb173146c19102f8d5da8c454b8a8ce9291b6fddd28efc46a7e4",
      "language": "en",
      "status": "official",
      "text": "Article. V.\nThe Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments to this Constitution, or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention for proposing Amendments, which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified by the Legislatures of three fourths of the several States, or by Conventions in three fourths thereof, as the one or the other Mode of Ratification may be proposed by the Congress; Provided that no Amendment which may be made prior to the Year One thousand eight hundred and eight shall in any Manner affect the first and fourth Clauses in the Ninth Section of the first Article; and that no State, without its Consent, shall be deprived of its equal Suffrage in the Senate."
    }
  ]
}

Packages in the snapshot

Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

amendment_valid_through_unilateral_enactment: TRUE_ONLY — установлено Выведено правом: article_v_procedure_satisfied(amendment-xxviii); amendment_is_part_of_constitution(amendment-xxviii); congress_holds_sole_amendment_power(amendment-xxviii); amendment_valid_through_unilateral_enactment(amendment-xxix) Применены правила: ArticleVProcedureConditions/alt/1, ArticleVValidityRule, SoleAmendmentPowerFromTransfer, UnilateralEnactmentMarkerRule Право (Соединённые Штаты Америки): Конституция США 1787 года и 27 поправок (programHash sha256:5d33846cf807…) proof-граф: 14 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "article_v_procedure_satisfied(amendment-xxviii)",
    "amendment_is_part_of_constitution(amendment-xxviii)",
    "congress_holds_sole_amendment_power(amendment-xxviii)",
    "amendment_valid_through_unilateral_enactment(amendment-xxix)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-2"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_selects_ratification_mode"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#article_v_procedure_satisfied"
          },
          "evidence": [],
          "id": "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "rule": "urn:us:constitution:clir#ArticleVProcedureConditions/alt/1",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_is_part_of_constitution"
          },
          "evidence": [],
          "id": "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032"
          ],
          "rule": "urn:us:constitution:clir#ArticleVValidityRule",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-4"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-4",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_holds_sole_amendment_power"
          },
          "evidence": [],
          "id": "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
            "urn:proof:assert:urn:mcp:case#fact-4"
          ],
          "rule": "urn:us:constitution:clir#SoleAmendmentPowerFromTransfer",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-5"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxix",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-5",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxix",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
          },
          "evidence": [],
          "id": "urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
            "urn:proof:assert:urn:mcp:case#fact-5"
          ],
          "rule": "urn:us:constitution:clir#UnilateralEnactmentMarkerRule",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:us:constitution:clir#amendment-xxviii",
              "kind": "entity_ref"
            },
            "v1": {
              "id": "urn:us:constitution:clir#amendment-xxix",
              "kind": "entity_ref"
            }
          }
        },
        {
          "attributes": {
            "rule": "urn:us:constitution:clir#ArticleVAmendmentPowerRule"
          },
          "conclusion": {
            "position": "urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0",
            "template": "urn:us:constitution:clir#ArticleVAmendmentPower"
          },
          "evidence": [],
          "id": "urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "mechanism": "power_exercise",
            "power": "urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxviii",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_is_part_of_constitution"
          },
          "evidence": [],
          "id": "urn:proof:effect:urn:us:constitution:clir#ArticleVAmendmentPowerRule:3c023a69325c7305a499456b6ce0d781f84df9f9f8d00cfb9329b955bc0709b8",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032",
            "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
            "urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "rule": "urn:us:constitution:clir#UnilateralAmendmentPowerRule"
          },
          "conclusion": {
            "position": "urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0",
            "template": "urn:us:constitution:clir#UnilateralAmendmentPower"
          },
          "evidence": [],
          "id": "urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
            "urn:proof:assert:urn:mcp:case#fact-5"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "mechanism": "power_exercise",
            "power": "urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#amendment-xxix",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
          },
          "evidence": [],
          "id": "urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc",
          "kind": "norm_creation",
          "premises": [
            "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
            "urn:proof:assert:urn:mcp:case#fact-5",
            "urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631"
          ],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:us:constitution:clir#amendment-xxix",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca",
            "urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:be8f409e5ab84418546728ea55ae48040ff422b643f4d18eacf156ac32a4304e",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:f9dd6ef57d0c5312891f38f7301117278905336693fc46ad7811c9cc1bc8cf17",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 38,
        "fragments": [
          "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
        ],
        "jurisdiction": "US",
        "namespace": "urn:us:constitution:clir",
        "package": "us-constitution",
        "title": "Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан"
      }
    ],
    "caseHash": "sha256:8838b54240adcaf54a13b3af62cd512d18efb9d529dce3a644eb24a06023d3f0",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "Соединённые Штаты Америки",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834",
    "resultHash": "sha256:f9dd6ef57d0c5312891f38f7301117278905336693fc46ad7811c9cc1bc8cf17",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:us:constitution:clir#ArticleVProcedureConditions/alt/1",
    "urn:us:constitution:clir#ArticleVValidityRule",
    "urn:us:constitution:clir#SoleAmendmentPowerFromTransfer",
    "urn:us:constitution:clir#UnilateralEnactmentMarkerRule"
  ],
  "signature": {
    "constants": {
      "urn:us:constitution:clir#AmendmentXXIX": {
        "labels": [
          {
            "language": "en",
            "status": "unofficial",
            "text": "hypothetical Twenty-Ninth Amendment, enacted unilaterally"
          }
        ],
        "type": "urn:us:constitution:clir#Amendment",
        "value": {
          "id": "urn:us:constitution:clir#amendment-xxix",
          "kind": "entity_ref"
        }
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "a",
        "type": {
          "name": "urn:us:constitution:clir#Amendment"
        }
      }
    ],
    "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:us:constitution:clir#Amendment": {
        "kind": "entity",
        "labels": [
          {
            "language": "en",
            "status": "official",
            "text": "Amendment to the Constitution"
          }
        ],
        "namespace": "urn:us:constitution:clir",
        "package": "us.constitution"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:b8201ca73a3b5de21ec294823c79a8a66d0b07c7107ab50a6d0beefbb4160c67\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:8838b54240adcaf54a13b3af62cd512d18efb9d529dce3a644eb24a06023d3f0\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:7558c0e9c39c2c4e1dd325cb91e7aa4c3d76a80c70185839333f12c2b9881e0c\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[{\"createdBy\":\"urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9\",\"holder\":\"urn:us:constitution:clir#congress\",\"id\":\"urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0\",\"manifest\":\"urn:manifest:oracle-1\",\"modality\":\"power\",\"payload\":{\"effect\":{\"after\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_is_part_of_constitution\"},\"kind\":\"create\"},\"exercise\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"function\":\"urn:us:constitution:clir#amendment_is_part_of_constitution\",\"kind\":\"call\"},\"holder\":{\"id\":\"urn:us:constitution:clir#congress\",\"kind\":\"entity_ref\"},\"kind\":\"power\",\"over\":{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"},\"subject\":[\"urn:us:constitution:clir#Amendment\"],\"validWhen\":{\"formula\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#article_v_procedure_satisfied\"},\"kind\":\"status\",\"status\":\"established\"},\"window\":{\"end\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Text\"},\"value\":\"infinity\"},\"endInclusive\":false,\"kind\":\"interval\",\"start\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"1789-03-04\"},\"startInclusive\":true}},\"proof\":\"urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9\",\"status\":\"ACTIVE\",\"statusHistory\":[],\"template\":\"urn:us:constitution:clir#ArticleVAmendmentPower\"},{\"createdBy\":\"urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631\",\"holder\":\"urn:us:constitution:clir#congress\",\"id\":\"urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0\",\"manifest\":\"urn:manifest:oracle-1\",\"modality\":\"power\",\"payload\":{\"effect\":{\"after\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\"},\"kind\":\"create\"},\"exercise\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"function\":\"urn:us:constitution:clir#congress_enacts_amendment_unilaterally\",\"kind\":\"call\"},\"holder\":{\"id\":\"urn:us:constitution:clir#congress\",\"kind\":\"entity_ref\"},\"kind\":\"power\",\"over\":{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"},\"subject\":[\"urn:us:constitution:clir#Amendment\"],\"validWhen\":{\"formula\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#congress_holds_sole_amendment_power\"},\"kind\":\"status\",\"status\":\"established\"},\"window\":{\"end\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Text\"},\"value\":\"infinity\"},\"endInclusive\":false,\"kind\":\"interval\",\"start\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Date\"},\"value\":\"1789-03-04\"},\"startInclusive\":true}},\"proof\":\"urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631\",\"status\":\"ACTIVE\",\"statusHistory\":[],\"template\":\"urn:us:constitution:clir#UnilateralAmendmentPower\"}],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#congress_selects_ratification_mode\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#article_v_procedure_satisfied\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:us:constitution:clir#ArticleVProcedureConditions/alt/1\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_is_part_of_constitution\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032\"],\"rule\":\"urn:us:constitution:clir#ArticleVValidityRule\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#congress_holds_sole_amendment_power\"},\"evidence\":[],\"id\":\"urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:us:constitution:clir#SoleAmendmentPowerFromTransfer\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#congress_enacts_amendment_unilaterally\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\"},\"evidence\":[],\"id\":\"urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:us:constitution:clir#UnilateralEnactmentMarkerRule\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"rule\":\"urn:us:constitution:clir#ArticleVAmendmentPowerRule\"},\"conclusion\":{\"position\":\"urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0\",\"template\":\"urn:us:constitution:clir#ArticleVAmendmentPower\"},\"evidence\":[],\"id\":\"urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9\",\"kind\":\"norm_creation\",\"premises\":[\"urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032\"],\"sourceAnchors\":[]},{\"attributes\":{\"mechanism\":\"power_exercise\",\"power\":\"urn:position:urn:us:constitution:clir#ArticleVAmendmentPowerRule:0\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxviii\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_is_part_of_constitution\"},\"evidence\":[],\"id\":\"urn:proof:effect:urn:us:constitution:clir#ArticleVAmendmentPowerRule:3c023a69325c7305a499456b6ce0d781f84df9f9f8d00cfb9329b955bc0709b8\",\"kind\":\"norm_creation\",\"premises\":[\"urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032\",\"urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376\",\"urn:proof:norm:urn:us:constitution:clir#ArticleVAmendmentPowerRule:44f707eacc4bf7e3e1d46efda029063d6f5e069bffbe6bb86a83c6ec31daf9a9\"],\"sourceAnchors\":[]},{\"attributes\":{\"rule\":\"urn:us:constitution:clir#UnilateralAmendmentPowerRule\"},\"conclusion\":{\"position\":\"urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0\",\"template\":\"urn:us:constitution:clir#UnilateralAmendmentPower\"},\"evidence\":[],\"id\":\"urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631\",\"kind\":\"norm_creation\",\"premises\":[\"urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"sourceAnchors\":[]},{\"attributes\":{\"mechanism\":\"power_exercise\",\"power\":\"urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\"},\"evidence\":[],\"id\":\"urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc\",\"kind\":\"norm_creation\",\"premises\":[\"urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631\"],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca\",\"urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:be8f409e5ab84418546728ea55ae48040ff422b643f4d18eacf156ac32a4304e\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:f9dd6ef57d0c5312891f38f7301117278905336693fc46ad7811c9cc1bc8cf17\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:388a0dacd5b9e71bf13b4bd1f32657dbe350d1c090e580a14ddee0e669175515",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_selects_ratification_mode"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-5",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXIX",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        }
      ],
      "context": {
        "decisionTime": "2026-09-06T12:00:00+05:00",
        "knowledgeTime": "2026-09-06T12:00:00+05:00",
        "legalTime": "2026-09-06",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:b7f9b2c34db55d5f4809f7ec9eca42d8e3da1f7d29d8d41fadbb64a35e0541d3",
      "kind": "world_ref",
      "nodeCount": 188,
      "packages": [
        {
          "artifactHash": "sha256:b8201ca73a3b5de21ec294823c79a8a66d0b07c7107ab50a6d0beefbb4160c67",
          "namespace": "urn:us:constitution:clir",
          "package": "us-constitution",
          "semanticHash": "sha256:70f53493bc8dab8ef2e9d646f5e05dab58ceb959b3d802edcc14c223cccb6171"
        }
      ],
      "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:us:constitution:clir#AmendmentXXIX",
            "kind": "const_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:9b3ed45bddf2955cb297399f470aeb37ee48be382ca8127ff74a11ed0a29c5e6"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:9b3ed45bddf2955cb297399f470aeb37ee48be382ca8127ff74a11ed0a29c5e6"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#congress_selects_ratification_mode"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-2",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-3",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#article_v_procedure_satisfied"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#article_v_procedure_satisfied"
      },
      "id": "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2",
        "urn:proof:assert:urn:mcp:case#fact-3"
      ],
      "rule": "urn:us:constitution:clir#ArticleVProcedureConditions/alt/1",
      "sourceAnchors": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:us:constitution:clir#amendment-xxviii",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_is_part_of_constitution"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_is_part_of_constitution"
      },
      "id": "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:ArticleVProcedureConditions/alt/1:be37dcfabd09299478578c18d1769ea16ff52e9c7ce9d72136e77ba3e98d0032"
      ],
      "rule": "urn:us:constitution:clir#ArticleVValidityRule",
      "sourceAnchors": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:us:constitution:clir#amendment-xxviii",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ]
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-4",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxviii",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#congress_holds_sole_amendment_power"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#congress_holds_sole_amendment_power"
      },
      "id": "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:ArticleVValidityRule:ebac68c1f42a31e0991e89b30a7436693d7e7841edc45e482a0f7e8b7f566376",
        "urn:proof:assert:urn:mcp:case#fact-4"
      ],
      "rule": "urn:us:constitution:clir#SoleAmendmentPowerFromTransfer",
      "sourceAnchors": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:us:constitution:clir#amendment-xxviii",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ]
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxix",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-5",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxix",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v1"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
      },
      "id": "urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
        "urn:proof:assert:urn:mcp:case#fact-5"
      ],
      "rule": "urn:us:constitution:clir#UnilateralEnactmentMarkerRule",
      "sourceAnchors": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:us:constitution:clir#amendment-xxviii",
          "kind": "entity_ref"
        },
        "v1": {
          "id": "urn:us:constitution:clir#amendment-xxix",
          "kind": "entity_ref"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ]
    },
    {
      "conclusion": {
        "position": "urn:position:urn:us:constitution:clir#UnilateralAmendmentPowerRule:0",
        "template": "urn:us:constitution:clir#UnilateralAmendmentPower"
      },
      "id": "urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631",
      "kind": "norm_creation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
        "urn:proof:assert:urn:mcp:case#fact-5"
      ],
      "trust": "engine"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#amendment-xxix",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
      },
      "id": "urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc",
      "kind": "norm_creation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:SoleAmendmentPowerFromTransfer:49ec8196baf0316bfd7c05daabb54ef6b91b973e886715c34246a64e38ba6d07",
        "urn:proof:assert:urn:mcp:case#fact-5",
        "urn:proof:norm:urn:us:constitution:clir#UnilateralAmendmentPowerRule:d1a422b9d7c1986e28f52f9086d1316016bc7de5e18fc1868efd28fed4ef5631"
      ],
      "trust": "engine"
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:us:constitution:clir#amendment-xxix",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:UnilateralEnactmentMarkerRule:472ea56d0d0a55ab071228c5e0d93267b398fde9007af1335781e2d1e26540ca",
        "urn:proof:effect:urn:us:constitution:clir#UnilateralAmendmentPowerRule:e4a17b1f9d869b932ef502a487c87292e045285e114f497897247b1452a658fc"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:us:constitution:clir#Amendment",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "Amendment to the Constitution"
        }
      ],
      "name": "Amendment",
      "package": "urn:us:constitution:clir"
    },
    {
      "id": "urn:us:constitution:clir#AmendmentXXIX",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "hypothetical Twenty-Ninth Amendment, enacted unilaterally"
        }
      ],
      "name": "AmendmentXXIX",
      "package": "urn:us:constitution:clir",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:us:constitution:clir#AmendmentXXVIII",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "hypothetical Twenty-Eighth Amendment"
        }
      ],
      "name": "AmendmentXXVIII",
      "package": "urn:us:constitution:clir",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:us:constitution:clir#ArticleVAmendmentPower",
      "kind": "norm_template",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution"
        }
      ],
      "package": "urn:us:constitution:clir"
    },
    {
      "id": "urn:us:constitution:clir#ArticleVAmendmentPowerRule",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#ArticleVProcedureConditions/alt/1",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "The Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments ... or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention ... which ... shall be valid ... as Part of this Constitution, when ratified ... by the Legislatures of three fourths ... or by Conventions in three fourths thereof"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#ArticleVValidityRule",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#SoleAmendmentPowerFromTransfer",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "shall be valid to all Intents and Purposes, as Part of this Constitution"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#UnilateralAmendmentPower",
      "kind": "norm_template",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Congress alone holds the power of amendment"
        }
      ],
      "package": "urn:us:constitution:clir"
    },
    {
      "id": "urn:us:constitution:clir#UnilateralAmendmentPowerRule",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Congress alone holds the power of amendment"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#UnilateralEnactmentMarkerRule",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the amendment is valid without any ratification by the States"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#amendment_is_part_of_constitution",
      "kind": "symbol_decl",
      "labels": [],
      "name": "amendment_is_part_of_constitution",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#amendment_is_part_of_constitution/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the content of the amendment vests the power to amend this Constitution in the Congress alone"
        }
      ],
      "name": "amendment_transfers_amendment_power_to_congress",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the amendment is valid although no ratification by the States has taken place"
        }
      ],
      "name": "amendment_valid_through_unilateral_enactment",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#article_v_procedure_satisfied",
      "kind": "symbol_decl",
      "labels": [],
      "name": "article_v_procedure_satisfied",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#article_v_procedure_satisfied/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Congress declares the amendment adopted without ratification by the States"
        }
      ],
      "name": "congress_enacts_amendment_unilaterally",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#congress_holds_sole_amendment_power",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "by an amendment that is part of this Constitution, the Congress alone holds the power of amendment"
        }
      ],
      "name": "congress_holds_sole_amendment_power",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#congress_holds_sole_amendment_power/arg/e",
          "labels": [],
          "name": "e",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#congress_selects_ratification_mode",
      "kind": "symbol_decl",
      "labels": [],
      "name": "congress_selects_ratification_mode",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#congress_selects_ratification_mode/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states",
      "kind": "symbol_decl",
      "labels": [],
      "name": "ratified_by_legislatures_of_three_fourths_of_states",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#ratified_by_legislatures_of_three_fourths_of_states/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary",
      "kind": "symbol_decl",
      "labels": [],
      "name": "two_thirds_of_both_houses_deem_amendment_necessary",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 38,
      "fragments": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "jurisdiction": "US",
      "namespace": "urn:us:constitution:clir",
      "package": "us-constitution",
      "title": "Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан"
    }
  ],
  "caseHash": "sha256:8838b54240adcaf54a13b3af62cd512d18efb9d529dce3a644eb24a06023d3f0",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "Соединённые Штаты Америки",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834",
  "resultHash": "sha256:f9dd6ef57d0c5312891f38f7301117278905336693fc46ad7811c9cc1bc8cf17",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:388a0dacd5b9e71bf13b4bd1f32657dbe350d1c090e580a14ddee0e669175515

Original data · JSON

{
  "args": [
    "AmendmentXXIX"
  ],
  "facts": [
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "two_thirds_of_both_houses_deem_amendment_necessary"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "congress_selects_ratification_mode"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "ratified_by_legislatures_of_three_fourths_of_states"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "amendment_transfers_amendment_power_to_congress"
    },
    {
      "args": [
        "AmendmentXXIX"
      ],
      "predicate": "congress_enacts_amendment_unilaterally"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "us-constitution",
  "predicate": "amendment_valid_through_unilateral_enactment",
  "proof": true
}

Поправка о передаче власти принята по статье V, после чего односторонняя поправка выведена строгими правилами.

Condition

Без ратификации цель недостижима

Jurisdiction Соединённые Штаты АмерикиLaw as of 2026-09-06

Calculation result

Not established

Rule premises

Rule: the amendment is valid without any ratification by the States
- the Congress declares the amendment adopted without ratification by the StatesAmendmentXXIXestablished
- by an amendment that is part of this Constitution, the Congress alone holds the power of amendmentv0DEPENDS

Input parameters

What we are finding

the amendment is valid although no ratification by the States has taken place

hypothetical Twenty-Ninth Amendment, enacted unilaterally

Input facts

urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary
a: hypothetical Twenty-Eighth Amendment
urn:us:constitution:clir#congress_selects_ratification_mode
a: hypothetical Twenty-Eighth Amendment
the content of the amendment vests the power to amend this Constitution in the Congress alone
a: hypothetical Twenty-Eighth Amendment
the Congress declares the amendment adopted without ratification by the States
a: hypothetical Twenty-Ninth Amendment, enacted unilaterally

Package: Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "AmendmentXXIX"
  ],
  "facts": [
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "two_thirds_of_both_houses_deem_amendment_necessary"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "congress_selects_ratification_mode"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "amendment_transfers_amendment_power_to_congress"
    },
    {
      "args": [
        "AmendmentXXIX"
      ],
      "predicate": "congress_enacts_amendment_unilaterally"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "us-constitution",
  "predicate": "amendment_valid_through_unilateral_enactment",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path1 steps

1
Query evaluation
query

verified by the engine: 1 · case fact: 0 · Full graph: 1 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Why the conclusion was not reached1 rules

1
the amendment is valid without any ratification by the States
What is missing
- the Congress declares the amendment adopted without ratification by the StatesAmendment XXIXEstablished
- by an amendment that is part of this Constitution, the Congress alone holds the power of amendmentv0DEPENDS
Source: art. V
Identifier
urn:us:constitution:clir#UnilateralEnactmentMarkerRule
rule

These are the rules whose head answers the question, with their unmet premises. A missing fact is not a refuted one.

Proof graph

Proof graph · 1 layer

Proof nodes: 1 · query_evaluation 1

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
amendment-xxix
Type
entity_ref

Type

literal

Polarity

positive

Condition

amendment_valid_through_unilateral_enactment

truthStatus

Not established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

—

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:us:constitution:clir#amendment-xxix",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:8c0a1c824245fbdc38693f284f5bbbf68903a5244361381501630b6ba74d805b",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:42f5b1566e496a27544706d8838431cfd490fae25ce2c27c5dcfa4549552bc34",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp",
  "whyNot": [
    {
      "anchors": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "computedHead": false,
      "label": "the amendment is valid without any ratification by the States",
      "premises": [
        {
          "premise": "congress_enacts_amendment_unilaterally(AmendmentXXIX)",
          "status": "TRUE_ONLY"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "congress_holds_sole_amendment_power(v0)",
          "status": "DEPENDS"
        }
      ],
      "rule": "UnilateralEnactmentMarkerRule"
    }
  ]
}

SourcesExcerpts: 1

article/V

Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Article. V. The Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments to this Constitution, or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention for proposing Amendments, which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified by the Legislatures of three fourths of the several States, or by Conventions in three fourths thereof, as the one or the other Mode of Ratification may be proposed by the Congress; Provided that no Amendment which may be made prior to the Year One thousand eight hundred and eight shall in any Manner affect the first and fourth Clauses in the Ninth Section of the first Article; and that no State, without its Consent, shall be deprived of its equal Suffrage in the Senate.

Original data · JSON

{
  "contentHash": "sha256:6720d42cc42288d78e3f651be06360712959ab0e22252c43f16764c4c948d567",
  "edition": "urn:us:constitution:clir#US_CONSTITUTION_1787_ENGROSSED",
  "fragmentKind": "article",
  "id": "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V",
  "kind": "fragment",
  "locator": "article/V",
  "package": "urn:us:constitution:clir",
  "texts": [
    {
      "contentHash": "sha256:2bbf566d057beb173146c19102f8d5da8c454b8a8ce9291b6fddd28efc46a7e4",
      "language": "en",
      "status": "official",
      "text": "Article. V.\nThe Congress, whenever two thirds of both Houses shall deem it necessary, shall propose Amendments to this Constitution, or, on the Application of the Legislatures of two thirds of the several States, shall call a Convention for proposing Amendments, which, in either Case, shall be valid to all Intents and Purposes, as Part of this Constitution, when ratified by the Legislatures of three fourths of the several States, or by Conventions in three fourths thereof, as the one or the other Mode of Ratification may be proposed by the Congress; Provided that no Amendment which may be made prior to the Year One thousand eight hundred and eight shall in any Manner affect the first and fourth Clauses in the Ninth Section of the first Article; and that no State, without its Consent, shall be deprived of its equal Suffrage in the Senate."
    }
  ]
}

Packages in the snapshot

Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

amendment_valid_through_unilateral_enactment: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет» Правило «the amendment is valid without any ratification by the States» вывело бы это при посылках: ✓ congress_enacts_amendment_unilaterally(AmendmentXXIX) — TRUE_ONLY · congress_holds_sole_amendment_power(v0) — DEPENDS (? — факт не подан и не выведен; ✗ — установлено обратное) Полные правила с посылками: law_rules({"predicate": "amendment_valid_through_unilateral_enactment"}) Право (Соединённые Штаты Америки): Конституция США 1787 года и 27 поправок (programHash sha256:5d33846cf807…) proof-граф: 1 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»",
    "missingInputs": [],
    "truthStatus": "NEITHER"
  },
  "closedEditionRules": [],
  "derived": [],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:us:constitution:clir#amendment-xxix",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
            },
            "truthStatus": "NEITHER"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:8c0a1c824245fbdc38693f284f5bbbf68903a5244361381501630b6ba74d805b",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:42f5b1566e496a27544706d8838431cfd490fae25ce2c27c5dcfa4549552bc34",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": false,
        "fragmentCount": 38,
        "fragments": [],
        "jurisdiction": "US",
        "namespace": "urn:us:constitution:clir",
        "package": "us-constitution",
        "title": "Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан"
      }
    ],
    "caseHash": "sha256:fc555289a63ae9958dafecda88fc911cf8c78eb94fd56bce93ba45aa747bfaf7",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "Соединённые Штаты Америки",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834",
    "resultHash": "sha256:42f5b1566e496a27544706d8838431cfd490fae25ce2c27c5dcfa4549552bc34",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [],
  "signature": {
    "constants": {
      "urn:us:constitution:clir#AmendmentXXIX": {
        "labels": [
          {
            "language": "en",
            "status": "unofficial",
            "text": "hypothetical Twenty-Ninth Amendment, enacted unilaterally"
          }
        ],
        "type": "urn:us:constitution:clir#Amendment",
        "value": {
          "id": "urn:us:constitution:clir#amendment-xxix",
          "kind": "entity_ref"
        }
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "a",
        "type": {
          "name": "urn:us:constitution:clir#Amendment"
        }
      }
    ],
    "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:us:constitution:clir#Amendment": {
        "kind": "entity",
        "labels": [
          {
            "language": "en",
            "status": "official",
            "text": "Amendment to the Constitution"
          }
        ],
        "namespace": "urn:us:constitution:clir",
        "package": "us.constitution"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": [
    {
      "anchors": [
        "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
      ],
      "computedHead": false,
      "label": "the amendment is valid without any ratification by the States",
      "premises": [
        {
          "premise": "congress_enacts_amendment_unilaterally(AmendmentXXIX)",
          "status": "TRUE_ONLY"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "congress_holds_sole_amendment_power(v0)",
          "status": "DEPENDS"
        }
      ],
      "rule": "UnilateralEnactmentMarkerRule"
    }
  ]
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:b8201ca73a3b5de21ec294823c79a8a66d0b07c7107ab50a6d0beefbb4160c67\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:fc555289a63ae9958dafecda88fc911cf8c78eb94fd56bce93ba45aa747bfaf7\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:948016b55ecf4696a80e49eb42bddc6902be113098fa3eb03c5cdddd220d4b75\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:us:constitution:clir#amendment-xxix\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:8c0a1c824245fbdc38693f284f5bbbf68903a5244361381501630b6ba74d805b\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:42f5b1566e496a27544706d8838431cfd490fae25ce2c27c5dcfa4549552bc34\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:us:constitution:clir#amendment_valid_through_unilateral_enactment\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:1f0f726cf3e3c62ac6e2721f84f7fa31e3604b369664eaa11d79acfb08cce3ae",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_selects_ratification_mode"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-4",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXIX",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        }
      ],
      "context": {
        "decisionTime": "2026-09-06T12:00:00+05:00",
        "knowledgeTime": "2026-09-06T12:00:00+05:00",
        "legalTime": "2026-09-06",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:b7f9b2c34db55d5f4809f7ec9eca42d8e3da1f7d29d8d41fadbb64a35e0541d3",
      "kind": "world_ref",
      "nodeCount": 188,
      "packages": [
        {
          "artifactHash": "sha256:b8201ca73a3b5de21ec294823c79a8a66d0b07c7107ab50a6d0beefbb4160c67",
          "namespace": "urn:us:constitution:clir",
          "package": "us-constitution",
          "semanticHash": "sha256:70f53493bc8dab8ef2e9d646f5e05dab58ceb959b3d802edcc14c223cccb6171"
        }
      ],
      "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:us:constitution:clir#AmendmentXXIX",
            "kind": "const_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:2751f4f590407f24bf804d38df36c168966a6ca3fae2ae80fc627de209faa9bb"
}

Display metadata

{
  "blockers": {
    "whyNot": [
      {
        "anchors": [
          "urn:us:constitution:clir#US_CONSTITUTION_ARTICLE_V"
        ],
        "label": "the amendment is valid without any ratification by the States",
        "premises": [
          {
            "args": [
              "AmendmentXXIX"
            ],
            "predicate": "congress_enacts_amendment_unilaterally",
            "predicateId": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally",
            "status": "TRUE_ONLY",
            "text": "congress_enacts_amendment_unilaterally(AmendmentXXIX)"
          },
          {
            "args": [
              "v0"
            ],
            "predicate": "congress_holds_sole_amendment_power",
            "predicateId": "urn:us:constitution:clir#congress_holds_sole_amendment_power",
            "status": "DEPENDS",
            "text": "congress_holds_sole_amendment_power(v0)"
          }
        ],
        "rule": "UnilateralEnactmentMarkerRule",
        "ruleId": "urn:us:constitution:clir#UnilateralEnactmentMarkerRule"
      }
    ]
  },
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:2751f4f590407f24bf804d38df36c168966a6ca3fae2ae80fc627de209faa9bb"
  },
  "steps": [
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:us:constitution:clir#amendment-xxix",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment"
        },
        "truthStatus": "NEITHER"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:us:constitution:clir#Amendment",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "Amendment to the Constitution"
        }
      ],
      "name": "Amendment",
      "package": "urn:us:constitution:clir"
    },
    {
      "id": "urn:us:constitution:clir#AmendmentXXIX",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "hypothetical Twenty-Ninth Amendment, enacted unilaterally"
        }
      ],
      "name": "AmendmentXXIX",
      "package": "urn:us:constitution:clir",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:us:constitution:clir#AmendmentXXVIII",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "hypothetical Twenty-Eighth Amendment"
        }
      ],
      "name": "AmendmentXXVIII",
      "package": "urn:us:constitution:clir",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:us:constitution:clir#UnilateralEnactmentMarkerRule",
      "kind": "rule",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the amendment is valid without any ratification by the States"
        }
      ],
      "package": "urn:us:constitution:clir",
      "strength": "strict"
    },
    {
      "id": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the content of the amendment vests the power to amend this Constitution in the Congress alone"
        }
      ],
      "name": "amendment_transfers_amendment_power_to_congress",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#amendment_transfers_amendment_power_to_congress/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the amendment is valid although no ratification by the States has taken place"
        }
      ],
      "name": "amendment_valid_through_unilateral_enactment",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#amendment_valid_through_unilateral_enactment/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "the Congress declares the amendment adopted without ratification by the States"
        }
      ],
      "name": "congress_enacts_amendment_unilaterally",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#congress_enacts_amendment_unilaterally/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#congress_holds_sole_amendment_power",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "unofficial",
          "text": "by an amendment that is part of this Constitution, the Congress alone holds the power of amendment"
        }
      ],
      "name": "congress_holds_sole_amendment_power",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#congress_holds_sole_amendment_power/arg/e",
          "labels": [],
          "name": "e",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#congress_selects_ratification_mode",
      "kind": "symbol_decl",
      "labels": [],
      "name": "congress_selects_ratification_mode",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#congress_selects_ratification_mode/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary",
      "kind": "symbol_decl",
      "labels": [],
      "name": "two_thirds_of_both_houses_deem_amendment_necessary",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#two_thirds_of_both_houses_deem_amendment_necessary/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": false,
      "fragmentCount": 38,
      "fragments": [],
      "jurisdiction": "US",
      "namespace": "urn:us:constitution:clir",
      "package": "us-constitution",
      "title": "Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан"
    }
  ],
  "caseHash": "sha256:fc555289a63ae9958dafecda88fc911cf8c78eb94fd56bce93ba45aa747bfaf7",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "Соединённые Штаты Америки",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834",
  "resultHash": "sha256:42f5b1566e496a27544706d8838431cfd490fae25ce2c27c5dcfa4549552bc34",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:1f0f726cf3e3c62ac6e2721f84f7fa31e3604b369664eaa11d79acfb08cce3ae

Original data · JSON

{
  "args": [
    "AmendmentXXIX"
  ],
  "facts": [
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "two_thirds_of_both_houses_deem_amendment_necessary"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "congress_selects_ratification_mode"
    },
    {
      "args": [
        "AmendmentXXVIII"
      ],
      "predicate": "amendment_transfers_amendment_power_to_congress"
    },
    {
      "args": [
        "AmendmentXXIX"
      ],
      "predicate": "congress_enacts_amendment_unilaterally"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "us-constitution",
  "predicate": "amendment_valid_through_unilateral_enactment",
  "proof": true
}

Порог ратификации не пройден, власть не передана: ответ «не установлено», а не отрицание.

Condition

Равное представительство Вайоминга

Jurisdiction Соединённые Штаты АмерикиLaw as of 2026-09-06

Calculation result

Conflicting evidence

Input parameters

What we are finding

state has equal suffrage in senate

Wyoming

Concept labels were not saved in this snapshot. Technical names are shown without interpretation.

Input facts

urn:us:constitution:clir#state_has_equal_suffrage_in_senate
s: Wyoming
urn:us:constitution:clir#proposed_amendment_deprives_state_of_equal_suffrage
a: hypothetical Twenty-Eighth Amendments: Wyoming
Negated: urn:us:constitution:clir#state_has_equal_suffrage_in_senate
s: Wyoming

Package: Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "Wyoming"
  ],
  "facts": [
    {
      "args": [
        "Wyoming"
      ],
      "predicate": "state_has_equal_suffrage_in_senate"
    },
    {
      "args": [
        "AmendmentXXVIII",
        "Wyoming"
      ],
      "predicate": "proposed_amendment_deprives_state_of_equal_suffrage"
    },
    {
      "args": [
        "Wyoming"
      ],
      "negated": true,
      "predicate": "state_has_equal_suffrage_in_senate"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "us-constitution",
  "predicate": "state_has_equal_suffrage_in_senate",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path3 steps

1
state has equal suffrage in senate
urn:us:constitution:clir#state_has_equal_suffrage_in_senate: s: urn:us:constitution:clir#wyoming
case fact
2
state has equal suffrage in senate
not urn:us:constitution:clir#state_has_equal_suffrage_in_senate: s: urn:us:constitution:clir#wyoming
case fact
3
Query evaluation
query

verified by the engine: 1 · case fact: 2 · Full graph: 3 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 2 layer

Proof nodes: 3 · assertion 2, query_evaluation 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
wyoming
Type
entity_ref

Type

literal

Polarity

positive

Condition

state_has_equal_suffrage_in_senate

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

assertion · urn:proof:assert:urn:mcp:case#fact-3

attributes

assertion: fact-3

conclusion

Arguments

Identifier
wyoming
Type
entity_ref

Type

literal

Polarity

negative

Condition

state_has_equal_suffrage_in_senate

evidence

—

Identifier

fact-3

Type

assertion

Premises

—

sourceAnchors

—

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
wyoming
Type
entity_ref

Type

literal

Polarity

positive

Condition

state_has_equal_suffrage_in_senate

truthStatus

Conflicting evidence

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

fact-1
fact-3

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#wyoming",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#wyoming",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:us:constitution:clir#wyoming",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
            },
            "truthStatus": "BOTH"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:d45b9708f029560f3d43f3e5b1b689825c65b509f342e6f6be6d985ce418380c",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:0838fcb982a8122027c41fa9087f2dc3cf70f15fc934c802da647e9756c17057",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "proofRef": "urn:proof:query:mcp"
}

SourcesTexts not saved

Source texts were not saved in this snapshot.

Packages in the snapshot

Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

state_has_equal_suffrage_in_senate: BOTH — ПРОТИВОРЕЧИЕ: установлено и опровергнуто одновременно (§62); право не выбирает за вас — конфликт вынесен в ответ Право (Соединённые Штаты Америки): Конституция США 1787 года и 27 поправок (programHash sha256:5d33846cf807…) proof-граф: 3 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "ПРОТИВОРЕЧИЕ: установлено и опровергнуто одновременно (§62); право не выбирает за вас — конфликт вынесен в ответ",
    "missingInputs": [],
    "truthStatus": "BOTH"
  },
  "closedEditionRules": [],
  "derived": [],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#wyoming",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-3"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:us:constitution:clir#wyoming",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-3",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:us:constitution:clir#wyoming",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
            },
            "truthStatus": "BOTH"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-3"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:d45b9708f029560f3d43f3e5b1b689825c65b509f342e6f6be6d985ce418380c",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:0838fcb982a8122027c41fa9087f2dc3cf70f15fc934c802da647e9756c17057",
    "schemaVersion": "law.core.evaluation/0.2"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": false,
        "fragmentCount": 38,
        "fragments": [],
        "jurisdiction": "US",
        "namespace": "urn:us:constitution:clir",
        "package": "us-constitution",
        "title": "Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан"
      }
    ],
    "caseHash": "sha256:cb2bed0e284114edea1e7f6f56579b88ad9f560f86a11712868eccb109a17901",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "Соединённые Штаты Америки",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834",
    "resultHash": "sha256:0838fcb982a8122027c41fa9087f2dc3cf70f15fc934c802da647e9756c17057",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [],
  "signature": {
    "constants": {
      "urn:us:constitution:clir#Wyoming": {
        "labels": [
          {
            "language": "en",
            "status": "official",
            "text": "Wyoming"
          }
        ],
        "type": "urn:us:constitution:clir#State",
        "value": {
          "id": "urn:us:constitution:clir#wyoming",
          "kind": "entity_ref"
        }
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:us:constitution:clir#State"
        }
      }
    ],
    "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:us:constitution:clir#State": {
        "kind": "entity",
        "labels": [
          {
            "language": "en",
            "status": "official",
            "text": "State"
          }
        ],
        "namespace": "urn:us:constitution:clir",
        "package": "us.constitution"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:b8201ca73a3b5de21ec294823c79a8a66d0b07c7107ab50a6d0beefbb4160c67\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:cb2bed0e284114edea1e7f6f56579b88ad9f560f86a11712868eccb109a17901\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:c28a1cb44e390e9d71c18819cf01d23fe0de8e4d014d6138e9de5a0f4413ef40\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#wyoming\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#state_has_equal_suffrage_in_senate\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:us:constitution:clir#wyoming\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:us:constitution:clir#state_has_equal_suffrage_in_senate\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:us:constitution:clir#wyoming\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:us:constitution:clir#state_has_equal_suffrage_in_senate\"},\"truthStatus\":\"BOTH\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d45b9708f029560f3d43f3e5b1b689825c65b509f342e6f6be6d985ce418380c\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:0838fcb982a8122027c41fa9087f2dc3cf70f15fc934c802da647e9756c17057\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:us:constitution:clir#state_has_equal_suffrage_in_senate\",\"truthStatus\":\"BOTH\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
  "evaluationSha256": "sha256:4b0a4621c85d49aa937ec501a4e45567365cf94cc8c23b0d35d71c4c10ec8833",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#Wyoming",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#AmendmentXXVIII",
                "kind": "const_ref"
              },
              {
                "id": "urn:us:constitution:clir#Wyoming",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:us:constitution:clir#proposed_amendment_deprives_state_of_equal_suffrage"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-3",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:us:constitution:clir#Wyoming",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "negative",
            "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
          },
          "origin": "case_input",
          "package": "urn:us:constitution:clir"
        }
      ],
      "context": {
        "decisionTime": "2026-09-06T12:00:00+05:00",
        "knowledgeTime": "2026-09-06T12:00:00+05:00",
        "legalTime": "2026-09-06",
        "timezone": "Asia/Qyzylorda"
      },
      "options": {
        "selectedInterpretations": []
      }
    },
    "ir": {
      "irSha256": "sha256:b7f9b2c34db55d5f4809f7ec9eca42d8e3da1f7d29d8d41fadbb64a35e0541d3",
      "kind": "world_ref",
      "nodeCount": 188,
      "packages": [
        {
          "artifactHash": "sha256:b8201ca73a3b5de21ec294823c79a8a66d0b07c7107ab50a6d0beefbb4160c67",
          "namespace": "urn:us:constitution:clir",
          "package": "us-constitution",
          "semanticHash": "sha256:70f53493bc8dab8ef2e9d646f5e05dab58ceb959b3d802edcc14c223cccb6171"
        }
      ],
      "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:us:constitution:clir#Wyoming",
            "kind": "const_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.2"
  },
  "requestCanonicalSha256": "sha256:7703a50174237a0bd6c09e4c72bbb00f8be35445ef03718c2da96a00a0a9ea19"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:7703a50174237a0bd6c09e4c72bbb00f8be35445ef03718c2da96a00a0a9ea19"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#wyoming",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:us:constitution:clir#wyoming",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "negative",
        "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-3",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:us:constitution:clir#wyoming",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate"
        },
        "truthStatus": "BOTH"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-3"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:us:constitution:clir#Amendment",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "Amendment to the Constitution"
        }
      ],
      "name": "Amendment",
      "package": "urn:us:constitution:clir"
    },
    {
      "id": "urn:us:constitution:clir#AmendmentXXVIII",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "hypothetical Twenty-Eighth Amendment"
        }
      ],
      "name": "AmendmentXXVIII",
      "package": "urn:us:constitution:clir",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:us:constitution:clir#State",
      "kind": "type_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "State"
        }
      ],
      "name": "State",
      "package": "urn:us:constitution:clir"
    },
    {
      "id": "urn:us:constitution:clir#Wyoming",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "en",
          "status": "official",
          "text": "Wyoming"
        }
      ],
      "name": "Wyoming",
      "package": "urn:us:constitution:clir",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:us:constitution:clir#proposed_amendment_deprives_state_of_equal_suffrage",
      "kind": "symbol_decl",
      "labels": [],
      "name": "proposed_amendment_deprives_state_of_equal_suffrage",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#proposed_amendment_deprives_state_of_equal_suffrage/arg/a",
          "labels": [],
          "name": "a",
          "type": {
            "name": "urn:us:constitution:clir#Amendment"
          }
        },
        {
          "id": "urn:us:constitution:clir#proposed_amendment_deprives_state_of_equal_suffrage/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:us:constitution:clir#State"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate",
      "kind": "symbol_decl",
      "labels": [],
      "name": "state_has_equal_suffrage_in_senate",
      "package": "urn:us:constitution:clir",
      "parameters": [
        {
          "id": "urn:us:constitution:clir#state_has_equal_suffrage_in_senate/arg/s",
          "labels": [],
          "name": "s",
          "type": {
            "name": "urn:us:constitution:clir#State"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": false,
      "fragmentCount": 38,
      "fragments": [],
      "jurisdiction": "US",
      "namespace": "urn:us:constitution:clir",
      "package": "us-constitution",
      "title": "Конституция США 1787 года и 27 поправок — юрисдикция US, НЕ Республика Казахстан"
    }
  ],
  "caseHash": "sha256:cb2bed0e284114edea1e7f6f56579b88ad9f560f86a11712868eccb109a17901",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "Соединённые Штаты Америки",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:5d33846cf8078892d41b74dcb7c49e2e1e887164f68ea0b8a662ea075b1f3834",
  "resultHash": "sha256:0838fcb982a8122027c41fa9087f2dc3cf70f15fc934c802da647e9756c17057",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:4b0a4621c85d49aa937ec501a4e45567365cf94cc8c23b0d35d71c4c10ec8833

Original data · JSON

{
  "args": [
    "Wyoming"
  ],
  "facts": [
    {
      "args": [
        "Wyoming"
      ],
      "predicate": "state_has_equal_suffrage_in_senate"
    },
    {
      "args": [
        "AmendmentXXVIII",
        "Wyoming"
      ],
      "predicate": "proposed_amendment_deprives_state_of_equal_suffrage"
    },
    {
      "args": [
        "Wyoming"
      ],
      "negated": true,
      "predicate": "state_has_equal_suffrage_in_senate"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "us-constitution",
  "predicate": "state_has_equal_suffrage_in_senate",
  "proof": true
}

Утверждение поддержано и опровергнуто одновременно — противоречие показано, а не сглажено.

Condition

Отказ от иммунитета дипломата

Jurisdiction международный правопорядокLaw as of 2026-09-06

Calculation result

Established

Input parameters

What we are finding

иммунитет от юрисдикции определённо снят

diplomatproceeding

Input facts

аккредитующее государство представительства
mission: missionstate: sending-state
государство пребывания представительства
mission: missionstate: receiving-state
дипломатический агент
person: diplomatmission: mission
иск заявлен к лицу в государстве пребывания
proceeding: proceedingperson: diplomatstate: receiving-state
внутреннее право даёт органу государства исходную юрисдикцию
state: receiving-stateproceeding: proceeding
гражданское или административное производство
proceeding: proceeding
аккредитующее государство определённо выражает отказ от иммунитета от юрисдикции
state: sending-stateperson: diplomatproceeding: proceeding

Package: Венская конвенция о дипломатических сношениях (18.04.1961) — юрисдикция International, НЕ Республика Казахстан

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "urn:case:vcdr:diplomat",
    "urn:case:vcdr:proceeding"
  ],
  "facts": [
    {
      "args": [
        "urn:case:vcdr:mission",
        "urn:case:vcdr:sending-state"
      ],
      "predicate": "sending_state"
    },
    {
      "args": [
        "urn:case:vcdr:mission",
        "urn:case:vcdr:receiving-state"
      ],
      "predicate": "receiving_state"
    },
    {
      "args": [
        "urn:case:vcdr:diplomat",
        "urn:case:vcdr:mission"
      ],
      "predicate": "diplomatic_agent"
    },
    {
      "args": [
        "urn:case:vcdr:proceeding",
        "urn:case:vcdr:diplomat",
        "urn:case:vcdr:receiving-state"
      ],
      "predicate": "claim_against"
    },
    {
      "args": [
        "urn:case:vcdr:receiving-state",
        "urn:case:vcdr:proceeding"
      ],
      "predicate": "domestic_jurisdiction_basis"
    },
    {
      "args": [
        "urn:case:vcdr:proceeding"
      ],
      "predicate": "civil_or_administrative_claim"
    },
    {
      "args": [
        "urn:case:vcdr:sending-state",
        "urn:case:vcdr:diplomat",
        "urn:case:vcdr:proceeding"
      ],
      "predicate": "expressly_waives_jurisdiction_immunity"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "intl-vienna-diplomatic-relations-1961",
  "predicate": "jurisdiction_immunity_waived",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path9 steps

1
аккредитующее государство представительства
mission: urn:case:vcdr:mission; state: urn:case:vcdr:sending-state
case fact
2
государство пребывания представительства
mission: urn:case:vcdr:mission; state: urn:case:vcdr:receiving-state
case fact
3
дипломатический агент
person: urn:case:vcdr:diplomat; mission: urn:case:vcdr:mission
case fact
4
Статья 39. Дипломатический агент относится к лицам, имеющим право на привилегии и иммунитеты
лицо имеет право на привилегии и иммунитеты: person: urn:case:vcdr:diplomat; mission: urn:case:vcdr:mission
art. 39, art. 39
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#DiplomaticAgentIsPrivilegedPerson
rule
5
иск заявлен к лицу в государстве пребывания
proceeding: urn:case:vcdr:proceeding; person: urn:case:vcdr:diplomat; state: urn:case:vcdr:receiving-state
case fact
6
аккредитующее государство определённо выражает отказ от иммунитета от юрисдикции
state: urn:case:vcdr:sending-state; person: urn:case:vcdr:diplomat; proceeding: urn:case:vcdr:proceeding
case fact
7
norm creation
rule
8
иммунитет от юрисдикции определённо снят
person: urn:case:vcdr:diplomat; proceeding: urn:case:vcdr:proceeding
rule
9
Query evaluation
query

verified by the engine: 4 · case fact: 5 · Full graph: 32 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Венская конвенция о дипломатических сношениях (18.04.1961) — юрисдикция International, НЕ Республика Казахстан

Статья 39. Дипломатический агент относится к лицам, имеющим право на привилегии и иммунитеты
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#DiplomaticAgentIsPrivilegedPerson

Other rules in the evaluation8

Applied in the overall evaluation, but not on the proof path for this answer.

Венская конвенция о дипломатических сношениях (18.04.1961) — юрисдикция International, НЕ Республика Казахстан

Статья 31 пункт 1. Базовый иммунитет от гражданской и административной юрисдикции
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#CivilAdministrativeJurisdictionImmunity
Аналитическая база: Конвенция блокирует, но не создаёт исходную юрисдикцию внутреннего права
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#DomesticJurisdictionBaseline
Статья 31 пункт 3. Базовый иммунитет от исполнительных мер
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#ExecutionImmunity
Статья 31. Иммунитет поражает исходную презумпцию внутренней юрисдикции
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#JurisdictionImmunityDefeatsDomesticJurisdiction
Статья 31. Применимый иммунитет даёт отрицательный ответ на вопрос о юрисдикции государства пребывания
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#JurisdictionImmunityNegatesDomesticJurisdiction
Статья 23. Аккредитующее государство и глава освобождаются от налогов на помещения, кроме платы за конкретные услуги
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#MissionPremisesTaxExemption
Статья 30. Частная резиденция дипломатического агента пользуется неприкосновенностью
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#PrivateResidenceInviolability
Статья 31 пункт 4. Иммунитет в государстве пребывания не освобождает от юрисдикции аккредитующего государства
Identifier
urn:intl:vienna:clir:diplomatic-relations-1961#SendingStateJurisdictionUnaffected

Other derived facts8

помещения освобождены от государственных, районных и муниципальных налогов
mission: mission
лицо имеет право на привилегии и иммунитеты
person: diplomatmission: mission
частная резиденция неприкосновенна
person: diplomat
лицо остаётся под юрисдикцией аккредитующего государства
person: diplomat
иммунитет от исполнительных мер применим
person: diplomatproceeding: proceeding
лицо подлежит юрисдикции государства пребывания по иску
person: diplomatproceeding: proceeding
иммунитет от юрисдикции применим к иску
person: diplomatproceeding: proceeding

Original data · JSON

"не subject_to_receiving_state_jurisdiction(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding)"

помещения освобождены от государственных, районных и муниципальных налогов
mission
urn:case:vcdr:mission

лицо имеет право на привилегии и иммунитеты
person	mission
diplomat	urn:case:vcdr:mission

частная резиденция неприкосновенна
person
diplomat

лицо остаётся под юрисдикцией аккредитующего государства
person
diplomat

Relationship graph

иммунитет от исполнительных мер применим
person	proceeding
diplomat	proceeding

Relationship graph

лицо подлежит юрисдикции государства пребывания по иску
person	proceeding
diplomat	proceeding

Relationship graph

иммунитет от юрисдикции применим к иску
person	proceeding
diplomat	proceeding

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Who defeated whom

Defeated Аналитическая база: Конвенция блокирует, но не создаёт исходную юрисдикцию внутреннего права лицо подлежит юрисдикции государства пребывания по иску(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding)
Defeated by Статья 31. Иммунитет поражает исходную презумпцию внутренней юрисдикции лицо подлежит юрисдикции государства пребывания по иску(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding) (ground: defeater §107.3)
conclusion лицо подлежит юрисдикции государства пребывания по иску(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding)

Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.

Proof graph · 5 layer

Proof nodes: 32 · assertion 7, rule_application 9, candidate_closure 3, defeat 1, norm_creation 11, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 12

Article 2

Венская конвенция о дипломатических сношениях (18.04.1961) — юрисдикция International, НЕ Республика Казахстан — EXECUTABLE 30 §33.1

Article 2 The establishment of diplomatic relations between States, and of permanent diplomatic missions, takes place by mutual consent.

Original data · JSON

{
  "contentHash": "sha256:ab18a7bc8ab7a6f7a65d375c34fe5bb98b1e5b797dcdee8f1965855693b096cf",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:8447d5f297593e3c038595ca9eb49687ed1a99efedf3e06171d82c4b50284af1",
      "language": "en",
      "status": "official",
      "text": "Article 2\nThe establishment of diplomatic relations between States, and of permanent diplomatic missions,\ntakes place by mutual consent."
    }
  ]
}

Article 23

Article 23 1. The sending State and the head of the mission shall be exempt from all national, regional or municipal dues and taxes in respect of the premises of the mission, whether owned or leased, other than such as represent payment for specific services rendered. 2. The exemption from taxation referred to in this article shall not apply to such dues and taxes payable under the law of the receiving State by persons contracting with the sending State or the head of the mission.

Original data · JSON

{
  "contentHash": "sha256:0be8b6986db8a1e771ae2260cad63c24f4c6c3a186a44d2de7fed1522a5ac1d2",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_23",
  "kind": "fragment",
  "locator": "article/23",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:74b5b0bcbac4c0a7c30ac4aa29e7eba428289547092ecc117b03578cbda497a2",
      "language": "en",
      "status": "official",
      "text": "Article 23\n1. The sending State and the head of the mission shall be exempt from all national, regional or\nmunicipal dues and taxes in respect of the premises of the mission, whether owned or leased, other than\nsuch as represent payment for specific services rendered.\n2. The exemption from taxation referred to in this article shall not apply to such dues and taxes\npayable under the law of the receiving State by persons contracting with the sending State or the head of\nthe mission."
    }
  ]
}

Article 3

Article 3 1. The functions of a diplomatic mission consist, inter alia, in: (a) Representing the sending State in the receiving State; (b) Protecting in the receiving State the interests of the sending State and of its nationals, within the limits permitted by international law; (c) Negotiating with the Government of the receiving State; (d) Ascertaining by all lawful means conditions and developments in the receiving State, and reporting thereon to the Government of the sending State; (e) Promoting friendly relations between the sending State and the receiving State, and developing their economic, cultural and scientific relations. 2. Nothing in the present Convention shall be construed as preventing the performance of consular functions by a diplomatic mission.

Original data · JSON

{
  "contentHash": "sha256:321399553657225c0da152a4b71d2398361f387f42e540fffd454aeb49218fcb",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:5ec733d6781cbd7faa4e00b71718eecde7b2ba4686c05a28f1ba856033d73985",
      "language": "en",
      "status": "official",
      "text": "Article 3\n1. The functions of a diplomatic mission consist, inter alia, in:\n(a)\nRepresenting the sending State in the receiving State;\n(b)\nProtecting in the receiving State the interests of the sending State and of its nationals, within the\nlimits permitted by international law;\n(c)\nNegotiating with the Government of the receiving State;\n(d)\nAscertaining by all lawful means conditions and developments in the receiving State, and\nreporting thereon to the Government of the sending State;\n(e)\nPromoting friendly relations between the sending State and the receiving State, and developing\ntheir economic, cultural and scientific relations.\n2. Nothing in the present Convention shall be construed as preventing the performance of consular\nfunctions by a diplomatic mission."
    }
  ]
}

Article 30

Article 30 1. The private residence of a diplomatic agent shall enjoy the same inviolability and protection as the premises of the mission. 2. His papers, correspondence and, except as provided in paragraph 3 of article 31, his property, shall likewise enjoy inviolability.

Original data · JSON

{
  "contentHash": "sha256:e28898c3c999ad3f4bc6f62d889e65d6b1cb995f5aa98553d374f86a10073fd1",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_30",
  "kind": "fragment",
  "locator": "article/30",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:d35ff47d0113efa608c9252b358dfc993fad2e973b41c66b03c93458c6b66780",
      "language": "en",
      "status": "official",
      "text": "Article 30\n1. The private residence of a diplomatic agent shall enjoy the same inviolability and protection as\nthe premises of the mission.\n2. His papers, correspondence and, except as provided in paragraph 3 of article 31, his property,\nshall likewise enjoy inviolability."
    }
  ]
}

Article 31

Article 31 1. A diplomatic agent shall enjoy immunity from the criminal jurisdiction of the receiving State. He shall also enjoy immunity from its civil and administrative jurisdiction, except in the case of: (a) A real action relating to private immovable property situated in the territory of the receiving State, unless he holds it on behalf of the sending State for the purposes of the mission; (b) An action relating to succession in which the diplomatic agent is involved as executor, administrator, heir or legatee as a private person and not on behalf of the sending State; (c) An action relating to any professional or commercial activity exercised by the diplomatic agent in the receiving State outside his official functions. 2. A diplomatic agent is not obliged to give evidence as a witness. 3. No measures of execution may be taken in respect of a diplomatic agent except in the cases coming under subparagraphs (a), (b) and (c) of paragraph 1 of this article, and provided that the measures concerned can be taken without infringing the inviolability of his person or of his residence. 4. The immunity of a diplomatic agent from the jurisdiction of the receiving State does not exempt him from the jurisdiction of the sending State.

Original data · JSON

{
  "contentHash": "sha256:618d67d4461f35029b8716f2cd9419553272894e9f35fc6f0fabb6d0b7986ca0",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_31",
  "kind": "fragment",
  "locator": "article/31",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:7bd8d11369c46ae73a7094ae2d3846dc59b9b7350e8c5a6db7709fc2e285e6ad",
      "language": "en",
      "status": "official",
      "text": "Article 31\n1. A diplomatic agent shall enjoy immunity from the criminal jurisdiction of the receiving State.\nHe shall also enjoy immunity from its civil and administrative jurisdiction, except in the case of:\n(a)\nA real action relating to private immovable property situated in the territory of the receiving State,\nunless he holds it on behalf of the sending State for the purposes of the mission;\n(b)\nAn action relating to succession in which the diplomatic agent is involved as executor,\nadministrator, heir or legatee as a private person and not on behalf of the sending State;\n(c)\nAn action relating to any professional or commercial activity exercised by the diplomatic agent in\nthe receiving State outside his official functions.\n2. A diplomatic agent is not obliged to give evidence as a witness.\n3. No measures of execution may be taken in respect of a diplomatic agent except in the cases\ncoming under subparagraphs (a), (b) and (c) of paragraph 1 of this article, and provided that the\nmeasures concerned can be taken without infringing the inviolability of his person or of his residence.\n4. The immunity of a diplomatic agent from the jurisdiction of the receiving State does not exempt\nhim from the jurisdiction of the sending State."
    }
  ]
}

Article 39

Article 39 1. Every person entitled to privileges and immunities shall enjoy them from the moment he enters the territory of the receiving State on proceeding to take up his post or, if already in its territory, from the moment when his appointment is notified to the Ministry for Foreign Affairs or such other ministry as may be agreed. 2. When the functions of a person enjoying privileges and immunities have come to an end, such privileges and immunities shall normally cease at the moment when he leaves the country, or on expiry of a reasonable period in which to do so, but shall subsist until that time, even in case of armed conflict. However, with respect to acts performed by such a person in the exercise of his functions as a member of the mission, immunity shall continue to subsist. 3. In case of the death of a member of the mission, the members of his family shall continue to enjoy the privileges and immunities to which they are entitled until the expiry of a reasonable period in which to leave the country. 4. In the event of the death of a member of the mission not a national of or permanently resident in the receiving State or a member of his family forming part of his household, the receiving State shall permit the withdrawal of the movable property of the deceased, with the exception of any property acquired in the country the export of which was prohibited at the time of his death. Estate, succession and inheritance duties shall not be levied on movable property the presence of which in the receiving State was due solely to the presence there of the deceased as a member of the mission or as a member of the family of a member of the mission.

Original data · JSON

{
  "contentHash": "sha256:8bfe282a01e33e64c7f3933d5b80441697d54bcf5caa10f0bb830d3fa8eac3ef",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_39",
  "kind": "fragment",
  "locator": "article/39",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:234ed353ef70b671d6f4034631c7723d5fafe1816a5a593088290a5008fb272c",
      "language": "en",
      "status": "official",
      "text": "Article 39\n1. Every person entitled to privileges and immunities shall enjoy them from the moment he enters\nthe territory of the receiving State on proceeding to take up his post or, if already in its territory, from\nthe moment when his appointment is notified to the Ministry for Foreign Affairs or such other ministry\nas may be agreed.\n2. When the functions of a person enjoying privileges and immunities have come to an end, such\nprivileges and immunities shall normally cease at the moment when he leaves the country, or on expiry\nof a reasonable period in which to do so, but shall subsist until that time, even in case of armed conflict.\nHowever, with respect to acts performed by such a person in the exercise of his functions as a member\nof the mission, immunity shall continue to subsist.\n3. In case of the death of a member of the mission, the members of his family shall continue to\nenjoy the privileges and immunities to which they are entitled until the expiry of a reasonable period in\nwhich to leave the country.\n4. In the event of the death of a member of the mission not a national of or permanently resident in\nthe receiving State or a member of his family forming part of his household, the receiving State shall\npermit the withdrawal of the movable property of the deceased, with the exception of any property\nacquired in the country the export of which was prohibited at the time of his death. Estate, succession\nand inheritance duties shall not be levied on movable property the presence of which in the receiving\nState was due solely to the presence there of the deceased as a member of the mission or as a member of\nthe family of a member of the mission."
    }
  ]
}

Article 2

Статья 2 Установление дипломатических отношений между государствами и учреждение постоянных дипломатических представительств осуществляются по взаимному согласию.

Original data · JSON

{
  "contentHash": "sha256:72c2a87b39932bb2386bff40c48487724d71bd98b451eeca8ed2553659e2292d",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:ed57c88da14cfa329c9e0e7c4695a2cc676c06c132ecbbe8bf931c5aa695d5bb",
      "language": "ru",
      "status": "official",
      "text": "Статья 2\nУстановление дипломатических отношений между государствами и учреждение постоянных дипломатических представительств осуществляются по взаимному согласию."
    }
  ]
}

Article 23

Статья 23 1. Аккредитующее государство и глава представительства освобождаются от всех государственных, районных и муниципальных налогов, сборов и пошлин в отношении помещений представительства, собственных или наемных, кроме таких налогов, сборов и пошлин, которые представляют собой плату за конкретные виды обслуживания. 2. Фискальные изъятия, о которых говорится в настоящей статье, не касаются тех налогов, сборов и пошлин, которыми, согласно законам государства пребывания, облагаются лица, заключающие контракты с аккредитующим государством или главой представительства.

Original data · JSON

{
  "contentHash": "sha256:ae6c8dd1375493d18cf5fa262a8f2ca5bf7f74283eb8db3b459743f70ebb3348",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_23",
  "kind": "fragment",
  "locator": "article/23",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:5d31342fada52982c0eb1741e3c2190bd01dad57fe57db03c9a90310982de2b3",
      "language": "ru",
      "status": "official",
      "text": "Статья 23\n1. Аккредитующее государство и глава представительства освобождаются\nот всех государственных, районных и муниципальных налогов, сборов и\nпошлин в отношении помещений представительства, собственных или наемных,\nкроме таких налогов, сборов и пошлин, которые представляют собой плату\nза конкретные виды обслуживания.\n2. Фискальные изъятия, о которых говорится в настоящей статье, не\nкасаются тех налогов, сборов и пошлин, которыми, согласно законам государства пребывания, облагаются лица, заключающие контракты с аккредитующим государством или главой представительства."
    }
  ]
}

Article 3

Статья 3 1. Функции дипломатического представительства состоят, в частности: a) в представительстве аккредитующего государства в государстве пребывания; b) в защите в государстве пребывания интересов аккредитующего государства и его граждан в пределах, допускаемых международным правом; c) в ведении переговоров с правительством государства пребывания; d) в выяснении всеми законными средствами условий и событий в государстве пребывания и сообщении о них правительству аккредитующего государства; e) в поощрении дружественных отношений между аккредитующим государством и государством пребывания и в развитии их взаимоотношений в области экономики, культуры и науки. 2. Ни одно из положений настоящей Конвенции не должно истолковываться как препятствующее выполнению дипломатическим представительством консульских функций.

Original data · JSON

{
  "contentHash": "sha256:20eacee89b0051b8fedbf3098a4d68053685ccc218665ebe406f8ddfc694b84d",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:44570c9a78915f0924bbd06ba7a17011296dbcff97f108e8fb334c9099998827",
      "language": "ru",
      "status": "official",
      "text": "Статья 3\n1. Функции дипломатического представительства состоят, в частности:\na) в представительстве аккредитующего государства в государстве пребывания;\nb) в защите в государстве пребывания интересов аккредитующего государства\nи его граждан в пределах, допускаемых международным правом;\nc) в ведении переговоров с правительством государства пребывания;\nd) в выяснении всеми законными средствами условий и событий в государстве\nпребывания и сообщении о них правительству аккредитующего государства;\ne) в поощрении дружественных отношений между аккредитующим государством и государством пребывания и в развитии их взаимоотношений в\nобласти экономики, культуры и науки.\n2. Ни одно из положений настоящей Конвенции не должно истолковываться как препятствующее выполнению дипломатическим представительством\nконсульских функций."
    }
  ]
}

Article 30

Статья 30 1. Частная резиденция дипломатического агента пользуется той же неприкосновенностью и защитой, что и помещения представительства. 2. Его бумаги, корреспонденция и, с исключениями, предусмотренными в пункте 3 статьи 31, его имущество равным образом пользуются неприкосновенностью.

Original data · JSON

{
  "contentHash": "sha256:9044b7a1eb1d82077ef22e6578f842a146020e4804600372dce3b086d6bdfea5",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_30",
  "kind": "fragment",
  "locator": "article/30",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:e82320bb7c83abf5b50450564e1b228000628ae222032c0d2a831746e9f52e08",
      "language": "ru",
      "status": "official",
      "text": "Статья 30\n1. Частная резиденция дипломатического агента пользуется той же неприкосновенностью и защитой, что и помещения представительства.\n2. Его бумаги, корреспонденция и, с исключениями, предусмотренными\nв пункте 3 статьи 31, его имущество равным образом пользуются неприкосновенностью."
    }
  ]
}

Article 31

Статья 31 1. Дипломатический агент пользуется иммунитетом от уголовной юрисдикции государства пребывания. Он пользуется также иммунитетом от гражданской и административной юрисдикции, кроме случаев: a) вещных исков, относящихся к частному недвижимому имуществу, находящемуся на территории государства пребывания, если только он не владеет им от имени аккредитующего государства для целей представительства; b) исков, касающихся наследования, в отношении которых дипломатический агент выступает в качестве исполнителя завещания, попечителя над наследственным имуществом, наследника или отказополучателя как частное лицо, а не от имени аккредитующего государства; c) исков, относящихся к любой профессиональной или коммерческой деятельности, осуществляемой дипломатическим агентом в государстве пребывания за пределами своих официальных функций. 2. Дипломатический агент не обязан давать показаний в качестве свидетеля. 3. Никакие исполнительные меры не могут приниматься в отношении дипломатического агента, за исключением тех случаев, которые подпадают под подпункты «а», «b» и «с» пункта 1 настоящей статьи, и иначе как при условии, что соответствующие меры могут приниматься без нарушения неприкосновенности его личности или его резиденции. 4. Иммунитет дипломатического агента от юрисдикции государства пребывания не освобождает его от юрисдикции аккредитующего государства.

Original data · JSON

{
  "contentHash": "sha256:6af4468a4afefef3444d581e6c419a5febc081c0efba92a8f0964d094c0f56bb",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_31",
  "kind": "fragment",
  "locator": "article/31",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:a9aeda27346e3fea70e80161a69b26f2445c9571eeef0ecbc2c2d71c5f97f8ef",
      "language": "ru",
      "status": "official",
      "text": "Статья 31\n1. Дипломатический агент пользуется иммунитетом от уголовной юрисдикции государства пребывания. Он пользуется также иммунитетом от гражданской и административной юрисдикции, кроме случаев:\na) вещных исков, относящихся к частному недвижимому имуществу, находящемуся на территории государства пребывания, если только он не владеет\nим от имени аккредитующего государства для целей представительства;\nb) исков, касающихся наследования, в отношении которых дипломатический\nагент выступает в качестве исполнителя завещания, попечителя над наследственным имуществом, наследника или отказополучателя как частное\nлицо, а не от имени аккредитующего государства;\nc) исков, относящихся к любой профессиональной или коммерческой деятельности, осуществляемой дипломатическим агентом в государстве пребывания за пределами своих официальных функций.\n2. Дипломатический агент не обязан давать показаний в качестве свидетеля.\n3. Никакие исполнительные меры не могут приниматься в отношении\nдипломатического агента, за исключением тех случаев, которые подпадают под\nподпункты «а», «b» и «с» пункта 1 настоящей статьи, и иначе как при\nусловии, что соответствующие меры могут приниматься без нарушения неприкосновенности его личности или его резиденции.\n4. Иммунитет дипломатического агента от юрисдикции государства пребывания не освобождает его от юрисдикции аккредитующего государства."
    }
  ]
}

Article 39

Статья 39 1. Каждое лицо, имеющее право на привилегии и иммунитеты, пользуется ими с момента вступления его на территорию государства пребывания при следовании для занятия своего поста или, если оно уже находится на этой территории, с того момента, когда о его назначении сообщается министерству иностранных дел или другому министерству, в отношении которого имеется договоренность. 2. Если функции лица, пользующегося привилегиями и иммунитетами, заканчиваются, эти привилегии и иммунитеты нормально прекращаются в тот момент, когда оно оставляет страну, или по истечении разумного срока для того, чтобы это сделать, но продолжают существовать до этого времени даже в случае вооруженного конфликта. Однако в отношении действий, совершенных таким лицом при выполнении своих функций сотрудника представительства, иммунитет продолжает существовать. 3. В случае смерти сотрудника представительства члены его семьи продолжают пользоваться привилегиями и иммунитетами, на которые они имеют право, до истечения разумного срока для оставления страны пребывания. 4. В случае смерти сотрудника представительства, который не был гражданином государства пребывания или не проживал в нем постоянно, или члена его семьи, жившего вместе с ним, государство пребывания должно разрешить вывоз движимого имущества умершего, за исключением всего того имущества, которое приобретено в этой стране и вывоз которого был запрещен ко времени его смерти. Налог на наследство и пошлины на наследование не взимаются с движимого имущества, нахождение которого в государстве пребывания обусловлено исключительно пребыванием здесь умершего как сотрудника представительства или члена семьи сотрудника представительства.

Original data · JSON

{
  "contentHash": "sha256:00a07787ad4457b7b4577cca77d7f8c2603ab7ca460a44aff56ec378fdcdc1bf",
  "edition": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU",
  "fragmentKind": "article",
  "id": "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_39",
  "kind": "fragment",
  "locator": "article/39",
  "package": "urn:intl:vienna:clir:diplomatic-relations-1961",
  "texts": [
    {
      "contentHash": "sha256:92e8d1bb99ede6c6b8fbb38ddceaa79f67920ae27ba7560931a7ebdd29179ff9",
      "language": "ru",
      "status": "official",
      "text": "Статья 39\n1. Каждое лицо, имеющее право на привилегии и иммунитеты, пользуется\nими с момента вступления его на территорию государства пребывания при\nследовании для занятия своего поста или, если оно уже находится на этой\nтерритории, с того момента, когда о его назначении сообщается министерству\nиностранных дел или другому министерству, в отношении которого имеется\nдоговоренность.\n2. Если функции лица, пользующегося привилегиями и иммунитетами,\nзаканчиваются, эти привилегии и иммунитеты нормально прекращаются в тот\nмомент, когда оно оставляет страну, или по истечении разумного срока для\nтого, чтобы это сделать, но продолжают существовать до этого времени даже\nв случае вооруженного конфликта. Однако в отношении действий, совершенных таким лицом при выполнении своих функций сотрудника представительства, иммунитет продолжает существовать.\n3. В случае смерти сотрудника представительства члены его семьи продолжают пользоваться привилегиями и иммунитетами, на которые они имеют\nправо, до истечения разумного срока для оставления страны пребывания.\n4. В случае смерти сотрудника представительства, который не был гражданином государства пребывания или не проживал в нем постоянно, или члена\nего семьи, жившего вместе с ним, государство пребывания должно разрешить\nвывоз движимого имущества умершего, за исключением всего того имущества,\nкоторое приобретено в этой стране и вывоз которого был запрещен ко времени\nего смерти. Налог на наследство и пошлины на наследование не взимаются с\nдвижимого имущества, нахождение которого в государстве пребывания\nобусловлено исключительно пребыванием здесь умершего как сотрудника\nпредставительства или члена семьи сотрудника представительства."
    }
  ]
}

Packages in the snapshot

Венская конвенция о дипломатических сношениях (18.04.1961) — юрисдикция International, НЕ Республика Казахстан — EXECUTABLE 30 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

jurisdiction_immunity_waived: TRUE_ONLY — установлено Выведено правом: mission_premises_tax_exempt(urn:case:vcdr:mission); privileged_person(urn:case:vcdr:diplomat, urn:case:vcdr:mission); residence_inviolable(urn:case:vcdr:diplomat); state_jurisdiction_respected(urn:case:vcdr:diplomat); execution_immunity_applies(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding); subject_to_receiving_state_jurisdiction(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding); jurisdiction_immunity_applies(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding); не subject_to_receiving_state_jurisdiction(urn:case:vcdr:diplomat, urn:case:vcdr:proceeding) Применены правила: CivilAdministrativeJurisdictionImmunity, DiplomaticAgentIsPrivilegedPerson, DomesticJurisdictionBaseline, ExecutionImmunity, JurisdictionImmunityDefeatsDomesticJurisdiction, JurisdictionImmunityNegatesDomesticJurisdiction, MissionPremisesTaxExemption, PrivateResidenceInviolability, SendingStateJurisdictionUnaffected Право (международный правопорядок): Венская конвенция о дипломатических сношениях (18.04.1961) — EXECUTABLE 30 §33.1 (programHash sha256:0977d9272514…) proof-граф: 32 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 106,
      "fragments": [
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_23",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_30",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_31",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_EN_ART_39",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_23",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_30",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_31",
        "urn:intl:vienna:clir:diplomatic-relations-1961#VCDR_1961_RU_ART_39"
      ],
      "jurisdiction": "International",
      "namespace": "urn:intl:vienna:clir:diplomatic-relations-1961",
      "package": "intl-vienna-diplomatic-relations-1961",
      "title": "Венская конвенция о дипломатических сношениях (18.04.1961) — юрисдикция International, НЕ Республика Казахстан — EXECUTABLE 30 §33.1"
    }
  ],
  "caseHash": "sha256:1b2a5f3aaad3bf3ce991028f29708706268b979c8b77b782c08ddf9a6f52b3a0",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "международный правопорядок",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:0977d92725148a15352af530d5f1d40c0a7ba3432c6737c0648d22b330f70972",
  "resultHash": "sha256:22f954e7d37b6080573520b840293e89bc942d2a0bcc112a8d94935d73948a48",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:05006eff40147154899c68c323da0bb58285fd720aecb0f7ee9e5ca9ad2c9249

Original data · JSON

{
  "args": [
    "urn:case:vcdr:diplomat",
    "urn:case:vcdr:proceeding"
  ],
  "facts": [
    {
      "args": [
        "urn:case:vcdr:mission",
        "urn:case:vcdr:sending-state"
      ],
      "predicate": "sending_state"
    },
    {
      "args": [
        "urn:case:vcdr:mission",
        "urn:case:vcdr:receiving-state"
      ],
      "predicate": "receiving_state"
    },
    {
      "args": [
        "urn:case:vcdr:diplomat",
        "urn:case:vcdr:mission"
      ],
      "predicate": "diplomatic_agent"
    },
    {
      "args": [
        "urn:case:vcdr:proceeding",
        "urn:case:vcdr:diplomat",
        "urn:case:vcdr:receiving-state"
      ],
      "predicate": "claim_against"
    },
    {
      "args": [
        "urn:case:vcdr:receiving-state",
        "urn:case:vcdr:proceeding"
      ],
      "predicate": "domestic_jurisdiction_basis"
    },
    {
      "args": [
        "urn:case:vcdr:proceeding"
      ],
      "predicate": "civil_or_administrative_claim"
    },
    {
      "args": [
        "urn:case:vcdr:sending-state",
        "urn:case:vcdr:diplomat",
        "urn:case:vcdr:proceeding"
      ],
      "predicate": "expressly_waives_jurisdiction_immunity"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "intl-vienna-diplomatic-relations-1961",
  "predicate": "jurisdiction_immunity_waived",
  "proof": true
}

Отказ аккредитующего государства снимает иммунитет: применение нормы меняет правовое положение.

Condition

Низшая защита связывает всех

Jurisdiction мединская общинаLaw as of 2026-09-06

Calculation result

Established

Input parameters

What we are finding

يُجِيرُ عَلَيْهِمْ أَدْنَاهُمْ

Input facts

человек принадлежит к этой группе
p: 1g: بَنُو النَّبِيتِ
أَجَارَ
giver: 1beneficiary_person: 2
лицо, о котором идёт дело (домен замыканий §70)
x: 2

Package: Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — юрисдикция MedinanCommunity, НЕ Республика Казахстан — исторический памятник

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "urn:mdn:case:person:2"
  ],
  "facts": [
    {
      "args": [
        "urn:mdn:case:person:1",
        "urn:mdn:clir:sahifa#BanuAnNabit"
      ],
      "predicate": "belongs_to"
    },
    {
      "args": [
        "urn:mdn:case:person:1",
        "urn:mdn:case:person:2"
      ],
      "predicate": "grants_protection"
    },
    {
      "args": [
        "urn:mdn:case:person:2"
      ],
      "predicate": "person_at_issue"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "mdn-sahifa",
  "predicate": "protection_binds_all",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path7 steps

1
человек принадлежит к этой группе
p: urn:mdn:case:person:1; g: بَنُو النَّبِيتِ
case fact
2
أَجَارَ
giver: urn:mdn:case:person:1; beneficiary_person: urn:mdn:case:person:2
case fact
3
من أهل هذه الصحيفة
g: بَنُو النَّبِيتِ
origin not recorded
4
هَذَا كِتَابٌ مِنْ مُحَمَّدٍ النَّبِيِّ بَيْنَ الْمُؤْمِنِينَ وَالْمُسْلِمِينَ مِنْ قُرَيْشٍ وَيَثْرِبَ
مِنْ أَهْلِ هَذِهِ الصَّحِيفَةِ: p: urn:mdn:case:person:1
art. 1
Identifier
urn:mdn:clir:sahifa#PartyByNamedGroup
rule
5
norm creation
rule
6
يُجِيرُ عَلَيْهِمْ أَدْنَاهُمْ
x: urn:mdn:case:person:2
rule
7
Query evaluation
query

verified by the engine: 4 · case fact: 2 · origin not recorded: 1 · Full graph: 131 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — юрисдикция MedinanCommunity, НЕ Республика Казахстан — исторический памятник

هَذَا كِتَابٌ مِنْ مُحَمَّدٍ النَّبِيِّ بَيْنَ الْمُؤْمِنِينَ وَالْمُسْلِمِينَ مِنْ قُرَيْشٍ وَيَثْرِبَ
Identifier
urn:mdn:clir:sahifa#PartyByNamedGroup

Other rules in the evaluation14

Applied in the overall evaluation, but not on the proof path for this answer.

Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — юрисдикция MedinanCommunity, НЕ Республика Казахстан — исторический памятник

وَإِنَّ عَلَى الْيَهُودِ نَفَقَتَهُمْ وَعَلَى الْمُسْلِمِينَ نَفَقَتَهُمْ
Identifier
urn:mdn:clir:sahifa#EachSideBearsItsOwnExpenses
الْمُهَاجِرُونَ مِنْ قُرَيْشٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ
Identifier
urn:mdn:clir:sahifa#EachUnitKeepsItsFormerScale
كَأَنْفُسِهِمْ
Identifier
urn:mdn:clir:sahifa#EquatedGroupsKeepTheirReligion
وَإِنَّ بَيْنَهُمْ النَّصْرَ عَلَى مَنْ حَارَبَ أَهْلَ هَذِهِ الصَّحِيفَةِ، وَإِنَّ بَيْنَهُمْ النُّصْحَ وَالنَّصِيحَةَ
Identifier
urn:mdn:clir:sahifa#HelpAgainstWhoeverWarsOnThePeopleOfTheDocument
وَإِنَّ يَثْرِبَ حَرَامٌ جَوْفُهَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ
Identifier
urn:mdn:clir:sahifa#InteriorOfYathribIsSacredForThePeopleOfTheDocument
لِلْيَهُودِ دِينُهُمْ، وَلِلْمُسْلِمَيْنِ دِينُهُمْ
Identifier
urn:mdn:clir:sahifa#JewishCommunityKeepsItsReligion
عَلَى مِثْلِ مَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ
Identifier
urn:mdn:clir:sahifa#JewsOfAlAwsKeepTheirReligion
وَإِنَّ يَهُودَ الْأَوْسِ، مَوَالِيَهُمْ وَأَنْفُسَهُمْ، عَلَى مِثْلِ مَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ
Identifier
urn:mdn:clir:sahifa#JewsOfAlAwsStandLikeThePeopleOfTheDocument
وَإِنَّ لِيَهُودِ بَنِي النَّجَّارِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ
Identifier
urn:mdn:clir:sahifa#OtherJewishCommunitiesStandLikeBanuAwf
إنَّهُمْ أُمَّةٌ وَاحِدَةٌ مِنْ دُونِ النَّاسِ
Identifier
urn:mdn:clir:sahifa#PartiesAreOneCommunity
مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ
Identifier
urn:mdn:clir:sahifa#ReferredCommunitiesKeepTheirReligion
وَإِنَّ جَفْنَةَ بَطْنٌ مِنْ ثَعْلَبَةَ كَأَنْفُسِهِمْ
Identifier
urn:mdn:clir:sahifa#SubdivisionsAndClientsAreCountedAsThemselves
وَإِنَّ اللَّهَ جَارٌ لِمَنْ بَرَّ وَاتَّقَى
Identifier
urn:mdn:clir:sahifa#TheDocumentShieldsThePartiesGenerally
وَإِنَّ الْبِرَّ دُونَ الْإِثْمِ
Identifier
urn:mdn:clir:sahifa#TheGrantIsForPietyNotForSin

79 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Closed list: Кто помогал Курайшу — исчерпывается материалами дела

closed predicate مَنْ نَصَرَهَا · snapshot urn:mdn:sahifa:snapshot:quraysh-helpers:2026-08-31 · complete as of 2026-08-31T00:00:00+00:00

in the list

not in the list (explicit negative by closure)

urn:mdn:case:person:2

The list is closed by a §70 declaration: a missing record in the snapshot yields an explicit negative with an anti-membership certificate (§231.1). The lists are proof-graph nodes as recorded by the evaluation.

Closed list: Кто из курайшитов — исчерпывается материалами дела

closed predicate مِنْ قُرَيْشٍ · snapshot urn:mdn:sahifa:snapshot:quraysh:2026-08-31 · complete as of 2026-08-31T00:00:00+00:00

in the list

not in the list (explicit negative by closure)

urn:mdn:case:person:2

Proof graph · 4 layer

Proof nodes: 131 · assertion 47, rule_application 79, candidate_closure 2, norm_creation 2, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 26

Article 1

Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — юрисдикция MedinanCommunity, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 47 §33.1

بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ، هَذَا كِتَابٌ مِنْ مُحَمَّدٍ النَّبِيِّ صَلَّى اللهُ عَلَيْهِ وَسَلَّمَ، بَيْنَ الْمُؤْمِنِينَ وَالْمُسْلِمِينَ مِنْ قُرَيْشٍ وَيَثْرِبَ، وَمَنْ تَبِعَهُمْ، فَلَحِقَ بِهِمْ، وَجَاهَدَ مَعَهُمْ

Original data · JSON

{
  "contentHash": "sha256:067724eb9f5a12af4859f36b213b3894caec7798e5a8cf8ab75720d48be85c23",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:48c1d3b94a1da6d3379b573d237af46e575c9f95ca95d797ed48ec68f00fab9c",
      "language": "ar",
      "status": "unofficial",
      "text": "بِسْمِ اللَّهِ الرَّحْمَنِ الرَّحِيمِ، هَذَا كِتَابٌ مِنْ مُحَمَّدٍ النَّبِيِّ صَلَّى اللهُ عَلَيْهِ وَسَلَّمَ، بَيْنَ الْمُؤْمِنِينَ وَالْمُسْلِمِينَ مِنْ قُرَيْشٍ وَيَثْرِبَ، وَمَنْ تَبِعَهُمْ، فَلَحِقَ بِهِمْ، وَجَاهَدَ مَعَهُمْ"
    }
  ]
}

Article 10

وَبَنُو النَّبِيتِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:cad5aa7f76baf09cbfdddb382ecba83f6fef0d27c9a00c8265d90f35a8193d50",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:9f515690b9d04bfeb14ef070ebee90f94f1bea30c6fd3e446cf68ab9ac96c4ba",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو النَّبِيتِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 11

وَبَنُو الْأَوْسِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:0c834b5c6d3cb1063d6cef4bf9898b21382f66920320c651a236fefd03aea6f0",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:c53a36b87ba1345480c84f6928a068b272172106214b3dce99afa90de0628051",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو الْأَوْسِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 2

إنَّهُمْ أُمَّةٌ وَاحِدَةٌ مِنْ دُونِ النَّاسِ

Original data · JSON

{
  "contentHash": "sha256:cf893ff1d30af84ca3dbd16f85beb5ad76587fd2fb053bcadf436191789cbfe2",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:a1121ee0572293d35d14fcaa90a49705c5060431323678e6fbc70d526d3bc0df",
      "language": "ar",
      "status": "unofficial",
      "text": "إنَّهُمْ أُمَّةٌ وَاحِدَةٌ مِنْ دُونِ النَّاسِ"
    }
  ]
}

Article 25

أُمَّةٌ مَعَ الْمُؤْمِنِينَ، لِلْيَهُودِ دِينُهُمْ، وَلِلْمُسْلِمَيْنِ دِينُهُمْ، مَوَالِيهِمْ وَأَنْفُسُهُمْ، إلَّا مَنْ ظَلَمَ وَأَثِمَ، فَإِنَّهُ لَا يُوتِغُ إلَّا نَفْسَهُ، وَأَهْلَ بَيْتِهِ

Original data · JSON

{
  "contentHash": "sha256:9cea7c9cb9c82b90309aa718c0cc8d88c01033cfc8bb7f2588af5798007cb58c",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART25",
  "kind": "fragment",
  "locator": "article/25",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:d03381445a5328b379bbd796a6e35c3ab8820c3a71f79b0f9dcba3c5cca6358e",
      "language": "ar",
      "status": "unofficial",
      "text": "أُمَّةٌ مَعَ الْمُؤْمِنِينَ، لِلْيَهُودِ دِينُهُمْ، وَلِلْمُسْلِمَيْنِ دِينُهُمْ، مَوَالِيهِمْ وَأَنْفُسُهُمْ، إلَّا مَنْ ظَلَمَ وَأَثِمَ، فَإِنَّهُ لَا يُوتِغُ إلَّا نَفْسَهُ، وَأَهْلَ بَيْتِهِ"
    }
  ]
}

Article 26

وَإِنَّ لِيَهُودِ بَنِي النَّجَّارِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ

Original data · JSON

{
  "contentHash": "sha256:4947fc7368e7895f73b93cb3b87562ba0e6cb9f72e547c6eb47f0bdbf0343808",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART26",
  "kind": "fragment",
  "locator": "article/26",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:b0c56002993204ac150158d28ae6071edb5ab0df157c717eb6a6579d117cae76",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِيَهُودِ بَنِي النَّجَّارِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ"
    }
  ]
}

Article 27

وَإِنَّ لِيَهُودِ بَنِي الْحَارِثِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ

Original data · JSON

{
  "contentHash": "sha256:ef3ac59e01b265c92caa202c4d8832a833e52891b81850bd5d8e1953e2faca09",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART27",
  "kind": "fragment",
  "locator": "article/27",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:d085412b4ee193ee88a04c504d429d6d0e0378aa81392fb4299a2f2bbe22f1a4",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِيَهُودِ بَنِي الْحَارِثِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ"
    }
  ]
}

Article 28

وَإِنَّ لِيَهُودِ بَنِي سَاعِدَةَ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ

Original data · JSON

{
  "contentHash": "sha256:9c61763e8f16394448bba77e24bdd69d3e6cd64e8d96ddb24f842ca901e05fed",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART28",
  "kind": "fragment",
  "locator": "article/28",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:e9471105a0b30bece373aca5afc8e3ae97658a1c5405a97187edd1641d7422a8",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِيَهُودِ بَنِي سَاعِدَةَ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ"
    }
  ]
}

Article 29

وَإِنَّ لِيَهُودِ بَنِي جُشَمٍ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ

Original data · JSON

{
  "contentHash": "sha256:1f999cfc87a95850b3c9c872a682d5f84f41e15d81017dd8741534d38f0a8dae",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART29",
  "kind": "fragment",
  "locator": "article/29",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:5fb862379c2f637bb56b972df7403ff2dae4f8b8dbfdf8c356caff4bdfa6d7e7",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِيَهُودِ بَنِي جُشَمٍ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ"
    }
  ]
}

Article 3

الْمُهَاجِرُونَ مِنْ قُرَيْشٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ، بَيْنَهُمْ، وَهُمْ يَفْدُونَ عَانِيَهُمْ بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:19ef71bccca634aa130d240f3ea281d377f2019897e8e576f3ea658ed40a17ca",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:194b126d423ebd606574e1b5c2e555c915e2b44e61d96c7b8b7219e14e9fcb92",
      "language": "ar",
      "status": "unofficial",
      "text": "الْمُهَاجِرُونَ مِنْ قُرَيْشٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ، بَيْنَهُمْ، وَهُمْ يَفْدُونَ عَانِيَهُمْ بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 30

وَإِنَّ لِيَهُودِ بَنِي الْأَوْسِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ

Original data · JSON

{
  "contentHash": "sha256:e5f88654c116cb5e154e0f6d858d663219895e6e57c56a45c021cb731fe1a171",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART30",
  "kind": "fragment",
  "locator": "article/30",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:8dd284a42228f7860a87de13a2fe6d23f44e61ab73a3d0558adbf05e2b8d128b",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِيَهُودِ بَنِي الْأَوْسِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ"
    }
  ]
}

Article 31

وَإِنَّ لِيَهُودِ بَنِي ثَعْلَبَةَ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ، إلَّا مَنْ ظَلَمَ وَأَثِمَ، فَإِنَّهُ لَا يُوتِغُ إلَّا نَفْسَهُ وَأَهْلَ بَيْتِهِ

Original data · JSON

{
  "contentHash": "sha256:d44cefb74f6f5603be339d73651b299c6f3db9086e3615bb7ad1f5b2891b914e",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART31",
  "kind": "fragment",
  "locator": "article/31",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:a4920e34676cea24855cec160831298923d9de9e6a5803ba619a2720d38ff8a9",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِيَهُودِ بَنِي ثَعْلَبَةَ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ، إلَّا مَنْ ظَلَمَ وَأَثِمَ، فَإِنَّهُ لَا يُوتِغُ إلَّا نَفْسَهُ وَأَهْلَ بَيْتِهِ"
    }
  ]
}

Article 32

وَإِنَّ جَفْنَةَ بَطْنٌ مِنْ ثَعْلَبَةَ كَأَنْفُسِهِمْ

Original data · JSON

{
  "contentHash": "sha256:eb627c58325f00952e13bfcd408852cd851f5f0bb57a6b0a67919cd2ca34c636",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART32",
  "kind": "fragment",
  "locator": "article/32",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:eb5d972558ad3178c6b0cdebb85d23882a8f7e8dac62d8c02c6788b7b6c6731a",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ جَفْنَةَ بَطْنٌ مِنْ ثَعْلَبَةَ كَأَنْفُسِهِمْ"
    }
  ]
}

Article 33

وَإِنَّ لِبَنِي الشَّطِيبَةِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ، وَإِنَّ الْبِرَّ دُونَ الْإِثْمِ

Original data · JSON

{
  "contentHash": "sha256:27e5c963acbe9b6ea27edd99113fe72c3200b8407f320ca3f2718639e76b4eb8",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART33",
  "kind": "fragment",
  "locator": "article/33",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:ee7c8a2cd1302e34f4eed5e461e80e5c2e6fbaceeea0676c0ea8537940181e18",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ لِبَنِي الشَّطِيبَةِ مِثْلَ مَا لِيَهُودِ بَنِي عَوْفٍ، وَإِنَّ الْبِرَّ دُونَ الْإِثْمِ"
    }
  ]
}

Article 34

وَإِنَّ مَوَالِيَ ثَعْلَبَةَ كَأَنْفُسِهِمْ

Original data · JSON

{
  "contentHash": "sha256:879d5240ce50c5089a097d14421c69bef90a9151eefbd817d9da0831a271a3af",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART34",
  "kind": "fragment",
  "locator": "article/34",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:7a92b3d098b7da53dd1b07afe0f615d42ae29a25bd3f10c8d70786d6219c2509",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ مَوَالِيَ ثَعْلَبَةَ كَأَنْفُسِهِمْ"
    }
  ]
}

Article 35

وَإِنَّ بِطَانَةَ يَهُودَ كَأَنْفُسِهِمْ

Original data · JSON

{
  "contentHash": "sha256:ac84ebc734db9675ba37f0d58e613a365f55b4c2a0e2bcfe3f0b3aa83671958c",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART35",
  "kind": "fragment",
  "locator": "article/35",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:e127b4be2bc90564ddf2eb6543ef68534c3577a6d14af13fabf9fe9af80ee6d1",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ بِطَانَةَ يَهُودَ كَأَنْفُسِهِمْ"
    }
  ]
}

Article 37

وَإِنَّ عَلَى الْيَهُودِ نَفَقَتَهُمْ وَعَلَى الْمُسْلِمِينَ نَفَقَتَهُمْ، وَإِنَّ بَيْنَهُمْ النَّصْرَ عَلَى مَنْ حَارَبَ أَهْلَ هَذِهِ الصَّحِيفَةِ، وَإِنَّ بَيْنَهُمْ النُّصْحَ وَالنَّصِيحَةَ، وَالْبِرَّ دُونَ الْإِثْمِ، وَإِنَّهُ لَمْ يَأْثَمْ امْرُؤٌ بِحَلِيفِهِ، وَإِنَّ النَّصْرَ لِلْمَظْلُومِ

Original data · JSON

{
  "contentHash": "sha256:24f058112906c7817f130ee85c59e6446d43da55ca9ebf4a67487ffe5fafb62d",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART37",
  "kind": "fragment",
  "locator": "article/37",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:5cc6539302ee7da7e5c7438ce6f1108e73dbc2d4bbd54ef9968ca1dac4eb1772",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ عَلَى الْيَهُودِ نَفَقَتَهُمْ وَعَلَى الْمُسْلِمِينَ نَفَقَتَهُمْ، وَإِنَّ بَيْنَهُمْ النَّصْرَ عَلَى مَنْ حَارَبَ أَهْلَ هَذِهِ الصَّحِيفَةِ، وَإِنَّ بَيْنَهُمْ النُّصْحَ وَالنَّصِيحَةَ، وَالْبِرَّ دُونَ الْإِثْمِ، وَإِنَّهُ لَمْ يَأْثَمْ امْرُؤٌ بِحَلِيفِهِ، وَإِنَّ النَّصْرَ لِلْمَظْلُومِ"
    }
  ]
}

Article 39

حَرَامٌ جَوْفُهَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ

Original data · JSON

{
  "contentHash": "sha256:0260143629c66364778697d9aec59db169fab27c1c57dc3f52fd6c0a0d4cafb9",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART39",
  "kind": "fragment",
  "locator": "article/39",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:0d9010996fbbd45dcf833a3bcccfcde87bebccc2bea03f8e7b95f1f0ebcaaeb0",
      "language": "ar",
      "status": "unofficial",
      "text": "حَرَامٌ جَوْفُهَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ"
    }
  ]
}

Article 4

وَبَنُو عَوْفٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، كُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:bcd3fcebc0e0730a2e26594c44d1482cd9e70209474b028fad55e3263acee39e",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART4",
  "kind": "fragment",
  "locator": "article/4",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:b7dd4431b78eebc3d2fd2446bb098635e1c2d4471809a082ff7b357d3b7842aa",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو عَوْفٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، كُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 46

وَإِنَّ يَهُودَ الْأَوْسِ، مَوَالِيَهُمْ وَأَنْفُسَهُمْ، عَلَى مِثْلِ مَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ. مَعَ الْبِرِّ الْمَحْضِ؟ مِنْ أَهْلِ هَذِهِ الصَّحِيفَةِ. وَإِنَّ الْبِرَّ دُونَ الْإِثْمِ، لَا يَكْسِبُ كَاسِبٌ إلَّا عَلَى نَفْسِهِ، وَإِنَّ اللَّهَ عَلَى أَصْدَقِ مَا فِي هَذِهِ الصَّحِيفَةِ وَأَبَرِّهِ

Original data · JSON

{
  "contentHash": "sha256:52b3a58392e5a68518153cd2863159863e26ee47e26d3f7d0392c49b287820fb",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART46",
  "kind": "fragment",
  "locator": "article/46",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:99de2a5847c7283d0490af597fc6e55e3da1526691bd11de8000881a07a12640",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّ يَهُودَ الْأَوْسِ، مَوَالِيَهُمْ وَأَنْفُسَهُمْ، عَلَى مِثْلِ مَا لِأَهْلِ هَذِهِ الصَّحِيفَةِ. مَعَ الْبِرِّ الْمَحْضِ؟ مِنْ أَهْلِ هَذِهِ الصَّحِيفَةِ. وَإِنَّ الْبِرَّ دُونَ الْإِثْمِ، لَا يَكْسِبُ كَاسِبٌ إلَّا عَلَى نَفْسِهِ، وَإِنَّ اللَّهَ عَلَى أَصْدَقِ مَا فِي هَذِهِ الصَّحِيفَةِ وَأَبَرِّهِ"
    }
  ]
}

Article 47

وَإِنَّهُ لَا يَحُولُ هَذَا الْكِتَابُ دُونَ ظَالِمٍ وَآثِمٍ، وَإِنَّهُ مَنْ خَرَجَ آمِنٌ، وَمَنْ قَعَدَ آمِنٌ بِالْمَدِينَةِ، إلَّا مَنْ ظَلَمَ أَوْ أَثِمَ، وَإِنَّ اللَّهَ جَارٌ لِمَنْ بَرَّ وَاتَّقَى، وَمُحَمَّدٌ رَسُولُ اللَّهِ صَلَّى اللهُ عَلَيْهِ وَسَلَّمَ

Original data · JSON

{
  "contentHash": "sha256:0dbd8f7c649b952e0231ee1caa0523cd14bd199c346ae233818ca26901f50999",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART47",
  "kind": "fragment",
  "locator": "article/47",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:898e0a1e66f3e1029bf2c7ef831ddcf6b47e004ed440d6b56613f39b6656c68e",
      "language": "ar",
      "status": "unofficial",
      "text": "وَإِنَّهُ لَا يَحُولُ هَذَا الْكِتَابُ دُونَ ظَالِمٍ وَآثِمٍ، وَإِنَّهُ مَنْ خَرَجَ آمِنٌ، وَمَنْ قَعَدَ آمِنٌ بِالْمَدِينَةِ، إلَّا مَنْ ظَلَمَ أَوْ أَثِمَ، وَإِنَّ اللَّهَ جَارٌ لِمَنْ بَرَّ وَاتَّقَى، وَمُحَمَّدٌ رَسُولُ اللَّهِ صَلَّى اللهُ عَلَيْهِ وَسَلَّمَ"
    }
  ]
}

Article 5

وَبَنُو سَاعِدَةَ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:f22555b2305ba135539d938e2675bde4aeb11c8f82f999114baa756593b0abf3",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:eac5870074064973db1189f6febc8bf43d7b2dad3b51700c38cbca036ca6b496",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو سَاعِدَةَ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 6

وَبَنُو الْحَارِثِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:a5be0f6484585a0d8ed2aa89e9b3cddc110144024435aacc60aa4f81e2c6600b",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART6",
  "kind": "fragment",
  "locator": "article/6",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:39ab93092a5a6f9f2de6bfbbe691c4c1a7fe19bcfd954027219c5a682ef5eda0",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو الْحَارِثِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 7

وَبَنُو جُشَمٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلِهِمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:2254b2ba2a37b8e7acee2315affaa7535b254c5e4a9243e50ef8ea12ac610aa8",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART7",
  "kind": "fragment",
  "locator": "article/7",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:1e194206377596772faddf08942d64c625749518f541c7f7b1937eb309e2dff5",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو جُشَمٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلِهِمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 8

وَبَنُو النَّجَّارِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:2a74acbbe50a9cbe76cdc20071a4d10a3920c2ebc0cf21483ef8d0b1c024f274",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:53cbc790ad434affc0dd71f1ffb02b2e5fa7b5c00c8dfa630068b1151457a1b1",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو النَّجَّارِ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ مِنْهُمْ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Article 9

وَبَنُو عَمْرِو بْنِ عَوْفٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ

Original data · JSON

{
  "contentHash": "sha256:d5ca31246af5baa33bbd53fc15f2091828db875ff03d2f6ba82fcc3609595a38",
  "edition": "urn:mdn:clir:sahifa#SAHIFA_IBN_HISHAM",
  "fragmentKind": "provision",
  "id": "urn:mdn:clir:sahifa#SHF_ART9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:mdn:clir:sahifa",
  "texts": [
    {
      "contentHash": "sha256:e8615fcd2755b49be19098f1c2cd35a91d08bac5bcfeb3d44f64de546f1a753c",
      "language": "ar",
      "status": "unofficial",
      "text": "وَبَنُو عَمْرِو بْنِ عَوْفٍ عَلَى رِبْعَتِهِمْ يَتَعَاقَلُونَ مَعَاقِلَهُمْ الْأُولَى، وَكُلُّ طَائِفَةٍ تَفْدِي عَانِيَهَا بِالْمَعْرُوفِ وَالْقِسْطِ بَيْنَ الْمُؤْمِنِينَ"
    }
  ]
}

Packages in the snapshot

Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — юрисдикция MedinanCommunity, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 47 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

protection_binds_all: TRUE_ONLY — установлено …и ещё 79 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: EachSideBearsItsOwnExpenses, EachUnitKeepsItsFormerScale, EquatedGroupsKeepTheirReligion, HelpAgainstWhoeverWarsOnThePeopleOfTheDocument, InteriorOfYathribIsSacredForThePeopleOfTheDocument, JewishCommunityKeepsItsReligion, JewsOfAlAwsKeepTheirReligion, JewsOfAlAwsStandLikeThePeopleOfTheDocument, OtherJewishCommunitiesStandLikeBanuAwf, PartiesAreOneCommunity, PartyByNamedGroup, ReferredCommunitiesKeepTheirReligion, SubdivisionsAndClientsAreCountedAsThemselves, TheDocumentShieldsThePartiesGenerally, TheGrantIsForPietyNotForSin Право (мединская община): Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — исторический памятник — EXECUTABLE 47 §33.1 (programHash sha256:d0227957da47…) proof-граф: 131 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 53,
      "fragments": [
        "urn:mdn:clir:sahifa#SHF_ART1",
        "urn:mdn:clir:sahifa#SHF_ART10",
        "urn:mdn:clir:sahifa#SHF_ART11",
        "urn:mdn:clir:sahifa#SHF_ART2",
        "urn:mdn:clir:sahifa#SHF_ART25",
        "urn:mdn:clir:sahifa#SHF_ART26",
        "urn:mdn:clir:sahifa#SHF_ART27",
        "urn:mdn:clir:sahifa#SHF_ART28",
        "urn:mdn:clir:sahifa#SHF_ART29",
        "urn:mdn:clir:sahifa#SHF_ART3",
        "urn:mdn:clir:sahifa#SHF_ART30",
        "urn:mdn:clir:sahifa#SHF_ART31",
        "urn:mdn:clir:sahifa#SHF_ART32",
        "urn:mdn:clir:sahifa#SHF_ART33",
        "urn:mdn:clir:sahifa#SHF_ART34",
        "urn:mdn:clir:sahifa#SHF_ART35",
        "urn:mdn:clir:sahifa#SHF_ART37",
        "urn:mdn:clir:sahifa#SHF_ART39",
        "urn:mdn:clir:sahifa#SHF_ART4",
        "urn:mdn:clir:sahifa#SHF_ART46",
        "urn:mdn:clir:sahifa#SHF_ART47",
        "urn:mdn:clir:sahifa#SHF_ART5",
        "urn:mdn:clir:sahifa#SHF_ART6",
        "urn:mdn:clir:sahifa#SHF_ART7",
        "urn:mdn:clir:sahifa#SHF_ART8",
        "urn:mdn:clir:sahifa#SHF_ART9"
      ],
      "jurisdiction": "MedinanCommunity",
      "namespace": "urn:mdn:clir:sahifa",
      "package": "mdn-sahifa",
      "title": "Сахифа — «Конституция Медины» (~622), две рецензии одной грамоты — юрисдикция MedinanCommunity, НЕ Республика Казахстан — исторический памятник — EXECUTABLE 47 §33.1"
    }
  ],
  "caseHash": "sha256:6c23e09cd08ee96d19851d0c5f101fe903335a9d23585498891080074e43ebd4",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "мединская община",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:d0227957da47ef1d9611de5f2d41e17b2a121da845647c33eb8a271220584ad2",
  "resultHash": "sha256:68509be2b62e2d4a835d0366d7a70c3c2ed2e7932791953f730fc92b26431aa9",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:d60b7a0b91788aea3397a221cd84df6aec17a2df38e905bf2ec1a7ca45f7e87a

Original data · JSON

{
  "args": [
    "urn:mdn:case:person:2"
  ],
  "facts": [
    {
      "args": [
        "urn:mdn:case:person:1",
        "urn:mdn:clir:sahifa#BanuAnNabit"
      ],
      "predicate": "belongs_to"
    },
    {
      "args": [
        "urn:mdn:case:person:1",
        "urn:mdn:case:person:2"
      ],
      "predicate": "grants_protection"
    },
    {
      "args": [
        "urn:mdn:case:person:2"
      ],
      "predicate": "person_at_issue"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "mdn-sahifa",
  "predicate": "protection_binds_all",
  "proof": true
}

Условие договора превращает частную защиту, данную одним участником, в обязательство общины.

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“Может ли поправка, принятая по правилам, отменить сами правила? И что общего у лазейки Гёделя, отказа государства от иммунитета дипломата и условия договора Медины?”. Arxo Lens, as of 2026-09-06. https://lens.arxo.io/a/a_CrZw7rUSja9RvDhVznCLGaaU. Snapshot SHA-256: 79812d4889f5dda0e3f8268b7cecfd7bf4aa3e2989dc9ef1bd23052c46427b5f.

BibTeX

@misc{arxo-lens-a_CrZw7rUSja9R,
  title = {Может ли поправка, принятая по правилам, отменить сами правила? И что общего у лазейки Гёделя, отказа государства от иммунитета дипломата и условия договора Медины?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_CrZw7rUSja9RvDhVznCLGaaU},
  note = {as of 2026-09-06; SHA-256 79812d4889f5dda0e3f8268b7cecfd7bf4aa3e2989dc9ef1bd23052c46427b5f}
}

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/a_CrZw7rUSja9RvDhVznCLGaaU?lang=en" width="100%" height="390" loading="lazy" title="A norm creating a norm — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.