Primitive registry

Implementation: IMPLEMENTED · Exposure: PUBLIC (docs) (registry). The registry holds 191 dotted primitive IDs, each with an UPPER_SNAKE alias, from spec/Contracts/kernel/v1/registry/primitives.json. A registered ID names a contract; it does not mean an implementation exists. Maturity is tracked per primitive. See Primitives.

Families

Prefix	Count
`ctl`	15
`ctx`	7
`dec`	59
`mem`	1
`mut`	21
`obs`	36
`plan`	4
`policy`	1
`route`	8
`state`	5
`tool`	14
`ver`	20

ctl

ID	Alias	ISA family
`ctl.branch`	`BRANCH`	`isa.control`
`ctl.parallel`	`PARALLEL`	`isa.control`
`ctl.join`	`JOIN`	`isa.control`
`ctl.retry`	`RETRY`	`isa.control`
`ctl.rollback`	`ROLLBACK`	`isa.control`
`ctl.checkpoint`	`CHECKPOINT`	`isa.control`
`ctl.request_evidence`	`REQUEST_EVIDENCE`	`isa.control`
`ctl.escalate`	`ESCALATE`	`isa.control`
`ctl.wait_for_dependency`	`WAIT_FOR_DEPENDENCY`	`isa.control`
`ctl.finish`	`FINISH`	`isa.control`
`ctl.continue`	`CONTINUE`	`decision_family`
`ctl.review`	`REVIEW`	`decision_family`
`ctl.block`	`BLOCK`	`decision_family`
`ctl.rollback_mutation`	`ROLLBACK_MUTATION`	`leaf.16_9.verification_recovery`
`ctl.compose_final_report`	`COMPOSE_FINAL_REPORT`	`leaf.16_10.completion_durable_state`

ctx

ID	Alias	ISA family
`ctx.generate_search_intent`	`GENERATE_SEARCH_INTENT`	`leaf.16_5.localization_context`
`ctx.retrieve_candidate_files`	`RETRIEVE_CANDIDATE_FILES`	`leaf.16_5.localization_context`
`ctx.retrieve_candidate_symbols`	`RETRIEVE_CANDIDATE_SYMBOLS`	`leaf.16_5.localization_context`
`ctx.expand_structural_context`	`EXPAND_STRUCTURAL_CONTEXT`	`leaf.16_5.localization_context`
`ctx.compile_model_context`	`COMPILE_MODEL_CONTEXT`	`leaf.16_5.localization_context`
`ctx.update_affected_context`	`UPDATE_AFFECTED_CONTEXT`	`leaf.16_8.mutation_synthesis`
`ctx.reconstruct_semantic_context`	`RECONSTRUCT_SEMANTIC_CONTEXT`	`leaf.16_11.routing_residency_state`

dec

