noCV
SKERNEL-101 · Establish the machine contract

Read a file completely across short system calls

Practice briefTaskFoundational

The adapter assumes one read fills the requested buffer and silently truncates a generated manifest after an injected short read.

Focused work estimate
1h 30m + prerequisites
Priority in the scenario
Medium
Engineering practice
System calls · Partial I/O

Estimated field mix

  • Systems programming70%
  • Storage systems30%

Field percentages are editorial estimates of the ticket's engineering focus. They total 100%; they are not measured time, proficiency scores, or ownership evidence.

Your next step

Review it, then add it to your workspace.

The board opens an editable draft; nothing is saved until you confirm it. Sign-in and workspace permissions apply, and Demo boards remain ephemeral.

Project context

A fictional local agent watches generated inbox files and schedules bounded processing. Direct system calls are scattered across the code, mishandle interrupted operations, and make tests platform-dependent. Build a Rust OS adapter with temporary fixture directories; no kernel module, elevated privilege, or production host modification is required.

Setup prerequisites

  • System calls
  • File descriptors
  • Monotonic clocks

Preceding work

No earlier ticket is required. Complete the project setup above.

Acceptance criteria

  • Loop until EOF, declared length, or typed error
  • Return bytes already read only when the contract permits partial results
  • Zero-progress reads cannot spin forever

Implementation constraints

  • Use a controllable local read adapter; never require privileged system-call interception.

Verification to include

  • Read the same manifest through one-byte and irregular chunk schedules.
  • Return zero progress before EOF and confirm bounded failure.

Deliverables

  • Complete-read primitive and short-read tests

Rollout and recovery

Route manifest reads through the helper before larger files.

Value of the work

For the engineer: Practice OS error semantics, partial I/O, portability and deterministic abstraction boundaries.

For the team: Review host-facing code whose retries, resource limits, and platform differences are explicit before packaging it as a local agent.

Evidence boundaries

Outcome Evidence: Tests, patches, and runbooks are requested deliverables. They become Outcome Evidence only through a qualified Mission and immutable Evidence IDs.

Ownership Evidence: Independent adaptation must be observed under a declared verification policy and cite immutable Evidence IDs. Completing a planning ticket establishes no Ownership Evidence.