CONFORMANCE.md marks lease/budget span attrs implemented; they are not emitted

[nficano]

Category: docs Severity: major
Location: CONFORMANCE.md:72-72

What

The TraceAttributes constants exist (src/Arcp.Core/Tracing/ArcpDiagnostics.cs:28,30) but ArcpTracing never calls SetTag with them (src/Arcp.Otel/ArcpTracing.cs:82-92). A ✅ Implemented status contradicts the code.

Evidence

| §11 (v1.1) | Span attrs `arcp.lease.expires_at`, `arcp.budget.remaining` | ✅ | `TraceAttributes` |

Proposed fix

Downgrade the row to Partial/Not-implemented, or implement emission of these span attributes.

Acceptance criteria

• The conformance status matches whether ArcpTracing emits arcp.lease.expires_at and arcp.budget.remaining.

[nficano]

Fixed in #77 (merged).