Skip to content

Add BCR-2026-005: General Assertion Predicates#150

Open
ChristopherA wants to merge 6 commits intomasterfrom
bcr-2026-005
Open

Add BCR-2026-005: General Assertion Predicates#150
ChristopherA wants to merge 6 commits intomasterfrom
bcr-2026-005

Conversation

@ChristopherA
Copy link
Contributor

Proposes Known Values for general-purpose assertion lifecycle management in Gordian Envelopes.

Predicates defined:

  • supersedes — Links a new assertion to the one it replaces
  • revocationReason — Documents why an assertion was revoked
  • processDisclosure — Narrative about how the assertion was produced
  • disclosedBias — Potential biases the attestor discloses
  • disclosedLimitations — Limitations on the attestor's knowledge
  • assertionLimitations — Scope or constraints of the assertion itself

Codepoints: Community range 1000-1005

Complements existing core predicates validFrom (21) and validUntil (22).

Seeking rough consensus; willing to use 100000+ range if community prefers.

@shannona shannona self-requested a review February 3, 2026 19:44
Copy link
Contributor

@shannona shannona left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@ChristopherA
Copy link
Contributor Author

Updates (Feb 4, 2026)

  1. Notation: Changed CID(...)Digest(...) per Issue BCR notation question: Content-addressed envelope references in examples #157 resolution

@ChristopherA
Copy link
Contributor Author

⚠️ BLOCKED

This PR is blocked pending resolution of Issue #159 (Core Structural Predicates).

The supersedes predicate (1000) may need to move to a core structural predicates BCR if the community determines it belongs with other Digest-range-only predicates (derivedFrom, includes, reveals, about).

Awaiting @wolfmcnally's input on Issue #159 before finalizing codepoint allocation.

@ChristopherA
Copy link
Contributor Author

Per Wolf's feedback: removed { } envelope wrapping from examples that don't include signatures. Wrapping is only needed when showing signed envelopes.

@ChristopherA
Copy link
Contributor Author

✅ UNBLOCKED

The supersedes predicate has been removed from this BCR and will be defined in a future structural predicates BCR (Issue #159).

BCR-2026-005 now defines 5 predicates (1001-1005):

  • revocationReason
  • processDisclosure
  • disclosedBias
  • disclosedLimitations
  • assertionLimitations

This PR is ready for review.

@ChristopherA
Copy link
Contributor Author

Updated cross-references to reflect BCR suite renumbering. This BCR number (005) unchanged.

Proposes Known Values for assertion lifecycle management: supersedes,
revocationReason, processDisclosure, and transparency predicates.

Community range 1000-1005. Seeking rough consensus; willing to use
100000+ if community prefers.

Signed-off-by: Christopher Allen <ChristopherA@LifeWithAlacrity.com>
Related BCRs section updated to reflect new numbering:
- BCR-2026-004: Signing Event Attestations (was 006)
- BCR-2026-006: Principal Authority (was 007)
- BCR-2026-011: Anchor Predicates (was 004)

Signed-off-by: Christopher Allen <ChristopherA@LifeWithAlacrity.com>
Per Wolf's recommendation: use temporary letter designations.
Actual BCR numbers will be assigned at merge time.
Updated all internal cross-references to XXX format.

Signed-off-by: Christopher Allen <ChristopherA@LifeWithAlacrity.com>
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.

2 participants