Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
File renamed without changes.
1 change: 1 addition & 0 deletions .hypatia/activity.jsonl
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"timestamp":"2026-03-08T02:00:15Z","bot":"hypatia-autofix","action":"scan","details":"fixes=0"}
6 changes: 6 additions & 0 deletions .hypatia/last-visit.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
{
"last_visit": "2026-03-08T02:00:15Z",
"last_bot": "hypatia-autofix",
"last_action": "scan",
"visits_total": 1
}
516 changes: 368 additions & 148 deletions LICENSE

Large diffs are not rendered by default.

373 changes: 373 additions & 0 deletions LICENSES/MPL-2.0.txt

Large diffs are not rendered by default.

162 changes: 162 additions & 0 deletions LICENSES/PMPL-1.0-or-later.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,162 @@
SPDX-License-Identifier: PMPL-1.0-or-later
SPDX-FileCopyrightText: 2025 Palimpsest Stewardship Council

================================================================================
PALIMPSEST-MPL LICENSE VERSION 1.0
================================================================================

File-level copyleft with ethical use and quantum-safe provenance

Based on Mozilla Public License 2.0

--------------------------------------------------------------------------------
PREAMBLE
--------------------------------------------------------------------------------

This License extends the Mozilla Public License 2.0 (MPL-2.0) with provisions
for ethical use, post-quantum cryptographic provenance, and emotional lineage
protection. The base MPL-2.0 terms apply except where explicitly modified by
the Exhibits below.

Like a palimpsest manuscript where each layer builds upon what came before,
this license recognizes that creative works carry history, context, and meaning
that transcend mere code or text.

--------------------------------------------------------------------------------
SECTION 1: BASE LICENSE
--------------------------------------------------------------------------------

This License incorporates the full text of Mozilla Public License 2.0 by
reference. The complete MPL-2.0 text is available at:
https://www.mozilla.org/en-US/MPL/2.0/

All terms, conditions, and definitions from MPL-2.0 apply except where
explicitly modified by the Exhibits in this License.

--------------------------------------------------------------------------------
SECTION 2: ADDITIONAL DEFINITIONS
--------------------------------------------------------------------------------

2.1. "Emotional Lineage"
means the narrative, cultural, symbolic, and contextual meaning embedded
in Covered Software, including but not limited to: protest traditions,
cultural heritage, trauma narratives, and community stories.

2.2. "Provenance Metadata"
means cryptographically signed attribution information attached to or
associated with Covered Software, including author identities, timestamps,
modification history, and lineage references.

2.3. "Non-Interpretive System"
means any automated system that processes Covered Software without
preserving or considering its Emotional Lineage, including but not
limited to: AI training pipelines, content aggregators, and automated
summarization tools.

2.4. "Quantum-Safe Signature"
means a cryptographic signature using algorithms resistant to attacks
by quantum computers, as specified in Exhibit B.

--------------------------------------------------------------------------------
SECTION 3: ETHICAL USE REQUIREMENTS
--------------------------------------------------------------------------------

In addition to the rights and obligations under MPL-2.0:

3.1. Emotional Lineage Preservation
You must make reasonable efforts to preserve and communicate the
Emotional Lineage of Covered Software when distributing or creating
derivative works. This includes maintaining narrative context, cultural
attributions, and symbolic meaning where documented.

3.2. Non-Interpretive System Notice
If You use Covered Software as input to a Non-Interpretive System, You
must:
(a) document such use in a publicly accessible manner; and
(b) not claim that outputs of such systems carry the Emotional Lineage
of the original work without explicit permission from Contributors.

3.3. Ethical Use Declaration
Commercial use of Covered Software requires acknowledgment that You have
read and understood Exhibit A (Ethical Use Guidelines) and agree to act
in good faith accordance with its principles.

See Exhibit A for complete Ethical Use Guidelines.

--------------------------------------------------------------------------------
SECTION 4: PROVENANCE REQUIREMENTS
--------------------------------------------------------------------------------

4.1. Metadata Preservation
You must not strip, alter, or obscure Provenance Metadata from Covered
Software except where technically necessary and with clear documentation
of any changes.

4.2. Quantum-Safe Provenance (Optional)
Contributors may sign their Contributions using Quantum-Safe Signatures.
If Quantum-Safe Signatures are present, You must preserve them in all
distributions.

4.3. Lineage Chain
When creating derivative works, You should extend the provenance chain
to include Your own contributions, maintaining cryptographic linkage to
prior Contributors where feasible.

See Exhibit B for Quantum-Safe Provenance specifications.

--------------------------------------------------------------------------------
SECTION 5: GOVERNANCE
--------------------------------------------------------------------------------

5.1. Stewardship Council
This License is maintained by the Palimpsest Stewardship Council, which
may issue clarifications, interpretive guidance, and future versions.

5.2. Version Selection
You may use Covered Software under this version of the License or any
later version published by the Palimpsest Stewardship Council.

5.3. Dispute Resolution
Disputes regarding interpretation of Ethical Use Requirements (Section 3)
should first be submitted to the Palimpsest Stewardship Council for
non-binding guidance before pursuing legal remedies.

--------------------------------------------------------------------------------
SECTION 6: COMPATIBILITY
--------------------------------------------------------------------------------

6.1. MPL-2.0 Compatibility
Covered Software under this License may be combined with software under
MPL-2.0. The combined work must comply with both licenses.

6.2. Secondary Licenses
The Secondary License provisions of MPL-2.0 Section 3.3 apply to this
License.

--------------------------------------------------------------------------------
EXHIBITS
--------------------------------------------------------------------------------

