aws-samples / aws-samples/sample-autonomous-cloud-coding-agents

RFC: Signed attestation for repo-local agent instruction files

Abierto
#429 1 comentario 0 reacciones 0 asignados Ver en GitHub
RFC-proposal security
Lenguaje dominante
TypeScript
Estrellas
143
Forks
46
Merge medio
3 d 10 h
PR fusionados (30 d)
24

Descripción

## Primary area

** Cross-cutting / multiple

## Related issue or feature request

_Complements roadmap **MCP supply-chain controls** and **Untrusted hydration content boundaries**._

## Summary

Introduce optional **cryptographic attestation** for trusted instruction sources (`AGENTS.md`, `.claude/rules/`, workflow prompt fragments) so the agent runtime loads only files signed by an approved publisher key. Unsigned or tampered files are rejected or downgraded to untrusted reference text.

## Use case and motivation

Prompt injection via markdown instruction files is structural: any file the agent reads may contain adversarial directives. Policy-at-the-LLM-layer is bypassable. High-trust repos need assurance that harness content was not substituted on a feature branch or via compromised commit access.

## Proposal

### Trust model

- Operator publishes org signing key (KMS or offline) referenced in Blueprint.
- Trusted paths list per repo; each file has sidecar signature `path.sig` or embedded manifest in `.abca/trust-manifest.json`.
- Agent bootstrap verifies signature before merging rules into context; failures fail-closed for high-trust mode, warn-only for standard mode.

### UX before / after

**Before:** Agent loads any committed markdown rules.

**After:** Blueprint `instruction_trust_mode: strict|warn|off`; strict blocks task start on verification failure.

### Phases

1. Manifest format + verification library in agent (`policy.py` / loader).
2. CLI `bgagent trust sign` for local dev ergonomics.
3. CI check optional in contributor guide.

## Out of scope

- Signing every source code file.
- Replacing Cedar tool-call policy.
- Kernel-level enforcement (see runtime telemetry RFC).

## Potential challenges

- Key rotation and manifest updates on forked PRs from external contributors.
- UX friction for small teams—must default to `off`.
- Parity between Python agent and any future TypeScript dry-run path.

## Dependencies and integrations

- `repo-config`, `REPO_ONBOARDING.md`, `SECURITY.md`
- KMS for managed keys in AWS deployments

## Alternative solutions

- **Git commit signature verification only** — does not protect against malicious maintainer commits on branch.
- **Hash allowlist in Blueprint** — brittle without signing pipeline.

---

**Note:** Non-triaged RFCs may not get timely review. PRs on non-triaged issues might not be accepted.

* RFC PR:
* Approved by:
* Reviewed by:

Guía de contribución

Abrir la guía de contribución

Línea de trabajo

Comienza revisando los puntos de integración propuestos en policy.py/loader, junto con repo-config, REPO_ONBOARDING.md y SECURITY.md. Antes de la implementación, aclara el formato del manifiesto, el comportamiento de verificación, los modos de confianza de Blueprint y el alcance de las tres fases propuestas. Se considera terminado cuando el RFC tenga un diseño acordado y una ruta de implementación con un alcance explícitamente definido.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
aws, python, typescript
Área
security
Tipo de issue
Nueva funcionalidad
Dificultad
5/5
Tiempo estimado
Más de una semana
Estado de actividad
Tranquilo
Claridad
Necesita aclaración
Aptitud para principiantes
25/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.