Programming Language

Nocter

A self-contained systems language built around simplicity, encapsulation, and foolproof design.

/development/compiler/crates/nocter-package-acquisition/README.md

nocter-package-acquisition

Responsibility

Fetch and validate exact Git or archive package content under the public acquisition policy.

Contract

The crate consumes a resolved acquisition request and produces staged exact content for a nocter-package-state transaction. It owns HTTPS, Git object traversal, archive decoding, digest verification, redirect/resource limits, and unsafe-entry rejection. It does not choose dependency versions or publish package state directly.

Invariants

  • Every transport remains authenticated HTTPS under the declared policy.
  • Locked Git commits and archive digests are verified before publication.
  • Symlinks, traversal, devices, duplicate destinations, and resource-limit violations are rejected.
  • A rejected download cannot leave an installable partial package.