Skip to content

BCR-2026-XXX: General Assertion Predicates #150

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
ChristopherA wants to merge 6 commits into
base: master
Choose a base branch
from
Open

BCR-2026-XXX: General Assertion Predicates #150

ChristopherA wants to merge 6 commits into from

Conversation

@ChristopherA
Copy link
Contributor

@ChristopherA ChristopherA commented Feb 3, 2026

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
shannona
shannona approved these changes Feb 3, 2026
View reviewed changes
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 ChristopherA mentioned this pull request Feb 4, 2026
Open
@ChristopherA
Copy link
Contributor Author

ChristopherA commented Feb 4, 2026

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

ChristopherA commented Feb 4, 2026

⚠️ 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

ChristopherA commented Feb 4, 2026

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

ChristopherA commented Feb 4, 2026

✅ 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

ChristopherA commented Feb 4, 2026

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

@ChristopherA
Add BCR-2026-005: General Assertion Predicates
ad51986 
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>
@ChristopherA
Update BCR-2026-005 per reviewer feedback
6f6305e
@ChristopherA
Remove unnecessary envelope wrapping from unsigned examples
f2b2d0e
@ChristopherA
Remove supersedes references (moved to structural predicates BCR)
d2a11b7
@ChristopherA
Update cross-references for BCR suite renumbering
36eed8d 
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>
@ChristopherA
Rename to BCR-2026-XXX temporary designation
ca1b823 
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>
@ChristopherA ChristopherA changed the title Add BCR-2026-005: General Assertion Predicates BCR-2026-XXX: General Assertion Predicates Feb 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@shannona shannona shannona approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ChristopherA @shannona