Public check Reason catalog

Catalog: actql-check-reason-catalog/0.1; revision: 2026-10-16.1. Public facts schema: sha256:1aa2b591972a9cd816826b6500f62ea38f8a4f5282e016b0d1153f8bb68e0742. Translation revisions remain independent.

The existing checker and disclosure projection decide verdicts and public facts. Severity, family, descriptions and hints confer no verification, execution or recovery authority. Locations require original input custody and revisions. Examples refer to independent tests; this catalog does not construct their expectations.

These entries belong to public check, not the legacy actql-diagnostics/0.1 compiler catalog or runtime operation outcomes. No legacy catalog-body or 109-entry compatibility claim follows from this inventory.

analysis_budget_exhaustedCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The analysis budget was exhausted. Ask the checking-context owner to review the analysis budget.

Independent acceptance: an exhausted analysis budget is undetermined, not invalid or failed.

binding_json_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit caller-owned typed facts and origins; private Source facts are excluded.

For {"document":["parameters","parameter_declarations"],"issue":"invalid_unicode"}: The binding JSON contains invalid Unicode text. Use valid Unicode scalar values in member names and string values.

For {"document":["parameters","parameter_declarations"],"issue":"unexpected_end"}: The binding JSON ends before a value is complete. Complete the JSON value and its closing delimiters.

For {"document":["parameters","parameter_declarations"],"issue":"unexpected_token"}: The binding JSON contains an unexpected token. Use a token allowed by JSON at the reported input location.

For {"document":["parameters","parameter_declarations"],"issue":"invalid_string"}: A binding JSON string is invalid. Quote the string and escape control characters using JSON syntax.

For {"document":["parameters","parameter_declarations"],"issue":"invalid_escape"}: A binding JSON escape is invalid. Use an escape sequence allowed by JSON.

For {"document":["parameters","parameter_declarations"],"issue":"invalid_number"}: A binding JSON number has invalid spelling. Use a valid JSON number, including a complete exponent when present.

For {"document":["parameters","parameter_declarations"],"issue":"number_out_of_range"}: A binding JSON number is outside the admitted numeric range. Use a number within the selected input numeric contract.

For {"document":["parameters","parameter_declarations"],"issue":"negative_zero"}: The binding JSON contains inadmissible negative zero. Use an admitted numeric value; negative zero is not admitted.

For {"document":["parameters","parameter_declarations"],"issue":"expected_colon"}: A binding JSON member is missing its colon. Separate the member name and value with a colon.

For {"document":["parameters","parameter_declarations"],"issue":"expected_array_separator"}: Binding JSON array elements are not separated correctly. Use commas between array elements and a closing bracket.

For {"document":["parameters","parameter_declarations"],"issue":"expected_object_separator"}: Binding JSON object members are not separated correctly. Use commas between object members and a closing brace.

For {"document":["parameters","parameter_declarations"],"issue":"duplicate_key"}: Two binding JSON member names compare equal under the admitted key rules. Choose distinct member names under the input normalization rules.

For {"document":["parameters","parameter_declarations"],"issue":"trailing_content"}: Unexpected content follows the binding JSON value. Submit one complete JSON value without trailing content.

Independent acceptance: JSON parser location survives parameters failure.

bound_values_missingCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: Required bound inputs are missing. Supply the declared inputs and check again.

Independent acceptance: typed Requirement frontiers retain context and ignore presentation order.

check_unclassifiedCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The checker could not establish a classified conclusion. Ask the checking-context owner to investigate.

Independent acceptance: Independent envelope admission and unknown-code handling; no currently executable public-input example is claimed for this fallback..

checking_context_missingCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Known public checking-context selection only; no selected policy values, private Source facts or environment path is disclosed.

Default: Required checking-context inputs are missing. Review the disclosed Requirement with the checking-context owner; supplying an unrelated parameter does not fulfill it.

Independent acceptance: Missing public Host capacity selection stays undetermined; supplying a new admitted environment triggers ordinary rechecking., Missing admitted numeric profile stays undetermined until ordinary rechecking in a supplied checking context..

expression_type_mismatchCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: An expression violates its required argument type. Use an argument with the required type.

For {"expected_type":"number"}: An expression argument must have number type. Use an expression with number type for the rejected argument.

For {"expected_type":"boolean"}: An expression argument must have boolean type. Use an expression with boolean type for the rejected argument.

For {"expected_type":"string"}: An expression argument must have string type. Use an expression with string type for the rejected argument.

Independent acceptance: expression type facts retain protected-source equivalence.

graph_operation_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit caller-owned typed facts and origins; private Source facts are excluded.

For {"operation":"components","issue":"invalid_kind"}: The components kind is invalid. Choose weak or strong for components kind.

For {"operation":"components","issue":"invalid_output_rows"}: The components output row limit is invalid. Supply a positive safe integer for components max_output_rows.

