README
¶
nova-hook
What it is
nova-hook: hooks an identity in: the pushes its role needs, live and proven, without which no bus, friend or sprint tool runs
Why use it
Every bus, friend and sprint tool refuses an identity that is not hooked in; this is how you hook in, see who is, and unhook.
Install
go install github.com/mas-bandwidth/nova-tools/cmd/nova-hook@latest
nova-hook version
First run
The transcript below is executed line for line by the docs tests; the full record is in docs/TESTS.md.
$ nova-hook status --as m1
$ nova-hook hook --as m1 --role member --once
$ nova-hook unhook --as m1
A session hooks in under its Monitor with nova-hook hook --as <name> --role <role> and answers each HOOK CHALLENGE line it prints with the nova-hook prove line that challenge carries.
Verbs
The reference for its verbs is docs/CLI.md.
statushookproveunhookversion
Spec
The contract is docs/SPEC-HOOK.md; the module is hook/, the machine tla/Hook.tla.
Documentation
¶
Overview ¶
nova-hook hooks an identity in: the one record, in the bus Redis, of the pushes its role needs (the bus, the sprint, its work), each live while its holder renews a lease and proven while a proof stands (docs/SPEC-HOOK.md; the module is hook/, the machine tla/Hook.tla). Every bus, friend and sprint tool refuses an identity that is not hooked in, and its refusal names this tool's hook verb. The verbs are hook, prove, unhook and status; the dispatch, the banner, the help, the version verb, the refusals and the output envelope are pkg/tool's, and the rules are the hook module's.
Source Files