Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • aff25cdd6b spec: docs-honesty-lint — discriminator + enumerated pin + Sweep 5 Brummel 2026-05-18 12:05:40 +02:00
  • 5bb721178f fieldtest: remove-mut-var-assign — 4 examples, all working; milestone CLOSED Brummel 2026-05-18 11:28:34 +02:00
  • 4837871ddf iter remove-mut-var-assign.tidy: form_a.md grammar deletion + audit close Brummel 2026-05-18 11:19:48 +02:00
  • 07f080256c iter remove-mut-var-assign.1: atomic removal of mut/var/assign Brummel 2026-05-18 11:06:17 +02:00
  • f355899fdf plan: remove-mut-var-assign.1 — single terminal iteration Brummel 2026-05-18 10:21:16 +02:00
  • d1ad50e1b1 spec: remove mut/var/assign — atomic cut (Approach A), grounding-check PASS Brummel 2026-05-18 10:09:33 +02:00
  • 48e7774d01 audit: prose-loop-binders milestone CLOSE — clean / carry-on Brummel 2026-05-18 01:10:20 +02:00
  • c9355d7d58 iter prose-loop-binders.1: Form-B loop binders as parenthesised init-list Brummel 2026-05-18 01:04:19 +02:00
  • 6533134dab plan: prose-loop-binders.1 — loop-arm rewrite + 2 snapshot pins Brummel 2026-05-18 01:00:30 +02:00
  • c657e74f9c spec: prose-loop-binders — loop binders out of the body block Brummel 2026-05-18 00:55:46 +02:00
  • 6cbd0fe6b1 WhatsNew: loop/recur milestone closed — first-class loop construct shipped Brummel 2026-05-18 00:32:50 +02:00
  • 2ed355c6fa fieldtest: loop-recur — 10 examples, 6 findings (milestone CLOSE, clean on all axes) Brummel 2026-05-18 00:31:19 +02:00
  • 2ee97943bd iter loop-recur.tidy GREEN: reject lambda-captures-loop-binder at check + milestone-close audit resolution Brummel 2026-05-18 00:21:06 +02:00
  • 39380d361d test: RED — lambda capturing a loop binder must fail ail check (loop-recur.tidy) Brummel 2026-05-18 00:08:51 +02:00
  • edd2558d35 iter loop-recur.3: codegen — real LLVM-IR lowering + run-to-value E2E (milestone terminal) Brummel 2026-05-17 23:57:46 +02:00
  • eae73bf320 plan: loop-recur.3 — codegen (Component 5) + run-to-value E2E Brummel 2026-05-17 23:46:40 +02:00
  • 1566ce0b29 iter loop-recur.2: typecheck semantics — binder typing, recur checks, verify_loop_body Brummel 2026-05-17 23:33:43 +02:00
  • 5ac57fe8de plan: loop-recur.2 — typecheck semantics (Component 4) Brummel 2026-05-17 23:13:59 +02:00
  • a179ec30a0 iter loop-recur.1: additive Term::Loop / Term::Recur / LoopBinder foundation Brummel 2026-05-17 23:00:15 +02:00
  • a5eebcd5fd plan: loop-recur.1 — additive AST-node foundation Brummel 2026-05-17 22:36:08 +02:00
  • 5f586f8dd0 roadmap: loop-recur spec'd + approved (97c1ed1) — open as P0 in-flight Brummel 2026-05-17 22:17:07 +02:00
  • 97c1ed1f63 spec: loop-recur — standalone strict iteration construct Brummel 2026-05-17 22:15:55 +02:00
  • 8c664c18da spec: LLM-surface discipline — meta-principle + open forks Brummel 2026-05-17 22:15:47 +02:00
  • ad682574ce docs: correct stale mono.rs module header — pass is implemented, not a skeleton Brummel 2026-05-17 15:02:30 +02:00
  • cac08eeb94 roadmap: effect-doc-honesty closed (shipped a29700c) — collapse stale [~] entry Brummel 2026-05-16 13:32:15 +02:00
  • f3fdacd871 planner: Step-5 self-review item 6 — pin/replacement substring contiguity Brummel 2026-05-16 13:26:55 +02:00
  • a29700cc9e iter effect-doc-honesty: make the effect-system documentation true Brummel 2026-05-16 13:25:49 +02:00
  • c41e0e5a9e tidy setup: retire effect-op-arg-modes bundle; split out effect-doc-honesty + AILang-code spec discipline Brummel 2026-05-16 13:18:20 +02:00
  • 4ce1f2d1f6 WhatsNew: iteration-discipline-revert closed — done-state entry Brummel 2026-05-16 01:44:35 +02:00
  • 78426643df audit: iteration-discipline-revert milestone close — clean Brummel 2026-05-16 01:42:58 +02:00
  • 37ac704bf3 iter revert: back out the Iteration-discipline milestone (it.1 + it.2) Brummel 2026-05-16 01:28:47 +02:00
  • abf00131c1 plan: iter-revert — surgical forward revert of the iteration-discipline milestone Brummel 2026-05-16 00:50:15 +02:00
  • b3853bf17e spec: iteration-discipline-revert — full revert to the pre-milestone iteration story Brummel 2026-05-16 00:33:54 +02:00
  • d189f688b6 roadmap: iteration-discipline status + the it.3-surfaced blocking fork Brummel 2026-05-15 16:08:15 +02:00
  • 305ffd1367 iter it.3 BLOCKED: surfaced fundamental milestone-design fork (bounce-back) Brummel 2026-05-15 16:06:42 +02:00
  • c992eb93df plan: it.3 retire tail-app/tail-do + corpus migration — 7 tasks Brummel 2026-05-15 15:48:25 +02:00
  • 10a0595b47 spec: correct it.3 §Remove + §Codegen-rework (it.3-recon-surfaced defects) Brummel 2026-05-15 15:44:15 +02:00
  • 20181786a3 spec: correct it.3 corpus-migration scope (it.2-surfaced premise defect) Brummel 2026-05-15 15:32:31 +02:00
  • a4be1e58a3 iter it.2: structural-guardedness checker + first real Diverge effect Brummel 2026-05-15 15:29:43 +02:00
  • bc9f512003 plan: it.2 guardedness checker + Diverge effect — 6 tasks Brummel 2026-05-15 14:50:22 +02:00
  • 96db54d15d iter it.1: loop/recur additive — Term::Loop/Term::Recur/LoopBinder end-to-end Brummel 2026-05-15 14:38:55 +02:00
  • 7381a4233b plan: it.1 loop/recur additive — 8 tasks, stub-then-fill mirroring mut.1 Brummel 2026-05-15 13:49:53 +02:00
  • fda9b78e9f spec: iteration-discipline milestone — structural recursion + named loop/recur; tail-app retired Brummel 2026-05-15 13:37:16 +02:00
  • 4079f0997e roadmap: park fieldtest F3 (zero-arg (app f) rejected at parse) as P2 todo Brummel 2026-05-15 13:01:23 +02:00
  • 9973546e3b design: feature-acceptance criterion clause 3 + iteration-discipline roadmap milestone Brummel 2026-05-15 12:53:20 +02:00
  • 1ff7e811af fix: mut-local diagnostics doubled the [code] prefix in human stderr (fieldtest F2) Brummel 2026-05-15 10:13:50 +02:00
  • 1faee673f7 fieldtest: mut-local — 6 examples (4 positive + 2 negative probes), 0 bugs / 3 friction / 1 spec_gap Brummel 2026-05-15 09:52:43 +02:00
  • 8685e96970 WhatsNew + roadmap: mut-local milestone closed; Stateful-islands marked in-progress Brummel 2026-05-15 09:22:48 +02:00
  • 20add51112 iter mut.4-tidy + audit close — mut-local milestone closed Brummel 2026-05-15 09:21:33 +02:00
  • 6966cce702 plan: mut.4-tidy — close mut-local audit drift Brummel 2026-05-15 02:05:22 +02:00
  • 03fb633d85 iter mut.3: codegen + e2e — mut-local milestone end-to-end closed Brummel 2026-05-15 01:56:26 +02:00
  • b057789b55 plan: mut.3 — codegen + e2e for Term::Mut / Term::Assign Brummel 2026-05-15 01:44:13 +02:00
  • b24718a5ff iter mut.2: typecheck for Term::Mut + Term::Assign Brummel 2026-05-15 01:37:25 +02:00
  • 3a5b1d3347 plan: mut.2 — typecheck for Term::Mut / Term::Assign Brummel 2026-05-15 01:17:44 +02:00
  • 7b92719244 iter mut.1: AST extension + Form A surface for local mutable state Brummel 2026-05-15 01:10:56 +02:00
  • 60e4559e31 plan: mut.1 — AST extension + Form A surface for mut/var/assign Brummel 2026-05-15 00:43:19 +02:00
  • ce5567d601 spec: mut-local — local mutable state (mut/var/assign) — foundation milestone for stateful islands Brummel 2026-05-15 00:33:24 +02:00
  • ae96c903a1 roadmap: stateful-islands milestone — bounded mutation for streaming workloads Brummel 2026-05-15 00:26:16 +02:00
  • cf85282693 WhatsNew: prelude is now authored as .ail like every other source Brummel 2026-05-14 13:33:18 +02:00
  • 354175be30 audit-pd: tidy items + milestone close (prelude-decouple) Brummel 2026-05-14 13:32:59 +02:00
  • 9a8d3850e7 iter pd.3: prelude.ail.json retired — milestone prelude-decouple closed Brummel 2026-05-14 13:24:40 +02:00
  • c0dd2bc334 plan: pd.3 retire prelude.ail.json + carve-out cleanup Brummel 2026-05-14 13:04:18 +02:00
  • 008d18bb18 iter pd.2: surface owns prelude embed; pd.1 shim retired Brummel 2026-05-14 12:57:27 +02:00
  • 116157a2b8 plan: pd.2 surface-prelude-ownership + shim retirement Brummel 2026-05-14 12:36:18 +02:00
  • ade7464937 INDEX + roadmap: iter pd.1 logged; prelude-decouple milestone moved P2 → P0 [~] Brummel 2026-05-14 12:26:36 +02:00
  • ffa80326a3 iter pd.1: core API split — load_modules_with + build_workspace + implicit_imports threading Brummel 2026-05-14 12:25:12 +02:00
  • 61167a4ef0 plan: pd.1 core API split — load_modules_with + build_workspace + implicit_imports threading Brummel 2026-05-14 12:05:56 +02:00
  • e6298f5950 spec: prelude-decouple — retire prelude.ail.json + decouple core from language content Brummel 2026-05-14 11:57:16 +02:00
  • c17bc70487 WhatsNew: print is the canonical output + two bug fixes + CLI diagnostic polish Brummel 2026-05-14 02:29:08 +02:00
  • a95961617f roadmap: strike compare_primitives_smoke.ail P3 todo (obsolete after form-a milestone) Brummel 2026-05-14 02:28:25 +02:00
  • b8a5a4a10c INDEX: iter cli-diag-human — bracketed [code] in non-JSON stderr Brummel 2026-05-14 02:26:46 +02:00
  • f08ba2bb36 iter cli-diag-human: route WorkspaceLoadError through diagnostic in non-JSON path Brummel 2026-05-14 02:26:46 +02:00
  • 6755060175 INDEX: iter rpe.1.tidy — audit-rpe.1 [medium] drift closed Brummel 2026-05-14 02:19:05 +02:00
  • 21d821e371 iter rpe.1.tidy: subst.rs preserves Type::Fn modes through rebuild Brummel 2026-05-14 02:19:05 +02:00
  • 973f50bf68 INDEX: iter rpe.1 — retire per-type print effect-ops, milestone closed Brummel 2026-05-14 02:12:41 +02:00
  • 6fdb45d2f2 iter rpe.1: retire per-type print effect-ops Brummel 2026-05-14 02:12:34 +02:00
  • 8b455bee4c plan: rpe.1 amendment — Task 5 Cat B test-harness patch Brummel 2026-05-14 01:53:14 +02:00
  • 34a33472cb INDEX: iter bugfix-print-leak-show-ret-mode Brummel 2026-05-14 01:51:50 +02:00
  • feb941363a bugfix: print leak — propagate ret_mode through rigid substitution Brummel 2026-05-14 01:51:50 +02:00
  • 301cbc33a0 INDEX: iter bugfix-mono-cursor-print-with-class-method-arg Brummel 2026-05-14 01:38:47 +02:00
  • 1fb225ee25 bugfix: mono cursor misalignment at poly-free-fn Var with class-constrained Forall Brummel 2026-05-14 01:38:41 +02:00
  • 05e4c04e3b plan: rpe.1 — retire per-type print effect-ops, 10 tasks Brummel 2026-05-14 01:11:18 +02:00
  • 68bab007c8 spec: rpe.1 — retire per-type print effect-ops Brummel 2026-05-14 01:03:08 +02:00
  • e515093d9a WhatsNew: clippy clean across the workspace Brummel 2026-05-14 00:48:22 +02:00
  • abcdd05991 iter clippy-sweep: clear all 61 cargo clippy warnings Brummel 2026-05-14 00:48:17 +02:00
  • 04258c5cc1 WhatsNew: documentation and drift-test hygiene Brummel 2026-05-13 13:22:43 +02:00
  • b638abf1e2 tidy: rustdoc-sweep + drift-test-narrowing — autonomous batch Brummel 2026-05-13 13:22:37 +02:00
  • 48b1f77487 WhatsNew: post-fieldtest follow-up — bug fix, spec tightening, str_concat Brummel 2026-05-13 12:44:57 +02:00
  • fa1b4962f5 INDEX: iter str-concat — heap-Str concatenation primitive in four-site lockstep Brummel 2026-05-13 12:44:11 +02:00
  • e7e67e1a40 iter str-concat: heap-Str concatenation primitive in four-site lockstep Brummel 2026-05-13 12:43:10 +02:00
  • 679572a92d plan: str-concat — str_concat heap-Str primitive (closes fieldtest-form-a friction #4) Brummel 2026-05-13 12:32:47 +02:00
  • 0e152c9527 INDEX: iter form-a.tidy — form_a.md class/instance/constraints + 3 documentary drift items Brummel 2026-05-13 12:26:26 +02:00
  • e809f45e67 iter form-a.tidy: form_a.md class/instance/constraints + 3 documentary drift items Brummel 2026-05-13 12:25:12 +02:00
  • 5e94204c21 plan: form-a.tidy — form_a.md class/instance/constraints + 3 audit drift items Brummel 2026-05-13 12:18:28 +02:00
  • 1e20b18eba INDEX: iter bugfix-instance-body-unbound-var — instance method bodies walked through check_fn Brummel 2026-05-13 12:10:18 +02:00
  • 77f584abbb iter bugfix-instance-body-unbound-var: GREEN — walk instance method bodies through check_fn Brummel 2026-05-13 12:09:39 +02:00
  • 72f3f6541b debug: RED-pin for instance-body unbound-var bug Brummel 2026-05-13 11:59:49 +02:00
  • 8698d897b6 fieldtest-form-a: 4 fixtures + spec report; agent doctrine update Brummel 2026-05-13 11:48:58 +02:00
  • eb4cb25b0c audit-form-a: milestone close — drift_found documentary-only, bench clean Brummel 2026-05-13 11:36:45 +02:00
  • 9fdc4cacff iter form-a.1 (Tasks 6-12): milestone close Brummel 2026-05-13 11:31:39 +02:00