Tool · dsh · DeepSeek
read
What matters here1 of 3 invariants hold · 1 fails · 1 unverified
- Offset base1-indexedsrclike 7 of 8
- Announces truncationinvariant?all 7 hold
- Binary not silentinvariantholdssrc4 of 5 hold
- Staleness checkinvariantfailssrc3 of 9 hold
The facts the registry marks decision-changing, with how the other implementations answered. An invariant may be shown as pass/fail; a design choice never is, however unusual it looks.
Description, as the model sees it
Not recorded yet — the verbatim description has not been captured for this tool.
Registered schema
Not recorded yet — the schema as registered has not been captured for this tool.
Observed · Read
compare all →| Fact | This tool | Across all implementations |
|---|---|---|
| Output shape | 2 of 3 recorded | |
| Dedicated read tool | readsrc | |
| Line numbering | ? Source confirms lines are numbered, but the exact format was not established. | 7 others recordedN + TAB ×2 · N: ×2 +22 unverified |
| Output wrapper | plainsrc | like 6 of 9<path>/<type>/<content> ×2 · raw stdout ×1 |
| Limits | 1 of 4 recorded | |
| Default line cap | 2000src | like 6 of 81000 ×1 · none ×11 unverified |
| Byte / char cap | ? | 6 others recorded50 KB ×3 · 100 KB ×1 +22 unverified |
| Per-line cap | ? | 5 others recorded2000 chars ×4 · none ×12 unverified |
| Whichever hits first | ? | 6 others recordedlines or bytes ×4 · chars ×1 +12 unverified |
| Pagination | 1 of 5 recorded | |
| Offset base | 1-indexedsrc | like 7 of 80-indexed ×1 |
| Announces truncationinvariant | ? | all 7 holdtrue ×71 unverified |
| Continuation hint | ? | 7 others recorded(Showing X-Y of N. Use offset=Z) ×2 · (truncated) ×1 +41 unverified |
| Reports total lines | ? | 4 others recordedyes ×2 · linesShown[] ×1 +14 unverified |
| Out-of-range offset | ? | 2 others recordedexplicit error w/ line count ×26 unverified |
| Non-text | 3 of 6 recorded | |
| Binary content never enters context silentlyinvariant | holdssrc Accepts UTF-8 only. | 4 of 5 holdfalse ×14 unverified |
| Binary files | UTF-8 onlysrc | only one of 5error: Cannot read binary file ×2 · raw bytes into context ×1 +14 unverified |
| Images | separate read_image (auto-downscale)src | only one of 9attachment (jpeg/png/gif/webp) ×1 · attachment + mime sniff ×1 +6 |
| PDFs | ? | 5 others recordedattachment ×2 · page ranges + continuation ×1 +23 unverified |
| Notebooks | ? | 2 others recorded(notebook-edit tool) ×1 · cells + outputs ×16 unverified |
| Giant single line | ? | 7 others recordedper-line cap ×4 · char budget absorbs it ×1 +22 unverified |
| Errors | 1 of 4 recorded | |
| Missing path | ? | 4 others recordedDid you mean one of these? ×2 · error ×1 +15 unverified |
| Path is a directory | ? | 4 others recordedlists entries ×2 · error ×1 +15 unverified |
| Empty file | ? | 2 others recordedempty stdout ×1 · explicit reminder ×17 unverified |
| Non-vision model | requires image-capable modelsrc | only one of 2explicit note in output ×15 unverified |
| Correctness | 2 of 3 recorded | |
| Mixed line endings | ? | 2 others recordedraw ×1 · renders CR visibly ×17 unverified |
| Staleness check before writeinvariant | failssrc | 3 of 9 holdtrue ×3 |
| Multi-file read | concurrent batchessrc | only one of 2read_many_files ×1 |
Other tools in dsh
names verbatim, as registeredask_user_questionbashShellbash-persistentShellcordis_runcreate_goalcredentialseditexit_plan_modeget_goalglobCode searchgrepCode searchinterrupt_agentjob_killjob_outputlsppwshShellralphread_imagereportrun_codesend_messagespawn_teammatestr_replace_editorsubagentteam_task_create/get/list/updateterminal_open/read/sendShelltodo_writeupdate_goalweb_fetchweb_searchWeb searchworkflowwrite