Skip to content

Commit 1d83b48

Browse files
authored
Normalize guillotine boundary and Apache license (#11)
1 parent 5441668 commit 1d83b48

3 files changed

Lines changed: 65 additions & 25 deletions

File tree

LICENSE

Lines changed: 61 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,61 @@
1-
MIT License
2-
3-
Copyright (c) 2026 Verifrax
4-
5-
Permission is hereby granted, free of charge, to any person obtaining a copy
6-
of this software and associated documentation files (the "Software"), to deal
7-
in the Software without restriction, including without limitation the rights
8-
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9-
copies of the Software, and to permit persons to whom the Software is
10-
furnished to do so, subject to the following conditions:
11-
12-
The above copyright notice and this permission notice shall be included in all
13-
copies or substantial portions of the Software.
14-
15-
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16-
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17-
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18-
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19-
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20-
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21-
SOFTWARE.
1+
Apache License
2+
Version 2.0, January 2004
3+
https://www.apache.org/licenses/
4+
5+
TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
6+
7+
1. Definitions.
8+
9+
"License" shall mean the terms and conditions for use, reproduction, and distribution as defined by Sections 1 through 9 of this document.
10+
11+
"Licensor" shall mean the copyright owner or entity authorized by the copyright owner that is granting the License.
12+
13+
"Legal Entity" shall mean the union of the acting entity and all other entities that control, are controlled by, or are under common control with that entity.
14+
15+
"You" (or "Your") shall mean an individual or Legal Entity exercising permissions granted by this License.
16+
17+
"Source" form shall mean the preferred form for making modifications.
18+
19+
"Object" form shall mean any form resulting from mechanical transformation of a Source form.
20+
21+
"Work" shall mean the work of authorship made available under the License.
22+
23+
"Derivative Works" shall mean any work based on the Work.
24+
25+
"Contribution" shall mean any work of authorship intentionally submitted for inclusion in the Work.
26+
27+
"Contributor" shall mean Licensor and any individual or Legal Entity on behalf of whom a Contribution has been received.
28+
29+
2. Grant of Copyright License.
30+
Subject to the terms and conditions of this License, each Contributor hereby grants to You a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare Derivative Works of, publicly display, publicly perform, sublicense, and distribute the Work and such Derivative Works in Source or Object form.
31+
32+
3. Grant of Patent License.
33+
Subject to the terms and conditions of this License, each Contributor hereby grants to You a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable patent license to make, have made, use, offer to sell, sell, import, and otherwise transfer the Work.
34+
35+
4. Redistribution.
36+
You may reproduce and distribute copies of the Work or Derivative Works thereof in any medium, with or without modifications, and in Source or Object form, provided that You meet the following conditions:
37+
38+
(a) You must give any other recipients of the Work or Derivative Works a copy of this License; and
39+
40+
(b) You must cause any modified files to carry prominent notices stating that You changed the files; and
41+
42+
(c) You must retain, in the Source form of any Derivative Works that You distribute, all copyright, patent, trademark, and attribution notices from the Source form of the Work; and
43+
44+
(d) If the Work includes a "NOTICE" text file as part of its distribution, then any Derivative Works that You distribute must include a readable copy of the attribution notices contained within such NOTICE file.
45+
46+
5. Submission of Contributions.
47+
Unless You explicitly state otherwise, any Contribution intentionally submitted for inclusion in the Work by You to the Licensor shall be under the terms and conditions of this License.
48+
49+
6. Trademarks.
50+
This License does not grant permission to use the trade names, trademarks, service marks, or product names of the Licensor.
51+
52+
7. Disclaimer of Warranty.
53+
Unless required by applicable law or agreed to in writing, Licensor provides the Work on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
54+
55+
8. Limitation of Liability.
56+
In no event and under no legal theory shall any Contributor be liable to You for damages arising in any way out of the use of the Work.
57+
58+
9. Accepting Warranty or Additional Liability.
59+
While redistributing the Work or Derivative Works thereof, You may choose to offer support, warranty, indemnity, or other liability obligations consistent with this License.
60+
61+
END OF TERMS AND CONDITIONS

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ This repository is part of the VERIFRAX proof perimeter.
3030
* Package: `@verifrax/guillotine`
3131
* Binary: `guillotine`
3232
* Current repository posture: live primitive boundary
33-
* License: MIT License
33+
* License: Apache License Version 2.0
3434

3535
## Boundary
3636

@@ -135,4 +135,4 @@ GUILLOTINE is not intake.
135135

136136
## License
137137

138-
MIT License
138+
Apache License Version 2.0

package.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
{
22
"name": "@verifrax/guillotine",
33
"version": "0.1.0",
4-
"description": "Verifrax primitive termination primitive for deterministic irreversible systems.",
5-
"license": "MIT",
4+
"description": "Verifrax primitive \u2014 termination primitive for deterministic irreversible systems.",
5+
"license": "Apache-2.0",
66
"repository": {
77
"type": "git",
88
"url": "git+https://github.com/Verifrax/guillotine.git"

0 commit comments

Comments
 (0)