max/cubical-transport-hott-lean4
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Add NOTICE: AI tooling acknowledgement; proprietary rights stand on human-directed whole
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details

Browse source
This commit is contained in:
Maximus Gorog 2026-04-27 23:10:32 -06:00
parent 5e9be0ffe2
commit 58330df245
1 changed files with 38 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
NOTICE Normal file
View file

@ -0,0 +1,38 @@
NOTICE — Development methodology and authorship
This Software was developed under direct human creative direction with
the assistance of AI tooling (Claude, by Anthropic). AI assistance
was used analogously to an IDE, compiler, or code-completion engine:
a tool operating under continuous human supervision and review.
The Software's design, architecture, system specifications, naming,
module organisation, interface contracts, integration strategy, and
verification plan are the work of the copyright holder. AI-generated
fragments were directed, selected, audited, refined, and integrated
by the human author, who exercised final judgment on every substantive
design and correctness decision.
Per Anthropic's published Terms of Service, output ownership is
assigned to the user; the AI provider claims no rights in the
resulting code. Per United States Copyright Office guidance (August
2023, "Copyright Registration Guidance: Works Containing Material
Generated by Artificial Intelligence"), purely machine-generated
output is not eligible for copyright, while the selection,
arrangement, and creative human direction supplied by a human author
are. Those human-authored contributions — architectural decisions,
problem framing, design rationale, integration, and verification —
are the load-bearing creative contributions to this Software, and the
accompanying LICENSE asserts proprietary rights on the resulting
human-directed creative whole.
"Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>"
footers in commit messages document the development methodology in
the customary tooling-honesty convention. They are not a claim of
legal authorship by the AI and effect no transfer of rights to any
third party.
Trade-secret protection, contract law, and access controls applying
to this repository remain in force independent of the copyright
analysis above.
For licensing inquiries, contact: mgorog@gmail.com