npm - @greenpandastudios/aug-cli - Versions diffs - 0.19.0 → 0.21.0 - Mend

@greenpandastudios/aug-cli 0.19.0 → 0.21.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (628) hide show

package/README.md +9 -6
package/THIRD_PARTY_NOTICES.md +4 -0
package/bin/aug.mjs +12 -2
package/docs/about.md +27 -0
package/docs/api/crypto.md +103 -69
package/docs/api/io.md +35 -33
package/docs/api/json.md +3 -3
package/docs/api/memory.md +23 -19
package/docs/api/time.md +10 -9
package/docs/api/web.md +33 -38
package/docs/assets/benchmarks/execution.svg +774 -637
package/docs/assets/benchmarks/http.svg +278 -249
package/docs/assets/benchmarks/improvements.svg +66 -66
package/docs/assets/benchmarks/kernels-mobile.svg +1 -0
package/docs/assets/benchmarks/kernels.svg +1 -0
package/docs/assets/benchmarks/memory.svg +153 -153
package/docs/benchmark-results.json +227089 -90363
package/docs/compatibility.md +8 -8
package/docs/contributing-benchmarks.md +68 -0
package/docs/dev-containers.md +88 -0
package/docs/dgx-consumers.json +122 -0
package/docs/dgx-gyms.json +784 -0
package/docs/dgx-kernels.json +1170 -0
package/docs/dgx-performance.json +227849 -0
package/docs/dgx-spark.md +64 -0
package/docs/diagnostics.md +15 -5
package/docs/docker.md +173 -12
package/docs/editor.md +35 -0
package/docs/example-projects.json +238 -24
package/docs/examples/approved-design/counters.md +34 -126
package/docs/examples/approved-design/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/approved-design/domain/app.md +13 -77
package/docs/examples/approved-design/domain/export.md +5 -19
package/docs/examples/approved-design/domain/models.md +4 -23
package/docs/examples/approved-design/domain/numbers.md +24 -114
package/docs/examples/approved-design/index.md +16 -7
package/docs/examples/approved-design/main.md +19 -96
package/docs/examples/benchmark/index.md +6 -5
package/docs/examples/benchmark/main.md +7 -35
package/docs/examples/calls-benchmark/index.md +36 -0
package/docs/examples/calls-benchmark/main.md +78 -0
package/docs/examples/calls-benchmark/operations.md +60 -0
package/docs/examples/cli-args/index.md +6 -5
package/docs/examples/cli-args/main.md +6 -31
package/docs/examples/collections/index.md +6 -5
package/docs/examples/collections/main.md +7 -35
package/docs/examples/collections-benchmark/index.md +6 -5
package/docs/examples/collections-benchmark/main.md +7 -35
package/docs/examples/cpu-benchmark/index.md +6 -5
package/docs/examples/cpu-benchmark/main.md +5 -24
package/docs/examples/developer-workflow/calculator.md +39 -186
package/docs/examples/developer-workflow/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/developer-workflow/index.md +16 -7
package/docs/examples/developer-workflow/logging/console.md +10 -56
package/docs/examples/developer-workflow/logging/export.md +4 -14
package/docs/examples/developer-workflow/logging/logger.md +7 -43
package/docs/examples/developer-workflow/main.md +17 -69
package/docs/examples/drop/index.md +6 -5
package/docs/examples/drop/main.md +7 -27
package/docs/examples/drop/resource.md +7 -30
package/docs/examples/errors/errors.md +7 -27
package/docs/examples/errors/index.md +6 -5
package/docs/examples/errors/main.md +7 -28
package/docs/examples/errors-benchmark/index.md +36 -0
package/docs/examples/errors-benchmark/main.md +92 -0
package/docs/examples/errors-benchmark/operations.md +65 -0
package/docs/examples/ffi/index.md +6 -5
package/docs/examples/ffi/main.md +6 -20
package/docs/examples/ffi/native.md +8 -34
package/docs/examples/float-benchmark/index.md +35 -0
package/docs/examples/float-benchmark/main.md +75 -0
package/docs/examples/generic-di/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/generic-di/index.md +6 -5
package/docs/examples/generic-di/main.md +9 -39
package/docs/examples/generic-di/types.md +23 -92
package/docs/examples/generics/index.md +6 -5
package/docs/examples/generics/main.md +10 -47
package/docs/examples/generics/types.md +25 -100
package/docs/examples/hello/app/export.md +4 -12
package/docs/examples/hello/app/greeter.md +13 -91
package/docs/examples/hello/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/hello/index.md +17 -6
package/docs/examples/hello/logging/console.md +10 -54
package/docs/examples/hello/logging/export.md +4 -14
package/docs/examples/hello/logging/logger.md +7 -45
package/docs/examples/hello/main.md +9 -39
package/docs/examples/http-benchmark/index.md +6 -5
package/docs/examples/http-benchmark/main.md +6 -20
package/docs/examples/http-benchmark/routes.md +9 -31
package/docs/examples/index.md +63 -29
package/docs/examples/interceptors/app.md +20 -139
package/docs/examples/interceptors/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/interceptors/index.md +6 -5
package/docs/examples/interceptors/interceptors.md +24 -148
package/docs/examples/interceptors/logging.md +13 -76
package/docs/examples/interceptors/main.md +10 -65
package/docs/examples/json-benchmark/data.md +4 -20
package/docs/examples/json-benchmark/dependencies/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +67 -0
package/docs/examples/json-benchmark/index.md +7 -5
package/docs/examples/json-benchmark/main-yaml.md +20 -0
package/docs/examples/json-benchmark/main.md +10 -49
package/docs/examples/list-benchmark/index.md +35 -0
package/docs/examples/list-benchmark/main.md +78 -0
package/docs/examples/map-churn-benchmark/index.md +35 -0
package/docs/examples/map-churn-benchmark/main.md +106 -0
package/docs/examples/native-blake3/dependencies/packages/@greenpandastudios/aug-blake3/0.1.3/api.md +104 -0
package/docs/examples/native-blake3/dependencies/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.md +54 -0
package/docs/examples/native-blake3/dependencies/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi-json.md +48 -0
package/docs/examples/native-blake3/hashing.md +93 -0
package/docs/examples/native-blake3/index.md +38 -0
package/docs/examples/native-blake3/main.md +73 -0
package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/api.md +406 -0
package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.md +51 -0
package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.md +63 -0
package/docs/examples/native-pytorch/dependencies/packages/@greenpandastudios/aug-pytorch/0.1.4/native.abi-json.md +161 -0
package/docs/examples/native-pytorch/index.md +38 -0
package/docs/examples/native-pytorch/main.md +73 -0
package/docs/examples/native-pytorch/tensors.md +123 -0
package/docs/examples/native-sqlite/database.md +116 -0
package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/api.md +284 -0
package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.md +51 -0
package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.md +75 -0
package/docs/examples/native-sqlite/dependencies/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi-json.md +119 -0
package/docs/examples/native-sqlite/index.md +38 -0
package/docs/examples/native-sqlite/main.md +73 -0
package/docs/examples/native-zlib/compression.md +99 -0
package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/api.md +153 -0
package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.md +54 -0
package/docs/examples/native-zlib/dependencies/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi-json.md +76 -0
package/docs/examples/native-zlib/index.md +38 -0
package/docs/examples/native-zlib/main.md +78 -0
package/docs/examples/new-syntax/console.md +10 -52
package/docs/examples/new-syntax/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/new-syntax/greeter.md +13 -71
package/docs/examples/new-syntax/index.md +6 -5
package/docs/examples/new-syntax/logger.md +7 -43
package/docs/examples/new-syntax/main.md +10 -53
package/docs/examples/new-syntax/math.md +6 -24
package/docs/examples/oidc-login/client/contracts.md +10 -61
package/docs/examples/oidc-login/client/endpoints.md +32 -154
package/docs/examples/oidc-login/client/export.md +5 -23
package/docs/examples/oidc-login/client/login.md +234 -344
package/docs/examples/oidc-login/client/logout.md +38 -143
package/docs/examples/oidc-login/client/protocol.md +183 -304
package/docs/examples/oidc-login/client/session.md +41 -149
package/docs/examples/oidc-login/client/views.md +13 -58
package/docs/examples/oidc-login/common/export.md +6 -26
package/docs/examples/oidc-login/common/headers.md +42 -72
package/docs/examples/oidc-login/common/keys.md +40 -164
package/docs/examples/oidc-login/common/settings.md +24 -40
package/docs/examples/oidc-login/common/views.md +7 -28
package/docs/examples/oidc-login/dependencies/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.md +205 -0
package/docs/examples/oidc-login/dependencies/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +67 -0
package/docs/examples/oidc-login/dependencies/packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +267 -0
package/docs/examples/oidc-login/dependencies/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/contracts.md +415 -0
package/docs/examples/oidc-login/dependencies/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/jose.md +271 -0
package/docs/examples/oidc-login/dependencies/packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.md +89 -0
package/docs/examples/oidc-login/index.md +8 -7
package/docs/examples/oidc-login/main-yaml.md +7 -0
package/docs/examples/oidc-login/main.md +26 -153
package/docs/examples/oidc-login/provider/authorization.md +232 -275
package/docs/examples/oidc-login/provider/contracts.md +24 -146
package/docs/examples/oidc-login/provider/credentials.md +24 -57
package/docs/examples/oidc-login/provider/discovery.md +48 -122
package/docs/examples/oidc-login/provider/export.md +11 -37
package/docs/examples/oidc-login/provider/token.md +159 -237
package/docs/examples/oidc-login/provider/userinfo.md +47 -102
package/docs/examples/oidc-login/provider/views.md +13 -53
package/docs/examples/ownership/counter.md +17 -63
package/docs/examples/ownership/index.md +6 -5
package/docs/examples/ownership/main.md +7 -30
package/docs/examples/ownership-transfer/dependencies/august/0.21.0/io/contracts.md +178 -0
package/docs/examples/ownership-transfer/index.md +6 -5
package/docs/examples/ownership-transfer/main.md +10 -52
package/docs/examples/ownership-transfer/resource.md +15 -67
package/docs/examples/packages-app/dependencies/packages/@example/aug-math/0.1.0/arithmetic.md +12 -50
package/docs/examples/packages-app/index.md +7 -6
package/docs/examples/packages-app/main.md +7 -25
package/docs/examples/packages-math/aug-package-json.md +1 -1
package/docs/examples/packages-math/index.md +7 -6
package/docs/examples/packages-math/src/arithmetic.md +12 -50
package/docs/examples/packages-math/src/export.md +4 -12
package/docs/examples/records-benchmark/data.md +55 -0
package/docs/examples/records-benchmark/index.md +36 -0
package/docs/examples/records-benchmark/main.md +85 -0
package/docs/examples/startup-benchmark/index.md +6 -5
package/docs/examples/startup-benchmark/main.md +5 -17
package/docs/examples/strings-benchmark/index.md +35 -0
package/docs/examples/strings-benchmark/main.md +76 -0
package/docs/examples/tasks-benchmark/index.md +36 -0
package/docs/examples/tasks-benchmark/main.md +89 -0
package/docs/examples/tasks-benchmark/operations.md +58 -0
package/docs/examples/visibility/counter.md +19 -67
package/docs/examples/visibility/index.md +6 -5
package/docs/examples/visibility/main.md +7 -31
package/docs/examples/weather-api/forecasts.md +168 -0
package/docs/examples/weather-api/index.md +42 -0
package/docs/examples/weather-api/main-yaml.md +21 -0
package/docs/examples/weather-api/main.md +65 -0
package/docs/examples.json +10 -0
package/docs/getting-started.md +105 -2
package/docs/grammar.md +7 -5
package/docs/guides/change-a-module.md +64 -0
package/docs/guides/index.md +27 -0
package/docs/gym-results.json +784 -0
package/docs/implementation-map.md +6 -0
package/docs/index.md +51 -29
package/docs/kernel-results.json +1170 -0
package/docs/language-conformance.md +7 -1
package/docs/language-constructs.md +30 -22
package/docs/language-design-audit.md +1 -1
package/docs/learn/data-and-errors.md +77 -0
package/docs/learn/index.md +30 -0
package/docs/learn/modules-and-dependencies.md +73 -0
package/docs/learn/state-and-tests.md +71 -0
package/docs/learn/values-and-functions.md +62 -0
package/docs/lesson-failures.json +8 -0
package/docs/maintaining-docs.md +16 -4
package/docs/native-implementation.md +276 -0
package/docs/native-interop-llvm-plan.md +342 -0
package/docs/native-package-examples.md +684 -0
package/docs/native-packages.md +179 -0
package/docs/packages.md +72 -126
package/docs/performance.md +61 -68
package/docs/production-readiness.md +16 -5
package/docs/public/downloads/approved-design.zip +0 -0
package/docs/public/downloads/benchmark.zip +0 -0
package/docs/public/downloads/calls-benchmark.zip +0 -0
package/docs/public/downloads/cli-args.zip +0 -0
package/docs/public/downloads/collections-benchmark.zip +0 -0
package/docs/public/downloads/collections.zip +0 -0
package/docs/public/downloads/cpu-benchmark.zip +0 -0
package/docs/public/downloads/developer-workflow.zip +0 -0
package/docs/public/downloads/drop.zip +0 -0
package/docs/public/downloads/errors-benchmark.zip +0 -0
package/docs/public/downloads/errors.zip +0 -0
package/docs/public/downloads/ffi.zip +0 -0
package/docs/public/downloads/float-benchmark.zip +0 -0
package/docs/public/downloads/generic-di.zip +0 -0
package/docs/public/downloads/generics.zip +0 -0
package/docs/public/downloads/hello.zip +0 -0
package/docs/public/downloads/http-benchmark.zip +0 -0
package/docs/public/downloads/interceptors.zip +0 -0
package/docs/public/downloads/json-benchmark.zip +0 -0
package/docs/public/downloads/list-benchmark.zip +0 -0
package/docs/public/downloads/map-churn-benchmark.zip +0 -0
package/docs/public/downloads/native-blake3.zip +0 -0
package/docs/public/downloads/native-pytorch.zip +0 -0
package/docs/public/downloads/native-sqlite.zip +0 -0
package/docs/public/downloads/native-zlib.zip +0 -0
package/docs/public/downloads/new-syntax.zip +0 -0
package/docs/public/downloads/oidc-login.zip +0 -0
package/docs/public/downloads/ownership-transfer.zip +0 -0
package/docs/public/downloads/ownership.zip +0 -0
package/docs/public/downloads/packages-app.zip +0 -0
package/docs/public/downloads/packages-math.zip +0 -0
package/docs/public/downloads/records-benchmark.zip +0 -0
package/docs/public/downloads/startup-benchmark.zip +0 -0
package/docs/public/downloads/strings-benchmark.zip +0 -0
package/docs/public/downloads/tasks-benchmark.zip +0 -0
package/docs/public/downloads/visibility.zip +0 -0
package/docs/public/downloads/weather-api.zip +0 -0
package/docs/qualification-results.md +66 -0
package/docs/reference.md +47 -17
package/docs/releasing.md +105 -16
package/docs/research/code-to-natural-language.md +108 -0
package/docs/research/ecosystem-workflow.md +41 -0
package/docs/research/libtorch-native-qualification.md +115 -0
package/docs/research/native-interop-llvm.md +197 -0
package/docs/research/qualification-methods.md +15 -0
package/docs/research/wiki-editorial-design.md +71 -0
package/docs/roadmap.md +2 -1
package/docs/safety-gyms.md +41 -0
package/docs/specifications.md +27 -11
package/docs/testing.md +19 -5
package/docs/tooling.md +36 -22
package/docs/weather-api.md +65 -0
package/docs/web-library-gaps.md +1 -1
package/docs/web.md +54 -18
package/docs/writing-docs.md +49 -0
package/examples/{hello/.aug-spec/august/0.19.0 → approved-design/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
package/examples/approved-design/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/approved-design/.aug-spec/manifest.json +3 -3
package/examples/approved-design/counters.aug +5 -4
package/examples/approved-design/counters.aug.md +25 -132
package/examples/approved-design/domain/app.aug +2 -1
package/examples/approved-design/domain/app.aug.md +10 -80
package/examples/approved-design/domain/export.aug +1 -0
package/examples/approved-design/domain/export.aug.md +4 -20
package/examples/approved-design/domain/models.aug +1 -0
package/examples/approved-design/domain/models.aug.md +3 -25
package/examples/approved-design/domain/numbers.aug +3 -2
package/examples/approved-design/domain/numbers.aug.md +19 -116
package/examples/approved-design/main.aug +1 -0
package/examples/approved-design/main.aug.md +12 -95
package/examples/benchmark/.aug-spec/manifest.json +1 -1
package/examples/benchmark/main.aug +1 -0
package/examples/benchmark/main.aug.md +6 -36
package/examples/cli-args/.aug-spec/manifest.json +1 -1
package/examples/cli-args/main.aug +1 -0
package/examples/cli-args/main.aug.md +5 -32
package/examples/collections/.aug-spec/manifest.json +1 -1
package/examples/collections/main.aug +1 -0
package/examples/collections/main.aug.md +6 -36
package/examples/{generic-di/.aug-spec/august/0.19.0 → developer-workflow/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
package/examples/developer-workflow/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/developer-workflow/.aug-spec/manifest.json +3 -3
package/examples/developer-workflow/calculator.aug +3 -2
package/examples/developer-workflow/calculator.aug.md +28 -189
package/examples/developer-workflow/logging/console.aug +2 -1
package/examples/developer-workflow/logging/console.aug.md +7 -57
package/examples/developer-workflow/logging/export.aug +1 -0
package/examples/developer-workflow/logging/export.aug.md +3 -15
package/examples/developer-workflow/logging/logger.aug +1 -0
package/examples/developer-workflow/logging/logger.aug.md +6 -46
package/examples/developer-workflow/main.aug +1 -0
package/examples/developer-workflow/main.aug.md +10 -68
package/examples/drop/.aug-spec/manifest.json +1 -1
package/examples/drop/main.aug +1 -0
package/examples/drop/main.aug.md +6 -28
package/examples/drop/resource.aug +1 -0
package/examples/drop/resource.aug.md +6 -34
package/examples/errors/.aug-spec/manifest.json +1 -1
package/examples/errors/errors.aug +2 -1
package/examples/errors/errors.aug.md +4 -27
package/examples/errors/main.aug +1 -0
package/examples/errors/main.aug.md +6 -29
package/examples/ffi/.aug-spec/manifest.json +1 -1
package/examples/ffi/main.aug +1 -0
package/examples/ffi/main.aug.md +5 -21
package/examples/ffi/native.aug +2 -1
package/examples/ffi/native.aug.md +5 -35
package/examples/{approved-design/.aug-spec/august/0.19.0 → generic-di/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
package/examples/generic-di/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/generic-di/.aug-spec/manifest.json +3 -3
package/examples/generic-di/main.aug +1 -0
package/examples/generic-di/main.aug.md +8 -40
package/examples/generic-di/types.aug +3 -2
package/examples/generic-di/types.aug.md +18 -97
package/examples/generics/.aug-spec/manifest.json +1 -1
package/examples/generics/main.aug +1 -0
package/examples/generics/main.aug.md +9 -48
package/examples/generics/types.aug +4 -3
package/examples/generics/types.aug.md +18 -104
package/examples/{developer-workflow/.aug-spec/august/0.19.0 → hello/.aug-spec/august/0.21.0}/io/contracts.aug +4 -3
package/examples/hello/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/hello/.aug-spec/manifest.json +3 -3
package/examples/hello/app/export.aug +1 -0
package/examples/hello/app/export.aug.md +3 -13
package/examples/hello/app/greeter.aug +2 -1
package/examples/hello/app/greeter.aug.md +10 -94
package/examples/hello/logging/console.aug +2 -1
package/examples/hello/logging/console.aug.md +7 -55
package/examples/hello/logging/export.aug +1 -0
package/examples/hello/logging/export.aug.md +3 -15
package/examples/hello/logging/logger.aug +1 -0
package/examples/hello/logging/logger.aug.md +6 -48
package/examples/hello/main.aug +1 -0
package/examples/hello/main.aug.md +8 -40
package/examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug +37 -0
package/examples/interceptors/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/interceptors/.aug-spec/manifest.json +3 -3
package/examples/interceptors/app.aug +3 -2
package/examples/interceptors/app.aug.md +15 -141
package/examples/interceptors/interceptors.aug +3 -2
package/examples/interceptors/interceptors.aug.md +19 -152
package/examples/interceptors/logging.aug +2 -1
package/examples/interceptors/logging.aug.md +10 -79
package/examples/interceptors/main.aug +1 -0
package/examples/interceptors/main.aug.md +9 -66
package/examples/native-blake3/.aug-spec/manifest.json +16 -0
package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.1/native.abi.json +29 -0
package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug +14 -0
package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/api.aug.md +34 -0
package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug +4 -0
package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/contracts.aug.md +8 -0
package/examples/native-blake3/.aug-spec/packages/@greenpandastudios/aug-blake3/0.1.3/native.abi.json +29 -0
package/examples/native-blake3/AGENTS.md +5 -0
package/examples/native-blake3/aug.lock.json +253 -0
package/examples/native-blake3/hashing.aug +11 -0
package/examples/native-blake3/hashing.aug.md +25 -0
package/examples/native-blake3/main.aug +8 -0
package/examples/native-blake3/main.aug.md +13 -0
package/examples/native-pytorch/.aug-spec/manifest.json +18 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.1/native.abi.json +142 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.3/native.abi.json +142 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug +101 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/api.aug.md +160 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug +3 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/bindings.aug.md +8 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug +6 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/contracts.aug.md +13 -0
package/examples/native-pytorch/.aug-spec/packages/@greenpandastudios/aug-pytorch/0.1.4/native.abi.json +142 -0
package/examples/native-pytorch/AGENTS.md +5 -0
package/examples/native-pytorch/aug.lock.json +309 -0
package/examples/native-pytorch/main.aug +8 -0
package/examples/native-pytorch/main.aug.md +13 -0
package/examples/native-pytorch/tensors.aug +23 -0
package/examples/native-pytorch/tensors.aug.md +35 -0
package/examples/native-sqlite/.aug-spec/manifest.json +18 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.2/native.abi.json +100 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug +48 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/api.aug.md +91 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug +3 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/bindings.aug.md +8 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug +8 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/contracts.aug.md +22 -0
package/examples/native-sqlite/.aug-spec/packages/@greenpandastudios/aug-sqlite/0.1.3/native.abi.json +100 -0
package/examples/native-sqlite/AGENTS.md +5 -0
package/examples/native-sqlite/aug.lock.json +236 -0
package/examples/native-sqlite/database.aug +15 -0
package/examples/native-sqlite/database.aug.md +27 -0
package/examples/native-sqlite/main.aug +8 -0
package/examples/native-sqlite/main.aug.md +13 -0
package/examples/native-zlib/.aug-spec/manifest.json +16 -0
package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.1/native.abi.json +57 -0
package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug +29 -0
package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/api.aug.md +54 -0
package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.aug +4 -0
package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/contracts.aug.md +8 -0
package/examples/native-zlib/.aug-spec/packages/@greenpandastudios/aug-zlib/0.1.3/native.abi.json +57 -0
package/examples/native-zlib/AGENTS.md +5 -0
package/examples/native-zlib/aug.lock.json +236 -0
package/examples/native-zlib/compression.aug +15 -0
package/examples/native-zlib/compression.aug.md +27 -0
package/examples/native-zlib/main.aug +10 -0
package/examples/native-zlib/main.aug.md +13 -0
package/examples/new-syntax/.aug-spec/august/0.21.0/io/contracts.aug +37 -0
package/examples/new-syntax/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/new-syntax/.aug-spec/manifest.json +3 -3
package/examples/new-syntax/console.aug +2 -1
package/examples/new-syntax/console.aug.md +7 -53
package/examples/new-syntax/greeter.aug +2 -1
package/examples/new-syntax/greeter.aug.md +10 -74
package/examples/new-syntax/logger.aug +1 -0
package/examples/new-syntax/logger.aug.md +6 -46
package/examples/new-syntax/main.aug +1 -0
package/examples/new-syntax/main.aug.md +9 -54
package/examples/new-syntax/math.aug +2 -1
package/examples/new-syntax/math.aug.md +3 -24
package/examples/oidc-login/.aug-spec/manifest.json +13 -13
package/examples/oidc-login/.aug-spec/packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/store.aug.md +71 -0
package/examples/oidc-login/.aug-spec/packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md +17 -0
package/examples/oidc-login/.aug-spec/packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md +125 -0
package/examples/oidc-login/.aug-spec/{august/0.19.0/crypto → packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40}/contracts.aug +12 -11
package/examples/oidc-login/.aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/contracts.aug.md +244 -0
package/examples/oidc-login/.aug-spec/{august/0.19.0/crypto → packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40}/jose.aug +6 -5
package/examples/oidc-login/.aug-spec/packages/@git/url_9ef654c66d34ab8f5527/0.0.0-git.b14a0f9aa41f1ce58bd51133bcdc424033e40d40/jose.aug.md +71 -0
package/examples/oidc-login/.aug-spec/packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301/contracts.aug.md +30 -0
package/examples/oidc-login/aug.lock.json +100 -0
package/examples/oidc-login/client/contracts.aug +1 -0
package/examples/oidc-login/client/contracts.aug.md +9 -66
package/examples/oidc-login/client/endpoints.aug +6 -5
package/examples/oidc-login/client/endpoints.aug.md +13 -145
package/examples/oidc-login/client/export.aug +1 -0
package/examples/oidc-login/client/export.aug.md +4 -24
package/examples/oidc-login/client/login.aug +7 -6
package/examples/oidc-login/client/login.aug.md +25 -303
package/examples/oidc-login/client/logout.aug +5 -4
package/examples/oidc-login/client/logout.aug.md +13 -135
package/examples/oidc-login/client/protocol.aug +7 -6
package/examples/oidc-login/client/protocol.aug.md +36 -283
package/examples/oidc-login/client/session.aug +5 -4
package/examples/oidc-login/client/session.aug.md +12 -139
package/examples/oidc-login/client/views.aug +3 -2
package/examples/oidc-login/client/views.aug.md +8 -57
package/examples/oidc-login/common/export.aug +1 -0
package/examples/oidc-login/common/export.aug.md +5 -27
package/examples/oidc-login/common/headers.aug +4 -3
package/examples/oidc-login/common/headers.aug.md +9 -67
package/examples/oidc-login/common/keys.aug +6 -5
package/examples/oidc-login/common/keys.aug.md +29 -165
package/examples/oidc-login/common/settings.aug +2 -1
package/examples/oidc-login/common/settings.aug.md +5 -39
package/examples/oidc-login/common/views.aug +2 -1
package/examples/oidc-login/common/views.aug.md +4 -28
package/examples/oidc-login/main.aug +6 -16
package/examples/oidc-login/main.aug.md +17 -146
package/examples/oidc-login/main.yaml +7 -0
package/examples/oidc-login/provider/authorization.aug +7 -6
package/examples/oidc-login/provider/authorization.aug.md +23 -238
package/examples/oidc-login/provider/contracts.aug +1 -0
package/examples/oidc-login/provider/contracts.aug.md +23 -158
package/examples/oidc-login/provider/credentials.aug +3 -2
package/examples/oidc-login/provider/credentials.aug.md +9 -53
package/examples/oidc-login/provider/discovery.aug +4 -3
package/examples/oidc-login/provider/discovery.aug.md +11 -118
package/examples/oidc-login/provider/export.aug +1 -0
package/examples/oidc-login/provider/export.aug.md +6 -34
package/examples/oidc-login/provider/token.aug +6 -5
package/examples/oidc-login/provider/token.aug.md +16 -204
package/examples/oidc-login/provider/userinfo.aug +4 -3
package/examples/oidc-login/provider/userinfo.aug.md +10 -92
package/examples/oidc-login/provider/views.aug +3 -2
package/examples/oidc-login/provider/views.aug.md +8 -52
package/examples/ownership/.aug-spec/manifest.json +1 -1
package/examples/ownership/counter.aug +3 -2
package/examples/ownership/counter.aug.md +12 -66
package/examples/ownership/main.aug +1 -0
package/examples/ownership/main.aug.md +6 -31
package/examples/ownership-transfer/.aug-spec/august/0.21.0/io/contracts.aug +37 -0
package/examples/ownership-transfer/.aug-spec/august/0.21.0/io/contracts.aug.md +82 -0
package/examples/ownership-transfer/.aug-spec/manifest.json +3 -3
package/examples/ownership-transfer/main.aug +1 -0
package/examples/ownership-transfer/main.aug.md +9 -53
package/examples/ownership-transfer/resource.aug +2 -1
package/examples/ownership-transfer/resource.aug.md +12 -71
package/examples/packages/app/.aug-spec/manifest.json +1 -1
package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug +2 -1
package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug.md +9 -51
package/examples/packages/app/main.aug +1 -0
package/examples/packages/app/main.aug.md +6 -26
package/examples/packages/math/.aug-spec/manifest.json +1 -1
package/examples/packages/math/aug-package.json +1 -1
package/examples/packages/math/src/arithmetic.aug +2 -1
package/examples/packages/math/src/arithmetic.aug.md +9 -51
package/examples/packages/math/src/export.aug +1 -0
package/examples/packages/math/src/export.aug.md +3 -13
package/examples/visibility/.aug-spec/manifest.json +1 -1
package/examples/visibility/counter.aug +4 -3
package/examples/visibility/counter.aug.md +12 -68
package/examples/visibility/main.aug +1 -0
package/examples/visibility/main.aug.md +6 -32
package/examples/weather-api/.aug-spec/manifest.json +8 -0
package/examples/weather-api/AGENTS.md +17 -0
package/examples/weather-api/README.md +19 -0
package/examples/weather-api/forecasts.aug +47 -0
package/examples/weather-api/forecasts.aug.md +32 -0
package/examples/weather-api/main.aug +4 -0
package/examples/weather-api/main.aug.md +15 -0
package/examples/weather-api/main.yaml +5 -0
package/examples/weather-api/weather.http +5 -0
package/native/compiler-packs.json +43 -0
package/package.json +4 -4
package/runtime/aug_http.c +48 -21
package/runtime/aug_http_ir.c +30 -0
package/runtime/aug_http_ir.h +18 -0
package/runtime/aug_ir.c +209 -0
package/runtime/aug_ir.h +89 -0
package/runtime/aug_json.c +6 -1
package/runtime/aug_runtime.c +82 -16
package/runtime/aug_runtime.h +16 -2
package/runtime/aug_tasks.c +38 -7
package/runtime/aug_values.c +12 -6
package/scripts/bootstrap-native.mjs +184 -106
package/scripts/native-setup.mjs +98 -0
package/scripts/native-toolchain.mjs +28 -0
package/src/ast.js +1 -1
package/src/builtins.js +1 -1
package/src/checker.js +369 -100
package/src/cli.js +198 -26
package/src/codegen.js +32 -7
package/src/compiler-packs.js +66 -0
package/src/config.js +3 -3
package/src/contracts.js +10 -0
package/src/editor.js +86 -22
package/src/fixes.js +90 -2
package/src/formatter.js +23 -10
package/src/git-http.js +137 -0
package/src/git-packages.js +118 -0
package/src/help.js +33 -24
package/src/http-contracts.js +14 -0
package/src/http-policies.js +5 -5
package/src/ir-types.js +5 -0
package/src/ir-verify.js +277 -0
package/src/ir.js +962 -0
package/src/libraries.js +1 -1
package/src/llvm-debug.js +101 -0
package/src/llvm-native.js +152 -0
package/src/llvm-platform.js +20 -0
package/src/llvm.js +781 -0
package/src/lsp.js +14 -5
package/src/native-artifacts.js +207 -0
package/src/native-bindings.js +189 -0
package/src/native-contracts.js +295 -0
package/src/native-declarations.js +68 -0
package/src/native-facts.js +63 -0
package/src/native.js +19 -13
package/src/navigation.js +4 -2
package/src/openapi.js +5 -4
package/src/package-locking.js +88 -0
package/src/package-manager.js +267 -68
package/src/parser.js +32 -6
package/src/policies.js +3 -3
package/src/project-init.js +78 -4
package/src/project.js +11 -9
package/src/runtime-abi.js +23 -0
package/src/runtime-adapters.js +18 -0
package/src/schemas.js +24 -17
package/src/semantic.js +54 -5
package/src/snippets.js +60 -0
package/src/spec-hints.js +56 -0
package/src/spec-tree.js +241 -0
package/src/spec.js +669 -305
package/docs/examples/approved-design/dependencies/august/0.19.0/io/contracts.md +0 -395
package/docs/examples/developer-workflow/dependencies/august/0.19.0/io/contracts.md +0 -395
package/docs/examples/generic-di/dependencies/august/0.19.0/io/contracts.md +0 -395
package/docs/examples/hello/dependencies/august/0.19.0/io/contracts.md +0 -395
package/docs/examples/interceptors/dependencies/august/0.19.0/io/contracts.md +0 -395
package/docs/examples/json-benchmark/dependencies/august/0.19.0/json/contracts.md +0 -103
package/docs/examples/new-syntax/dependencies/august/0.19.0/io/contracts.md +0 -395
package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/contracts.md +0 -925
package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/jose.md +0 -434
package/docs/examples/oidc-login/dependencies/august/0.19.0/json/contracts.md +0 -103
package/docs/examples/oidc-login/dependencies/august/0.19.0/memory/store.md +0 -374
package/docs/examples/oidc-login/dependencies/august/0.19.0/time/contracts.md +0 -150
package/docs/examples/oidc-login/dependencies/august/0.19.0/web/contracts.md +0 -532
package/docs/examples/ownership-transfer/dependencies/august/0.19.0/io/contracts.md +0 -395
package/examples/approved-design/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
package/examples/hello/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug +0 -36
package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug +0 -36
package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/contracts.aug.md +0 -791
package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/jose.aug.md +0 -266
package/examples/oidc-login/.aug-spec/august/0.19.0/json/contracts.aug.md +0 -55
package/examples/oidc-login/.aug-spec/august/0.19.0/memory/store.aug.md +0 -250
package/examples/oidc-login/.aug-spec/august/0.19.0/time/contracts.aug.md +0 -96
package/examples/oidc-login/.aug-spec/august/0.19.0/web/contracts.aug.md +0 -420
package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug +0 -36
package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug.md +0 -316
/package/examples/oidc-login/.aug-spec/{august/0.19.0/memory → packages/@git/url_0eb7c89453c87681ed15/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/store.aug +0 -0
/package/examples/oidc-login/.aug-spec/{august/0.19.0/json → packages/@git/url_2d3c37c690c0fa115be1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/contracts.aug +0 -0
/package/examples/oidc-login/.aug-spec/{august/0.19.0/web → packages/@git/url_897efafd565158fc4908/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/contracts.aug +0 -0
/package/examples/oidc-login/.aug-spec/{august/0.19.0/time → packages/@git/url_c092cd151499c4e1d8a1/0.0.0-git.a39fc582565d4fca40be4f75fa304d71adc69301}/contracts.aug +0 -0

package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug.md DELETED Viewed

@@ -1,316 +0,0 @@
-<!-- Generated by aug spec. Edit the August source, then regenerate. -->
-# `contracts.aug` specification
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-## In this file
-- [`Console`](contracts.aug.md#symbol-Console) is a capability interface.
-- [`SystemConsole`](contracts.aug.md#symbol-SystemConsole) is a class implementing `Console`.
-- [`FileReader`](contracts.aug.md#symbol-FileReader) is a capability interface.
-- [`FileWriter`](contracts.aug.md#symbol-FileWriter) is a capability interface.
-- [`LocalFiles`](contracts.aug.md#symbol-LocalFiles) is a class implementing `FileReader`, `FileWriter`.
-- [`Arguments`](contracts.aug.md#symbol-Arguments) is a capability interface.
-- [`ProcessArguments`](contracts.aug.md#symbol-ProcessArguments) is a class implementing `Arguments`.
-<a id="symbol-Console"></a>
-## `Console`
-[source](contracts.aug#L3)
-Capability interface.
-**Author documentation**
-Permission to write to a console, provided by an explicitly selected adapter.
-<a id="symbol-Console.write"></a>
-### `Console.write`
-[source](contracts.aug#L5)
-Type parameters: `T`.
-**Inputs**
-- `value` (`T`) — required labeled input.
-Returns: no value.
-Capabilities: [`Console.write`](contracts.aug.md#symbol-Console.write).
-Interface contract. A selected implementation supplies the behavior.
-**Author documentation**
-Write one line of text.
-**Parameters**
-- `value`: Text to display.
-<a id="symbol-SystemConsole"></a>
-## `SystemConsole`
-[source](contracts.aug#L8)
-Behavioral class.
-Satisfies [`Console`](contracts.aug.md#symbol-Console).
-**Author documentation**
-The native standard-output adapter. Construction performs no output.
-<a id="symbol-SystemConsole.write"></a>
-### `SystemConsole.write`
-[source](contracts.aug#L9)
-Type parameters: `T`.
-**Inputs**
-- `value` (`T`) — required labeled input.
-Returns: no value.
-Capabilities: [`Console.write`](contracts.aug.md#symbol-Console.write).
-**What it does**
-- Call `print` with `value` = `value`.
-**Author documentation**
-Write one line of text.
-**Parameters**
-- `value`: Text to display.
-<a id="symbol-FileReader"></a>
-## `FileReader`
-[source](contracts.aug#L13)
-Capability interface.
-**Author documentation**
-Read UTF-8 text through an explicitly selected filesystem adapter.
-<a id="symbol-FileReader.read"></a>
-### `FileReader.read`
-[source](contracts.aug#L15)
-**Inputs**
-- `path` (`string`) — required labeled input.
-Returns: `string`.
-Capabilities: [`FileReader.read`](contracts.aug.md#symbol-FileReader.read).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-Interface contract. A selected implementation supplies the behavior.
-**Author documentation**
-Read text.
-**Parameters**
-- `path`: File path.
-**Throws**
-- `FileError`: The file could not be read.
-<a id="symbol-FileWriter"></a>
-## `FileWriter`
-[source](contracts.aug#L18)
-Capability interface.
-**Author documentation**
-Write UTF-8 text through an explicitly selected filesystem adapter.
-<a id="symbol-FileWriter.write"></a>
-### `FileWriter.write`
-[source](contracts.aug#L20)
-**Inputs**
-- `path` (`string`) — required labeled input.
-- `content` (`string`) — required labeled input.
-Returns: no value.
-Capabilities: [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-Interface contract. A selected implementation supplies the behavior.
-**Author documentation**
-Write text.
-**Parameters**
-- `path`: File path.
-- `content`: Text.
-**Throws**
-- `FileError`: Writing failed.
-<a id="symbol-LocalFiles"></a>
-## `LocalFiles`
-[source](contracts.aug#L23)
-Behavioral class.
-Satisfies [`FileReader`](contracts.aug.md#symbol-FileReader), [`FileWriter`](contracts.aug.md#symbol-FileWriter).
-**Author documentation**
-Native files. Operations are explicit; construction opens no files.
-<a id="symbol-LocalFiles.read"></a>
-### `LocalFiles.read`
-[source](contracts.aug#L24)
-**Inputs**
-- `path` (`string`) — required labeled input.
-Returns: `string`.
-Capabilities: [`FileReader.read`](contracts.aug.md#symbol-FileReader.read).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-**What it does**
-- Return call `read_file` with `path` = `path`.
-**Author documentation**
-Read text.
-**Parameters**
-- `path`: File path.
-**Throws**
-- `FileError`: The file could not be read.
-<a id="symbol-LocalFiles.write"></a>
-### `LocalFiles.write`
-[source](contracts.aug#L26)
-**Inputs**
-- `path` (`string`) — required labeled input.
-- `content` (`string`) — required labeled input.
-Returns: no value.
-Capabilities: [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-**What it does**
-- Call `write_file` with `path` = `path`; `content` = `content`.
-**Author documentation**
-Write text.
-**Parameters**
-- `path`: File path.
-- `content`: Text.
-**Throws**
-- `FileError`: Writing failed.
-<a id="symbol-Arguments"></a>
-## `Arguments`
-[source](contracts.aug#L30)
-Capability interface.
-**Author documentation**
-Read command-line input through an explicit dependency.
-<a id="symbol-Arguments.read"></a>
-### `Arguments.read`
-[source](contracts.aug#L31)
-Returns: `List<string>`.
-Capabilities: [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
-Interface contract. A selected implementation supplies the behavior.
-<a id="symbol-ProcessArguments"></a>
-## `ProcessArguments`
-[source](contracts.aug#L34)
-Behavioral class.
-Satisfies [`Arguments`](contracts.aug.md#symbol-Arguments).
-**Author documentation**
-Native command-line arguments.
-<a id="symbol-ProcessArguments.read"></a>
-### `ProcessArguments.read`
-[source](contracts.aug#L35)
-Returns: `List<string>`.
-Capabilities: [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
-**What it does**
-- Return call `arguments`.
-## Built-in operations used by this file
-- `arguments` (no inputs) → `List<string>`: Composition arguments. Other callables receive the Arguments capability.
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-- `read_file` (`path`: `string`) → `string`: Root-only UTF-8 text input. Other callables receive FileReader. Invalid Unicode and NUL raise FileError. Can fail with `FileError`.
-- `write_file` (`path`: `string`, `content`: `string`) → `void`: Root-only UTF-8 text output. Other callables receive FileWriter. Can fail with `FileError`.
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-## Shared language rules
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.

package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug.md DELETED Viewed

@@ -1,316 +0,0 @@
-<!-- Generated by aug spec. Edit the August source, then regenerate. -->
-# `contracts.aug` specification
-August 0.19.0. This document is compiled from checked code with deterministic wording guided by Simplified Technical English.
-## In this file
-- [`Console`](contracts.aug.md#symbol-Console) is a capability interface.
-- [`SystemConsole`](contracts.aug.md#symbol-SystemConsole) is a class implementing `Console`.
-- [`FileReader`](contracts.aug.md#symbol-FileReader) is a capability interface.
-- [`FileWriter`](contracts.aug.md#symbol-FileWriter) is a capability interface.
-- [`LocalFiles`](contracts.aug.md#symbol-LocalFiles) is a class implementing `FileReader`, `FileWriter`.
-- [`Arguments`](contracts.aug.md#symbol-Arguments) is a capability interface.
-- [`ProcessArguments`](contracts.aug.md#symbol-ProcessArguments) is a class implementing `Arguments`.
-<a id="symbol-Console"></a>
-## `Console`
-[source](contracts.aug#L3)
-Capability interface.
-**Author documentation**
-Permission to write to a console, provided by an explicitly selected adapter.
-<a id="symbol-Console.write"></a>
-### `Console.write`
-[source](contracts.aug#L5)
-Type parameters: `T`.
-**Inputs**
-- `value` (`T`) — required labeled input.
-Returns: no value.
-Capabilities: [`Console.write`](contracts.aug.md#symbol-Console.write).
-Interface contract. A selected implementation supplies the behavior.
-**Author documentation**
-Write one line of text.
-**Parameters**
-- `value`: Text to display.
-<a id="symbol-SystemConsole"></a>
-## `SystemConsole`
-[source](contracts.aug#L8)
-Behavioral class.
-Satisfies [`Console`](contracts.aug.md#symbol-Console).
-**Author documentation**
-The native standard-output adapter. Construction performs no output.
-<a id="symbol-SystemConsole.write"></a>
-### `SystemConsole.write`
-[source](contracts.aug#L9)
-Type parameters: `T`.
-**Inputs**
-- `value` (`T`) — required labeled input.
-Returns: no value.
-Capabilities: [`Console.write`](contracts.aug.md#symbol-Console.write).
-**What it does**
-- Call `print` with `value` = `value`.
-**Author documentation**
-Write one line of text.
-**Parameters**
-- `value`: Text to display.
-<a id="symbol-FileReader"></a>
-## `FileReader`
-[source](contracts.aug#L13)
-Capability interface.
-**Author documentation**
-Read UTF-8 text through an explicitly selected filesystem adapter.
-<a id="symbol-FileReader.read"></a>
-### `FileReader.read`
-[source](contracts.aug#L15)
-**Inputs**
-- `path` (`string`) — required labeled input.
-Returns: `string`.
-Capabilities: [`FileReader.read`](contracts.aug.md#symbol-FileReader.read).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-Interface contract. A selected implementation supplies the behavior.
-**Author documentation**
-Read text.
-**Parameters**
-- `path`: File path.
-**Throws**
-- `FileError`: The file could not be read.
-<a id="symbol-FileWriter"></a>
-## `FileWriter`
-[source](contracts.aug#L18)
-Capability interface.
-**Author documentation**
-Write UTF-8 text through an explicitly selected filesystem adapter.
-<a id="symbol-FileWriter.write"></a>
-### `FileWriter.write`
-[source](contracts.aug#L20)
-**Inputs**
-- `path` (`string`) — required labeled input.
-- `content` (`string`) — required labeled input.
-Returns: no value.
-Capabilities: [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-Interface contract. A selected implementation supplies the behavior.
-**Author documentation**
-Write text.
-**Parameters**
-- `path`: File path.
-- `content`: Text.
-**Throws**
-- `FileError`: Writing failed.
-<a id="symbol-LocalFiles"></a>
-## `LocalFiles`
-[source](contracts.aug#L23)
-Behavioral class.
-Satisfies [`FileReader`](contracts.aug.md#symbol-FileReader), [`FileWriter`](contracts.aug.md#symbol-FileWriter).
-**Author documentation**
-Native files. Operations are explicit; construction opens no files.
-<a id="symbol-LocalFiles.read"></a>
-### `LocalFiles.read`
-[source](contracts.aug#L24)
-**Inputs**
-- `path` (`string`) — required labeled input.
-Returns: `string`.
-Capabilities: [`FileReader.read`](contracts.aug.md#symbol-FileReader.read).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-**What it does**
-- Return call `read_file` with `path` = `path`.
-**Author documentation**
-Read text.
-**Parameters**
-- `path`: File path.
-**Throws**
-- `FileError`: The file could not be read.
-<a id="symbol-LocalFiles.write"></a>
-### `LocalFiles.write`
-[source](contracts.aug#L26)
-**Inputs**
-- `path` (`string`) — required labeled input.
-- `content` (`string`) — required labeled input.
-Returns: no value.
-Capabilities: [`FileWriter.write`](contracts.aug.md#symbol-FileWriter.write).
-Can fail with `FileError`. Callers must catch or propagate these errors.
-**What it does**
-- Call `write_file` with `path` = `path`; `content` = `content`.
-**Author documentation**
-Write text.
-**Parameters**
-- `path`: File path.
-- `content`: Text.
-**Throws**
-- `FileError`: Writing failed.
-<a id="symbol-Arguments"></a>
-## `Arguments`
-[source](contracts.aug#L30)
-Capability interface.
-**Author documentation**
-Read command-line input through an explicit dependency.
-<a id="symbol-Arguments.read"></a>
-### `Arguments.read`
-[source](contracts.aug#L31)
-Returns: `List<string>`.
-Capabilities: [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
-Interface contract. A selected implementation supplies the behavior.
-<a id="symbol-ProcessArguments"></a>
-## `ProcessArguments`
-[source](contracts.aug#L34)
-Behavioral class.
-Satisfies [`Arguments`](contracts.aug.md#symbol-Arguments).
-**Author documentation**
-Native command-line arguments.
-<a id="symbol-ProcessArguments.read"></a>
-### `ProcessArguments.read`
-[source](contracts.aug#L35)
-Returns: `List<string>`.
-Capabilities: [`Arguments.read`](contracts.aug.md#symbol-Arguments.read).
-**What it does**
-- Return call `arguments`.
-## Built-in operations used by this file
-- `arguments` (no inputs) → `List<string>`: Composition arguments. Other callables receive the Arguments capability.
-- `print` (`value`: `any`) → `void`: Composition and test output. Other callables receive Console and declare uses console.write.
-- `read_file` (`path`: `string`) → `string`: Root-only UTF-8 text input. Other callables receive FileReader. Invalid Unicode and NUL raise FileError. Can fail with `FileError`.
-- `write_file` (`path`: `string`, `content`: `string`) → `void`: Root-only UTF-8 text output. Other callables receive FileWriter. Can fail with `FileError`.
-[Full built-in reference](https://greenpandastudios.github.io/augscript/language-constructs).
-## Shared language rules
-See the [language reference](https://greenpandastudios.github.io/augscript/reference) for numeric, equality, ownership, and task rules.