8. Validation and Diagnostics

Diagnostics in Culsma are stage-placed:

1. each stage emits the failures it can decide earliest
2. diagnostic prefixes (LOAD/LIB, SEM, TYPE, ENTRY, PLAN, RT, MAT) mark that stage placement
3. the diagnostic code set and stage boundary do not imply a single monolithic diagnostic subsystem

8.1 Validation Stages

Culsma uses staged checks:

1. Entry-source and definition-dependency loading
2. Library-definition resolution
3. Compilation to a normalized intermediate representation
4. Semantic validation
5. Type/unit validation
6. Entry resolution
7. Execution-plan construction
8. Runtime execution

Pipeline order:

1. The standard pipeline order is load -> resolve -> compile -> validate -> typecheck -> entry -> plan -> runtime.
2. Compilation produces Canonical IR plus semantic-analysis input; semantic validation consumes both.
3. Execution-plan construction may emit PLAN_* diagnostics while still producing an execution plan; runtime execution consumes plan diagnostics according to the runtime error policy.
4. Runtime material compute, observation recording, and protocol-output capture are part of runtime execution, not separate pre-runtime stages.

8.2 Operation Contract Check Placement

Operation vocabulary definitions and call contracts are specified in Chapter 6.

Rules:

1. Step-call syntax accepts IDENTIFIER(...), but semantic validity requires operation presence in vocabulary.
2. Unknown operation names produce SEM_UNKNOWN_STEP.
3. Missing required args, unknown args, and duplicate args are semantic contract diagnostics.

Constructor built-ins and sugar-lowering note:

1. container/content sugar legality is checked after lowering to canonical domain built-in calls (Chapter 4 -> Chapter 6).
2. Constructor built-ins use the same staged contract model (SEM_* -> TYPE_* -> MAT_*).

8.2.1 Canonical Content Whitelist

content_kind and standard content_type values are constrained by the canonical whitelist defined in Chapter 6.

Validation policy:

1. Missing content_kind is semantic error.
2. Non-whitelisted content_kind is semantic error in strict mode.
3. content_type uses lowercase snake_case tokens.
4. Standard content_type values should use canonical tokens.
5. The canonical content_type surface is closed; uncommon material identities should use the Chapter 6 other_* fallback for their kind.
6. Standard attrs.role values are recommended/controlled by Chapter 6, but attrs remains open metadata; unknown attr keys are not rejected solely for being unknown.

Validation contract:

1. The whitelist is part of the content contract.
2. Dedicated content diagnostics below are part of the staged diagnostic contract.
3. Legacy content kind/type aliases, including older custom/unknown type strings, are compatibility inputs only when legacy normalization mode is explicitly enabled. Such inputs should produce warning diagnostics and normalize to Chapter 6 canonical values.

8.2.2 Diagnostic Mapping Table (Content + Mutation Model)

