Skip to content

V-L1-H1: access-control model ADR + typed condition language #66

@hyperpolymath

Description

@hyperpolymath

Context

AccessPolicy.condition: TEXT is unbounded SQL. No model of principal identity, role composition, deny-vs-allow precedence, or interaction with views.

What to do

Write docs/theory/access-control-model.adoc covering principals, role composition, policy precedence (deny-wins?), interaction with provenance/temporal views. Once stable, replace the free-form TEXT with a typed predicate language (start with column = constant).

Acceptance

  • Theory doc + ADR
  • Typed condition AST in code (separate follow-up issue)

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentation

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions