32 lines (25 loc) · 877 Bytes

Status

Status: CLOSED RELEASE.

Release role: canonical axiomatic registry for URF.

Repository scope:

axioms;
definitions;
local proof objects;
released certification artifacts;
conditional-policy enforcement;
archived frontier references.

Closure basis:

released axiomatic layer is frozen;
certification artifacts are immutable once released;
CCL is archived as an external/non-blocking frontier;
no open issue or PR is required for repository-scope closure;
v1.0.0 is the current closed-release surface.

Non-scope:

no open-problem resolution claim;
no completeness claim for all downstream consequences;
no guarantee that conditional principles are theorem-grade;
no replacement for urf-core reduction-status authority.

Canonical downstream reduction authority:

urf-core/docs/REDUCTION_STATUS.md.

Repository-scope blocker:

none.