Skip to content

fix(spec): correct two stale file references found in the spec audit#89

Merged
remyluslosius merged 1 commit into
mainfrom
fix/spec-stale-file-refs
Jun 15, 2026
Merged

fix(spec): correct two stale file references found in the spec audit#89
remyluslosius merged 1 commit into
mainfrom
fix/spec-stale-file-refs

Conversation

@remyluslosius

Copy link
Copy Markdown
Contributor

What

Part 1 of the spec-prose drift cleanup. Fixes the two confirmed stale file references the read-only audit found:

Was Reality Fixed to
api/envelope.go (evidence/envelope.spec.yaml, deferred AC-10 note) No such file; EvidenceEnvelope is in api/transaction.go api.EvidenceEnvelope in api/transaction.go
internal/agent/remotehandler/remotehandler.go (agent/handler-port-filepermissions.spec.yaml, deliverable + scope) Package never created; the shim is agentBackedHandler in internal/engine/engine.go (via lookupHandler) internal/engine/engine.go: agentBackedHandler

Safety

Spec-prose-only — no AC ids or test annotations touched, so coverage is unaffected. specter 119/119, 0 check warnings.

Not in this PR (scoped separately)

The remaining audit findings need per-spec judgment, not a mechanical edit:

  • One soft path ref (internal/deadman/ in timerfd.spec.yaml) whose "shell-based deadman" context I'd be guessing at.
  • ~26 Locked by Test… references across ~12 specs where the test was renamed/restructured — and some may be genuine coverage gaps, not just stale prose.

Scope for that pass is in the PR thread / my message.

🤖 Generated with Claude Code

Part 1 of the spec-prose drift cleanup (read-only audit found these):

- evidence/envelope.spec.yaml: the deferred AC-10 note referenced
  `api/envelope.go`, which does not exist. The EvidenceEnvelope struct
  lives in api/transaction.go. Corrected the reference.
- agent/handler-port-filepermissions.spec.yaml: described the
  controller-side handler shim as a deliverable file
  `internal/agent/remotehandler/remotehandler.go` + scope entry. That
  package was never created; the shim was implemented as
  `agentBackedHandler` in internal/engine/engine.go (returned by
  engine.lookupHandler when an AgentClient is set). Corrected both the
  deliverable description and the scope entry to the real location.

Spec-prose-only; no AC ids or test annotations touched, so coverage is
unaffected. specter 119/119.

The remaining audit findings (a stale `internal/deadman/` path and ~26
renamed/missing `Locked by Test...` references across ~12 specs) need
per-spec judgment and are scoped separately.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@remyluslosius remyluslosius merged commit 10126b6 into main Jun 15, 2026
14 checks passed
@remyluslosius remyluslosius deleted the fix/spec-stale-file-refs branch June 15, 2026 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant