Commit 170190a
committed
licence: normalise estate to MPL-2.0 (code) + CC-BY-4.0 (docs); reconcile policy
Owner-directed licence normalisation (2026-06-04 session, fully-informed
entire-tree scope):
- Header-only SPDX rewrite across the tree (first identifier line, ≤L8 only;
in-body examples / MPL Exhibit-A text / code-fence samples untouched):
* code / config / scripts -> MPL-2.0 (2934 files)
* prose docs (*.adoc/*.md) -> CC-BY-4.0 (757 files)
Estate-family ids converted: AGPL-3.0-or-later, PMPL-1.0-or-later,
MPL-2.0-or-later and malformed variants.
- Protected (untouched): consent-aware-http/, all palimpsest* paths
(the PMPL carve-out repos), LICENSES/ + licenses/ texts, MIT/foreign
third-party headers, and PLMP-/PMLP- scaffold sentinels.
- Added LICENSES/CC-BY-4.0.txt (canonical SPDX text).
- Reconciled the policy so nothing contradicts:
* LICENCE-POLICY.adoc — Rule 1 now code=MPL-2.0 / docs=CC-BY-4.0;
Rule 2 reframed: PMPL is the narrow 3-repo carve-out, not the default.
* .machine_readable/licensing-policy.toml — removed stale PMPL-default;
encodes the MPL-2.0/CC-BY-4.0 model.
* Fixed header-EMITTING generators so they stop re-introducing AGPL
(build-registry.sh, setup.sh, *.rs/.py/.jl/.sh emitters) and the
validate-spdx.sh hint; refreshed stale licence guidance in docs.
- Filled .machine_readable/MUST.contractile project-specific invariants
from this session's musts (licensing + CI hardening + registry), with a
cross-repo block tracing the hypatia detector musts to standards#370.
Validation: repo check-licence-consistency.sh passes; shellcheck/py_compile
clean on edited scripts; MUST.contractile parens balanced; TOML valid.1 parent e59affd commit 170190a
3,692 files changed
Lines changed: 5692 additions & 3744 deletions
File tree
- .github
- .machine_readable
- 6a2
- agent_instructions
- contractiles
- adjust
- bust
- dust
- intend
- must
- trust
- integrations
- migrations
- svc/k9
- examples
- .meta
- .verisimdb
- ecosystem-ingest
- src
- 0-ai-gatekeeper-protocol
- .github
- workflows
- .machine_readable/6a2
- contractiles
- dust
- must
- docs
- ffi/zig
- src
- test
- mcp-repo-guardian
- .github
- workflows
- .machine_readable/6a2
- bench
- contractiles
- dust
- must
- ffi/zig
- src
- test
- lib/ocaml
- src
- test
- repo-guardian-fs
- .github
- workflows
- .machine_readable/6a2
- contractiles
- dust
- must
- ffi/zig
- src
- test
- src
- tests-offline
- src
- LICENSES
- a2ml-templates
- a2ml
- .github
- workflows
- .machine_readable/6a2
- LICENSES
- actions/validate
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- archive
- benchmarks
- bindings
- deno
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- elixir
- gleam
- haskell
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- rust
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- cli
- contractiles/must
- docs
- iana
- paper
- arxiv-submission
- editors
- vscode
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- ffi/zig
- src
- test
- lsp
- src
- pandoc
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- profiles
- a2ml-agentic
- a2ml-anchor
- a2ml-ecosystem
- a2ml-meta
- a2ml-neurosym
- a2ml-playbook
- a2ml-state
- prototype
- ada-tui/docs
- rescript
- src
- wasm
- src
- scripts
- showcase
- output
- src/A2ML
- accessibility
- adoption-readiness-grades
- templates
- agentic-a2ml
- .machine_readable/6a2
- contractiles
- dust
- must
- docs
- examples
- ffi
- zig
- src
- test
- spec
- ai-instruction
- anchor-a2ml
- .machine_readable/6a2
- contractiles
- dust
- must
- examples
- ffi/zig
- src
- test
- spec
- audits
- avow-protocol
- .github/workflows
- .machine_readable/6a2
- .well-known
- avow-lib
- .machine_readable/6a2
- examples
- deno
- rust/src
- ffi/zig
- src
- src/abi
- tests
- config
- contractiles
- dust
- must
- docs
- ffi/zig
- src
- test
- scripts
- src
- bindings
- telegram-bot
- avow-telegram-bot
- .github/workflows
- contractiles
- dust
- must
- trust
- ffi/zig
- src
- test
- src
- contractiles
- dust
- must
- ffi/zig
- src
- test
- axel-protocol
- .github/workflows
- .machine_readable/6a2
- config
- contractiles
- dust
- must
- docs
- ffi/zig
- src
- test
- ietf
- spec
- src
- test
- cartridges
- component-readiness-grades
- templates
- contractiles
- dust
- intend
- must
- trust
- docs
- UX-standards
- evidence/cappauscripto-blitz-2026-04-12
- accessibility
- audits
- compliance
- decisions
- migrations/js-to-affinescript
- proofs
- spec-templates
- T1-critical
- T2-high
- T3-standard
- a2ml-k9
- archetypes
- cli-tool
- config-infra
- game-creative
- integration-sdk
- iser
- julia-pkg
- other
- security
- webapp
- T4-light
- reorg
- ecosystem-a2ml
- .machine_readable/6a2
- contractiles
- dust
- must
- spec
- family
- ensaid-config
- spec
- foundations-readiness-grades
- templates
- hooks
- playbook-to-recipe
- src
- hypatia-rules
- immaculate-guide
- inline-annotations
- examples
- extractor
- src
- k9-coordination-protocol
- examples
- generator
- spec
- tools/k9-init
- src
- k9-svc
- .github/workflows
- .machine_readable/6a2
- actions/validate
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- assets
- benchmarks
- bindings
- deno
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- elixir
- gleam
- haskell
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- rust
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- docs
- iana
- editors
- vscode
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- legal
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- dust
- intend
- must
- trust
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- examples
- k9-sign
- src
- lsp
- src
- mime
- packaging
- aur
- homebrew
- pandoc
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance/rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments