Bible & CanonsA research library with ArxoSources & method ↗

Church canons

Constantinople I: a named doctrine

How does an explicit input change a proposition?

Explore & compare in the case lab ↗

What this scene lets you inspect

Inspect the recorded questions and their supplied doctrine identifiers. A computed proposition belongs to those inputs and this retained council model; its proof links back to the retained source.

A retained historical model, with concrete bearers and actions.

Read the source passages

Supplied facts → recorded answers

Each card is one query, including its step in a recorded case. Open the inputs to see exactly what was supplied.

truth · step 1 / 1

Heresy anathematised (Eunomian)

Case: CON R01

Positive supportEvaluation: COMPUTED
Supplied inputs & evaluation context
  • positive Heresy named by the council (Eunomian)
decisionTime
0381-07-20T12:00:00Z
knowledgeTime
0381-07-20T12:00:00Z
legalTime
0381-07-20
timezone
UTC

No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

Inspect this answer and proof ↗
Computation identity

1 stated expectations verified · Expectations verified

Result
sha256:f302cd25de63037da9b092c1efce5671e331045541c8698277ba18dd9c15a880
Proof
sha256:62eb230becf2e0c7beccadd8fd59fadff8a546ce38d137d358be05a259dc1286
Program
sha256:d6bf6cfae0a0c8cee4e69f08d8f3c6d3536942f0466946a508a1c3f220c4d1d3
Producer
bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275

truth · step 1 / 1

Heresy anathematised (Eunomian)

Case: CON R02

No support derivedEvaluation: COMPUTED
Supplied inputs & evaluation context
    decisionTime
    0381-07-20T12:00:00Z
    knowledgeTime
    0381-07-20T12:00:00Z
    legalTime
    0381-07-20
    timezone
    UTC

    No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.

    Inspect this answer and proof ↗
    Computation identity

    1 stated expectations verified · Expectations verified

    Result
    sha256:aee0ceda4d3a2928e4037dd28c53c54a46270310eff4eb72224eca7f4a3ef9df
    Proof
    sha256:de0cac7c3fe7cfb4e4ea41c88575d1fb6486fe66bc7d69f027e4c3c30a9eb56b
    Program
    sha256:d6bf6cfae0a0c8cee4e69f08d8f3c6d3536942f0466946a508a1c3f220c4d1d3
    Producer
    bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275