Brummel
72e54f4fd3
The surface-form file extension changes from .ailx to .ail. AILang's
authoring surface now uses the same .ail stem as its canonical JSON
form (.ail.json), giving the language a single coherent extension
family: .ail is the LLM-authored Form A, .ail.json is the canonical
JSON-AST Form B.
Scope (touched):
- 61 example renames examples/**/*.ailx → .ail (git mv)
- 1 rename experiments/.../rendered/ailx.md → ail.md
- 35 content-edited live-toolchain files (crates/, docs/DESIGN.md,
docs/roadmap.md, docs/PROSE_ROUNDTRIP.md, skills/, bench/reference/*.c,
experiment crates under experiments/.../{render,harness,master})
- Experiment-crate cohort rename Cohort::Ailx → Cohort::Ail,
Form::Ailx → Form::Ail, per_cohort/ailx → per_cohort/ail,
{form-only: ailx} → {form-only: ail}, ```ailx → ```ail
Out of scope (deliberately untouched, to preserve honest history):
- docs/journal-archive.md (content-frozen per CLAUDE.md)
- docs/journals/, docs/specs/, docs/plans/, bench/orchestrator-stats/
- experiments/.../runs/ (frozen LLM-output artefacts; models actually
saw .ailx — renaming would falsify the experimental record)
Verification: cargo build/test --workspace green; experiment crate
cargo test green; bench/check.py + compile_check.py + cross_lang.py
all 0-regressed; negative grep for ailx|Ailx|AILX outside the
out-of-scope paths returns zero matches.
Opens immediate follow-up: roadmap.md P2 todo `ail check`/build/run
accept .ail extension — after this rename, .ail is canonical
authoring surface but the CLI still produces a misleading JSON-parse
error on `ail check foo.ail`. That's the next iter.
51 lines
1.1 KiB
C
51 lines
1.1 KiB
C
// Hand-C reference for bench_compute_collatz.
|
|
//
|
|
// Same algorithm as examples/bench_compute_collatz.ail — for each
|
|
// starting value in [1..N], count Collatz steps to reach 1, sum.
|
|
// Three sizes: 10k / 100k / 500k starting values.
|
|
//
|
|
// Data-dependent control flow (n % 2 branch) prevents LLVM from
|
|
// reducing this to closed form. The AILang/C wall-time ratio
|
|
// directly reflects integer-arithmetic + branch-prediction codegen
|
|
// quality.
|
|
//
|
|
// Build: clang -O2 -o compute_collatz compute_collatz.c
|
|
// Expected stdout (one int per line):
|
|
// 849666
|
|
// 10753840
|
|
// 62134795
|
|
|
|
#include <stdio.h>
|
|
|
|
static long collatz_steps(long n) {
|
|
long steps = 0;
|
|
while (n != 1) {
|
|
if ((n % 2) == 0) {
|
|
n = n / 2;
|
|
} else {
|
|
n = n * 3 + 1;
|
|
}
|
|
steps += 1;
|
|
}
|
|
return steps;
|
|
}
|
|
|
|
static long sum_steps(long n) {
|
|
long total = 0;
|
|
for (long i = n; i > 0; i--) {
|
|
total += collatz_steps(i);
|
|
}
|
|
return total;
|
|
}
|
|
|
|
static void run_one(long n) {
|
|
printf("%ld\n", sum_steps(n));
|
|
}
|
|
|
|
int main(void) {
|
|
run_one(10000);
|
|
run_one(100000);
|
|
run_one(500000);
|
|
return 0;
|
|
}
|