spike: family, consume, attempt, assert, run #1

Merged

PerishFire merged 1 commit from spike-family-types into main

2026-07-20 07:48:59 +00:00

PerishFire commented

2026-07-20 07:48:37 +00:00

Owner

spike: family, consume, attempt, assert, run

The type machinery, validated against real zod: the family spec is the
single source of truth, meta narrows per kind through consume and attempt,
assert narrows the receiver, run absorbs a non-fault into foreign, and a
catch chain routes family then foreign. Six cases hold; the design is
realizable. Pins v0.6.0, whose grammar covers these generic signatures.

Co-Authored-By: Claude Fable 5 noreply@anthropic.com

spike: family, consume, attempt, assert, run The type machinery, validated against real zod: the family spec is the single source of truth, meta narrows per kind through consume and attempt, assert narrows the receiver, run absorbs a non-fault into foreign, and a catch chain routes family then foreign. Six cases hold; the design is realizable. Pins v0.6.0, whose grammar covers these generic signatures. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

PerishFire added 1 commit

2026-07-20 07:48:37 +00:00

spike: family, consume, attempt, assert, run

guard / guard (pull_request) Successful in 16s

Details

754267c97e

The type machinery, validated against real zod: the family spec is the
single source of truth, meta narrows per kind through consume and attempt,
assert narrows the receiver, run absorbs a non-fault into foreign, and a
catch chain routes family then foreign. Six cases hold; the design is
realizable. Pins v0.6.0, whose grammar covers these generic signatures.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

PerishFire merged commit 860210949e into main

2026-07-20 07:48:59 +00:00

PerishFire deleted branch spike-family-types

2026-07-20 07:48:59 +00:00

PerishFire referenced this pull request from a commit

2026-07-20 07:49:01 +00:00

spike: family, consume, attempt, assert, run (#1)