tmk241/mim
1
0
Fork 0
Code Issues 6 Pull Requests Actions Packages Projects Releases Wiki Activity

NS1 slice: Add deterministic record/replay for protocol and input events #11

New Issue
Closed
opened 2026-06-20 23:28:13 +00:00 by tmk241 · 1 comment
tmk241 commented 2026-06-20 23:28:13 +00:00
Owner
Copy Link
Copy Source

OBJECTIVE: Record state-changing commands/input events and replay them against a headless session with useful divergence output.

AUTHORITY: Parent #1 NS1: Minimal protocol-first mim-min editor; PRODUCT.md; REQUIREMENTS.md (PRODUCT.md; req: session/001-004; req: coding/001; req: governance/001; req: governance/003).

AGENT AUTHORITY:

  • Delivery authority: local-commit
  • Tracker authority: this issue may be commented and closed when acceptance passes.
  • Handoff state: committed clean, tracker commented/closed.

PARENT: #1 via explicit issue link and parent checklist.

SCOPE: The smallest source/docs/tests needed to make this behavior real and verified.

BOUNDARIES: No broad fixture framework beyond what this slice needs.

ACCEPTANCE: A golden open/move/edit/save recording replays deterministically and names the first divergent step on failure.

VERIFICATION: Run the cheapest command that proves acceptance. Include regular tests for the intended payoff and adversarial tests for realistic failure, boundary, or regression cases. If no implementation test command exists yet, create/record the canonical command in AGENTS.md as part of the slice.

BLOCKERS: none

GOAL: Implement this vertical slice to the ACCEPTANCE above, keep the repo clean, cite relevant req: anchors in code/tests where applicable, and close only after verification passes.

OBJECTIVE: Record state-changing commands/input events and replay them against a headless session with useful divergence output. AUTHORITY: Parent #1 `NS1: Minimal protocol-first mim-min editor`; PRODUCT.md; REQUIREMENTS.md (PRODUCT.md; req: session/001-004; req: coding/001; req: governance/001; req: governance/003). AGENT AUTHORITY: - Delivery authority: local-commit - Tracker authority: this issue may be commented and closed when acceptance passes. - Handoff state: committed clean, tracker commented/closed. PARENT: #1 via explicit issue link and parent checklist. SCOPE: The smallest source/docs/tests needed to make this behavior real and verified. BOUNDARIES: No broad fixture framework beyond what this slice needs. ACCEPTANCE: A golden open/move/edit/save recording replays deterministically and names the first divergent step on failure. VERIFICATION: Run the cheapest command that proves acceptance. Include regular tests for the intended payoff and adversarial tests for realistic failure, boundary, or regression cases. If no implementation test command exists yet, create/record the canonical command in AGENTS.md as part of the slice. BLOCKERS: none GOAL: Implement this vertical slice to the ACCEPTANCE above, keep the repo clean, cite relevant `req:` anchors in code/tests where applicable, and close only after verification passes.
tmk241 added this to the v1 milestone 2026-06-20 23:28:13 +00:00
tmk241 added the sliceready-for-agentgoal labels 2026-06-20 23:28:13 +00:00
tmk241 commented 2026-06-20 23:58:51 +00:00
Author
Owner
Copy Link
Copy Source

Implemented in commit 86bac27a8a (Add deterministic protocol replay harness).

Verification:

  • zig fmt src/main.zig src/replay.zig: pass
  • zig build test: pass
  • zig build: pass
  • zig build run -- --help: pass
  • redgate lint / health: pass

Regular tests: a golden open/move/edit/save checkpoint recording replays deterministically; the same recording can be replayed twice with identical ok result.
Adversarial tests: replay reports the first divergent response step, reports the first divergent save checkpoint step, rejects unknown replay events, and validates UTF-8 for input insert payloads.

Boundary: this is a headless protocol/input replay harness with save checkpoints only; no TUI behavior, daemon product, or broad fixture framework was added.

Implemented in commit 86bac27a8abf (Add deterministic protocol replay harness). Verification: - zig fmt src/main.zig src/replay.zig: pass - zig build test: pass - zig build: pass - zig build run -- --help: pass - redgate lint / health: pass Regular tests: a golden open/move/edit/save checkpoint recording replays deterministically; the same recording can be replayed twice with identical `ok` result. Adversarial tests: replay reports the first divergent response step, reports the first divergent save checkpoint step, rejects unknown replay events, and validates UTF-8 for input insert payloads. Boundary: this is a headless protocol/input replay harness with save checkpoints only; no TUI behavior, daemon product, or broad fixture framework was added.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
goal
Issue has a Pi goal contract
 northstar
Parent outcome for v1 product work
 ready-for-agent
Scoped and unblocked for agent implementation
 slice
Executable vertical child issue
No Label goal ready-for-agent slice
Milestone
No items
No Milestone v1
Projects
Clear projects
No project
Assignees
Clear assignees
tmk241
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: tmk241/mim#11
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?