Failure condition	Earliest stage	Diagnostic code	Status
missing content_kind in DefineContent	semantic	SEM_MISSING_CONTENT_KIND	current
non-whitelisted content_kind (strict mode)	semantic	SEM_INVALID_CONTENT_KIND	current
invalid content_type normalization (required mode)	semantic	SEM_INVALID_CONTENT_TYPE_FORMAT	current
unsupported content_type token in strict canonical mode	semantic	SEM_INVALID_CONTENT_TYPE_VALUE	current
legacy or unknown content taxonomy normalized to canonical value or other_* in compatibility mode	semantic	SEM_CONTENT_TAXONOMY_COMPAT_NORMALIZED	current warning
unsupported constructor container kind	semantic	SEM_INVALID_CONTAINER_KIND	current
surface(...) constructor provides volume capacity	semantic	SEM_SURFACE_CAPACITY_FORBIDDEN	current
constructor load = [...] item is not a valid content_spec:quantity pair list	semantic	SEM_INVALID_LOAD_ITEM	current
invalid container target-view member path such as container.structure, container.structure.upper, or container.structure.top.inner	semantic	SEM_CONTAINER_TARGET_VIEW_INVALID	current
non-text content_kind	type	TYPE_CONTENT_KIND_NOT_TEXT	current
non-text content_type	type	TYPE_CONTENT_TYPE_NOT_TEXT	current
non-text content_code	type	TYPE_CONTENT_CODE_NOT_TEXT	current
non-record attrs	type	TYPE_CONTENT_ATTRS_NOT_RECORD	current
ContainerTargetView is used where a material Container is required	type	TYPE_CONTAINER_TARGET_VIEW_POSITION_INVALID	current
mutation source list mixes quantified and full-transfer items	semantic	SEM_MUTATION_QUANTITY_STYLE_CONFLICT	current
mutation statement uses legacy per-source program(...) payload shape	semantic	SEM_MUTATION_PROGRAM_SOURCE_SHAPE_CONFLICT	current
source.partition(program)[i] is used outside mutation source position	semantic	SEM_SOURCE_PARTITION_CONTEXT_INVALID	current
source.partition(program)[i] program does not resolve to a partition-capable concrete program	semantic	SEM_PROGRAM_OWNER_MISMATCH / SEM_PROGRAM_KIND_INVALID	current
source.partition(program)[i] index is missing, non-static, negative, or outside binary range	semantic	SEM_INDEX_NOT_STATIC_INTEGER / SEM_INDEX_NOT_NONNEGATIVE_INTEGER / SEM_INDEX_OUT_OF_RANGE	current
container.contents[i] is used outside mutation source position	semantic	SEM_CONTAINER_CONTENTS_INDEX_CONTEXT_INVALID	current
container.contents[i] index is missing, non-static, or negative	semantic	SEM_INDEX_NOT_STATIC_INTEGER / SEM_INDEX_NOT_NONNEGATIVE_INTEGER	current
standalone content init appears in execution flow	semantic	SEM_STANDALONE_CONTENT_INIT_FORBIDDEN	current
unknown content identity at load/apply	material	MAT_CONTENT_NOT_FOUND	current
incompatible amount axis in content loading	material	MAT_CONTENT_LOAD_AXIS_MISMATCH	current
immutable content metadata conflict	material	MAT_CONTENT_METADATA_CONFLICT	current
selected scientific provider is absent, not applicable, or returns UNRESOLVED	material	MAT_SCIENTIFIC_MODEL_UNRESOLVED	current
selected scientific provider fails	material	MAT_SCIENTIFIC_MODEL_FAILED	current
selected scientific provider returns an invalid proposal	material	MAT_SCIENTIFIC_MODEL_PROPOSAL_INVALID	current
sep.component_fates is not a nested record, omits an output, uses an unknown output name, contains an invalid ratio, or does not sum to 100%	semantic	SEM_SEPARATION_FATE_RULE_SHAPE_INVALID / SEM_SEPARATION_FATE_RULE_SLOT_INVALID / SEM_SEPARATION_FATE_RULE_VALUE_INVALID / SEM_SEPARATION_FATE_RULE_TOTAL_INVALID	current
sep.component_fates references content absent from the runtime source	material	MAT_SEPARATION_FATE_COMPONENT_NOT_FOUND	current
sep.transitions is not a list of typed transition(...) values, uses an invalid selector, uses a bare/cross-program/unknown output member, supplies a string, bare, unknown, or internal target state, or supplies an invalid association selector	semantic	SEM_MATERIAL_TRANSITIONS_SHAPE_INVALID / SEM_MATERIAL_TRANSITION_* / SEM_MATERIAL_SELECTOR_*	current
sep.transitions target is outside the author-settable MaterialRelation enum, a selected index or exact entry ID is unavailable, the selected output has zero quantity, or a component-bound association target is missing from that output	material	MAT_MATERIAL_TRANSITION_* / MAT_MATERIAL_INDEX_OUT_OF_RANGE / MAT_MATERIAL_ENTRY_ID_NOT_FOUND / MAT_MATERIAL_RELATION_INVALID	current
container.contents[i] is read without a current valid indexed contents state	material	MAT_CONTENTS_STATE_NOT_INDEXED	current
container.contents[i] index does not exist in the current contents state	material	MAT_CONTENTS_STATE_INDEX_OUT_OF_RANGE	current
container.contents[i] reads a preserved indexed contents state outside its required preservation context	material	MAT_CONTENTS_STATE_PRESERVATION_NOT_SATISFIED	current

8.2.3 Diagnostic Mapping Table (Atomic Statements + Readout)

