Repository navigation

Program census by construction: argv_command takes a sealed ProgramIdentity - #12602

Merged

briansrls merged 14 commits into

mainfrom

session/tidy-crane-517

Sep 29, 2026

Commits on Sep 28, 2026

WIP: ProgramIdentity leaf; argv_command takes a sealed program identity (census by construction)

Brian Searls
and
claude
committed
cf3332b

Commits on Sep 29, 2026

Program census by construction: argv_command takes a sealed ProgramIdentity

Brian Searls
and
claude
committed
f3e4b49
Merge origin/main
Brian Searls
committed
a3162c6
Admit the chmod recursive builder main added to the debt roster

Brian Searls
and
claude
committed
dc8403a
Floor fixes: cite identity rows by name; retire devboot/build#host; stop a test fn shadowing the append builtin

Brian Searls
and
claude
committed
e1a9486
Retire the append rows the removed test-fn provider was holding open (floor RosterStale)

Brian Searls
and
claude
committed
217dbd7
Retire every append row: no declaration named append remains to be a bare provider

Brian Searls
and
claude
committed
27a89af
repo_ruleset: match the optional rule parameters instead of passing them as present

Brian Searls
and
claude
committed
9bc989c
Merge remote-tracking branch 'origin/main' into session/tidy-crane-517
Brian Searls
committed
1fd0167
journalctl: import String from its declaring module (floor AmbiguousBareNameRead)

Brian Searls
and
claude
committed
289962f
journalctl: import Unit from std.types (floor AmbiguousBareNameRead)

Brian Searls
and
claude
committed
cf92a7a
Merge remote-tracking branch 'origin/main' into session/tidy-crane-517
Brian Searls
committed
57c18da
Retire the bare-provider rows the floor reports stale (pijul witness #owner, roadmap_presentation #repo)

Brian Searls
and
claude
committed
a3d22e5
Merge origin/main; migrate the argv builders main added (unzip, ldd, mv, sort, node, chromium, env -C, find) to program identities

Brian Searls
and
claude
committed
cc0eeeb

Navigation Menu

Repository navigation

Program census by construction: argv_command takes a sealed ProgramIdentity - #12602

Program census by construction: argv_command takes a sealed ProgramIdentity#12602
briansrls merged 14 commits into
mainfrom
session/tidy-crane-517

Commits on Sep 28, 2026

WIP: ProgramIdentity leaf; argv_command takes a sealed program identity (census by construction)

Commits on Sep 29, 2026

Program census by construction: argv_command takes a sealed ProgramIdentity

Merge origin/main

Admit the chmod recursive builder main added to the debt roster

Floor fixes: cite identity rows by name; retire devboot/build#host; stop a test fn shadowing the append builtin

Retire the append rows the removed test-fn provider was holding open (floor RosterStale)

Retire every append row: no declaration named append remains to be a bare provider

repo_ruleset: match the optional rule parameters instead of passing them as present

Merge remote-tracking branch 'origin/main' into session/tidy-crane-517

journalctl: import String from its declaring module (floor AmbiguousBareNameRead)

journalctl: import Unit from std.types (floor AmbiguousBareNameRead)

Merge remote-tracking branch 'origin/main' into session/tidy-crane-517

Retire the bare-provider rows the floor reports stale (pijul witness #owner, roadmap_presentation #repo)

Merge origin/main; migrate the argv builders main added (unzip, ldd, mv, sort, node, chromium, env -C, find) to program identities