ID	Alias	ISA family
`dec.classify_task`	`CLASSIFY_TASK`	`isa.decision`
`dec.classify_error`	`CLASSIFY_ERROR`	`isa.decision`
`dec.classify_file`	`CLASSIFY_FILE`	`isa.decision`
`dec.select_scope`	`SELECT_SCOPE`	`isa.decision`
`dec.select_file`	`SELECT_FILE`	`isa.decision`
`dec.select_symbol`	`SELECT_SYMBOL`	`isa.decision`
`dec.select_tool`	`SELECT_TOOL`	`isa.decision`
`dec.select_test`	`SELECT_TEST`	`isa.decision`
`dec.select_strategy`	`SELECT_STRATEGY`	`isa.decision`
`dec.rank_candidates`	`RANK_CANDIDATES`	`isa.decision`
`dec.assess_risk`	`ASSESS_RISK`	`isa.decision`
`dec.assess_completeness`	`ASSESS_COMPLETENESS`	`isa.decision`
`dec.assess_confidence`	`ASSESS_CONFIDENCE`	`isa.decision`
`dec.assess_regression_risk`	`ASSESS_REGRESSION_RISK`	`isa.decision`
`dec.classify_intent`	`CLASSIFY_INTENT`	`decision_family`
`dec.classify_risk`	`CLASSIFY_RISK`	`decision_family`
`dec.classify_resource`	`CLASSIFY_RESOURCE`	`decision_family`
`dec.is_complete`	`IS_COMPLETE`	`decision_family`
`dec.is_relevant`	`IS_RELEVANT`	`decision_family`
`dec.is_supported`	`IS_SUPPORTED`	`decision_family`
`dec.is_reversible`	`IS_REVERSIBLE`	`decision_family`
`dec.is_duplicate`	`IS_DUPLICATE`	`decision_family`
`dec.is_regression`	`IS_REGRESSION`	`decision_family`
`dec.risk_level`	`RISK_LEVEL`	`decision_family`
`dec.complexity_level`	`COMPLEXITY_LEVEL`	`decision_family`
`dec.urgency`	`URGENCY`	`decision_family`
`dec.novelty`	`NOVELTY`	`decision_family`
`dec.impact`	`IMPACT`	`decision_family`
`dec.select_model`	`SELECT_MODEL`	`decision_family`
`dec.select_branch`	`SELECT_BRANCH`	`decision_family`
`dec.rank_documents`	`RANK_DOCUMENTS`	`decision_family`
`dec.rank_files`	`RANK_FILES`	`decision_family`
`dec.rank_symbols`	`RANK_SYMBOLS`	`decision_family`
`dec.rank_patches`	`RANK_PATCHES`	`decision_family`
`dec.rank_plans`	`RANK_PLANS`	`decision_family`
`dec.select_relevant_context`	`SELECT_RELEVANT_CONTEXT`	`decision_family`
`dec.select_affected_tests`	`SELECT_AFFECTED_TESTS`	`decision_family`
`dec.select_changed_dependencies`	`SELECT_CHANGED_DEPENDENCIES`	`decision_family`
`dec.expected_success`	`EXPECTED_SUCCESS`	`decision_family`
`dec.expected_cost`	`EXPECTED_COST`	`decision_family`
`dec.expected_latency`	`EXPECTED_LATENCY`	`decision_family`
`dec.expected_information_gain`	`EXPECTED_INFORMATION_GAIN`	`decision_family`
`dec.infer_acceptance_criteria`	`INFER_ACCEPTANCE_CRITERIA`	`leaf.16_3.task_intake`
`dec.detect_ambiguity`	`DETECT_AMBIGUITY`	`leaf.16_3.task_intake`
`dec.select_clarify_or_default`	`SELECT_CLARIFY_OR_DEFAULT`	`leaf.16_3.task_intake`
`dec.score_context_relevance`	`SCORE_CONTEXT_RELEVANCE`	`leaf.16_5.localization_context`
`dec.select_workflow_template`	`SELECT_WORKFLOW_TEMPLATE`	`leaf.16_6.planning_graph`
`dec.score_plan_branch`	`SCORE_PLAN_BRANCH`	`leaf.16_6.planning_graph`
`dec.select_next_graph_node`	`SELECT_NEXT_GRAPH_NODE`	`leaf.16_6.planning_graph`
`dec.assess_completion`	`ASSESS_COMPLETION`	`leaf.16_6.planning_graph`
`dec.select_tool_family`	`SELECT_TOOL_FAMILY`	`leaf.16_7.tool_call`
`dec.select_tool_operation`	`SELECT_TOOL_OPERATION`	`leaf.16_7.tool_call`
`dec.classify_tool_failure`	`CLASSIFY_TOOL_FAILURE`	`leaf.16_7.tool_call`
`dec.select_edit_representation`	`SELECT_EDIT_REPRESENTATION`	`leaf.16_8.mutation_synthesis`
`dec.compare_patch_candidates`	`COMPARE_PATCH_CANDIDATES`	`leaf.16_8.mutation_synthesis`
`dec.classify_diagnostic`	`CLASSIFY_DIAGNOSTIC`	`leaf.16_9.verification_recovery`
`dec.localize_failure_cause`	`LOCALIZE_FAILURE_CAUSE`	`leaf.16_9.verification_recovery`
`dec.select_repair_strategy`	`SELECT_REPAIR_STRATEGY`	`leaf.16_9.verification_recovery`
`dec.decide_finish_continue_escalate`	`DECIDE_FINISH_CONTINUE_ESCALATE`	`leaf.16_10.completion_durable_state`

