Skip to content

Commit 3ac7f63

Browse files
hyperpolymathhyperpolymath
committed
chore: estate-wide metadata and submodule sync (2026-04-20)
1 parent b7fbe5f commit 3ac7f63

47 files changed

Lines changed: 108 additions & 108 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎accessibility-everywhere‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 77a7c4dda3f505449ccfc4723243031b303e5576
1+
Subproject commit 03a934b0b30e729cac988248447dea8bdb684953

‎affinescript-ecosystem/affinescriptiser/src/codegen/affine_gen.rs‎

Lines changed: 30 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -42,28 +42,28 @@ pub fn generate_affine_module(
4242
source,
4343
"// AffineScript module generated by affinescriptiser"
4444
)
45-
.expect("TODO: handle error");
46-
writeln!(source, "// SPDX-License-Identifier: PMPL-1.0-or-later").expect("TODO: handle error");
47-
writeln!(source, "// Module: {}", module_name).expect("TODO: handle error");
48-
writeln!(source).expect("TODO: handle error");
49-
writeln!(source, "module {} {{", module_name).expect("TODO: handle error");
50-
writeln!(source).expect("TODO: handle error");
45+
.expect("writing to String is infallible");
46+
writeln!(source, "// SPDX-License-Identifier: PMPL-1.0-or-later").expect("writing to String is infallible");
47+
writeln!(source, "// Module: {}", module_name).expect("writing to String is infallible");
48+
writeln!(source).expect("writing to String is infallible");
49+
writeln!(source, "module {} {{", module_name).expect("writing to String is infallible");
50+
writeln!(source).expect("writing to String is infallible");
5151

5252
// Generate wrapper types and safe API for each resource.
5353
for resource in resources {
5454
generate_resource_wrapper(&mut source, resource);
55-
writeln!(source).expect("TODO: handle error");
55+
writeln!(source).expect("writing to String is infallible");
5656
}
5757

5858
// Perform static violation analysis on the parsed sites.
5959
let detected = analyse_sites(resources, sites);
6060
for v in &detected {
6161
// Emit violation as a compile-time error annotation.
62-
writeln!(source, " // @error: {}", v.violation).expect("TODO: handle error");
62+
writeln!(source, " // @error: {}", v.violation).expect("writing to String is infallible");
6363
}
6464
violations.extend(detected);
6565

66-
writeln!(source, "}}").expect("TODO: handle error");
66+
writeln!(source, "}}").expect("writing to String is infallible");
6767

