Issues

BCLI: min type list aligns columns for non-ASCII type names (T19 residual)

gominimal/minimal#3315 · opened

on Nov 12, 2026

minimald-rpc: carry the BOX-160 admission refusal's exit 3 to min

gominimal/minimal#3313 · opened

on Nov 12, 2026

T127 — Each lifecycle hook in the stored spec names its declarer, and the selected loadouts reach the expansion

gominimal/minimal#3311 · opened

on Nov 12, 2026

fix(min): finalize-install's restart note names no command for stopping boxes

gominimal/minimal#3305 · opened

on Nov 12, 2026

mfile: one constraint check for loadout_mode, so a broken constraint gives one message

gominimal/minimal#3304 · opened

on Nov 12, 2026

minimal dash: gate loadouts on loadout_mode on the dashboard create path (BOX-166, BOX-173, BOX-175)

gominimal/minimal#3303 · opened

on Nov 12, 2026

minimal: fill the loadouts layer in box_entry so BOX-183 refuses a conflicting loadout var before the create

gominimal/minimal#3302 · opened

on Nov 12, 2026

BCLI: one typed-box resolver for the type nouns and min box logs (T30 residual)

gominimal/minimal#3299 · opened

on Nov 12, 2026

BCLI: the stored spec keeps network.vpn_network_names, and box show --network prints them (T40 residual)

gominimal/minimal#3298 · opened

on Nov 11, 2026

minimal: run the BOX-061 constraint check after each expansion in min's create paths

gominimal/minimal#3295 · opened

on Nov 11, 2026

mfile: built-in Box Types resolve with their shipped defaults and constraints (for min type show, BCLI-020)

gominimal/minimal#3294 · opened

on Nov 11, 2026

T41 — Box spec lists a box's hooks with their declarer

gominimal/minimal#3283 · opened

on Nov 11, 2026

BOX-179: the stored spec keeps each lifecycle hook with its declared_by (implementation)

gominimal/minimal#3282 · opened

on Nov 11, 2026

minimald: check a create's root_certificate against the proxy's published root, not just its shape (BOX-081)

gominimal/minimal#3279 · opened

on Nov 11, 2026

spec 29: BOX-081 waives only a GitHub grant when a node-local proxy is present (arch line 1308)

gominimal/minimal#3278 · opened

on Nov 11, 2026

boxes: a ProxyAbsence cause for a proxy that serves only GitHub grants, so the minimald refusal stops saying no proxy serves

gominimal/minimal#3277 · opened

on Nov 11, 2026

minimald-rpc: CreateSession carries no refusal code, so min does not exit 5 on a daemon-only broker refusal

gominimal/minimal#3276 · opened

on Nov 11, 2026

D2983 — The in-box min task run uses one sandbox run path for every task, and run_invocations_in is gone

gominimal/minimal#3270 · opened

on Nov 11, 2026

2

BCLI: one box.lifetime reader in minimald, and one spelling of the logs hint (T13 residual)

gominimal/minimal#3269 · opened

on Nov 11, 2026

minimal: a task box gets no vars or patches from [defaults] or [defaults.task]

gominimal/minimal#3266 · opened

on Nov 10, 2026

spec-hash epoch 1: the Lean theorem for EPOCH-001

gominimal/minimal#3261 · opened

on Nov 10, 2026

kani: wire varint decode harness (set 2 of the Kani plan)

gominimal/minimal#3260 · opened

on Nov 10, 2026

boxes: compose a box from the stored expanded spec, not a five-list contribution and the daemon's own [stack] read (BOX-068)

gominimal/minimal#3257 · opened

on Nov 10, 2026

spec 29: the stored spec records each variable's origin, as declared_by does for hooks (for BCLI-022)

gominimal/minimal#3255 · opened

on Nov 10, 2026

T126 — Refuse a named loadout on a sealed box, a loadout that sets loadout_mode, and a contradicted constraint; a sealed box reads no default loadouts

gominimal/minimal#3254 · opened

on Nov 10, 2026

1

Navigation Menu

Repository navigation

Issues

BCLI: min type list aligns columns for non-ASCII type names (T19 residual)

minimald-rpc: carry the BOX-160 admission refusal's exit 3 to min

T127 — Each lifecycle hook in the stored spec names its declarer, and the selected loadouts reach the expansion

fix(min): finalize-install's restart note names no command for stopping boxes

mfile: one constraint check for loadout_mode, so a broken constraint gives one message

minimal dash: gate loadouts on loadout_mode on the dashboard create path (BOX-166, BOX-173, BOX-175)

minimal: fill the loadouts layer in box_entry so BOX-183 refuses a conflicting loadout var before the create

BCLI: one typed-box resolver for the type nouns and min box logs (T30 residual)

BCLI: the stored spec keeps network.vpn_network_names, and box show --network prints them (T40 residual)

minimal: run the BOX-061 constraint check after each expansion in min's create paths

mfile: built-in Box Types resolve with their shipped defaults and constraints (for min type show, BCLI-020)

T41 — Box spec lists a box's hooks with their declarer

BOX-179: the stored spec keeps each lifecycle hook with its declared_by (implementation)

minimald: check a create's root_certificate against the proxy's published root, not just its shape (BOX-081)

spec 29: BOX-081 waives only a GitHub grant when a node-local proxy is present (arch line 1308)

boxes: a ProxyAbsence cause for a proxy that serves only GitHub grants, so the minimald refusal stops saying no proxy serves

minimald-rpc: CreateSession carries no refusal code, so min does not exit 5 on a daemon-only broker refusal

D2983 — The in-box min task run uses one sandbox run path for every task, and run_invocations_in is gone

BCLI: one box.lifetime reader in minimald, and one spelling of the logs hint (T13 residual)

minimal: a task box gets no vars or patches from [defaults] or [defaults.task]

spec-hash epoch 1: the Lean theorem for EPOCH-001

kani: wire varint decode harness (set 2 of the Kani plan)

boxes: compose a box from the stored expanded spec, not a five-list contribution and the daemon's own [stack] read (BOX-068)

spec 29: the stored spec records each variable's origin, as declared_by does for hooks (for BCLI-022)

T126 — Refuse a named loadout on a sealed box, a loadout that sets loadout_mode, and a contradicted constraint; a sealed box reads no default loadouts