mem

ID	Alias	ISA family
`mem.update_long_term_memory`	`UPDATE_LONG_TERM_MEMORY`	`leaf.16_10.completion_durable_state`

mut

ID	Alias	ISA family
`mut.create_file`	`CREATE_FILE`	`isa.mutation`
`mut.delete_file`	`DELETE_FILE`	`isa.mutation`
`mut.move_file`	`MOVE_FILE`	`isa.mutation`
`mut.rename_file`	`RENAME_FILE`	`isa.mutation`
`mut.replace_range`	`REPLACE_RANGE`	`isa.mutation`
`mut.replace_symbol`	`REPLACE_SYMBOL`	`isa.mutation`
`mut.insert_node`	`INSERT_NODE`	`isa.mutation`
`mut.delete_node`	`DELETE_NODE`	`isa.mutation`
`mut.rename_symbol`	`RENAME_SYMBOL`	`isa.mutation`
`mut.apply_patch`	`APPLY_PATCH`	`isa.mutation`
`mut.apply_codemod`	`APPLY_CODEMOD`	`isa.mutation`
`mut.update_dependency`	`UPDATE_DEPENDENCY`	`isa.mutation`
`mut.update_config`	`UPDATE_CONFIG`	`isa.mutation`
`mut.vcs.stage`	`STAGE`	`isa.version_control`
`mut.vcs.unstage`	`UNSTAGE`	`isa.version_control`
`mut.vcs.restore`	`RESTORE`	`isa.version_control`
`mut.define_mutation_scope`	`DEFINE_MUTATION_SCOPE`	`leaf.16_8.mutation_synthesis`
`mut.generate_patch_candidate`	`GENERATE_PATCH_CANDIDATE`	`leaf.16_8.mutation_synthesis`
`mut.generate_test_candidate`	`GENERATE_TEST_CANDIDATE`	`leaf.16_8.mutation_synthesis`
`mut.apply_patch_transactionally`	`APPLY_PATCH_TRANSACTIONALLY`	`leaf.16_8.mutation_synthesis`
`mut.format_changed_code`	`FORMAT_CHANGED_CODE`	`leaf.16_8.mutation_synthesis`

obs