6868
AffineModule {
6969
module_name: module_name.to_string(),
@@ -89,81 +89,81 @@ fn generate_resource_wrapper(out: &mut String, resource: &AffineResource) {
8989
" // {} resource — {} discipline",
9090
type_name, resource.affinity
9191
)
92-
.expect("TODO: handle error");
92+
.expect("writing to String is infallible");
9393
writeln!(
9494
out,
9595
" // Allocated by: {} Deallocated by: {}",
9696
resource.allocator, resource.deallocator
9797
)
98-
.expect("TODO: handle error");
98+
.expect("writing to String is infallible");
9999
writeln!(
100100
out,
101101
" type {}<{}> = opaque handle;",
102102
type_name, affinity_marker
103103
)
104-
.expect("TODO: handle error");
105-
writeln!(out).expect("TODO: handle error");
104+
.expect("writing to String is infallible");
105+
writeln!(out).expect("writing to String is infallible");
106106

107107
// Safe allocator — returns a wrapped handle.
108108
writeln!(
109109
out,
110110
" // Safe wrapper for {} — returns an affine-tracked handle",
111111
resource.allocator
112112
)
113-
.expect("TODO: handle error");
113+
.expect("writing to String is infallible");
114114
writeln!(
115115
out,
116116
" fn safe_create_{name}(params: AllocParams) -> {type_name}<{marker}> {{",
117117
name = to_snake_case(type_name),
118118
type_name = type_name,
119119
marker = affinity_marker
120120
)
121-
.expect("TODO: handle error");
122-
writeln!(out, " let raw = @ffi::{}(params);", resource.allocator).expect("TODO: handle error");
123-
writeln!(out, " {}<{}>::wrap(raw)", type_name, affinity_marker).expect("TODO: handle error");
124-
writeln!(out, " }}").expect("TODO: handle error");
125-
writeln!(out).expect("TODO: handle error");
121+
.expect("writing to String is infallible");
122+
writeln!(out, " let raw = @ffi::{}(params);", resource.allocator).expect("writing to String is infallible");
123+
writeln!(out, " {}<{}>::wrap(raw)", type_name, affinity_marker).expect("writing to String is infallible");
124+
writeln!(out, " }}").expect("writing to String is infallible");
125+
writeln!(out).expect("writing to String is infallible");
126126

127127
// Safe deallocator — consumes the wrapped handle.
128128
writeln!(
129129
out,
130130
" // Safe wrapper for {} — consumes the handle (cannot be used again)",
131131
resource.deallocator
132132
)
133-
.expect("TODO: handle error");
133+
.expect("writing to String is infallible");
134134
writeln!(
135135
out,
136136
" fn safe_destroy_{name}(handle: {type_name}<{marker}>) -> () {{",
137137
name = to_snake_case(type_name),
138138
type_name = type_name,
139139
marker = affinity_marker
140140
)
141-
.expect("TODO: handle error");
141+
.expect("writing to String is infallible");
142142
writeln!(
143143
out,
144144
" let raw = {}<{}>::unwrap(handle);",
145145
type_name, affinity_marker
146146
)
147-
.expect("TODO: handle error");
148-
writeln!(out, " @ffi::{}(raw);", resource.deallocator).expect("TODO: handle error");
149-
writeln!(out, " }}").expect("TODO: handle error");
147+
.expect("writing to String is infallible");
148+
writeln!(out, " @ffi::{}(raw);", resource.deallocator).expect("writing to String is infallible");
149+
writeln!(out, " }}").expect("writing to String is infallible");
150150

151151
// Linear resources get a must-consume annotation.
152152
if resource.affinity == AffinityKind::Linear {
153-
writeln!(out).expect("TODO: handle error");
153+
writeln!(out).expect("writing to String is infallible");
154154
writeln!(
155155
out,
156156
" // LINEAR INVARIANT: {} must be consumed exactly once.",
157157
type_name
158158
)
159-
.expect("TODO: handle error");
159+
.expect("writing to String is infallible");
160160
writeln!(
161161
out,
162162
" #[must_consume(\"{} is linear — must be explicitly deallocated\")]",
163163
type_name
164164
)
165-
.expect("TODO: handle error");
166-
writeln!(out, " impl MustConsume for {}<Linear> {{}}", type_name).expect("TODO: handle error");
165+
.expect("writing to String is infallible");
166+
writeln!(out, " impl MustConsume for {}<Linear> {{}}", type_name).expect("writing to String is infallible");
167167
}
168168
}
169169

@@ -238,7 +238,8 @@ fn to_snake_case(s: &str) -> String {
238238
if i > 0 {
239239
result.push('_');
240240
}
241-
result.push(c.to_lowercase().next().expect("TODO: handle error"));
241+
// char::to_lowercase returns a non-empty iterator for every char.
242+
result.push(c.to_lowercase().next().expect("char::to_lowercase yields at least one char"));
242243
} else {
243244
result.push(c);
244245
}

