Preserved source notice

Excerpt from the pinned fork README, “Attribution and licensing”:

The pinned Stacks source and this modified source are distributed under the GNU Free Documentation License 1.2; see COPYING. Registry metadata and schemas have the separate, narrow rights statement in ai-integrated/RIGHTS.md. Source-edition links above do not imply common licensing or endorsement by the original authors.

The original Stacks text is the work of its authors. All additions and integration work beyond the pinned upstream source in the fork are written by cooperating AI agents. No official Stacks review or endorsement is claimed. This component imports mathematical source, not registry metadata or any linked source-edition text.