docs: cite Nannini et al. on agent compliance architecture

[vaaraio]

Adds citation to Nannini et al. (2026), AI Agents Under EU Law (arXiv:2604.04604), in COMPLIANCE.md and docs/formal_specification.md. Maps Vaara primitives to the infrastructure gap identified in Section 6.4 footnote 19.

Summary by CodeRabbit

• Documentation
  • Enhanced compliance documentation with references to behavioral compliance frameworks and infrastructure standards.
  • Added references to formal specification documentation.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: cbc4d518-62ee-4b0e-9882-6cf297b1e856

📥 Commits

Reviewing files that changed from the base of the PR and between 7f5d61b and 45987e0.

📒 Files selected for processing (2)

• COMPLIANCE.md
• docs/formal_specification.md

---

📝 Walkthrough

Walkthrough

The pull request adds compliance documentation to COMPLIANCE.md, referencing external research on behavioral drift compliance architecture and linking it to formal specification documentation. A new bibliographic reference is simultaneously added to docs/formal_specification.md.

Changes

Cohort / File(s)	Summary
Compliance Documentation COMPLIANCE.md	Adds a compliance-context paragraph referencing Nannini et al. research on behavioral drift compliance architecture, highlighting infrastructure gaps, and connecting to specific Vaara mechanisms (hash-chained versioning, conformal intervals, MWU-bounded policy updates) with a link to formal specification.
Bibliography docs/formal_specification.md	Adds one new bibliographic reference (#8) to the References section.

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~3 minutes

Possibly related PRs

• docs: COMPLIANCE.md article-by-article evidence mapping #16: Directly overlaps with this PR by modifying COMPLIANCE.md and updating docs/formal_specification.md with compliance and specification documentation.

Poem

🐰 Compliance whispers, references cite,
Behavioral drifts held at bay—
Our formal specs now shine so bright,
With Nannini's wisdom on display! ✨

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title accurately reflects the main change: adding a citation to Nannini et al. on agent compliance architecture in documentation files.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch chore/cite-nannini-paper

---

_{Comment @coderabbitai help to get the list of available commands and usage tips.}