‎affinescript-ecosystem/affinescriptiser/src/codegen/parser.rs‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -54,11 +54,10 @@ pub fn parse_sources(manifest: &Manifest) -> Vec<ResourceSite> {
5454
let mut sites = Vec::new();
5555

5656
for source in &manifest.sources {
57-
let lang = SourceLanguage::from_str(&source.language);
58-
if lang.is_none() {
59-
// Unknown language — skip (validation should have caught this).
57+
// Unknown language — skip (validation should have caught this).
58+
let Some(lang) = SourceLanguage::from_str(&source.language) else {
6059
continue;
61-
}
60+
};
6261

6362
// Read the source file contents; if unavailable, skip gracefully.
6463
let content = match std::fs::read_to_string(&source.path) {
@@ -71,7 +70,7 @@ pub fn parse_sources(manifest: &Manifest) -> Vec<ResourceSite> {
7170
let trimmed = line.trim();
7271

7372
// Skip comments (basic heuristic per language).
74-
if is_comment(trimmed, lang.expect("TODO: handle error")) {
73+
if is_comment(trimmed, lang) {
7574
continue;
7675
}
7776

‎affinescript-ecosystem/affinescriptiser/src/codegen/wasm_gen.rs‎

Lines changed: 33 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -48,37 +48,37 @@ fn generate_build_config(config: &WasmConfig, module_name: &str) -> String {
4848
out,
4949
"# WASM build configuration generated by affinescriptiser"
5050
)
51-
.expect("TODO: handle error");
52-
writeln!(out, "# SPDX-License-Identifier: PMPL-1.0-or-later").expect("TODO: handle error");
53-
writeln!(out).expect("TODO: handle error");
54-
writeln!(out, "[build]").expect("TODO: handle error");
55-
writeln!(out, "module = \"{}\"", module_name).expect("TODO: handle error");
56-
writeln!(out, "target = \"{}\"", config.target).expect("TODO: handle error");
57-
writeln!(out, "optimize = {}", config.optimize).expect("TODO: handle error");
51+
.expect("writing to String is infallible");
52+
writeln!(out, "# SPDX-License-Identifier: PMPL-1.0-or-later").expect("writing to String is infallible");
53+
writeln!(out).expect("writing to String is infallible");
54+
writeln!(out, "[build]").expect("writing to String is infallible");
55+
writeln!(out, "module = \"{}\"", module_name).expect("writing to String is infallible");
56+
writeln!(out, "target = \"{}\"", config.target).expect("writing to String is infallible");
57+
writeln!(out, "optimize = {}", config.optimize).expect("writing to String is infallible");
5858

5959
if let Some(limit) = config.size_limit_kb {
60-
writeln!(out, "size-limit-kb = {}", limit).expect("TODO: handle error");
60+
writeln!(out, "size-limit-kb = {}", limit).expect("writing to String is infallible");
6161
}
6262

63-
writeln!(out).expect("TODO: handle error");
64-
writeln!(out, "[build.flags]").expect("TODO: handle error");
63+
writeln!(out).expect("writing to String is infallible");
64+
writeln!(out, "[build.flags]").expect("writing to String is infallible");
6565

6666
// Target-specific flags.
6767
match config.target {
6868
WasmTarget::Wasm32Unknown => {
69-
writeln!(out, "# Browser-compatible WASM (no WASI)").expect("TODO: handle error");
70-
writeln!(out, "no-wasi = true").expect("TODO: handle error");
69+
writeln!(out, "# Browser-compatible WASM (no WASI)").expect("writing to String is infallible");
70+
writeln!(out, "no-wasi = true").expect("writing to String is infallible");
7171
}
7272
WasmTarget::Wasm32Wasi => {
73-
writeln!(out, "# WASI-enabled WASM (filesystem, env access)").expect("TODO: handle error");
74-
writeln!(out, "wasi = true").expect("TODO: handle error");
73+
writeln!(out, "# WASI-enabled WASM (filesystem, env access)").expect("writing to String is infallible");
74+
writeln!(out, "wasi = true").expect("writing to String is infallible");
7575
}
7676
}
7777

7878
if config.optimize {
79-
writeln!(out, "wasm-opt = true").expect("TODO: handle error");
80-
writeln!(out, "strip-debug = true").expect("TODO: handle error");
81-
writeln!(out, "lto = true").expect("TODO: handle error");
79+
writeln!(out, "wasm-opt = true").expect("writing to String is infallible");
80+
writeln!(out, "strip-debug = true").expect("writing to String is infallible");
81+
writeln!(out, "lto = true").expect("writing to String is infallible");
8282
}
8383

8484
out
@@ -88,48 +88,48 @@ fn generate_build_config(config: &WasmConfig, module_name: &str) -> String {
8888
fn generate_entry_point(affine_module: &AffineModule) -> String {
8989
let mut out = String::new();
9090

91-
writeln!(out, "// WASM entry point generated by affinescriptiser").expect("TODO: handle error");
92-
writeln!(out, "// SPDX-License-Identifier: PMPL-1.0-or-later").expect("TODO: handle error");
93-
writeln!(out).expect("TODO: handle error");
91+
writeln!(out, "// WASM entry point generated by affinescriptiser").expect("writing to String is infallible");
92+
writeln!(out, "// SPDX-License-Identifier: PMPL-1.0-or-later").expect("writing to String is infallible");
93+
writeln!(out).expect("writing to String is infallible");
9494
writeln!(
9595
out,
9696
"import {{ * }} from \"{}\";",
9797
affine_module.module_name
9898
)
99-
.expect("TODO: handle error");
100-
writeln!(out).expect("TODO: handle error");
99+
.expect("writing to String is infallible");
100+
writeln!(out).expect("writing to String is infallible");
101101

102102
// Extract and re-export all safe_create_* and safe_destroy_* functions.
103103
for line in affine_module.source.lines() {
104104
let trimmed = line.trim();
105105
if trimmed.starts_with("fn safe_create_") || trimmed.starts_with("fn safe_destroy_") {
106106
// Extract the function name.
107107
if let Some(name) = extract_function_name(trimmed) {
108-
writeln!(out, "@wasm_export").expect("TODO: handle error");
108+
writeln!(out, "@wasm_export").expect("writing to String is infallible");
109109
writeln!(
110110
out,
111111
"pub fn {}(/* forwarded params */) -> /* forwarded return */ {{",
112112
name
113113
)
114-
.expect("TODO: handle error");
114+
.expect("writing to String is infallible");
115115
writeln!(
116116
out,
117117
" {}.{}(/* forwarded args */)",
118118
affine_module.module_name, name
119119
)
120-
.expect("TODO: handle error");
121-
writeln!(out, "}}").expect("TODO: handle error");
122-
writeln!(out).expect("TODO: handle error");
120+
.expect("writing to String is infallible");
121+
writeln!(out, "}}").expect("writing to String is infallible");
122+
writeln!(out).expect("writing to String is infallible");
123123
}
124124
}
125125
}
126126

127127
// Export a health-check function for WASM module validation.
128-
writeln!(out, "@wasm_export").expect("TODO: handle error");
129-
writeln!(out, "pub fn affinescriptiser_health() -> i32 {{").expect("TODO: handle error");
130-
writeln!(out, " // Returns 0 if all resource invariants hold").expect("TODO: handle error");
131-
writeln!(out, " 0").expect("TODO: handle error");
132-
writeln!(out, "}}").expect("TODO: handle error");
128+
writeln!(out, "@wasm_export").expect("writing to String is infallible");
129+
writeln!(out, "pub fn affinescriptiser_health() -> i32 {{").expect("writing to String is infallible");
130+
writeln!(out, " // Returns 0 if all resource invariants hold").expect("writing to String is infallible");
131+
writeln!(out, " 0").expect("writing to String is infallible");
132+
writeln!(out, "}}").expect("writing to String is infallible");
133133

134134
out
135135
}
@@ -239,7 +239,7 @@ mod tests {
239239
assert!(violation.is_some());
240240
assert!(
241241
violation
242-
.expect("TODO: handle error")
242+
.unwrap()
243243
.violation
244244
.to_string()
245245
.contains("SIZE-EXCEEDED")

‎asdf-tool-plugins‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit aba1fbe98e8415fa0bb3768a4923983362937fba
1+
Subproject commit 02d64400be429a0a999288521ce20a17ea8761b8

‎aspasia‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 1fb8a0b9622d052358b624abf962a309505abe94
1+
Subproject commit 9992095f54d7d376860d9bf4010721d275cd182b

‎awesome-nickel‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit cd1ee36937a8291f57645522887c1cceeffb7e43
1+
Subproject commit 4b3b86f2767586f02a3ac23143767cd8542948dd

‎bebop-ffi‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit fe3d2d4ae6531ddce1416a162ff9e33a37e8e557
1+
Subproject commit 20fea28fcde2a79bd2c076af127973928f0638cb

‎bunsenite‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit bd213c0cbb46c3c27c61dadc7d658ce1fec5ef0a
1+
Subproject commit 7700ae40a7c4828f77cbf6025ed41bfed41b5b71

‎burble‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit ec2db6d6073a2c746cf8d5823ef27079fe604654
1+
Subproject commit c663d2a2ead96a1e40d2fd9bf99891742732be67

0 commit comments

Comments
 (0)