Know what you are looking at.

The retained source library

This edition contains 112 documents and 55,073 source records. The CORE66 Bible inventory contains 31,140 verses; seven Greek canon collections contain 274 canons. The retained Summa sections contain 23,322 source fragments.

Editions and languages

SBLGNT Greek: source-faithful verse projection.

WLC / OSHB Hebrew: retained structured text projection; slashes are source morphology separators.

KJV is an independent English navigation translation, not the Greek normative base.

Canonical composition and normative review are separate.

Canons and historical excerpts retain pinned transcription status.

Model descriptions are English labels or readable identifiers, not translations of Scripture.

SBL Greek New Testament supplies the retained Greek text. Open Scriptures Hebrew Bible supplies the retained Hebrew projection. Summa source roles preserve their Latin question and article coordinates. Canons and several historical sources are pinned unofficial transcriptions. Historical transcriptions and OCR passages are displayed as retained, including transcription imperfections.

What the numbers measure

norms

Own norm-template declarations, package + identity; prohibitions counted separately from duties.

rules

Own rule declarations in retained snapshots.

bindings

Resolved model-to-source references; not an executable connection between packages.

scripture

Verse records in the two named source editions, not normative acceptance.

Recorded and local execution

188 recorded queries across 15 scenes passed their stated checks under native semantics 0.2.7. This includes authored expectations and separately named calendar date fixtures. An expected result may be an incomplete evaluation or a judgment request. The static public site explores retained answers; new calculations require the qualified local engine.

Reading a result

Positive support, negative support, support on both sides and no derived support have distinct meanings. Missing input is not falsehood. A logical support status and an evaluation status are displayed separately. An active prohibition with no observed violating act is not labeled satisfied.

Some premises require human judgment. Editing observed facts does not supply that judgment. A theological argument’s support is not a statement that a church has ruled on the question.

Execution limits

The full Summa case graph exceeded the native proof-memory limit; its source arguments and model catalogue remain readable. The Moscow Council 1667 excerpt is refused by the current compiler because of a cross-package source revision. Its source and historical model remain readable.

Some historical calendar ground queries and one Stoglav query did not pass their original expectations with the new producer and are excluded from the verified selector. The calendar form supplies an explicit century-table key and uses native collection queries with independent date checks.

Release identity

bible-f45dbfb7d3e60119 · source capture 2026-10-08

Producer SHA-256 bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275