[Phase 2.1] Provision reliability bone v1 (deterministic guard) #40

New issue

Closed

opened 2026-03-16 19:07:35 +00:00 by Mark · 0 comments

Mark commented

2026-03-16 19:07:35 +00:00

Owner

Deliverables

Implement provision_reliability_guard_v1 bone in substrate/bone.py:

Function Signature

def provision_reliability_guard_v1(
    intent: dict,
    contract: dict,
    ledger_state: dict,
    last_attempt: dict | None
) -> dict:
    """Deterministic provisioning guardrail bone.
    
    Returns:
        {
            "decision": "allow_execute|reject|retry_later",
            "reason_code": string,
            "next_retry_at": datetime | None,
            "final_status": "in_progress|success|failed" | None,
            "idempotency_match": bool
        }
    """

Enforcement Rules

Idempotency: Same idempotency_key cannot double-spawn
Lease deadline: Contract deadline must not be exceeded
Retry ceiling: max_attempts in contract terms
Cooldown: cooldown_seconds between retries
Backoff: exponential or fixed per contract
Fresh instances: retries create new instance_id, never resurrect stale

Reason Codes

IDEMPOTENCY_BLOCK
DEADLINE_EXCEEDED
RETRY_BUDGET_EXHAUSTED
COOLDOWN_ACTIVE
LEASE_VALID
ALLOW_EXECUTE

Evolution Rule

Bone challengers may come from both:

newer bone versions (provision_reliability_guard_v2)
muscle implementations

Acceptance

Duplicate provisioning intents do not double-spawn
Retry behavior is deterministic and contract-compliant
Bone registered in BONE_REGISTRY
Tests for all reason codes

## Deliverables Implement `provision_reliability_guard_v1` bone in `substrate/bone.py`: ### Function Signature ```python def provision_reliability_guard_v1( intent: dict, contract: dict, ledger_state: dict, last_attempt: dict | None ) -> dict: """Deterministic provisioning guardrail bone. Returns: { "decision": "allow_execute|reject|retry_later", "reason_code": string, "next_retry_at": datetime | None, "final_status": "in_progress|success|failed" | None, "idempotency_match": bool } """ ``` ### Enforcement Rules 1. **Idempotency**: Same `idempotency_key` cannot double-spawn 2. **Lease deadline**: Contract deadline must not be exceeded 3. **Retry ceiling**: `max_attempts` in contract terms 4. **Cooldown**: `cooldown_seconds` between retries 5. **Backoff**: exponential or fixed per contract 6. **Fresh instances**: retries create new `instance_id`, never resurrect stale ### Reason Codes - `IDEMPOTENCY_BLOCK` - `DEADLINE_EXCEEDED` - `RETRY_BUDGET_EXHAUSTED` - `COOLDOWN_ACTIVE` - `LEASE_VALID` - `ALLOW_EXECUTE` ## Evolution Rule Bone challengers may come from both: - newer bone versions (`provision_reliability_guard_v2`) - muscle implementations ## Acceptance - [ ] Duplicate provisioning intents do not double-spawn - [ ] Retry behavior is deterministic and contract-compliant - [ ] Bone registered in `BONE_REGISTRY` - [ ] Tests for all reason codes