Date: 2026-07-20
Candidate disposition:
PUBLIC-GT-ADMISSION-CANDIDATE-READY-FOR-OPERATOR-RATIFICATION
| State | Status |
|---|---|
| source custody | ACTIVE at 71714265062e3b45092c4d79927dfe2ed77dc5fa |
| target intake | PASS |
| public compatibility | PASS in this candidate worktree |
| target custody | INACTIVE pending operator ratification of an exact commit/tree |
| canonical scientific owner | Skunkworks repository |
| canonical public distribution surface | CANDIDATE; activates only after operator ratification |
| ownership transfer | INACTIVE and not requested |
The proposed public custody split is one Mathlib-free stable surface,
GovernedTransport, containing the aggregate and ten stable leaves, plus one
Mathlib-free public-evidence target, GovernedTransportEvidence, containing
the evidence aggregate and three hostile leaves. The repository aggregate may
contact-compile both; that import is non-promotional.
C01 QUALIFIED INTERNALLY; NOT TRANSFERRED
C02 C02-PARTIAL-CORRESPONDENCE; NOT TRANSFERRED
C03 SECONDARY-QUALIFIED; C03-EXCLUDE-PENDING-SEPARATE-GATE
C04 UNRESOLVED; NOT TRANSFERRED
Generic extension NO-GENERIC-EXTENSION-EARNED
Coverage debt LAW-FAMILY-ONLY
FEDERATED-OR-NONE NOT ADOPTED
Runtime correspondence NOT ESTABLISHED
External validation NOT ESTABLISHED
Ratifying this candidate would make this repository the canonical public distribution surface for the exact mapped object while leaving Skunkworks the canonical scientific source owner and historical hostile laboratory. Those roles are delimited; they are not a claim of shared canonical ownership.
The exact uncommitted candidate delta is bound by
GT4A-TARGET-CANDIDATE-MANIFEST.tsv and its non-recursive checksum envelope.
Git commit and tree identities remain unset until the operator serializes the
candidate. No push, tag, release, DOI, publication, ownership transfer, or
runtime-conformance claim is authorized by this record.