ID	Alias	ISA family
`obs.observe_environment`	`OBSERVE_ENVIRONMENT`	`isa.observation`
`obs.list_files`	`LIST_FILES`	`isa.observation`
`obs.read_file`	`READ_FILE`	`isa.observation`
`obs.read_range`	`READ_RANGE`	`isa.observation`
`obs.read_symbol`	`READ_SYMBOL`	`isa.observation`
`obs.find_symbol`	`FIND_SYMBOL`	`isa.observation`
`obs.find_reference`	`FIND_REFERENCE`	`isa.observation`
`obs.find_definition`	`FIND_DEFINITION`	`isa.observation`
`obs.search_text`	`SEARCH_TEXT`	`isa.observation`
`obs.search_semantic`	`SEARCH_SEMANTIC`	`isa.observation`
`obs.search_filename`	`SEARCH_FILENAME`	`isa.observation`
`obs.read_diagnostics`	`READ_DIAGNOSTICS`	`isa.observation`
`obs.read_git_state`	`READ_GIT_STATE`	`isa.observation`
`obs.read_diff`	`READ_DIFF`	`isa.observation`
`obs.read_test_results`	`READ_TEST_RESULTS`	`isa.observation`
`obs.read_build_output`	`READ_BUILD_OUTPUT`	`isa.observation`
`obs.read_dependencies`	`READ_DEPENDENCIES`	`isa.observation`
`obs.read_call_graph`	`READ_CALL_GRAPH`	`isa.observation`
`obs.read_type_graph`	`READ_TYPE_GRAPH`	`isa.observation`
`obs.read_repo_map`	`READ_REPO_MAP`	`isa.observation`
`obs.vcs.status`	`STATUS`	`isa.version_control`
`obs.vcs.diff`	`DIFF`	`isa.version_control`
`obs.vcs.blame`	`BLAME`	`isa.version_control`
`obs.vcs.log`	`LOG`	`isa.version_control`
`obs.vcs.show`	`SHOW`	`isa.version_control`
`obs.vcs.branch_info`	`BRANCH_INFO`	`isa.version_control`
`obs.parse_task_request`	`PARSE_TASK_REQUEST`	`leaf.16_3.task_intake`
`obs.extract_explicit_deliverables`	`EXTRACT_EXPLICIT_DELIVERABLES`	`leaf.16_3.task_intake`
`obs.extract_hard_constraints`	`EXTRACT_HARD_CONSTRAINTS`	`leaf.16_3.task_intake`
`obs.fingerprint_environment`	`FINGERPRINT_ENVIRONMENT`	`leaf.16_4.environment_repo`
`obs.detect_project_roots`	`DETECT_PROJECT_ROOTS`	`leaf.16_4.environment_repo`
`obs.detect_languages`	`DETECT_LANGUAGES`	`leaf.16_4.environment_repo`
`obs.detect_build_system`	`DETECT_BUILD_SYSTEM`	`leaf.16_4.environment_repo`
`obs.build_repo_index`	`BUILD_REPO_INDEX`	`leaf.16_4.environment_repo`
`obs.build_symbol_graph`	`BUILD_SYMBOL_GRAPH`	`leaf.16_4.environment_repo`
`obs.build_dependency_graph`	`BUILD_DEPENDENCY_GRAPH`	`leaf.16_4.environment_repo`

plan

ID	Alias	ISA family
`plan.instantiate_compute_graph`	`INSTANTIATE_COMPUTE_GRAPH`	`leaf.16_6.planning_graph`
`plan.propose_plan_branches`	`PROPOSE_PLAN_BRANCHES`	`leaf.16_6.planning_graph`
`plan.prune_branches`	`PRUNE_BRANCHES`	`leaf.16_6.planning_graph`
`plan.detect_information_gap`	`DETECT_INFORMATION_GAP`	`leaf.16_6.planning_graph`

policy

ID	Alias	ISA family
`policy.authorize_tool_call`	`AUTHORIZE_TOOL_CALL`	`leaf.16_7.tool_call`

route

ID	Alias	ISA family
`route.describe_cognitive_requirement`	`DESCRIBE_COGNITIVE_REQUIREMENT`	`leaf.16_11.routing_residency_state`
`route.filter_eligible_models`	`FILTER_ELIGIBLE_MODELS`	`leaf.16_11.routing_residency_state`
`route.predict_model_success`	`PREDICT_MODEL_SUCCESS`	`leaf.16_11.routing_residency_state`
`route.estimate_route_cost`	`ESTIMATE_ROUTE_COST`	`leaf.16_11.routing_residency_state`
`route.select_logical_model`	`SELECT_LOGICAL_MODEL`	`leaf.16_11.routing_residency_state`
`route.select_state_transfer_mode`	`SELECT_STATE_TRANSFER_MODE`	`leaf.16_11.routing_residency_state`
`route.preload_model`	`PRELOAD_MODEL`	`leaf.16_11.routing_residency_state`
`route.evict_model`	`EVICT_MODEL`	`leaf.16_11.routing_residency_state`

state

ID	Alias	ISA family
`state.initialize_task_state`	`INITIALIZE_TASK_STATE`	`leaf.16_3.task_intake`
`state.activate_primitive_packs`	`ACTIVATE_PRIMITIVE_PACKS`	`leaf.16_4.environment_repo`
`state.persist_run_receipt`	`PERSIST_RUN_RECEIPT`	`leaf.16_10.completion_durable_state`
`state.close_task_state`	`CLOSE_TASK_STATE`	`leaf.16_10.completion_durable_state`
`state.validate_translated_state`	`VALIDATE_TRANSLATED_STATE`	`leaf.16_11.routing_residency_state`

