K10 · bounded transition and assurance evidence
Protocol Negotiation Results
Direct answer
K10 executes 10 declared negotiation cases, 256 generated token sequences across 4 formats, and a four-step replay fixture.
Authority, operation, and disclosure boundary. K10 publishes static tools, deterministic synthetic fixtures, review queues, offline observation records, migration and merge reports, abstract dependency analysis, reference transition plans, audit trails, signed offline receipts, redaction records, and a release-time dashboard. It does not perform live monitoring, deployment, procurement award, facility certification, network reconnaissance, protected-system operation, legal authorization, or factual adjudication.
Deterministic case inventory
| Case | Scenario | Offered | Receiver support | Expected outcome |
|---|---|---|---|---|
| NEGOTIATE-K10-001 | exact-1-1 | 1.1 | 1.1 | ACCEPT |
| NEGOTIATE-K10-002 | fallback-to-1-0 | 1.1, 1.0 | 1.0 | ACCEPT |
| NEGOTIATE-K10-003 | no-common-version | 1.1 | 1.0 | REJECT_NO_COMMON_VERSION |
| NEGOTIATE-K10-004 | known-critical-extension | 1.1 | 1.1 | ACCEPT |
| NEGOTIATE-K10-005 | unknown-critical-extension | 1.1 | 1.1 | REJECT_UNKNOWN_CRITICAL |
| NEGOTIATE-K10-006 | unknown-noncritical-extension | 1.1 | 1.1 | ACCEPT_WITH_REPORT |
| NEGOTIATE-K10-007 | profile-requires-1-1 | 1.0 | 1.0 | REJECT_PROFILE_VERSION |
| NEGOTIATE-K10-008 | duplicate-nonrepeatable-extension | 1.1 | 1.1 | REJECT_DUPLICATE_EXTENSION |
| NEGOTIATE-K10-009 | canonical-extension-order | 1.1 | 1.1 | ACCEPT_CANONICALIZED |
| NEGOTIATE-K10-010 | replay-window-reference | 1.1 | 1.1 | ACCEPT_FIRST_SEEN |
Property generation
256deterministic sequences
4representations per sequence
16082026fixed generator seed
Properties exercised
- four-format round trip preserves ordered tokens
- canonical envelope bytes are repeatable
- canonical extension order is stable
- duplicate non-repeatable extensions are rejected
- unknown critical extensions are rejected
- replay nonce reuse within the bounded fixture window is rejected
Machine evidence
Negotiation and property results · Case records · Profiles.
The published suite tests bounded deterministic behavior. It is not a formal proof, independent implementation, interoperability certification, security evaluation, or performance benchmark.