jschoubben
1cb1c84cc1
KEPT gains failed-steps, idle and transfers, so each declared state can be read by its tools; the force-push refusal's test holds that the refusal names the one tool that may do it and that it runs on the operator's Approve of that call. Builds: design 47 G A-287, A-288 Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
28 lines
1.8 KiB
TypeScript
28 lines
1.8 KiB
TypeScript
// The states this module keeps on the bus and whether other modules may read them (novox/hq ADR 0495 clause 2; issue
|
|
// 1790): the module says it itself, from its code, as it starts (index.ts calls keeps with this list), and a reader is
|
|
// granted what it said (clause 3). A state is readable when another module's manifest reads it: mesh-provisioner reads
|
|
// `bound` (the forge accounts it binds), the condition keeper (mesh-conditions) reads `findings`. Every state the manifest
|
|
// declares is named, so each can be read by its tools (design 47 G A-287). test/kept.test.ts holds the list to the manifest's `state`, and the catalogue's
|
|
// checks/readable every state another manifest reads to a readable announcement.
|
|
export const KEPT: readonly { readonly name: string; readonly readable?: boolean }[] = [
|
|
{ name: "announced" },
|
|
{ name: "bound", readable: true },
|
|
{ name: "findings", readable: true },
|
|
{ name: "failed-steps" },
|
|
{ name: "first-views" },
|
|
{ name: "idle" },
|
|
{ name: "transfers" },
|
|
];
|
|
|
|
/** The announcement of these states, in the layout mesh-sdk's go/announce reads (novox/hq ADR 0495 clause 2): version 1,
|
|
* the module, the machine when known, and the states sorted by name, `readable` only where true. It is said as the event
|
|
* `states`, which is the subject mesh.mod.gitea.event.states. gitea says it with the SDK's `emit` because the
|
|
* toolchain's SDK, which judges R4e's group, predates the SDK's `keeps` (0.1.15); switch to `keeps` once the toolchain's
|
|
* SDK is 0.1.15 or later (issue 1852). */
|
|
export function statesAnnouncement(module: string, node: string | undefined) {
|
|
const states = [...KEPT]
|
|
.sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0))
|
|
.map((k) => (k.readable ? { name: k.name, readable: true } : { name: k.name }));
|
|
return { v: 1, module, ...(node ? { node } : {}), states };
|
|
}
|