Registry · Remark V.R51 tau-effective not_applicable

V.R51 — Why an API metaphor

The software-engineering API metaphor is deliberate: each Part is a module with preconditions (Part I's fixed inputs) and postconditions (required outputs). If any Part fails to produce its output, the argument has a bug. The Cosmic Stack API enforces the same contract discipline as the Book IV export contract.

Book V Part 1 Ch. 10

Lean Formalization

Module: