5 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	1b7f79f761	mesh-issues: a counter not started never starts without the knowledge base's answer, floor or no floor (review of #214)	2026-10-11 12:44:45 +02:00
jschoubben	2369098303	Nothing reads decision records from hq: records_decisions retired, reserve asks the knowledge base, an empty import refuses (hq issue 488) ... Once the records leave hq (issue 426), records_decisions would answer every topic empty, reserve would read 0 and hand out 0001 from a counter not started, and import would say it created nothing as a success. reserve now starts and raises its counters above mesh-knowledge's knowledge_highest, the floor alone starting one (with a warning) when it is silent and nothing spent with neither.	2026-10-11 12:25:58 +02:00
jschoubben	66068febb0	mesh-issues: record who acted as the caller the runtime proves (hq issue 365) ... The tool runner now takes a call's caller from the subject it arrived on and hands it to the module through the SDK (stdio.CallerOf); the tracker records that bus user on what each verb writes instead of unproven. Never from the arguments, which still refuse any caller, and unproven where the runtime proves none. Needs mesh-sdk's go/caller.go (pinned at its branch head until merged).	2026-10-11 11:22:41 +02:00
jschoubben	9d4d9d5cd2	mesh-issues: say in reserve's answer when hq could not be read, and grant the import its records calls (review of #204) ... A number handed out unchecked against hq is a failure that must be loud, so the answer carries a warning, not only the log. The import already calls records_status and records_read; invokes now names them.	2026-10-11 04:30:28 +02:00
jschoubben	350a597c47	mesh-issues: hand out decision and research numbers, so sessions stop taking them by reading hq (hq issue 424) ... A new verb, issue-tracker.reserve {kind, for} -> {kind, number}: one counter per sequence beside the issue counter, advanced the same way, started above what hq's record holds, a floor setting for open branches and the reservations kept, and raised when hq holds a higher number. A reserved number is spent forever, kept with who, when and for what, and said as the event reserved (hq ADR 0275 rule 8, ADR 0290 rule 5).	2026-10-11 04:25:48 +02:00