K09 · bounded executable evidence infrastructure

Offline IDN Observations

Direct answer

K09 validates a signed offline reference bundle for nine Runic domains while leaving all unobserved external lifecycle states explicitly unobserved.

Authority and disclosure boundary. K09 publishes static tools, synthetic fixtures, source-derived event records, signed offline imports, non-certifying traces, redacted procurement structures, and public/protected partition schemas. It does not perform live monitoring, reveal protected topology or credentials, decide awards, certify facilities, authorize operations, or prove factual truth from a signature.

Claim-level evidence boundary

VERIFIED PROJECT IMPLEMENTATION

Domain states remain independent

K09 stores Unicode, IDNA, registry, registration, delegation, DNS, TLS, and hosting states independently.

Scope: Offline IDN observation importer and public records.

The bundled reference fixture performs no live registry, DNS, TLS, or hosting check.

SRC-RFC-5890: Definitions and document framework · SRC-RFC-5891: Protocol scope

Eight independent state classes

1Unicode
2IDNA
3Registry policy
4Registration
5Delegation
6DNS resolution
7TLS
8Hosting

No later state is inferred from an earlier one. An encodable label can remain prohibited by policy, unregistered, undelegated, non-resolving, uncertificated, or not hosting a service.

Signed offline reference import

The included fixture is signed and accepted for review by the offline importer. Its external lifecycle fields remain NOT_OBSERVED because K09 performed no live registry, DNS, TLS, HTTP, ownership, or hosting check.

Inspect the import receipt · inspect the signed payload.

Nine domain records

Separated IDN lifecycle states
U-labelA-labelGroupUnicodeIDNADNSTLSHosting
ᛟ.comxn--wxe.comRuneDomainNetworkDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᛜ.comxn--txe.comRuneDomainNetworkDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᛉ.comxn--9we.comRuneDomainNetworkDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᚲ.comxn--mwe.comRuneDomainNetworkDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᚨ.comxn--cwe.comRuneDomainNetworkDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᛚ.comxn--rxe.comRuneDomainNetworkDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᛌ.comxn--dxe.comOtherRunicDomainsDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᛠ.comxn--xxe.comOtherRunicDomainsDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED
ᛄ.comxn--4we.comOtherRunicDomainsDECLARED ENCODED CHARACTERREFERENCE ACE MAPPINGNOT_OBSERVEDNOT_OBSERVEDNOT_OBSERVED