This website requires JavaScript.
70aad32e86
workflow(plan-recon): require compile-driven enumeration + existence table
Brummel
2026-05-20 18:26:54 +02:00
13946219f5
fix(runtime): mirror surface .0-fallback in ailang_float_to_str
Brummel
2026-05-20 18:24:57 +02:00
f19b0dd860
test(runtime): RED — whole-valued Float must render with .0 suffix
Brummel
2026-05-20 18:19:46 +02:00
a355fd861e
fix(drift): scope anchor-presence check to jsonc fenced blocks
Brummel
2026-05-20 18:15:44 +02:00
c8c30d5682
test(drift): RED — anchor-presence must scope to jsonc fenced blocks
Brummel
2026-05-20 18:11:21 +02:00
5627cc362c
Update SKILL.md
Brummel
2026-05-20 16:47:09 +02:00
274c8ef291
Refactor CLAUDE.md and skills/boss/SKILL.md
Brummel
2026-05-20 16:44:45 +02:00
6933dc4c88
audit + close: bench-harness-recalibration CLEAN milestone close (no drift, bench 0/0/0, no tidy)
Brummel
2026-05-20 16:20:44 +02:00
21cfccf846
iter bench-harness-recalibration.1 (DONE 4/4): drop 6 latency entries + recapture baselines
Brummel
2026-05-20 16:15:13 +02:00
ddb50c3cb3
plan: bench-harness-recalibration.1 — drop 6 latency entries + recapture
Brummel
2026-05-20 16:07:53 +02:00
a97aaebd45
spec: bench-harness-recalibration — degate max_us/p99_9, recapture baselines
Brummel
2026-05-20 16:02:46 +02:00
19321d85ca
workflow: add BLOCKER Gitea label — preempts everything in /boss
Brummel
2026-05-20 15:33:40 +02:00
3e96e74457
workflow: add bug Gitea label + tag 6 existing bugs
Brummel
2026-05-20 15:30:29 +02:00
a5540c5620
workflow: retire milestone label — Gitea milestone container IS the concept
Brummel
2026-05-20 15:24:26 +02:00
d8379a15ba
workflow: retire todo label — unlabelled IS the default bucket
Brummel
2026-05-20 15:07:51 +02:00
c5fa6e6ea3
workflow: drop kind:/state: prefixes from Gitea labels
Brummel
2026-05-20 15:01:42 +02:00
c9025065d7
workflow: retire prio:p1/p2/p3 labels — kind:* alone classifies
Brummel
2026-05-20 15:00:12 +02:00
93887aa03b
workflow: replace docs/roadmap.md with Gitea issue backlog
Brummel
2026-05-20 14:48:27 +02:00
99df14c792
workflow: scrub residual JOURNAL/journal refs missed in the first sweep
Brummel
2026-05-20 11:32:37 +02:00
54f0ced148
workflow: delete docs/journals/ and docs/journal-archive.md
Brummel
2026-05-20 11:25:15 +02:00
8e586f493f
workflow: replace per-iter journal system with git log + BLOCKED.md
Brummel
2026-05-20 11:21:37 +02:00
55ad0fa37f
workflow: drop docs/WhatsNew.md (Notify carries done-state on its own)
Brummel
2026-05-20 10:27:33 +02:00
ac4d545570
source: scrub iter-code / Decision-N residue from inline comments
Brummel
2026-05-20 09:58:04 +02:00
bcd41810f4
design/ + source rustdoc: replace opaque shorthand with content phrases + links
Brummel
2026-05-20 09:47:33 +02:00
3e087d759a
design/ ledger: prose-bridges for in-fence §-refs in data-model.md
Brummel
2026-05-20 00:46:37 +02:00
19dc42f5ca
design/ ledger: dense cross-linking via three topical splits + 88-link sweep
Brummel
2026-05-20 00:24:08 +02:00
cca6e3959d
audit + close: design-ledger-formal-links CLEAN milestone close (no drift, bench 0/0/0, no tidy)
Brummel
2026-05-19 23:37:59 +02:00
8ad91e7f24
iter design-ledger-formal-links.1 (DONE 5/5): clause-5 hard gate + 7 prose-ref conversions + 2 disposition-(b) homeless removals + honesty-rule positive-half (whole milestone in one iter)
Brummel
2026-05-19 23:31:30 +02:00
36599bedd9
plan: design-ledger-formal-links.1 — clause-5 + 7 conversions + 2 disposition-(b) + honesty-rule positive-half
Brummel
2026-05-19 23:21:29 +02:00
42ff44adf6
spec: design-ledger-formal-links — corpus-grounded amendment (clause-5 fence-skip + closed enumeration)
Brummel
2026-05-19 23:14:56 +02:00
b1a0364bf2
spec: design-ledger-formal-links — recon-driven amendment (clause-6 + cross-ref definition)
Brummel
2026-05-19 23:03:03 +02:00
63b669fa8f
spec: design-ledger-formal-links — formal cross-links in the design/ ledger
Brummel
2026-05-19 22:51:21 +02:00
2ee408770e
roadmap: close DESIGN.md->design/ ([~]->[x]); WhatsNew: design-spec-restructure done-state
Brummel
2026-05-19 13:46:14 +02:00
f683f1aec8
iter design-md-rolesplit.tidy (DONE 7/7): resolve milestone-close audit drift
Brummel
2026-05-19 13:44:37 +02:00
f2cdd67e69
plan+audit: design-md-rolesplit.tidy re-derived on planning-time evidence (mechanism + scope corrected)
Brummel
2026-05-19 13:36:14 +02:00
4f61a7aa4f
plan: design-md-rolesplit.tidy — audit drift fix (history->journal, sweep re-scope, clause-3 widen)
Brummel
2026-05-19 13:22:22 +02:00
2ba5e16806
audit design-md-rolesplit (milestone close): DRIFT (one tidy iter) + bench causally-exonerated (baseline pristine)
Brummel
2026-05-19 13:14:15 +02:00
176821c2e7
iter design-md-rolesplit.1 (DONE 9/9): DESIGN.md -> design/ ledger role-split
Brummel
2026-05-19 13:04:22 +02:00
deeffb1872
plan: design-md-rolesplit.1 — the whole milestone, build-atomic by task ordering
Brummel
2026-05-19 12:16:21 +02:00
314e5e4920
spec: design-md-rolesplit — Boss-adjudicated relocation appendix (planner recon resolution)
Brummel
2026-05-19 12:11:53 +02:00
a64b2ccb2a
spec: design-md-rolesplit — DESIGN.md role-split into design/ contracts+models ledger
Brummel
2026-05-19 11:58:07 +02:00
dd5b18378f
docs: DESIGN.md §Embedding ABI — current-state honesty (no general-ABI claim)
Brummel
2026-05-19 11:22:25 +02:00
d160f2c977
roadmap: close Embedding ABI — M5 ([~]->[x]) — M1–M5 arc complete, audited+ratified+doc-honest; WhatsNew + P2 reframed
Brummel
2026-05-19 03:10:04 +02:00
70f2a318e0
iter embedding-abi-m5.tidy (DONE 3/3): milestone-close doc-honesty drift — pin-safe, doc/comment-only
Brummel
2026-05-19 03:07:40 +02:00
e81fb90d88
plan: embedding-abi-m5.tidy — milestone-close doc-honesty drift (pin-safe, doc/comment-only)
Brummel
2026-05-19 03:02:51 +02:00
28ab56af7e
audit embedding-abi-m5: milestone close — RATIFY gc_rss trio (evidenced) + DRIFT (one doc-honesty tidy); P2 bench noise causally exonerated, baseline pristine for it
Brummel
2026-05-19 02:56:43 +02:00
0900f3f413
iter embedding-abi-m5.3 (DONE 3/3): time-shard boundary-invisibility proof + friction harvest
Brummel
2026-05-19 02:40:16 +02:00
67027ab0f9
plan: embedding-abi-m5.3 — time-shard boundary-invisibility proof + friction harvest
Brummel
2026-05-19 02:30:46 +02:00
dbd76e5503
fix(ail-embed): GREEN — build.rs tracks runtime/ as rerun-if-changed; M5 swarm leak-proof armed & deterministic
Brummel
2026-05-19 02:21:47 +02:00
483117d39b
test(ail-embed): RED — build.rs links a stale libailang_rt.a (missing rerun-if-changed on runtime sources)
Brummel
2026-05-19 02:14:12 +02:00
6500ca0493
ail-embed: re-quarantine symbol_fan_swarm_leak_free — atomic-global fix necessary but insufficient (doc-honesty + finding record)
Brummel
2026-05-19 02:06:43 +02:00
7bfa11e838
fix(rc): GREEN — atomic global g_rc_* stats fallback counters (swarm-safe)
Brummel
2026-05-19 01:57:06 +02:00
427b687b95
test(rc): RED — non-atomic global g_rc_* stats counters race under a multi-threaded host
Brummel
2026-05-19 01:50:36 +02:00
b724cd17a1
iter embedding-abi-m5.2 (PARTIAL 2/3): data-server adapter + symbol-fan swarm; leak-proof surfaced a non-atomic global g_rc_* stats race
Brummel
2026-05-19 01:37:50 +02:00
9cc9d9c517
plan: embedding-abi-m5.2 — data-server adapter + symbol-fan swarm + leak-proof
Brummel
2026-05-19 01:22:19 +02:00
204c171e60
iter embedding-abi-m5.1 (DONE 3/3): lean ail-embed core + build.rs + hermetic smoke
Brummel
2026-05-19 01:12:19 +02:00
22f02aa26b
plan: embedding-abi-m5.1 — lean ail-embed core + build.rs + hermetic smoke
Brummel
2026-05-19 01:01:09 +02:00
ae905de00c
spec: embedding-abi-m5 — ail-embed adapter + data-server wiring + thread-swarm backtest
Brummel
2026-05-19 00:52:38 +02:00
208d7095bc
fix(check): GREEN — over-strict-mode recognises ctor-rebuild-from-primitive-fields as a consume
Brummel
2026-05-18 23:50:13 +02:00
a11cb7cc9f
test(check): RED — over-strict-mode false-positive on ctor-rebuild consume
Brummel
2026-05-18 23:39:31 +02:00
32e59766f9
roadmap: Tick-coverage on M3 [todo] -> [x] (170464f
Brummel
2026-05-18 23:29:31 +02:00
170464fca8
test(embed): pin two-record-param per-tick (State, Tick) -> State on the shipped M3 ABI
Brummel
2026-05-18 23:28:52 +02:00
38150ae923
roadmap: retire Embedding ABI — M4 (never speced) — speculative infra by feature-acceptance clause 2
Brummel
2026-05-18 23:22:39 +02:00
c75fb805a6
roadmap: close Embedding ABI — M3 ([~]->[x]) — milestone substantively closed + sound (record crosses C ABI in/out, ownership follows declared mode, value layout frozen+byte-pin-enforced, all invariants held, Invariant 1 clean, bench causally exonerated NO-ratify); no WhatsNew (next item M4 is a new milestone — a /boss bounce-back, not done-state)
Brummel
2026-05-18 21:51:01 +02:00
63d7d60dd1
iter embedding-abi-m3.tidy (DONE 3/3): close M3 audit [medium]+[low] doc-honesty drift, pin-safe
Brummel
2026-05-18 21:50:15 +02:00
4fc3470552
gitignore: .claude/scheduled_tasks.lock (Claude Code harness runtime artefact; the tracked .claude/ skill+agent symlinks are unaffected)
Brummel
2026-05-18 21:43:34 +02:00
44ced513dc
plan: embedding-abi-m3.tidy — reconcile M3-audit [medium]+[low] doc-honesty drift (3 tasks, pin-safe parenthetical-only edit + comment-only fix, M2.tidy precedent)
Brummel
2026-05-18 21:42:52 +02:00
b8a60b1ec7
audit embedding-abi-m3: milestone close — DRIFT (1 [medium]+[low] doc-honesty -> one tidy); bench check.py exit 1 decisively causally exonerated (byte-identical generated IR HEAD vs pre-M3 9a609ae
Brummel
2026-05-18 21:37:26 +02:00
4ea8bc5faf
iter embedding-abi-m3.1 (DONE 6-7): freeze the value layout — DESIGN.md frozen-layout SSOT + lockstep pointers + enforceable byte-pin
Brummel
2026-05-18 21:29:50 +02:00
d5c565d48d
iter embedding-abi-m3.1 (PARTIAL 5/7 + Boss spec-defect repair): single-ctor scalar record crosses the C ABI, ownership follows declared mode
Brummel
2026-05-18 21:16:41 +02:00
15ee3c5c8f
plan: embedding-abi-m3.1 — frozen value layout + single-ctor record crossing + RC ownership contract (7 tasks, RED-first, task 1 fixed-first baseline pins per spec sequencing)
Brummel
2026-05-18 20:48:29 +02:00
1fbb9c433b
spec: embedding-abi-m3 — frozen value layout + single ADT/record crossing + RC ownership contract (user-approved, grounding-check PASS 8/8); open in-flight [~]
Brummel
2026-05-18 20:35:05 +02:00
9a609aecc7
roadmap: close Embedding ABI — M2 ([~]->[x]); WhatsNew
Brummel
2026-05-18 17:53:13 +02:00
a80d495ab3
iter embedding-abi-m2.tidy: '## Embedding ABI (M1)' -> '## Embedding ABI' lockstep rename (M2 audit doc-honesty fix)
Brummel
2026-05-18 17:52:10 +02:00
d1241b12c7
plan: embedding-abi-m2.tidy — DESIGN.md '(M1)'->'Embedding ABI' lockstep rename (5 live sites: header+:2354 xref+pin comment/msg+form_a.md:89; pinned :135 substring rename-immune, untouched)
Brummel
2026-05-18 17:47:35 +02:00
ad88dec3d8
audit embedding-abi-m2: milestone close — DRIFT (1 [medium]+[low] doc-honesty -> tidy); bench exit 1 causally exonerated, NO ratify
Brummel
2026-05-18 17:42:48 +02:00
fbeeadeba5
iter embedding-abi-m2.1 (DONE 5-9): swarm-safe ctx ABI complete + sanitiser-verified
Brummel
2026-05-18 17:31:50 +02:00
c9a84b33b3
iter embedding-abi-m2.1 (PARTIAL 4/9 + Boss spec-defect repair): ctx ABI + de-globalisation
Brummel
2026-05-18 17:16:40 +02:00
b3388c8350
plan: embedding-abi-m2.1 — per-thread runtime context + concurrency safety (9 tasks, RED-first, task 1 fixed-first per spec sequencing)
Brummel
2026-05-18 16:58:43 +02:00
1c58055170
spec: embedding-abi-m2 — per-thread runtime context + concurrency safety (user-approved, grounding-check PASS 9/9); open in-flight [~]
Brummel
2026-05-18 16:48:30 +02:00
2db737cc96
roadmap: close emit-ir-staticlib ([ ]->[x]) — M1 fieldtest follow-up #2 done
Brummel
2026-05-18 16:09:04 +02:00
bcfe554686
iter emit-ir-staticlib: ail emit-ir --emit=staticlib (M1 fieldtest spec_gap#2)
Brummel
2026-05-18 16:08:33 +02:00
03493c9b31
plan: emit-ir-staticlib — M1 fieldtest spec_gap#2 scoped feature
Brummel
2026-05-18 16:02:04 +02:00
94cf087b07
roadmap: close form-a-scalar-param-mode-carveout ([ ]->[x]) — M1 fieldtest follow-up #1 done
Brummel
2026-05-18 15:52:06 +02:00
7d7f04e1a4
iter form-a-scalar-param-mode-carveout: scalar-param mode carve-out (docs-honesty tidy)
Brummel
2026-05-18 15:51:34 +02:00
4c266a64b4
plan: form-a-scalar-param-mode-carveout — M1 fieldtest friction+spec_gap#1 docs-honesty tidy
Brummel
2026-05-18 15:45:28 +02:00
4bc7eb2e0a
roadmap: close Embedding ABI — M1 ([~]->[x]); route 3 fieldtest findings
Brummel
2026-05-18 15:28:48 +02:00
6a4e8669a3
fieldtest: embedding-abi-m1 — 4 examples, 4 findings (0 bug, 1 friction, 2 spec_gap, 3 working)
Brummel
2026-05-18 15:27:12 +02:00
425c4eb3c5
audit embedding-abi-m1: milestone close — CLEAN, carry-on, no ratify
Brummel
2026-05-18 15:16:33 +02:00
e406d07d81
iter embedding-abi-m1.1 (DONE 7/7): Embedding-ABI M1 — scalar AILang fn callable from C/Rust
Brummel
2026-05-18 14:50:27 +02:00
818177d835
iter embedding-abi-m1.1 (PARTIAL 3/7): schema + surface + baseline prerequisites; plan Repair
Brummel
2026-05-18 14:32:39 +02:00
123ae1be5c
roadmap: P2 milestone — DESIGN.md -> design/ role-split
Brummel
2026-05-18 14:32:14 +02:00
b0bd7efeaf
plan: embedding-abi-m1.1 — linkable artifact + scalar C entrypoint
Brummel
2026-05-18 14:02:55 +02:00
51160e99a6
spec: embedding-abi-m1 — linkable artifact + scalar C entrypoint
Brummel
2026-05-18 13:37:40 +02:00
064599e091
roadmap: Embedding ABI arc — M1–M5 (P1) + deferred array primitive (P2)
Brummel
2026-05-18 12:51:51 +02:00
3fb184417d
audit docs-honesty-lint: milestone close — CLEAN, carry-on, no ratify
Brummel
2026-05-18 12:40:57 +02:00
e50b400d4b
journal: INDEX line for iter docs-honesty-lint.1
Brummel
2026-05-18 12:30:37 +02:00
7580d434f0
iter docs-honesty-lint.1: canonical docs present-tense-honest + wrap-robust pin + Sweep 5
Brummel
2026-05-18 12:30:03 +02:00
de66eb7ab2
plan: docs-honesty-lint.1 — RED pin + Sweep 5 + 14 byte-exact corrections
Brummel
2026-05-18 12:18:14 +02:00
928e1c0f1c
roadmap: docs-honesty-lint spec'd + approved (aff25cd
Brummel
2026-05-18 12:06:19 +02:00
Brummel