Knowledge Contract v3: Synthesis Specification

Abstract

This specification defines a target design for Knowledge Contract v3 (target identifier 3.0.0-draft.1): a versioned, bounded package of meaning content for a declared purpose of use. It links typed content to requirements, scope, sources, dependencies, preservation obligations and observations. The text describes nine logical groups, six selective profiles, separate validation levels, and a limited migration of a six-field legacy subset. A concrete carrier, kc-synthesis/0.1, is covered only within its own stated scope.

Claims and their basis

• A contract is a versioned package for a declared purpose; its content type is preserved (an extracted instruction is not an accepted norm). Basis type: not-a-claim (normative definition).
• Core instance: nine logical groups, with unknown scope kept distinct from "known to be absent"; profiles are a separate extension container, and an unknown required profile blocks application. Basis type: not-a-claim (normative rules).
• Structural validation, reference and obligation checks, and application assessment against supplied context are separate levels; a positive result does not establish source truth, real fulfilment of a requirement, or authenticity of evidence. Basis type: not-a-claim (scope statement).
• Finite executed checks on the carrier: the first author run passed 35 of 35 ordinary scenarios, and a separate in-team challenge run passed 26 of 26 (six valid positives, seventeen correct refusals, three migration checks). Basis type: finite-test.
• In the same runs, two author stress inputs and four challenge stress inputs with falsely trusted markup were accepted by the model; they are excluded from the conformance share and mark a limit of source admission. Basis type: finite-test (negative result).
• An exploratory strong plain-text form matched the contract on the shared area (9 of 9 each: three admissions, six refusals). Superiority is not established; the comparison was not preregistered and does not measure cost. Basis type: finite-test.

Limits

• Real professional work, source truth and general usefulness are not confirmed here.
• Coverage checks test presence of a requirement unit, not actual fulfilment; visual checks test a declared modality, not bytes or legibility; reasoning checks test declared references, not truth of premises.
• The instance revision or digest is not yet bound into attempt and evidence records; global attempt uniqueness, idempotency and observation of real external effects are not implemented.
• The specification does not declare production readiness, a published standard or a finished serialisation, and migration does not claim semantic equivalence or lossless round trips.

Status and what is open

• The late research synthesis gate is open.
• Independent semantic review of this text has not been performed.
• The English page is a summary, not a translation, and does not replace the Russian original.
• Open by the specification's own account: full binding of the instance to execution and acceptance, and privacy filtering of diagnostics.

Relation to the full text

This page summarises the specification's own statements; it adds no claims. The full text is a draft whose own front matter marks it concept_draft. No separate editorial review wording exists for specifications yet.

Credit and licence

Based on Knowledge Contract Arcana, https://contract.place (CC BY 4.0). Licence: CC BY 4.0. Credit lines and how to cite: ATTRIBUTION.md; rights holder statement for the repository: NOTICE; third-party sources: SOURCES.md.