UAPI Freeze Evidence

Generated by cargo run -p krate-tools --bin check-uapi -- --format markdown.

Status: serious draft, not frozen yet.

See also: UAPI Freeze Lock. The lock records the exact WIT file hashes for the current freeze candidate.

Contract Summary

  • App package: krate:app@0.1.0
  • World: cli
  • Imported interfaces: 14
  • Packages: 6

Checks Passed

  • expected package set is present
  • cli world shape is stable
  • imported interface set matches the Phase 2 plan
  • world export is run: func() -> s32
  • public names use kebab case
  • fs-error and net-error include permission-denied
  • public WIT items have contract docs

Packages

  • krate:app@0.1.0
  • krate:fs@0.1.0
  • krate:io@0.1.0
  • krate:locale@0.1.0
  • krate:net@0.1.0
  • krate:time@0.1.0

Imported Interfaces

  • krate:fs/files@0.1.0
  • krate:fs/types@0.1.0
  • krate:io/args@0.1.0
  • krate:io/log@0.1.0
  • krate:io/stdio@0.1.0
  • krate:io/streams@0.1.0
  • krate:io/types@0.1.0
  • krate:locale/format@0.1.0
  • krate:locale/info@0.1.0
  • krate:locale/types@0.1.0
  • krate:net/http-client@0.1.0
  • krate:net/types@0.1.0
  • krate:time/clock@0.1.0
  • krate:time/sleep@0.1.0

Freeze Note

This evidence proves the current UAPI contract shape is internally consistent. It does not freeze v0.1 by itself. The freeze lock records the exact WIT file hashes for this candidate. The remaining freeze decision still needs cross-host evidence, language-track evidence, and a final human review.