Lean reader directory

Begin with claims, assumptions and limits, then inspect proof declarations and paired code with line explanations. These pages belong to each philosophy’s source repository; AgentOrganon does not maintain a separate formalization.

Source	Content
OrganonCore	Core targets, statuses, source tracing and paired line explanations.
SoftwareEngineering	Domain philosophy with its retained Core baseline; no automatic adoption of a newer Core.

Lean passed, target accepted and source fidelity are reported separately. Bounded results do not establish universal real-world correctness; defining a duty does not prove its fulfillment. Installation packages exclude Lean capabilities; full projects, evidence and checking instructions remain in the source repositories.