Exhibit A - Ethical Use Guidelines
Exhibit B - Quantum-Safe Provenance Specification

See separate files:
- EXHIBIT-A-ETHICAL-USE.txt
- EXHIBIT-B-QUANTUM-SAFE.txt

--------------------------------------------------------------------------------
END OF PALIMPSEST-MPL-1.0 LICENSE TEXT
--------------------------------------------------------------------------------

For exhibits, specifications, provenance rules, and governance:
https://github.com/hyperpolymath/palimpsest-license

For legal frameworks and jurisdictional analysis:
See /legal/frameworks/

For provenance and audit tooling:
See /tools/ and /spec/PROVENANCE-SPEC.adoc

For questions about this License:
- Repository: https://github.com/hyperpolymath/palimpsest-license
- Council: contact via repository Issues
22 changes: 22 additions & 0 deletions NOTICE
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
Licensing Notice
================

This project is authored by Jonathan D.A. Jewell (hyperpolymath) and
is licensed under the Palimpsest License (PMPL-1.0-or-later).

The PMPL-1.0-or-later is a philosophical extension of the Mozilla Public
License 2.0, adding provisions for cryptographic provenance, emotional
lineage preservation, and quantum-safe signatures. The full PMPL text is
available in LICENSES/PMPL-1.0-or-later.txt.

For compatibility with automated license detection tools and platforms
that require OSI-approved licenses, the root LICENSE file contains the
standard Mozilla Public License 2.0 text. This ensures that package
registries, CI systems, and other tooling correctly identify the license.

The legally binding terms are:
- Source files: governed by PMPL-1.0-or-later (per SPDX headers)
- Combined works: compatible with MPL-2.0 (per PMPL Section 6)

For more information about the Palimpsest License:
https://github.com/hyperpolymath/palimpsest-license
15 changes: 15 additions & 0 deletions editors/vscode/deno.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"name": "anvomidav",
"version": "0.1.0",
"tasks": {
"vscode:prepublish": "rescript build",
"compile": "rescript build",
"watch": "rescript build -w",
"clean": "rescript clean"
},
"imports": {
"vscode-languageclient": "npm:vscode-languageclient@^9.0.1",
"@rescript/core": "npm:@rescript/core@^1.5.0",
"rescript": "^12.0.0"
}
}
116 changes: 0 additions & 116 deletions editors/vscode/package-lock.json

This file was deleted.

2 changes: 1 addition & 1 deletion editors/vscode/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -148,6 +148,6 @@
"@rescript/core": "^1.5.0"
},
"devDependencies": {
"rescript": "^11.0.0"
"rescript": "^12.0.0"
}
}
2 changes: 1 addition & 1 deletion examples/web-project-deno.json
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
"test": "deno test --allow-all"
},
"imports": {
"rescript": "npm:rescript@^12.1.0",
"rescript": "^12.0.0",
"@rescript/core": "npm:@rescript/core@^1.6.0",
"safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
"proven/": "../proven/bindings/rescript/src/"
Expand Down
5 changes: 5 additions & 0 deletions justfile
Original file line number Diff line number Diff line change
Expand Up @@ -138,3 +138,8 @@ audit:
@echo "=== Dependency Audit ==="
@cargo audit
@echo "Dependency audit complete"

# [AUTO-GENERATED] Multi-arch / RISC-V target
build-riscv:
@echo "Building for RISC-V..."
cross build --target riscv64gc-unknown-linux-gnu
12 changes: 10 additions & 2 deletions vscode-extension/deno.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,15 @@
{
"name": "@hyperpolymath/anvomidav-vscode",
"version": "0.1.0",
"tasks": {
"compile": "deno run -A npm:typescript/bin/tsc -p ./",
"watch": "deno run -A npm:typescript/bin/tsc -watch -p ./",
"build": "deno run -A npm:rescript",
"dev": "deno run -A npm:rescript -w",
"clean": "deno run -A npm:rescript clean",
"package": "deno run -A npm:@vscode/vsce package"
},
"imports": {
"rescript": "npm:rescript@^12.0.0",
"@rescript/core": "npm:@rescript/core@^1.6.1",
"@rescript/runtime/": "npm:/@rescript/runtime@12.2.0/"
}
}
1 change: 1 addition & 0 deletions vscode-extension/lib/bs/.sourcedirs.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"cmt_scan":[{"also_scan_build_root":true,"build_root":"lib/bs","scan_dirs":["src"]}],"dirs":["src"],"generated":[],"pkgs":[],"version":2}
Empty file.
8 changes: 8 additions & 0 deletions vscode-extension/lib/bs/compiler-info.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
"version": "12.2.0",
"bsc_path": "/var/mnt/eclipse/hyper-data/cache/deno/npm/registry.npmjs.org/@rescript/linux-x64/12.2.0/bin/bsc.exe",
"bsc_hash": "ca03c46847ff55e2a2115049975f546b655fceff6fc10e34645da2e812314070",
"rescript_config_hash": "6c4ea012a6b0e3181a7cbcf2b8b734533e008e133e058a508a3acf44fb095e22",
"runtime_path": "/var/mnt/eclipse/hyper-data/cache/deno/npm/registry.npmjs.org/@rescript/runtime/12.2.0",
"generated_at": "1772733147121"
}
Binary file added vscode-extension/lib/bs/src/Extension.ast
Binary file not shown.
Binary file added vscode-extension/lib/bs/src/Extension.cmi
Binary file not shown.
Binary file added vscode-extension/lib/bs/src/Extension.cmj
Binary file not shown.
Binary file added vscode-extension/lib/bs/src/Extension.cmt
Binary file not shown.
Loading
Loading