K12 · differential evidence, reconciliation, and information-flow control

Differential Protocol Laboratory

Direct answer

K12 executes three separately implemented decoders over 34 inherited transcripts, 144 generated valid sequences, and 96 generated malformed sequences, while making no performance, security, or deployment claim.

Stable record: K12-PAGE-PROTOCOL-LAB
Claim status: VERIFIED PROJECT IMPLEMENTATION
Last reviewed: 2026-08-16
Research cutoff: 2026-08-16
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. K12 publishes deterministic static models, signed offline reference bundles, synthetic fixtures, review records, custody receipts, 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, enforce production access control, or convert a signature into factual truth.

Claim-level evidence boundary

VERIFIED PROJECT IMPLEMENTATION

Differential protocol results agree across three independent decoders

K12 replays inherited, generated valid, and malformed protocol sequences through three independently implemented decoders and compares canonical transcripts.

Scope: K12 deterministic local reference implementation.

Agreement is bounded to tested synthetic inputs and is not a security, performance, or deployment claim.

SRC-UNICODE-RUNIC-17: Runic code chart

Independent implementation coverage

3decoders

34lineage receipts

144generated valid sequences

96generated malformed sequences

822decoder executions

Declared decoder implementations
ID	Name	Implementation	Independent
DEC-K12-REF	Indexed reference interpreter	transition-index	False
DEC-K12-SCAN	Linear-scan independent interpreter	transition-list-scan	True
DEC-K12-TABLELESS	Tableless functional interpreter	event-reducer	True

The laboratory compares canonical transcripts produced by an indexed interpreter, a linear scan, and a tableless event reducer. It records deterministic transition counts and canonical UTF-8 sizes rather than wall-clock benchmark claims.

Inherited K09–K11 transcript lineage

Release lineage
Release	Source case	Kind	State
K09	CASE-K09-001	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-002	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-003	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-004	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-005	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-006	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-007	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-008	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-009	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-010	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-011	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K09	CASE-K09-012	TOKEN_CONFORMANCE	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-001	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-002	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-003	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-004	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-005	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-006	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-007	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-008	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-009	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K10	NEGOTIATE-K10-010	VERSION_NEGOTIATION	INHERITED_AND_REPLAYED
K11	PTC-K11-001	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-002	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-003	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-004	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-005	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-006	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-007	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-008	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-009	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-010	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-011	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED
K11	PTC-K11-012	STATE_TRANSCRIPT	INHERITED_AND_REPLAYED

K11

PTC-K11-012

State Transcript

Malformed-input classes

Deterministic negative classes
Code	Meaning	Expected
MAL-K12-UNKNOWN	Unknown event token	FAILED
MAL-K12-AFTER-TERMINAL	Event after terminal state	FAILED
MAL-K12-DUPLICATE-NEGOTIATION	Duplicate negotiation step	FAILED
MAL-K12-DOWNGRADE	Unsafe downgrade path	FAILED
MAL-K12-REPLAY	Replay after recovery	FAILED
MAL-K12-TRUNCATED	Truncated transcript	FAILED_OR_INCOMPLETE

Three decoders agreeing on tested inputs proves only declared canonical behavior for those inputs. It does not prove protocol security, semantic truth, authorization, interoperability with unknown implementations, performance superiority, or deployment.

Machine evidence

Laboratory result · Lineage receipts · Laboratory plan.