ᚲ.com

K11 · state, custody, decision, and release evidence

Protocol State Machine

Direct answer

K11 defines a ten-state, eighteen-transition reference protocol model and verifies declared and generated transcripts with two independent decoding algorithms, while preserving an explicit boundary between deterministic conformance and real security.

Stable record
K11-PAGE-PROTOCOL
Claim status
VERIFIED PROJECT IMPLEMENTATION
Last reviewed
Research cutoff
Source type
GOVERNED PROJECT KNOWLEDGE
Currentness
Current for release 2.1.0; external sources require periodic revalidation.
Correction state
No unresolved public correction recorded for this release.
Machine record
Static JSON record
Evidence and authority boundary. K11 publishes deterministic static models, signed offline reference bundles, synthetic fixtures, review records, decision and receipt chains, public projections, and release-time comparisons. It does not perform live network acquisition, deploy software, operate a facility, make an award, authorize force, certify compliance, or convert a signature into factual truth.

Claim-level evidence boundary

VERIFIED PROJECT IMPLEMENTATION

Protocol state behavior is model-tested across two decoders

K11 executes declared state transitions, invalid-transition rejection, downgrade and retirement behavior, replay persistence, recovery, and canonical transcript comparison using reference and independently implemented decoders.

Scope: K11 synthetic protocol state-machine harness.

Model and decoder agreement do not establish authentication, authorization, security completeness, performance, or deployment.

SRC-UNICODE-RUNIC-17: Runic code chart

State-machine coverage

10states
18transitions
12declared transcripts
384generated sequences
96cross-decoder cases

The reference interpreter and an independently implemented list-scan decoder must produce byte-identical canonical transcripts. Illegal transitions fail closed, unsafe downgrade does not establish a session, replay rejection persists through synthetic recovery, and retired critical meanings cannot disappear silently.

Protocol states
StateTerminalMeaning
IDLEFalseNo session contract is active.
NEGOTIATINGFalseVersion, profile, and extension capabilities are being compared.
ESTABLISHEDFalseA bounded reference session contract is selected.
DEGRADED_COMPATIBILITYFalseA lower compatible version or reduced extension set is active and visibly recorded.
RETIRING_EXTENSIONFalseAn extension is being removed under a declared retirement rule.
RECOVERINGFalseA session is restoring state after bounded interruption.
REPLAY_REJECTEDFalseA transcript or message was rejected by the persisted replay-state fixture.
DOWNGRADE_REJECTEDFalseA requested downgrade violated the declared minimum contract.
FAILEDTrueThe bounded state machine reached a non-recoverable reference error.
CLOSEDTrueThe reference session ended under an explicit close transition.
Declared transitions
FromEventToOutcome
IDLESTARTNEGOTIATINGOK
NEGOTIATINGCOMMON_VERSIONESTABLISHEDOK
NEGOTIATINGCOMPATIBLE_FALLBACKDEGRADED_COMPATIBILITYNOTICE_DOWNGRADE
NEGOTIATINGNO_COMMON_VERSIONFAILEDERR_NO_COMMON_VERSION
NEGOTIATINGUNSAFE_DOWNGRADEDOWNGRADE_REJECTEDERR_DOWNGRADE_POLICY
DOWNGRADE_REJECTEDRENEGOTIATENEGOTIATINGOK
ESTABLISHEDRETIRE_EXTENSIONRETIRING_EXTENSIONNOTICE_EXTENSION_RETIREMENT
DEGRADED_COMPATIBILITYRETIRE_EXTENSIONRETIRING_EXTENSIONNOTICE_EXTENSION_RETIREMENT
RETIRING_EXTENSIONRETIREMENT_ACCEPTEDDEGRADED_COMPATIBILITYOK
RETIRING_EXTENSIONRETIREMENT_REJECTEDFAILEDERR_CRITICAL_EXTENSION_RETIRED
ESTABLISHEDINTERRUPTIONRECOVERINGNOTICE_SESSION_RECOVERY
DEGRADED_COMPATIBILITYINTERRUPTIONRECOVERINGNOTICE_SESSION_RECOVERY
RECOVERINGSTATE_RESTOREDESTABLISHEDOK
RECOVERINGSTATE_RESTORED_DEGRADEDDEGRADED_COMPATIBILITYNOTICE_DOWNGRADE
RECOVERINGREPLAY_DETECTEDREPLAY_REJECTEDERR_REPLAY
REPLAY_REJECTEDRENEGOTIATENEGOTIATINGOK
ESTABLISHEDCLOSECLOSEDOK
DEGRADED_COMPATIBILITYCLOSECLOSEDOK

Declared transcript cases

CLOSED

Clean 1 1

START → COMMON_VERSION → CLOSE

CLOSED

Compatible Fallback

START → COMPATIBLE_FALLBACK → CLOSE

FAILED

No Common Version

START → NO_COMMON_VERSION

CLOSED

Unsafe Downgrade Recovery

START → UNSAFE_DOWNGRADE → RENEGOTIATE → COMMON_VERSION → CLOSE

CLOSED

Extension Retirement

START → COMMON_VERSION → RETIRE_EXTENSION → RETIREMENT_ACCEPTED → CLOSE

FAILED

Critical Retirement Failure

START → COMMON_VERSION → RETIRE_EXTENSION → RETIREMENT_REJECTED

CLOSED

Session Recovery

START → COMMON_VERSION → INTERRUPTION → STATE_RESTORED → CLOSE

CLOSED

Degraded Session Recovery

START → COMPATIBLE_FALLBACK → INTERRUPTION → STATE_RESTORED_DEGRADED → CLOSE

CLOSED

Replay During Recovery

START → COMMON_VERSION → INTERRUPTION → REPLAY_DETECTED → RENEGOTIATE → COMMON_VERSION → CLOSE

FAILED

Illegal Transition

START → CLOSE

REPLAY_REJECTED

Replay State Persistence

START → COMMON_VERSION → INTERRUPTION → REPLAY_DETECTED

CLOSED

Cross Version Verification

START → COMPATIBLE_FALLBACK → RETIRE_EXTENSION → RETIREMENT_ACCEPTED → CLOSE

Failure taxonomy

Error taxonomy
CodeClassSeverityPublic meaning
ERR_NO_COMMON_VERSIONNEGOTIATIONTERMINALNo mutually supported version exists.
ERR_DOWNGRADE_POLICYDOWNGRADERECOVERABLEThe proposed fallback is below the declared minimum or violates a pinned capability.
ERR_UNKNOWN_CRITICALEXTENSIONTERMINALA critical extension meaning is unknown.
ERR_CRITICAL_EXTENSION_RETIREDRETIREMENTTERMINALA required critical extension has been retired without an accepted replacement.
ERR_REPLAYREPLAYRECOVERABLEA persisted replay-state check rejected the message or transcript.
ERR_TRANSCRIPT_MISMATCHTRANSCRIPTTERMINALIndependent decoders produced different canonical transcript records.
ERR_RECOVERY_STATERECOVERYTERMINALRequired persisted session state was absent or inconsistent.
ERR_CANONICALIZATIONENCODINGTERMINALEquivalent input did not reduce to one canonical representation.

A deterministic state machine can prove declared transition behavior. It cannot by itself prove authentication, authorization, confidentiality, safety, semantic truth, or production interoperability.

Machine evidence

State-machine results · Transcript cases · Model plan.