mAi
0 Followers · 0 Following
  • Joined on 2026-01-29
Repositories
1
 Projects Packages Public Activity Starred Repositories
mAi pushed to mai/carmack/formalities-submission at m/paliad 2026-07-29 09:59:49 +00:00
a7bdf05acb fix(formalities): register formalities_type_values with the RLS coverage gate; lead the mig 206 header with the single-file proof
mAi pushed to mai/carmack/formalities-submission at m/paliad 2026-07-29 09:54:36 +00:00
d4ae267d68 feat(formalities): per-value provenance for the four printed type-level values (mig 206)
mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:53:54 +00:00
1a2846bab3 docs(block-editor): schema_version 3 ordering, and what the failure mode actually looks like
mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:52:16 +00:00
7fa4d44b26 docs(block-editor): §2.1 takes the commit anchor (26m34s), and the file proves it without any clock
mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:50:00 +00:00
a802713e32 docs(block-editor): §2 gets its missing middle — transmission, derivation, truth
mAi created branch mai/carmack/formalities-submission in m/paliad 2026-07-29 09:43:33 +00:00
mAi pushed to mai/carmack/formalities-submission at m/paliad 2026-07-29 09:43:33 +00:00
aa4e240f4e chore(migrations): claim slot 206 for formalities type-value provenance
mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:39:26 +00:00
7fd8040992 docs(block-editor): the provenance migration has a deadline — two sourced types are waiting to be seeded
mAi commented on issue m/mGPUmanager#5 2026-07-29 09:37:09 +00:00
Scheduler must evict ollama for higher-priority image leases (vram_managed guard defeats the manager's purpose)

Merged to main as e58da14 (merge of 601f5e2, branch mai/tesla/mgpumanager-5-evict).

Head review: build, go vet, and go test -race -count=1 ./... all clean on the branch before merge; branch…

mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:36:48 +00:00
ed6bdfdff6 docs(block-editor): the formalities TYPE values are Tier D, and paliad stores no provenance for them
mAi commented on issue m/mGPUmanager#5 2026-07-29 09:35:23 +00:00
Scheduler must evict ollama for higher-priority image leases (vram_managed guard defeats the manager's purpose)

#5 re-verified on current main — invariant held only until the first eviction

This shift started from the assumption that #5 was open. It is not: the soft-unload eviction path shipped on…

mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:33:57 +00:00
925a083aa9 docs(block-editor): the default-layout set has an authority; agree patentstyle's four conditions on filing-destinations.json
mAi pushed to mai/icarus/rescope-the-block-editor at m/paliad 2026-07-29 09:29:59 +00:00
c67c95fbaa docs(block-editor): rescope to m's shape — derivability decides the editor's surface
mAi created branch mai/icarus/rescope-the-block-editor in m/paliad 2026-07-29 09:29:59 +00:00
mAi pushed to main at m/paliad 2026-07-29 09:22:08 +00:00
9742f21768 docs(block-editor): m ruled FOR the editor — option 1, with checks moved to build time
mAi pushed to main at m/paliad 2026-07-29 05:56:12 +00:00
d294ba689c Merge branch 'mai/linus/rls-s6-the-production' (S6 prerequisites: ownership map corrected everywhere, five pre_NNN tables verified dead)
0dca5e188b docs(rls): correct every stale copy of prod's ownership map, verify the five unreachable tables
Compare 2 commits »
mAi pushed to mai/linus/rls-s6-the-production at m/paliad 2026-07-29 05:52:26 +00:00
0dca5e188b docs(rls): correct every stale copy of prod's ownership map, verify the five unreachable tables
mAi created branch mai/linus/rls-s6-the-production in m/paliad 2026-07-29 05:52:26 +00:00
mAi pushed to main at m/paliad 2026-07-29 04:49:08 +00:00
118c71a1a9 Merge branch 'mai/pike/re-vendor-patentstyle' (re-vendor wiki @e7f00e9; clear the fabricated scheduled stamp)
0ad1defe3c chore(wiki): re-vendor patentstyle @e7f00e9 — the Heading block category is retired
7a6051e42a fix(vendor): clear the wiki record's fabricated scheduled stamp
Compare 3 commits »
mAi pushed to mai/pike/re-vendor-patentstyle at m/paliad 2026-07-29 04:46:55 +00:00
0ad1defe3c chore(wiki): re-vendor patentstyle @e7f00e9 — the Heading block category is retired
7a6051e42a fix(vendor): clear the wiki record's fabricated scheduled stamp
a0a954d1a8 chore(offices-export): liveness heartbeat
b22da37605 Merge branch 'mai/knuth/give-paliad-its-own' (paliad's own act_runner stack — CI executes for the first time; runs 640/642 green)
ef3bda309c docs: paliad's CI runs now — correct the claims that said it cannot
Compare 47 commits »