Skip to content

Commit 0dfc0c3

Browse files
alexanderthenthclaude
alexanderthenth
and
claude
committed
Relicense to source-available, contact-first terms
Replace PolyForm-NC/MIT with a contact-first license: read/evaluate only; any other use (incl. educational/research/RDI/commercial) needs prior written permission. Add NOTICE asserting independent authorship by Ali Pourrahim and that no third party holds an IP claim. - pyproject: license->LICENSE, author->Ali Pourrahim, classifier->Other/Proprietary (was MIT) - Cargo.toml: license-file + publish=false + author (was PolyForm) - deny.toml: ignore private crate license, drop PolyForm allow - README: license badge + section updated Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
1 parent 5ff1f3d commit 0dfc0c3

6 files changed

Lines changed: 188 additions & 69 deletions

File tree

‎LICENSE‎

Lines changed: 130 additions & 61 deletions
Original file line numberDiff line numberDiff line change
@@ -1,61 +1,130 @@
1-
# PolyForm Noncommercial License 1.0.0
2-
3-
<https://polyformproject.org/licenses/noncommercial/1.0.0>
4-
5-
Required Notice: Copyright © 2026 Mohammadali Jannatkhahdoost (https://github.com/Aliipou)
6-
7-
## Acceptance
8-
9-
In order to get any license under these terms, you must agree to them as both strict obligations and conditions to all your licenses.
10-
11-
## Copyright License
12-
13-
The licensor grants you a copyright license for the software to do everything you might do with the software that would otherwise infringe the licensor's copyright in it for any permitted purpose. However, you may only distribute the software according to Distribution License and make changes or new works based on the software according to Changes and New Works License.
14-
15-
## Distribution License
16-
17-
The licensor grants you an additional copyright license to distribute copies of the software. Your license to distribute covers distributing the software with changes and new works permitted by Changes and New Works License.
18-
19-
## Notices
20-
21-
You must ensure that anyone who gets a copy of any part of the software from you also gets a copy of these terms or the URL for them above, as well as copies of any plain-text lines beginning with "Required Notice:" that the licensor provided with the software.
22-
23-
## Changes and New Works License
24-
25-
The licensor grants you an additional copyright license to make changes and new works based on the software for any permitted purpose.
26-
27-
## Patent License
28-
29-
The licensor grants you a patent license for the software that covers patent claims the licensor can license, or becomes able to license, that you would infringe by using the software.
30-
31-
## Noncommercial Purposes
32-
33-
Any noncommercial purpose is a permitted purpose.
34-
35-
## Personal Uses
36-
37-
Personal use for research, experiment, and testing for the benefit of public knowledge, personal study, private entertainment, hobby projects, amateur pursuits, or religious observance, without any anticipated commercial application, is use for a permitted purpose.
38-
39-
## Noncommercial Organizations
40-
41-
Use by any charitable organization, educational institution, public research organization, public safety or health organization, environmental protection organization, or government institution is use for a permitted purpose regardless of the source of funding or obligations resulting from the funding.
42-
43-
## Fair Use
44-
45-
You may have fair use rights for the software under applicable law. These terms do not limit them.
46-
47-
## No Other Rights
48-
49-
These terms do not allow you to sublicense or transfer any of your licenses to anyone else, or prevent the licensor from granting licenses to anyone else. These terms do not imply any other licenses.
50-
51-
## Patent Defense
52-
53-
If you make any written claim that the software infringes or contributes to infringement of any patent, your patent license for the software granted under these terms ends immediately. If your company makes such a claim, your patent license ends immediately for work on behalf of your company.
54-
55-
## Violations
56-
57-
The first time you are notified in writing that you have violated any of these terms, or done anything with the software not covered by your licenses, your licenses can nonetheless continue if you come into full compliance with these terms, and take practical steps to correct past violations, within 32 days of receiving notice. Otherwise, all your licenses end immediately.
58-
59-
## No Liability
60-
61-
As far as the law allows, the software comes as is, without any warranty or condition, and the licensor will not be liable to you for any damages arising out of these terms or the use or nature of the software, under any kind of legal claim.
1+
AuthGate-Kernel Source-Available, Contact-First License
2+
Version 1.0 — 2026
3+
4+
Required Notice: Copyright © 2026 Ali Pourrahim
5+
(https://github.com/Aliipou). All rights reserved.
6+
7+
================================================================
8+
0. SUMMARY (non-binding; the numbered terms below control)
9+
================================================================
10+
You may READ and privately EVALUATE this source code. You may NOT
11+
use, run, deploy, copy beyond evaluation, modify, distribute, or
12+
build on it — for ANY purpose, by ANY person or organization,
13+
including educational institutions, research/innovation (RDI)
14+
offices, and commercial entities — without the Author's PRIOR
15+
WRITTEN PERMISSION. You may never claim the Software, its ideas, or
16+
any derivative as your own work or as originating from anyone other
17+
than the Author. To request permission, contact the Author first
18+
(Section 7).
19+
20+
================================================================
21+
1. DEFINITIONS
22+
================================================================
23+
"Software" means the source code, documentation, specifications,
24+
designs, and all other material in this repository and any portion
25+
of it.
26+
"Author" / "Licensor" means Ali Pourrahim
27+
(https://github.com/Aliipou), the sole owner of the copyright in
28+
the Software, who created it independently and without the
29+
resources, funding, employment, or coursework of any third party.
30+
"You" means any individual or legal entity exercising any right
31+
under this License.
32+
"Use" means to run, execute, reproduce (beyond Evaluation),
33+
modify, translate, adapt, create derivative works of, distribute,
34+
publicly display, publish, sublicense, sell, incorporate into any
35+
product, service, dataset, model, or research output, or otherwise
36+
exploit the Software in any way.
37+
"Evaluation" means reading the source and making one local copy
38+
solely to study and assess it privately, with no other Use.
39+
40+
================================================================
41+
2. RESERVATION OF RIGHTS
42+
================================================================
43+
The Software is the exclusive property of the Author. All rights
44+
not expressly granted in Section 3 are reserved. No right or
45+
license is granted by implication, estoppel, or otherwise.
46+
47+
================================================================
48+
3. LIMITED PERMISSION GRANTED
49+
================================================================
50+
Subject to full compliance with this License, the Author grants You
51+
a personal, non-exclusive, non-transferable, revocable permission
52+
to perform Evaluation of the Software. This is the ONLY permission
53+
granted without prior written authorization.
54+
55+
================================================================
56+
4. PERMISSION REQUIRED FOR ALL OTHER USE
57+
================================================================
58+
Any Use of the Software beyond Evaluation is prohibited unless and
59+
until the Author grants You a separate, signed, written license for
60+
that specific Use. This requirement applies to everyone without
61+
exception, expressly including:
62+
(a) educational institutions, universities, and their faculties,
63+
departments, staff, and students;
64+
(b) research, development, and innovation (RDI) units, technology-
65+
transfer offices, incubators, and accelerators;
66+
(c) government, public-sector, and nonprofit organizations; and
67+
(d) commercial entities of any size.
68+
Funding source, nonprofit status, or "research" or "educational"
69+
characterization does NOT create any permitted Use.
70+
71+
================================================================
72+
5. ATTRIBUTION AND INTEGRITY (anti-credit-taking)
73+
================================================================
74+
5.1 You must not remove, obscure, or alter the "Required Notice"
75+
line above or any copyright or authorship notice in the
76+
Software.
77+
5.2 You must not represent, directly or by implication, that the
78+
Software, its design, its underlying ideas, or any derivative
79+
of it was created, originated, co-authored, or owned by anyone
80+
other than the Author.
81+
5.3 You must not claim, register, publish, or seek credit for the
82+
Software or its ideas — whether as a research output, thesis,
83+
grant deliverable, RDI achievement, publication, patent, or
84+
otherwise — as the work of any person or organization other
85+
than the Author, without the Author's prior written permission.
86+
5.4 Any Use authorized under Section 4 must carry clear, prominent
87+
attribution to the Author in the form the Author specifies.
88+
89+
================================================================
90+
6. INTELLECTUAL PROPERTY; NO PATENT OR TRADEMARK LICENSE
91+
================================================================
92+
No patent license and no trademark license are granted under this
93+
License. The Author reserves all patent rights, naming rights, and
94+
moral rights to the fullest extent permitted by applicable law,
95+
including the right to be identified as the author.
96+
97+
================================================================
98+
7. HOW TO REQUEST PERMISSION
99+
================================================================
100+
To request any license beyond Evaluation, or to discuss attribution
101+
or collaboration, contact the Author IN WRITING BEFORE any Use:
102+
Author: Ali Pourrahim
103+
GitHub: https://github.com/Aliipou
104+
Email: Alipourrahim.ap@gmail.com
105+
Permission is effective only when granted by the Author in a signed
106+
writing that identifies the permitted Use. Silence or non-response
107+
is not permission.
108+
109+
================================================================
110+
8. TERMINATION
111+
================================================================
112+
Any breach of this License terminates all permissions granted to
113+
You automatically and immediately. Upon termination You must cease
114+
all Use and destroy all copies in Your possession. Sections 2, 5,
115+
6, 9, and 10 survive termination.
116+
117+
================================================================
118+
9. NO WARRANTY
119+
================================================================
120+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
121+
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
122+
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, AND
123+
NON-INFRINGEMENT.
124+
125+
================================================================
126+
10. LIMITATION OF LIABILITY
127+
================================================================
128+
TO THE MAXIMUM EXTENT PERMITTED BY LAW, THE AUTHOR SHALL NOT BE
129+
LIABLE FOR ANY CLAIM, DAMAGES, OR OTHER LIABILITY ARISING FROM OR
130+
IN CONNECTION WITH THE SOFTWARE OR ANY USE OF IT.

‎NOTICE‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
AUTHORSHIP AND OWNERSHIP NOTICE
2+
================================
3+
4+
Project: authgate-kernel
5+
Author: Ali Pourrahim (https://github.com/Aliipou)
6+
Contact: Alipourrahim.ap@gmail.com
7+
Copyright: © 2026 Ali Pourrahim. All rights reserved.
8+
9+
Statement of independent authorship
10+
------------------------------------
11+
authgate-kernel — a capability-constrained authorization kernel for
12+
agent tool execution — was conceived, designed, and implemented by
13+
the Author as an independent personal work.
14+
15+
It was NOT created as part of, and does NOT incorporate or depend on:
16+
- any course, thesis, or degree requirement of any institution;
17+
- any employment, grant, scholarship, or funded research project;
18+
- any institution's facilities, equipment, funding, or confidential
19+
information.
20+
21+
The Author is the sole owner of all intellectual property in this
22+
work. No third party, including any university, research, development,
23+
or innovation (RDI) office, holds any ownership interest, license, or
24+
right to claim credit for this work, its design, or its underlying
25+
ideas, except by a separate written agreement signed by the Author.
26+
27+
Evidence of authorship and priority
28+
-----------------------------------
29+
Authorship and creation dates are evidenced by the public version-
30+
control history of this repository (commit authorship and timestamps)
31+
and its public publication record at:
32+
https://github.com/Aliipou/authgate-kernel
33+
34+
Use and attribution
35+
--------------------
36+
Use of this work is governed by the LICENSE file in this repository
37+
(AuthGate-Kernel Source-Available, Contact-First License). Any use
38+
beyond private evaluation requires the Author's prior written
39+
permission. Attribution to the Author must never be removed or
40+
misrepresented.

‎README.md‎

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ A wire format and a verify function. See [POSITIONING.md](POSITIONING.md).
1313
[![Tests](https://img.shields.io/badge/tests-1155%20passing-brightgreen.svg)](tests/)
1414
[![Kani](https://img.shields.io/badge/Kani-24%20harnesses-green.svg)](formal/)
1515
[![Lean4](https://img.shields.io/badge/Lean4-16%20theorems-blue.svg)](formal/lean4/)
16-
[![License: PolyForm NC 1.0.0](https://img.shields.io/badge/License-PolyForm--Noncommercial--1.0.0-orange.svg)](LICENSE)
16+
[![License: Source-Available (Contact-First)](https://img.shields.io/badge/License-Source--Available%20(Contact--First)-red.svg)](LICENSE)
1717

1818
## The problem
1919

@@ -382,4 +382,11 @@ If yes, it doesn't belong in the TCB. TCB changes require a written invariant ju
382382

383383
## License
384384

385-
MIT. See [`LICENSE`](LICENSE).
385+
Source-available under the **AuthGate-Kernel Source-Available, Contact-First License** — see [`LICENSE`](LICENSE) and [`NOTICE`](NOTICE).
386+
387+
You may read and privately evaluate the source. **Any** other use — running,
388+
deploying, copying, modifying, distributing, or building on it, by anyone
389+
including educational/research/RDI and commercial entities — requires the
390+
author's **prior written permission**. The work may not be claimed, in whole
391+
or in part, as anyone else's. To request permission, contact the author first
392+
(see `LICENSE` §7).

‎authgate-kernel/Cargo.toml‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,9 @@ name = "authgate-kernel"
33
version = "0.1.0"
44
edition = "2021"
55
description = "Formal, auditable, cryptographically-verifiable capability-governance kernel"
6-
license = "PolyForm-Noncommercial-1.0.0"
6+
license-file = "../LICENSE"
7+
publish = false
8+
authors = ["Ali Pourrahim <Alipourrahim.ap@gmail.com>"]
79

810
[lib]
911
name = "authgate_kernel"

‎authgate-kernel/deny.toml‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,9 @@ ignore = [
2929

3030
[licenses]
3131
version = 2
32+
# The workspace's own crate is source-available/proprietary (license-file, publish = false).
33+
# Skip license checks on private (unpublished) crates; only dependencies are gated below.
34+
private = { ignore = true }
3235
allow = [
3336
"MIT",
3437
"Apache-2.0",
@@ -40,8 +43,6 @@ allow = [
4043
"Unicode-DFS-2016",
4144
"OpenSSL",
4245
"Zlib",
43-
# This project's own license (source-available, noncommercial).
44-
"PolyForm-Noncommercial-1.0.0",
4546
]
4647

4748
[bans]

‎pyproject.toml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,17 +7,17 @@ name = "authgate"
77
version = "1.0.0"
88
description = "Capability-security kernel for agent runtimes — typed authority verification with formal invariants"
99
readme = "README.md"
10-
license = { text = "MIT" }
10+
license = { file = "LICENSE" }
1111
requires-python = ">=3.11"
1212
authors = [
13-
{ name = "Contributors" },
13+
{ name = "Ali Pourrahim", email = "Alipourrahim.ap@gmail.com" },
1414
]
1515
keywords = ["capability-security", "agent-runtimes", "formal-verification", "authority-verification", "rust", "formal-methods"]
1616
classifiers = [
1717
"Development Status :: 4 - Beta",
1818
"Intended Audience :: Developers",
1919
"Intended Audience :: Science/Research",
20-
"License :: OSI Approved :: MIT License",
20+
"License :: Other/Proprietary License",
2121
"Programming Language :: Python :: 3",
2222
"Programming Language :: Python :: 3.11",
2323
"Programming Language :: Python :: 3.12",

0 commit comments

Comments
 (0)