From e83a0a85b7a8c9536832e9d75e8364a1fc3fb234 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Wed, 27 Nov 2024 14:23:56 -0500 Subject: [PATCH 1/4] Reform the RFC process Signed-off-by: Adrian Palacios --- README.md | 76 +++++++++++++++++++++------------------ process-v2-flowchart.png | Bin 0 -> 16633 bytes 2 files changed, 41 insertions(+), 35 deletions(-) create mode 100644 process-v2-flowchart.png diff --git a/README.md b/README.md index 8ce6e939..1805f157 100644 --- a/README.md +++ b/README.md @@ -6,40 +6,49 @@ The "RFC" (request for comments) process is intended to provide a consistent and An RFC goes through some subset of the following stages: -* [**Pending**](https://github.com/cedar-policy/rfcs/issues?q=label%3Apending%2Carchived): when the RFC is submitted as a pull request (PR) to this repository. We use PRs to provide design feedback and come to a consensus about whether an RFC should be accepted. -* [**Pre-acceptance Experimental**](https://github.com/cedar-policy/rfcs/issues?q=label%3Apre-acceptance-experimental+): the RFC has not yet been accepted (or rejected), but permission has been given for an “experimental” Rust implementation on `main` via a dedicated Cargo feature. See “Experimental features” below. -* [**Final comment period (FCP)**](https://github.com/cedar-policy/rfcs/issues?q=label%3Afinal-comment-period+): the “last chance” for public comments or objections before an RFC is officially accepted or rejected. Cedar maintainers will announce the FCP’s beginning and end, and whether the intent is to accept or reject the RFC following the FCP. The FCP will typically last one calendar week. At the end of the FCP, if there was no new substantial discussion, the RFC will either be accepted (entering the Active state below) or rejected. -* [**Active**](https://github.com/cedar-policy/rfcs/pulls?q=label%3Aactive+): when an RFC’s associated PR is merged. The RFC being active does not guarantee that it is currently under development. It also does not guarantee that the changes will eventually be accepted or released in the originally envisioned form — it is possible that the RFC could still be modified or even rejected via additional PRs to the `rfcs` repo modifying the RFC’s text. However, a PR proposing to reject an already-active RFC will be subject to the same bar as an RFC itself, including requiring an FCP. -* **Active Experimental**: the RFC is Active and also has an experimental Rust implementation available via a dedicated Cargo feature. See "Experimental features" below. -* [**Landed**](https://github.com/cedar-policy/rfcs/issues?q=label%3Alanded+): the RFC's changes have been accepted to the `main` branch (with no experimental feature flag) and will be released with the next appropriate Cedar release, following semver. -* [**Rejected**](https://github.com/cedar-policy/rfcs/issues?q=label%3Arejected%2Csuperceded%2Cmoved-to-issue): the RFC is officially rejected or dropped. - -Here's a flowchart of the RFC process: (Newly-opened RFCs start in Pending) - -![RFC process flowchart](process-flowchart.png) +* [**Pending**](https://github.com/cedar-policy/rfcs/issues?q=label%3Apending%2Carchived): + when the RFC is submitted as a pull request (PR) to this repository. + We use PRs to provide design feedback and come to a consensus about whether an RFC should be accepted or rejected. + Before an RFC is officially accepted or rejected, they must undergo a [Final Comment Period](https://github.com/cedar-policy/rfcs/issues?q=label%3Afinal-comment-period+), + a sub-stage representing the “last chance” for public comments or objections to the decision. + Cedar maintainers will announce the FCP's beginning and end, and whether the intent is to accept or reject the RFC following the FCP. + The FCP will typically last one calendar week. + At the end of the FCP, if there was no new substantial discussion, the RFC will move to the next stage. +* [**Unstable**](https://github.com/cedar-policy/rfcs/issues?q=label%3Aunstable+): + the RFC is officially accepted. + Note that a proof-of-concept implementation may not be available at this point. + See [Experimental features](#experimental-features) for more details. +* [**Stable**](https://github.com/cedar-policy/rfcs/issues?q=label%3Astable+): + the RFC is officially accepted and its changes have met the [stabilization requirements](#stabilization-requirements). + This implies that the RFC does not include outstanding questions nor the proposed changes differ from the implementation. + Additionally, the implementation meets the specification and testing requirements for stabilization. +* [**Rejected**](https://github.com/cedar-policy/rfcs/issues?q=label%3Arejected%2Csuperceded%2Cmoved-to-issue): + the RFC is officially rejected or dropped. + +Here's a flowchart of the RFC process: (Newly-opened RFCs start in [Pending](https://github.com/cedar-policy/rfcs/issues?q=label%3Apending)) + +![RFC process flowchart](process-v2-flowchart.png) ### Experimental features -Some RFCs will go through a “Pre-acceptance Experimental” and/or an “Active Experimental” phase. During these phases, an experimental Rust implementation may be available via a dedicated Cargo feature (one feature per RFC), including on `main` and in crates.io releases. The RFC’s changes may not yet be reflected in the formal model or Cedar DRT infrastructure in [cedar-spec]. Experimental features are unstable and do not come with semver guarantees — they may undergo breaking changes even in dot releases or patch releases. This is analogous to Rust “nightly features”. +During the "Pending" and/or "Unstable" stages, an experimental Rust implementation may be available +via a dedicated Cargo feature (one feature per RFC), including on `main` and in crates.io releases. +The RFC's changes may not yet be reflected in the formal model or Cedar DRT infrastructure in [cedar-spec]. +Experimental features are unstable and do not come with semver guarantees — they may undergo breaking changes even in dot releases or patch releases. +This is analogous to Rust “nightly features”. Experimental features are a way for the community to “try out” a feature that may still undergo revisions, and are also a way for contributors to help implement Cedar features in Rust without needing to make changes to the formal model or Cedar DRT infrastructure. ### More details on particular edges -* Edge A — Closing a pending RFC: Typically this only happens if the RFC author unilaterally chooses to close their RFC. If Cedar maintainers wish to reject a pending RFC, they’ll instead use edge G. -* Edge B — Moving to Pre-acceptance Experimental: With agreement from two Cedar maintainers (via comment on the RFC PR), an RFC may be moved to Pre-acceptance Experimental, which allows Rust implementation to be merged to `main` behind a Cargo feature flag. -* Edges C and D — Moving to FCP: After discussion on the RFC PR is clearly trending either towards accept (edge C) or reject (edge D), and all major questions have been resolved, the Cedar maintainers will meet and declare the RFC to have entered FCP, with the intent either to accept (edge C) or reject (edge D) the RFC. -* Edges E and F — Aborting FCP: If substantial new issues are raised during the FCP process, the RFC may be returned to its previous state, either Pending (edge E) or Pre-acceptance Experimental (edge F), for more discussions or revisions. -* Edge G — Rejecting an RFC: Following FCP-with-intent-to-reject, if there was no new substantial discussion during the FCP, the RFC will be rejected. -* Edge H — Accepting an RFC: Following FCP-with-intent-to-accept, if there was no new substantial discussion during the FCP, the RFC will be accepted, and it becomes Active (or, if an experimental feature is already available at this time, then it becomes Active Experimental). -* Edge J — Landing as an experimental feature: This requires that the implementation of the RFC passes code review and tests, but does not require that the corresponding changes have been made to the [cedar-spec] repo (yet). The code will be merged to `main` but hidden behind a dedicated Cargo feature. -* Edge K — Landing an active RFC: This requires that the implementation of the RFC passes code review and tests. See “Stabilization requirements” below for more on the requirements for this edge. When the PR is accepted, the code will be merged to `main` and released with the next appropriate Cedar release, following semver. -* Edge L — Stabilizing an experimental feature: To start the stabilization process, open a PR to `cedar` that removes the dedicated feature flag for this RFC and makes the feature available to all Cedar customers (stabilizes it). See “Stabilization requirements” below for more on the requirements for this edge. If the stabilization PR is accepted, the change will be merged to `main` and released with the next appropriate Cedar release, following semver. -* Edge M — Closing an Active or Active-Experimental RFC: Sometimes active RFCs could still be rejected based on additional discussion while it is active, or based on new implementation concerns that come to light during the active phase. However, since the RFC was previously accepted, this edge requires the same bar as an RFC itself, including requiring an FCP. This higher bar is represented as a dotted-line edge on the flowchart. +* Edge A — Accepting an RFC: Following an FCP with intent to accept, if there was no new substantial discussion during the FCP, the RFC will be accepted, and it becomes "Unstable". +* Edge B — Stabilizing an RFC: To start the stabilization process, open a PR in [`cedar`](https://github.com/cedar-policy/cedar) that removes the dedicated feature flag for this RFC and makes the feature available to all Cedar users. See [Stabilization requirements](#stabilization-requirements) below for more on the requirements for this edge. If the stabilization PR is accepted, the change will be merged to `main` and released with the next appropriate Cedar release, following semver. Then, open a PR to mark the RFC "Stable". +* Edge C — Rejecting an unstable RFC: Sometimes an RFC could still be rejected based on additional discussion or implementation concerns that come to light during the unstable stage. However, since the RFC was previously accepted, this edge requires the same bar as an RFC itself, including an FCP with intent to reject. +* Edge D — Rejecting a pending RFC: Following an FCP with intent to reject, if there was no new substantial discussion during the FCP, the RFC will be rejected. The FCP is not required if the author of the RFC chooses to withdraw it. ### Stabilization requirements -Stabilizing a new feature (edges K or L above) requires the following: +Stabilizing a new feature (edge B above) requires the following: * Implementation of the RFC passes code review and tests * If applicable, corresponding changes have been made to the [cedar-spec] repo, both the formal model and the DRT infrastructure @@ -76,25 +85,22 @@ It's often helpful to get feedback on your concept before diving into the design ## What is the process? -In short, to get a major feature added to Cedar, you must first get the RFC merged into the RFC repo as a markdown file. At that point the RFC is 'active' and may be implemented with the goal of eventual inclusion into Cedar. +In short, to get a major feature added to Cedar, you must first get the RFC merged into the RFC repo as a markdown file. At that point the RFC is "Unstable" and may be implemented with the goal of eventual inclusion into Cedar. * Work on your proposal in a markdown file based on the template (). Put care into the details: RFCs that do not present convincing motivation, demonstrate understanding of the impact of the design, or are disingenuous about the drawbacks or alternatives tend to be poorly-received. Copy your markdown file into `text/0000-my-feature.md`, where my-feature is descriptive. * Fork this repository and create a PR with your markdown file. Once you have a PR, fill in the number in your filename with the PR number (e.g., `0003-my-feature.md` for PR #3). We will use this PR to provide feedback and to come to a consensus on whether the RFC should be accepted. Revisions to the RFC based on feedback should be done in the same PR. -* Your RFC is now Pending. See "The RFC life-cycle" above for more on the next steps. - -## Details on Active RFCs - -Once an RFC becomes active the author (or any other developer) may implement it and submit the feature as a pull request to the Cedar core repo. Becoming active is not a rubber stamp, and in particular still does not mean the feature will ultimately be merged; it does mean that the core team has agreed to it in principle and are amenable to merging it. - -Furthermore, the fact that a given RFC has been accepted and is active implies nothing about what priority is assigned to its implementation, nor whether anybody is currently working on it. - -Modifications to active RFCs can be done in followup PRs. We strive to write each RFC in a manner that it will reflect the final design of the feature; but the nature of the process means that we cannot expect every merged RFC to actually reflect what the end result will be at the time of the next major release; therefore we try to keep each RFC document somewhat in sync with the language feature as planned, tracking such changes via followup pull requests to the document. +* Your RFC is now "Pending". See [the RFC life-cycle](#the-rfc-life-cycle) above for more on the next steps. ## Implementing an RFC -The author of an RFC is not obligated to implement it. Of course, the RFC author (like any other developer) is welcome to post an implementation for review after the RFC has been accepted. If you are interested in working on the implementation for an active RFC, but cannot determine if someone else is already working on it, feel free to ask (e.g. by leaving a comment on the associated PR). +The author of an RFC is not obligated to implement it. +Of course, the RFC author (like any other developer) is welcome to post an implementation for review before or after RFC has been accepted. +If you are interested in working on the implementation for an RFC, but cannot determine if someone else is already working on it, feel free to ask (e.g. by leaving a comment on the associated PR). + -An active RFC should have the link to the implementation PR listed if there is one. Feedback for the actual implementation should be conducted in the implementation PR instead of the original RFC PR. +Proof-of-concept implementations are encouraged but not required for an RFC to be accepted. +If there is a PR open for the proof-of-concept implementation, we recommend linking it in the RFC. +Feedback for the actual implementation should be conducted in the implementation PR instead of the original RFC PR. ## Reviewing RFCs diff --git a/process-v2-flowchart.png b/process-v2-flowchart.png new file mode 100644 index 0000000000000000000000000000000000000000..ff3ff7327d4b89fd58875b6c747b2a6c48f41616 GIT binary patch literal 16633 zcmdVCWl&sS@HQ9-kO}S@+}+(_1`jZ}JHdhz+$Fd}AUFdAcMTp~LU0Kh2oNB+2YoNe z@4r=B`(@wS+S=OrKus0*cK7Mi=bY}RpEHrF%Ccz4#K_N{Jwub11FJoI23H1rUjZQj zfA`k-gr7a5cqR{))bKPqFnpndCrcp81dA|{hQif8yIk#GHRGQn^x?n6kFBL8ZmS(2 z);BxqxH2+7LaU9A$Y$E>^0>Z2#Oh&-zglQM`gV1~82?e&>0rS8A^Ta;GN&QqDo@x#}`t%0OjO6Jp z;Ohhrypl#n4w+WmUpX>?kx};lM9N4^gE*iz-rhQb|0$tkYWg32uc=LVpkauAC^s)i zeL;R<=oJDY4C~qNVf=zju#68Iip`f(sNF_d|O$|9mf zN{@g18p7tZwGHR#yQM1LIb22=w@cs4}_7&0R%W7%fdtS@g z3M{zAWW9!aA)z_;k(?A|)IgE)t)+38eWl3IR+aC#0w;7OS;~LcV6>a_HC?vEKraQt z>W#5<_q5{BwrC=pDFRPeci)y3l&YGU%gSvk#i%028MJ(UF}Sr9f8wgRMJWLRLl}3i zRM5k%hI7<5z$MOlE_P#-PPgYQEosCr^?evQ-=k3H!67gp`i+#G?aY+W&?{S;h;8VH zA(ANPA9;kWXUXX9wNk;nZ#M~7Ma2=*Ug2%%8-FN&JF3n#Vn*E~&uIgION1|uvf>OhXgMj6Z^+Q)eosJ15ou;yM2wc=i zWa^h*a&G@zN#iERI5{RRa)hR)PL&$d1jYp~f?_=awuDPAM4-OyzQx(Ic^GqdJ1#+wQzCL5fe0tWCy;px6ib=IktN>$@FH z5c2WKe?<=XzDMe`J7VAN=c04|JN>iBlyK3P6~)Z2WwO5R17N&d>$-|-iEab%Mb8?B z^ZzH)n;t+Vo9*wq%}hP|2+R$e1~?VhL||YT%H~p zPcHuD>I=>*5f`ny)kbskuNfk8vzx^Ff=tjYmMK-t*~t}@7`$wggO4THsNRPHNC;mc z8V~*|>xL5t;*n+gOYaxjT)96u3PqUFjt>0J67{(OZJ}5}R^G3fPgT&CSv-o_ay(>l z!U@M2$e@oeb2hECykSJTd>b9f{UCEcz^ZX!S~k*3T}FE*1KaXw?Cky>H!kgoZ%ZNO z<8H;D#a-fq&53kZ0=A4{scf)>O^qnkkZ}PMT)PC1qlp_sby&c4#7kZ$i$@Ag^rmHM z8u;is@AP(DDut2A`F^NZ)}N5q87?lTg~Gqupfmlr^>lN@fe;#vE}bZvi9$SI9n7g_ zeR5qI?KHL@^ZtTqebA_~GveZKH2^#MgTn_YKMz%gE`kjHO3I$ZMCpKRpV;@(Be>~2 zpQ?AHWACJ8$4$4}XIs2iURWv;^jyVueff?ue?s+xci>@>+FdcWm{>_;B+&QaPH?JN z#c{^JI~;@j$M4_KZ@<^co7#~;NM9fzP-vEEMEz#QE;~`sqbuvZ^)UNm>^k8w;V97J zL2`Mp7;L3NRv>pWwZnUy#@^#ZAGbfaZ)5KKr$<~alTGv#kAZ40;f34j4&2uaA(^|( zZ;a28@fm}R2gfA_l&X#c9#Hl9EBYow+MEwg5pkI{wLD#MTMJr&P`|OeV0&v&k06V_ zFN1uW!k}N9QMe>msGO`k6Fpp@*L=#pztE1~TxBd-)sCo|Z~L0ZZk9+sDcxVVpGl;Q zUgds0ss2+s!Xn8?&Me|D_Em6LM)vWcA0}6!3W`T_Oz=<+ zo+g!z%O%Ktoh$H6w9S|Pq08mK!FSES<~rbn%IkRM2$4+GpUt2CBj*9MA0mdum^khF zm?qU(u81Vk-nsHtF|rXyv)N&V!{_qt^`AeK((fZ66tw$;tb?d!hU*?jhkCNm|_;7|+F%>l2|P06Fxj>*riR!W(C zXpuPdGUGX-V{dRi9hL+z@jwjQb*Dd~fq;*KuhA!8JOi;u357$dGdsGw0h96(MO z`Zb3)^iKW7gG?mM3ybUlOZ=QD1TmT)*ox1YPm7N8@+fRfhZroK7uVB_{jox^3~gr1 z@H+1=^?7V(7-SACV6DzSk<^Nn?Mr0)8qE5UQOQIIh28fh5~(1^o5MIf_KUc@c5{6R zl+xg?;Urp|K8VqLll{^}ou#6P-;KtiwF;byii*K!7l@~uHv^ZJgM-6RmLRwP-N_(3 zXcRjlO3vcTsl8c#F>1T}m@V>=^?jB4kakT81vgb=|L;p!iU$N(o;rkLq#SS0 zH5&FNq!ScoM9T_ZT;+Apl%HH3aG3Qd(Y&^0-qgPOMjdhZLzmpbeb|hGNdZB(^W<3; z_h$-&x@@EDP8=UwadgshiiZopGGQ@N45A+^l^Z z3HYb2}LV%DQ)sqejU~Noe}%4eL_J(C5=u&j|-M_Fz90OGTKdKtk-Vr&$91 zwf3SqK$#SBc7u0fpZp>Hc+i;cqpNPoVMLituWirI1jRawrlG_!&HY_fP~1ocn$Kjz z7zNfTvo6aT!L!_(Us0e^((k;+4V3Xrnq?`*VRJ6HB^Zwc)nGZtuSY1H7Mm;;4?eFl zcuH=<+F@II8<#6D9*J(EUq8&~jusJ~TCimCzB9Sx3pN|9hi;W6g2#qRs8kyW;Xix;&W`~JR8YPV*Q;3 z42Egk^hyvdAmDbJH)_j`D~8c_Ctiemt*u$&hDH(Jv{+-PoQjG?vk4o&dc|CA`5mwn zXw|_o&fkLH?JRm!P?QBHh2t3#-79+3&V#{Q+ZkBeD%B4#Jqy^LxF<5*xXyb#l)*gR zpL@nL(FdYTw5I{2xAZb{;=j{ggF{+VI}?sR2vhY=E`xbZFa4FWY(5_am)>hZ3Aew5 zym0dH7+n7B3c0TKxjGDH@V~#9XYU)!;6)jXBkirT94*AO7vQsx>bCis&e>DIq*X!4 z5W2OoK{ezsRVZK6+)VI}AxoB08c-5X#2oDy-;>ejmr87ts;nYePj^ zf8bkOe`l=w(S9s>!>Siv#`~M3Yy^C<)c5_mN|XNNPe&VntwaCXLYGf@0wuwBl&H9p z!`05XjIGn?vW8!f{Qj)ZXCWeF$gDE7WhJ}2U%p5(q>pjRz?k+Ek%EraUP?u=IS0!* zUZ>m8WqX&?l#%+x6=)S0nN1e=i@W6aMQc~D$(xGvFD%k&f;Ad2X3qv+?p#Q7D`g%R zNWNlaA`M_1J!fs8DR2i8oDvwy{nl8f z_P%qX2Q9&3I82r7zy?cR2K^oa`7x0%O;x+GJ(jr*H;CGyx^pyFslU+ru6!r9eO&0> zUPMRF?a@9KHc~PU-i5x9@tZ`s8kbS5#LonuhoZ&&+%L7By?UiiBvO_hp>SCe;gqD< zM<0F^kut}kA0h5f{t}~FWWoPht$}Pd!9Tn9%^xWnG~zh2`*0#Mr5g{sFxKDNz7P%9 zw6{`4wvA}ExuWlsXv|Zp4W6H+Io>m!&zHzBCWf_mtqCR`&=XMElMhe3qzuU28h&EY zlGjLyrT3u<@|T4KBc%TLq3VfeLs54Tp~Ik2()Ux)e-FF8ypiC0Xu~hsT>o18dFYJI z6#blN*+N8Al9+Sf9!vISqaMhmMd=T*`)EcQ5NDCOE`lw`j8Q8+t}HEF0M^A{Af%gUq8`2@aq;gRGlyjycnN?81n&n0~O84AU>x$@O z2ZGMe55J4_S)H44`6(Y1cx!0d&Gae_wE-zCx(nHajYn`q=d}Ndb4!4LQ7_!dQwaqV|WyXt?%vq77XEvIF7hx(q@Pg;vHEh zmmlAeX4iR7hbsL6jUe z%uFtcK**Rar{LNnGox%(JTHmcZJ97pZC=X9{14aqr@Y#C?w4@3JzD%sWF`Xh;>?#qm)!|3opVnKXj_~}f z#t21h_oX&kU1>ZDl{5;UyEwTS6W(9-m@1hde@P?AGw}Uv9{Ep07hj$S^NEkb@LBTo zt~rT^@7>DcT7ghsyv_*teA``4atXz1NZ#Bxl5LI+S>Aq{-I*>Dl(`ps@mk-# z@3%G_;qB-%Nufl={<21iNW!>MDkIZtdpU9zT@LBH+@2tG^ir^`@PXZMk>vE8^+W?+ zs{-TZrY02muF9T-rjD4tgO3~j?9Bt4Sh3XZHn7S$X>`CIbL3d+T~(}TNAIA*#J@}A zUAvG2GI~}4mpLPb8)bF)Uc`Zlw?=;kHQ2oR$)w2V|)d~{ztlsiwo8fQ!O8C(I* z0Sb(s%;uv+y2g}NrVhna9((x{vIW@pu0CDIMzoJ5X0kDLaBXh8R6W7lY$;MIK7zgB z82lddFXwVUM=FppcnP?vN$cn^xcp*eP#cM5-K;fCx(sFL{Wd0=Nts2U%a#qMWEGG* z${IfA^t(KM5FP%>Xf1aNLiS}xuN~XS>BWQ!0sE*=k$%x-H)}XQxE@jtE zBeR^*63)J$lR}oFr}bd2lfu=}Fw!S7Y@F0mtT%sb0mN4=I^A;C3Rai!$NS=@(hYY; zc|Qf451m{%y#2Flo?GM{;Y@WU1-mOg9g{0;%#TqLfPY>pe9#Y%9C7)@_Jzj^rogfD z`6nR&7)>?X{BHq1e&f~hGJ{}CY#rSaEC5p`g3CeVv4qtH%1>oPDQW0sV$FpESQB42 zxajB)@9<7~i4r_B3NJi>6;XHB2Yyo0z~_+HQ%{Uku;cEz0aPy`0Z^7`7ab8PPO7|# zWxfnWH`o%v6MrHlas-}E-j0b2YGW^>Lk^&5O8^x1{}e?_#?j*qjTIE&aJ_za z@JxdxQ9Zu5{)Y2F#Qk}gNS10C8)Y0Pl>w}O>s+IPY-c4P~87sV5mrj#wh#i|G)R4^*}tGLG)w~xp@lf&wX zCRG+hp!SQd_kr}k62^R}5{3r2Qr@su!Usi;j#K3pqlnZMHb#~ zBTS;v;9L=mXnzA;pj8=R*nJlCBLPFF>7FG+Yb*qoV}lzn#|cgB`^BF|DRKyHKYM%_hs55}8=TS>d9Ia563gtHp>+`xje7}Z0A`sD&vNds!Og6 zPAc&hYpDYa9GUmS&{~lg`}YWl10IUG(B{FeRc#atU=w+sCmYs_4U9lC7OYXK_K}p? z$kpt9RwNVB+Xd^d529P>L~!*K$K&FUghPyeH|Iz$E*>8IijSP{dhF0~Qf;4G6hP64 z_)QRaqPw$&Jy17s2??z!ih~hRY-OyBT+>T5NT^9-ZHHRmsPh;RjM_a-DT>RrtBHq7 zr4Sht1IZzh%VLv#W>D7N{Jg&zZndD2Mp>7{Tb?q? zpGYwh!IU+Ax9*9UlHz#GTDUKe)k%jt0f`s=2tfAcYI_1}Cv-~`=X9gz$TudS^~ zDECL9@gnNF!6W10N#J+hT^#q24H%QVZm^q`nOo;-Px791koByjeKgmd)bK^w%=`=6?WeW^iSPMBxe%<@1Gq`5UUE z|3bCK1VK4Vz?6dC!^7jbpyju$@4>Q`x@Bj7C(G=ghgndAhCGD*9`3$ND0{ao4flMK zDjEGNq|NfL?`obQP^}%f9j%H!7u-E?phroMs@B;28-o8CYK{9Of>gk%8xYaCBwwI@ zl56{K8Xf*A;dvkE+l*s*h{ZT8OQhSoqD-8L4B0z=vSUby9j+^w!pWRG_iE_0`gv zZM8j_j(s=QToii=fCxw~-T5Zx9;KM>rDjL8%{~v|kA(XO znB#v3TyOqgumFARZW@r&4m*<0#}Xwo$5!l{hkKtVAX_%>)uUk5#Dr>SXy{WvKqfX< z%9mW+AN)z_Bkpj1^4M_PpB-w5lQS(EbvL*lTx5DS^T`$fuX{1X?*g|*(|Un|A5%6Q zos`4rN4GWJ;cPiU=bvqonJPo!0XVGhf3B~6Pp(?u{Wd$>9?P@i?Yun{&Jy-eKG!Z$ zr9>s4 z%_s6C->-3737m}+9FFap;(_a%C*K+X?5!?YU=BsTORq{9yF)(*kEJRE5~S-Yehn0 zu$hMJfClRIF(m-Qgru<>M-g}{rm@8iC({=wq%vLa7U!yVc)v?6*xcI&2S!BI@ju@D zX7{~5mR!Idqc$wd~W zM8ptr2S22a0vN-|&4pdV+wW7yL|C%`_}O*ZI#*>FeYnzwqDHlmG@2#oDlte_q?o3R ziRYzKs$PsA@bEKUyf4_}a$mQ?;4?O0AmYU^qz!}#o$URZM5`E@RF^$z<#o0_Teb0K z>g$FmldP<)DuWCgunG6gl&V8(OukrCZgRwYWKk?$c_riqvM|pDAX*g+c{2YZg;WH2 z2>R{ok6e&_`&bhGLloG^M{armw0d*>b|`^Tr^Y0RA}hVe!(}JFCxKD@6K;MtP;kJ2 zqMs_o?PLRj#Z+jXl0>gkHLY8FXNmG1`oGza6{>2DU zfF??h!{vo$$K2z>9c${F=GU2g!6FfTLj^Dh)9G{kjuv6ZRgountRdE5v(o}*JCO&M zME9C$sLZtYy%auaD)=RNLp9{qI8lCLq!{YjOAmuNk&DhuNMlxN0tW;BnbBt#%duTM zhcGuu4gIFKSUw0EJ19!|A67ejq9fxB1W?T#&Zdk5QoLku)c{oP#%wLTo#1re>RXl# zA&)4LdduNJED42UB;SCapP%!eQ%gyThIsI;!lr3I?#)t-X$S=wRnw4e2qYRGj|?a5 z5%&Ipsz5p4fl3;gmT?S!X05^|01TB5D0Bv5+tkr9{(HTZUBENCIaLoZ#Iw;;-ZXvL|yex4muOJmLc>qoPrIjZE2XsO} z1+wunNi_0c0jHgbe9!Y8tO$X}=n{vuPBbcBZ{750cPt86tJ69>KC2!LSrg;AtWWa& z?UgJrXN~18A9rXK>g53HN1d;%}Adw>yHanD@A?)GMfT93w zb)o#T)yCq_xf;S1d^F4l<9L1XlVu@z4COVt^>13<{r&(Tw#*7id6*3RNh^{II4Q9&jCwXpXDl^QHyI7E#p8ivvkpb0b+7FvIFal>aoBnSXplu+SQ zUW>S;8q@``vz-(fG;sRK%(q0QhXzhe3+3xCs_FAPfqX3H*Eb^9?;6{$qT3 z=GF}6@k5b4USOq7Ng^Ndls7NFM(NVP|4n)L4ETs=6Ku-hNH>|1pFTlZ%PT9qMfA+Q zpdrxTWAJ9F8<13o;OKO9X!u-kQutlnFWhPQo0nA_%-tZc)IW8`peI4Ja?gcGr7p8} z4#_@dZAwSsfEf={up*xSr;Oz3nU9rlqyj9-IEEmGWE^rFizdb&aY}*D{$_k*QBTuqNZIn2d&D)gb*RB@zcQXt)2r})2hcvws7-$sEZJ9FbY6k zlUQC<@~JcEloRg(C{VMX zda?=!ZO4Hga54}@4chIVCoL~GwPFHODgGIy4rHL{L{CC+)(#3^@mCFl!2bot8i+4r zfl|NOA$y&Hx^s!qy}bpA`q=ot$tLNM!4b9aZBDjTe;Op!KSx+F?7x@AcoMbf`&2{_ z18@Z$6CZIZ=y*k$3GU}!Okm>Q;4S5&wBsQLGOfmsPS0g1RxxV^cx4$q@5nS!<#eMb zfu|L^m<-~vI9TE5>bCn30b&m`EfZh`n=yeyFDM-y5R87`Z)^CpH33We2hcj%8<9D? zJ~3Cy5g|&ZdmW|uevTQCqnArLH=co6^PZQ!b30kI?2%d?;ptqK)H?sUx5xBAo1~B{ zCYmE2KxUktsfi9OM6H(3+%giJ@ZN^5xX<%oR5-JbU-a7CS-r0g(OT#3fY!psG*C5| zj(%VTVB7)V0N3m$e$)&{B?<;w4^;9=G_}aT+Oo~UBA7YgU&aN_&1WIJU`PU(B#GS& zP#6M`!@TeAmhklQS_j^h%M##ZxJ%l z1WX!onDB{sVQ}MFf*~Sar|BMA4{Q2MP4;0PvhtWIGRl;qOp_}IVEUA4BVqzTPz?)$ z^_bV6(;|xUP$Sods8=|eDIX*6Le+s20bwa~Z>k8zVYU6`Y0M?iI;_yGhgpt(plToV z5VpDa-RI2-zlSw3l2Ksfde&$Hi$bz%T^OIA*A`i)>08wRSP~Ga7YFjBqTU+Ta`L#i zizH&c0>C779=*8g1EnJd0UEz@$x#b&W|Rcyi1ua*H)G!H;q`=s#HvDsUwh<;Ad1_F z*xSx=w5gdBu=gVmht#Dx^!Wif7r{M!a(j8c{ZgLpEK}KeU7`i8Vlq;xNP7YmT(Xn~ z<5((D5Fw@~-cI~r_0hWF4v8-aV-`_4+?_O}%lH{_b5(Kl2~DFsQn*Fwk0c?IsRfcQ zS}ZG=x7QYz1FK<7LLh-$GBbaYpa4~5Wkb;8ZarI|a*1Sn;$!$gjWHx?ZT1!qk50_x=(K)$H_O6XfgG8(e zc=%3s2a~nf3r~_eWCt5jlQfd-sxc4^Cj71A+wQRNLDjhe^eF+0f$(^8Y&o1mEmrt=>^m=t{la3G_`S7m8SkE7W?mp)5OPnp^b0JOFnmRon!AF07Dpr< zb6yaOfDnG1yA6~<5#oE@XBS7j-=N0NBSJV&mYvXE(Y&MK5MkS>fraO#_GSD&paiE52nbI`_Wh;^*nGzv9-k}5#e^T%O_aMblrn-g zd&Z;1i`@@~_^1&SD@jF)`F&4TL#%aYPPTgY<{_71qF8(ikEPHMqRU+l4!kU!%gu~$ z4HK@VFTz2g7`Hu2-LlpxeC|>>Uhb(86}h*W2j|4BkFNYEZfM|)VE~;5T^n`;5B?f2 zI4>;Cm`hHr7el~*MH(XVQIR6mkM1`~dz|bY#}7K+`|3Q!u=Oa}(ufiU#QXD_T<9mq z0AKW3S)mfM(2Bf`lU;SF*^JIYTZ`ToYp;k8fzOKa*oDO4E|5KB(o-Y{AjY7#Z8gvA zJ6=%uDOh4qMn&xHPWF2G@6otuYF$0Vb>__;Sy$OFKeIY=8DgOwaxz6|2<%QBEO!3+ z-D}gCwH)!CPPnJckMou6ppnSdmCHl&LXx%{PFLTq-+Y^E46<5B?w;O=D3D)q?s_y%hCti$(ZDmSYn)BxbUmkq;0Kbzr{5wu6bh3{>utTf#@)9+fO4;SL=6;Y zl@z-Es>9tbCV`ab>CghmekKRAYFY#n2Mgxm?wRfv>q^H6C5<`$Uorpza>N>>Dp2HKze=N{l&O7--ZWb!b+O`_r4 zEdj89WOkJJ=kNe&@9JpvXa12i!u1OZ=>b%y(LJO#Tz6+e%k$S_?*sY(^dW)8i;D*6 z2d-|~$|pc@G_MEa<#a{1aTcSu#zKfKM>huD?Gu;hwD1nk<|}36C(Uc#oYKrx>PTuX zEimDfikw`@Ms2#wWsYz*?L|HK|2VgqxyvVcgH9TQjz+>{i!-mFq~Q#STl$C$$BL~f zC&#d@{4qqlcx$qBDvpCSvQGUnul{&mbc@Oh!gHF^imn|jhcE}@epCBDcOG*}G9b0mjBbF9X z%(bt+`15#68fiR|BH-#$)Hb!0cF6X3ZROAhYGxcwmZlOr7_9b@4*kXWrMRg-Vu?H?mFk6igx!o>0u6FpFF8Xa5<&LZ_*49GS@b-)Yqa z)}=58y*dV4#eCs1MaX5zc6Cnpm>u8Gogi~LO3`*7ZI%$D5O2zN88a{=C9>J~sU$Ua zXAaA){wSYMx51ywwk8`i)oJ8mBJf3?unisPJQ(7<7Ih%><9uthrPb!Si(K=R+AfzF z&BJPgF3^w-_8=1peH=}*)~GB4_0u-iera#~J>mLQry}QEcu%veq{Yz5nqj2bA$qjg z5#^LJNyz=7-TKk)%7Gz^nZQ3=5apNS@-wgCKO&+h%`;XX0K9A$LZewQigEpGk5|&| zyMaO9^=1zkZ_p8*zux-EQ4MPvrK*-ejET@>t=DGDK0dE7+kXX^1Ny@R+#@V!W-5|;btGHi?k{*&l*BtbSi6?Vf^xi|K0lr7SDARkRL?>?uq@==(n1=Vn;rAwjIC-P*U;DXLYrP@d;}+*D zyYEXLP{wY7tVYmK2)fnw@VsWX8;&KHgAA=)i<5`Cx>zAx+1jWLAOC^xlo_VBSmpHd zQ_JDc5XIl~Uzp3=Bp*`x6`dY#-YJou;{+GI%_|wkRoMFFIDy%GB;MU&D4f9P=N)oa zdq!Z=SMeQK^VfQ{*xND^(O?Kx_Py|>`RxGdLZjt8K|(_KjH9(Uj~$6~qqiIQV&{u_ zmbjl0@)e%soB6LWGE3~sx6{uDF|s*mREF}qhR^6;s>rczmflaaGY|FNxb`nsN0fQo zt}e9s<)%z<63za;Yh!h}oY8HlT0^?XnCV{-AIR`wDmYN#2lF1y8+Q`^2(cQkabEMs z3NAQa4GKf)TiXijR47eK;y*pYc`c_?a@@(Ja4RbO>)S(ANlL?#m=B#AE;HqgSHQML z%n>&vO(`EN<`srctMHQj_~yfFn?N@mHF^4`8KV7`ZA_=(A<+eCw36|2LK)4CH}0uTdzNC+cP zx2RTwyuF>orv!wk{63#jfn`E*SKj2OwF!T^<2eQd}E2MAAY zt0%Ej$L+~yShZDt$VcKp3PowgmyHBG_Oj&KBNQ~C)6>$y(yBcAwS#)THPm?=jhBPl6zigv)zg3>FK!*^j~} zIHd~b-t|yG&!@p!Etu-Nic00+hS#Gmn+zE=`O~wNE?`Av>!*Ll%o8yr#IwtA8EDPU zAQW%w*|o0I>?_*(xPWGO>%p5P#96bXve4weqz&e^8&=XNxjb4&09&WTK&xB?zv_zJ zGRN<=5sx`-_25;kHKPj_y%qnQaOH7yD7xFhE?c`+6bAEw+0GQ_%9RN;xp78q4~KOA zq&K-NnDIC@I{hj4Ds_*z4va1=TAeNFEkE#E9eP|9*mQmcBIYUlBrO)4c?CbsXYk!qFgk)gkbxxt1Rlpd*oV$3}EW%+6H z7?R_-_83xqFY9!v?ATord*6|^Hp_OI-UDp0f>r+X^ItSjO@J*XP)n*?XNi^j=k`zZ z_%Ke?9#pdmN;FOInj3R5CX$=eXX@=8j~RuYhs`}6bl76i%E{4fZ+19uHG|gf_;(=I z4rg8)g&ZsH3XbNjX>S;Rz3miurdmUOq~%Pu$&o6@DWU>-`)ee(c9qG@vN&R*DmH=_ z8xSF>O>Is;=@fV!DK}Mi)-WQA>YKN#bg8i^EU*i&DyBX#GT)G_Uc6{1)7Mt00YM81 ziePDuIFdC#Z!RVIvNFFm@#vUXeJgcdxKiiw!eI4R8S}Q3YTxP=*w5$e4YU)` z4g^V8edPAxpaPC7tBo6X;(|)Dp>yUY7(Ca9`Z1(@=$TrM*ksV3__4=79;8{an>7-M zQy+S73*<-X()s;z1U?2UGz!hCHmT`~v|LH}%ABGbEU-Vs0(T+>!*Yh0v^x!2d=I(a zJdjCNxY6M3etMd7VxfDCyNCI;jiQwTMSPU6k?DGmBH%0?N&;k*Z)AM9MacM=X54cA7G$>NbJoU|*_;eir8hqco~=w%aL zq^bygr#v0*oy5YsAkY`qrAHo|yj9;6g?=!y9o~WAcLhFs;{6k4XQ2kDG36TFb$Fi9 z?H{Pg6{~GxvNL9u16)fKn?qSfcs&{>U5``P&bb>^Rm1Ld&)5p9j7pd?ERUD6si2ZJgJ8g04sE^t>nK+KO*Y>5x zjPmYspR8y(ZP`M1fk)ELN?|3pRi5pxTCHYtSr<1{ch*h6&!iEc6T#&Tq*}nD-UM%= zirlEr>Pg zG(PpG6_v{Z3@On!A7+9hN0QzsQnv!6BMT}WwC4c$b;F1Bbc65z-?XRy`gzgAl?WO$#sPw1bK9vibO2D{Xd3O6Uy0S1(?01X!sKd3Amt|q0Oy^R^1 zVyG>V!u|x4MLiq~G+IsD40L5_+H5~JHX|8U^Kp_s$(i!z?Rn*q2M0U7SvAsd&|6^cSS_74)JaxDfmzvYb^JvuHg&dRmxjjiR*vKaPIDt#u^~oC z0gF}yQwxIm%0b(5u!&4qZ8;T_t&i=j`(fB`3)VJC zQGt&jfy}H3TH+L6k?qO`SYu{%bTrNBtU3(jMHD!ryPU{ksX!zDL8%dbx%(XCi;4!> zxxMoAdlXBO@7w&IM>(aPFeQaU&*%4R`8hSF3TQd`vLd2p72tk(ztE;h%Neo9UK&Vt z!^g=5g$5u?%jx8uvn^9Ed>6`#kwwFGVGZkx+-TbF`&hCmi74t9JfFr+P18+I9wNQr zTEW7cgPHdt!lG22IyH?zZTr|FIEvmtSE+~MnCn>3muAWv=MLL+J^y6^!qrVK2)KwI z)=^1qFl`a8XnWQ245u0Rd4Q6q-vtoBNm-7Z1oxly1N5iA_x97V0kmHoHd;sY@2Y(a za3lW-_IbL~4?Ggc2v9k>Xj@q_|6SMbwtl)5{5}Ek|E<@51lVdHyw^hf-3ZwHOdg^P Ju97kd{$JBHifRA= literal 0 HcmV?d00001 From 10b26fed4003c7c13021bbd6c4e3068089d79181 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Wed, 27 Nov 2024 14:38:06 -0500 Subject: [PATCH 2/4] Add pointer to process-v1 Signed-off-by: Adrian Palacios --- README.md | 2 + archive/process-v1/README.md | 112 +++++++++++++++++++++++ archive/process-v1/process-flowchart.png | Bin 0 -> 38406 bytes 3 files changed, 114 insertions(+) create mode 100644 archive/process-v1/README.md create mode 100644 archive/process-v1/process-flowchart.png diff --git a/README.md b/README.md index 1805f157..f6579d38 100644 --- a/README.md +++ b/README.md @@ -29,6 +29,8 @@ Here's a flowchart of the RFC process: (Newly-opened RFCs start in [Pending](htt ![RFC process flowchart](process-v2-flowchart.png) +Note: The previous version of the RFC process can be found [here](./archive/process-v1/). + ### Experimental features During the "Pending" and/or "Unstable" stages, an experimental Rust implementation may be available diff --git a/archive/process-v1/README.md b/archive/process-v1/README.md new file mode 100644 index 00000000..8ce6e939 --- /dev/null +++ b/archive/process-v1/README.md @@ -0,0 +1,112 @@ +# Cedar RFC Process + +The "RFC" (request for comments) process is intended to provide a consistent and controlled path for new features to enter the Cedar language. Many changes, including bug fixes and documentation improvements, can be implemented and reviewed via the normal GitHub pull request workflow. Some changes though are "substantial", and we ask that these be put through a bit of a design process to produce a consensus among the Cedar core team and the community. + +## The RFC life-cycle + +An RFC goes through some subset of the following stages: + +* [**Pending**](https://github.com/cedar-policy/rfcs/issues?q=label%3Apending%2Carchived): when the RFC is submitted as a pull request (PR) to this repository. We use PRs to provide design feedback and come to a consensus about whether an RFC should be accepted. +* [**Pre-acceptance Experimental**](https://github.com/cedar-policy/rfcs/issues?q=label%3Apre-acceptance-experimental+): the RFC has not yet been accepted (or rejected), but permission has been given for an “experimental” Rust implementation on `main` via a dedicated Cargo feature. See “Experimental features” below. +* [**Final comment period (FCP)**](https://github.com/cedar-policy/rfcs/issues?q=label%3Afinal-comment-period+): the “last chance” for public comments or objections before an RFC is officially accepted or rejected. Cedar maintainers will announce the FCP’s beginning and end, and whether the intent is to accept or reject the RFC following the FCP. The FCP will typically last one calendar week. At the end of the FCP, if there was no new substantial discussion, the RFC will either be accepted (entering the Active state below) or rejected. +* [**Active**](https://github.com/cedar-policy/rfcs/pulls?q=label%3Aactive+): when an RFC’s associated PR is merged. The RFC being active does not guarantee that it is currently under development. It also does not guarantee that the changes will eventually be accepted or released in the originally envisioned form — it is possible that the RFC could still be modified or even rejected via additional PRs to the `rfcs` repo modifying the RFC’s text. However, a PR proposing to reject an already-active RFC will be subject to the same bar as an RFC itself, including requiring an FCP. +* **Active Experimental**: the RFC is Active and also has an experimental Rust implementation available via a dedicated Cargo feature. See "Experimental features" below. +* [**Landed**](https://github.com/cedar-policy/rfcs/issues?q=label%3Alanded+): the RFC's changes have been accepted to the `main` branch (with no experimental feature flag) and will be released with the next appropriate Cedar release, following semver. +* [**Rejected**](https://github.com/cedar-policy/rfcs/issues?q=label%3Arejected%2Csuperceded%2Cmoved-to-issue): the RFC is officially rejected or dropped. + +Here's a flowchart of the RFC process: (Newly-opened RFCs start in Pending) + +![RFC process flowchart](process-flowchart.png) + +### Experimental features + +Some RFCs will go through a “Pre-acceptance Experimental” and/or an “Active Experimental” phase. During these phases, an experimental Rust implementation may be available via a dedicated Cargo feature (one feature per RFC), including on `main` and in crates.io releases. The RFC’s changes may not yet be reflected in the formal model or Cedar DRT infrastructure in [cedar-spec]. Experimental features are unstable and do not come with semver guarantees — they may undergo breaking changes even in dot releases or patch releases. This is analogous to Rust “nightly features”. + +Experimental features are a way for the community to “try out” a feature that may still undergo revisions, and are also a way for contributors to help implement Cedar features in Rust without needing to make changes to the formal model or Cedar DRT infrastructure. + +### More details on particular edges + +* Edge A — Closing a pending RFC: Typically this only happens if the RFC author unilaterally chooses to close their RFC. If Cedar maintainers wish to reject a pending RFC, they’ll instead use edge G. +* Edge B — Moving to Pre-acceptance Experimental: With agreement from two Cedar maintainers (via comment on the RFC PR), an RFC may be moved to Pre-acceptance Experimental, which allows Rust implementation to be merged to `main` behind a Cargo feature flag. +* Edges C and D — Moving to FCP: After discussion on the RFC PR is clearly trending either towards accept (edge C) or reject (edge D), and all major questions have been resolved, the Cedar maintainers will meet and declare the RFC to have entered FCP, with the intent either to accept (edge C) or reject (edge D) the RFC. +* Edges E and F — Aborting FCP: If substantial new issues are raised during the FCP process, the RFC may be returned to its previous state, either Pending (edge E) or Pre-acceptance Experimental (edge F), for more discussions or revisions. +* Edge G — Rejecting an RFC: Following FCP-with-intent-to-reject, if there was no new substantial discussion during the FCP, the RFC will be rejected. +* Edge H — Accepting an RFC: Following FCP-with-intent-to-accept, if there was no new substantial discussion during the FCP, the RFC will be accepted, and it becomes Active (or, if an experimental feature is already available at this time, then it becomes Active Experimental). +* Edge J — Landing as an experimental feature: This requires that the implementation of the RFC passes code review and tests, but does not require that the corresponding changes have been made to the [cedar-spec] repo (yet). The code will be merged to `main` but hidden behind a dedicated Cargo feature. +* Edge K — Landing an active RFC: This requires that the implementation of the RFC passes code review and tests. See “Stabilization requirements” below for more on the requirements for this edge. When the PR is accepted, the code will be merged to `main` and released with the next appropriate Cedar release, following semver. +* Edge L — Stabilizing an experimental feature: To start the stabilization process, open a PR to `cedar` that removes the dedicated feature flag for this RFC and makes the feature available to all Cedar customers (stabilizes it). See “Stabilization requirements” below for more on the requirements for this edge. If the stabilization PR is accepted, the change will be merged to `main` and released with the next appropriate Cedar release, following semver. +* Edge M — Closing an Active or Active-Experimental RFC: Sometimes active RFCs could still be rejected based on additional discussion while it is active, or based on new implementation concerns that come to light during the active phase. However, since the RFC was previously accepted, this edge requires the same bar as an RFC itself, including requiring an FCP. This higher bar is represented as a dotted-line edge on the flowchart. + +### Stabilization requirements + +Stabilizing a new feature (edges K or L above) requires the following: + +* Implementation of the RFC passes code review and tests +* If applicable, corresponding changes have been made to the [cedar-spec] repo, both the formal model and the DRT infrastructure +* All outstanding questions about the RFC are resolved; e.g., all other PRs in the `rfcs` repo that relate to this RFC’s text have been closed one way or another +* RFC text has been updated to match the final implementation of the feature, if the implementation has diverged from the original RFC + +## When to follow this process + +You need to follow this process if you intend to make "substantial" changes to Cedar (). If you wish to suggest changes to other cedar-adjacent repositories like [cedar-spec] or [cedar-examples], please use their respective issue lists. + +What constitutes a "substantial" change is evolving based on community norms, but may include the following: + +* A new feature that creates new API surface area +* Changing the semantics or behavior of an existing API +* Adding, removing, or changing the behavior of a built-in function or operator in the Cedar language, or any other Cedar syntax +* The removal of features that are already shipped as part of the release channel + +Some changes do not require an RFC: + +* Simple bug fixes +* Fixing objectively incorrect behavior +* Rephrasing, reorganizing or refactoring +* Addition or removal of warnings +* Improvement of error messages +* Additions only likely to be noticed by other Cedar developers, invisible to users. + +If you submit a pull request to implement a new feature without going through the RFC process, it may be closed with a polite request to submit an RFC first. + +## Why do you need to do this + +You are suggesting new features or changes to Cedar — we appreciate your willingness to contribute! We have to carefully consider the impact of every change we make that may affect end users. These constraints and tradeoffs may not be immediately obvious to users who are proposing a change to solve a specific problem they just ran into. The RFC process serves as a way to guide you through our thought process when making changes to Cedar, so that everyone can be on the same page when discussing why these changes should or should not be made. + +It's often helpful to get feedback on your concept before diving into the design details required for an RFC. You may open an issue with a `Question` label on this repo to start a high-level discussion, with the goal of eventually formulating an RFC pull request with the specific implementation design. + +## What is the process? + +In short, to get a major feature added to Cedar, you must first get the RFC merged into the RFC repo as a markdown file. At that point the RFC is 'active' and may be implemented with the goal of eventual inclusion into Cedar. + +* Work on your proposal in a markdown file based on the template (). Put care into the details: RFCs that do not present convincing motivation, demonstrate understanding of the impact of the design, or are disingenuous about the drawbacks or alternatives tend to be poorly-received. Copy your markdown file into `text/0000-my-feature.md`, where my-feature is descriptive. +* Fork this repository and create a PR with your markdown file. Once you have a PR, fill in the number in your filename with the PR number (e.g., `0003-my-feature.md` for PR #3). We will use this PR to provide feedback and to come to a consensus on whether the RFC should be accepted. Revisions to the RFC based on feedback should be done in the same PR. +* Your RFC is now Pending. See "The RFC life-cycle" above for more on the next steps. + +## Details on Active RFCs + +Once an RFC becomes active the author (or any other developer) may implement it and submit the feature as a pull request to the Cedar core repo. Becoming active is not a rubber stamp, and in particular still does not mean the feature will ultimately be merged; it does mean that the core team has agreed to it in principle and are amenable to merging it. + +Furthermore, the fact that a given RFC has been accepted and is active implies nothing about what priority is assigned to its implementation, nor whether anybody is currently working on it. + +Modifications to active RFCs can be done in followup PRs. We strive to write each RFC in a manner that it will reflect the final design of the feature; but the nature of the process means that we cannot expect every merged RFC to actually reflect what the end result will be at the time of the next major release; therefore we try to keep each RFC document somewhat in sync with the language feature as planned, tracking such changes via followup pull requests to the document. + +## Implementing an RFC + +The author of an RFC is not obligated to implement it. Of course, the RFC author (like any other developer) is welcome to post an implementation for review after the RFC has been accepted. If you are interested in working on the implementation for an active RFC, but cannot determine if someone else is already working on it, feel free to ask (e.g. by leaving a comment on the associated PR). + +An active RFC should have the link to the implementation PR listed if there is one. Feedback for the actual implementation should be conducted in the implementation PR instead of the original RFC PR. + +## Reviewing RFCs + +Members of the core team will attempt to review open RFC PRs on a regular basis. Once the core team agrees that an RFC should be accepted/rejected, a member of the core team will leave a comment on the PR with the decision and an explanation for the decision, and start the final comment period (FCP). After the FCP, pending no further discussion, a member of the core team will close the PR (if the RFC is rejected) or merge the PR (if the RFC is accepted). + +## Acknowledgments + +Cedar's RFC process owes its inspiration to the [Vue RFC process](https://github.com/vuejs/rfcs), [React RFC process](https://github.com/reactjs/rfcs), and [Rust RFC process](https://github.com/rust-lang/rfcs). + +## License + +This project is licensed under the Apache-2.0 License. + +[cedar-spec]: https://github.com/cedar-policy/cedar-spec/ +[cedar-examples]: https://github.com/cedar-policy/cedar-examples diff --git a/archive/process-v1/process-flowchart.png b/archive/process-v1/process-flowchart.png new file mode 100644 index 0000000000000000000000000000000000000000..1c29454dbfdd6434a46fcb166baf4faae0820a34 GIT binary patch literal 38406 zcmX`S2Uru|(>6?r5JZ|Z0V$yu>7hyup(LS%&_j_9p%ZG5UZhL!C?G{TQWc~sRX{+c zs31kEAW{TD5x?dCd*1K5Aj$5YJv(Q1&YYS1o|A~y*QUD8dYy=fhzg+t#}E+_&jbHW zU^3tg#Yu@L5fRwHU(?**GuRpD;Y7qIt?}P4J}C)TZ$E!NX*i#hlq23Q2hI!;Vi%OGZor=t@w}&H?A;@9pQxCk+FR5nldI9>6zn8u&CY0zS-v ze@O{3Ntypz-~)l~B_*W9B!qwq+D;Dc-av0xO@Kd1;FJ~)@8s+q44nL5tN%oB^0#yO zPh1((dnP7^cKR?2tTPgYN9fvNod0VR=!Eyfd3*iWOj1e=DklHm1%HB%)BkD3DG=x2 zbahr*6VRI@&dvpI2WUkC_kYST*SM#N2{3aFR?soVAp-5aF!qH1I`Oje{J&1nfIdV4 zNv}GQGxfK(SMUzfLPI6d2qexx!CA-6A8Beva0+&G)HTCE1EB62cufM*MT1WY(2$mC z2u>4?^F$b#__^UsCA}Sd(QbeQFd1Y>pt(-4AIuXcFRdf#>7;88#klJk!DZD=GYkf0=B@>GLqiRX>k;f~VS)9Q3^0|$dTGo02I0{f4t7v;ZEXt~X<1YdUdGT%*4!f4T*4_>S6>T| z(MvA~i462`bM^A@HkMTPc9bw9pj-)t8v5FHCh|^__<&#>#=sTptc!H=mo^3NKuZO{ zVcMGhvYtT-(rCZ}wA8&cWB^TT;nbZ2^~?=`5xRyr2WV=Wxdj>^p@@8qI_VksAT*?*dOp}d zf{`39P$Cd*4D_sv)ppm?(f3p^R@d^7u^`CX`vpnLAOb zI7%B~+;kA$STnS{m!u2Oz{5<^-N(pX-%%<^+sxh294dndF|gCr2U^2n-g2^9-WUy8 zq&7mq+XrYZq3P-G4wJMqgd3UrV-YUycCI+2o`r&wq@5{F!wE0rVB{hLv~!VkbJ9}4 zndxhKL!APRWb_S8O!R{E%ryhB{w}_*8hC#Ttc!u1lb)L=UfS3|OTxg}OTkgY$kP|? z?iPfSaM6~rmrxIOfSXvj0X7Iz_cKHVI!bBCx*8aGN%#gDd!l6!dg@pM1XNZ>-S283 z8k#aN8H5B>&J`gqp>MA)FYoT+q-CTdWe|kEGQS}2AecKKo0f&10S4vdDiQ2$j`PPm z`+6F<8$jLc?E?%P^qmp1^6Ks=4RuLxDPuV=9T|09EwqDrfQv_nzpJlw5Yip$8VvJ= zx;a?L!VN8qCESfLejX0$AqH-q1Ved4Pi;9I+*QWhKpXCkcfgrQI>J!y4jyhueMdb> ztgoX}0AAA%suhTn_6R|uBv2@GT?5BJQ#eM(*Co&gX6|?OMh!LHH2qN+KfH{OrZ(2X z)WHqo>g)`4R@V=Z#o+z@)!~L$PADW;KNzEDjKay`JbnGN^}S%)78cHC9=b3D0bvlN z>1srfFj4oF3PMPRU|le7PCf`&Aly(+!&nn3=OLvftBG-OL_7JyEhJ0>U0`+r_GoDZ z=OE9Z01uQtOb_ZO>mn(quN~+Lh$Im#4RbZp)wK@@lJbEOuo!;{2dI>{AzWS3A10vy z_X*at)9{zlbTTlO)(X^>GY-V~qv0~1I!5qdO=+l+agcJrIIpEkk5blIEF*a3@ zG?Dg`*GCy!IO;>;uD(+0!Fr~_UJ_FNW^f66n2Z$0Qy)w4@q@X_yV)D~YWXY3K_&IE zt_})@x;_d%W>5!714lEQz6;vb*jZ1@1LN!vAZ>T`M18>7YB~D4nPc&WP&r8pV>c;X zoH@o`gJ58+%u^RFuK+A7Fkg(htX{~KcnGwqhldY7z|KC%MAz5bMVH_UEKV?2ISHJR zh9S&E9_cPGq3i48h0q7|2y-MDhPc={gH@L?i>sDzAmE!|7ScgxUUDv1{zltgKG-?Pz{5e_*v=7fnp!5#vQowYPWFMo zZ(Risb>IuQ!^fSV=SRQ+^W8Jh$PaM%z8*msv@}Xq-o#YG2=J{iO-UnU0MHocAt~uC z@9J>1{z(HqKh`NZDZ$prl@xkp?$aNefb%%e29F&arn8EQ{D^hLy;G-GP{W6zIG_NVLo zas`f?#ajg~HV@V}H%p2x{C->cT{4tE0e^sy^j-e0J3rql**G2-?}J`=Mr{3gz8voU zv$=2b?vL)x&)$79(k^fB{3(!e&prS9Ynd&~dFt`f_Og3ZPX~)?c=!3&G}Rmb%=U_w zyZm?Thf`R1%-($I82CJY+4Ir4sKBsXi)GV%zjY4lUO=OA)_+b$$#x0 zAK%^S+J53(Q<>{__L4d;`Ed*PN^HLsvQa;HXV?Tz6n%dA=f~vFo%fSL%V93zXRGAr zML$-S{ic+kpPzkAn>0}U>*zd@4=Gt$PJc6+!81uhdB>K?%18Yi>iMZ{^~VtNy~PQc zd8;Z!7JrN0fkT9)NAplDXsaaRvZdsFv*?F7NN!5$82UTaQ=a2^^IuZfG23Tf-PrFj z%W)CRH-jMq$KD{Nh>Jt*f#wCdKHo<1o}ZcLYsumhdH2F`!2{3W<8mc)4VFcfc{ZQ! zv`$D-arzh;g1#{l^Ua6!9GR$ix2bS^xEJxa9e9}c`sZ-2he2Nm+8h_@g3F;?2#%ji zFN2tm;6<>nYj@A&XzuH{mBlehO%}>z860@GN$R}2X`E9wy0kj8DLQjBxmDNHE5#Xp zR#qVEiGBT)aJ-p1%Cu%p*vOd_uB*2Xjxsa^xv>C`#`bmzm9TwU6(|XPcd)vg&dbXh zdh7VdW99pWfF9@DTxVY0X&$_JpkBtPlIc$7SX^d5U|>O?$2$w z_Xn$XiBmKs*3&7YeUg5)AH+%O^XBhG^vrDiyZrG__hsPsiQl_T-gDML*6-Wh&Ca*6 zHOm2+TheCu$>Z5$r6Aq=Mo;w_J&${SeaWI39Fwc+o>Kj1#S#Af^Yc7!6?R2`+6cCa z+QP~$N=*Fg=1ZIV-(@HkS?>nchbjhq5tOG6154gUvO&V#^Rg;l`jMQ7c4yR`Q$T7ttY}Pv#@u=2W zQ_HdO$4T7jGN5d$)<8|AxACQrwn$)#SaKj~g({G?6#Sn73o}aa8)7uerU}<$)a2R) zKWi)r`6iTjb~)d7$v1$@b%j_)&l@vDx$%^)W50{6?3}^h*&~aT2rUFa;gi6N6`pBd zM|*YcRN43PMS?Jz8YaNYyhdCv2Hg9ZLpdb>WX^JGuVq~9=w0;_urVp{n%zqGSMx#4 z%D)!id03qkCGE=N;FT!yi5MCc zL50!uy~daO!nv$~xT3(&-oq3(eG}fq!ApYIC?FhvdH*ymKLBDf z(Jh=5$xX{a%)Jcxm`E?cy5A5(t*E22ZdNBq(o2WNpQO4@9O^ua*e;7-_hh@tcdg2- z$tLq5U}}OS;j~<%KdOqnGHLd+Noka(_qvbYhLg=3GDN8YcTV<81s_k!O^QBWw0}U& zF1)e&V(gGUL$&tm)-mn_z%UDoyn8Jc#avs${+#B#xCRWB8Zckq>EzBIkAlA7v{G(C z)Dh&jeImP+#XHwCCADXl7>PBxu9JLd(#i_^z4O%R7cnWBPEuMDH|;e*;eypei(5$| zjS?=82~`XpD`aykN%@iA_LCxAKnZ>?)-zER{HOgRaDt+Mix&GMy77!J^TUZOa>fvDZ2^XMg9sGt{J@CeuConV$wn*v}c~ zxq6GuuHDA>Egls14H_aOILJX-#Kr64kZ(1c6e?3g%M&AHN6FYb9+&}&{KH-B} z6L?4()%*)=&f4$-NR$(hY%Rr^GLtlT2UzQ|wl=0sy)qm#($ADoKDEMvaq+)aa zajEg~{zhgBAOGt6XZ`JG?#+u@urwjSS~ppsj(rM|l-(K^IrnGbmE?ppfswSm6#O*V@609brF7een9@55SFJp87vu3Uptf{O9(*N{`BLK=`A!+I$#(zIx$r#^Owiw3Kot zjp~KZ`+5uMW)e5f^*yViHW#V+3Pjc>t-XF7KcgH-_Opky->ivQfr**5N!!P!zROR= z!E1?LG23${>O@A*8vi(!(R|??;}E)EZuE-b7hSFzRmht!CkO{EzrVOI#W5`M)lrqc zD_HsArJ!X`z$yr1VWb)p1H$KOk>n-7?M*p7s*T-8Zyaf|S7#_f)-C{B2}BGT)o_9~ ze@oNaQERTvj(iKB>HGanB<9?GMw2-wyC_xm(`Xp&Qn@g=)MTg2fGOmD#Pn$Q<7>C6 zm4Bk&cN6^lzNX5}Nizfl?86!v>P-_LsQubs8tOY*&oaYsG3F9U_BGMZdf3ZU1_liPb{eShtF)vnf?}Za6f-yDLfIo4tvE<+YjbxACPbGktl!-w<%SwoJtZpbHYr%q@!?8v2Bfzp+)39d0mVde*NAvd{;8Mh|eXOb1G>q(K zCOcb+p_w>4{5rY+^2cM@39Yeq==zyG#RDr~b(#QPci!*z8B+e_$V_+L(34d<`hMZ> zHo;5bm**}ue|3B13PC5O@lV+j*hyB!1yr z8UF9$cxuv6o1L!`F^_c@)u1DEwV@TRd~+r<2xB|iGyGE?XoEVqfwN~&hU7oUBSZR0 z{b+dp1#3_CsSW4Q*mH_K9up|Z$GxvY=w8~`E>4cXZ~D58~!8hfU;O- zIGH`pm0Ibb|KRSo+yXeT(r-G=#B1vk)wSIh!c*y!KVg%wja1sxO5+e+S9E&AFmneY z($)t|bTk+wO8frMr6kO`_iT+)+F|$x%k>D>Ph22yK^R~JutwJ!>n?xEo{*DFej4bC zmP2f$f`0Qdip`x&CJpcj( z5v+JX^WnLARa5WpS_X|MD}+IdIG9%a@>AHarFnvi>lm_ehUu3&IlCkFxtHitpz+a_ z?M}EqU1$BD?Iu}CHhf}=N`D`EJSiX@YXyO~8G%yU%{L%z9{{Ub23&? zrm!-lc=xjleJ;vD9XZAX1;Kom{o1D+DqtpGA|7Zk=(s|v+ zP5>dZ;$=VWrKw)Je(LZP!PfAZ*)X}PMA_o26y*86=g+4XU}G}B*PI({1NuLeW*UI- z+Ko!kvk4$IC{VK+lcCQWAl$SIZ5&Xi9LsV3$Uxof$ue^r2zUb^&M&n-_5pD>tioaB zA>%zkIGMVAlBUKIFc{5UN971$d3~VLpYN6YxAz@VgkokjsGT=;tWa`BU(&3+nY%63 z$|=W$HvxCFK1Q{kRKwN~0K_=X-`nSzR7GffQH`!2Ka5dliiqEAJRUHpTmRO5hwXc0 zO-UYiV3X=YNCZdM;2BxEp zwB#RcR-c<*tiNH6-F|$3Ujbr#Q3>^pEWUp4;-E$hi0U_iHJ>&$_sdfy=nm z)B2mqF*fL6{7UIaU)z4yZW3Z59yG>ykFKiSO{@#cGtYc4v>Ae(vk`}iM&p<)9O*do zByuDrvas}m6()j}M^-U2uLi=-*j1}#D32pjk~fdaeBu9MhKBs_ID*a>nN1t+umT!ZNxC81XoDQq zh5RHsl3Z|7OUA3X_22JM;)vMh-O#-Yx9^uaPKQjlV*@6}S*B(itzVitTo0K5gM$Uk zzC;r8%~w4i7nQW!%kN9T3YJQL)%9ecpQe4;x2gFo>ZC^>nP`t=Kh>Tqa!`Bw}v>`!r+!0|WhFR-d8Jm$idtdJV zV0_O=Lwd80Q0?ILSi!F1pv~$rjh~VVeamH>{xv_JbgV)9up@ z2;vhdOoGfltWg~=+M#NgAyWS=+P_@QJi9F+W-km(LsRr5N;X%Kg^yT1*U$Js9a zQKI~Q`~gR_v_L`pV?7CRi~deDMN+(IG~&jZ5W@u__EMu!Ha^|+h0r15u(Z-7>%_wD zG5n>lR^!m=Qxd8_Sz1wOr+D%V1AIeeeA}$mcbQm01kV5{ZLUOs!mY7hT!-mcqEMu> zwB3KHCB!=0DyviK?)SDVK>^c`U_XZI$!fLcAm2X=&{l~*-(>fJH!%+@se5!Yocs4< z%u7a2q3F|CXZ2T58dYRl*~zuBoOnfb!|YHE2|9;wB3DAV9Im>*&W=tuRm-l(bUz%z zxH375*o2R!)@ylUfARe-QLdk2>}%#TK{8@z;=_#{mrjj}mk#hB3t{Yo^|83o{$yTX z;&hP;UEAW{Ue?or%d#?fC%1ehM74kvogNdp@_BTAA`sqG*|Z5Vk*Y)Bs`ec>P>mHF z=~exg>B7z~6T-;Gjj`FnKp{c>H{khr*M)8{e~|9iZUzuS=6Wa7Zob0^M1^bOwWzRH zN158RFnvHh@=pe7azt3?My^PwP?Vvo(x7;HkR>A9N(932#ZzDTGb zUr;jB9p5+|q0zlg!|!$x8tTDV_#&@kj)NnvMn3=aa13Lg_VZyk*qt^{O~|*?D|dy9 z6HguUs?h#BAD`=&3gT5W0YMSO>SAz)@UIrzF&U4iT+GE;O3$$zZ1XJhR8E!I)3>9U zx!(}%t$E*Gi{`t8^Ra-sGu`ur@P0QnQxfI(UKfT*Ana8-a&WJ1CwqdY)sqK!qf1gF zX@pl8-aEf~$g-%<$zh1DyHpXIpUe~?*64uRAKVbkj7}!iBRXaqy3M80^@d^B*g-}` zcb;M5DYfJrTfO`QB_$1w#v0{x%6XA7v|ibDEd|BMw;9a@qq2oshK`+$WMJ6uBLjK| zUcFve%<2w4f?3vQ(QL(U)~;j!%G@p{o`NzkT6XiCMa=QV-?YCsEhr0mwRrXEb(U1isPN(@O)UNdjCe31)h)nMqNDPaQ~K5@~H;$ zg_ybbg_fgVv%XA4o}qMZ+jX7P3-_+l=^3&ovE9Lm>(|nkgKGwr3_i%3JUwX72oGG( z&_+7SI;+RZP>;1n)I3zKR9u$eIEE-cJOi=PGVHF$pfty13S?Mc9@~lnk zxlF;st%S<_k2-7`g2k{d8u7qN#aXpC`PrWA_qace{o_BOIEt=rZdq_3ADa!FfmkPz z^V1+Kt2to;vvtNJ97z|`=<`0wzE(=lXTlh`)T2Buuo|Gt%GOVp!w>WjywI zMM0(d^~u+eV=1P&=={NAcfv%WzR zrd{Kh2Vgt0Yo0l!cSnpz!Vf`F91>X4fxvvP z2GkStr>r`ePj1Nu-4f04lB2akOW)x&n-~dH8qM+a408aYrK(EB)ATLtdie-Q=gl)r zeO6j#-H2xXG@7AeK-+-!De{CCjZaPN0fw|$<{y*>eqkkt@-b%SG2s(D)2Nw5_1~s} zLdiMYT&dxA^1d0z{L8iFvtn|s@7PuuNkBD%h;qLzXwans*+ePBap{CpjlN3vjcSX9 zuP|L#K`VwAG{FU!n*SwLzCi??5vAsugyB)SIHH@H<{DvvjNV;IIS5p~!`Y$^#B- z$G|EyCpsoeD4gEbY&{ZRU~J+z!1H_kHkP5iC3nPNHg9@-xL`jG1KpFObWh7ViAbxYH|Eo~5w_ zB=SPYCz;eFet#`eov4L~vxhOh8j)`VDn!sH2)=vZX-~v_Sj)Wbk2J@_0Cx7iO8}Su zQvD`>_f}U}@YSOnCT`)YcpB=7^E^Y#0e^UJ9HwEM37hcnmL|$sO zo_74E2(qZ@^(2<4t|uSh%7=sWsJB(D>x_Y3x?LLa)R^YjXa4_#6tnrQygD~3yhSqd z?FOA19 zquQR0R!nVV_utk*y?UE^K0TbAYvnelxBKnGrmxE1pGK`f;Ps6TRjnj;sC&7_M0g0Id(mz9x(J25&>G=H0fVlsy&z{A-8)BF8pgddO_73R`B%3FoGHN4l za53OAkB)+YO#1Glu3c;ZtJ3DMd7-PO_Meyd%niQ;3iYLZeP^(Gy`YxxC2h4%BeRuH zl)90o`^IoN3v@k+f85fbtj&A*3&0jpR$0FcymYp(=bi7AoJf`X;tG&V4qh)-9}I3i zC9hTnNsyMe_X4S~z5ugRgCaZE=CJDufbvNvi*}fgWweA-OG2tYFX4=?(Bh(a&hQsr zk~(XHBAFuaq>qu2@lz^)Caxfk>6C)-Y+A1}TQ5GEHXvn1Ogx{-ALyhb)=kHBb~YcE zFxFH=J!6{Cxj6c;PW=01S0FcyCr#<`YTEVxB%A68BnHpf_6K9%%0Z5{9IE zewz~o&fC*vjPteQzH1(ztMu43-uoA}GiM1-Mav)0guT~{B;gAC{Zo=hD@Es5zf5Rb zQlb07B0+FEvcSIx12dP~QDo3GFfzRt7J#c8eBG3Zw#N0G%t`L$!aGe=A>r=2&vh!15U) zm$wS{?fJ#{ct3Cg421Itdr*q%-FP~k6;%M*qS|ag!Zw6#h}vk}`6_cZz z`n&=_&USg|vLz8+H`RZlw`3>Wg`?tL*&UD$`|VG0`e!wsQz{O#_4ZNaPa&p960lHG zLZ(=aj@|IAXKgZ3RITyu6Wes85~z4I$F>R}EZ!6a2@NcFPDqXG*!_XVwSh_Ws8!BZ z(D6N|pWLZDM;ZZ44gGmn>m;=wpeVQs+2bz1g5y{vdN9i}s1^WBLzQwel}fy;F%meO z!o{RXxNf+!u~}-+)*=0Yhs=^u(OsaCI-d)Gl#bU#K(F)f>E}whEzjpmOuwJm*)YLq zs@UeBB!J3_&yJfX1~UNM8Cx4m_cEQ&SF|zO+w1ILm5eeS=?PII64~!ViFHDu;O@lHMmP zV_DWNj{6vME3JJ{s*GKP&Xgmka=& zptgRHEo9UdV?H>(25)qX zx!*da0;})2|4ZyXG;er(rph|BNghY-AJ<>6YZwTu6A46>)D$qqwFDk}(wLgmHNNzK z+}IVywr>!P2eE~@byaL`=p{iT@I-;M_B;F~KyT|#iil@v_@(aszghs`rM{+7T}=0Q zc#74p7SS!GO&xpB^reD8u>i!w#WZ?w!Om{vv$xZ;KdG;X9R{tPFFp77jt8xyccVAy zEN(_;0a&PKHH=Y9=QHHjuVTNq6s?_JSw$_RgeJO;?g*YWb?IiIvjKTREXKiP#h z+UaRGUa~E(9G<3D`HqV|hjXz0V?8mdF{{V)fzx#j=#zdeM=Vox8eiZRU8Q%qsEi7ACo$vKD6px&q7iKjh#pKUcfPw;oIQ`+_+LjadwU}vS<{Nj=wFh*+ z6&%C_3XLmI=}M`I=r$@cYGSXfyk_X-uP^seuMhEdlrFs+>K4Gw_ z=C#-^jG7ACZFrvh;D>KqVN3BZ_Mk<`=G9dELdPW*wW2Qkyyk-nNgFGlHL4_HwXvPP zQ_3-mU$4TN=@I=Kiq2=o_iMBUeK6kha4!1(0S!${sW?kp!j~l0k5{l8O1#Jau>ntW zr(aqYOQZ}67!((K{6p6fj{6?pOX}mL{rSz16*FPZAD!|<@1NDLYwH!s>bX_*0z>6k z`8`E@#^H)qBj>_%weouRoa8bnJ!=70_i@tn2b9^;Ml~r!CfTQpeg+hC#HvZ}k8O!Z zs$oM?T}a030}*XFUCYpV`slw0vt6ce)E}#p;BeYew*X01m#qi}7d#*AU|NGFXYK38 z`iwTG%=# z3A^YvQe&aiet>V|_xup}2`51DrRe^CXXPFKIHP_kw~#zOvql4-8>25-2k~L`m0$ECGn*`M>oE++kEcU;X`ZC#@jDLFMm z7DW_f_U51IVgT|h@a{c#WNllu1e{ML$bCVE$u)6`@F*GP+)vqVi^tcYjf zn|~VhXET|u>-yJ811u0rT=|q#CAPI~l?xhK3M(Q5p(EYKNFE=c@}LMH+&*6M&o*`~ z>&SF=UrHSybkbPTwh=g59tdrqe;33x4-~ivNb0dm$AG8D^R}#H?ufC(mak_QkIfD- zFmy2a7DlcL@O{g3GeS^!2c0?AeEVO(+OLhJ%c0ILGAlP+6}@&kV*z=SGE|7TX_4VpThKS)6mM0v^4v zK`e2Af-NF|u(UEcAL$F?&Jc0tV%=^8VrfQSzHga<)_3<`I1G8d{}O3T`K{)NRZka-OuyQt-0X6V+JOveP^?8 zv6o(=O=EW+eFm}$!Omr+CS#?{-S&AK_u!WT%4L}^m_SWX8_d77v0PjF1X(@Nj)n7; zd47_tuHn$ElIvp_A@Fx5KPh5N&UFHBT+YKfusNtDx3A8OUm5i2xwrUw(uUqf6BsT< zX;3Ubvj;?aWT_%4w)Q}g+TTG?k<&TAHu8Vj=|{XEef2ISqD23VB4)DD{D0-8WSor@oqY^_rKz`;>l(Xi z3nU#LoJCN4Th(ynnrZDeKa9#gcV-LCq%}Oyh?VLyf=Qf>W&O)MegqWnO{g{=aM^d) z%Z2p|YZkmz3HxoVv~eX+@iVU#M&id5N(OCSo!WTKavqk)&@>7B6(xIBvWKo#@`nAj zy}tY&M3gz?Z-s(Uizz((z%$G`AlDZLL}IXKXOrjXpOGz*w9pb@CA8?h8@MO9>82xi z7Uj?K>wK=TH)Nl@FQ&Rdv=)=&2AGU#*MIQ9 zKk3gZHNtL-yuBsH+EEzymFv;JFaj~pBiiRBNCy!2xfKhEwyf+gpomX}p{i{kc0BI4 zCRxLhe#eQShG!x=3F|J);40HacWFOIS}`uiIe4>!&$Aa`CW2;KAUN)>?{b4T%8p4Q zci1pb7kS|+J8ZAEVuoV-n*?|CKDcN(Y-zrZr}gVkw#W@VA9_pq9PGsP1E@SodfKp# zrF&BNMXjhhueUp6EC({fJ-zvgiCcB6*l%5ZD7DBXilJJ^?=_X&t>{u9#+0jB)Nq%| z`Nl;g>9FRkeAFE7(l`awE(+{Yi{{hJ=1RnUMU8A(Aw#vhjIvIE0>QUKidQ5$G=z)0 ztyr+r)TPH|qnZH%!RF^-84U_WUhlp9(Ocy*^;rM=+%!n=B5mv$6UZ}HUl=H1D9J}d zEZiuvq{=hdLDL~Z&j#Z4wP?wSS`$wf#sm!B(vc$Ol`}eXYhmv-P549==%EzC728 zRD5kt*zT%4QU%#(h(u!6Z*%+7okIF+GRMZ8Ch9#=Xxf=!(CdTAK8S@%_i7nmjUzqr z^$J>)8ZnIxS53NRH&HLA$AzU&N&v%iZMBClL zU#k#ok9lo#Bh(f2l9r_~2y#G{x$!zCH=de?Q{`-J@A+o2^A^$wvRhsLFq2vRNM*+B zysBE2b5x*y5qLch9^M5-u4`JoDQ3DWKr$0t!21td*+I8p7tcNsFmIiQq|ff=VkxrP zIfBj8V#hm23tS!xnLOBT!V2b_?a(B4Qgez9YOte1P20J3+K-EAOn@Cl!_x!p9+c#JL2<-~(oKy$A`nUu#+NFaHV|5_l`8f0aY!vFR+G_& z7jcj0xtup)&2XxdLpU@fY=4DfU z`91cOZ$!$&v1MGTrA<`+roTohgUo}O+_Oy$kN_{rbJg~t0FM9k>yvXVe&g1_-_4SU z@I+8k5Wv}3#+rj+!u)53I7=PB>z7shGVL|VOXOm4EG@Bjcd4Em6f4fbGmlzyD`aU_ z0e07Uhao_WgSL9Zys-Kp7-H6jb1v1} zy1|AOx1a7N6BawSFT?5bfr86!wHnHmh!-J%m<{v>N|Kmy**5-(^mH;9^_?o-q<3{M zc+?cr`K+O2?{qx=6K53_YgKcb!GlEK_eRL+(UH;FN7wRHcu{Lk&YLiYg8o4RKJn43 z!sJsq;XCSUO13eacew4`%wCo=c%@YgH<1**iGcH zv9d7%I2&~#<4?JCiId6P){lc9mM$G(Ua_uw=Ui~n&PErMNc$JnFylAU*8`7e2ll=S zE7i}0kEC&mpJUGcY!kCFT(tIvJ#0L#Z~xw4ajQ;k8mY#L>|~uDc!TVCg=zNgh#8$p zY1ThrzxaHq6=u&-4>u-PT`#~-imqY^iG2hJI9$ix0Cv1HQy$MEVXNkN4IR=iU8a+H2mzwckqFjVjcKXh?Fck_+Pg-iBNX8r!tQj+1iG^UwL9-} zj0}*Z(k#mj0I`Ct+X(Lzb}E_nga2wAvngLvu{pIASvB}+rZwm&fBX?|q0LwhIji?J z{MRrY#)!*}BgK{5^%*GHmCztxeHpNfsgdtqTw$(bj0(0uokdt!b`Kg(M2-6C%w>uW zXw50m<8oW z<)UEeV`QT)pWC|6DsIJLV|7aIQs(6O@XP70U-#&^@~Jc19mkpcUwy=niw;esxRYdg zS(O!YJHcii$H1UcOe`14gt1kvm~Nn~iH}IgbG4F2gh^aO_#>PsnI|f;$g2w{E0Did z-<>7mHzFSMLnbXFL&&}<{tXw&86z%P=L?7TN?UV`M}@$m@M^P|xjMpxz=Ud*Vgo0JdL*4u9>|#OvK6*vqC@u!}SUB$D@L##QddoVP{C)oQW?zJZ zIuB1~zAr`So2~;XwOYo_@Axp^uo7(UKznV(qMqzWUW~vkfK`0d zJxFz19-RPcU=)>4LNle`Cs$>vWH{yr#U37^He|3TGv|rS%!;6)u#Z(_3gOC7mmC1> zvyt+I5ftiO5XDx+d22NJ$pBOvGhv@vlKR|RS6_)i!Y^ZM`(3MatH4uw%2Xm}8;svt z#fmM$?z^o5WQDxM@irtliAx=0cq9fOlaE1)H`5v9d??>bpD#db(PPvkgM8^BT5y6g zN_hQxzklcIs@hK{j+-e2X?}LncgpAMS$xR=oCbHMzJ&|E|4osJ^9XBXv!|xFv>&N!?1Afw9&Fk!nR;pwtfFzouWl{rc!q zVzr|Glg;GmbQeOL8)H~0OUK2U&s;;tqZO>6Zo@t1$G1Y>cc&dMnWvdkK>{j&E3hB# zc=Ld^YT-V^fJZM-Qmr%PaHX1BrgiMpKt)YvUC+f?M(};UPg3GAU*g{rYto9x6Vk_0 zo{yfAlK2O3qaV26HUsaMWzt0lIex?Pqn;i+zfoTEF1nFB8)0X_sYR@#F(GK zhgUi&6x(PPdARGucPnappqm263KZNm@V0D0lBB)QOx=4OhEp<#ZrD5t)hSU4D?~vthSjQRjefyaCrxA#Zud3S(D*VFkvft(Rs*ra}<3smTfZL_uiU2z}0wP#S9c0Y(Rhey!q~tYnJCwslLuYjoox zeq3$6*jZ?H5LGjz-|8R#3h>z#Pb_+n{G;vWtzI|NcchcPKc=ZRxb4N+ODe9=rR;q^ce_Wdh>iX*%Vl2-0d4S3w)ox>9PNbn~>O|+iN>JQf(L1 za*9QgF=Z<6+htFGV3!5!MS1VUfH7(LM8X4pe0Rc&JP zKJFyPrA$|Nidc%mDps+Bp$3v?0~mm9Rm6VhR>hd6@|7O*Ef%(hxLSgKZqKacMfnrb z?O;bcuZ39 z7yg?%DW$u=+#B|Y8ugwCY4E%I=_CG9wtv^6fIT)k#EjpN^W~1wR)-B_F?kYod?twx zR)pFtkRN!TX`{rWLDKkJ3TzRyOjq$!r*PuRpNOEnQ zqMqWj-cuiv{OUtFtp*osk%rzUAc~tGG<^zt7eemMWsp~dLzA+aT-?_ajd3HjneI7n z&&A^_A4*_v%oLqDeFZNC-lCkmnr-PfBSj)f&eHR}2cXGXx__6eVd%HOzCg~-7=~+y zi7LH7u>C|ILjNac6e4kW~7u~QpGab?}<(WXfA_Cm;PE_qe3?t-CYW>8iu9s z!<2Z`$lKmNy2~bfI9o2*$<+A`&O~ph`|?>e?2A1Bf8<^AqOP^v?L^4=$TvH{&U>YImIF<9x^+d+%I_)Ej&Rc+S9o0G}CO)rRK&hlmV)lD-!I?eX*8bah1p-mJ_+9ohQ;?eLH(-yv9RB$ZQ#s z%g2W$TwDTsALGztqI`KQuz{_f1^eV7Ro4VM@LVMLE5n+&(hcG;<9pGL<>1S3sA{d; zh6x8@ovv944HK`2L)M=;>;}%zR&Tw_Mm9Rl-Jlz1U@e6iGt}h#Oc31S2;@9^NI~*M zP5^X%IKo-PuUDu;7gXDg&W{ncyxIcy^Uk}c)jLYS&a$GbN~N95RD{o77!!n*RC?#%>))NU{2ElU#T=tcV>l-*b5boH!178Yo~(Gzm_8VM)&Yck^kYXN$HHbc zgN%q=@=h-5(tJuomdKV*Ik>#q)`}n5qU3lN+y>_RmK8mbA7YbT2Kclys0eK$X^aR_ z{UH)X?xJhv#qCMRu&B6u{O*;N8 zCB+u0ZUZ-~pI6WNGaq*oW4nGWYpgM-kin^z+p?UsWhX++CT$CC;R?m=@}N^iKU`&g zUVcRb7k^)HeBW8Fe4|&KS=3I|rtAO;RBFV;FS@-V4TNtUp>=;XPzh+Z*_m`ICYt7E zSf_1q%3>469VBrWdK99!JbRrsH1mm;&IRRlsB1d65K8wU-z)Tbsy}5zD0ouZBtY|u zM|reK6FKk^Llm}Qjmp3#EPJ%OSl6%q7>oG*ujJ4*Dx>A}B+|!B3xZ5I)z;3WD_34i z>U#S%FY7+0wn^vYkZ{&_jpj9aq92q5^=UgTv0rcRC!Z^<7GsK;kLhyt=$<<|BH#21 z$S40(|FqdU>Iy4M*%(>V2!jzQ-FeqE}fqr_W^ zB1vJK)DpcM=Q8E?b>;WhZ%x8@Gwf%7@hB?|SVK)49Ml?xnJc!m;F{)pJiY9N5}^sg zAEq9$<7BerwEZdKe!`JNH=RbvlqK_|C6g6|r)+;$fLo&;NQ~(3C)JuuzT&-F@)Puq zL-vm-iRE?7xm-tuP?M?cn)PZ5)3i$3SIqfp$SszPz5SGaeA+2$Oe>ncYJV!&ezs4j zGW=7J>-RgS$vz!J9zOZBYe9Dmbe20cMXn6%3m_ZGzezS}@8#(i+kn(sRKV=57)HL0 zcTVoR_MS(P+B`@mX}|i;*wbKOkVK^>2zMQoh)zckQFXc2&KEzGtufnCmn%mzczL1T z9(S!P@xGB7!Q#*suUi2&hpvAT&H!8zE~7z4_XiFd`0>!cCM!Za=eu zi>((|-suvkckcp}=|dk_(ok#u8Js=ME_B0d!L>QHixMLFgNHH*bdbx<%!aR*^u6Qjaw??dHN+a5g~R%KwRZLR#D|-m zJoMw)xU*QvvDM==@1(w+58SRH)B5y8;_4Q zKZ-rlx|3uc3x^=)+oMvo4ob$N2{$Ac-ihL1s`V$s+ch^5l3iAtbRUvv8fHd!r=NB2 zM!rrqNRn31iX5Lcu_fE9(ZhMY7;&C~w|~NKw^Vh{b#At+=^9TKpA##vCRFG2r&nm? z@-3?z;Dxm^oBt)klv+;6j7{y+GF7xg9&rd?k^Uun@YyyI5$xIW>3$#A-3FFO8_wdJ zFIYD;-ei9FP2 zMeALWpvS&c96MSir-Z+PdU6lp12hg1>^%JP97HOEqe@)ll9hZzOPmE_hRnpK%e-=yz7Vb>foi=x;fZwF;ll+4ieX_fn5o4wWmeHU$&nuXa2Y@Ty0q^7?X z@F7_zDuG}viCy8kTUN!zBLM|E`~4$^6CGkc%@yh&G4sNAq=Hiuv~_DsK0PVF9$EF2 z=SbKasvpm)xLxDSF_fPT!ut!|2A}*YuIYLoc{Vwr`bH9G4AsVl&j0R)7=QTuq$Gg$ z{4NSbo!DXiGL^hF;$FtS-*shgJ$9lzi@=yRZe;F6TmXf$KNYrSf3|QK(aS%YgW{yf zK@W_u^H~XAa?O8N7CD+Qass)_YbgeF=$AOza_K>gl392+!tL*Bp!*SnuF2(V#MfX; zkZ}N~0k6mg^fAO!iJ9wf@}au0!a#_}Sx@g%k2&17a)XX4^vjI?dwtWmp9N`D&9%%~ zO4scP)ujc&t6^e+gQ%jU6u<44+{a?2SD!3Vty2_!&y;iMyxeAEerJCD3{D%XtJE%m zuWDys8+CxP-V^b33_i!v~4R=bmHYqv23#La8h zFBAYa!Y3rqAQ8a{cmebTfNBIA}$4x>;w)irI>rVs9^{5VZI$Ku5D>b1H$e4nGS5Xgc^UWYt`xX9>9 zp4*DaX(g(AH-SX8RX=Q9vaP&D8p#FfNeib*or^?Tual+d^&$Qr3>B8IvBe5#Woab3 z_GNVz!F|FavdDNhNxhckO+S}rXrwUFg>F{$<4l_$>|;zZ^zL8k?SIq}6Ku@XWS{h} zXBSl<&{4riJ!TR9R-ff!zp~z(+6~p&$+mJlc!IDI;b?wJ{l5$Hg+~ z4Nl`$V+3Q3?|^WO>>aP1c5Gelx$Y_}JP8amO*pSsE>Am#SZc<^JppX6HNlK8T(|$K z6=$grYjXe5KS09H0`w*{0R6>lCtDF*Y5k#Xesf!#&vefnt|LnGZ+s>J+G|oY|TC9gDUqFTYWx(3Y zem~e3y!u-ml+q%}u&*8^KIZT%@ z*@}LCFB8ope_5NX?pF299&jL$qqU$#NIkf3gj)|70%f`gF6oJ-LcNOvKoV;kRCN|&F+ z6t7qJa&}pW;$&|WH!ejnM$H!t7^zu(9H8QBuuZ-B9$ywA;=z1ymrxNE+!U6ZTvf&w zi;t`b;i7q@`d#I*l1s^7^O?u#+;`SNf3JEb3`lo%8J});_lc^I+9{GdG${2Z)rle& zOQ_iOX(hIyqpF|J|1w()PP3*LDA#*<2aF+ih!8g)oH=s+SxMC8P3(YV-;VHA(O;y2 z+CEY_S08S$u1Shpn~|SZJ|S{=k)qIXbc&En@l`SM)}r(1&SqM@!h7q5U(K|93Oa|* z%vD6elH-a(+7KZrP-6(wmA7=c23@Y&%UBmL6zakRe6uzBj!uQzLDKdfHEhnN-pT=!-pM2*vf zrkzlyDY8Bqps4I`p)QVM79oQcnie5xb<;=2SBts?!nV~1oA81&N-7tTHB5`j;L*)px-`y)^`4*MbBFxls#B(xTDfk$;vM6xVUs5CX2OlFsP)? zdFR6KFCs+A?{8Y4$*k4k(SzBvWEUdRfIt4fItixx8J@%&eoYDN&D2#+U^4ZZ51f~s zwc0l}pS5y&?)O*8D&!%IH=W%$D<5PNSdw+iXU5NIGVEq^nJv5o6B?E&J^qH~VJ^6y z$CFD+oI~>&95At~RO9^9BL>mF+9V9`sM3FWM=NDk{l`})=W+zQV7MXTj^aJMkLmfH3TVa+JSo>`L#?d z+u;?s3{3*J-09jQaNo%W-2F-{sI;KM&T^ z#}_W!Gc_YX1poSG9Yos#cJBa(WDt`jEKZfJC1W5FOzoOaG-v zQ9%n^He*6B5aAb+DcC*ZuaAL@;8DaF+pUS{7=t3s6%ffgj^4cpitWQx>LcyKFYVWu zX8slVD=IX)4Z$g$O)2fK7z)l|$kH7IKOE}a2s-fupp8)>yE*vpsoG^g9>V`M`vQos zI8R{i=1~|gY3RdG(ZB!Mn*NBPdx<`LMhlP*-`Dpo=e~b?AGh|;n+=M~1gqCl4ERkH ztKrKx)q~TPhIPoT)av@7>+;I015INOG`fz#sN+vY4l-B;H)?>*9*;_ZVG9mi_gd5% zgUE$^f@4CYgLS1w0b;@rUw;p5gLoqkYN$Dl33IUcRsF!$gM67ZE0W#R5>Ez_)NZnv zNlkb(|IVuOA&rv1`TODYAJMen4I z2}QY~m`};D4=c(AV|K-k(nCXi^N(u8jjjOS-9?MDE;;YWjqxy&NN=aiH|!QwsL6gW z2(b&b_)ski)tI?L)zG(_@uB*<^#`YKpq7iIfgnqEt{0SM1O^(in+tLG>N7tzO^I#1 zeM*$Z#-{m}oJ%(`X`!Drgg?vurgzhLm-S#;KrqDj_JcIv1kmpDKVR&J(=MQV9*nn% z7*gd#@}QL4<%+;d28KUwY`$`5`=vRCbQLhuM}aW@ggyn1cx)`Szz)Vtp(gcK3WlK` zfbon1w<6$iYrfXV5L^QzHBrZ?6OFy1c(9cR|>o>RHqXT7jV~ddA79p5K z8{;O2Ab;VK*Z5s@Ir2m5NsEwI8jZx=C6t_mlJJ|l&(bk}WMkh5Z3||SXWQsgeYBUS zP8dA!i5H)Vv5-~8%$z7wr*fw8UO1Bdlr~JsT+I0GgHW=oqKfX)g7lq=ihm1fXxA#{ zmdVO)kV@{@o2&R*KMjX1J&AA zdUEUM7ir(G7iNTSO0~J$WH1U{ng8$c%|gDKwKm(3$$L`dg0#wEEMG2GQ2(brVGK|3 z&vp4dKdXr|J0NSO`^fuabCu<-V|~gi)yhtnzW2&@_ysAxaY0O6yc|20cr_0yO6hvv zLoZsoV0G0s*sv)CL~CO^SH=8swF?Vwmr{=QpGNa)$A{2TdcX%&&RhRIHt-erT`{~( z4EHGyU-K=JYTh{I3m$KHd)}9C++6v{h*3^nh*fjy`Vw{DTthmno+8cF7MPkuYnRQ> z)UOL}R{wHd)-mK+xp-~Y`?NbU9qloyf^={KUjhmnxR;W^m8;mimIXqOxZA&B=Z zOG}H3j66)}?cJBunaejHm>c6IVw}(FK3NPJ4vLRwOAddZ4r-2kY1Q;r*L*^bC1+6g z+UoNhpL69E_8IJW;=1;|fAASy?}MmmQutK38wA-)a@=@V zDZKuB^ju(i{CM7wTy?|l#lv#$(H;SE-*DRK`?nBu%vPLPwn;slx#p3%VOf0KP8in% zBvWS!OlG%PUe&a@$cR2a!Gxj@JVF0M$9(ixy10=l6%E8wF&?=*KD3#0$oZA{nVF8=H!J_fgo!2i#QNne?9|M- z@y~9uRC4Mi$0~nd4vZO(*XmujH z(q}v}eWdOES*9X;R3-Xq^yII4r>Qr`!UXq-*M<8>_a&UZCm$lKm9Ix`i)-Pod;7?{ z$m`2fDe!gAs-yYHgp#?8ueZr5mh{jGw(@+>;MV#?+@{|Wt&96~V^O%`32ce?6mDzv zvENHq=5bu~rBa|$d4rd<7QXwrl-mZ`cg20)i}q)t!x@Oy2F_bIWE<6MYabLm`wVrRtF2J_3CQDT z?#C=L-SRER3oCx1zT`7<>9xm%RJ5svgkK!W^WFowiM|pOXI7!Bid6F)l<0wa_s(+R zg(T;Pcn=C*5Fj$MOx!~z!r1I^N`hie%|GU6_AGaiQvVR{?&XrpvaDz|q|lVDrS&kC zP*36=g;Y1IAP-jmzD^Mv?jO0NR0FP{oQ>PGlrMs*6Tgo%e%?LtCe*s-o6C)R@`zBF z?M1Hb=Sqzqi79zX8Y01rGurQOgb4(xQA+*EG86AtW5_6XdC?ThEngx$Lzg8#Q9<1{ zYd$m3l(k(wRhMEJk~Vs^ouB*ut9yr`qfqQC)vRR_bc_qOOH%u zBqECwiSY1m^iv4W*S*Dy>zF|sD26WQ8MMYk|M@TpmPjm}z(AAB+4 z-+T#kQ+}>lVT^D|i-=Kzk*HxKi&A{Kjk>8u%=6-}R+Xn4|@Gzd4` z<4o&X&(im<(PVO}ZXaqG*ripkHDoisZ2H+cDw?Tn3V6M>#RsoEpA1Fnno$wly;L@C z>GqMkGMT*GfPT>I$D=+DM`9~M-8_E0x8dgOR(;$@1#g%QD48D}a@Vq;lr5h1I^-x{ zSE5WrT7*nngs7QM@;|RYBN5&sUA;m%;Rs`}i!EEqc~QME|{LT}jR`h-+P8dUyxrUe?^q zG2{RESN8Tjs-+zN?y0rK)E$mr{iP*SYo1iyJ#KX0U}IbvDn!SiKe@ z%(a6@RpD$nPG?$jr=sLJZ;`pjpWi17vh0GU+t(#R+_mR;|1p{l|Xz8_NktxpmNj->jNUEv3t*Xk{v~ouxr6%UNEM?0E?Yxq4H$#S6b$CQH;h{RH0$HnSJV;tht`zxuT266oezB}H?}h4WOq1(U1s=w zIcwHQ_8X63d zIe;3j^-$d-eQ!3n6O>5z7=T$dxy)QIOeJNrIwfLE^8=`9LMk5T^wjxk!k?Bi<7J6C zag-R*ncT9H7f#^tNHj8vLB@Z zlBhl%G=jzs>-iwJihhcScceT%{0XfHM^b(wv_wMhnbJtZ8Gj$ zZ|nED)3$vKM_-J+{~s=KW9@9luLNY6^4|S5dMnN(>RlNt z{~fE8WPsHBssRIAgQcsnMNYPY^p4c2DIJbi<7rQJS^l++O&w}N_+18U06q*u9^_1m zbY%B|G@S9e3>ovSDJF1tjXHe~ZoGyYws`&X;HEeNDWzkJ-!^SP>li^oT|u%7>96{? zE)!XN>l&(e@E&bdlyL{1s@KMLRfY56RItARc;h9oWoC3dJEQY||LbiBl9B@va~oS8 z6gR%xDQ=luZ4M3Z-PVA@UT#FXISlX*{s;}#9)K{FSuT3{+szoa+r^NJCkLGbtg6u> zR{IzR2}Ycass6M@Y1%O%W)<((jOO!y2V6mLFWje_$!Az(EtG&o^@mBiIpD`j$}+PS z55Fi4ii=G7-B;>h#gTY7{VnF=>LySE#4z%a%!mel^;*-mTM0fI8b0<&AeKmgBD0L# zg0j$IiA!f%geDYCaRRq4`MQKLg`fp%Z}gSSaZVnT!(o@=OQS6G&{?T=uJdK^bv*#H zQwhfm-8BnWR)n#Y>XuZTY#?DPz$j6vvRj0<_LUF73$UOH{7AR6y;k~40+mnhViafN zj{%xGdg!XvyN6$LxtNeEt^?yn&hd<&qrXF7b+R4ly4+k6e7bpU^G%w)uJ_3Pv{#PV zT$YPxARfIdV31Lwu^8W8oj-)+SG*>*B(DyLk4WSkhH>vCNzd{>OLj?rov`w?Qms}q zjrcmIf{B8M+Fs;B`)~UCD6t(7CgF77i0UFA0MZzHFMG_!J^jF=Eqkz^co2B}!l zZej^~i`4YtqtAd36-!%-uL7mB5t1O#?Ses%|B!6Bv8f zMCc@(x5MzrD@APkR0~3`E06bkfwk^OisV~{N*zML@;7_y%1blqIxP|w3>wS=&7^I3 zpEh9oY2BB|>cMk%-|D$qKtbLC6f@W9QW;pa2AiS;J<|uKyH5KUJqFBnf%N0VW7hWo z{5#6or;flidx%iBwzyXJL5AMb)SunMEho#*G*%12*Y~#gh#%xplusQ$#<&AK=8e;e zr=M8>K*GN0*Vcf8p=+gPsbCChNT+h0P=_v4^1h6iCildZJheoYJEU&KaBZY=NAmW! z^J7W&X%OOPg5t9KD|}fK&uyT(d8}OvwP;lFp!FS&WL7JLH^%=L+=UgdS2O#L$-PW$ zA*+3cF^p~5hBDF3gO9MH4>HP+xd*g9joblvOGLqI<)E|`3@)!u#L@zeHh0_UPEiZo zlW+S82tOq=?~4#&JaxVTRHBVmH^&t!$9S@9dUfi&2^~^$>}d>8h$3U;=6=B80+01b zWM|F7Ups$wmt!H>_J6qm0HD0QOM{plwkn*Us!lW4={m6r+(aBq>EBa(<(@6!)+46$ z)Cl9d4pQW--`^vdggA2pi3v@-dw;}DuVL(^>C_udaC{-R<04wZq_cYckMo`!zqq)!51%c++y=X6|XVX~QsB9h8(X$ZIGUI`Lkp=w1>t zz|-fRo&<(L{%snK8)z0rv&o9QAFb}+X9)k}93MZq-iT`BnCg!~4>7j+g@ zAaUeN6NY~~(?W9x3%y;M58gUrPwznrFr~|GE-qQ3PV{3Cj>npXH!{vuv$t|lvbzrY z4W;rrfUmq5)LCC=x{wTtlbs#W4}yt&mULe%v)p|B-z&(*D516!d9jGDD`rb8@_$z4 zuAZ&Q4TL8Wh+PS4+lgkVNcCA+Vm+P!Ah5rOoDTs2um84Rpoy&DW9{?%(FvbgNNU(~@3e5PPiud}o1+giee{wDyv|_#^ z|ADRJ*$>QFKMHoAUvuh{UEBqyt*#;OIV@FMaW`6P4ih>kHwvf{*Ec%!VSJs>qaw!e z$B)?z-uCw6%N2|i@{ZqUi1!AbhJ2x8A>OB9=JFd0bw)IzQKEN>h0&# z9~94h7L7`o@Ni7d#Bp^UbIGA0iX4$)H)Frx2l0SRMR@8pZ=n=xx5G(x*#U`ejU8Z1S~wh+jzqQir4RZ{KE`YN72zY_&vr~nu!q^gdBUr0Uso8FId`t)|oJ+W(6 z7pEC7#hj8Ady`%7CD^f4eksOEWRa&(#dP2>SegkhiN``R2ZWO+h|ebvg|}0&a<5GR zO+$Fc2@x#4c(~iLEx6ebdy$@jA65vbfi%0UCJy$Kfa*-dN-pBN*w3US0weDW!{VsX`_>|thvPTLWD7T;5upK_is6LF? zLs6XRC592Da%`Y)Crhdc7J-6U^$N!Ym6gDqTTPLfwMqP(vd~9qbRc9DNXTn@m1&ti zv}U6SY$5b-IDpl)X5eHtzARUOH`L=~STYn-G^nQ;Do^~jLw@yxFNqSH1)d-ZP1yjH zSaGyf+2g|#72tv;T01D06L{}@Yj0QV*K4_aLukz^&5=;&PAm?EfuWu*9yNA5mJ6Ln>g#oR?0OBG6lO zlcOkE5T|t*!yb!DP5@ILaq@h5h7n$#F)NZnG?K)4uYEnq*qd18$mCL)8^IIcl4Gt`)M?M*>knI%Ra-xXk9@1*pYCXB zu4f}D5VK5HYFh&!I(QWo^ad=pt&mCMoslyR)EQ;*rbbU3ziLjkgYqA|5(#VBy`w6W zG%E(As|&UYN>z?yJ2uPm1b=U)a@8Op5d1w|Y%N}DK)VjI0B(Voj?a|e(GpKRFx;=S ze?ap|>Y&~whI_sBP^Vw~iVM%^&F!`?vfr~@YDL6y*j8(26bHrEjSs^}1d}9X7+e(U zldeb7jKYyOOiO@?^M=O?6u@1@%{w93P4jM|OSweS>)nPENRh~P(7>}WOp)b5&2-q8 zly_nJ6nJu<2!vhKhU!o0tI}gzC=lURcT39WvtWqXF89YTR#-2DF?)sMYsVUJfJ&!! zG}eU#FyDoTU$4c&91nco`TaV0sdYcXtaBRAIlfX1QjmG=Uz4bjMzuARX$=nQJ52vxHksehlyjO_Baja>x*-ydy|pE;H=K zU3|Ovn-`JT4%)?Jvs1W>GE>Fz!+EGhkU23!A-n$H6ZeS%1xMzflfD{0wna*bmp~JD z3X1Ypr4p9LG>~H4953r)uC^4XZ+;3UEJ=D^kViyPXBs;_?~wc!Wb5dBSsT+m}%m(5b;^SjrS`_GxA=jad-$BkOsB#nLM~UL8KBZ(GEC)!#k7GbI+o-|qQOKKYlWu=VuiLTYe9 z<}#$#SFJr3N~m#KxQkwsS)`2DP2S10hM>SH9qG*503Mx;iXSuAyGbLvp>0En(Z8bP;O|ccfft8-@BK=1GXYN`S<}fI6KLV)0k!=oW4QBL-3UD(6fb! zmjGi=&l`Y(!dDg?mJ_WIIqJ#c>B#_}Vi>{_L2gAo34c#cbb_rn6Ld$wsQriGp*hl? z90MWHsboOmHm@30d+{jy&t@QGhu>Vwv?Z-jOR~Q?GMT)MDc=LV!5u@iK)nLDGl`_S zvsN|~dp()03Y<|S7|NY3Xw`;^P9k0}}$;D;>bQ#bQe%fju!Ilo^<>*&9(FzMN z(1`&NauB9;4R8g&cnk28^aDOq@hIGJMq~OF#TX0^s;MDQ z5aJ=TUXsvmK*3Om@ym8gNRl}!!Gv?nXdKCII&E&~<7c5?|K!6$%nRA;4Jpg(jN`sD z=pSDiw1A(X)X?+kmd~2z0R~+Ga`_n3;~#aD8{R-2RR6B06DBjuhJt1vhLtDze{+KN z2Sp{WIB$)$LDm%CX99c;vMeJ#y($+QUn<u4f|Nf-%?loYwtWlJ zvc#u2&h*dm4#Kb~b8Se%@qK0@Kwln~0jo5awo@?@t+3^bId)`bg3Y5(_-jdCHQe^% zHTV8ryF{A%u(neq5(g+$n5=0ne03Yfl^I_G*(b&(AI^OB+ROfB0i4cr;oXrHOIl8p zb>Os=CfzMI!zHJAG9~=iG?bkE14bg5H3COr$^F|h2B-fNhVEmC0bCoG!Y-FC>)5sc zZME>XNrO1TUsi1gFm%+77YOt zzntKSYB(7mSaEXB@yhXIyhb;nF^Xe;5(fkSc+ZLMxav(%MT5)xh0A1Vd}jDPsU^Id z0)$LtC*UFSBIFTJO$l>XxDaY9>$f~KcgcCqe_*&(axQm4qFb_gsm=AYDA_7*I7|HF zFq}@c(c?S%vY>{+MvHkUYCZOB7AA7dqVcw8$<*F^Ebo|Plw>z)o|1OI@5(bHrBH0X z;!RolBzO8HCSI9Nl1oUpiM8RzU)}dcZkjR;Tq`N0K;BvVg$aAUvwM<`Fx&JNyZ+=!q)$xi5=R8FerDbH2C&KIbv&{2u5r6@6o=adV8C!@OH1J~sliR9UshD+ z5yuI6U$O#HOgY3q1`jTCK z4$M@FJq+*UOfp-pW`8r>BEg3JWIGohg;}nb)S!u!bM47pQ_jrjadQj?j+mw2W{ZD( ztMAZvmI)42IDIFYDa3a=m%{uPQz@U|ZRE@86Na*}T>oOA4`%+8B?v=rjhf;*?y7)u zHCD4d4ThytW;l43=E}VO{U$E$wQgeYz;hw>pI*$us}^3pG_MkuC752k#k6x&Bq301 zqC_pPbo-iWx=ysuYj%0KaXuH>g9cptOOKwvLCDEr0Ek9KJ_Md2h3+3{>ZMi?mtX94 zPen>#p#&eC!2OzI)V{@J9e?)}q5Pamos|1*{3(>CvQdS>!&zSmX z$G0c(1Y`_cleV>v>xwHFm~evmK`bIYsSm5TI_b~gM|@if6UESwK5pj>EUuPc9Q1oXU6hn7)+(Zw72b9oQ@cfX zj4iVv_JuZ`yFEVL`6q{5pmYyRwlX`z39=!fFeCmkxln2{%Me4k&k;@KZD-~DMXw;1 zj^?_iE>jryJfMojzB2`8mvP4B_kVn=G~}z8Q>-IS(6~-Y(F`2H7GJ9+bGFCofA*}U z*AxJlD?UXR)ylSods#}>TXsAM zkhk;97$W-c9uY=c83!5iThqC!;TYdUgkNv+-3YZj6Xe8~RDl7e3FYm}Ag|G^P-z7S zUBec8fM$ng#AI;#Vs4Tm&HO_RHX__Yo7o83s&+D>?TrJ3_0zd3xTGx6X#la(%bz>5@nNB za(@saH6HOGkp=nM%oz6T5rk%h2LLaog%S0(%*cAmjl4-RcM5dx4>$kva3F~tdf$zt zRw}*qBy96g$6GGKv|H?5cmC6w&M}KIrxhU>4aGTD44E7=gWc#s=7`cEQtUDq@#4+YjWZ{5FMNENY!-@iT9y-K!Z-A%N%91R$en4A+mC&F z{wEH{4A;OXp1^3}gGSAucR+2X6*N8LW;Rs4+tsd~Efx5dlHAVh1BHLYVCKNr5y@|@ zcC!rsl+ZUe?-uKYlC6k)ESjIc&OGT88V>TyKE<4COSk@CVeigkEu?o7MK62V zi}{hDl?*dB-{nQ{_xF2BJxLQvcYT~(=d5ta$X)1LCgmPUU9z73m1V~Ezz)q%B24h{ zE_o)`y!~uLvbUonuG~w8efCH(`+VE#!h2r#o#3;lwSyZZivMLaLvZZ>yL2kM$mP^x z+QAhUuPlk%3qVfP|0gwTd0-Ex6rb(Xn@a(Y&=VEMt5|a(l8CJX0RGN3mVEzt;hV_z zZ$?G%e`Qq4W;!(Zlft2_kT1$k?m`>bqJ$eu$5S<3Z22ytr0VhS#>F=iUjAH)f-REK zvR?eRpQAMzclm&$OdD$6Ck>8b+7w4c3AfZ^#g`yUtQYOTUfBIPQw+)os$2e(jTy4op~ zw+&7Q6|5$C*315gDL$;3^FNtBT$FZnTB3QYr>zyPOK?r)s^V$> zzI+L$@8%w+iA1!O)~?op%c+xu%S?6YC;fXr?-CAYigfdTIGmV3s9+GKWk8e|uC!+@ zG730AtR0`_HhV}k`+E?x0`)ZLT_Q2v2n4eSnclTtB72GY;o5x$8!2C(Fguonnu@07&BUzO*BdjbTs9v4Y!8Th55-@ zOGe0>5_^JV)=pY_H~wDa&E7rx!1juDJ?Go*o!#GUj6U%PGV1{{pPZ}~|7l$hsAj?s znpI`v<9jwSG12q*At^Z)_7gm|+S3!>JK0ryzfVsmpeJu?0#)b2wKw)3X?5$9FVW)S z$;z@~$5a7z`jfV*YQEV!cio_%)(J0;=0A8wwdQI;HvYYFG_p82Z22izJ%-n0)5^+9 zOZDXBuuF=I%bB=s{;-B_Y&h;89#Xr}h{$5$9a21P-dZU;`~hf*uAUxc+hc=UA1|&X zw0n^e6I1SB|6ji;EaZrbiOJ_wN#J3=7WV!go0ODE&gFj&4sa>q>2u-fZ(&!;e1QC> zu;f*CcJ@}moJ@M8!iiCIo7gtF%GwiS&fP|%BW=PkccZIm_MZCDe;!4LrdYjrU4@YSz%2AGB-Fx1f4 z1k11j;R}xVP+Tb`jIr)C?z@BRjxbc)n_WRlI12NC< zvbP@n%)uFF!y`|62Cud@NOc#(Zs5Ut3kz!E4>5rYw=l3__K%NC%gcH4;ex`MFvR=$ zmDwwoZ(h^R$p`n_3YN-=J=jbWqe!pHqfjXI{@Cxb9fmMxwHzKxe+ms=MW+07clN<( zj@nmkPpBNvT!ATg8Ua6`wz#fE`iny0F{IkX!m3-2(IoIT3|B$Nfj_m#MLM8Ol zk{rn71)HB@5oW4lEjx3V-_Bgywfy+;qtjAXhmO7l$cAv6P+ z?lU(rQN_l_J_JB8?wb$iv2}OU_(--S@3m{upiFcoF$xT~O90Ie*LlvGQ&D51ftVbW zXxDiK1%Enato-wTmIb9ljQiJSc4A75w4a)lRVbnXWEzH!EY!2=))=Gvoi7apS}n}} zPa9*ld!Nzuvflctov=+%)LMZ1)QgvpUKU1*rI_iT*#T^L9&vF)Cg0_0S13ad%+4BD zzw%!l`k)XV9^P9FZ%iLtM?%N2aqdyh!U)IrR{A&5gDHibIFhJ5Ft5c;hYLP^stePi z{30UPndryD`wU`YVnw0P2#xfZ9nFxCka7RNP@1Cmn0N#iS z;je-^P)VhOZL}gZ7q59}b^@dkayM+$KIJTFAG}~sX4nq5KhOUhP2;Ntd#y2yQL8g` z!^ZxQUw0IlFL>3c-@A8>m6g@&B&v$Q>$UFfL=dGr*-Ng^@*B;eA zbclwHCk?aeiai=08^`fUZmhA=5?P{PKKIxu=>*NmYj#d7Tvb&GfzzWR!Kq|mWW;^C zZi(`aw6V3V0Nlcmw6WEviCGwr6ek%zQuTE5w1t4f#$TA&^{vRGAD`vGR;xndutXyx zE*z!zvj+={OkPb<&fsQi{i>Vo?dO<25w0m1b7}PY`adQEY0H6sPme0U!B_DmIL#ya z0j>xVv!-vM>RZba}I_F-P`ZqH0gCifu_k;jK^JY)r{{^=#;}Fneq_YK z$DW3--|*9$HTLs98q8I+;40z=&hN{Cmvc`}PEHKdXT~;9(u1YR^-J>FXfEG}*Pi5f zviT2TulAWVG*k(Mu!*aP@Dc1r&pBW>isSmxoQfrB`Ji+8 zo{t^t*Xebjc&JY)rRR#D;bI%ZLT-tZ{^`OK3Vr2ufc&rl>>81&+VMU(y2@1&S$tQA zXo|GDSzx*q;ii-b+}aIJVdp6xb%;@*YmQnTJJo~r_4P?m$@PSCW6mZ&nEL6FnjH=j zBBFwU0aXSl1~%6DFfWCL;lxxmUJbKlyH5(sLWId$2?s}4R~G`oYvYWDGZc)B8o<0M zg8gG)i{lJ)pge`|0V_tBodEmi?$E9n6%{0=(wLZr;KD>qKAP7!)y3UYAr{J6B!vP20fgXJuK~+!9}g;`E$}h0GaLmD1zap z|GS+gg=77r$}H_KOhZTaaY;wq(myb80_^KIFkU1xDpL6H9pu3(zpG%96d`MBdiChX zmlQabuf?h)zVBQfvS-Ma^bo8`^dyBfa2IAKIO+`>QRw#U>y(TPIxmg?r>!dwOFG@c zf~2UUs401qTyt$B_ZGL@Msvx`9ZSeu%YiJla>2E<(lNtrR7}Uza?LcoLpMoEr@%%H zS2P2usNCALESrrQ2lLCCuCmX#xHidk z4_ki5O(Lf%9=Zyv(Q#$MtWtHG-(L^2ngQL8A>1fQCQo zC`sj{G&9cAPH}@u)yIGInxc?ep*UD3%68(Pk5GwcyF!`B-2D9FXl_uB6KGLx!_z=r zhu!aMT=7LA`(9@EJ2s@}HGr)gV*Wa1E21*B6>Z)oaL=AnIJi5`SH2Po z8?dA%!P4?_-QKfr4;AkWiTw6SRPRBExmJQk4rl|DREXdSjZh}0rcq!as~2rXrQ;J4 zq}yH4*NcmNVq=?U%uY?1$;!)b(1pX`DrO-bS1NcU;#5b>CSWKWPvW~=^ZonFVP>}z z(6^Bj(uDvsY!GdJaa&{b)}CPI;NT$Z1adb{S5Z;X4iHxlj9i~SKN$VzDRlJw;)04a52 zSeF+T`dl6_0aqeaA6B9C3~{vq6+pn?tQMcYBinyQ^*1{2i~3VvF(S^7i-9@b|AwQO>3`x=l)nJTe?W zrpyT&Z>~hOihPKoa4*WV+xLh-Lr<4HbsLazYvG*4Kgp2U=AT>wlFMPMzCAPBrR~@J z*jjQ$z_Kc8MIoJ)fhxOh?8JdKWVLaJjXhqPwrnXxI}l)wj@%z*=m2lrJg-}K;=xk> z2xWObginXEIp=pO9;1N;^qW0oC3HYJpaNg!?!Q;VFZBYw$(cJHV`2Ija3c!R;msi0 z!+9l+B|UlaM7dVuDlUA{bjWrLiTDG)d&2zVHP)$YEB7)p*G6NX!-w5-l=;!Jerg*K zwV(pct?qL=rL(KjijrQmGsF$-OEnyqK}dqEPhDU81f4_&g-?q`5M3f=jn}wf+zuYB zftePA9WkSk(3tfT_%A-t7Ev@*d$9U4rscn-n`PD)EWp7iXldEi6wsD_6h`K>ZNO=2 zdWl4$S)tHrZla?GaO1cz`o4>bMuuGzC=!z;UwB1l<|Ji~*KPWBb=4; zfmIjz=QTZ*O`BZW+S;mZjpYp1w+G$5)U{)J?Z>K^2_JAg=fplW4IMV@;U8{7_GZ^JgT=+6KDL%mGf#GO3J6l_|N+Pd;@pP-y;!eeNcHOB` zfXZz~AylXuc$DDNpqt(=fV`z|2I3ZH?9;wOw3~M(^T=_EK3RQ7Wd<>$;D%`ujXbUa2$+F zBrPRD%I>ZCM+ODQNhFqq$)u3B9W(75JJx!mHDVT@K`&TiV$owXc*y3`;;pg%mwLr+ zi<|gx=pE&Jz|dEkqQD1Jd{Foq+)T)`wmxIjlJxb^#?)BB{QS|+`>=7-xv>z$;&!$T zj)gFvy-^FrppJ;G)$ZHaTp51VuE3ePe9iC-Y9KsUctKW(2TDt!3~#-pvpC#`0U+8A z*1o;}VY5C`QQD&fZfWpD3$#@Qs3hvA^hyKVezwN^qYR?(7G@(z7DIAH9?p{WgxeJ% zky@_Sr(9&$^E1fRje1zr3*V=pdm$3JA`)C2*9yhL-U$pN`fo&B%FuTo!;btP9BOH4 z*`29j)^9;9-ri!#Mk3llJV*bhRdZ!E;23jbZ4S@BJtAL`Nci$E+Z0B9l=$*RYZFK% zd~L0;B+wIPdeXR^vF%%al9n9k@2>(IGXz!R?`PZz3V`?)@X7H^;sa+S&psTIX#x{_wndOs~j;=?RNs)_qRDIlD~IW(DV}O;wDYjCQzIok$qRyUEqeOk#mNP0CFb2 z&dFFr+BQ3{vm9;tqEM-!u3|RdSuO7!&QWl2c zTz!K}xi>FT*J~M!{gb;B5BIFCtsQ};L2oBIwn1yGEy2u06Fa-p$aO^9!pP>wC%!$E PfS0S2r(^Sh(Dc6np&hm* literal 0 HcmV?d00001 From 96583670c293ce5cf9e8c92379662e035471e14b Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Wed, 27 Nov 2024 14:40:48 -0500 Subject: [PATCH 3/4] Modify template Signed-off-by: Adrian Palacios --- 0000-template.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/0000-template.md b/0000-template.md index 1122e56a..2d1825c1 100644 --- a/0000-template.md +++ b/0000-template.md @@ -9,8 +9,7 @@ - Started: (fill in with today's date, YYYY-MM-DD) - Accepted: TBD -- Landed: TBD -- Released: TBD +- Stabilized: TBD ## Summary From 33cd95197b378a791096c48bd8e8e88f0b2e5720 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Wed, 27 Nov 2024 14:48:39 -0500 Subject: [PATCH 4/4] Pointers to v1 in timeline for committed RFCs Signed-off-by: Adrian Palacios --- text/0005-is-operator.md | 2 ++ text/0019-stricter-validation.md | 2 ++ text/0020-unique-record-keys.md | 2 ++ text/0021-any-and-all-operators.md | 2 ++ text/0024-schema-syntax.md | 2 ++ text/0032-port-formalization-to-lean.md | 2 ++ text/0034-precomputed-entity-attributes.md | 2 ++ text/0048-schema-annotations.md | 2 ++ text/0052-reserved-namespaces.md | 2 ++ text/0053-enum-entities.md | 2 ++ text/0055-remove-unspecified.md | 2 ++ text/0057-general-multiplication.md | 2 ++ text/0062-extended-has.md | 2 ++ text/0068-entity-tags.md | 2 ++ text/0070-disallow-empty-namespace-shadowing.md | 2 ++ text/0071-trailing-commas.md | 2 ++ text/0076-entity-slice-validation.md | 2 ++ text/0080-datetime-extension.md | 2 ++ text/0082-entity-tags.md | 2 ++ 19 files changed, 38 insertions(+) diff --git a/text/0005-is-operator.md b/text/0005-is-operator.md index 7026d572..b902d5cd 100644 --- a/text/0005-is-operator.md +++ b/text/0005-is-operator.md @@ -12,6 +12,8 @@ - Landed: 2023-11-08 on `main` - Released: 2023-12-15 in `cedar-policy` v3.0.0 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC proposes to add an `is` operator to the Cedar language that allows users to check the type of entities. diff --git a/text/0019-stricter-validation.md b/text/0019-stricter-validation.md index d0b8d740..20a10375 100644 --- a/text/0019-stricter-validation.md +++ b/text/0019-stricter-validation.md @@ -12,6 +12,8 @@ - Landed: 2023-09-08 on `main` - Released: 2023-12-15 in `cedar-policy` v3.0.0 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Internally, strict validation of a policy is implemented as 1/ checking and transforming the policy using a _permissive_ validation mode; 2/ annotating the transformed policy with types, and 3/ checking the types against more restrictive rules. We would like to be able to at least _explain_ strict mode independently of permissive mode, but there is no easy way to do that. This RFC proposes to separate strict mode from permissive mode, making the implementation simpler and more understandable/explainable, though somewhat more strict. diff --git a/text/0020-unique-record-keys.md b/text/0020-unique-record-keys.md index 0d121e66..a149aeb6 100644 --- a/text/0020-unique-record-keys.md +++ b/text/0020-unique-record-keys.md @@ -12,6 +12,8 @@ - Landed: 2023-10-24 on `main` - Released: 2023-12-15 in `cedar-policy` v3.0.0 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Today, Cedar allows duplicate keys in record literals (and other record values, including `context`), with last-value-wins semantics. diff --git a/text/0021-any-and-all-operators.md b/text/0021-any-and-all-operators.md index ae100eca..26484750 100644 --- a/text/0021-any-and-all-operators.md +++ b/text/0021-any-and-all-operators.md @@ -11,6 +11,8 @@ - Accepted: 2023-11-08 (but later rejected, see below) - Rejected: 2024-05-21 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC proposes extending the language with `all?` and `any?` operators that allow checking if all elements or any element in a set satisfies a given predicate. The `all?` operator returns `true` if the provided predicate is true for all elements in the set. The `any?` operator returns true if the predicate is true for any element in the set. diff --git a/text/0024-schema-syntax.md b/text/0024-schema-syntax.md index 89abd12b..16ffb527 100644 --- a/text/0024-schema-syntax.md +++ b/text/0024-schema-syntax.md @@ -12,6 +12,8 @@ - Landed: 2024-02-19 on `main` ([#557](https://github.com/cedar-policy/cedar/pull/557)) - Released: 2024-03-08 in `cedar-policy` v3.1.0 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This document proposes a custom syntax for Cedar schemas. The syntax was developed with the following goals in mind: diff --git a/text/0032-port-formalization-to-lean.md b/text/0032-port-formalization-to-lean.md index 013078a1..2e5c9467 100644 --- a/text/0032-port-formalization-to-lean.md +++ b/text/0032-port-formalization-to-lean.md @@ -12,6 +12,8 @@ - Landed: 2023-10-26 on `main` - Released: The Dafny formalization was deprecated in `cedar-spec` v3.1.0 (released 2024-03-08) +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC proposes to port our current Cedar models and proofs (written in [Dafny](https://dafny.org/)) to an alternative verification tool ([Lean](https://lean-lang.org/)) that is better suited for meta-theory proofs, like Cedar’s validation soundness proof. diff --git a/text/0034-precomputed-entity-attributes.md b/text/0034-precomputed-entity-attributes.md index a72b1b2d..3de5ea17 100644 --- a/text/0034-precomputed-entity-attributes.md +++ b/text/0034-precomputed-entity-attributes.md @@ -15,6 +15,8 @@ - Landed: 2023-11-16 on `main` - Released: 2023-12-15 in `cedar-policy` v3.0.0 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Internally, Cedar entity objects will store their attribute values as diff --git a/text/0048-schema-annotations.md b/text/0048-schema-annotations.md index be4eac8b..0b7b8d0e 100644 --- a/text/0048-schema-annotations.md +++ b/text/0048-schema-annotations.md @@ -9,6 +9,8 @@ - Started: 2024-02-05 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Like Cedar policies, users may want to associate arbitrary, machine readable metadata with Schema objects. diff --git a/text/0052-reserved-namespaces.md b/text/0052-reserved-namespaces.md index 70841944..9bba92ba 100644 --- a/text/0052-reserved-namespaces.md +++ b/text/0052-reserved-namespaces.md @@ -12,6 +12,8 @@ - Landed: 2024-07-15 on `main` ([#969](https://github.com/cedar-policy/cedar/pull/969)) - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC extends the reservation of the `__cedar` namespace in schema in [RFC24](https://github.com/cedar-policy/rfcs/blob/main/text/0024-schema-syntax.md) and diff --git a/text/0053-enum-entities.md b/text/0053-enum-entities.md index b44a4a76..3e3c2ccc 100644 --- a/text/0053-enum-entities.md +++ b/text/0053-enum-entities.md @@ -7,6 +7,8 @@ - Landed: TBD - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Extend schemas to support declared enumerations of entity-typed values, analogous to how schemas can currently be used to enumerate a finite list of `Action`-typed values. diff --git a/text/0055-remove-unspecified.md b/text/0055-remove-unspecified.md index 42895c95..74b01f76 100644 --- a/text/0055-remove-unspecified.md +++ b/text/0055-remove-unspecified.md @@ -12,6 +12,8 @@ - Landed: 2024-06-19 on `main` ([#983](https://github.com/cedar-policy/cedar/pull/983)) - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Cedar currently supports _unspecified entities_, which are entities of a special, unique type that have no attributes, and are not ancestors or descendants of any other entity in the store. Unspecified entities are intended to act as placeholders for entities that don’t influence authorization (see examples below). diff --git a/text/0057-general-multiplication.md b/text/0057-general-multiplication.md index abe43f20..aee7e5a7 100644 --- a/text/0057-general-multiplication.md +++ b/text/0057-general-multiplication.md @@ -12,6 +12,8 @@ - Landed: 2024-03-20 in `cedar-policy` - Released: 2024-03-29 in `cedar-policy` v3.1.2 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Allow multiplication of arbitrary expressions (that evaluate to Long), not just diff --git a/text/0062-extended-has.md b/text/0062-extended-has.md index f0c59c13..a6afb393 100644 --- a/text/0062-extended-has.md +++ b/text/0062-extended-has.md @@ -12,6 +12,8 @@ - Landed: TBD - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC proposes to extend the syntax of the `has` operator to check for the presence of all attributes in an access path. diff --git a/text/0068-entity-tags.md b/text/0068-entity-tags.md index 0d275882..4d471a88 100644 --- a/text/0068-entity-tags.md +++ b/text/0068-entity-tags.md @@ -12,6 +12,8 @@ - Accepted: 2024-07-26 - Rejected: 2024-09-11; see RFC 82 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC proposes to extend the Cedar type system with the ability to include _embedded attribute maps_ (EA-maps for short) in entity types, with the primary goal of supporting a full-featured encoding for _tags_. For evaluation purposes, EA-maps have the same programming interface as records: keys are like record attributes and values are like attribute values. The difference is in how they are validated: the keys of EA-maps need not be enumerated in advance, as is required with record attributes, and all values must have the same type. Moreover, EA-maps are treated by the validator as second-class, meaning valid usage scenarios are somewhat restricted. diff --git a/text/0070-disallow-empty-namespace-shadowing.md b/text/0070-disallow-empty-namespace-shadowing.md index 0f15a3fe..7144eb1e 100644 --- a/text/0070-disallow-empty-namespace-shadowing.md +++ b/text/0070-disallow-empty-namespace-shadowing.md @@ -12,6 +12,8 @@ - Landed: 2024-08-26 on `main` ([#1147](https://github.com/cedar-policy/cedar/pull/1147)) - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary In schemas, disallow definitions of entity types, common types, and actions that diff --git a/text/0071-trailing-commas.md b/text/0071-trailing-commas.md index 7f3738d7..27ff7057 100644 --- a/text/0071-trailing-commas.md +++ b/text/0071-trailing-commas.md @@ -12,6 +12,8 @@ - Landed: TBD - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary The Cedar grammar (both policies and schemas) should accept trailing diff --git a/text/0076-entity-slice-validation.md b/text/0076-entity-slice-validation.md index 5a04c03f..c04c2ba7 100644 --- a/text/0076-entity-slice-validation.md +++ b/text/0076-entity-slice-validation.md @@ -9,6 +9,8 @@ * Started: 2024-08-01 +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC introduces "Entity Slicing Validation" (ESV), which consists of diff --git a/text/0080-datetime-extension.md b/text/0080-datetime-extension.md index e1ae9b56..1c43c2ca 100644 --- a/text/0080-datetime-extension.md +++ b/text/0080-datetime-extension.md @@ -12,6 +12,8 @@ - Landed: TBD - Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary Cedar currently supports extension functions for IP addresses and decimal values. diff --git a/text/0082-entity-tags.md b/text/0082-entity-tags.md index 99faf674..7886cb03 100644 --- a/text/0082-entity-tags.md +++ b/text/0082-entity-tags.md @@ -13,6 +13,8 @@ * Landed: TBD * Released: TBD +Note: These statuses are based on [the first version of the RFC process](./../archive/process-v1/README.md). + ## Summary This RFC proposes to extend the Cedar language, type system, and symbolic analysis to include full-featured *entity tags* for entity types. Tags are a mechanism used by cloud services to attach key-value pairs to resources. Cedar will allow them to be attached to any entities (not just resources).