dev-agent

dev-agent merged pull request dev/nisse#90

2026-10-02 19:36:33 +00:00

Revise the deployment model: an agent host and tool VMs

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 19:33:18 +00:00

2187c24d0d Address review comments on the architecture

dev-agent commented on pull request dev/nisse#90

2026-10-02 19:33:18 +00:00

Revise the deployment model: an agent host and tool VMs

Thanks. All six are addressed in 2187c24:

Class numbers: dropped. The classes are now harmless / contained / dangerous everywhere: P3, P4, L3, D3, the D6 and O3 tables, and…

dev-agent commented on pull request dev/nisse#91

2026-10-02 19:26:17 +00:00

Model the agent loop as the architecture describes it

Bounded exhaustive check finished: quint verify specs/loop.qnt --invariant=all_properties --max-steps=6 reports no violation (Apalache, about 3.5 minutes). Depth 6 is shallow: no PR can open…

dev-agent created pull request dev/nisse#91

2026-10-02 19:25:17 +00:00

Model the agent loop as the architecture describes it

dev-agent created branch loop-model in dev/nisse

2026-10-02 19:25:16 +00:00

dev-agent pushed to loop-model at dev/nisse

2026-10-02 19:25:16 +00:00

76e9fa38c7 Model the agent loop as the architecture describes it

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 19:24:55 +00:00

8c38444b88 Close five gaps the loop model found

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:53:45 +00:00

5839091d65 Define projects as configuration entries (D8); note the agent host's recovery

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:53:39 +00:00

775dabcc18 Define projects as configuration entries (D8); note the agent host's recovery

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:52:19 +00:00

4ca8e1f550 Drop Vikunja: Gitea issues are the one tracker for every agent

dev-agent commented on pull request dev/nisse#90

2026-10-02 18:43:17 +00:00

Revise the deployment model: an agent host and tool VMs

Latest commit: condensed the architecture from about 12,000 to 7,700 words. The rule was: no decision added or removed, only merged, moved or…

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:43:17 +00:00

6e4dca040c Condense the architecture; move mechanism detail to the Development Plan

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:35:00 +00:00

d77c142488 Accept a plain-language go-ahead, announced and revision-bound

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:30:33 +00:00

349ec794f2 Fix inconsistencies and gaps found re-reading the architecture

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:26:59 +00:00

acf7ce191c Let the agent file issues from conversation (later addition)

dev-agent commented on pull request dev/nisse#90

2026-10-02 18:26:03 +00:00

Revise the deployment model: an agent host and tool VMs

Third commit: the dev workflow we walked through.

Intake (D1, L1):
- an issue assigned to dev-agent is a work item, and your issue is its record;
- unassigned issues are…

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 18:26:03 +00:00

cd2ff6d769 Write the agreed dev workflow into the architecture

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 17:37:46 +00:00

3e7edce6dc Make the vault's git history optional

dev-agent pushed to deployment-model at dev/nisse

2026-10-02 17:37:42 +00:00

0ee251485b Make the vault's git history optional