Governed shell binary — human + machine modes (Rust)
Find a file
Tyler J King d0b674f6cd feat(libgsh): DID-sourced capability intersection via IntersectionInput
IntersectionInput replaces separate accord lookups with a DID-document-
sourced three-way intersection: effective = posix_bounding & accord_allowed
& delegation_remaining. denied_to_allowed_mask() converts denied capability
names to a bitmask for the intersection.

Includes workspace-level cleanup and gsh binary refactoring.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Signed-off-by: Tyler J King <tking@guildhouse.dev>
2026-05-26 09:56:20 -04:00
config feat: configurable corpus base dir + Bascule dev config 2026-04-02 18:46:27 -04:00
dist feat: Substrate WSL2 distro builder (Fedora 41) 2026-04-04 13:59:03 -04:00
gsh feat(libgsh): DID-sourced capability intersection via IntersectionInput 2026-05-26 09:56:20 -04:00
libgsh feat(libgsh): DID-sourced capability intersection via IntersectionInput 2026-05-26 09:56:20 -04:00
scripts feat: detect Windows Entra/local principal in WSL2 2026-04-04 14:15:05 -04:00
.gitignore feat: gsh machine mode — first governed shell execution 2026-04-01 19:01:22 -04:00
Cargo.lock feat(libgsh): DID-sourced capability intersection via IntersectionInput 2026-05-26 09:56:20 -04:00
Cargo.toml feat(libgsh): DID-sourced capability intersection via IntersectionInput 2026-05-26 09:56:20 -04:00
CLAUDE.md docs: add CLAUDE.md 2026-05-04 11:41:30 -04:00
DESIGN.md feat: gsh governed shell — design exploration 2026-03-30 23:20:27 -04:00
README.md feat(libgsh): Phase 0 — typed Did on AcPrincipal 2026-05-01 06:28:19 -04:00

gsh

gsh — the GCAP governed shell. Human and machine modes. Chronicle-attributed execution.

Status (2026-04-28): Active development. Design is mature (DESIGN.md). The architectural anchor is the shell type system (per DESIGN-SHELL-ARCHITECTURE-2026-04-28.md); gsh is the canonical consumer of the type system, built on libgsh.