Commit 1d485cd
committed
chore: rename k9 directories to self-validating for clarity
1 parent a9546aa commit 1d485cd
1,924 files changed
Lines changed: 106 additions & 106 deletions
File tree
- .machine_readable
- migrations
- svc/self-validating
- examples
- a2ml/docs
- iana
- component-readiness-grades
- contractiles
- docs
- k9-coordination-protocol
- outreach
- self-validating
- .github/workflows
- .machine_readable/6a2
- actions/validate
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance
- reuse
- 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
- examples
- 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
- tests
- traceability
- assets
- benchmarks
- bindings
- deno
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance
- reuse
- 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
- examples
- 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
- tests
- traceability
- elixir
- lib
- self_validating
- test
- gleam
- .github/workflows
- src
- k9_gleam
- test
- haskell
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance
- reuse
- 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
- examples
- features
- boj-server
- panic-attacker
- ssg
- src
- Data
- K9
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- tests
- traceability
- rust
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance
- reuse
- rust
- configs
- git-cliff
- contractiles
- dust
- must
- trust
- policies
- scripts
- forge
- lifecycle
- maintenance
- verification
- .well-known
- benches
- 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
- examples
- features
- boj-server
- panic-attacker
- ssg
- src
- tests
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- tests
- traceability
- docs
- iana
- editors
- vscode
- .devcontainer
- .github
- DISCUSSION_TEMPLATE
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- ai
- anchors
- compliance
- reuse
- 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
- examples
- features
- boj-server
- panic-attacker
- ssg
- icons
- snippets
- src
- aspects
- integrity
- observability
- security
- bridges
- contracts
- core
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- syntaxes
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- tests
- 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
- reuse
- 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
- examples
- 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
- tests
- traceability
- scripts
- showcase
- content
- output
- tools
- github-action
- src
- k9-init
- src
- k9-sign
- src
- k9-validate
- src
- templates/minimal
- vscode-extension
- toolchain-readiness-grades
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | | - | |
| 16 | + | |
17 | 17 | | |
18 | 18 | | |
19 | 19 | | |
| |||
Lines changed: 4 additions & 4 deletions
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
0 commit comments