Ledger skips T3 reasoning summaries and reads issue pages with a
10-page ceiling. Candidate manifest, patch against cc48b124f, mutants
(both killed) and a passing full gate.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
78 lines
5.4 KiB
Plaintext
78 lines
5.4 KiB
Plaintext
✔ pure resolution selects current default or explicit enrolled account (1.909765ms)
|
||
✔ scope is explicit, bounded and never inferred (1.696433ms)
|
||
✔ fork pin is preserved against default change, override, missing account and revocation (0.733963ms)
|
||
✔ unenrolled account/provider, missing harness, model expansion and native model ceiling refuse (0.789871ms)
|
||
✔ only explicit synthetic credential forms and internal fixture stores admitted (5.475854ms)
|
||
✔ two concurrent workspaces of the same agent publish distinct complete private generations (62.740124ms)
|
||
✔ same execution ID is exclusively claimed and cannot overwrite a published generation (33.557098ms)
|
||
✔ failed generation after-auth preserves prior files, records failure and refuses blind same-ID retry (46.510105ms)
|
||
✔ failed generation before-publish preserves prior files, records failure and refuses blind same-ID retry (58.213018ms)
|
||
✔ credential lock contention refuses without duplicate side effects (11.700435ms)
|
||
✔ symlinked pre-existing final target is refused and never followed (27.062034ms)
|
||
✔ invalid registry cannot resolve; no fallback to supplied partial entries (0.294165ms)
|
||
✔ post-publication failure records uncertainty, preserves complete generation and prevents replay (28.031639ms)
|
||
✔ expired credentials refresh under transaction and subsequent generation reuses rotation (83.731964ms)
|
||
✔ refresh failure retains prior generation and store state (65.761059ms)
|
||
✔ refresh timeout retains prior generation and store state (145.098877ms)
|
||
✔ refresh malformed retains prior generation and store state (67.213991ms)
|
||
✔ concurrent refresh on same account refuses contention while unrelated account proceeds (223.154513ms)
|
||
✔ invalid refresh options refuse before burning claim (31.215424ms)
|
||
✔ fixed fake process rotates both OAuth fields without mutating caller input (26.026853ms)
|
||
✔ concurrent isolated processes preserve separate provider credentials (25.549256ms)
|
||
✔ fake failure is refused with fixed diagnostics (21.331265ms)
|
||
✔ fake malformed is refused with fixed diagnostics (25.561798ms)
|
||
✔ fake timeout is refused with fixed diagnostics (103.832879ms)
|
||
✔ fake unchanged is refused with fixed diagnostics (23.229583ms)
|
||
✔ caller executable/environment injection is rejected before spawning (0.265402ms)
|
||
✔ valid fixture tree validates and lists without secrets (64.37565ms)
|
||
✔ unknown-field refuses (0.358276ms)
|
||
✔ invalid-id refuses uppercase and traversal shapes (0.264161ms)
|
||
✔ plain-http baseUrl requires allowInsecureTransport (0.352275ms)
|
||
✔ native provider rejects allowInsecureTransport (0.138264ms)
|
||
✔ unsupported credential type and kind refuse (0.15212ms)
|
||
✔ account provider-path mismatch refuses (0.640316ms)
|
||
✔ profile account refs must be provider/account shaped (0.230574ms)
|
||
✔ seat selection accepts fork pin field, validates account refs (0.211053ms)
|
||
✔ harness manifest id must equal executable (gate 1) (0.202027ms)
|
||
✔ CLI validate: duplicate provider id across files refuses (27.69375ms)
|
||
✔ CLI validate: missing referenced provider/account refuse (32.484667ms)
|
||
✔ CLI validate: broken JSON refuses without secret echo (25.73429ms)
|
||
✔ CLI usage errors exit 2 (55.987168ms)
|
||
✔ credential.json sibling presence does not break validation and is never read (62.035651ms)
|
||
✔ D1 missing, empty and structurally empty roots refuse, no list projection (168.898944ms)
|
||
✔ D1 required directory auth cannot be absent (50.745089ms)
|
||
✔ D1 required directory auth/providers cannot be absent (50.14902ms)
|
||
✔ D1 required directory auth/accounts cannot be absent (59.970527ms)
|
||
✔ D1 required directory auth/settings cannot be absent (62.984015ms)
|
||
✔ D1 required directory harnesses cannot be absent (63.428539ms)
|
||
✔ D1 root file and unreadable metadata refuse (112.593275ms)
|
||
✔ D2 no symlink traversal at auth/providers/openai-codex.json (54.346537ms)
|
||
✔ D2 no symlink traversal at auth/accounts/openai-codex/homelab-openai (52.01959ms)
|
||
✔ D2 no symlink traversal at auth/providers (49.767615ms)
|
||
✔ D2 no symlink traversal at auth (54.480191ms)
|
||
✔ D2 root and ancestor symlinks and lexical traversal refuse (160.941121ms)
|
||
✔ private filesystem modes enforced for root (50.103897ms)
|
||
✔ private filesystem modes enforced for auth (52.849578ms)
|
||
✔ private filesystem modes enforced for auth/providers/openai-codex.json (56.123191ms)
|
||
✔ private filesystem modes enforced for auth/accounts/openai-codex/homelab-openai/account.json (63.016834ms)
|
||
✔ D3 numeric version 1 only across all record kinds (1.201115ms)
|
||
✔ D4 nested unknown keys and missing per-kind required fields refuse (56.491284ms)
|
||
✔ D5 unenrolled default refuses even when account exists (66.015647ms)
|
||
✔ D6 provider/account credential type must match (66.298571ms)
|
||
✔ D7 every harness endpoint enforces HTTP opt-in and shape (0.464909ms)
|
||
✔ D8 URLs reject embedded credentials and unsupported protocols without echo (166.407382ms)
|
||
✔ D9 malformed JSON diagnostics contain no content excerpt (59.367352ms)
|
||
✔ D10 missing metadata is missing-path, not invalid-json (62.537119ms)
|
||
✔ D10 library returns no partial entries on any invalid record (73.49327ms)
|
||
✔ null/scalar/array metadata refuses without stack or echo (240.814931ms)
|
||
✔ credential sibling is never opened, even when an unreadable symlink (31.939283ms)
|
||
✔ oversized metadata refuses before parsing (56.924228ms)
|
||
ℹ tests 69
|
||
ℹ suites 0
|
||
ℹ pass 69
|
||
ℹ fail 0
|
||
ℹ cancelled 0
|
||
ℹ skipped 0
|
||
ℹ todo 0
|
||
ℹ duration_ms 2092.39883
|