Commit ac0a6bb
authored
File tree
- 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
- a2ml
- .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
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- traceability
- 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
- 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
- snippets
- 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
- prototype
- ada-tui/docs
- rescript
- src
- wasm
- src
- scripts
- showcase
- content
- output
- axel-protocol
- .github/workflows
- .machine_readable/6a2
- config
- contractiles
- dust
- must
- docs
- ffi/zig
- src
- test
- ietf
- spec
- src
- test
- 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
- 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
- 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
- showcase
- content
- output
- tools
- github-action
- src
- k9-init/src
- k9-sign/src
- k9-validate/src
- templates/minimal
- lol
- .github
- workflows
- .machine_readable/6a2
- analysis
- src
- test
- api/zig-gateway
- src
- contractiles
- dust
- must
- ffi/zig
- src
- test
- generated/abi
- orchestrator
- config
- lib
- lol
- test
- proofs
- scripts
- src
- abi
- api
- crawlers
- cyc
- utils
- verisimdb
- test
- crawlers
- utils
- outreach
- .machine_readable/6a2
- rhodium-standard-repositories
- .github/workflows
- .machine_readable/6a2
- contractiles/must
- rhodium-pipeline
- docs
- satellites
- ECOSYSTEM.scm/.github/workflows
- META.scm
- .github/workflows
- examples
- cccp
- .github/workflows
- satellites
- nextgen-languages
- .github/workflows
- 7-tentacles
- .github/workflows
- agents
- tools
- php-aegis
- .github/workflows
- sanctify-php
- .github/workflows
- app
- src/Sanctify
- Analysis
- Transform
- WordPress
- consent-aware-http
- .github/workflows
- mustfile
- .github/workflows
- palimpsest-license
- .github/workflows
- robot-repo-automaton
- .github/workflows
- rsr-certifier
- .github/workflows
- hooks
- rsr-deployer
- .github/workflows
- security-knowledge
- logtalk
- scm
- virtuoso
- state.scm/.github/workflows
- well-known-ecosystem
- .github/workflows
- scripts
- spec
- templates
- ux-test-harness
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 | | |
| |||
Lines changed: 1 addition & 1 deletion
| 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 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments