Skip to content

test(harness): reaped receipt, readiness-gated faults, ownership proofs #2688

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
chaliy merged 40 commits into from
Oct 12, 2026
Merged

test(harness): reaped receipt, readiness-gated faults, ownership proofs #2688

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
e1f1014
fix(parser): bound syntax diagnostic construction
chaliy Oct 9, 2026
b56ae7c
chore(knowledge): document bounded syntax diagnostics
chaliy Oct 9, 2026
39eaba7
test(parser): normalize host bash line numbers in differential test
chaliy Oct 11, 2026
db5c74d
fix(parser): truncate shell name in syntax diagnostics, add scaled re…
chaliy Oct 11, 2026
a57c5d9
fix(parser): keep shell-name cut above realistic script paths
chaliy Oct 11, 2026
c6c049d
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
c51d511
test(parser): assert full bounds contract in multiline-ARG0 regression
chaliy Oct 11, 2026
edd2aa9
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
1221b7f
test(harness): fail-closed lifecycle for bounded probe runner
chaliy Oct 11, 2026
1286a23
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
c98b30d
test(harness): bounded join gate, reap seam, launcher-bound selftests
chaliy Oct 11, 2026
272fec0
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
5e96296
test(harness): join completion gate, fault seams, launcher-bound self…
chaliy Oct 11, 2026
49a1ffc
test(harness): join completion gate, fault seams, launcher-bound self…
chaliy Oct 11, 2026
c2a123d
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
2511659
test(harness): parent cleanup, join gate, fault seams, launcher-bound…
chaliy Oct 11, 2026
0a1b560
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
7e549fd
test(harness): same-handle gate proof, live fault fixtures, launcher …
chaliy Oct 11, 2026
468584d
test(harness): readiness-gated faults, reaped receipt, launcher receipts
chaliy Oct 11, 2026
36c3338
test(harness): drop stale direct-run comment on retained fixture
chaliy Oct 11, 2026
a73d8ed
test(harness): terminate and observe owned descendant in retained fix…
chaliy Oct 11, 2026
6b688fb
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
19b13e5
test(harness): single descendant cleanup, strict absence proof
chaliy Oct 11, 2026
161f750
test(harness): guard-owned retained cleanup with unwind coverage
chaliy Oct 11, 2026
b075cf4
test(harness): reworked signal helper, guard-first retained ownership
chaliy Oct 11, 2026
c247084
chore(syntax): reconcile reserved branch with origin/main
chaliy Oct 11, 2026
e545c46
test(harness): reaped receipt, readiness-gated faults, ownership proofs
chaliy Oct 11, 2026
adb02c1
test(harness): signal receipts, owned handshake, unwind coverage
chaliy Oct 11, 2026
7b311e1
test(harness): preserve unjoined handles, bounded Drop join
chaliy Oct 11, 2026
293fecf
test(harness): guard-first ownership, receipt-surfaced helpers, unwin…
chaliy Oct 11, 2026
f884f66
test(harness): marker-owned unknown verdict with same-handle rejoin
chaliy Oct 11, 2026
fbfd17f
test(harness): marker-owned unknown verdict, consumed receipts, propo…
chaliy Oct 11, 2026
2d06538
test(harness): owned helper executor, Drop receipts, marker unwind
chaliy Oct 11, 2026
7393fe0
test(harness): bounded owned drain, shared Drop end, health-gated abs…
chaliy Oct 11, 2026
cd7bfec
test(harness): retained drain handle, writer proof, consumed receipts
chaliy Oct 11, 2026
4a8e43e
test(harness): subject-driven retained proof, consumed handoffs
chaliy Oct 11, 2026
e91191d
test(harness): gate-joined drain, subject-driven writer, envelope rec…
chaliy Oct 12, 2026
4d979ef
test(harness): gate-joined drain, propagated handoffs, joined everywhere
chaliy Oct 12, 2026
3748566
test(harness): preserve unfinished readers after cleanup unwinds
chaliy Oct 12, 2026
dc4d666
Merge remote-tracking branch 'origin/main' into codex/syntax-diagnost…
chaliy Oct 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading