fix(licence): #3 PILOT — clear scaffold-placeholder leak (volumod) - #32
Merged
Merged
Conversation
…d suffix) #3 PILOT (volumod). NOT a relicensing change: PLMP-1.0-or-later is the intentional scaffold placeholder sentinel; its survival is an unsubstituted-scaffold leak (process bug, per LICENCE-POLICY.adoc A5), and PMPL-1.0-or-later-or-later is the same scaffold-substituter family. Substituted to the correct estate id PMPL-1.0-or-later. - contractiles/must/Mustfile PLMP- -> PMPL-1.0-or-later (3a) - contractiles/trust/Trustfile.hs PLMP- -> PMPL-1.0-or-later (3a) - RSR_OUTLINE.adoc doubled -> PMPL-1.0-or-later (3b) Diff = SPDX identifier lines ONLY (diff-shape asserted). Mustfile:37 placeholder tripwire now green. No 3c-sensitive file touched. Refs hyperpolymath/standards LICENCE-POLICY.adoc A5. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -1,4 +1,4 @@ | |||
| -- SPDX-License-Identifier: PLMP-1.0-or-later | |||
| -- SPDX-License-Identifier: PMPL-1.0-or-later | |||
🔍 Hypatia Security ScanFindings: 38 issues detected
View findings[
{
"reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
"type": "banned",
"file": "AI.a2ml",
"action": "delete",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "Superseded by 0-AI-MANIFEST.a2ml",
"type": "banned",
"file": "AI.djot",
"action": "delete",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "No test directory or test files found",
"type": "no_tests",
"file": "/home/runner/work/volumod/volumod",
"action": "flag",
"rule_module": "honest_completion",
"severity": "high",
"deduction": 20
},
{
"reason": "Issue in quality.yml",
"type": "missing_workflow",
"file": "quality.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Issue in security-policy.yml",
"type": "missing_workflow",
"file": "security-policy.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "believe_me undermines formal verification (1 occurrences, CWE-704)",
"type": "believe_me",
"file": "/home/runner/work/volumod/volumod/src/abi/Foreign.idr",
"action": "flag",
"rule_module": "code_safety",
"severity": "critical"
},
{
"reason": "Js.Array2 deprecated -- use Array (1 occurrences)",
"type": "deprecated_api",
"file": "/home/runner/work/volumod/volumod/browser/rescript/src/VoluModExtension.res",
"action": "search_replace",
"rule_module": "migration_rules",
"severity": "high"
},
{
"reason": "Js.Nullable deprecated -- use Nullable (10 occurrences)",
"type": "deprecated_api",
"file": "/home/runner/work/volumod/volumod/browser/rescript/src/VoluModExtension.res",
"action": "module_replace",
"rule_module": "migration_rules",
"severity": "medium"
},
{
"reason": "Js.Array2 deprecated -- use Array (4 occurrences)",
"type": "deprecated_api",
"file": "/home/runner/work/volumod/volumod/browser/rescript/src/AudioWorkletProcessor.res",
"action": "search_replace",
"rule_module": "migration_rules",
"severity": "high"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
#3 Execution-plan PILOT (volumod) — for diff-shape review
Not a relicensing change.
PLMP-1.0-or-lateris the intentional scaffold placeholder sentinel; its survival into a repo is an unsubstituted-scaffold leak (process bug, perstandards/LICENCE-POLICY.adocA5).PMPL-1.0-or-later-or-lateris the same scaffold-substituter family. Both substituted to the correct estate idPMPL-1.0-or-later.Changes (3 lines, 3 files)
contractiles/must/MustfilePLMP-1.0-or-later→PMPL-1.0-or-latercontractiles/trust/Trustfile.hsPLMP-1.0-or-later→PMPL-1.0-or-laterRSR_OUTLINE.adocPMPL-1.0-or-later-or-later→PMPL-1.0-or-laterVerification (automated gates from the execution plan)
contractiles/must/Mustfile:37placeholder tripwire now greenvolumod/LICENSEexists, untouched)This is the gated pilot: no estate tranche proceeds until this diff shape is approved.
Refs
hyperpolymath/standardsLICENCE-POLICY.adoc A5; companion artifacts on Desktop (LEDGER / EXECUTION-PLAN / ESCALATION-PACKET, 2026-05-18).🤖 Generated with Claude Code