tool

ID	Alias	ISA family
`tool.run_command`	`RUN_COMMAND`	`isa.execution`
`tool.run_script`	`RUN_SCRIPT`	`isa.execution`
`tool.run_test`	`RUN_TEST`	`isa.execution`
`tool.run_test_set`	`RUN_TEST_SET`	`isa.execution`
`tool.run_build`	`RUN_BUILD`	`isa.execution`
`tool.run_linter`	`RUN_LINTER`	`isa.execution`
`tool.run_formatter`	`RUN_FORMATTER`	`isa.execution`
`tool.run_typecheck`	`RUN_TYPECHECK`	`isa.execution`
`tool.run_benchmark`	`RUN_BENCHMARK`	`isa.execution`
`tool.resolve_argument_from_state`	`RESOLVE_ARGUMENT_FROM_STATE`	`leaf.16_7.tool_call`
`tool.generate_free_argument`	`GENERATE_FREE_ARGUMENT`	`leaf.16_7.tool_call`
`tool.validate_tool_schema`	`VALIDATE_TOOL_SCHEMA`	`leaf.16_7.tool_call`
`tool.execute`	`EXECUTE_TOOL`	`leaf.16_7.tool_call`
`tool.recover`	`SELECT_RECOVERY_ACTION`	`leaf.16_7.tool_call`

ver

ID	Alias	ISA family
`ver.parse`	`PARSE`	`isa.verification`
`ver.compile`	`COMPILE`	`isa.verification`
`ver.format_check`	`FORMAT_CHECK`	`isa.verification`
`ver.lint`	`LINT`	`isa.verification`
`ver.typecheck`	`TYPECHECK`	`isa.verification`
`ver.unit_test`	`UNIT_TEST`	`isa.verification`
`ver.integration_test`	`INTEGRATION_TEST`	`isa.verification`
`ver.behavior_check`	`BEHAVIOR_CHECK`	`isa.verification`
`ver.api_compat_check`	`API_COMPAT_CHECK`	`isa.verification`
`ver.regression_check`	`REGRESSION_CHECK`	`isa.verification`
`ver.security_check`	`SECURITY_CHECK`	`isa.verification`
`ver.diff_review`	`DIFF_REVIEW`	`isa.verification`
`ver.requirement_check`	`REQUIREMENT_CHECK`	`isa.verification`
`ver.parse_validate`	`PARSE_VALIDATE`	`leaf.16_9.verification_recovery`
`ver.typecheck_affected`	`TYPECHECK_AFFECTED`	`leaf.16_9.verification_recovery`
`ver.run_target_tests`	`RUN_TARGET_TESTS`	`leaf.16_9.verification_recovery`
`ver.verify_requirements`	`VERIFY_REQUIREMENTS`	`leaf.16_9.verification_recovery`
`ver.check_unresolved_failures`	`CHECK_UNRESOLVED_FAILURES`	`leaf.16_10.completion_durable_state`
`ver.check_artifact_existence`	`CHECK_ARTIFACT_EXISTENCE`	`leaf.16_10.completion_durable_state`
`ver.check_acceptance_evidence`	`CHECK_ACCEPTANCE_EVIDENCE`	`leaf.16_10.completion_durable_state`

Get Started

Allternit Factory

Workspace workflows

Architecture

Work Runtime

Cognitive Runtime

Context & Memory

Tools & Execution

Verification & Safety

Observability & Evaluation

Kernel Contracts

Build on Allternit

Operations

Reference

Core Concepts

Gizzi Code CLI

Tools & ACI

Security & Enterprise

Admin API

BYOC Runtime

Surfaces

CI CD

Guides

Cookbooks

Release Notes

Families

ctl

ctx

dec

mem

mut

obs

plan

policy

route

state

tool

ver

​Families

​ctl

​ctx

​dec

​mem

​mut

​obs

​plan

​policy

​route

​state

​tool

​ver

Families

ctl

ctx

dec

mem

mut

obs

plan

policy

route

state

tool

ver