Commit 67454cd
committed
chore: rename k9 directories to self-validating for clarity
1 parent b326695 commit 67454cd
587 files changed
Lines changed: 2126 additions & 908 deletions
File tree
- .claude
- .github
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- 6a2
- anchor
- agent_instructions
- contractiles
- svc
- self-validating
- examples
- affinescript-deno-test
- example
- lib
- affinescript-dom
- ffi/zig/src
- src/abi
- affinescript-tea
- affinescript-vite
- .devcontainer
- .github
- workflows
- .machine_readable
- agent_instructions
- ai
- anchors
- compliance
- configs
- contractiles
- policies
- scripts
- forge
- lifecycle
- verification
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- example
- features
- boj-server
- panic-attacker
- ssg
- src
- aspects
- integrity
- observability
- security
- contracts
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- tests/fuzz
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- idris2
- ABI
- safety_case
- simulations
- tests
- traceability
- affinescriptiser
- .claude
- .devcontainer
- .github
- workflows
- .machine_readable
- agent_instructions
- ai
- anchors
- configs
- contractiles
- policies
- scripts
- forge
- lifecycle
- verification
- container
- docs
- architecture
- attribution
- decisions
- developer
- governance
- audit
- compliance
- effects
- systems
- maintenance
- adaptive
- corrective
- perfective
- planning
- could
- must
- should
- practice
- reports
- compliance
- maintenance
- performance
- quality
- security
- standards
- templates/contractiles
- theory
- computing
- formalisms
- mathematics
- ontologies
- other
- socio-technical
- whitepapers
- academic
- industry
- outreach
- wikis
- examples
- wasm-safe
- features
- boj-server
- panic-attacker
- ssg
- src
- abi
- aspects
- integrity
- observability
- security
- codegen
- contracts
- definitions
- errors
- interface
- abi
- ffi
- src
- test
- generated
- abi
- manifest
- tests
- verification
- benchmarks
- coverage
- fuzzing
- proofs
- safety_case
- simulations
- tests
- traceability
- ai-cli-crash-capture
- conformance
- distributions/rattlescript
- src
- docs
- academic
- formal-verification
- solo-core
- mathematical-foundations
- mechanized
- agda
- coq
- lean
- proofs
- tropical-session-types
- white-papers
- alib
- architecture
- decisions
- governance
- guides
- frontier-programming-practices
- lessons
- migrations
- warmup
- history
- reference
- reports
- specs
- standards
- tutorial
- vision
- editors
- tree-sitter-affinescript
- tree-sitter-rescript
- vscode
- test
- suite
- examples/faces
- ffi/zig
- src
- test
- issues-drafts
- lib
- packages
- affine-js
- affine-vscode
- affinescript-cli
- runtime/src
- site
- spec
- stdlib
- tests
- codegen-deno
- codegen
- conformance
- faces
- modules
- loader-bridge
- xmod-link
- tools
- affine-doc
- assets
- src
- affine-pkg/src
- affinescript-dap/src
- affinescript-lsp/src
- estate-rs-audit
- data
- res-to-affine
- wiki
- compiler
- language-reference
- stdlib
- testing
- tooling
- tutorials
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 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 | | |
2 | 6 | | |
3 | 7 | | |
| |||
103 | 107 | | |
104 | 108 | | |
105 | 109 | | |
106 | | - | |
| 110 | + | |
107 | 111 | | |
108 | 112 | | |
109 | 113 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 | | |
2 | 6 | | |
3 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 | | |
2 | 6 | | |
3 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 | | |
2 | 6 | | |
3 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 | | |
2 | 6 | | |
3 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 | | |
2 | 6 | | |
3 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
| 36 | + | |
36 | 37 | | |
37 | 38 | | |
38 | 39 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
18 | 18 | | |
19 | 19 | | |
20 | 20 | | |
| 21 | + | |
21 | 22 | | |
22 | 23 | | |
23 | 24 | | |
| |||
100 | 101 | | |
101 | 102 | | |
102 | 103 | | |
| 104 | + | |
103 | 105 | | |
104 | 106 | | |
105 | 107 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| 22 | + | |
22 | 23 | | |
23 | 24 | | |
24 | 25 | | |
| |||
89 | 90 | | |
90 | 91 | | |
91 | 92 | | |
| 93 | + | |
92 | 94 | | |
93 | 95 | | |
94 | 96 | | |
| |||
118 | 120 | | |
119 | 121 | | |
120 | 122 | | |
| 123 | + | |
121 | 124 | | |
122 | 125 | | |
123 | 126 | | |
| |||
170 | 173 | | |
171 | 174 | | |
172 | 175 | | |
| 176 | + | |
173 | 177 | | |
174 | 178 | | |
175 | 179 | | |
| |||
232 | 236 | | |
233 | 237 | | |
234 | 238 | | |
| 239 | + | |
235 | 240 | | |
236 | 241 | | |
237 | 242 | | |
| |||
281 | 286 | | |
282 | 287 | | |
283 | 288 | | |
| 289 | + | |
284 | 290 | | |
285 | 291 | | |
286 | 292 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
| 26 | + | |
26 | 27 | | |
27 | 28 | | |
28 | 29 | | |
| |||
0 commit comments