CONFORMANCE.md overstates resume, progress, lease, and result-chunk coverage

[nficano]

Category: docs Severity: major
Location: CONFORMANCE.md:14-29

What

The conformance page marks multiple surfaces Full even though v1.1 resume is absent, progress uses non-spec fields, lease expiry is not enforced, and result chunk invariants are delegated to callers. Users reading this page will assume stronger interoperability than the code provides.

Evidence

| §6.3 Resume | Full | SQLite event log supports replay by session and sequence boundary; resumability examples exercise reconnect flows. |
| §8.2.1 Progress | Full | Progress events are emitted by examples and represented in message types. |
| §8.4 Result chunks | Full | `job.result_chunk` stream assembly and terminal result references are implemented. |
| §9 Leases | Full | Lease request, session lease, subset validation, expiration, budgets, model use, and revocation helpers. |
| §9.8 Provisioned credentials | Full | Issue, redact, attach, revoke, and ledger outstanding credentials. |

Proposed fix

Downgrade inaccurate rows to Partial/Deferred and link them to the concrete audit issues until the code satisfies the listed v1.1 requirements.

Acceptance criteria

• No conformance row says Full for a surface whose required runtime behavior is missing or only helper-level.