For {"operation":"subgraph","issue":"invalid_node_selector"}: The Subgraph node selector is invalid. Provide one selector: nonempty ids, a named Relation with an id field, or a node where predicate.

Independent acceptance: Graph components expose typed argument violations.

host_capacity_policy_requiredCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Known public checking-context selection only; no selected policy values, private Source facts or environment path is disclosed.

Default: The checking context has no selected Host capacity policy. Ask the checking-context owner to supply a policy admitted by the referenced schema, then check the complete bound input again.

Independent acceptance: Missing public Host capacity selection stays undetermined; supplying a new admitted environment triggers ordinary rechecking..

implementation_limitCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: This checking implementation cannot discharge an obligation. Ask the checking-context owner to review support for the submitted construct.

For {"issue":"function_lowering_unresolved"}: The expression lowerer cannot classify or support this function form. Ask the checking-context owner to review function support at the original expression; this is not a proven function-name violation.

Independent acceptance: unsupported function lowering remains an implementation limit.

numeric_reduction_profile_requiredCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the public repository-pinned profile admission condition; no contributor values, private Source facts, selected reduction member or generated Program path is disclosed.

Default: The checking context has no admitted numeric reduction profile for this aggregate. Ask the checking-context owner to install the referenced pinned profile, then check the complete bound input again. Profile membership does not select a reduction member or authorize execution.

Independent acceptance: SUM and AVG require the installed pinned numeric profile; COUNT does not. Selecting the profile triggers ordinary whole-input rechecking..

operation_parameter_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A parameter violates an operation scalar domain. Correct the supplied value or selected default under the reported operation domain.

For {"domain":"positive_safe_integer"}: An operation parameter must be a positive safe integer. Supply an integer from 1 through 9007199254740991.

For {"domain":"nonnegative_safe_integer"}: An operation parameter must be a nonnegative safe integer. Supply an integer from 0 through 9007199254740991; negative zero is not admitted.

For {"domain":"unit_fraction"}: An operation parameter must be a finite fraction between 0 and 1. Supply a number from 0 through 1, inclusive; negative zero is not admitted.

For {"domain":"finite_number"}: An operation parameter must be a finite number. Supply a finite number; negative zero is not admitted.

For {"domain":"duration"}: An operation parameter must be an admitted duration. Supply positive ASCII digits followed by ms, s, m, h or d, without whitespace; the milliseconds must fit a safe integer.

For {"domain":"positive_milliseconds"}: An operation parameter must be positive safe milliseconds or an admitted duration. Supply a positive safe integer of milliseconds, or a positive duration string with ms, s, m, h or d.

For {"domain":"signed_milliseconds"}: An operation parameter must be signed safe milliseconds or an admitted duration. Supply integer milliseconds from -9007199254740991 through 9007199254740991 without negative zero, or a positive duration string.

For {"domain":"timestamp"}: An operation parameter must be an admitted timestamp value. Supply a non-null timestamp value admitted by the timestamp declaration contract.

Independent acceptance: operation parameter violations explain owned domains and input origins.

parameter_declarations_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The parameter declarations are invalid. Correct the supplied declarations.

Independent acceptance: invalid declarations retain only their owned submitted locations.

parameter_default_type_mismatchCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A parameter default does not match its declared type. Correct the default to match the declared type, then check again.

Independent acceptance: default type violations retain declaration input and the owned leaf type.

parameter_undeclaredCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The query refers to an undeclared parameter. Declare the parameter or correct its reference; a value alone cannot declare it.

Independent acceptance: undeclared references keep authored semantic locations.

parameter_unusedCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A declared parameter is not used by the complete Program. Remove the unused declaration or reference the parameter in the Program, then check again.

Independent acceptance: complete Programs reject unused Parameter declarations.

parameter_value_requiredCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A declared parameter value is missing. Supply the declared value and check the complete bound input again.

Independent acceptance: missing parameter Requirements expose admitted recursive declaration conditions.

program_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The input violates the checked Program contract. Correct the input under the selected contract.

Independent acceptance: unused Parameter explanations retain original custody without exposing values.

program_structure_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only authored structural facts independent of private resolution are public. Missing members locate an existing enclosing node; actual values and protected Source facts are excluded.

Default: The structured Program violates its input contract. Correct the indicated Program node and submit an explicitly new intent.

For {"issue":"missing_field"}: A required Program field is missing. Add the required field to the indicated enclosing node.

For {"issue":"wrong_type"}: A Program field has the wrong JSON type. Use the JSON type required by the Program contract.

For {"issue":"unexpected_null"}: A required Program field cannot be null. Provide the required field value; null is distinct from absence.

Independent acceptance: structured Program rejection binds the original parent pointer.

query_alias_absentCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Requires original unfiltered installed-registration completeness and a fresh namespace inspect_absence decision bound to authority, configuration revision, input and context. A filtered omission, hidden alias or Provider Resource listing cannot issue this fact. Only the namespace and caller-authored reference are public; configuration paths, Source selectors, candidate counts and private contents are excluded.

