internal/

Package adoptionmaterialization owns the explicit promotion of admitted adoption records into a repository-bound, recoverable write transaction.

Package adoptionplan owns the non-authoritative adoption front-door plan.

Package agentintegration owns portable CLI bootstrap materialization and read-only freshness, and explicit managed file lifecycle.

Package nativeevidenceguidance owns the repository-neutral evidence template.

Package projectstatus owns bounded, read-only classification of a materialized Proofkit project and its single next-action projection.

Package repositoryinventory owns the bounded, read-only repository root inventory used by adoption planning.

Code generated by internal/tools/commandcontractgen; DO NOT EDIT.

Package diagnostic owns terminal-safe projection of errors for CLI tools.

Package pathidentity owns conservative, platform-portable path equivalence.

Package processgroup owns bounded external-process group termination.

Package rootpath owns exact, platform-portable filesystem route lookup beneath an already confined os.Root.