Fixed failure meanings without conflating rejection, uncertainty and disproof.
Core-3 Diagnostics
C3-DIAG-001 — Envelope and fixed meanings
Inherit the Core-0 diagnostic envelope, source spans, severity, related locations, and ordering. Artifact/request failures identify the offending record/path and related typed identities when no source span exists. Codes below are reserved for Core-3 and are not currently implemented. Diagnostic production never by itself establishes an admission or proof result.
| Code | Meaning | Governing clauses |
|---|---|---|
| ZL-C3-EDITION-0001 | Stable Core-3 selected before activation | C3-GATE-001 |
| ZL-C3-PREVIEW-0001 | Selected preview does not admit the requested feature | C3-EDITION-001 |
| ZL-C3-UNSUPPORTED-0001 | Specified profile, model bridge, provider or representation is unavailable | C3-PROOF-009, C3-VERIFY-001 |
| ZL-C3-SYNTAX-0001 | Malformed Proof or Intent declaration | C3-SYNTAX-001, C3-INTENT-002 |
| ZL-C3-TYPE-0001 | Invalid term typing, conversion, binder, or completed-proof input | C3-PROOF-001, C3-PROOF-003, C3-PROOF-004 |
| ZL-C3-UNIVERSE-0001 | Invalid level scope, universe constraint, or Type-in-Type | C3-PROOF-002 |
| ZL-C3-INDUCTIVE-0001 | Invalid positivity, family, constructor, or Prop elimination | C3-PROOF-005, C3-PROOF-006 |
| ZL-C3-TERMINATION-0001 | Cyclic definition or unproved recursive construction | C3-PROOF-007 |
| ZL-C3-AXIOM-0001 | Undisclosed, forbidden, or incorrectly reported assumption | C3-PROOF-008, C3-PROOF-009 |
| ZL-C3-STATEMENT-0001 | Proof does not establish the exact required statement | C3-PROOF-001, C3-VERIFY-001 |
| ZL-C3-MODEL-0001 | Subject/model, numeric, observation, or adequacy binding mismatch | C3-VERIFY-001, C3-VERIFY-002 |
| ZL-C3-EXTRACTION-0001 | Noncomputable retained term, invalid erasure or preservation relation | C3-EXTRACT-001, C3-EXTRACT-002, C3-EXTRACT-003 |
| ZL-C3-AUTHORITY-0001 | Missing/conflicting source authority or injected authority change | C3-INTENT-001, C3-INTENT-004 |
| ZL-C3-FORMALIZATION-0001 | Missing requirement, unapproved meaning change, or unresolved interpretation | C3-INTENT-002, C3-INTENT-003, C3-INTENT-005 |
| ZL-C3-APPROVAL-0001 | Missing, denied, stale, unauthenticated, or out-of-scope endorsement | C3-INTENT-003, C3-ART-005 |
| ZL-C3-EVIDENCE-0001 | Required evidence failed, absent, stale, unsupported, or inconclusive | C3-INTENT-006, C3-VERIFY-010 |
| ZL-C3-CAPABILITY-0001 | Missing, expired, revoked or mismatched live execution authority | C3-BOUND-002 |
| ZL-C3-BOUNDARY-0001 | Forbidden caller, undeclared effect, or pre-commit dispatch | C3-BOUND-001, C3-BOUND-004 |
| ZL-C3-PLAN-0001 | Cyclic, untyped, unordered-interfering, or contract-incompatible operation plan | C3-RUN-003 |
| ZL-C3-BUDGET-0001 | Named resource limit/reservation prevents further work | C3-PROOF-004, C3-RUN-004 |
| ZL-C3-GENERATOR-0001 | Provider failure, malformed output, or disallowed provider substitution | C3-RUN-004 |
| ZL-C3-RUNTIME-0001 | Admitted execution failed or a required postcheck failed | C3-RUN-005 |
| ZL-C3-REPLAY-0001 | Recorded decision, activity, or artifact does not match replay context | C3-RUN-006 |
| ZL-C3-INDETERMINATE-0001 | External effect may have happened without an established outcome | C3-RUN-005, C3-RUN-006 |
| ZL-C3-CANCELLED-0001 | Cancellation stopped work with no unresolved in-flight external effect | C3-RUN-005 |
| ZL-C3-ARTIFACT-0001 | Invalid shape, framing, identity, reference graph or projection | C3-ART-001, C3-ART-003, C3-ART-004 |
C3-DIAG-002 — Prerequisites and outcome distinction
Validate transport/edition, syntax and reference closure, term/model typing, authority/formalization/approval, candidate evidence, live capability admission, execution, then post-evidence. Do not fabricate later-phase diagnostics after a prerequisite prevents analysis. Within a phase retain the inherited stable source/record order and related-location rules.
The outcome tag and diagnostic code are separate. A proof budget exhaustion
is inconclusive with BUDGET, not rejected or a disproof. Exhausting allowed
candidate attempts before admission is unresolved with BUDGET. Missing
approval may remain unresolved; an explicit denied approval is rejected.
An unsupported prerequisite is unsupported, with no claim that its deeper
obligations were checked. Missing evidence may cite its original unsupported or
inconclusive result as a related diagnostic without changing that result.
Codes are stable machine identifiers; explanatory messages include the exact failed obligation, assumption, capability, phase, or resource where applicable. Sensitive preimages are redacted according to content-access policy rather than embedded in public errors. Indeterminate effects take precedence over a clean cancellation/success outcome until reconciliation resolves them.