Default: No query alias matching this reference is registered in the checked namespace. Correct the reference or ask the Host administrator to check the namespace registrations, then check again. This does not establish Provider Resource absence or grant execution.

Independent acceptance: a complete empty namespace discloses only an authorized original alias absence.

query_expression_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: An expression violates its reference, argument or numeric contract. Correct the expression under the selected query contract.

For {"issue":"expected_boolean"}: A predicate must have Boolean type. Use a Boolean condition, such as a comparison, in the predicate.

For {"issue":"unknown_reference"}: An expression reference cannot be resolved in the checked scope. Use a declared reference from the disclosed query context.

For {"issue":"invalid_arguments"}: Expression arguments violate the selected operation contract. Correct the argument count or form required by the selected operation.

For {"issue":"invalid_number"}: A numeric expression is outside the admitted numeric domain. Use a finite number in the admitted precision and signed-zero domain.

Independent acceptance: non-Boolean predicates retain the common checker's requirement.

query_frame_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The analytic ROWS frame boundaries do not form a valid interval. For two PRECEDING boundaries, the start distance must be at least the end distance; for two FOLLOWING boundaries, it must be at most the end distance.

Independent acceptance: check explains owned invalid frame bounds.

query_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The query violates its language or name-resolution contract. Correct the query using its declared names and visible context.

Independent acceptance: unresolved column expressions retain authored source positions.

query_lexical_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A query token violates its lexical syntax. Correct the token at the reported location when available.

For {"issue":"unexpected_end"}: The input ends before a token is complete. Complete the quoted token or escape sequence at the reported position.

For {"issue":"unexpected_token"}: A token is not valid in this lexical context. Correct the token spelling or delimiter at the reported position.

For {"issue":"invalid_escape"}: An escape sequence is invalid. Use an escape allowed by the selected string or identifier syntax.

For {"issue":"invalid_scalar"}: A token contains a scalar forbidden by its lexical context. Correct the scalar escape or quoted identifier under the selected lexical syntax.

For {"issue":"empty_identifier"}: A quoted identifier is empty. Provide a non-empty identifier inside the quoting delimiters.

For {"issue":"unterminated_comment"}: A block comment is not terminated. Add the closing block-comment delimiter.

For {"issue":"invalid_number"}: A numeric token has invalid spelling. Correct the numeric token, including any exponent.

For {"issue":"invalid_parameter"}: A parameter reference lacks a valid name. Provide a valid parameter name after @.

Independent acceptance: typed lexical explanations retain the submitted token position.

query_syntax_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The query syntax is invalid. Correct the query syntax at the reported location when available.

Independent acceptance: authored syntax locations retain exact UTF-8 input revisions.

source_selector_unregisteredCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Emit only after original installed registration custody, complete common Catalog admission, actual resolver witness and fresh namespace-specific absence disclosure. Hidden registered selectors remain protected; no private candidates or Provider existence information is disclosed.

Default: The submitted Source selector has no matching installed registration in the inspected namespace. Check the selector and the Host registration configuration, then recheck the original input. This does not prove that a Provider Resource is absent or authorize execution.

Independent acceptance: complete registration namespace discloses only the original unregistered selector.

supplied_parameters_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: The supplied parameter input is invalid. Correct the supplied parameter map.

Independent acceptance: Independent envelope admission and unknown-code handling; no currently executable public-input example is claimed for this fallback..

supplied_value_constraint_violationCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A supplied value violates a declared constraint. Correct the value to satisfy the declared constraint family.

For {"constraint":"numeric"}: A supplied value violates a declared constraint. Supply a number satisfying the declared integer, minimum and maximum constraints.

For {"constraint":"duration"}: A supplied value violates a declared constraint. Supply a string in the admitted duration format.

For {"constraint":"array_length"}: A supplied value violates a declared constraint. Supply an array with the declared exact length.

For {"constraint":"array_size"}: A supplied value violates a declared constraint. Supply an array within the declared maximum item count.

Independent acceptance: supplied constraint locations retain the binder path without private values.

supplied_value_invalidCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A supplied value violates its declaration. Correct the value to satisfy its declared contract.

Independent acceptance: supplied constraint locations retain the binder path without private values.

supplied_value_type_mismatchCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: A supplied value has the wrong type. Supply a value of the declared type.

Independent acceptance: nested supplied type facts follow the submitted contract and path.

unresolved_protectedCopy Anchor Link

Facts: registered public Reason schema, selected by this code; required payload and cross-field constraints remain in that schema.

Only the existing pre-serialization projection may emit this reason; actual values, private Source distinctions and arbitrary causes are excluded.

Default: Source resolution cannot be established from the disclosed context. Ask the Source or checking-context owner to review the published context.

Independent acceptance: absent and denied sources give the same public outcome.