Failure condition	Earliest stage	Diagnostic code	Status
with env(...) inferred/explicit-hold target missing	semantic	SEM_ENV_TARGET_REQUIRED	current
with env(...) missing body and explicit hold form	semantic	SEM_ENV_BODY_REQUIRED	current
with env(...) missing every supported environment dimension	semantic	SEM_ENV_THERMAL_REQUIRED	current
scalar with env(thermal = ..., ...) missing required duration for pure hold/incubation or env-bound time scheduling	semantic	SEM_ENV_DURATION_REQUIRED	current
with env(duration=...) without thermal	semantic	SEM_ENV_DURATION_WITHOUT_THERMAL	current
outer duration is used together with thermal_program(...)	semantic	SEM_ENV_DURATION_FORBIDDEN_WITH_THERMAL_PROGRAM	current
with env(...) uses thermal-only modifier outside thermal scope	semantic	SEM_ENV_ARG_CONFLICT	current
hold(...) appears outside a direct with env(...) body, including inside a nested non-env sub-block	source/compile	hard error	current
hold(...) has zero args, multiple args, or an unsupported argument shape	source/compile	hard error	current
hold(...) target is not a valid env target shape	source/compile	hard error	current
legacy hold(sample = ...) compatibility spelling is accepted	source compatibility	no diagnostic	current
agit(...) uses unsupported mode	semantic	SEM_AGIT_MODE_UNKNOWN	current
agit(...) uses mode/arg combination not allowed by current contract	semantic	SEM_AGIT_ARG_CONFLICT	current
attached program = ... does not resolve to a concrete *_program(...) call	semantic	SEM_PROGRAM_KIND_INVALID	current
legacy generic program(...) form is used	semantic	SEM_LEGACY_PROGRAM_FORM_FORBIDDEN	current
concrete *_program(...) kind is not valid for the owning operator family	semantic	SEM_PROGRAM_OWNER_MISMATCH	current
concrete *_program(...) enum field uses unsupported token	semantic	SEM_INVALID_PROGRAM_ARG_VALUE	current
mutually exclusive program fields are supplied together	semantic	SEM_PROGRAM_ARG_CONFLICT	current
field_program.field is used instead of field_program.voltage	semantic	SEM_FIELD_PROGRAM_FIELD_ALIAS	current
with constraint(...) missing body	semantic	SEM_CONSTRAINT_BODY_REQUIRED	current
with constraint(...) provides neither requirement nor option	semantic	SEM_CONSTRAINT_ITEM_REQUIRED	current
with constraint(...) names unknown requirement	semantic	SEM_UNKNOWN_REQUIREMENT	current
with constraint(...) duplicates an option key	semantic	SEM_CONSTRAINT_DUPLICATE_OPTION	current
requirement is not valid for block scope	semantic	SEM_CONSTRAINT_SCOPE_INVALID	current
customized is mixed with standard requirements	semantic	SEM_CONSTRAINT_CUSTOMIZED_EXCLUSIVE	current
constraint(customized, ...) omits schema_ref	semantic	SEM_CONSTRAINT_CUSTOMIZED_SCHEMA_REQUIRED	current
unsupported constraint option is supplied	semantic	SEM_CONSTRAINT_UNKNOWN_OPTION	current
active requirement does not allow the action family	semantic	SEM_CONSTRAINT_ACTION_FAMILY_MISMATCH	current
active cold_chain requirement conflicts with env thermal setting	semantic	SEM_CONSTRAINT_ENV_CONFLICT	current
statement-level quantity field uses a globally invalid/unknown unit form	type	TYPE_DIMENSION_MISMATCH / TYPE_UNKNOWN_UNIT / TYPE_UNIT_NOT_ALLOWED	current
program field quantity/dimension mismatch	type	TYPE_PROGRAM_FIELD_KIND_MISMATCH / TYPE_PROGRAM_FIELD_DIMENSION_MISMATCH	current

8.3 Semantic Diagnostics (SEM_*)

Primary semantic diagnostics:

These codes cover statement legality, argument shape, binding legality, requirement compatibility, and operator-family membership:

1. SEM_UNKNOWN_STEP: step/operator name is not in the semantic vocabulary
2. SEM_MISSING_REQUIRED_ARG: a required argument is missing
3. SEM_UNKNOWN_ARG: an argument name is not allowed for the call
4. SEM_DUPLICATE_ARG: the same argument name appears more than once
5. SEM_UNBOUND_NAME_REFERENCE: a referenced local/runtime-visible name is not bound in scope
6. SEM_MISSING_CONTENT_KIND: content declaration omits required kind
7. SEM_INVALID_CONTENT_KIND: content kind is outside the whitelist
8. SEM_INVALID_CONTENT_TYPE_FORMAT: content type token shape is invalid
9. SEM_INVALID_CONTENT_TYPE_VALUE: content type token is not allowed for the selected kind
10. SEM_INVALID_CONTAINER_KIND: constructor uses an unsupported container kind
11. SEM_SURFACE_CAPACITY_FORBIDDEN: surface(...) uses forbidden volume capacity
12. SEM_INVALID_LOAD_ITEM: constructor load=[...] item shape is invalid
13. SEM_STANDALONE_CONTENT_INIT_FORBIDDEN: execution flow contains standalone content-init material forms
14. SEM_MUTATION_QUANTITY_STYLE_CONFLICT: one mutation source list mixes incompatible quantified/full-transfer styles
15. SEM_MUTATION_PROGRAM_SOURCE_SHAPE_CONFLICT: mutation-attached program shape is invalid for the source style
16. SEM_ENV_TARGET_REQUIRED: with env(...) has no inferred or explicit target
17. SEM_ENV_BODY_REQUIRED: with env(...) has neither body nor explicit hold form
18. SEM_ENV_THERMAL_REQUIRED: with env(...) provides no supported environment dimension
19. SEM_ENV_DURATION_REQUIRED: scalar thermal env is missing an explicit duration where the block is a pure hold/incubation or otherwise requires an enclosing time boundary
20. SEM_ENV_DURATION_WITHOUT_THERMAL: duration appears without thermal
21. SEM_ENV_DURATION_FORBIDDEN_WITH_THERMAL_PROGRAM: outer duration is used with thermal_program(...)
22. SEM_ENV_ARG_CONFLICT: env arguments conflict with the selected env mode
23. SEM_CONTAINER_TARGET_VIEW_INVALID: container target-view member path is incomplete or outside the closed accessor set
24. SEM_AGIT_MODE_UNKNOWN: agit(...) mode is unsupported
25. SEM_AGIT_ARG_CONFLICT: agit(...) arg combination is invalid for the selected mode
26. SEM_PROGRAM_KIND_INVALID: attached program does not resolve to a known concrete *_program(...)
27. SEM_LEGACY_PROGRAM_FORM_FORBIDDEN: legacy generic program(...) form is forbidden
28. SEM_PROGRAM_OWNER_MISMATCH: concrete *_program(...) kind is not valid for the owning operator family
29. SEM_INVALID_PROGRAM_ARG_VALUE: program enum/token field value is unsupported
30. SEM_PROGRAM_ARG_CONFLICT: mutually exclusive program fields are supplied together
31. SEM_FIELD_PROGRAM_FIELD_ALIAS: field_program.field is used instead of field_program.voltage
32. SEM_UNKNOWN_REQUIREMENT: constraint(...) names an unknown requirement
33. SEM_CONSTRAINT_BODY_REQUIRED: with constraint(...) is missing a body
34. SEM_CONSTRAINT_ITEM_REQUIRED: with constraint(...) provides neither requirement nor option
35. SEM_CONSTRAINT_DUPLICATE_OPTION: the same constraint option key appears more than once
36. SEM_CONSTRAINT_SCOPE_INVALID: requirement is not legal in the current scope
37. SEM_CONSTRAINT_CONFLICT: two active requirements conflict
38. SEM_CONSTRAINT_CUSTOMIZED_EXCLUSIVE: customized is mixed with standard requirements
39. SEM_CONSTRAINT_CUSTOMIZED_SCHEMA_REQUIRED: customized omits required schema_ref
40. SEM_CONSTRAINT_UNKNOWN_OPTION: unsupported constraint option key is supplied
41. SEM_CONSTRAINT_ACTION_FAMILY_MISMATCH: active requirement disallows the action family
42. SEM_CONSTRAINT_ENV_CONFLICT: active requirement conflicts with env settings
43. SEM_MATERIAL_TRANSITIONS_SHAPE_INVALID / SEM_MATERIAL_TRANSITION_SHAPE_INVALID / SEM_MATERIAL_TRANSITION_ARGS_INVALID: the sep.transitions collection or one transition(...) call has an invalid shape.
44. SEM_MATERIAL_SELECTOR_INVALID / SEM_MATERIAL_SELECTOR_CONTAINER_MISMATCH: a transition subject or association target is neither a same-sample materials[index] selector nor a same-sample materials.get(entry_id) selector with a statically resolvable non-empty string key.
45. SEM_MATERIAL_TRANSITION_OUTPUT_INVALID: output is not a namespaced member of the concrete output enum owned by the selected separation program, including bare identifiers and members of another program's output enum.
46. SEM_MATERIAL_TRANSITION_TARGET_INVALID: to is a string, a bare or unknown identifier, a member of another enum, or the internal MaterialRelation.UNRESOLVED sentinel rather than an author-settable MaterialRelation.MEMBER.
47. SEM_MATERIAL_TRANSITION_ASSOCIATION_REQUIRED / SEM_MATERIAL_TRANSITION_ASSOCIATION_FORBIDDEN / SEM_MATERIAL_TRANSITION_ASSOCIATION_INVALID: associated_with does not match the target relation's typed association contract.

