tiny.closure

Overview · API · Code relationships · Verification · Audit

Overview

Reproducible execution requires verifying that required dependencies exist within an admitted environment. Closure audits binary graphs and verifies predecessor completeness across bounded dependency projections.

Callers provide storage capacity to trace transitive relations without heap allocation. Emitted qualification receipts certify completeness only relative to the inspected projection boundary, without guaranteeing discovery of unmodeled dynamic dependencies.

Definitions

Types and contracts

Public types and contracts.

• Limits
• Capacity

Namespaces

Public namespaces.

• project
• schema
• baseline
• binary
• canonical
• discover
• ledger
• link
• qualify
• receipt
• limits

Code relationships

Direct static dependencies extracted from parsed source by semantic graph analysis.

Uses: alloc_phase, tiny.hypothesis, tiny.sql, tiny.trace
Used by: tiny.chant, tiny.smg

Verification

No verification records are cataloged for this module in this build.

Audit