[jithinAB]

Closes three of the reference-adapter gaps docs/98 WP-7 left in claims (claims.py), found while Bud Meta Harness built claim-lasts: on its shared-store ledger (its card PK-4).

What changes

• Fencing token. Every grant of a key to a holder that does not already hold it is numbered one higher than the key's grant before it (Taken.fence). A renewal by the same holder keeps the number; expiry and release keep the count, so a later grant is always higher. A lease cannot stop a call still running when it ends, and the number is what lets the system that call writes to refuse the stale writer. SqliteClaims keeps expired and released rows for their count (a released row has an empty holder) and adds the fence column to a file written before it. Ledger.fences records the token of each claim a run took, for the host to pass on.
• Workspace in the key. scoped(…, workspace) namespaces the-workspace by the workspace id a host names (run(…, claims_workspace=…), carried to members by delegate_by_running). Without one the key is exactly as before.
• Holder kept across a park. Suspension.claim_holder carries Ledger.holder through _park_state, escalate and the JSON form, and run(…, resume=…) comes back under it. A resumed run under a fresh uuid could neither renew nor release what it claimed before the park. A record from before the field resumes under a new name, as today.

Not in this PR

Bud Meta Harness also releases a claim whose call is known not to have happened (its status check says so, or a person does). The reference spends a key on any call that passed hold, deliberately; changing that needs a status check in the reference first, so it is left for a separate proposal.

Tests

• New tests/test_a_claim_is_fenced_and_kept_across_a_park.py (9): tokens per grant, renewal, expiry and release on both stores; an expired holder cannot release the next holder's claim; an old claims file gains the column; workspace namespacing in scoped and through Ledger.hold; the ledger records the token; claim_holder survives JSON and escalation.
• test_a_park_carries_everything_a_resume_needs.py holds claim_holder to the same field lists as spent_keys.
• Counts synced (adapter +9). In this environment, 79 failures and 29 errors come from absent extras (pydantic_ai, the TypeScript port's node toolchain); the same 108 fail identically on master bcd4e63.

🤖 Generated with Claude Code