A module may invoke tools, and a manifest is checked where it is written #164

Merged

jschoubben merged 1 commits from feat/the-console into main

2026-09-30 14:46:30 +00:00

Author	SHA1	Message	Date
jschoubben	2882b5fcb1	A module may invoke tools, and a manifest is checked where it is written invokes: a manifest word that becomes exactly the publish grant a person's account gets (ADR 0152), derived by the same composition; refused at parse when it names no tool. module check <file\|dir>... runs what registration runs with no store, for a manifest in any repository (hq issue 148).	2026-09-30 16:12:43 +02:00

Author

SHA1

Message

Date

jschoubben

2882b5fcb1

A module may invoke tools, and a manifest is checked where it is written

invokes: a manifest word that becomes exactly the publish grant a person's account gets (ADR 0152),
derived by the same composition; refused at parse when it names no tool. module check <file|dir>...
runs what registration runs with no store, for a manifest in any repository (hq issue 148).

2026-09-30 16:12:43 +02:00