feat: support schema version 1.2 for modular models

[ewanharris]

Description

This PR adds support for using the schema version 1.2 behind the enable-modular-models experimental flag, and brings in the versions of openfga/api and openfga/language that support modular models.

As I was writing the additions I was thinking that the process of adding a new version isn't really scalable with the checks but I'm not familiar enough with the codebase to suggest any potential improvements here. Would love any feedback/prior consideration folks have had on this and would be happy to integrate into this PR.

Opening as a draft for now mostly just so the PR is here.

References

Closes #1402

Review Checklist

• I have clicked on "allow edits by maintainers".
• I have added documentation for new/changed functionality in this PR or in a PR to openfga.dev [Provide a link to any relevant PRs in the references section above]
• The correct base branch is being used, if not main
• I have added tests to validate that the change in functionality is working as expected

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.02%. Comparing base (d7cd331) to head (22fbf8b).

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1443      +/-   ##
==========================================
+ Coverage   85.95%   86.02%   +0.07%     
==========================================
  Files          85       85              
  Lines        8049     8057       +8     
==========================================
+ Hits         6918     6930      +12     
+ Misses        796      793       -3     
+ Partials      335      334       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[miparnisari]

We had a similar need in the past: #613

We introduced two flags, one that allowed you to write models, and one that allowed you to call Check/ListObjects.

I think we should do something similar here.

[poovamraj]

Should we wrap the below line into it's own method so that it can be reused. Any future versions to be supported can be added here. Any version to be dropped from can be removed from here.

t.GetSchemaVersion() == SchemaVersion1_1 || t.GetSchemaVersion() == SchemaVersion1_2)

[ewanharris]

Ah thanks for raising that @miparnisari, I'll refactor the existing one to be enable-modular-models-write and add in a new enable-modular-models-evaluate.

@poovamraj Yeah I was thinking simplifying it would make sense, @jon-whit's suggestion makes sense to me and allows us handle if the feature is enabled a little easier.

I'll work on the above and once those are done I think this should be ready for review

[rhamzeh]

We had a similar need in the past: #613

We introduced two flags, one that allowed you to write models, and one that allowed you to call Check/ListObjects.

I think we should do something similar here.

I don't think we need to. Unlike Schema 1.0, we're not planning on dropping support for 1.1.

All this new flag is doing is allowing support for 1.2. We expect to have a release out and remove that flag in a couple of weeks.

So as far as the server is concerned, only WriteAuthorizationModel will be concerned with rejecting 1.2 if the experimental flag is enabled. All the other pieces will treat 1.2 as supported.

That means if you can write the model, you can take all actions using it.