8.3.1 Content/Constructor Semantic Diagnostics

For container/content constructor built-ins and lowered sugar forms:

1. SEM_MISSING_CONTENT_KIND: DefineContent(...) missing required kind.
2. SEM_INVALID_CONTENT_KIND: kind not in the canonical Chapter 6 whitelist.
3. SEM_INVALID_CONTENT_TYPE_FORMAT: type present but not normalized identifier form.
4. SEM_INVALID_CONTAINER_KIND: AllocContainer(kind=...) uses unsupported concrete kind.

8.3.2 Statement-First Mutation Semantic Diagnostics

For mutation statements (target << [sources...]) in the statement-first model:

1. SEM_MUTATION_QUANTITY_STYLE_CONFLICT: one source list mixes full-transfer and quantified-transfer items.

2. SEM_MUTATION_PROGRAM_SOURCE_SHAPE_CONFLICT: mutation-specific program payloads are authored in a legacy shape that the source surface no longer accepts.

3. SEM_STANDALONE_CONTENT_INIT_FORBIDDEN: execution flow contains standalone content/blood/buffer/... init as flowable material. Contract:

4. These codes are part of the mutation/content-model contract.

5. The codes above are emitted in the pipeline.

8.4 Type Diagnostics (TYPE_*)

Primary type/unit diagnostics:

These codes cover quantity dimensions, unit families, typed assignment, and typed constructor/program fields:

1. TYPE_DIMENSION_MISMATCH: value has the wrong physical dimension
2. TYPE_UNKNOWN_UNIT: unit token is unknown to the typechecker
3. TYPE_UNIT_NOT_ALLOWED: a quantity/unit is not allowed in the contract position
4. TYPE_UNIT_LEGACY_ALIAS: unit token is accepted as a legacy alias but is not a canonical spelling
5. TYPE_ENV_THERMAL_DIMENSION_MISMATCH: thermal value is not temperature-compatible
6. TYPE_ENV_DURATION_DIMENSION_MISMATCH: duration value is not time-compatible
7. TYPE_ENV_PERCENT_DIMENSION_MISMATCH: co2/rh value is not percent-compatible
8. TYPE_MUTATION_QUANTITY_UNIT_REQUIRED: quantified mutation source is missing a unit-bearing quantity
9. TYPE_MUTATION_QUANTITY_DIMENSION_MISMATCH: quantified mutation source uses the wrong dimension
10. TYPE_LOAD_QUANTITY_UNIT_REQUIRED: constructor/load amount is missing required unit-bearing quantity
11. TYPE_LOAD_QUANTITY_DIMENSION_MISMATCH: constructor/load amount uses the wrong dimension
12. TYPE_PROGRAM_FIELD_KIND_MISMATCH: program field has the wrong value kind
13. TYPE_PROGRAM_FIELD_DIMENSION_MISMATCH: program quantity field has the wrong dimension
14. TYPE_LOCAL_ASSIGN_TARGET_FORBIDDEN: local assignment target form is not type-legal
15. TYPE_LOCAL_ASSIGN_MISMATCH: assigned value is not type-compatible with the local target
16. TYPE_MEMBER_ASSIGN_TARGET_FORBIDDEN: member assignment target root is not type-legal
17. TYPE_MEMBER_ASSIGN_PATH_FORBIDDEN: member assignment path is not allowed
18. TYPE_CONTAINER_TARGET_VIEW_POSITION_INVALID: a ContainerTargetView is used where a material Container is required

