Revert "feat(spec): x-gts-closed-derivations schema modifier (0.14 dr…

[aviator5]

…aft)"

This reverts commit fb7928c.

Summary by CodeRabbit

• Documentation
  • Updated the specification draft to version 0.13.
  • Removed documentation and semantics for the x-gts-closed-derivations modifier.
  • Renumbered related modifier sections and corrected trait completeness references.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: b0b885a4-8acc-415e-8702-49bd33abf2b7

📥 Commits

Reviewing files that changed from the base of the PR and between 0689957 and c9c1d9d.

📒 Files selected for processing (1)

• README.md

---

📝 Walkthrough

Walkthrough

The README restores specification version 0.13, removes the x-gts-closed-derivations draft material, and renumbers related trait sections. The x-gts-final and x-gts-abstract semantics remain documented.

Changes

Specification document update

Layer / File(s)	Summary
Version history and content guidance README.md	The specification version changes from 0.14 to 0.13. The 0.14 history entry and the content-model reference to x-gts-closed-derivations are removed.
Modifier semantics and section numbering README.md	The modifier section now covers x-gts-final and x-gts-abstract. Related trait completeness cross-references and subsection numbers are updated.

Estimated code review effort: 1 (Trivial) | ~5 minutes

Possibly related PRs

• GlobalTypeSystem/gts-spec#90: Both changes update the specification version history and §9.11 semantics.
• GlobalTypeSystem/gts-spec#91: This change removes x-gts-closed-derivations and restores version 0.13.

Suggested reviewers: artifizer

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly identifies the revert of the commit that introduced the x-gts-closed-derivations schema modifier.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[code-ranker-app]

code-ranker report for this PR (built on fork): https://reports.code-ranker.com/iHAlCbS4o_6N4g-eiYQsIg/