Commit eb7f676
authored
File tree
- .github/workflows
- .machine_readable/6a2
- 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
- consent-aware-http
- .github
- workflows
- .machine_readable/6a2
- .migration
- contractiles
- dust
- must
- ffi/zig
- 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 | |
|---|---|---|---|
| |||
81 | 81 | | |
82 | 82 | | |
83 | 83 | | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
84 | 95 | | |
85 | 96 | | |
86 | 97 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
77 | 77 | | |
78 | 78 | | |
79 | 79 | | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
80 | 95 | | |
81 | 96 | | |
82 | 97 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | | - | |
| 8 | + | |
9 | 9 | | |
10 | | - | |
| 10 | + | |
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
| |||
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | | - | |
38 | | - | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 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 | | |
| |||
0 commit comments