8.4.1 Content Metadata Type Diagnostics

1. TYPE_CONTENT_ATTRS_NOT_RECORD: attrs for content declaration is not a record/map.
2. TYPE_CONTENT_CODE_NOT_TEXT: content_code is not text-like.
3. TYPE_CONTENT_KIND_NOT_TEXT: content_kind argument is not text-like in constructor call.

Contract:

1. These diagnostics are emitted by type/semantic boundary checks after constructor lowering.

8.5 Entry Resolution Diagnostics (ENTRY_*)

Entry resolution runs after semantic and type validation and before plan lowering:

1. ENTRY_LEGACY_IMPLICIT_PROTOCOL (warning): entry resolution selected the unique unreferenced root protocol through the version-scoped compatibility rule
2. ENTRY_NO_ENTRYPOINT (error): the entry source contains no top-level executable statements and does not satisfy the compatibility entry rule

An entry-resolution error prevents plan execution. Dependency files do not undergo entry resolution and therefore may contain definitions without an executable entry.

8.6 Plan Diagnostics (PLAN_*)

Primary plan diagnostics:

These codes cover protocol-reference expansion, call-frame binding, and compatibility-entry parameter resolution:

1. PLAN_UNKNOWN_REFERENCE: referenced protocol cannot be found during plan expansion
2. PLAN_REFERENCE_CYCLE: protocol-reference expansion forms a cycle
3. PLAN_CALL_ARG_MISSING: a referenced protocol call is missing a required argument
4. PLAN_CALL_ARG_UNKNOWN: a referenced protocol call supplies an unknown argument
5. PLAN_CALL_ARG_DUPLICATE: a referenced protocol call duplicates an argument name
6. PLAN_CALL_ARG_DEFAULT_EVAL_FAILED: a default parameter value cannot be resolved in call binding
7. PLAN_CALL_PARAM_REDECLARED: protocol body redefines a protected parameter name
8. PLAN_ENTRY_PARAM_MISSING: the selected compatibility protocol is missing a required entry argument
9. PLAN_SELECTED_PROTOCOL_NOT_FOUND: plan lowering received a protocol entry resolution whose selected protocol is absent from the supplied IR program

These diagnostics cover repeated/recursive reference expansion and parameterized protocol binding failures.

8.7 Load Diagnostics (LOAD_*)

For entry-source loading and definition dependency loading, load/frontend stage may emit:

1. LOAD_DUPLICATE_PROTOCOL_NAME: loaded source files define the same protocol name twice
2. LOAD_NO_INPUT_SOURCES: no entry sources were provided
3. LOAD_SOURCE_NOT_FOUND: an input source path cannot be found
4. LIB_IMPORT_NOT_FOUND: a library import cannot be resolved
5. LIB_IMPORT_CYCLE: library imports form a cycle
6. LIB_PROTOCOL_NAME_CONFLICT: imported/external protocol names conflict with existing names

Contract:

1. Load/frontend failures are decided by the source-loading / frontend-resolution stage and must not be replaced by SEM_* codes.
2. Load/library failures may surface as hard exceptions with stable string prefixes rather than in-memory Diagnostic objects.
3. LOAD_* covers entry-source and include dependency loading; LIB_* covers import resolution and external protocol namespace assembly.

8.8 Runtime and Material Diagnostics (RT_*, MAT_*)

Execution/runtime layer:

These codes cover scheduler/runtime orchestration failures and runtime binding failures that remain after earlier stages:

