Module project_hash 

Functions

hash_project_root

Computes a composite hash from the project root path and any detected project identity markers (git remote, manifest file, etc.).

origin_identity

git:<origin> of the checkout at root (a linked worktree reads its main checkout’s), spelled exactly as project_identity spells it when no .lean-ctx-id is present. None without an origin remote.

project_identity

Extracts a stable project identity string from well-known config files.