├── .github ├── PULL_REQUEST_TEMPLATE.md └── workflows │ └── deploy.yml ├── CODE_OF_CONDUCT.md ├── LICENSE ├── NOTICE ├── README.md ├── archive ├── process-v1 │ ├── README.md │ └── process-flowchart.png └── rfc │ ├── 0021-any-and-all-operators.md │ └── 0068-entity-tags.md ├── book.toml ├── process-flowchart.png ├── process-v2-flowchart.png └── text ├── .gitignore ├── 0000-template.md ├── 0005-is-operator.md ├── 0009-disallow-whitespace-in-entityuid.md ├── 0019-stricter-validation.md ├── 0019 ├── policy.cedar └── schema.cedarschema.json ├── 0020-unique-record-keys.md ├── 0024-schema-syntax.md ├── 0032-port-formalization-to-lean.md ├── 0034-precomputed-entity-attributes.md ├── 0048-schema-annotations.md ├── 0052-reserved-namespaces.md ├── 0053-enum-entities.md ├── 0055-remove-unspecified.md ├── 0057-general-multiplication.md ├── 0062-extended-has.md ├── 0070-disallow-empty-namespace-shadowing.md ├── 0071-trailing-commas.md ├── 0076-entity-slice-validation.md ├── 0080-datetime-extension.md ├── 0082-entity-tags.md ├── 0095-type-aware-partial-evaluation.md ├── 0099-ip-is-in-range-list.md ├── SUMMARY.md └── intro.md /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/.github/workflows/deploy.yml -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- 1 | Copyright Cedar Contributors 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/README.md -------------------------------------------------------------------------------- /archive/process-v1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/archive/process-v1/README.md -------------------------------------------------------------------------------- /archive/process-v1/process-flowchart.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/archive/process-v1/process-flowchart.png -------------------------------------------------------------------------------- /archive/rfc/0021-any-and-all-operators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/archive/rfc/0021-any-and-all-operators.md -------------------------------------------------------------------------------- /archive/rfc/0068-entity-tags.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/archive/rfc/0068-entity-tags.md -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/book.toml -------------------------------------------------------------------------------- /process-flowchart.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/process-flowchart.png -------------------------------------------------------------------------------- /process-v2-flowchart.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/process-v2-flowchart.png -------------------------------------------------------------------------------- /text/.gitignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /text/0000-template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0000-template.md -------------------------------------------------------------------------------- /text/0005-is-operator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0005-is-operator.md -------------------------------------------------------------------------------- /text/0009-disallow-whitespace-in-entityuid.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0009-disallow-whitespace-in-entityuid.md -------------------------------------------------------------------------------- /text/0019-stricter-validation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0019-stricter-validation.md -------------------------------------------------------------------------------- /text/0019/policy.cedar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0019/policy.cedar -------------------------------------------------------------------------------- /text/0019/schema.cedarschema.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0019/schema.cedarschema.json -------------------------------------------------------------------------------- /text/0020-unique-record-keys.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0020-unique-record-keys.md -------------------------------------------------------------------------------- /text/0024-schema-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0024-schema-syntax.md -------------------------------------------------------------------------------- /text/0032-port-formalization-to-lean.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0032-port-formalization-to-lean.md -------------------------------------------------------------------------------- /text/0034-precomputed-entity-attributes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0034-precomputed-entity-attributes.md -------------------------------------------------------------------------------- /text/0048-schema-annotations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0048-schema-annotations.md -------------------------------------------------------------------------------- /text/0052-reserved-namespaces.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0052-reserved-namespaces.md -------------------------------------------------------------------------------- /text/0053-enum-entities.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0053-enum-entities.md -------------------------------------------------------------------------------- /text/0055-remove-unspecified.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0055-remove-unspecified.md -------------------------------------------------------------------------------- /text/0057-general-multiplication.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0057-general-multiplication.md -------------------------------------------------------------------------------- /text/0062-extended-has.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0062-extended-has.md -------------------------------------------------------------------------------- /text/0070-disallow-empty-namespace-shadowing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0070-disallow-empty-namespace-shadowing.md -------------------------------------------------------------------------------- /text/0071-trailing-commas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0071-trailing-commas.md -------------------------------------------------------------------------------- /text/0076-entity-slice-validation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0076-entity-slice-validation.md -------------------------------------------------------------------------------- /text/0080-datetime-extension.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0080-datetime-extension.md -------------------------------------------------------------------------------- /text/0082-entity-tags.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0082-entity-tags.md -------------------------------------------------------------------------------- /text/0095-type-aware-partial-evaluation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0095-type-aware-partial-evaluation.md -------------------------------------------------------------------------------- /text/0099-ip-is-in-range-list.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/0099-ip-is-in-range-list.md -------------------------------------------------------------------------------- /text/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/SUMMARY.md -------------------------------------------------------------------------------- /text/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cedar-policy/rfcs/HEAD/text/intro.md --------------------------------------------------------------------------------