1. RT_DRIVER_ERROR: driver execution failed
2. RT_MATERIAL_ERROR: runtime step failed because material update failed
3. RT_ABORTED_AFTER_FAILURE: fail-fast runtime aborted further dispatch after a failure
4. RT_UNSATISFIED_DEPENDENCY: a step cannot run because dependencies never became satisfiable
5. RT_STUCK_STEP: scheduler detected no progress for pending work
6. RT_SCHEDULER_GUARD_LIMIT: scheduler hit the no-progress/guard limit
7. RT_RUNTIME_CONDITION_UNRESOLVED: runtime condition could not be evaluated
8. RT_DRIVER_REQUIREMENT_UNSUPPORTED: selected driver cannot satisfy an active requirement
9. RT_LOCAL_ASSIGN_INVALID_TARGET: runtime local assignment target shape is invalid
10. RT_LOCAL_ASSIGN_UNRESOLVED: runtime local assignment value could not be resolved
11. RT_MEMBER_ASSIGN_TARGET_INVALID: runtime member assignment target is invalid
12. RT_MEMBER_ASSIGN_VALUE_UNRESOLVED: runtime member assignment value could not be resolved
13. RT_APPEND_TARGET_INVALID: runtime append target is invalid
14. RT_APPEND_VALUE_UNRESOLVED: runtime append value could not be resolved
15. RT_REPEAT_BODY_INVALID: repeat body structure is invalid at runtime execution
16. RT_REPEAT_ITERABLE_INVALID: repeat iterable does not resolve to a valid runtime iterable

Material compute layer:

1. MAT_BINDING_NOT_FOUND: referenced runtime material binding cannot be resolved
2. MAT_INSUFFICIENT_VOLUME / MAT_INSUFFICIENT_MASS / MAT_INSUFFICIENT_COUNT: source material is insufficient for the requested transfer
3. MAT_DILUTION_UNDERSPECIFIED / MAT_DILUTION_INVALID_TARGET: dilution operation is missing required information or uses an invalid target
4. MAT_MISSING_DENSITY / MAT_INVALID_DENSITY: density bridge is required but missing or invalid
5. MAT_INVALID_RECOVERY_RATIO: requested recovery ratio is invalid
6. MAT_CONSERVATION_VIOLATION: material conservation check failed
7. MAT_CONTAINER_OVERFLOW: post-step volume exceeds container capacity
8. MAT_INVALID_CAPACITY: declared container capacity is invalid
9. MAT_CONTENT_NOT_FOUND: referenced content identity cannot be resolved at material stage
10. MAT_CONTENT_LOAD_AXIS_MISMATCH: requested content load axis is incompatible with runtime representation
11. MAT_CONTENT_METADATA_CONFLICT: immutable content metadata conflict is detected at runtime
12. MAT_SCIENTIFIC_MODEL_UNRESOLVED: the selected provider is absent, not applicable, or returns UNRESOLVED; committed material remains unchanged
13. MAT_SCIENTIFIC_MODEL_FAILED: the selected provider fails; committed material remains unchanged
14. MAT_SCIENTIFIC_MODEL_PROPOSAL_INVALID: kernel validation rejects a provider proposal; committed material remains unchanged
15. MAT_UNSUPPORTED_UNIT: runtime material layer does not support the requested unit conversion or axis
16. MAT_MOVEMENT_CONTRACT_MISSING: a successful material operation changed container quantities without exposing an auditable source-to-destination movement contract
17. MAT_CELL_COUNT_VALUE_INVALID: an authored load or quantified transfer uses a negative or non-integral cell count
18. MAT_INVALID_CELL_SUSPENSION_CONCENTRATION: required cell-suspension concentration is missing, non-finite, zero, or negative
19. MAT_COUNT_TRANSFER_SOURCE_NOT_SUSPENSION: a count aliquot is requested from adherent, pellet, or otherwise non-homogeneous material
20. MAT_COUNT_TRANSFER_AMBIGUOUS: a count aliquot does not identify one population when multiple cellular populations are present
21. MAT_IMPLICIT_CARRIER_OVERFLOW: constructor finalization would materialize implicit carrier beyond container capacity
22. MAT_CONTENT_QUANTITY_AXIS_CONFLICT: the same content identity would merge incompatible quantity axes
23. MAT_SEPARATION_FATE_COMPONENT_NOT_FOUND / MAT_SEPARATION_FATE_RULE_*: runtime source-dependent validation of authored component fate rules failed
24. MAT_MATERIAL_INDEX_OUT_OF_RANGE / MAT_MATERIAL_ENTRY_ID_NOT_FOUND / MAT_MATERIAL_ENTRY_ID_AMBIGUOUS / MAT_MATERIAL_ENTRY_INVALID / MAT_MATERIAL_RELATION_INVALID: runtime cannot resolve exactly one selected live material entry or its current enum relation.
25. MAT_MATERIAL_TRANSITION_TARGET_INVALID: the target is outside the author-settable MaterialRelation enum domain; free text and UNRESOLVED are rejected.
26. MAT_MATERIAL_TRANSITION_OUTPUT_EMPTY / MAT_MATERIAL_TRANSITION_OUTPUT_UNRESOLVED / MAT_MATERIAL_TRANSITION_DUPLICATE: the output-scoped transition cannot be applied uniquely to positive quantity.
27. MAT_MATERIAL_TRANSITION_ASSOCIATION_REQUIRED / MAT_MATERIAL_TRANSITION_ASSOCIATION_FORBIDDEN / MAT_MATERIAL_TRANSITION_ASSOCIATION_KIND_INVALID / MAT_MATERIAL_TRANSITION_ASSOCIATION_OUTPUT_EMPTY: the target relationship's typed association invariant is not satisfied.

