Commit 98ac7fb
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)
- LICENSES/ = {MPL-2.0.txt, CC-BY-SA-4.0.txt}; root LICENSE = verbatim MPL-2.0 (GitHub display)
- SPDX: code -> MPL-2.0, docs (.md/.adoc) -> CC-BY-SA-4.0; metadata/badge fixes; vendored untouched
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>1 parent de4fa3a commit 98ac7fb
1,091 files changed
Lines changed: 1272 additions & 1266 deletions
File tree
- .github/workflows
- .machine_readable
- agent_instructions
- svc/k9
- LICENSES
- docs
- accessibility
- identity-fabric
- migration
- lithoglyph
- .github/workflows
- .machine_readable
- 6a2
- analytics
- ffi/zig
- src
- test
- src
- test
- api
- graphql
- proto
- spec
- src
- beam
- .machine_readable/6a2
- ffi/zig
- src
- test
- native_rust
- src
- native
- src
- src
- lith_beam
- test
- clients/php/src
- Query
- Types
- contractiles/must
- core-factor
- gql-c-api
- gql
- core-forth
- src
- test
- core-zig
- src
- distributed/src
- docs
- examples
- ffi/zig
- src
- test
- generated/abi
- geo
- .machine_readable/6a2
- ffi/zig
- src
- test
- src
- api
- index
- glyphbase
- .github/workflows
- .machine_readable/6a2
- contractiles
- dust
- must
- docs/site
- ffi/zig
- src
- test
- scripts
- server
- ffi/zig
- src
- test
- native_rust
- src
- native
- src
- src
- abi
- lithoglyph
- test
- ui
- src
- api
- bindings
- components
- stores
- styles
- views
- gql-dt
- .github/workflows
- .machine_readable
- 6a2
- bridge
- zig
- src
- test
- cli
- contractiles
- must
- trust
- ffi/zig
- src
- test
- scripts
- spec
- src
- GQLdt/ABI
- GqlDt
- FFI
- Prompt
- Provenance
- Query
- Serialization
- Types
- test
- integrations
- directus/src
- ghost/src
- payload/src
- strapi/src
- lith-http
- .github/workflows
- .machine_readable/6a2
- bench
- k8s
- base
- overlays/production
- lib/lith_http
- native_rust
- src
- src
- test
- lith_http_web
- auth
- controllers
- metrics
- plugs
- lith_http
- normalizer
- factor
- lean
- src
- perf/src
- spec
- src/Lith
- stability/src
- studio
- ffi/zig
- src
- test
- src
- backend
- tasks
- test-vectors
- blocks
- encoding
- gql
- journal
- tests
- e2e/src
- fuzz
- src
- integration/src
- property
- src
- tools
- sdk-gen/src
- verification
- nqc
- spec
- verification
- web
- typeql-experimental
- docs
- spec
- verification
- verisim-core
- verisim-modular-experiment
- docs
- sessions
- spec
- verisimdb
- .clusterfuzzlite
- .github
- workflows
- .machine_readable
- 6a2
- .verisimdb
- admin
- public
- src
- benches
- src
- connectors
- clients
- elixir
- lib
- verisim_client
- test
- julia
- src
- test
- rust
- src
- vlang
- test-infra
- images
- seed
- container
- contractiles
- must
- trust
- debugger
- examples
- src
- tests
- demos/drift-detection
- docs
- business
- financials
- marketing
- pr
- strategy
- design
- papers
- elixir-orchestration
- config
- lib
- verisim
- api
- consensus
- drift
- entity
- federation
- adapters
- hypatia
- query
- schema
- telemetry
- test
- support
- verisim
- api
- aspect
- consensus
- federation
- adapters
- integration
- hypatia
- query
- examples
- vcl-queries
- ffi/zig
- src
- test
- fuzz
- fuzz_targets
- lib/verisim
- playground
- public
- src
- rust-core
- fuzz
- fuzz_targets
- verisim-api
- proto
- src
- proto
- verisim-document
- src
- tests
- verisim-drift
- src
- verisim-graph
- src
- verisim-nif
- src
- verisim-normalizer
- src
- verisim-octad
- src
- tests
- verisim-planner
- src
- verisim-provenance
- src
- verisim-repl
- src
- verisim-semantic
- src
- verisim-spatial
- src
- verisim-storage
- src
- verisim-temporal
- src
- tests
- verisim-tensor
- src
- verisim-vector
- src
- verisim-wal
- src
- scripts
- spec
- src
- abi
- registry
- vcl
- tests
- vcl-bridge
- verification
- proofs
- agda
- idris2
- lean4
- tlaplus
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 | | - | |
2 | | - | |
3 | 1 | | |
4 | 2 | | |
5 | 3 | | |
| |||
Large diffs are not rendered by default.
0 commit comments