Kannō-Sōe Mutual Dependence (KSMD)

repository guide · commit dev

Lean 4 + paper

A formal-theory reconstruction of Zen metaphysics and soteriology.

Kannō-Sōe Mutual Dependence (KSMD) develops a theory of joining, causal direction, and chosen action as a Lean 4 formalization with an accompanying Exposition.

The site is frozen to a source commit, so the snapshot below gives Claude the same repository context used for this build.

The hosted chat is offline while the full repository context is too expensive to serve. Both options below run against your own Claude account.

Frozen snapshot

Download the snapshot

commit dev · built for this site · snapshot size pending · token estimate pending

Snapshot modules
  1. Download the text snapshot.
  2. Drag it into a Claude chat or add it to a Claude Project.
  3. Ask about the Kannō-Sōe Mutual Dependence theory and code.
Download snapshot

Live repository

Connect the repo directly

Use Claude's GitHub connector with https://github.com/kanno-soe/kanno-soe.

  1. Open Claude with the GitHub connector available.
  2. Connect the public kanno-soe repository.
  3. Ask Claude to answer from the connected repo.

Claude reads a snapshot of main when the repo is added. Its view can fall behind the repo over time, so click 'Sync now' periodically to stay current.

Source repository

Exposition

Download Markdown

Loading exposition.