Count-specific type diagnostics:

1. TYPE_CELL_COUNT_VALUE_INVALID: a statically visible authored cell count is negative or non-integral.
2. TYPE_LOAD_COUNT_CONTENT_MISMATCH: cells is applied to content that is statically known not to be bio_cellular.

8.8.1 Content Runtime Diagnostics

1. MAT_CONTENT_NOT_FOUND: referenced content identity cannot be resolved at load/apply stage.
2. MAT_CONTENT_LOAD_AXIS_MISMATCH: requested load axis/amount is incompatible with available content representation.
3. MAT_CONTENT_METADATA_CONFLICT: runtime detects conflicting immutable content metadata during merge/load.
4. Scientific-model diagnostics are owned by Section 8.8.2; unresolved or invalid provider output never mutates material state.

Contract:

1. These diagnostics are emitted in the content-aware runtime path.
2. They do not replace existing MAT_BINDING_NOT_FOUND and conservation diagnostics.

8.8.2 Scientific Model Diagnostics

1. MAT_SCIENTIFIC_MODEL_UNRESOLVED: no selected provider produced an applicable typed decision.
2. MAT_SCIENTIFIC_MODEL_FAILED: the selected provider failed before producing a proposal.
3. MAT_SCIENTIFIC_MODEL_PROPOSAL_INVALID: the selected provider produced a proposal rejected by kernel validation.

Contract:

1. Provider diagnostics are structured evidence; they do not directly become committed runtime diagnostics.
2. Runtime maps provider status and validation outcome to the codes above.
3. Every failure path leaves committed material state unchanged.
4. Runtime MUST NOT replace these outcomes with an equal-split or other guessed scientific result.

8.9 Earliest-Decidable Rule

Diagnostics should be emitted by the earliest stage that can decide them:

1. Step/arg/name contract failures at semantic stage
2. Constructor whitelist/shape failures at semantic stage
3. Unit/dimension and metadata type incompatibilities at type stage
4. Execution-entry selection at entry-resolution stage
5. Reference graph and plan consistency issues at plan stage
6. Source and dependency loading errors at load/frontend stage
7. State-dependent failures at runtime/material stage

8.10 Diagnostic Object Contract

Diagnostic objects should include:

1. code
2. message
3. severity
4. span (where available)
5. node_id (where available)

Diagnostic object fields:

1. The shared diagnostic object carries code, message, severity, span, and node_id.
2. stage and stability classification are diagnostic classifications; they are not required fields on every in-memory diagnostic object.

8.11 Conformance Boundary

Diagnostic producers across source loading, semantic validation, type checking, entry resolution, planning, runtime execution, and material-state handling must conform to the diagnostic codes and stage placement in this chapter. Module layout and test file names are not part of the diagnostic contract.