Concordia · Formal World sources

Scientific asset inventory

An evolving, dated record of the formal research corpus maintained by Institute Lux Consilio.

Current reported inventory · October 17, 2026 · main

Current recorded snapshot

Concordia's Lean source corpus

44,808Tracked Lean files
18,935,259Physical source lines
888,350Lexical theorem declarations
4,718Lexical lemma declarations

These are lexical source-inventory measurements, not an assertion that all files or declarations compiled, that every theorem was independently checked, or that the source census equals the Runtime's registered Formal World. No full Lean build was conducted for the October 17 census.

All 44,808 Lean files were reported as tracked in Git, and the Lean tree was clean at the recorded source revision. The census recursively included nested branches, not merely root Tier files. The underlying complete Markdown inventory remains a private research record; detailed Tier and research-program breakdowns can be added in a later reviewed release.

Historical continuity

Measured snapshots

Earlier measurements remain identifiable as the research corpus grows.

Source measureSeptember 24, 2026October 17, 2026
Lean files16,91144,808
Physical lines3,982,64518,935,259
theorem declarations113,630888,350
lemma declarations4,7134,718

Scientific provenance

Reproducible source identity

Measured source state

Date
October 17, 2026

Branch
main

Git revision
b0054d4773b4e76a6efce3e0b998494bb770678a

Source condition
Tracked Lean tree, clean at snapshot; full Lean build not run

Inventory record identity

Source record
LEAN_FULL_INVENTORY_2026-10-17.md

Reported SHA-256
c9ebb23099ace4ddd9804797dd33dcf84d524d5cca3294836bdcdae44e8a262e

The digest identifies the completed internal inventory report. It is not a public download link or an independent formal-verification certificate. The full private file has not been published here.

For the distinction between source presence, imported declarations, formal verification and scientific interpretation, see ILC-CRD-001. The September 24 census remains a historical record at Git commit aa0ea3fff50643708114f49980044ecde4bfe822.

Interested in ongoing updates or the planned Concordia Runtime closed beta? Subscribe and register your interest →

Institutional disclosureConcordia overviewOwnership, provenance and governance →Research environmentConcordia RuntimeWorlds, inhabitants and governed investigation →