jschoubben
  • Joined on 2020-06-18
jschoubben created branch feat/cli-local-protocol in novox/mesh-sdk 2026-10-09 10:03:16 +00:00
jschoubben pushed to decision/0272-mesh-cli-the-operators-command at novox/hq 2026-10-09 10:01:46 +00:00
1ad9959b16 ADR 0272: say how the socket keeps ADR 0004, answer the operator and agent accounts only, and keep the bus request out of the SDK (ADR 0039)
jschoubben pushed to decision/0272-mesh-cli-the-operators-command at novox/hq 2026-10-09 09:59:37 +00:00
95d78f7011 ADR 0272 (proposed) and issue 343: the controller's terminal has no command
jschoubben created branch decision/0272-mesh-cli-the-operators-command in novox/hq 2026-10-09 09:59:37 +00:00
jschoubben pushed to feat/asks-answered-on-any-channel at novox/mesh-sdk 2026-10-09 09:59:30 +00:00
76902998cd Digest an ask and an act over named fields in a canonical encoding, not a language's encoding of a struct
d7999e6fc9 ADR 0266: the setuid search's bound is 15 minutes, and the two routes and the restart condition the review of 2026-10-09 found
6751f75e3e Do not raise agent-can-become-root while the first setuid search is still within its bound
jschoubben created branch fix/the-forge-tools-never-weaken-protection in novox/mesh-catalog 2026-10-09 09:48:14 +00:00
080c113d69 Let the forge's tools never weaken protection or merge past the checks
c816da16fa Put back on a failed gate only a build of the module's own repository
e579512d95 Register a module only from the repository the catalogue builds it from
Compare 2 commits »
jschoubben created branch feat/a-secret-given-at-the-desk in novox/mesh-host 2026-10-09 09:24:54 +00:00
jschoubben pushed to feat/a-secret-given-at-the-desk at novox/mesh-host 2026-10-09 09:24:54 +00:00
b33f88c121 Carry the controller's grant to ask the desk for a secret in the installer's first user list (hq ADR 0259 §10)
jschoubben pushed to proofs/asks-answered-on-the-phone at novox/mesh-lab 2026-10-09 09:24:21 +00:00
8d24e7bbb5 asks: a granted publish is the control for every refusal the proof reads as the bus's
jschoubben pushed to decision/asks-answered-on-any-channel at novox/hq 2026-10-09 09:17:25 +00:00
2946fda261 ADR 0259: an ask the controller could not deliver is a condition of its own
ec4f42bc5c Say loudly when a condition that needs the operator could not be asked on any channel (hq ADR 0259)
jschoubben pushed to decision/asks-answered-on-any-channel at novox/hq 2026-10-09 09:09:27 +00:00
02ec566623 ADR 0259: the drill as the live acceptance, another account's answer told to the operator, an ask's message never folded
812a011bfa ADR 0259: bind a warrant to the exact ask and act, count the login shell where execute is served (ADR 0268), fail closed where root is not measured, and keep what is trusted out of settings (issue 342)
cb3860c53f Say how a module of its own account is served, and how the root probe is checked
8e8cfd47de Record the operator's choice for the control node, and the second way an agent reaches root there
40812a7734 Name the router, not the controller's retired verbs, where the glossary and to-be 46 still did
Compare 122 commits »
jschoubben created branch proofs/asks-answered-on-the-phone in novox/mesh-lab 2026-10-09 09:09:18 +00:00
jschoubben pushed to proofs/asks-answered-on-the-phone at novox/mesh-lab 2026-10-09 09:09:18 +00:00
3a486014fc Prove the operator's answers end to end before anybody uses them (hq ADR 0259)