Skip to content

docs: policy obligations delegated from UDLM (ADR-049/050) - #102

Merged
croadfeldt merged 1 commit into
mainfrom
docs/policy-obligations-register
Jul 28, 2026
Merged

croadfeldt merged 1 commit into
mainfrom
docs/policy-obligations-register

Conversation

@croadfeldt

@croadfeldt croadfeldt commented Jul 28, 2026 •

Copy link
Copy Markdown
Owner

UDLM ruled (ADR-008 peer test) that ADR-049 (credential-material intake) and ADR-050 (provider-pin eligibility) fix an invariant in UDLM and delegate the mechanism/exception to DCM policy. This is the DCM-side register of that delegated work.

  • OBL-001 — credential-material intake mechanism: DCM decides the mechanism (scan / coerce / …) and the profile floor; the UDLM invariant (no credential literal reaches the immutable Intent store, no echo) is what it must satisfy.
  • OBL-002 — provider-pin eligibility bypass: DCM decides whether a deliberate bypass exists per profile, via the override-record flow; the UDLM invariant (the capability ceiling always applies at dispatch; a pin is preference among eligible) is fixed.

Each row names the invariant DCM must satisfy, the policy DCM must decide, and a definition of done tied to the UDLM must-reject case (003-inline-credential-literal-refused, 005-provider-capability-mismatch-refused). The register grows whenever a UDLM ADR carries a "Delegated work" section.

🤖 Generated with Claude Code

UDLM ruled (ADR-008 peer test) that ADR-049 (credential-material intake) and
ADR-050 (provider-pin eligibility) fix an INVARIANT in UDLM and delegate the
MECHANISM / EXCEPTION to DCM policy. This register is the DCM-side counterpart:
OBL-001 (credential intake mechanism + profile floor) and OBL-002 (whether a
pin bypass exists, via the override-record flow). Each names the UDLM invariant
DCM must satisfy, the policy DCM must decide, and a definition-of-done tied to
the UDLM must-reject case.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015GJFtLoW43JTABs3gGS6mR
@croadfeldt
croadfeldt merged commit ed04523 into main Jul 28, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant