presolve_compiler/

lib.rs

//! Core compiler data structures for the first `Presolve` learning slice.
//!
//! This crate deliberately does **not** parse TSX yet. It records a source summary,
//! spans, obvious declarations, and diagnostics. That gives the project a stable
//! place to learn compiler fundamentals before choosing a real parser backend.

pub mod action_authority;
pub mod action_field_lowering;
pub mod application_publication;
pub mod application_semantic_model;
pub mod asm_validation;
pub mod authored_semantics;
pub mod binding_table;
pub mod capability_projection;
pub mod capture_escape;
pub mod codec_protocol;
pub mod compilation_unit;
pub mod compiler_pass;
pub mod component_composition;
pub mod component_diagnostics;
pub mod component_graph;
pub mod component_inheritance_lowering;
pub mod component_initialization;
pub mod component_instance;
pub mod component_instance_scope;
pub mod component_invocation;
pub mod component_ir;
pub mod component_ir_optimization;
pub mod component_scope;
pub mod composition_typing;
pub mod computed_getter_lowering;
pub mod computed_instance_slots;
pub mod computed_projection;
pub mod computed_value;
pub mod consumer;
pub mod context;
pub mod context_declaration_candidate;
pub mod context_dependency;
mod context_designator;
pub mod context_diagnostics;
pub mod context_evaluation;
pub mod context_inspection;
pub mod context_lifetime;
pub mod context_ownership;
pub mod context_projection;
pub mod context_resolution;
pub mod context_resume;
pub mod context_resume_projection;
pub mod context_typing;
pub mod context_update;
pub mod control_flow;
pub mod document_template;
pub mod effect;
pub mod effect_capability;
pub mod effect_diagnostics;
pub mod effect_field_lowering;
pub mod effect_inspection;
pub mod effect_projection;
pub mod effect_resume;
pub mod environment_input;
pub mod environment_ownership;
pub mod environment_publication;
pub mod environment_read_lowering;
pub mod environment_read_ownership;
pub mod explain;
pub mod expression_graph;
pub mod file_route_publication;
pub mod form;
pub mod form_binding;
pub mod form_diagnostics;
pub mod form_field;
pub mod form_inspection;
pub mod form_ir;
pub mod form_ir_optimization;
pub mod form_ownership;
pub mod form_projection;
pub mod form_reset;
pub mod form_serialization;
pub mod form_submission;
pub mod form_submission_host;
pub mod form_submission_projection;
pub mod form_tracking;
pub mod form_validation;
pub mod form_validation_plan;
pub mod function_summary;
pub mod html_codegen;
pub mod incremental_projection;
pub mod instance_context;
pub mod intermediate_representation;
#[cfg(any(test, all(feature = "wasm", target_arch = "wasm32")))]
mod language_service;
pub mod layout_composition;
pub mod layout_graph;
pub mod lazy_action_chunks;
pub mod legacy_decorator_lowering;
pub mod metaframework_handoff;
pub mod model;
pub mod module_graph;
pub mod opaque;
pub mod ordinary_html_codegen;
pub mod ordinary_template_instance;
pub mod ordinary_template_integrity;
pub mod page_codegen;
pub mod persistent_cache;
pub mod platform;
pub mod production_audit;
pub mod production_bootstrap;
pub mod production_chunk_graph;
pub mod production_cleanup;
pub mod production_constant_pool;
pub mod production_deduplication;
pub mod production_diagnostics;
pub mod production_elimination;
pub mod production_module_emitter;
pub mod production_optimization;
pub mod production_reachability;
pub mod production_reports;
pub mod production_runtime_artifact;
pub mod production_scheduler;
pub mod production_validation;
pub mod project_discovery;
pub mod provider;
pub mod purity_effect;
pub mod resource;
pub mod resource_projection;
pub mod resume_activation;
pub mod resume_anchor;
pub mod resume_boot;
pub mod resume_boundary;
pub mod resume_capture;
pub mod resume_chunk;
pub mod resume_diagnostics;
pub mod resume_explain;
pub mod resume_identity;
pub mod resume_instance;
pub mod resume_liveness;
pub mod resume_manifest;
pub mod resume_plan;
pub mod resume_restore;
pub mod resume_schema;
pub mod route_graph;
pub mod route_loader;
pub mod route_loader_projection;
pub mod route_metadata;
pub mod route_server_action;
pub mod runtime_codegen;
pub mod runtime_component;
pub mod runtime_component_artifact;
pub mod runtime_computed;
pub mod runtime_computed_artifact;
pub mod runtime_context;
pub mod runtime_context_artifact;
pub mod runtime_effect;
pub mod runtime_effect_artifact;
pub mod runtime_effect_instance;
pub mod runtime_form_artifact;
pub mod runtime_form_registry;
pub mod runtime_opaque_artifact;
pub mod runtime_resource_artifact;
pub mod semantic_capability;
pub mod semantic_graph;
pub mod semantic_id;
pub mod semantic_package;
pub mod semantic_package_runtime;
pub mod semantic_provenance;
pub mod semantic_reference;
pub mod semantic_type;
pub mod server_action_projection;
pub mod service;
pub mod shared_chunk_candidate;
pub mod slot;
pub mod slot_binding;
pub mod slot_content;
pub mod slot_field_lowering;
pub mod slot_projection;
pub mod state_initializer_lowering;
pub mod state_instance_storage;
pub mod state_projection;
pub mod structural_component;
pub mod structural_occurrence_identity;
pub mod summarize;
pub mod symbol_table;
pub mod template_graph;
pub mod template_manifest;
pub mod template_semantics;
pub mod tooling_products;
pub mod tooling_reader;
pub mod tooling_schema;
pub mod tsx_binding_projection;
pub mod v2_authoring_lowering;
pub mod v2_authority_request;
pub mod v2_authority_response;
pub mod validation_projection;
pub use tooling_products::{
    build_tooling_artifact_graph_v1, build_tooling_build_trace_v1,
    build_tooling_compile_cost_report_v1, decode_tooling_artifact_graph_v1,
    decode_tooling_build_trace_v1, decode_tooling_compile_cost_report_v1,
    decode_tooling_query_snapshot_v1, tooling_artifact_graph_json_v1, tooling_build_trace_json_v1,
    tooling_compile_cost_report_json_v1, tooling_query_snapshot_json_v1, ToolingArtifactGraphV1,
    ToolingBuildTraceStageV1, ToolingBuildTraceV1, ToolingCompileCostReportV1,
    ToolingProductValidationErrorV1, ToolingQueryDiagnosticSecondaryV1,
    ToolingQueryDiagnosticSeverityV1, ToolingQueryDiagnosticV1, ToolingQueryRangeV1,
    ToolingQueryReferenceKindV1, ToolingQueryReferenceV1, ToolingQuerySemanticKindV1,
    ToolingQuerySemanticRecordV1, ToolingQuerySnapshotSourceUnitV1, ToolingQuerySnapshotV1,
    ToolingTraceIdentityV1, ToolingTraceOutcomeV1, ToolingTraceStageKindV1,
    ARTIFACT_GRAPH_TOOLING_SCHEMA_V1, BUILD_TRACE_TOOLING_SCHEMA_V1,
    COMPILE_COST_TOOLING_SCHEMA_V1, QUERY_SNAPSHOT_TOOLING_SCHEMA_V1,
};
pub mod watch;
pub mod workspace;

#[cfg(all(feature = "wasm", target_arch = "wasm32"))]
mod wasm_binding;

pub use action_authority::{
    build_action_authority_v1, ActionAdmissionV1, ActionAuthorityV1, ActionCaptureCoverageV1,
    ActionEnvironmentV1, ActionFactV1, ActionRecordV1, ACTION_AUTHORITY_SCHEMA_VERSION,
};
pub use action_field_lowering::{
    action_field_sites_v1, lower_action_fields_v1, ActionFieldLoweringErrorV1,
    ActionFieldLoweringV1, ActionFieldSiteV1, ResolvedActionFieldV1,
};
pub use application_publication::{
    application_publication_manifest_json_v1, build_application_publication_product_from_asm_v1,
    build_application_publication_product_v1, validate_application_publication_request_v1,
    ApplicationPublicationArtifactV1, ApplicationPublicationErrorV1,
    ApplicationPublicationManifestV1, ApplicationPublicationProductV1,
    ApplicationPublicationProfileV1, ApplicationPublicationRequestErrorV1,
    ApplicationPublicationRequestV1, ApplicationPublicationSourceV1,
    ValidatedApplicationPublicationRequestV1, APPLICATION_PUBLICATION_COMPILER_CONTRACT_V1,
    APPLICATION_PUBLICATION_MANIFEST_SCHEMA_VERSION,
};
pub use application_semantic_model::{
    build_application_semantic_model, build_application_semantic_model_for_unit,
    build_application_semantic_model_for_unit_with_packages,
    build_application_semantic_model_from_component_graph,
    build_file_route_application_semantic_model_for_route_with_packages,
    build_file_route_application_semantic_model_for_route_with_packages_and_v2_authoring,
    build_file_route_application_semantic_model_for_unit_with_packages,
    build_file_route_application_semantic_model_for_unit_with_packages_and_v2_authoring,
    ApplicationSemanticModel, FileRouteApplicationModelErrorV1, SemanticEntity, SemanticEntityKind,
};
pub use asm_validation::{validate_application_semantic_model, AsmValidationDiagnostic};
pub use authored_semantics::{
    compose_authored_semantics_v1, normalize_authored_semantics_v1,
    AuthoredSemanticCandidateKindV1, AuthoredSemanticCompositionErrorV1,
    AuthoredSemanticNormalizationErrorV1, AuthoredSourceRangeV1,
    CanonicalAuthoredDeclarationKindV1, CanonicalAuthoredDeclarationV1,
    CanonicalAuthoredSemanticModelV1, CanonicalIntrinsicKindV1, DerivedAuthoredEvidenceV2,
    ResolvedAuthoredSemanticCandidateV1, ResolvedIntrinsicIdentityV1,
    CANONICAL_AUTHORED_SEMANTICS_SCHEMA_VERSION,
};
pub use binding_table::{
    build_binding_table, build_binding_table_with_packages, BindingDiagnostic, BindingTable,
    ExportBinding, ImportBinding, ImportBindingTarget, ModuleBindingTable,
};
pub use capture_escape::{
    build_capture_escape_graph_v1, CaptureEscapeCoverageV1, CaptureEscapeErrorV1,
    CaptureEscapeFactV1, CaptureEscapeFactsV1, CaptureEscapeGraphV1, CaptureEscapeKindV1,
    FunctionCaptureEscapeV1, ResumeCaptureAdmissionV1, CAPTURE_ESCAPE_SCHEMA_VERSION,
};
pub use codec_protocol::{
    build_codec_protocol_v1, CodecBehaviorV1, CodecClassificationV1, CodecClassificationsV1,
    CodecDeclarationV1, CodecEnvironmentV1, CodecFailureBehaviorV1,
    CodecProtocolDiagnosticReasonV1, CodecProtocolDiagnosticV1, CodecProtocolRecordV1,
    CodecProtocolV1, CodecRepresentationV1, CODEC_PROTOCOL_SCHEMA_VERSION,
};
pub use compilation_unit::CompilationUnit;
pub use compiler_pass::{
    fold_component_graph, AnalysisPass, ConstantEvaluation, ConstantEvaluationPass,
    ConstantFoldingPass, DependencyAnalysis, DependencyAnalysisPass, ImmutableAsmPass,
};
pub use component_composition::{
    analyze_component_composition, ComponentCompositionAnalysis, ComponentCompositionCycle,
};
pub use component_diagnostics::{
    collect_component_diagnostics, ComponentDiagnosticContract, COMPONENT_DIAGNOSTIC_CONTRACTS,
};
pub use component_graph::{
    build_component_graph, build_component_graph_for_module, build_v2_component_graph_for_module,
    is_valid_opaque_action_fact, ActionEndpoint, ArithmeticEvaluationError, ArithmeticExpression,
    ArithmeticExpressionKind, ArithmeticOperator, AuthoredComponentHeritage,
    AuthoredContextDeclarationCandidate, AuthoredDeclarationKind, AuthoredOpaqueActionFact,
    AuthoredRouteLoaderDeclarationFact, AuthoredServerActionFact, AuthoredSlotDeclarationCandidate,
    AuthoredSubmissionDeclarationFact, AuthoredValidationRuleArgument,
    AuthoredValidationRuleArgumentKind, AuthoredValidationRuleDeclarationFact,
    AuthoredValidationRuleExpression, AuthoredValidationRuleExpressionKind, ComparisonOperator,
    ComponentAction, ComponentDiagnostic, ComponentDiagnosticSeverity, ComponentEffectField,
    ComponentGraph, ComponentMethod, ComponentNode, ComputedExpression, ComputedExpressionKind,
    ConstantEvaluationError, ConstantExpression, ConstantExpressionKind, ConsumerDeclaration,
    ContextDeclaration, ContextDeclarationCandidateKind, ContextDeclarationViolation,
    ContextDesignator, DeclaredStateType, DeclaredStateTypeKind, DiagnosticSecondaryLabel,
    EffectBodySyntax, EffectCleanupSyntax, EffectExpression, EffectExpressionKind,
    EffectStatementSyntax, EffectStatementSyntaxKind, FormDeclarationCandidate,
    FormDeclarationStatus, FormDeclarationViolation, FormDesignatorFact,
    FormFieldDeclarationCandidate, FormFieldDeclarationViolation, LogicalOperator, MethodCall,
    MethodLocalVariable, MethodParameter, RenderAttribute, RenderAttributeValue, RenderChild,
    RenderEventHandler, RenderFragment, RenderList, RenderModel, SerializableValue,
    SlotDeclaration, SlotDeclarationViolation, SlotKind, StateField, StateOperation,
    UnsupportedEffectStatementKind, UnsupportedFormDesignatorFact,
};
pub use component_inheritance_lowering::{
    component_inheritance_sites_v1, lower_component_inheritance_v1,
    ComponentInheritanceLoweringErrorV1, ComponentInheritanceLoweringV1,
    ComponentInheritanceSiteV1, ResolvedComponentInheritanceV1,
};
pub use component_initialization::{
    plan_component_initialization, ComponentInitializationPlan, ComponentInstanceBatch,
    SlotBindingBatch,
};
pub use component_instance::{
    plan_component_instances, plan_component_instances_with_virtual_invocations,
    structural_template_entity_for_region, BlockedComponentInstancePlan,
    BlockedComponentInstanceReason, ComponentBuildRoot, ComponentBuildRootKind, ComponentInstance,
    ComponentInstancePlan, ComponentInstanceStatus,
};
pub use component_instance_scope::{
    build_component_instance_scope_graph, validate_component_instance_scope_graph,
    ComponentInstanceScopeDiagnostic, ComponentInstanceScopeGraph, ComponentInstanceScopeNode,
    ComponentInstanceScopeViolation,
};
pub use component_invocation::{
    collect_component_invocations, ComponentInvocationEntity, ComponentInvocationResolutionStatus,
};
pub use component_ir::{
    lower_component_ir, validate_component_ir, ComponentIrInstruction, ComponentIrOperation,
    ComponentIrReport,
};
pub use component_ir_optimization::{
    optimize_component_ir, validate_optimized_component_ir, OptimizedComponentIrReport,
};
pub use component_scope::{ComponentScopeDiagnostic, ComponentScopeGraph};
pub use composition_typing::{
    collect_composition_type_products, ComponentInvocationTypeRecord, CompositionCompatibility,
    CompositionTypeProducts, InstanceContextBindingTypeRecord, SlotBindingTypeRecord,
};
pub use computed_getter_lowering::{
    computed_getter_sites_v1, lower_computed_getters_v1, ComputedGetterLoweringErrorV1,
    ComputedGetterLoweringV1, ComputedGetterSiteV1,
};
pub use computed_instance_slots::{
    build_computed_instance_slot_registry, validate_computed_instance_slot_registry,
    ComputedInstanceSlotRecord, ComputedInstanceSlotRegistry,
    COMPUTED_INSTANCE_SLOT_REGISTRY_VERSION,
};
pub use computed_projection::{
    build_computed_projection_v1, ComputedProjectionRecordV1, ComputedProjectionV1,
    COMPUTED_PROJECTION_SCHEMA_VERSION,
};
pub use computed_value::{
    collect_computed_values, ComputedCachePolicy, ComputedDiagnosticCode, ComputedPurity,
    ComputedPurityViolation, ComputedPurityViolationKind, ComputedValue,
};
pub use consumer::{collect_consumer_entities, ConsumerEntity, ContextResolutionState};
pub use context::{collect_context_entities, ContextEntity};
pub use context_declaration_candidate::{
    collect_context_declaration_candidates, ContextDeclarationCandidate,
    ContextDeclarationCandidateRegistry, ContextDeclarationStatus, ContextSemanticEntityId,
};
pub use context_dependency::{
    collect_context_dependency_graph, ContextDependencyCompatibility, ContextDependencyEdge,
    ContextDependencyEdgeKind, ContextDependencyGraph, ContextDependencyNode,
    ContextDependencyNodeId, ContextDependencyNodeKind,
};
pub use context_diagnostics::collect_context_diagnostics;
pub use context_evaluation::{
    collect_context_evaluation_plan, ContextConsumerAvailabilityEntry,
    ContextConsumerAvailabilityStatus, ContextEvaluationBatch, ContextEvaluationBatchId,
    ContextEvaluationPlan, ContextEvaluationPlanId, ContextSourceBlockReason,
    ContextSourcePlanEntry, ContextSourcePlanStatus, ContextValueSourceId,
};
pub use context_inspection::{
    build_context_inspection_registry, ContextInspection, ContextInspectionRegistry,
};
pub use context_lifetime::{
    collect_context_lifetime_analysis, ContextBindingLifetimeRecord, ContextBindingLifetimeSource,
    ContextBindingLifetimeStatus, ContextDefaultLifetimeRecord, ContextDependencyLifetimeRecord,
    ContextEntityLifetimeRecord, ContextLifetimeAnalysis, ContextLifetimeEntityId,
    ContextLifetimeId, LifetimeCompatibilityStatus, ProviderLifetimeRecord,
};
pub use context_ownership::{
    collect_context_ownership_graph, ContextOwnedEntities, ContextOwnershipEdge,
    ContextOwnershipEdgeKind, ContextOwnershipGraph, ContextOwnershipNode, ContextOwnershipNodeId,
    ContextOwnershipNodeKind, ContextOwnershipOwnerId, ContextOwnershipTargetId,
};
pub use context_projection::{
    build_context_projection_v1, ContextProjectionV1, ContextProviderRecordV1,
    ContextTokenRecordV1, CONTEXT_PROJECTION_SCHEMA_VERSION,
};
pub use context_resolution::{
    collect_context_resolutions, ContextResolution, ContextResolutionResult,
};
pub use context_resume::{
    build_context_resume_plan, ContextResumePlan, ContextResumeRecord, ContextResumeSlotId,
    ContextSlotResumeStatus,
};
pub use context_resume_projection::{
    build_context_resume_projection_v1, ContextConsumerResolutionV1,
    ContextResumeProjectionRecordV1, ContextResumeProjectionV1,
    CONTEXT_RESUME_PROJECTION_SCHEMA_VERSION,
};
pub use context_typing::{
    collect_context_type_products, CompatibilityStatus, ConsumerTypeRecord,
    ContextBindingCompatibility, ContextBindingTypeRecord, ContextSerializationCompatibility,
    ContextTypeProducts, ContextTypeRecord, ProviderTypeRecord,
};
pub use context_update::{build_context_update_plan, ContextActionUpdatePlan, ContextUpdatePlan};
pub use control_flow::{
    build_control_flow_graph_v1, ControlFlowAccessKindV1, ControlFlowAccessV1, ControlFlowBlockV1,
    ControlFlowBranchArmV1, ControlFlowBranchEdgeV1, ControlFlowCoverageStatusV1,
    ControlFlowCoverageV1, ControlFlowFunctionV1, ControlFlowGraphV1, ControlFlowLoopV1,
    ControlFlowProvenanceV1, CONTROL_FLOW_SCHEMA_VERSION,
};
pub use document_template::{apply_document_template_v1, DocumentTemplateErrorV1};
pub use effect::{
    analyze_effect_reactivity, collect_effects, derive_effect_trigger_plan, lower_effect_bodies,
    plan_effect_execution, validate_effects, ActionBatch, ActionBatchEffectTrigger,
    ActionEffectExecutionPlan, Effect, EffectBody, EffectComputedPrerequisiteBatch,
    EffectDeclaration, EffectExecutionBatch, EffectExecutionPlan, EffectExecutionPolicy,
    EffectReactiveAnalysis, EffectRenderBoundary, EffectSemanticViolation,
    EffectSemanticViolationKind, EffectStatement, EffectStatementKind, EffectTriggerPlan,
    EffectValidation, InitialEffectExecutionPlan, UnplannedEffect, UnplannedEffectReason,
};
pub use effect_capability::{
    ArgumentSerializationPolicy, BuiltinCapabilityProvenance, CapabilityDefinition, CapabilityId,
    CapabilityOperation, CapabilityOperationId, CapabilityOperationKind, CapabilityParameters,
    CapabilityResultPolicy, CapabilitySignature, CapabilityValueContract, EffectCapabilityRegistry,
    RuntimeCapabilityLowering, StaticCapabilityPath, EFFECT_CAPABILITY_REGISTRY,
    EFFECT_CAPABILITY_REGISTRY_VERSION,
};
pub use effect_diagnostics::{collect_effect_diagnostics, EffectDiagnosticCode};
pub use effect_field_lowering::{
    effect_field_sites_v1, lower_effect_fields_v1, EffectFieldLoweringErrorV1,
    EffectFieldLoweringV1, EffectFieldSiteV1, ResolvedEffectFieldV1,
};
pub use effect_inspection::{
    build_effect_inspection_registry, validate_effect_inspection_registry, EffectInspection,
    EffectInspectionActionTrigger, EffectInspectionCapability, EffectInspectionDependencies,
    EffectInspectionInitialTrigger, EffectInspectionIr, EffectInspectionPrerequisiteBatch,
    EffectInspectionProvenance, EffectInspectionRegistry, EffectInspectionResumability,
    EffectInspectionRuntime, EffectInspectionSchedule, EffectInspectionScheduledAction,
    EffectInspectionUnplanned, EffectInspectionValidation, EffectInspectionValidationDiagnostic,
    EffectInspectionViolation,
};
pub use effect_projection::{
    build_effect_projection_v1, EffectProjectionRecordV1, EffectProjectionV1,
    EFFECT_PROJECTION_SCHEMA_VERSION,
};
pub use effect_resume::{
    build_effect_resume_plan, validate_effect_resume_plan, EffectActivationSlotId,
    EffectActivationStatus, EffectInitialResumeMembership, EffectResumePlan, EffectResumeRecord,
    EffectResumeValidationDiagnostic,
};
pub use environment_input::{
    build_environment_input_manifest_v1, environment_input_manifest_from_json_v1,
    environment_input_manifest_json_v1, validate_environment_input_manifest_v1,
    EnvironmentInputErrorV1, EnvironmentInputManifestV1, ENVIRONMENT_INPUT_SCHEMA_VERSION,
};
pub use environment_ownership::{
    build_environment_ownership_graph_v1, EnvironmentClassV1, EnvironmentOwnershipDiagnosticV1,
    EnvironmentOwnershipEdgeKindV1, EnvironmentOwnershipEdgeV1, EnvironmentOwnershipErrorV1,
    EnvironmentOwnershipFactsV1, EnvironmentOwnershipGraphV1, EnvironmentOwnershipNodeV1,
    EnvironmentOwnershipViolationV1, LifetimeClassV1, ENVIRONMENT_OWNERSHIP_SCHEMA_VERSION,
};
pub use environment_publication::{
    build_environment_publication_artifact_v1, environment_publication_artifact_json_v1,
    validate_environment_publication_artifact_v1, EnvironmentPublicationArtifactV1,
    EnvironmentPublicationErrorV1, ENVIRONMENT_PUBLICATION_SCHEMA_VERSION,
};
pub use environment_read_lowering::{
    lower_environment_reads_v1, EnvironmentReadDiagnosticCodeV1, EnvironmentReadDiagnosticV1,
    EnvironmentReadLoweringV1, EnvironmentReadRecordV1, ENVIRONMENT_READ_LOWERING_SCHEMA_VERSION,
};
pub use environment_read_ownership::{
    build_environment_read_ownership_v1, EnvironmentReadOwnershipErrorV1,
};
pub use explain::{explain_json, explain_text};
pub use expression_graph::{ExpressionGraph, ExpressionNode, ExpressionNodeKind};
pub use file_route_publication::{
    build_file_route_publication_v1, file_route_artifact_root_v1,
    file_route_publication_manifest_json_v1, resolve_file_route_request_match_v1,
    resolve_file_route_request_v1, FileRoutePublicationErrorV1, FileRoutePublicationManifestV1,
    FileRoutePublicationProductV1, FileRoutePublicationRequestV1, FileRoutePublicationRouteV1,
    FileRouteRequestMatchV1, FileRouteRequestTargetV1, FILE_ROUTE_ENVIRONMENT_ARTIFACT_PATH_V1,
    FILE_ROUTE_PUBLICATION_COMPILER_CONTRACT_V1, FILE_ROUTE_PUBLICATION_MANIFEST_SCHEMA_VERSION,
};
pub use form::{collect_form_entities, FormEntity};
pub use form_binding::{
    collect_form_field_binding_products, FormControlChannel, FormControlCompatibility,
    FormControlNormalization, FormFieldBinding, FormFieldBindingCandidate,
    FormFieldBindingEvidence, FormFieldBindingEvidenceKind, FormFieldBindingExpressionFact,
    FormFieldBindingProducts, FormFieldBindingViolation, FormInputKind,
};
pub use form_diagnostics::{
    collect_form_diagnostics, FormDiagnosticReservation, FORM_DIAGNOSTIC_RESERVATIONS,
};
pub use form_field::{collect_form_field_products, FormFieldEntity, FormFieldProducts};
pub use form_inspection::{build_form_inspection_registry, FormInspection, FormInspectionRegistry};
pub use form_ir::{
    lower_form_ir, FormInstanceIr, FormIrOperation, FormIrReport, FormRuntimeStorage,
};
pub use form_ir_optimization::{
    optimize_form_ir, FormIrOptimizationMetrics, OptimizedFormIrReport,
};
pub use form_ownership::{
    collect_form_ownership_graph, validate_form_ownership_graph, FormOwnershipEdge,
    FormOwnershipEdgeKind, FormOwnershipGraph, FormOwnershipIntegrityDiagnostic,
    FormOwnershipIntegrityKind, FormOwnershipNode, FormOwnershipNodeKey, FormOwnershipValidation,
    FormReferenceEdge, FormReferenceKind,
};
pub use form_reset::{
    collect_reset_products, FieldResetOperation, FieldResetStep, FormResetPlan, ResetProducts,
};
pub use form_serialization::{
    collect_serialization_products, FormFieldSerializationConversion, FormSerializationFormat,
    FormSerializationPlan, SerializationDeclarationFact, SerializationPlanStatus,
    SerializationProducts, SerializedFieldPlan,
};
pub use form_submission::{
    collect_submission_products, FormSubmissionPlan, SubmissionDeclarationCandidate,
    SubmissionDeclarationViolation, SubmissionProducts, SubmitResetPolicy,
};
pub use form_submission_host::{
    collect_submission_host_products, SubmissionHost, SubmissionHostCandidate,
    SubmissionHostProducts, SubmissionHostViolation,
};
pub use form_tracking::{
    collect_form_tracking_products, structurally_equal_serializable_values,
    validate_dirty_tracking_graph, validate_touched_tracking_graph, DirtyTrackingGraph,
    DirtyTrackingPlan, DirtyTransitionCause, DirtyTransitionPlan, FieldDirtyTracking,
    FieldTouchedTracking, FormTrackingIntegrityDiagnostic, FormTrackingIntegrityKind,
    FormTrackingProducts, FormTrackingValidation, TouchedTrackingGraph, TouchedTrackingPlan,
    TouchedTransitionCause, TouchedTransitionPlan,
};
pub use form_validation::{
    collect_validation_graph, collect_validation_products, validate_validation_graph,
    ValidationCompatibility, ValidationDependencyCycle, ValidationDependencyDesignator,
    ValidationGraph, ValidationGraphEdge, ValidationGraphEdgeKind,
    ValidationGraphIntegrityDiagnostic, ValidationGraphIntegrityKind, ValidationGraphNode,
    ValidationGraphNodeKey, ValidationGraphValidation, ValidationProducts, ValidationRule,
    ValidationRuleArgument, ValidationRuleCandidate, ValidationRuleKind, ValidationRuleViolation,
};
pub use form_validation_plan::{
    collect_validation_dependency_plans, validate_validation_dependency_plans,
    BlockedFieldValidationDependency, FieldChangeSet, FieldChangeValidationSchedule,
    FieldDependencyBlockReason, FieldValidationChangePlan, FieldValidationDependency,
    FieldValidationSourceEntry, FieldValidationTargetEntry, FormValidationDependencyPlan,
    ValidationDependencyPlanIntegrityDiagnostic, ValidationDependencyPlanIntegrityKind,
    ValidationDependencyPlanValidation, ValidationDependencyPlans, ValidationPlanningStatus,
};
pub use function_summary::{
    build_function_summary_graph_v1, FunctionCallCoverageV1, FunctionCallFactV1,
    FunctionCallFactsV1, FunctionSummaryErrorV1, FunctionSummaryGraphV1, FunctionSummaryV1,
    FUNCTION_SUMMARY_SCHEMA_VERSION,
};
pub use html_codegen::generate_static_html;
pub use instance_context::{
    collect_instance_context_registry, ConsumerInstanceId, ConsumerInstanceRecord,
    ContextDefaultSourceInstanceId, ContextSourceInstanceId, ContextSourceInstanceOwner,
    InstanceContextRegistry, InstanceContextResolution, InstanceContextResolutionStatus,
    InstanceContextValueSlotId, ProviderInstanceId, ProviderInstanceRecord,
};
pub use intermediate_representation::{
    analyze_constant_propagation, analyze_dead_assignments, analyze_definition_uses,
    analyze_liveness, analyze_reachability, analyze_reactive_cycles,
    analyze_reactive_transitive_graph, analyze_use_definitions, build_reactive_graph,
    compute_dominators, compute_post_dominators, computed_optimization_pipeline, inspect_dom_nodes,
    lower_components_to_ir, optimize_computed_ir, optimize_context_ir, optimize_effect_ir,
    plan_computed_evaluation, validate_context_ir, validate_effect_ir,
    validate_intermediate_representation, validate_optimized_context_ir, ContextConsumerLoadId,
    ContextIrReport, ContextSourceFunctionId, ContextValueSlotId, IntermediateRepresentation,
    IrBinaryOperation, IrBlock, IrBlockId, IrBranchArm, IrBranchEdge, IrCfgCleanupPass,
    IrCommonSubexpressionEliminationPass, IrComputedEvaluation, IrComputedEvaluationPlan,
    IrConstant, IrConstantFoldingPass, IrConstantPropagationAnalysis, IrContextConsumerBinding,
    IrContextLoad, IrContextSourceEvaluation, IrCopyPropagationPass, IrDeadAssignmentAnalysis,
    IrDeadCodeEliminationPass, IrDefinitionUseAnalysis, IrDomAttribute, IrDomAttributeValue,
    IrDomBinding, IrDomConditional, IrDomEvent, IrDomInspection, IrDomList, IrDomNode, IrDomNodeId,
    IrDomNodeKind, IrDomText, IrDominatorTree, IrEffectCompletion, IrEffectExecution, IrFunction,
    IrInstruction, IrInstructionId, IrInstructionKind, IrInstructionSimplificationPass,
    IrLivenessAnalysis, IrLoop, IrLoopId, IrModule, IrOperand, IrOptimizationMetrics,
    IrOptimizationPass, IrOptimizationPassReport, IrOptimizationPipeline, IrOptimizationReport,
    IrPassManager, IrPostDominatorTree, IrReachabilityAnalysis, IrReactiveCycle,
    IrReactiveCycleAnalysis, IrReactiveEdge, IrReactiveEdgeKind, IrReactiveGraph, IrReactiveNode,
    IrReactiveNodeKind, IrReactiveTransitiveAnalysis, IrSchedulerInspection, IrStorage,
    IrStorageId, IrTemplateEntrypoint, IrUnaryOperation, IrUpdateScheduler, IrUse, IrUseDefinition,
    IrValidationDiagnostic, IrValue, IrValueDefinition, IrValueId, OptimizedContextIrReport,
    OptimizedIrContextSourceEvaluation,
};
pub use layout_composition::{
    build_layout_composition_plan_from_components_v1, build_layout_composition_plan_v1,
    layout_composition_virtual_invocations_from_provenance_v1,
    layout_composition_virtual_invocations_v1, LayoutCompositionEdgeV1, LayoutCompositionErrorV1,
    LayoutCompositionPlanV1, LayoutCompositionRouteV1,
};
pub use legacy_decorator_lowering::{
    legacy_decorator_sites_v1, lower_legacy_decorators_v1, LegacyDecoratorLoweringErrorV1,
    LegacyDecoratorLoweringV1, LegacyDecoratorResolutionV1, LegacyDecoratorSiteV1,
};
pub use metaframework_handoff::{
    build_deployable_release_manifest_v1, build_static_request_handoff_v1,
    deployable_release_manifest_json_v1, static_request_handoff_json_v1, DeployableArtifactV1,
    DeployableReleaseManifestV1, StaticRequestHandoffV1, StaticRequestRouteV1,
};
pub use model::{
    ClassSummary, DecoratorSummary, Diagnostic, RenderMethodSummary, Severity, SourceSummary, Span,
};
pub use module_graph::{
    build_module_graph, ModuleEdge, ModuleEdgeKind, ModuleGraph, ModuleNode, ModuleTarget,
};
pub use opaque::{OpaqueActionResolution, OpaqueActionResolutionOutcome, OpaqueTerminalBinding};
pub use ordinary_html_codegen::{
    generate_ordinary_instance_html, generate_ordinary_instance_html_for_component,
    generate_structural_conditional_host_fragments, generate_structural_keyed_host_fragments,
    generate_structural_template_instance_html,
};
pub use ordinary_template_instance::{
    build_ordinary_template_instance_registry, validate_ordinary_template_instance_registry,
    OrdinaryTemplateBindingKind, OrdinaryTemplateInstanceBindingRecord,
    OrdinaryTemplateInstanceEventRecord, OrdinaryTemplateInstanceRegistry,
    OrdinaryTemplateInstanceTargetRecord, OrdinaryTemplateTargetKind,
    ORDINARY_TEMPLATE_INSTANCE_REGISTRY_VERSION,
};
pub use ordinary_template_integrity::{
    ComputedInstanceSlotIntegrityCode, OrdinaryTemplateIntegrityCode,
    StateInstanceStorageIntegrityCode,
};
pub use page_codegen::{
    embed_opaque_runtime_artifact, generate_standalone_page,
    generate_standalone_page_with_component_runtime,
    generate_standalone_page_with_component_runtime_and_forms,
    generate_standalone_page_with_computed_runtime, generate_standalone_page_with_context_runtime,
    generate_standalone_page_with_effect_runtime, generate_standalone_page_with_resume_runtime,
    generate_standalone_page_with_resume_runtime_and_resources,
};
pub use production_audit::{
    build_production_audit_report_v1, production_audit_report_json_v1, ProductionAuditErrorV1,
    ProductionAuditReportV1, ProductionRuntimeAuthority, PRODUCTION_AUDIT_REPORT_SCHEMA_VERSION,
    PRODUCTION_RUNTIME_AUTHORITIES, PRODUCTION_RUNTIME_REFINEMENT_INVARIANTS,
};
pub use production_bootstrap::{
    build_production_bootstrap_plan, ProductionBootstrapBlock, ProductionBootstrapPlan,
    ProductionRuntimeIndexes,
};
pub use production_chunk_graph::{
    extract_production_chunk_graph, validate_production_chunk_graph, ProductionActivationChunkPlan,
    ProductionChunkDependency, ProductionChunkExtractionError, ProductionChunkExtractionReport,
    ProductionChunkGraph, ProductionChunkGraphValidationError, ProductionChunkKind,
    ProductionChunkRecord, ProductionRootChunkInput, ProductionSharedChunkFailurePolicy,
};
pub use production_cleanup::{
    build_production_destroy_plan, validate_production_cleanup_closure,
    ProductionCleanupClosureViolation, ProductionCleanupKind, ProductionDestroyPlan,
    ProductionOwnedRuntimeRecord,
};
pub use production_constant_pool::{
    pool_production_constants, ConstantPoolConsumer, ConstantPoolingDecision,
    ConstantPoolingReport, ProductionConstantCandidate, ProductionConstantPool,
    ProductionConstantPoolEntry,
};
pub use production_deduplication::{
    deduplicate_generated_programs, DeduplicatedProgramRegistry, ExecutableProgramCandidate,
    ExecutableProgramCanonicalStream, ExecutableProgramFingerprintRegistry, ProgramAliasRecord,
    ProgramDeduplicationReport,
};
pub use production_diagnostics::{
    project_production_diagnostics, ProductionDiagnosticContract, ProductionDiagnosticFact,
    ProductionDiagnosticKind, ProductionDiagnosticProvenance, ProductionProjectedDiagnostic,
    PRODUCTION_DIAGNOSTIC_CATALOG,
};
pub use production_elimination::{
    eliminate_unreachable_production_records, DeadProductEliminationReason,
    DeadProductEliminationReport, OptimizationDecision, ProductionArtifactProjection,
    ProductionExecutionRecord,
};
pub use production_module_emitter::{
    emit_production_modules, validate_production_module, ProductionModuleLayout,
    ProductionModuleRecord, ProductionModuleValidationError,
};
pub use production_optimization::{
    BenchmarkFixtureId, ConstantPoolEntryId, ExecutableProgramFingerprint, OptimizationDecisionId,
    OptimizationPolicyId, OptimizationReportId, PerformanceBudgetId, ProductionArtifactId,
    ProductionChunkId, ProductionOptimizationDiagnosticReservation,
    ProductionOptimizationIdentityParseError, ProductionOptimizationPolicy,
    ProductionOptimizationPolicyV1, RuntimeTableId, SharedChunkCandidateId,
    PRODUCTION_OPTIMIZATION_DIAGNOSTIC_RESERVATIONS,
    PRODUCTION_OPTIMIZATION_INTEGRITY_RESERVATION_END,
    PRODUCTION_OPTIMIZATION_INTEGRITY_RESERVATION_START,
};
pub use production_reachability::{
    build_production_reachability_graph, ProductionExecutableRoot, ProductionProgramEdge,
    ProductionReachabilityBlock, ProductionReachabilityGraph, ProductionReachabilityReason,
    ProductionUnreachableRecord,
};
pub use production_reports::{
    build_production_reports, optimization_report_json, runtime_cost_report_json,
    OptimizationInspectionQuery, OptimizationReportV1, ProductionReportInputs,
    RuntimeCostInspectionQuery, RuntimeCostReportV1, OPTIMIZATION_REPORT_SCHEMA_VERSION,
    RUNTIME_COST_REPORT_SCHEMA_VERSION,
};
pub use production_runtime_artifact::{
    build_production_runtime_artifact, build_production_runtime_table,
    parse_production_runtime_artifact_v1, production_runtime_artifact_json,
    validate_production_runtime_artifact, ProductionArtifactActivationEntry,
    ProductionArtifactChunkRecord, ProductionArtifactEntry, ProductionArtifactIntegrity,
    ProductionArtifactIntegrityViolation, ProductionOrdinalMapping, ProductionOrdinalWidth,
    ProductionRuntimeArtifactV1, ProductionRuntimeTable, ProductionRuntimeTableRegistry,
    PRODUCTION_RUNTIME_ARTIFACT_SCHEMA_VERSION, PRODUCTION_RUNTIME_TABLE_SCHEMA_VERSION,
};
pub use production_scheduler::{
    build_production_patch_schedule, coalesce_production_binding_writes,
    BindingWriteCoalescingDecision, BindingWriteCoalescingReport, ProductionPatchBatchKind,
    ProductionPatchOperation, ProductionPatchSchedule,
};
pub use production_validation::{
    validate_production_runtime_pipeline, ProductionRuntimeFailure, ProductionValidationEvidence,
    ProductionValidationPhase, ProductionValidationResult,
};
pub use project_discovery::{
    discover_project_v1, discover_semantic_packages_v1, DiscoveredProjectSourceV1,
    DiscoveredProjectV1, ProjectDiscoveryErrorV1,
};
pub use provider::{collect_provider_entities, DuplicateProviderDeclaration, ProviderEntity};
pub use purity_effect::{
    build_purity_effect_graph_v1, FunctionEffectFactV1, FunctionEffectKindV1,
    FunctionPurityEffectV1, FunctionPurityV1, PurityEffectErrorV1, PurityEffectGraphV1,
    PURITY_EFFECT_SCHEMA_VERSION,
};
pub use resource::{
    ResourceActivation, ResourceDeclaration, ResourceDeclarationError, ResourceEndpointBinding,
    ResourceEndpointResolution, ResourceEndpointResolutionOutcome, ResourceInvalidationPolicy,
    ResourceLifecycleError, ResourceLifecycleEvent, ResourceLifecycleState, ResourceRetryPolicy,
};
pub use resume_activation::{
    build_resume_activation_plan, validate_resume_activation_plan, ResumeActivationBlock,
    ResumeActivationBlockReason, ResumeActivationIntegrityCode,
    ResumeActivationIntegrityDiagnostic, ResumeActivationPlan, ResumeActivationPolicy,
    ResumeActivationPolicyDecision, ResumeActivationPrerequisite, RESUME_ACTIVATION_PLAN_VERSION,
};
pub use resume_anchor::{
    build_resume_anchor_plan, validate_resume_anchor_plan, validate_resume_marker_html,
    ResumeAnchorIntegrityCode, ResumeAnchorIntegrityDiagnostic, ResumeAnchorKind,
    ResumeAnchorPlacement, ResumeAnchorPlan, ResumeAnchorPlanRecord, ResumeEventMarkerRecord,
    RESUME_ANCHOR_PLAN_VERSION,
};
pub use resume_boundary::{
    build_resume_boundary_graph, validate_resume_boundary_graph, ResumeBoundary,
    ResumeBoundaryActivationIdentity, ResumeBoundaryActivationProgram,
    ResumeBoundaryActivationReference, ResumeBoundaryBlock, ResumeBoundaryBlockSource,
    ResumeBoundaryGraph, ResumeBoundaryIntegrityCode, ResumeBoundaryIntegrityDiagnostic,
    ResumeBoundaryOwner, ResumeBoundaryOwnershipEdge, RESUME_BOUNDARY_GRAPH_VERSION,
};
pub use resume_capture::{
    build_resume_capture_plan, capture_resume_snapshot, encode_resume_value,
    resume_snapshot_artifact_json, resume_snapshot_json, validate_resume_capture_plan,
    ResumeCaptureBlock, ResumeCaptureBlockReason, ResumeCaptureError, ResumeCaptureErrorKind,
    ResumeCaptureInstruction, ResumeCaptureIntegrityCode, ResumeCaptureIntegrityDiagnostic,
    ResumeCapturePlan, ResumeCaptureProgram, ResumeEncodedValue, ResumeEnvelopeWriterPlan,
    ResumeSnapshotBoundaryV1, ResumeSnapshotStructuralOccurrenceV2,
    ResumeSnapshotStructuralStateV2, ResumeSnapshotV1, ResumeSnapshotV2,
    ResumeSnapshotValueRecordV1, RuntimeQuiescenceState, RESUME_CAPTURE_MANIFEST_VERSION,
    RESUME_CAPTURE_PLAN_VERSION, RESUME_SNAPSHOT_SCHEMA_VERSION,
};
pub use resume_chunk::{
    build_resume_chunk_graph, validate_resume_chunk_graph, ResumeChunk, ResumeChunkBlock,
    ResumeChunkBlockReason, ResumeChunkGraph, ResumeChunkIntegrityCode,
    ResumeChunkIntegrityDiagnostic, ResumeChunkModulePlan, ResumeChunkProgram,
    ResumeChunkProgramInclusion, ResumeChunkRootKind, RESUME_CHUNK_GRAPH_VERSION,
};
pub use resume_diagnostics::{
    build_resume_diagnostic_products, project_resume_diagnostics,
    project_resume_diagnostics_from_products, ResumeDiagnosticProducts,
    ResumeDiagnosticReservation, ResumeProjectedDiagnostic, RESUME_DIAGNOSTIC_RESERVATIONS,
    RESUME_INTEGRITY_RESERVATION_END, RESUME_INTEGRITY_RESERVATION_START,
};
pub use resume_identity::{
    ComputedInstanceCacheSlotId, ComputedInstanceDirtySlotId, ResumeActivationId,
    ResumeActivationRootKind, ResumeAnchorId, ResumeBoundaryId, ResumeBoundaryKind, ResumeBuildId,
    ResumeCaptureProgramId, ResumeChunkGroupId, ResumeChunkId, ResumeEventId,
    ResumeIdentityParseError, ResumeRestoreProgramId, ResumeSchemaId, ResumeSlotId,
    ResumeSnapshotId, ResumeValueRecordId, StateInstanceSlotId, TemplateInstanceBindingId,
    TemplateInstanceTargetId,
};
pub use resume_liveness::{
    build_resume_liveness_plan, validate_resume_liveness_plan, ResumeExcludedSlot,
    ResumeExistingSlot, ResumeLivenessBlock, ResumeLivenessBlockReason,
    ResumeLivenessClassificationKind, ResumeLivenessClassificationRef, ResumeLivenessIntegrityCode,
    ResumeLivenessIntegrityDiagnostic, ResumeLivenessOwner, ResumeLivenessPlan, ResumeLivenessSlot,
    ResumeRecomputableSlot, ResumeRecomputationProof, ResumeRetainedSlot, ResumeRetentionReason,
    RESUME_LIVENESS_PLAN_VERSION,
};
pub use resume_manifest::{
    build_resume_manifest, compute_resume_build_id, parse_resume_manifest_v6,
    parse_resume_manifest_v7, resume_manifest_json, validate_resume_manifest, ResumeManifest,
    ResumeManifestActivationPolicy, ResumeManifestActivationRecord, ResumeManifestAnchorRecord,
    ResumeManifestBoundaryKind, ResumeManifestBoundaryRecord, ResumeManifestCaptureInstruction,
    ResumeManifestCaptureProgram, ResumeManifestChunkRecord, ResumeManifestContextSlotRecord,
    ResumeManifestEffectRecord, ResumeManifestEventRecord,
    ResumeManifestPhaseIComponentResumeRecord, ResumeManifestRestoreInstruction,
    ResumeManifestRestoreInstructionRecord, ResumeManifestRestoreProgram,
    ResumeManifestSlotSchemaRecord, ResumeManifestValidationDiagnostic,
    RESUME_MANIFEST_SCHEMA_VERSION, RESUME_RUNTIME_PROTOCOL_VERSION,
};
pub use resume_plan::{
    build_resume_plan, ComponentInstanceResumePlan, FormFieldResumePlan, FormInstanceResumePlan,
    ResumeComponentPlan, ResumeComputedPlan, ResumePlan, SlotBindingResumePlan,
    StructuralRegionResumePlan,
};
pub use resume_restore::{
    build_resume_restore_plan, validate_resume_restore_plan, ResumeRestoreApplicationSchedule,
    ResumeRestoreBlock, ResumeRestoreBlockReason, ResumeRestoreInstruction,
    ResumeRestoreInstructionRecord, ResumeRestoreIntegrityCode, ResumeRestoreIntegrityDiagnostic,
    ResumeRestorePhase, ResumeRestorePlan, ResumeRestoreProgram, ResumeRestoreSchedulePhase,
    ResumeRestoreSlotAssignment, RESUME_RESTORE_PLAN_VERSION,
};
pub use resume_schema::{
    build_resume_schema_registry, resume_value_codec, validate_resume_schema_registry,
    ResumeBoundarySchema, ResumeObjectPropertyCodec, ResumeSchemaBlock, ResumeSchemaBlockReason,
    ResumeSchemaIntegrityCode, ResumeSchemaIntegrityDiagnostic, ResumeSchemaRegistry,
    ResumeSlotSchema, ResumeValueCodec, RESUME_SCHEMA_REGISTRY_VERSION,
};
pub use route_graph::{
    build_file_route_graph_from_components_v1, build_file_route_graph_v1, build_route_graph,
    build_static_route_publication_v1, build_validated_file_route_graph_from_components_v1,
    build_validated_file_route_graph_v1, build_validated_route_graph_v1, route_manifest_json_v1,
    route_manifest_v1, FileRouteGraphV1, FileRouteNodeV1, RouteGraph, RouteGraphError,
    RouteManifestEntryV1, RouteManifestV1, RouteNode,
};
pub use route_loader::{
    build_route_loader_plan_v1, route_loader_plan_json_v1, RouteLoaderBindingV1,
    RouteLoaderPlanErrorV1, RouteLoaderPlanV1, RouteLoaderRouteV1,
    ROUTE_LOADER_PLAN_SCHEMA_VERSION,
};
pub use route_metadata::{
    build_route_metadata_manifest_v1, route_metadata_manifest_json_v1, RouteMetadataErrorV1,
    RouteMetadataInputV1, RouteMetadataManifestV1, RouteMetadataRecordV1,
    ROUTE_METADATA_SCHEMA_VERSION,
};
pub use route_server_action::{
    build_route_server_action_plan_v1, route_server_action_plan_json_v1,
    RouteServerActionBindingV1, RouteServerActionPlanErrorV1, RouteServerActionPlanV1,
    RouteServerActionRouteV1, ROUTE_SERVER_ACTION_PLAN_SCHEMA_VERSION,
};
pub use runtime_codegen::generate_runtime_stub;
pub use runtime_component::{
    build_runtime_component_registry, RuntimeComponentContextBindingRecord,
    RuntimeComponentDefinitionRecord, RuntimeComponentInitializationBatch,
    RuntimeComponentInstanceRecord, RuntimeComponentRegistry, RuntimeComponentSlotBindingRecord,
    RUNTIME_COMPONENT_REGISTRY_SCHEMA_CONTRACT_VERSION,
};
pub use runtime_component_artifact::{
    build_runtime_component_artifact, runtime_component_artifact_json,
    validate_runtime_component_artifact, RuntimeComponentArtifact,
    RUNTIME_COMPONENT_ARTIFACT_SCHEMA_VERSION,
};
pub use runtime_computed::{
    build_runtime_computed_registry, ComputedCacheSlotId, ComputedDirtyFlagId,
    RuntimeComputedCacheSlot, RuntimeComputedDirtyFlag, RuntimeComputedRecord,
    RuntimeComputedRegistry,
};
pub use runtime_computed_artifact::{
    build_runtime_computed_artifact, runtime_computed_artifact_json, RuntimeComputedArtifact,
    RuntimeComputedArtifactDirtyFlag, RuntimeComputedArtifactEvaluation,
    RuntimeComputedArtifactInstruction, RuntimeComputedArtifactInvalidation,
    RuntimeComputedArtifactResourceInvalidation, RuntimeComputedArtifactSerialization,
    RUNTIME_COMPUTED_ARTIFACT_SCHEMA_VERSION,
};
pub use runtime_context::{
    build_runtime_context_registry, validate_runtime_context_registry,
    RuntimeContextConsumerRecord, RuntimeContextEvaluationBatch, RuntimeContextRegistry,
    RuntimeContextRegistryValidationDiagnostic, RuntimeContextSourceKind,
    RuntimeContextSourceRecord, RUNTIME_CONTEXT_REGISTRY_SCHEMA_CONTRACT_VERSION,
};
pub use runtime_context_artifact::{
    build_runtime_context_artifact, runtime_context_artifact_json, RuntimeContextArtifact,
    SerializedContextActionUpdatePlan, SerializedContextBatchId, SerializedContextConsumerBinding,
    SerializedContextEvaluationBatch, SerializedContextExecutionBoundary,
    SerializedContextInstruction, SerializedContextInstructionKind, SerializedContextProgram,
    SerializedContextSource, SerializedContextSourceKind, RUNTIME_CONTEXT_ARTIFACT_SCHEMA_VERSION,
};
pub use runtime_effect::{
    build_runtime_effect_registry, RuntimeActionBatchEffectTrigger, RuntimeEffectRecord,
    RuntimeEffectRegistry, RuntimeInitialEffectTrigger,
};
pub use runtime_effect_artifact::{
    build_runtime_effect_artifact, runtime_effect_artifact_json, RuntimeEffectArtifact,
    RuntimeEffectArtifactActionTrigger, RuntimeEffectArtifactCapabilityInstructionKind,
    RuntimeEffectArtifactCapabilityOperation, RuntimeEffectArtifactEffect,
    RuntimeEffectArtifactExecutionBoundary, RuntimeEffectArtifactExecutionPolicy,
    RuntimeEffectArtifactInitialTrigger, RuntimeEffectArtifactInstance,
    RuntimeEffectArtifactInstruction, RuntimeEffectArtifactPrerequisiteBatch,
    RuntimeEffectArtifactProgram, RuntimeEffectArtifactRenderBoundary,
    RuntimeEffectArtifactStructuralTemplate, RUNTIME_EFFECT_ARTIFACT_SCHEMA_VERSION,
};
pub use runtime_effect_instance::{
    build_runtime_effect_instance_registry, build_runtime_effect_structural_template_registry,
    RuntimeEffectInstanceRecord, RuntimeEffectInstanceRegistry,
    RuntimeEffectStructuralTemplateRecord, RUNTIME_EFFECT_INSTANCE_REGISTRY_VERSION,
};
pub use runtime_form_artifact::{
    build_runtime_forms_artifact, runtime_forms_artifact_json, validate_runtime_forms_artifact,
    RuntimeFormsArtifact, RuntimeFormsArtifactBinding, RuntimeFormsArtifactDependency,
    RuntimeFormsArtifactField, RuntimeFormsArtifactFieldProgram, RuntimeFormsArtifactFieldSlots,
    RuntimeFormsArtifactForm, RuntimeFormsArtifactInstance, RuntimeFormsArtifactPrograms,
    RuntimeFormsArtifactReset, RuntimeFormsArtifactRule, RuntimeFormsArtifactSerialization,
    RuntimeFormsArtifactSubmission, RuntimeFormsArtifactValidation,
    RUNTIME_FORM_ARTIFACT_SCHEMA_VERSION,
};
pub use runtime_form_registry::{
    build_runtime_form_registry, RuntimeFormInstanceRecord, RuntimeFormRecord, RuntimeFormRegistry,
    RUNTIME_FORM_REGISTRY_VERSION,
};
pub use runtime_opaque_artifact::{
    build_runtime_opaque_artifact, build_runtime_opaque_artifact_with_modules,
    runtime_opaque_artifact_json, validate_runtime_opaque_artifact, RuntimeOpaqueArtifact,
    RuntimeOpaqueArtifactActivation, RuntimeOpaqueArtifactBuildError,
    RuntimeOpaqueArtifactValidationError, RUNTIME_OPAQUE_ARTIFACT_SCHEMA_VERSION,
};
pub use runtime_resource_artifact::{
    build_runtime_resource_artifact, build_runtime_resource_artifact_with_modules,
    runtime_resource_artifact_json, validate_runtime_resource_artifact, RuntimeResourceArtifact,
    RuntimeResourceArtifactActivation, RuntimeResourceArtifactBuildError,
    RuntimeResourceArtifactDeclaration, RuntimeResourceArtifactEndpoint,
    RuntimeResourceArtifactValidationError, RUNTIME_RESOURCE_ARTIFACT_SCHEMA_VERSION,
};
pub use semantic_capability::{
    build_semantic_capability_registry, semantic_capability_matrix_text,
    semantic_capability_migration_text, semantic_capability_registry_json, SemanticCapability,
    SemanticCapabilityClass, SemanticCapabilityRegistry, SemanticCapabilityStatus,
    SEMANTIC_CAPABILITY_REGISTRY_SCHEMA_VERSION,
};
pub use semantic_graph::{
    build_semantic_graph, semantic_graph_json, SemanticGraph, SemanticGraphConsumer,
    SemanticGraphContext, SemanticGraphEdge, SemanticGraphEdgeKind, SemanticGraphNode,
    SemanticGraphNodeKind, SemanticGraphProvenance, SemanticGraphProvider,
    SEMANTIC_GRAPH_SCHEMA_VERSION,
};
pub use semantic_id::{
    ComponentInstanceId, ComponentInvocationId, ComponentRootId, ComponentStructuralRegionId,
    ConsumerId, ContextDeclarationCandidateId, ContextId, DirtyTrackingPlanId, EffectId,
    EffectInstanceId, EffectStatementId, FieldBindingId, FieldDependencyId, FieldId,
    FieldResetOperationId, FieldTrackingId, FormDeclarationCandidateId,
    FormFieldBindingCandidateId, FormFieldDeclarationCandidateId, FormFieldDirtySlotId,
    FormFieldTouchedSlotId, FormFieldValidationSlotId, FormFieldValueSlotId, FormId,
    FormInstanceId, FormOwnershipGraphId, FormSubmissionStateSlotId, FormValidationAggregateSlotId,
    ProviderId, ResetPlanId, ResourceActivationId, ResourceId, SemanticId, SemanticOwner,
    SerializationPlanId, SlotBindingId, SlotContentFragmentId, SlotDeclarationCandidateId, SlotId,
    SlotOutletId, SubmissionDeclarationCandidateId, SubmissionHostCandidateId, SubmissionHostId,
    SubmissionPlanId, TemplatePositionId, TouchedTrackingPlanId, ValidationDependencyCycleId,
    ValidationGraphId, ValidationPlanId, ValidationRuleCandidateId, ValidationRuleId,
};
pub use semantic_package::{
    parse_semantic_package_contract, SemanticPackageContract, SemanticPackageContractError,
    SemanticPackageExport, SemanticPackageKind, SemanticPackageOpaqueExecutionBoundary,
    SemanticPackageOpaqueResumePolicy, SemanticPackageOpaqueTerminal, SemanticPackagePureOperation,
    SemanticPackageResolutionTable, SemanticPackageResourceCancellation,
    SemanticPackageResourceEndpoint, SemanticPackageResourceExecutionBoundary,
    SemanticPackageResourceResumePolicy, SemanticPackageRouteLoader,
    SemanticPackageRouteLoaderFailure, SemanticPackageRouteLoaderInput,
    SemanticPackageServerAction, SemanticPackageServerActionInput,
    SemanticPackageServerActionResponse, SemanticPackageServerCachePolicy,
    SemanticPackageServerCacheScope, SEMANTIC_PACKAGE_CONTRACT_SCHEMA_VERSION,
};
pub use semantic_package_runtime::{
    SemanticPackageRuntimeModuleError, SemanticPackageRuntimeModuleKey,
    SemanticPackageRuntimeModuleTable,
};
pub use semantic_provenance::SourceProvenance;
pub use semantic_reference::{SemanticReference, SemanticReferenceKind};
pub use semantic_type::{
    boundary_compatibility, dom_binding_contract, infer_serializable_value_type, is_assignable,
    is_state_initializer_assignable, operator_result_type, semantic_type_text,
    serialization_compatibility, state_initializer_value_type, BoundaryCompatibility,
    BuiltinTypeAuthority, ComputedValueType, DomBindingContract, DomBindingKind,
    EffectCompatibility, EffectOperationClassification, EffectStatementTypeRecord,
    ExecutionBoundary, ObjectType, ResolvedDeclaredSemanticType, ResourceExecutionBoundary,
    ResourceType, SemanticOperator, SemanticType, SemanticTypeAlias, SemanticTypeAssignment,
    SemanticTypeId, SemanticTypeModel, SemanticTypeStatus, SerializationCompatibility,
    TypeDiagnosticCode, TypeDiagnosticFamily,
};
pub use shared_chunk_candidate::{
    plan_shared_lazy_chunk_candidates, SharedChunkCandidate, SharedChunkCandidatePlan,
    SharedChunkConsumerRoot, SharedChunkProgramOccurrence, SharedChunkRejectionReason,
    SharedChunkSavingsCalculation,
};
pub use slot::{collect_slot_entities, SlotEntity};
pub use slot_binding::{
    collect_slot_bindings, collect_slot_bindings_with_virtual_invocations, SlotBinding,
    SlotBindingRegistry, SlotBindingStatus,
};
pub use slot_content::{
    collect_slot_composition, SlotCompositionRegistry, SlotContentFragment,
    SlotContentFragmentStatus, SlotContentFragmentViolation, SlotOutlet, SlotOutletStatus,
    SlotOutletViolation,
};
pub use slot_field_lowering::{
    lower_slot_fields_v1, slot_field_sites_v1, ResolvedSlotFieldV1, SlotFieldLoweringErrorV1,
    SlotFieldLoweringV1, SlotFieldSiteV1,
};
pub use slot_projection::{
    build_slot_projection_graph_v1, SlotProjectionGraphV1, SlotProjectionRecordV1,
    SlotProjectionStatusV1, SlotResumabilityCoverageV1, SLOT_PROJECTION_SCHEMA_VERSION,
};
pub use state_initializer_lowering::{
    lower_state_initializers_v1, state_initializer_sites_v1, ResolvedStateInitializerV1,
    StateInitializerLoweringErrorV1, StateInitializerLoweringV1, StateInitializerSiteV1,
};
pub use state_instance_storage::{
    build_state_instance_storage_registry, validate_state_instance_storage_registry,
    StateInstanceStorageRecord, StateInstanceStorageRegistry,
    STATE_INSTANCE_STORAGE_REGISTRY_VERSION,
};
pub use state_projection::{
    build_state_projection_v1, StateProjectionRecordV1, StateProjectionV1, StateResumeAdmissionV1,
    StateUpdateCoverageV1, STATE_PROJECTION_SCHEMA_VERSION,
};
pub use structural_component::{
    build_structural_component_graph_v1, ComponentInheritanceStatusV1, ComponentPropsResolutionV1,
    StructuralComponentDiagnosticReasonV1, StructuralComponentDiagnosticV1,
    StructuralComponentFactV1, StructuralComponentGraphV1, StructuralComponentPropV1,
    StructuralComponentRecordV1, STRUCTURAL_COMPONENT_SCHEMA_VERSION,
};
pub use structural_occurrence_identity::{
    decode_structural_occurrence_identity, encode_structural_occurrence_identity,
    StructuralOccurrenceIdentity,
};
pub use summarize::summarize_source;
pub use symbol_table::{
    build_symbol_table, ModuleSymbol, ModuleSymbolTable, SymbolDiagnostic, SymbolKind, SymbolTable,
};
pub use template_graph::{
    build_template_graph, AttributeValue, ConditionalNode, ElementNode, FragmentNode, ListNode,
    TemplateAttribute, TemplateChild, TemplateGraph, TemplateNode, TemplateNodeId,
};
pub use template_manifest::{
    build_template_manifest, build_template_manifest_from_asm, template_manifest_json,
    validate_template_manifest, ManifestAction, ManifestBindingTarget, ManifestComponent,
    ManifestEvent, ManifestEventKind, ManifestFormBinding, ManifestFormHost, ManifestNode,
    ManifestOperation, ManifestOrdinaryBinding, ManifestOrdinaryEvent, ManifestOrdinaryTarget,
    ManifestTemplate, TemplateManifest, TEMPLATE_MANIFEST_SCHEMA_VERSION,
};
pub use template_semantics::{
    build_template_semantic_entities, TemplateSemanticEntity, TemplateSemanticKind,
    TemplateSemanticScope,
};
pub use v2_authoring_lowering::{
    lower_v2_authoring_v1, V2AuthoringLoweringErrorV1, V2AuthoringLoweringV1,
    V2AuthoringResolutionsV1,
};
pub use v2_authority_request::{
    build_v2_authority_component_request_v1, build_v2_authority_request_v1,
    build_v2_environment_authority_request_v1, V2AuthorityCanonicalV1, V2AuthorityMemberSiteV1,
    V2AuthorityPositionV1, V2AuthorityRequestErrorV1, V2AuthorityRequestV1, V2AuthoritySiteV1,
    V2_AUTHORITY_REQUEST_SCHEMA_VERSION,
};
pub use v2_authority_response::{
    v2_authoring_resolutions_from_response_v1, v2_environment_public_resolutions_from_response_v1,
    validate_v2_authority_response_v1, ResolvedEnvironmentPublicReadV1, V2AuthorityIdentityV1,
    V2AuthorityResolutionV1, V2AuthorityResponseErrorV1, V2AuthorityResponseV1,
    V2_AUTHORITY_RESPONSE_SCHEMA_VERSION,
};

#[cfg(test)]
mod tests {
    use super::*;
    use std::{collections::BTreeMap, path::Path};

    #[test]
    fn summarizes_component_decorator_class_and_render_method() {
        let source = r#"
@component("x-counter")
class Counter extends Component {
  render() {
    return <button>Count</button>;
  }
}
"#;

        let summary = summarize_source("Counter.tsx", source);

        assert_eq!(summary.component_decorators.len(), 1);
        assert_eq!(summary.component_classes.len(), 1);
        assert_eq!(
            summary.component_decorators[0].argument.as_deref(),
            Some("x-counter")
        );
        assert_eq!(summary.class_declarations.len(), 1);
        assert_eq!(summary.class_declarations[0].name, "Counter");
        assert_eq!(summary.render_methods.len(), 1);
        assert!(summary.has_tsx_like_syntax);
    }

    #[test]
    fn recognizes_decorator_free_component_classes_without_ps0100() {
        let source = r#"
import { Component } from "presolve";

export default class Home extends Component {
  render() {
    return <main>Home</main>;
  }
}
"#;

        let summary = summarize_source("app/routes/index.tsx", source);

        assert_eq!(summary.component_classes.len(), 1);
        assert_eq!(summary.component_classes[0].name, "Home");
        assert!(summary.component_decorators.is_empty());
        assert!(!summary
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PS0100"));
    }

    #[test]
    fn emits_diagnostics_for_empty_source() {
        let summary = summarize_source("Empty.tsx", "");
        assert!(summary
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PS0001"));
    }

    #[test]
    fn fixture_0001_source_summary_explain_text_matches_expected() {
        let fixture_root = Path::new(env!("CARGO_MANIFEST_DIR"))
            .join("../..")
            .join("fixtures/0001-source-summary");

        let input_path = fixture_root.join("input/Counter.tsx");
        let expected_path = fixture_root.join("expected/explain.txt");

        let source = std::fs::read_to_string(&input_path).expect("failed to read fixture input");
        let expected = std::fs::read_to_string(&expected_path)
            .expect("failed to read expected explain output");

        let summary = summarize_source("fixtures/0001-source-summary/input/Counter.tsx", &source);

        let actual = explain_text(&summary);

        assert_eq!(actual, expected);
    }

    #[test]
    fn fixture_0001_source_summary_explain_json_matches_expected() {
        let fixture_root = Path::new(env!("CARGO_MANIFEST_DIR"))
            .join("../..")
            .join("fixtures/0001-source-summary");

        let input_path = fixture_root.join("input/Counter.tsx");
        let expected_path = fixture_root.join("expected/explain.json");

        let source = std::fs::read_to_string(&input_path).expect("failed to read fixture input");
        let expected = std::fs::read_to_string(&expected_path)
            .expect("failed to read expected JSON explain output");

        let summary = summarize_source("fixtures/0001-source-summary/input/Counter.tsx", &source);

        let actual = explain_json(&summary);

        let actual_json: serde_json::Value =
            serde_json::from_str(&actual).expect("actual explain JSON is invalid");
        let expected_json: serde_json::Value =
            serde_json::from_str(&expected).expect("expected explain JSON fixture is invalid");

        assert_eq!(actual_json, expected_json);
    }

    #[test]
    #[allow(clippy::too_many_lines)]
    fn builds_component_graph_from_parsed_counter() {
        let source = include_str!("../../../fixtures/0001-source-summary/input/Counter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0001-source-summary/input/Counter.tsx", source);

        let graph = build_component_graph(&parsed);

        assert!(graph.diagnostics.is_empty());

        let component = graph.components.first().expect("expected component");

        assert_eq!(component.class_name, "Counter");
        assert_eq!(component.id.as_str(), "component:x-counter");
        assert_eq!(component.owner, SemanticOwner::Application);
        assert_eq!(component.element_name.as_deref(), Some("x-counter"));
        assert_eq!(component.route_path.as_deref(), Some("/counter"));

        assert_eq!(component.state_fields.len(), 1);
        assert_eq!(component.state_fields[0].name, "count");
        assert_eq!(
            component.state_fields[0].id.as_str(),
            "component:x-counter/state:count"
        );
        assert_eq!(
            component.state_fields[0].owner,
            SemanticOwner::entity(component.id.clone())
        );
        assert_eq!(
            component.state_fields[0].initial_value,
            Some(SerializableValue::Number("0".to_string()))
        );

        let method_names = component
            .methods
            .iter()
            .map(|method| method.name.as_str())
            .collect::<Vec<_>>();

        assert_eq!(method_names, vec!["increment", "render"]);
        assert_eq!(
            component.methods[0].id.as_str(),
            "component:x-counter/method:increment"
        );
        assert_eq!(
            component.methods[0].owner,
            SemanticOwner::entity(component.id.clone())
        );
        assert_eq!(
            component.actions,
            vec![ComponentAction {
                id: SemanticId::component(Some("x-counter"), "Counter").action("increment", 0),
                owner: SemanticOwner::entity(
                    SemanticId::component(Some("x-counter"), "Counter").method("increment"),
                ),
                method: "increment".to_string(),
                operation: StateOperation::AddAssign(SerializableValue::Number("1".to_string())),
                field: "count".to_string(),
            }]
        );

        let render = component.render.as_ref().expect("expected render model");

        assert_eq!(render.root_element.as_deref(), Some("button"));
        assert_eq!(render.attributes.len(), 1);
        assert_eq!(render.attributes[0].name, "onClick");
        assert!(matches!(
            render.attributes[0].value,
            RenderAttributeValue::Expression(_)
        ));
        assert_eq!(render.bindings, vec!["this.count"]);
        assert_eq!(render.root_span.expect("expected root span").line, 12);
        assert_eq!(render.root_span.expect("expected root span").column, 7);
        assert_eq!(render.event_handlers.len(), 1);
        assert_eq!(
            render.event_handlers[0].id.as_str(),
            "component:x-counter/event:click:0"
        );
        assert_eq!(
            render.event_handlers[0].owner,
            SemanticOwner::entity(component.id.template())
        );
        assert_eq!(render.event_handlers[0].event, "click");
        assert_eq!(render.event_handlers[0].handler, "this.increment");
        assert_eq!(render.event_handlers[0].span.line, 12);
        assert_eq!(render.event_handlers[0].span.column, 15);
        assert_eq!(render.children.len(), 2);

        let RenderChild::Text { value, span } = &render.children[0] else {
            panic!("expected text child");
        };
        assert_eq!(value, "Count:");
        assert_eq!(span.line, 13);
        assert_eq!(span.column, 9);

        let RenderChild::Binding { expression, span } = &render.children[1] else {
            panic!("expected binding child");
        };
        assert_eq!(expression, "this.count");
        assert_eq!(span.line, 13);
        assert_eq!(span.column, 16);

        assert_eq!(graph.references.len(), 2);
        assert_eq!(graph.references[0].kind, SemanticReferenceKind::ActionState);
        assert_eq!(
            graph.references[0].source,
            SemanticId::component(Some("x-counter"), "Counter").action("increment", 0)
        );
        assert_eq!(
            graph.references[0].target,
            SemanticId::component(Some("x-counter"), "Counter").state_field("count")
        );
        assert_eq!(
            graph.references[0].provenance.path,
            Path::new("fixtures/0001-source-summary/input/Counter.tsx")
        );
        assert_eq!(graph.references[0].provenance.span.line, 7);

        assert_eq!(graph.references[1].kind, SemanticReferenceKind::EventMethod);
        assert_eq!(
            graph.references[1].source,
            SemanticId::component(Some("x-counter"), "Counter").event_handler("click", 0)
        );
        assert_eq!(
            graph.references[1].target,
            SemanticId::component(Some("x-counter"), "Counter").method("increment")
        );
        assert_eq!(
            graph.references[1].provenance.path,
            Path::new("fixtures/0001-source-summary/input/Counter.tsx")
        );
        assert_eq!(graph.references[1].provenance.span.line, 12);

        assert_eq!(graph.provenance[&component.id].span.line, 1);
        assert_eq!(graph.provenance[&component.state_fields[0].id].span.line, 4);
        assert_eq!(graph.provenance[&component.methods[0].id].span.line, 6);
        assert_eq!(graph.provenance[&component.actions[0].id].span.line, 7);
        assert_eq!(graph.provenance[&component.id.template()].span.line, 10);
        assert_eq!(graph.provenance[&render.event_handlers[0].id].span.line, 12);
    }

    #[test]
    fn lowers_method_parameters_into_canonical_method_metadata() {
        let parsed = presolve_parser::parse_file(
            "src/Parameters.tsx",
            r#"
@component("x-parameters")
class Parameters extends Component {
  save(title: string, retries?: number) {}
}
"#,
        );

        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let method = &graph.components[0].methods[0];

        assert_eq!(method.name, "save");
        assert_eq!(
            method
                .parameters
                .iter()
                .map(|parameter| parameter.name.as_str())
                .collect::<Vec<_>>(),
            vec!["title", "retries"]
        );
        assert_eq!(method.parameters[0].span.line, 4);
        assert_eq!(method.parameters[1].span.line, 4);
    }

    #[test]
    fn assembles_application_semantic_model_from_existing_graphs() {
        let source = include_str!("../../../fixtures/0001-source-summary/input/Counter.tsx");
        let parsed =
            presolve_parser::parse_file("fixtures/0001-source-summary/input/Counter.tsx", source);

        let asm = build_application_semantic_model(&parsed);
        let component = &asm.components[0];

        assert!(asm.diagnostics.is_empty());
        assert_eq!(asm.templates.len(), 1);
        assert!(asm.template_entities.len() >= 3);
        assert_eq!(asm.references.len(), 4);
        assert_eq!(asm.ownership.len(), asm.provenance.len());
        assert_eq!(asm.ownership[&component.id], SemanticOwner::Application);
        assert_eq!(
            asm.ownership[&component.state_fields[0].id],
            SemanticOwner::entity(component.id.clone())
        );
        assert_eq!(
            asm.ownership[&component.actions[0].id],
            SemanticOwner::entity(component.methods[0].id.clone())
        );
        assert_eq!(
            asm.ownership[&asm.templates[0].id],
            SemanticOwner::entity(component.id.clone())
        );
        assert_eq!(asm.provenance[&asm.templates[0].id].span.line, 10);

        assert!(matches!(
            asm.entity(&component.id),
            Some(SemanticEntity::Component(_))
        ));
        assert!(matches!(
            asm.entity(&component.state_fields[0].id),
            Some(SemanticEntity::StateField(_))
        ));
        assert_eq!(asm.component(&component.id), Some(component));
        assert_eq!(asm.template(&asm.templates[0].id), Some(&asm.templates[0]));
        assert_eq!(
            asm.owner(&component.actions[0].id),
            Some(&component.actions[0].owner)
        );
        assert_eq!(asm.provenance(&asm.templates[0].id).unwrap().span.line, 10);
        let template_binding = asm
            .template_entities
            .iter()
            .find(|entity| entity.kind == TemplateSemanticKind::Binding)
            .expect("template binding entity");
        assert!(matches!(
            asm.entity(&template_binding.id),
            Some(SemanticEntity::TemplateEntity(_))
        ));
        assert_eq!(
            asm.template_entities_for(&asm.templates[0].id).len(),
            asm.template_entities.len()
        );
        assert_eq!(asm.references_from(&component.actions[0].id).len(), 1);
        assert_eq!(asm.references_to(&component.state_fields[0].id).len(), 2);
        assert_eq!(asm.references_to(&component.methods[0].id).len(), 2);
        assert!(validate_application_semantic_model(&asm).is_empty());

        let mut invalid = asm.clone();
        invalid.provenance.remove(&component.actions[0].id);
        let diagnostics = validate_application_semantic_model(&invalid);
        let codes = diagnostics
            .iter()
            .map(|diagnostic| diagnostic.code.as_str())
            .collect::<Vec<_>>();
        assert!(codes.contains(&"PSASM1002"));
        assert!(codes.contains(&"PSASM1006"));

        let mut invalid_type = asm.clone();
        let state_id = component.state_fields[0].id.clone();
        invalid_type
            .semantic_types
            .assignments
            .get_mut(&state_id)
            .expect("state type")
            .id = SemanticTypeId::for_subject(&component.id);
        let diagnostics = validate_application_semantic_model(&invalid_type);
        assert!(diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PSASM1102"));

        let dependencies = DependencyAnalysisPass.analyze(&asm);
        assert_eq!(dependencies.dependencies[&component.actions[0].id].len(), 1);
        assert_eq!(
            dependencies.dependents[&component.state_fields[0].id].len(),
            2
        );
    }

    #[test]
    fn carries_declared_state_types_into_component_and_asm_data() {
        let parsed = presolve_parser::parse_file(
            "src/Panel.tsx",
            r#"
@component("x-panel")
class Panel extends Component {
  count: number = state(0);
}
"#,
        );

        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let graph_type = graph.components[0].state_fields[0]
            .declared_type
            .as_ref()
            .expect("declared state type");

        assert_eq!(graph_type.text, "number");
        assert_eq!(graph_type.provenance.path, Path::new("src/Panel.tsx"));
        assert_eq!(graph_type.provenance.span.line, 4);
        assert_eq!(graph_type.provenance.span.column, 8);
        assert_eq!(graph_type.kind, Some(DeclaredStateTypeKind::Number));

        let asm = build_application_semantic_model(&parsed);
        assert_eq!(
            asm.components[0].state_fields[0].declared_type,
            Some(graph_type.clone())
        );
    }

    #[test]
    fn lowers_and_evaluates_constant_arithmetic_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/ArithmeticState.tsx",
            r#"
@component("x-arithmetic-state")
class ArithmeticState extends Component {
  total: number = state((1 + 2) * 3);
  difference: number = state(10 - 3);
  quotient: number = state(10 / 2);
  remainder: number = state(10 % 3);

  render() {
    return <output>{this.total}</output>;
  }
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let field = &graph.components[0].state_fields[0];

        assert_eq!(
            field
                .initial_expression
                .as_ref()
                .map(ToString::to_string)
                .as_deref(),
            Some("((1 + 2) * 3)")
        );
        assert_eq!(
            field.initial_value,
            Some(SerializableValue::Number("9".to_string()))
        );
        assert_eq!(
            graph.components[0].state_fields[1].initial_value,
            Some(SerializableValue::Number("7".to_string()))
        );
        assert_eq!(
            graph.components[0].state_fields[2].initial_value,
            Some(SerializableValue::Number("5".to_string()))
        );
        assert_eq!(
            graph.components[0].state_fields[3].initial_value,
            Some(SerializableValue::Number("1".to_string()))
        );
        assert!(graph.diagnostics.is_empty());
    }

    #[test]
    fn reports_invalid_constant_arithmetic_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/ArithmeticState.tsx",
            r#"
@component("x-arithmetic-state")
class ArithmeticState extends Component {
  total: number = state(10 / 0);
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let diagnostic = graph
            .diagnostics
            .iter()
            .find(|diagnostic| diagnostic.code == "PSC1022")
            .expect("arithmetic diagnostic");

        assert!(diagnostic.message.contains("division or remainder by zero"));
        assert_eq!(
            diagnostic
                .provenance
                .as_ref()
                .map(|provenance| provenance.span.line),
            Some(4)
        );
    }

    #[test]
    fn lowers_and_evaluates_constant_comparison_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/ComparisonState.tsx",
            r#"
@component("x-comparison-state")
class ComparisonState extends Component {
  equal: boolean = state(3 === 3);
  notEqual: boolean = state(3 !== 4);
  lessThan: boolean = state(2 < 3);
  lessThanOrEqual: boolean = state(3 <= 3);
  greaterThan: boolean = state(4 > 3);
  ready: boolean = state(((1 + 2) * 3) >= 9);

  render() {
    return <output>{this.ready}</output>;
  }
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let fields = &graph.components[0].state_fields;

        assert_eq!(
            fields[0]
                .initial_expression
                .as_ref()
                .map(ToString::to_string)
                .as_deref(),
            Some("(3 === 3)")
        );
        for field in fields {
            assert_eq!(field.initial_value, Some(SerializableValue::Boolean(true)));
        }
        assert_eq!(
            fields[5]
                .initial_expression
                .as_ref()
                .map(ToString::to_string)
                .as_deref(),
            Some("(((1 + 2) * 3) >= 9)")
        );
        assert!(graph.diagnostics.is_empty());
    }

    #[test]
    fn reports_invalid_constant_comparison_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/ComparisonState.tsx",
            r#"
@component("x-comparison-state")
class ComparisonState extends Component {
  ready: boolean = state((10 / 0) >= 1);
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let diagnostic = graph
            .diagnostics
            .iter()
            .find(|diagnostic| diagnostic.code == "PSC1023")
            .expect("comparison diagnostic");

        assert!(diagnostic.message.contains("division or remainder by zero"));
        assert_eq!(
            diagnostic
                .provenance
                .as_ref()
                .map(|provenance| provenance.span.line),
            Some(4)
        );
    }

    #[test]
    fn lowers_and_evaluates_constant_logical_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/LogicalState.tsx",
            r#"
@component("x-logical-state")
class LogicalState extends Component {
  both: boolean = state((1 < 2) && (3 >= 3));
  either: boolean = state(false || (10 !== 4));
  shortAnd: boolean = state(false && ((10 / 0) > 1));
  shortOr: boolean = state(true || ((10 / 0) > 1));

  render() {
    return <output>{this.both}</output>;
  }
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let fields = &graph.components[0].state_fields;

        assert_eq!(
            fields[0]
                .initial_expression
                .as_ref()
                .map(ToString::to_string)
                .as_deref(),
            Some("((1 < 2) && (3 >= 3))")
        );
        assert_eq!(
            fields
                .iter()
                .map(|field| field.initial_value.clone())
                .collect::<Vec<_>>(),
            vec![
                Some(SerializableValue::Boolean(true)),
                Some(SerializableValue::Boolean(true)),
                Some(SerializableValue::Boolean(false)),
                Some(SerializableValue::Boolean(true)),
            ]
        );
        assert!(graph.diagnostics.is_empty());
    }

    #[test]
    fn reports_evaluated_invalid_constant_logical_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/LogicalState.tsx",
            r#"
@component("x-logical-state")
class LogicalState extends Component {
  ready: boolean = state(true && ((10 / 0) > 1));
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let diagnostic = graph
            .diagnostics
            .iter()
            .find(|diagnostic| diagnostic.code == "PSC1024")
            .expect("logical diagnostic");

        assert!(diagnostic.message.contains("division or remainder by zero"));
        assert_eq!(
            diagnostic
                .provenance
                .as_ref()
                .map(|provenance| provenance.span.line),
            Some(4)
        );
    }

    #[test]
    fn lowers_and_evaluates_constant_nullish_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/NullishState.tsx",
            r#"
@component("x-nullish-state")
class NullishState extends Component {
  label: string = state(null ?? "fallback");
  total: number = state(5 ?? (10 / 0));

  render() {
    return <output>{this.label}</output>;
  }
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let fields = &graph.components[0].state_fields;

        assert_eq!(
            fields[0]
                .initial_expression
                .as_ref()
                .map(ToString::to_string)
                .as_deref(),
            Some("(null ?? \"fallback\")")
        );
        assert_eq!(
            fields[0].initial_value,
            Some(SerializableValue::String("fallback".to_string()))
        );
        assert_eq!(
            fields[1].initial_value,
            Some(SerializableValue::Number("5".to_string()))
        );
        assert!(graph.diagnostics.is_empty());
    }

    #[test]
    fn lowers_and_evaluates_constant_unary_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/UnaryState.tsx",
            r#"
@component("x-unary-state")
class UnaryState extends Component {
  negated: boolean = state(!(1 < 2));
  signed: number = state(-(1 + 2));
  render() { return <output>{this.signed}</output>; }
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        assert_eq!(
            graph.components[0].state_fields[0].initial_value,
            Some(SerializableValue::Boolean(false))
        );
        assert_eq!(
            graph.components[0].state_fields[1].initial_value,
            Some(SerializableValue::Number("-3".to_string()))
        );
    }

    #[test]
    fn reports_reached_invalid_constant_nullish_state_initializers() {
        let parsed = presolve_parser::parse_file(
            "src/NullishState.tsx",
            r#"
@component("x-nullish-state")
class NullishState extends Component {
  total: number = state(null ?? (10 / 0));
}
"#,
        );
        let graph = fold_component_graph(&build_component_graph_for_module(&parsed));
        let diagnostic = graph
            .diagnostics
            .iter()
            .find(|diagnostic| diagnostic.code == "PSC1025")
            .expect("nullish diagnostic");
        assert!(diagnostic.message.contains("division or remainder by zero"));
    }

    #[test]
    fn classifies_exact_primitive_declared_state_types() {
        let source =
            include_str!("../../../fixtures/0025-typed-state-annotations/input/TypedState.tsx");
        let parsed = presolve_parser::parse_file(
            "fixtures/0025-typed-state-annotations/input/TypedState.tsx",
            source,
        );
        let graph = build_component_graph_for_module(&parsed);
        let kinds = graph.components[0]
            .state_fields
            .iter()
            .map(|field| {
                (
                    field.name.as_str(),
                    field
                        .declared_type
                        .as_ref()
                        .and_then(|declared_type| declared_type.kind),
                )
            })
            .collect::<Vec<_>>();

        assert_eq!(
            kinds,
            vec![
                ("count", Some(DeclaredStateTypeKind::Number)),
                ("status", None),
                ("title", Some(DeclaredStateTypeKind::String)),
                ("enabled", Some(DeclaredStateTypeKind::Boolean)),
                ("empty", Some(DeclaredStateTypeKind::Null)),
            ]
        );
    }

    #[test]
    fn reports_primitive_declared_state_initializer_mismatches() {
        let source = include_str!(
            "../../../fixtures/0027-declared-state-type-diagnostics/input/InvalidTypedState.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0027-declared-state-type-diagnostics/input/InvalidTypedState.tsx",
            source,
        );
        let graph = build_component_graph_for_module(&parsed);
        let folded = ConstantFoldingPass.transform(
            &build_application_semantic_model_from_component_graph(&graph),
        );
        let diagnostics = folded
            .diagnostics
            .iter()
            .map(|diagnostic| (diagnostic.code.as_str(), diagnostic.message.as_str()))
            .collect::<Vec<_>>();

        assert_eq!(diagnostics.len(), 6);
        assert!(diagnostics.iter().all(|(code, _)| *code == "PSC1016"));

        let provenance = folded.diagnostics[0]
            .provenance
            .as_ref()
            .expect("mismatch diagnostic provenance");
        assert_eq!(
            provenance.path,
            Path::new("fixtures/0027-declared-state-type-diagnostics/input/InvalidTypedState.tsx")
        );
        assert_eq!(provenance.span.line, 3);
        assert_eq!(provenance.span.column, 8);
    }

    #[test]
    fn reports_primitive_declared_state_action_assignment_mismatches() {
        let source = include_str!(
            "../../../fixtures/0028-primitive-action-type-diagnostics/input/InvalidTypedActions.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0028-primitive-action-type-diagnostics/input/InvalidTypedActions.tsx",
            source,
        );
        let graph = build_component_graph_for_module(&parsed);
        let folded = ConstantFoldingPass.transform(
            &build_application_semantic_model_from_component_graph(&graph),
        );
        let diagnostics = folded
            .diagnostics
            .iter()
            .filter(|diagnostic| diagnostic.code == "PSC1017")
            .map(|diagnostic| (diagnostic.code.as_str(), diagnostic.message.as_str()))
            .collect::<Vec<_>>();

        assert_eq!(diagnostics.len(), 6);
        assert!(diagnostics.iter().all(|(code, _)| *code == "PSC1017"));
        assert!(diagnostics.iter().any(|(_, message)| {
            message.contains("state field `status`") && message.contains("assigns `number`")
        }));
        assert!(diagnostics.iter().any(|(_, message)| {
            message.contains("state field `collection`") && message.contains("assigns `tuple`")
        }));

        let provenance = folded
            .diagnostics
            .iter()
            .find(|diagnostic| diagnostic.code == "PSC1017")
            .expect("action mismatch diagnostic")
            .provenance
            .as_ref()
            .expect("action mismatch diagnostic provenance");
        assert_eq!(
            provenance.path,
            Path::new(
                "fixtures/0028-primitive-action-type-diagnostics/input/InvalidTypedActions.tsx"
            )
        );
        assert_eq!(provenance.span.line, 11);
        assert_eq!(provenance.span.column, 5);
    }

    #[test]
    fn reports_non_boolean_primitive_toggle_actions() {
        let source = include_str!(
            "../../../fixtures/0029-primitive-toggle-type-diagnostics/input/InvalidTypedToggles.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0029-primitive-toggle-type-diagnostics/input/InvalidTypedToggles.tsx",
            source,
        );
        let graph = build_component_graph_for_module(&parsed);
        let folded = ConstantFoldingPass.transform(
            &build_application_semantic_model_from_component_graph(&graph),
        );
        let diagnostics = folded
            .diagnostics
            .iter()
            .map(|diagnostic| (diagnostic.code.as_str(), diagnostic.message.as_str()))
            .collect::<Vec<_>>();

        assert_eq!(diagnostics.len(), 4);
        assert!(diagnostics.iter().all(|(code, _)| *code == "PSC1018"));

        let provenance = folded.diagnostics[0]
            .provenance
            .as_ref()
            .expect("toggle diagnostic provenance");
        assert_eq!(
            provenance.path,
            Path::new(
                "fixtures/0029-primitive-toggle-type-diagnostics/input/InvalidTypedToggles.tsx"
            )
        );
        assert_eq!(provenance.span.line, 10);
        assert_eq!(provenance.span.column, 5);
    }

    #[test]
    fn reports_non_numeric_primitive_increment_and_decrement_actions() {
        let source = include_str!(
            "../../../fixtures/0030-primitive-numeric-action-type-diagnostics/input/InvalidTypedNumericActions.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0030-primitive-numeric-action-type-diagnostics/input/InvalidTypedNumericActions.tsx",
            source,
        );
        let graph = build_component_graph_for_module(&parsed);
        let folded = ConstantFoldingPass.transform(
            &build_application_semantic_model_from_component_graph(&graph),
        );
        let diagnostics = folded
            .diagnostics
            .iter()
            .map(|diagnostic| (diagnostic.code.as_str(), diagnostic.message.as_str()))
            .collect::<Vec<_>>();

        assert_eq!(diagnostics.len(), 4);
        assert!(diagnostics.iter().all(|(code, _)| *code == "PSC1019"));

        let provenance = folded.diagnostics[0]
            .provenance
            .as_ref()
            .expect("numeric action diagnostic provenance");
        assert_eq!(
            provenance.path,
            Path::new(
                "fixtures/0030-primitive-numeric-action-type-diagnostics/input/InvalidTypedNumericActions.tsx"
            )
        );
        assert_eq!(provenance.span.line, 10);
        assert_eq!(provenance.span.column, 5);
    }

    #[test]
    fn reports_compound_numeric_action_target_and_operand_mismatches() {
        let source = include_str!(
            "../../../fixtures/0031-primitive-compound-action-type-diagnostics/input/InvalidTypedCompoundActions.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0031-primitive-compound-action-type-diagnostics/input/InvalidTypedCompoundActions.tsx",
            source,
        );
        let graph = build_component_graph_for_module(&parsed);
        let folded = ConstantFoldingPass.transform(
            &build_application_semantic_model_from_component_graph(&graph),
        );
        let diagnostics = folded
            .diagnostics
            .iter()
            .map(|diagnostic| (diagnostic.code.as_str(), diagnostic.message.as_str()))
            .collect::<Vec<_>>();

        assert_eq!(diagnostics.len(), 7);
        assert_eq!(
            diagnostics
                .iter()
                .filter(|(code, _)| *code == "PSC1020")
                .count(),
            3
        );
        assert_eq!(
            diagnostics
                .iter()
                .filter(|(code, _)| *code == "PSC1021")
                .count(),
            4
        );

        let provenance = folded.diagnostics[0]
            .provenance
            .as_ref()
            .expect("compound action diagnostic provenance");
        assert_eq!(
            provenance.path,
            Path::new(
                "fixtures/0031-primitive-compound-action-type-diagnostics/input/InvalidTypedCompoundActions.tsx"
            )
        );
        assert_eq!(provenance.span.line, 9);
        assert_eq!(provenance.span.column, 5);
    }

    #[test]
    fn assembles_application_semantic_model_from_multiple_files() {
        let unit = CompilationUnit::parse_sources([
            (
                "src/Zeta.tsx",
                r#"
@component("x-zeta")
class Zeta extends Component {
  render() {
    return <div>Zeta</div>;
  }
}
"#,
            ),
            (
                "src/Alpha.tsx",
                r#"
@component("x-alpha")
class Alpha extends Component {
  render() {
    return <div>Alpha</div>;
  }
}
"#,
            ),
        ]);

        let asm = build_application_semantic_model_for_unit(&unit);

        assert_eq!(
            unit.files()
                .iter()
                .map(|file| file.path.to_string_lossy().into_owned())
                .collect::<Vec<_>>(),
            vec!["src/Alpha.tsx", "src/Zeta.tsx"]
        );
        assert_eq!(
            asm.components
                .iter()
                .map(|component| component.id.as_str())
                .collect::<Vec<_>>(),
            vec![
                "module:src/Alpha.tsx/component:x-alpha",
                "module:src/Zeta.tsx/component:x-zeta"
            ]
        );
        assert!(asm.diagnostics.is_empty());
        assert!(validate_application_semantic_model(&asm).is_empty());
    }

    #[test]
    fn component_graph_reports_semantic_errors() {
        let source =
            include_str!("../../../fixtures/0003-semantic-errors/input/BrokenSemantics.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0003-semantic-errors/input/BrokenSemantics.tsx",
            source,
        );

        let graph = build_component_graph(&parsed);

        let codes = graph
            .diagnostics
            .iter()
            .map(|diagnostic| diagnostic.code.as_str())
            .collect::<Vec<_>>();

        assert!(codes.contains(&"PSC1001"));
        assert!(codes.contains(&"PSC1003"));
        assert!(codes.contains(&"PSC1004"));
        assert!(graph.references.is_empty());
    }

    #[test]
    fn component_graph_reports_unsupported_event_errors() {
        let source = r#"
@component("x-counter")
class Counter extends Component {
  count = state(0);

  increment() {
    this.count++;
  }

  render() {
    return <button onMouseover={() => this.increment()}>Count: {this.count}</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("UnsupportedEvent.tsx", source);

        let graph = build_component_graph(&parsed);

        assert!(graph
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PSC1005"));
    }

    #[test]
    fn component_graph_validates_static_action_parameter_bindings() {
        let source = r#"
@component("x-parameterized")
class Parameterized extends Component {
  label = state("Ready");

  @action() setLabel(value: string) {
    this.label = value;
  }

  render() {
    return <button onClick={() => this.setLabel(1)}>{this.label}</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("Parameterized.tsx", source);
        let graph = build_component_graph(&parsed);
        let codes = graph
            .diagnostics
            .iter()
            .map(|diagnostic| diagnostic.code.as_str())
            .collect::<Vec<_>>();

        assert!(codes.contains(&"PSC1043"));
        assert!(!codes.contains(&"PSC1041"));
        assert!(!codes.contains(&"PSC1042"));
    }

    #[test]
    fn component_graph_rejects_unbound_action_parameters() {
        let source = r#"
@component("x-parameterized")
class Parameterized extends Component {
  label = state("Ready");

  @action() setLabel(value: string) {
    this.label = value;
  }

  render() {
    return <button onClick={this.setLabel}>{this.label}</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("UnboundParameterized.tsx", source);
        let graph = build_component_graph(&parsed);

        assert!(graph
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PSC1042"));
    }

    #[test]
    fn component_graph_requires_action_decorator_for_parameter_state_assignment() {
        let source = r#"
@component("x-parameterized")
class Parameterized extends Component {
  label = state("Ready");

  setLabel(value: string) {
    this.label = value;
  }

  render() {
    return <button onClick={() => this.setLabel("Locked")}>{this.label}</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("UndecoratedParameterized.tsx", source);
        let graph = build_component_graph(&parsed);

        assert!(graph.diagnostics.iter().any(|diagnostic| {
            diagnostic.code == "PSC1041" && diagnostic.message.contains("requires @action()")
        }));
    }

    #[test]
    fn component_graph_rejects_action_parameter_state_type_mismatch() {
        let source = r#"
@component("x-parameterized")
class Parameterized extends Component {
  count = state(0);

  @action() setCount(value: string) {
    this.count = value;
  }

  render() {
    return <button onClick={() => this.setCount("Locked")}>{this.count}</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("MismatchedParameterized.tsx", source);
        let graph = build_component_graph(&parsed);

        assert!(graph
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PSC1044"));
    }

    #[test]
    fn component_graph_lowers_serializable_action_local_to_state_assignment() {
        let source = r#"
@component("x-action-local")
class ActionLocal extends Component {
  label = state("Ready");

  @action() lock() {
    const next = "Locked";
    this.label = next;
  }

  render() {
    return <button onClick={this.lock}>{this.label}</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("ActionLocal.tsx", source);
        let graph = build_component_graph(&parsed);

        assert!(graph.diagnostics.is_empty(), "{:?}", graph.diagnostics);
        assert!(matches!(
            graph.components[0].actions[0].operation,
            StateOperation::Assign(SerializableValue::String(ref value)) if value == "Locked"
        ));
    }

    #[test]
    fn component_graph_lowers_structured_serializable_action_local_to_state_assignment() {
        let source = r#"
@component("x-action-local-record")
class ActionLocalRecord extends Component {
  profile = state({ name: "Ready", roles: ["reader"] });

  @action() promote() {
    const next = { name: "Locked", roles: ["writer", "admin"] };
    this.profile = next;
  }

  render() {
    return <button onClick={this.promote}>Promote</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("ActionLocalRecord.tsx", source);
        let graph = build_component_graph(&parsed);

        assert!(graph.diagnostics.is_empty(), "{:?}", graph.diagnostics);
        assert!(matches!(
            graph.components[0].actions[0].operation,
            StateOperation::Assign(SerializableValue::Object(_))
        ));
    }

    #[test]
    fn component_graph_retains_resource_declaration_facts_before_package_resolution() {
        let parsed = presolve_parser::parse_file(
            "ResourceFact.tsx",
            r#"
@component("x-resource-fact")
class ResourceFact extends Component {
  @resource("profile") profile!: string;
  render() { return <div>Profile</div>; }
}
"#,
        );
        let graph = build_component_graph(&parsed);
        let facts = &graph.components[0].resource_declaration_candidates;
        assert_eq!(facts.len(), 1);
        assert_eq!(facts[0].field, "profile");
        assert!(facts[0].decorator_invoked);
        assert_eq!(facts[0].decorator_argument_count, 1);
        assert_eq!(facts[0].endpoint_designator.as_deref(), Some("profile"));
        assert!(graph.diagnostics.is_empty(), "{:?}", graph.diagnostics);
    }

    #[test]
    fn component_graph_retains_and_validates_opaque_action_declarations() {
        let parsed = presolve_parser::parse_file(
            "OpaqueActions.tsx",
            r#"
@component("x-opaque-actions")
class OpaqueActions extends Component {
  @action() @opaque("@acme/analytics", "trackPurchase")
  track(): void {}

  @action() @opaque("@acme/analytics")
  missingExport(): void {}

  @opaque("@acme/analytics", "trackPurchase")
  missingAction(): void {}

  @action() @opaque("@acme/analytics", "trackPurchase")
  writesState(): void { this.count++; }

  count = state(0);

  render() { return <button onClick={this.track}>Buy</button>; }
}
"#,
        );

        let graph = build_component_graph(&parsed);
        let component = &graph.components[0];
        assert_eq!(component.opaque_action_facts.len(), 4);

        let track = component
            .opaque_action_facts
            .iter()
            .find(|fact| fact.method_name == "track")
            .expect("retained track declaration");
        assert_eq!(
            track.id.as_str(),
            "component:x-opaque-actions/opaque-activation:track"
        );
        assert_eq!(track.package.as_deref(), Some("@acme/analytics"));
        assert_eq!(track.export.as_deref(), Some("trackPurchase"));
        assert!(track.is_action);
        assert!(track.action_invoked);
        assert!(!track.has_body_effects);

        assert_eq!(
            graph
                .diagnostics
                .iter()
                .filter(|diagnostic| diagnostic.code == "PSC1130")
                .count(),
            3,
            "{:?}",
            graph.diagnostics
        );
    }

    #[test]
    fn resolves_opaque_action_through_an_integrity_checked_terminal_package_contract() {
        let unit = CompilationUnit::parse_sources([(
            "src/Checkout.tsx",
            r#"
import { trackPurchase } from "@acme/analytics";

@component("x-checkout")
class Checkout extends Component {
  @action() @opaque("@acme/analytics", "trackPurchase")
  track(): void {}

  render() { return <button onClick={this.track}>Buy</button>; }
}
"#,
        )]);
        let contract = parse_semantic_package_contract(
            r#"{"schema_version":1,"package":"@acme/analytics","version":"1.2.3","integrity":"sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa","exports":{"trackPurchase":{"kind":"opaque","type_signature":"() -> void","runtime_module":"dist/track.js","resume_policy":"cold_fallback","opaque_terminal":{"execution_boundary":"client","resume":"cold_fallback"}}}}"#,
        )
        .expect("opaque terminal contract");
        let mut packages = SemanticPackageResolutionTable::default();
        packages
            .insert("@acme/analytics".into(), contract)
            .expect("unique contract");

        let model = build_application_semantic_model_for_unit_with_packages(&unit, &packages);
        assert_eq!(model.opaque_action_resolutions.len(), 1);
        let resolution = &model.opaque_action_resolutions[0];
        assert_eq!(
            resolution.activation.as_str(),
            "module:src/Checkout.tsx/component:x-checkout/opaque-activation:track"
        );
        let OpaqueActionResolutionOutcome::Resolved(binding) = &resolution.outcome else {
            panic!(
                "expected resolved opaque terminal: {:?}",
                resolution.outcome
            );
        };
        assert_eq!(binding.package, "@acme/analytics");
        assert_eq!(binding.version, "1.2.3");
        assert_eq!(binding.export, "trackPurchase");
        assert_eq!(binding.runtime_module, "dist/track.js");
        assert!(model
            .diagnostics
            .iter()
            .all(|diagnostic| diagnostic.code != "PSC1130" && diagnostic.code != "PSC1131"));
    }

    #[test]
    fn opaque_action_rejects_a_nonopaque_package_export() {
        let unit = CompilationUnit::parse_sources([(
            "src/Checkout.tsx",
            r#"
import { format } from "date-kit";

@component("x-checkout")
class Checkout extends Component {
  @action() @opaque("date-kit", "format")
  track(): void {}

  render() { return <button onClick={this.track}>Buy</button>; }
}
"#,
        )]);
        let contract = parse_semantic_package_contract(
            r#"{"schema_version":1,"package":"date-kit","version":"1.2.3","integrity":"sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa","exports":{"format":{"kind":"pure","type_signature":"(Date) -> string","runtime_module":"dist/format.js","resume_policy":"input_only"}}}"#,
        )
        .expect("pure contract");
        let mut packages = SemanticPackageResolutionTable::default();
        packages.insert("date-kit".into(), contract).unwrap();

        let model = build_application_semantic_model_for_unit_with_packages(&unit, &packages);
        assert!(matches!(
            model.opaque_action_resolutions[0].outcome,
            OpaqueActionResolutionOutcome::NonOpaqueBinding {
                kind: SemanticPackageKind::Pure,
                ..
            }
        ));
        assert!(model
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PSC1131"));
    }

    #[test]
    fn resolves_resource_source_designator_through_integrity_checked_package_contract() {
        let unit = CompilationUnit::parse_sources([(
            "src/Profile.tsx",
            r#"
import { loadProfile } from "profile-service";

@component("x-profile")
class Profile extends Component {
  @resource("loadProfile") profile!: Resource<string, string>;
  render() { return <div>Profile</div>; }
}
"#,
        )]);
        let contract = parse_semantic_package_contract(
            r#"{"schema_version":1,"package":"profile-service","version":"1.2.3","integrity":"sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa","exports":{"loadProfile":{"kind":"resource","type_signature":"(ProfileKey) -> Resource<Profile, ProfileError>","runtime_module":"dist/load-profile.js","resume_policy":"snapshot","resource_endpoint":{"execution_boundary":"shared","cancellation":"abort","resume":"snapshot"}}}}"#,
        )
        .expect("resource contract");
        let mut packages = SemanticPackageResolutionTable::default();
        packages
            .insert("profile-service".into(), contract)
            .expect("unique package contract");

        let model = build_application_semantic_model_for_unit_with_packages(&unit, &packages);
        assert_eq!(model.resource_endpoint_resolutions.len(), 1);
        let ResourceEndpointResolutionOutcome::Resolved(endpoint) =
            &model.resource_endpoint_resolutions[0].outcome
        else {
            panic!("expected resolved resource endpoint");
        };
        assert_eq!(endpoint.local_name, "loadProfile");
        assert_eq!(endpoint.package, "profile-service");
        assert_eq!(endpoint.version, "1.2.3");
        assert_eq!(endpoint.export, "loadProfile");
        assert_eq!(
            endpoint.endpoint.execution_boundary,
            SemanticPackageResourceExecutionBoundary::Shared
        );
        assert_eq!(model.resource_declarations.len(), 1);
        let declaration = model
            .resource_declarations
            .values()
            .next()
            .expect("resource declaration");
        assert_eq!(declaration.name, "profile");
        assert_eq!(declaration.data_type, SemanticType::String);
        assert_eq!(declaration.error_type, SemanticType::String);
        assert_eq!(
            declaration.execution_boundary,
            ResourceExecutionBoundary::Shared
        );
        assert_eq!(model.resource_activations.len(), 1);
        assert!(model.resource_activations.values().all(|activation| {
            activation.declaration == declaration.id
                && activation.state == ResourceLifecycleState::Idle
        }));
        assert!(
            model
                .diagnostics
                .iter()
                .all(|diagnostic| { diagnostic.code != "PSC1046" && diagnostic.code != "PSC1128" }),
            "{:?}",
            model.diagnostics
        );
        assert!(matches!(
            model
                .semantic_types
                .assignments
                .get(declaration.id.as_semantic_id())
                .map(|assignment| &assignment.semantic_type),
            Some(SemanticType::Resource(resource))
                if resource.data.as_ref() == &SemanticType::String
                    && resource.error.as_ref() == &SemanticType::String
        ));
    }

    #[test]
    fn lowers_direct_computed_resource_data_projection_with_exact_declaration_identity() {
        let unit = CompilationUnit::parse_sources([(
            "src/Profile.tsx",
            r#"
import { loadProfile } from "profile-service";

@component("x-profile")
class Profile extends Component {
  @resource("loadProfile") profile!: Resource<string, string>;
  @computed() get profileName(): string | null { return this.profile.data; }
  render() { return <div>{this.profileName}</div>; }
}
"#,
        )]);
        let contract = parse_semantic_package_contract(
            r#"{"schema_version":1,"package":"profile-service","version":"1.2.3","integrity":"sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa","exports":{"loadProfile":{"kind":"resource","type_signature":"(ProfileKey) -> Resource<Profile, ProfileError>","runtime_module":"dist/load-profile.js","resume_policy":"snapshot","resource_endpoint":{"execution_boundary":"shared","cancellation":"abort","resume":"snapshot"}}}}"#,
        )
        .expect("resource contract");
        let mut packages = SemanticPackageResolutionTable::default();
        packages
            .insert("profile-service".into(), contract)
            .expect("unique package contract");

        let model = build_application_semantic_model_for_unit_with_packages(&unit, &packages);
        assert!(model.diagnostics.is_empty(), "{:?}", model.diagnostics);
        let declaration = model
            .resource_declarations
            .values()
            .next()
            .expect("resource declaration");
        let computed = model.components[0].id.computed("profileName");
        assert!(model.references.iter().any(|reference| {
            reference.kind == SemanticReferenceKind::ComputedResource
                && reference.source == computed
                && reference.target == *declaration.id.as_semantic_id()
        }));
        assert_eq!(
            model.semantic_types.computed_values[&computed].semantic_type,
            SemanticType::Union(vec![SemanticType::Null, SemanticType::String])
        );

        let ir = lower_components_to_ir(&model);
        assert!(ir
            .modules
            .iter()
            .flat_map(|module| &module.functions)
            .any(|function| {
                function
                    .blocks
                    .iter()
                    .flat_map(|block| &block.instructions)
                    .any(|instruction| {
                        matches!(
                            &instruction.kind,
                            IrInstructionKind::LoadResource { declaration: loaded }
                                if loaded == declaration.id.as_semantic_id()
                        )
                    })
            }));
        let artifact = build_runtime_computed_artifact(&model, &ir);
        assert!(artifact.resource_invalidations.iter().any(|invalidation| {
            invalidation.declaration == declaration.id.as_str()
                && invalidation.dependents == vec![computed.to_string()]
        }));
        assert!(artifact.evaluations.iter().any(|evaluation| {
            evaluation.computed == computed.as_str()
                && evaluation.program.instructions.iter().any(|instruction| {
                    matches!(
                        instruction,
                        RuntimeComputedArtifactInstruction::LoadResource { declaration: loaded, .. }
                            if loaded == declaration.id.as_str()
                    )
                })
        }));

        let chained_unit = CompilationUnit::parse_sources([(
            "src/ChainedProfile.tsx",
            r#"
import { loadProfile } from "profile-service";

@component("x-chained-profile")
class ChainedProfile extends Component {
  @resource("loadProfile") profile!: Resource<string, string>;
  @computed() get invalid() { return this.profile.data.length; }
  render() { return <div>Profile</div>; }
}
"#,
        )]);
        let chained =
            build_application_semantic_model_for_unit_with_packages(&chained_unit, &packages);
        assert!(chained.diagnostics.iter().any(|diagnostic| {
            diagnostic.code == ComputedDiagnosticCode::UnsupportedBody.as_str()
                && diagnostic.message.contains("may only directly project")
        }));
    }

    #[test]
    fn component_graph_reports_duplicate_event_errors() {
        let parsed = presolve_parser::ParsedFile {
            path: "DuplicateEvent.tsx".into(),
            syntax: presolve_parser::ParsedSourceAst {
                source: String::new(),
                estree_json: "{}".to_owned(),
                span: test_span(),
            },
            diagnostics: Vec::new(),
            imports: Vec::new(),
            exports: Vec::new(),
            call_expressions: Vec::new(),
            type_aliases: Vec::new(),
            local_type_bindings: Vec::new(),
            local_value_bindings: Vec::new(),
            classes: vec![presolve_parser::ParsedClass {
                name: "DuplicateEvent".to_string(),
                span: test_span(),
                heritage: None,
                decorators: vec![presolve_parser::ParsedDecorator {
                    name: "component".to_string(),
                    is_invoked: true,
                    arguments: vec![Some("x-duplicate-event".to_string())],
                    argument: Some("x-duplicate-event".to_string()),
                    argument_count: 1,
                    argument_spans: vec![test_span()],
                    static_member_argument: None,
                    this_member_argument: None,
                    validation_rule_expression: None,
                    span: test_span(),
                }],
                properties: Vec::new(),
                methods: vec![presolve_parser::ParsedMethod {
                    name: "render".to_string(),
                    span: test_span(),
                    decorators: Vec::new(),
                    is_getter: false,
                    is_setter: false,
                    is_async: false,
                    is_static: false,
                    jsx_roots: vec![presolve_parser::ParsedJsxNode::Element(
                        presolve_parser::ParsedJsxElement {
                            name: "button".to_string(),
                            name_span: test_span(),
                            span: test_span(),
                            attributes: Vec::new(),
                            event_handlers: vec![
                                presolve_parser::ParsedEventHandler {
                                    event: "click".to_string(),
                                    handler: "this.render".to_string(),
                                    arguments: Vec::new(),
                                    span: test_span(),
                                },
                                presolve_parser::ParsedEventHandler {
                                    event: "click".to_string(),
                                    handler: "this.render".to_string(),
                                    arguments: Vec::new(),
                                    span: test_span(),
                                },
                            ],
                            children: Vec::new(),
                        },
                    )],
                    bindings: Vec::new(),
                    state_updates: Vec::new(),
                    local_variables: Vec::new(),
                    parameters: Vec::new(),
                    return_type_annotation: None,
                    return_values: Vec::new(),
                    computed_expression: None,
                    effect_body: None,
                    calls: Vec::new(),
                }],
            }],
        };

        let graph = build_component_graph(&parsed);

        assert!(graph
            .diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code == "PSC1006"));
    }

    fn test_span() -> presolve_parser::SourceSpan {
        presolve_parser::SourceSpan {
            start: 0,
            end: 0,
            line: 1,
            column: 1,
        }
    }

    #[test]
    fn builds_increment_action_from_parsed_method_update() {
        let source = include_str!("../../../fixtures/0004-nested-jsx/input/NestedCounter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0004-nested-jsx/input/NestedCounter.tsx", source);

        let graph = build_component_graph(&parsed);
        let component = graph.components.first().expect("expected component");

        assert_eq!(
            component.actions,
            vec![ComponentAction {
                id: SemanticId::component(Some("x-nested-counter"), "NestedCounter")
                    .action("increment", 0),
                owner: SemanticOwner::entity(
                    SemanticId::component(Some("x-nested-counter"), "NestedCounter")
                        .method("increment"),
                ),
                method: "increment".to_string(),
                operation: StateOperation::Increment,
                field: "count".to_string(),
            }]
        );
    }

    #[test]
    fn builds_decrement_action_from_parsed_method_update() {
        let source =
            include_str!("../../../fixtures/0009-decrement-counter/input/DecrementCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0009-decrement-counter/input/DecrementCounter.tsx",
            source,
        );

        let graph = build_component_graph(&parsed);
        let component = graph.components.first().expect("expected component");

        assert_eq!(
            component.actions,
            vec![ComponentAction {
                id: SemanticId::component(Some("x-decrement-counter"), "DecrementCounter")
                    .action("decrement", 0),
                owner: SemanticOwner::entity(
                    SemanticId::component(Some("x-decrement-counter"), "DecrementCounter")
                        .method("decrement"),
                ),
                method: "decrement".to_string(),
                operation: StateOperation::Decrement,
                field: "count".to_string(),
            }]
        );
    }

    #[test]
    fn builds_add_and_subtract_assign_actions_from_parsed_method_updates() {
        let source =
            include_str!("../../../fixtures/0010-add-subtract-assign/input/StepCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0010-add-subtract-assign/input/StepCounter.tsx",
            source,
        );

        let graph = build_component_graph(&parsed);
        let component = graph.components.first().expect("expected component");

        assert_eq!(
            component.actions,
            vec![
                ComponentAction {
                    id: SemanticId::component(Some("x-step-counter"), "StepCounter")
                        .action("addTwo", 0),
                    owner: SemanticOwner::entity(
                        SemanticId::component(Some("x-step-counter"), "StepCounter")
                            .method("addTwo"),
                    ),
                    method: "addTwo".to_string(),
                    operation: StateOperation::AddAssign(SerializableValue::Number(
                        "2".to_string()
                    )),
                    field: "count".to_string(),
                },
                ComponentAction {
                    id: SemanticId::component(Some("x-step-counter"), "StepCounter")
                        .action("subtractThree", 0),
                    owner: SemanticOwner::entity(
                        SemanticId::component(Some("x-step-counter"), "StepCounter")
                            .method("subtractThree"),
                    ),
                    method: "subtractThree".to_string(),
                    operation: StateOperation::SubtractAssign(SerializableValue::Number(
                        "3".to_string()
                    )),
                    field: "count".to_string(),
                }
            ]
        );
    }

    #[test]
    fn builds_direct_assignment_action_from_parsed_method_update() {
        let source =
            include_str!("../../../fixtures/0011-direct-assignment/input/ResetCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0011-direct-assignment/input/ResetCounter.tsx",
            source,
        );

        let graph = build_component_graph(&parsed);
        let component = graph.components.first().expect("expected component");

        assert_eq!(
            component.actions,
            vec![ComponentAction {
                id: SemanticId::component(Some("x-reset-counter"), "ResetCounter")
                    .action("reset", 0),
                owner: SemanticOwner::entity(
                    SemanticId::component(Some("x-reset-counter"), "ResetCounter").method("reset"),
                ),
                method: "reset".to_string(),
                operation: StateOperation::Assign(SerializableValue::Number("0".to_string())),
                field: "count".to_string(),
            }]
        );
    }

    #[test]
    fn builds_boolean_toggle_action_from_parsed_method_update() {
        let source = include_str!("../../../fixtures/0012-boolean-toggle/input/ToggleFlag.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0012-boolean-toggle/input/ToggleFlag.tsx",
            source,
        );

        let graph = build_component_graph(&parsed);
        let component = graph.components.first().expect("expected component");

        assert_eq!(
            component.actions,
            vec![ComponentAction {
                id: SemanticId::component(Some("x-toggle-flag"), "ToggleFlag").action("toggle", 0),
                owner: SemanticOwner::entity(
                    SemanticId::component(Some("x-toggle-flag"), "ToggleFlag").method("toggle"),
                ),
                method: "toggle".to_string(),
                operation: StateOperation::Toggle,
                field: "enabled".to_string(),
            }]
        );
    }

    #[test]
    fn builds_multi_step_actions_from_parsed_method_updates_in_source_order() {
        let source =
            include_str!("../../../fixtures/0013-multi-step-action/input/BatchActionCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0013-multi-step-action/input/BatchActionCounter.tsx",
            source,
        );

        let graph = build_component_graph(&parsed);
        let component = graph.components.first().expect("expected component");

        assert_eq!(
            component.actions,
            vec![
                ComponentAction {
                    id:
                        SemanticId::component(Some("x-batch-action-counter"), "BatchActionCounter",)
                            .action("apply", 0),
                    owner:
                        SemanticOwner::entity(
                            SemanticId::component(
                                Some("x-batch-action-counter"),
                                "BatchActionCounter",
                            )
                            .method("apply"),
                        ),
                    method: "apply".to_string(),
                    operation: StateOperation::AddAssign(SerializableValue::Number(
                        "2".to_string()
                    )),
                    field: "count".to_string(),
                },
                ComponentAction {
                    id:
                        SemanticId::component(Some("x-batch-action-counter"), "BatchActionCounter",)
                            .action("apply", 1),
                    owner:
                        SemanticOwner::entity(
                            SemanticId::component(
                                Some("x-batch-action-counter"),
                                "BatchActionCounter",
                            )
                            .method("apply"),
                        ),
                    method: "apply".to_string(),
                    operation: StateOperation::Decrement,
                    field: "count".to_string(),
                },
                ComponentAction {
                    id:
                        SemanticId::component(Some("x-batch-action-counter"), "BatchActionCounter",)
                            .action("apply", 2),
                    owner:
                        SemanticOwner::entity(
                            SemanticId::component(
                                Some("x-batch-action-counter"),
                                "BatchActionCounter",
                            )
                            .method("apply"),
                        ),
                    method: "apply".to_string(),
                    operation: StateOperation::Assign(SerializableValue::Number("8".to_string())),
                    field: "count".to_string(),
                },
                ComponentAction {
                    id:
                        SemanticId::component(Some("x-batch-action-counter"), "BatchActionCounter",)
                            .action("apply", 3),
                    owner:
                        SemanticOwner::entity(
                            SemanticId::component(
                                Some("x-batch-action-counter"),
                                "BatchActionCounter",
                            )
                            .method("apply"),
                        ),
                    method: "apply".to_string(),
                    operation: StateOperation::Increment,
                    field: "count".to_string(),
                },
                ComponentAction {
                    id:
                        SemanticId::component(Some("x-batch-action-counter"), "BatchActionCounter",)
                            .action("apply", 4),
                    owner:
                        SemanticOwner::entity(
                            SemanticId::component(
                                Some("x-batch-action-counter"),
                                "BatchActionCounter",
                            )
                            .method("apply"),
                        ),
                    method: "apply".to_string(),
                    operation: StateOperation::Toggle,
                    field: "enabled".to_string(),
                }
            ]
        );
    }

    #[test]
    fn generates_static_html_from_template_graph() {
        let source = include_str!("../../../fixtures/0001-source-summary/input/Counter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0001-source-summary/input/Counter.tsx", source);

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let html = generate_static_html(&template_graph);

        assert_eq!(
            html,
            "<button data-presolve-node=\"n0\" data-presolve-on-click=\"this.increment\" data-presolve-bindings=\"this.count\">Count:<!-- presolve-binding:n1:this.count -->0</button>\n"
        );
    }

    #[test]
    fn lowers_jsx_html_attribute_aliases_before_html_and_manifest_generation() {
        let source = r#"
@component("x-attribute-alias")
class AttributeAlias extends Component {
  target = state("profile-name");
  render() {
    return <label className={this.target} htmlFor={this.target}>Profile</label>;
  }
}
"#;
        let parsed = presolve_parser::parse_file("AttributeAlias.tsx", source);
        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let html = generate_static_html(&template_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);
        let model = build_application_semantic_model_from_component_graph(&component_graph);
        let runtime = build_runtime_component_artifact(&model, &model.component_ir_optimization);

        assert!(html.contains("class=\"profile-name\""));
        assert!(html.contains("for=\"profile-name\""));
        assert!(!html.contains("className="));
        assert!(!html.contains("htmlFor="));
        assert_eq!(
            manifest.components[0]
                .template
                .nodes
                .iter()
                .filter_map(|node| match node {
                    ManifestNode::Binding { attribute, .. } => attribute.as_deref(),
                    _ => None,
                })
                .collect::<Vec<_>>(),
            vec!["class", "for"]
        );
        assert_eq!(
            runtime
                .ordinary_template_bindings
                .iter()
                .filter_map(|binding| binding.attribute_name.as_deref())
                .collect::<Vec<_>>(),
            vec!["class", "for"]
        );
    }

    #[test]
    fn preserves_string_state_literals_in_template_outputs() {
        let source = include_str!("../../../fixtures/0006-string-state/input/StringGreeting.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0006-string-state/input/StringGreeting.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let component = component_graph
            .components
            .first()
            .expect("expected component");

        assert_eq!(
            component.state_fields[0].initial_value,
            Some(SerializableValue::String("Austin & <Zero>".to_string()))
        );

        let template_graph = build_template_graph(&component_graph);
        let html = generate_static_html(&template_graph);

        assert_eq!(
            html,
            "<p data-presolve-node=\"n0\" data-presolve-bindings=\"this.name\">Name:<!-- presolve-binding:n1:this.name -->Austin &amp; &lt;Zero&gt;</p>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "p".to_string(),
                },
                ManifestNode::Binding {
                    id: "n1".to_string(),
                    expression: "this.name".to_string(),
                    initial_value: Some(SerializableValue::String("Austin & <Zero>".to_string())),
                    target: None,
                    element: None,
                    attribute: None,
                }
            ]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][1]["initial_value"],
            serde_json::json!("Austin & <Zero>")
        );
    }

    #[test]
    fn preserves_static_jsx_attributes_in_template_outputs() {
        let source =
            include_str!("../../../fixtures/0014-static-attributes/input/StaticAttributePanel.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0014-static-attributes/input/StaticAttributePanel.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root");

        assert_eq!(root.attributes.len(), 3);
        assert_eq!(root.attributes[0].name, "id");
        assert_eq!(
            root.attributes[0].value,
            AttributeValue::Static("panel-root".to_string())
        );
        assert_eq!(root.attributes[1].name, "aria-label");
        assert_eq!(
            root.attributes[1].value,
            AttributeValue::Static("Status \"Panel\"".to_string())
        );
        assert_eq!(root.attributes[2].name, "hidden");
        assert_eq!(root.attributes[2].value, AttributeValue::Boolean);

        let TemplateChild::Element(button) = &root.children[0] else {
            panic!("expected button child");
        };

        assert_eq!(button.attributes.len(), 4);
        assert_eq!(button.attributes[0].name, "type");
        assert_eq!(
            button.attributes[0].value,
            AttributeValue::Static("button".to_string())
        );
        assert_eq!(button.attributes[1].name, "data-mode");
        assert_eq!(
            button.attributes[1].value,
            AttributeValue::Static("safe & sound".to_string())
        );
        assert_eq!(button.attributes[2].name, "title");
        assert_eq!(
            button.attributes[2].value,
            AttributeValue::Static("Use <carefully>".to_string())
        );
        assert_eq!(button.attributes[3].name, "data-presolve-bindings");

        let html = generate_static_html(&template_graph);

        assert_eq!(
            html,
            "<section data-presolve-node=\"n0\" id=\"panel-root\" aria-label=\"Status &quot;Panel&quot;\" hidden><button data-presolve-node=\"n1\" type=\"button\" data-mode=\"safe &amp; sound\" title=\"Use &lt;carefully&gt;\" data-presolve-bindings=\"this.label\">Label:<!-- presolve-binding:n2:this.label -->Ready</button></section>\n"
        );
    }

    #[test]
    fn reports_static_attribute_semantic_errors() {
        let source = r#"
@component("x-bad-attrs")
class BadAttrs extends Component {
  disabled = state(false);

  render() {
    return <button type="button" type="submit" title={label} {...props}>Go</button>;
  }
}
"#;

        let parsed = presolve_parser::parse_file("BadAttrs.tsx", source);
        let graph = build_component_graph(&parsed);
        let codes = graph
            .diagnostics
            .iter()
            .map(|diagnostic| diagnostic.code.as_str())
            .collect::<Vec<_>>();

        assert!(codes.contains(&"PSC1007"));
        assert!(codes.contains(&"PSC1008"));
        assert!(codes.contains(&"PSC1009"));
    }

    #[test]
    fn builds_dynamic_attribute_bindings_in_template_outputs() {
        let source = include_str!(
            "../../../fixtures/0015-dynamic-attributes/input/DynamicAttributeButton.tsx"
        );

        let parsed = presolve_parser::parse_file(
            "fixtures/0015-dynamic-attributes/input/DynamicAttributeButton.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root");

        assert_eq!(root.attributes[0].name, "disabled");
        assert_eq!(
            root.attributes[0].value,
            AttributeValue::Binding {
                id: TemplateNodeId("n1".to_string()),
                expression: "this.disabled".to_string(),
                initial_value: Some(SerializableValue::Boolean(false)),
            }
        );
        assert_eq!(root.attributes[1].name, "title");
        assert_eq!(
            root.attributes[1].value,
            AttributeValue::Binding {
                id: TemplateNodeId("n2".to_string()),
                expression: "this.label".to_string(),
                initial_value: Some(SerializableValue::String("Ready".to_string())),
            }
        );

        let html = generate_static_html(&template_graph);

        assert_eq!(
            html,
            "<button data-presolve-node=\"n0\" title=\"Ready\" data-presolve-on-click=\"this.lock\" data-presolve-bindings=\"this.label\">Status:<!-- presolve-binding:n3:this.label -->Ready</button>\n"
        );
    }

    #[test]
    fn preserves_boolean_state_literals_in_template_outputs() {
        let source = include_str!("../../../fixtures/0007-boolean-state/input/BooleanFlags.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0007-boolean-state/input/BooleanFlags.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let component = component_graph
            .components
            .first()
            .expect("expected component");

        assert_eq!(
            component.state_fields[0].initial_value,
            Some(SerializableValue::Boolean(true))
        );
        assert_eq!(
            component.state_fields[1].initial_value,
            Some(SerializableValue::Boolean(false))
        );

        let template_graph = build_template_graph(&component_graph);
        let html = generate_static_html(&template_graph);

        assert_eq!(
            html,
            "<section data-presolve-node=\"n0\"><p data-presolve-node=\"n1\" data-presolve-bindings=\"this.enabled\">Enabled:<!-- presolve-binding:n2:this.enabled -->true</p><p data-presolve-node=\"n3\" data-presolve-bindings=\"this.disabled\">Disabled:<!-- presolve-binding:n4:this.disabled -->false</p></section>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "section".to_string(),
                },
                ManifestNode::Element {
                    id: "n1".to_string(),
                    tag: "p".to_string(),
                },
                ManifestNode::Binding {
                    id: "n2".to_string(),
                    expression: "this.enabled".to_string(),
                    initial_value: Some(SerializableValue::Boolean(true)),
                    target: None,
                    element: None,
                    attribute: None,
                },
                ManifestNode::Element {
                    id: "n3".to_string(),
                    tag: "p".to_string(),
                },
                ManifestNode::Binding {
                    id: "n4".to_string(),
                    expression: "this.disabled".to_string(),
                    initial_value: Some(SerializableValue::Boolean(false)),
                    target: None,
                    element: None,
                    attribute: None,
                }
            ]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][2]["initial_value"],
            serde_json::json!(true)
        );
        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][4]["initial_value"],
            serde_json::json!(false)
        );
    }

    #[test]
    fn preserves_null_state_literals_in_template_outputs() {
        let source = include_str!("../../../fixtures/0008-null-state/input/NullSelection.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0008-null-state/input/NullSelection.tsx", source);

        let component_graph = build_component_graph(&parsed);
        let component = component_graph
            .components
            .first()
            .expect("expected component");

        assert_eq!(
            component.state_fields[0].initial_value,
            Some(SerializableValue::Null)
        );

        let template_graph = build_template_graph(&component_graph);
        let html = generate_static_html(&template_graph);

        assert_eq!(
            html,
            "<p data-presolve-node=\"n0\" data-presolve-bindings=\"this.selection\">Selection:<!-- presolve-binding:n1:this.selection --></p>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "p".to_string(),
                },
                ManifestNode::Binding {
                    id: "n1".to_string(),
                    expression: "this.selection".to_string(),
                    initial_value: Some(SerializableValue::Null),
                    target: None,
                    element: None,
                    attribute: None,
                }
            ]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][1]["initial_value"],
            serde_json::Value::Null
        );
    }

    #[test]
    fn builds_template_graph_from_component_graph() {
        let source = include_str!("../../../fixtures/0001-source-summary/input/Counter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0001-source-summary/input/Counter.tsx", source);

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);

        assert_eq!(template_graph.templates.len(), 1);

        let template = &template_graph.templates[0];
        assert_eq!(template.component_name, "Counter");
        assert_eq!(template.id.as_str(), "component:x-counter/template:render");
        assert_eq!(
            template.provenance.path,
            Path::new("fixtures/0001-source-summary/input/Counter.tsx")
        );
        assert_eq!(template.provenance.span.line, 10);
        assert_eq!(
            template.owner,
            SemanticOwner::entity(SemanticId::component(Some("x-counter"), "Counter"))
        );

        let root = template.root.as_ref().expect("expected template root");

        assert_eq!(root.id.0, "n0");
        assert_eq!(root.tag_name, "button");
        assert_eq!(root.span.line, 12);
        assert_eq!(root.span.column, 7);

        assert_eq!(root.attributes.len(), 2);
        assert_eq!(root.attributes[0].name, "data-presolve-on-click");
        assert_eq!(
            root.attributes[0].span.expect("expected event span").line,
            12
        );
        assert_eq!(
            root.attributes[0].span.expect("expected event span").column,
            15
        );
        assert_eq!(
            root.attributes[0].value,
            AttributeValue::EventHandler {
                event: "click".to_string(),
                handler: "this.increment".to_string(),
                arguments: Vec::new(),
            }
        );

        assert_eq!(root.attributes[1].name, "data-presolve-bindings");
        assert_eq!(root.attributes[1].span, None);
        assert_eq!(
            root.attributes[1].value,
            AttributeValue::BindingList(vec!["this.count".to_string()])
        );

        assert_eq!(root.children.len(), 2);
        let TemplateChild::Text { value, span } = &root.children[0] else {
            panic!("expected text child");
        };
        assert_eq!(value, "Count:");
        assert_eq!(span.line, 13);
        assert_eq!(span.column, 9);

        let TemplateChild::Binding {
            id,
            expression,
            initial_value,
            span,
        } = &root.children[1]
        else {
            panic!("expected binding child");
        };
        assert_eq!(id.0, "n1");
        assert_eq!(expression, "this.count");
        assert_eq!(
            initial_value,
            &Some(SerializableValue::Number("0".to_string()))
        );
        assert_eq!(span.line, 13);
        assert_eq!(span.column, 16);
    }

    #[test]
    fn semantic_ids_are_stable_when_component_declaration_order_changes() {
        let alpha = r#"
@component("x-alpha")
class Alpha extends Component {
  count = state(0);

  increment() {
    this.count++;
  }

  render() {
    return <p>{this.count}</p>;
  }
}
"#;
        let beta = r#"
@component("x-beta")
class Beta extends Component {
  enabled = state(false);

  toggle() {
    this.enabled = !this.enabled;
  }

  render() {
    return <p>{this.enabled}</p>;
  }
}
"#;

        let ids_for = |source: &str| {
            let parsed = presolve_parser::parse_file("App.tsx", source);
            let component_graph = build_component_graph(&parsed);
            let template_graph = build_template_graph(&component_graph);
            let template_ids = template_graph
                .templates
                .iter()
                .map(|template| (template.component_name.as_str(), template.id.to_string()))
                .collect::<BTreeMap<_, _>>();

            component_graph
                .components
                .iter()
                .map(|component| {
                    let ids = component
                        .state_fields
                        .iter()
                        .map(|field| field.id.to_string())
                        .chain(component.methods.iter().map(|method| method.id.to_string()))
                        .chain(component.actions.iter().map(|action| action.id.to_string()))
                        .chain(std::iter::once(
                            template_ids
                                .get(component.class_name.as_str())
                                .expect("expected component template")
                                .clone(),
                        ))
                        .collect::<Vec<_>>();

                    (
                        component.class_name.clone(),
                        (component.id.to_string(), ids),
                    )
                })
                .collect::<BTreeMap<_, _>>()
        };

        assert_eq!(
            ids_for(&format!("{alpha}\n{beta}")),
            ids_for(&format!("{beta}\n{alpha}"))
        );
    }

    #[test]
    fn carries_source_spans_into_nested_template_nodes() {
        let source = include_str!("../../../fixtures/0004-nested-jsx/input/NestedCounter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0004-nested-jsx/input/NestedCounter.tsx", source);

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root");

        assert_eq!(root.tag_name, "section");
        assert_eq!(root.span.line, 12);
        assert_eq!(root.span.column, 7);

        let TemplateChild::Element(button) = &root.children[0] else {
            panic!("expected nested button");
        };

        assert_eq!(button.tag_name, "button");
        assert_eq!(button.span.line, 13);
        assert_eq!(button.span.column, 9);
        assert_eq!(button.attributes[0].name, "data-presolve-on-click");
        assert_eq!(
            button.attributes[0].span.expect("expected event span").line,
            13
        );
        assert_eq!(
            button.attributes[0]
                .span
                .expect("expected event span")
                .column,
            17
        );
        assert_eq!(button.attributes[1].name, "data-presolve-bindings");
        assert_eq!(button.attributes[1].span, None);

        let TemplateChild::Text { value, span } = &button.children[0] else {
            panic!("expected nested text");
        };
        assert_eq!(value, "Count:");
        assert_eq!(span.line, 13);
        assert_eq!(span.column, 50);

        let TemplateChild::Binding {
            expression, span, ..
        } = &button.children[1]
        else {
            panic!("expected nested binding");
        };
        assert_eq!(expression, "this.count");
        assert_eq!(span.line, 13);
        assert_eq!(span.column, 57);
    }

    #[test]
    fn preserves_fragment_siblings_without_wrapper_elements() {
        let source = include_str!("../../../fixtures/0016-fragments/input/FragmentPanel.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0016-fragments/input/FragmentPanel.tsx", source);

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let template = &template_graph.templates[0];
        let fragment = template
            .root_fragment
            .as_ref()
            .expect("expected fragment root");

        assert!(template.root.is_none());
        assert_eq!(fragment.id.0, "n0");
        assert_eq!(fragment.children.len(), 2);

        let TemplateChild::Element(heading) = &fragment.children[0] else {
            panic!("expected heading child");
        };
        assert_eq!(heading.id.0, "n1");
        assert_eq!(heading.tag_name, "h1");

        let TemplateChild::Fragment(nested) = &fragment.children[1] else {
            panic!("expected nested fragment child");
        };
        assert_eq!(nested.id.0, "n2");

        let TemplateChild::Element(paragraph) = &nested.children[0] else {
            panic!("expected paragraph child");
        };
        assert_eq!(paragraph.id.0, "n3");
        assert_eq!(paragraph.tag_name, "p");

        let html = generate_static_html(&template_graph);
        assert_eq!(
            html,
            "<h1 data-presolve-node=\"n1\">Title</h1><p data-presolve-node=\"n3\" data-presolve-bindings=\"this.label\">Status:<!-- presolve-binding:n4:this.label -->Ready</p><span data-presolve-node=\"n5\">Done</span>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);
        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n1".to_string(),
                    tag: "h1".to_string(),
                },
                ManifestNode::Element {
                    id: "n3".to_string(),
                    tag: "p".to_string(),
                },
                ManifestNode::Binding {
                    id: "n4".to_string(),
                    expression: "this.label".to_string(),
                    initial_value: Some(SerializableValue::String("Ready".to_string())),
                    target: None,
                    element: None,
                    attribute: None,
                },
                ManifestNode::Element {
                    id: "n5".to_string(),
                    tag: "span".to_string(),
                },
            ]
        );
    }

    #[test]
    fn builds_conditional_template_boundaries_and_manifest_branch_html() {
        let source = include_str!(
            "../../../fixtures/0017-conditional-rendering/input/ConditionalStatus.tsx"
        );

        let parsed = presolve_parser::parse_file(
            "fixtures/0017-conditional-rendering/input/ConditionalStatus.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root element");

        assert_eq!(root.id.0, "n0");
        assert_eq!(root.attributes[1].name, "data-presolve-bindings");

        let TemplateChild::Conditional(conditional) = &root.children[0] else {
            panic!("expected conditional child");
        };

        assert_eq!(conditional.id.0, "n1");
        assert_eq!(conditional.start_id.0, "n2");
        assert_eq!(conditional.end_id.0, "n3");
        assert_eq!(conditional.condition, "this.enabled");
        assert_eq!(
            conditional.initial_value,
            Some(SerializableValue::Boolean(true))
        );

        let TemplateChild::Element(when_true) = &conditional.when_true[0] else {
            panic!("expected true branch element");
        };
        assert_eq!(when_true.id.0, "n4");
        assert_eq!(when_true.tag_name, "span");

        let TemplateChild::Element(when_false) = &conditional.when_false[0] else {
            panic!("expected false branch element");
        };
        assert_eq!(when_false.id.0, "n5");
        assert_eq!(when_false.tag_name, "span");

        let html = generate_static_html(&template_graph);
        assert_eq!(
            html,
            "<button data-presolve-node=\"n0\" data-presolve-on-click=\"this.toggle\" data-presolve-bindings=\"this.enabled\"><!-- presolve-conditional-start:n2:this.enabled --><span data-presolve-node=\"n4\">On</span><!-- presolve-conditional-end:n3 --></button>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);
        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "button".to_string(),
                },
                ManifestNode::Conditional {
                    id: "n1".to_string(),
                    start: "n2".to_string(),
                    end: "n3".to_string(),
                    condition: "this.enabled".to_string(),
                    initial_value: Some(SerializableValue::Boolean(true)),
                    when_true_html: "<span data-presolve-node=\"n4\">On</span>".to_string(),
                    when_false_html: "<span data-presolve-node=\"n5\">Off</span>".to_string(),
                },
            ]
        );
    }

    #[test]
    fn builds_logical_and_conditional_with_empty_false_branch() {
        let source = include_str!(
            "../../../fixtures/0018-logical-and-conditional/input/LogicalAndStatus.tsx"
        );

        let parsed = presolve_parser::parse_file(
            "fixtures/0018-logical-and-conditional/input/LogicalAndStatus.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root element");

        let TemplateChild::Conditional(conditional) = &root.children[0] else {
            panic!("expected conditional child");
        };

        assert_eq!(conditional.when_true.len(), 1);
        assert!(conditional.when_false.is_empty());

        let manifest = build_template_manifest(&component_graph, &template_graph);
        assert_eq!(
            manifest.components[0].template.nodes[1],
            ManifestNode::Conditional {
                id: "n1".to_string(),
                start: "n2".to_string(),
                end: "n3".to_string(),
                condition: "this.enabled".to_string(),
                initial_value: Some(SerializableValue::Boolean(true)),
                when_true_html: "<span data-presolve-node=\"n4\">On</span>".to_string(),
                when_false_html: String::new(),
            }
        );
    }

    #[test]
    fn builds_empty_keyed_list_from_a_serializable_array() {
        let source =
            include_str!("../../../fixtures/0019-keyed-list-semantics/input/KeyedList.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0019-keyed-list-semantics/input/KeyedList.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root element");

        assert_eq!(root.id.0, "n0");
        assert_eq!(root.attributes[0].name, "data-presolve-bindings");

        let TemplateChild::List(list) = &root.children[0] else {
            panic!("expected keyed list child");
        };

        assert_eq!(list.id.0, "n1");
        assert_eq!(list.start_id.0, "n2");
        assert_eq!(list.end_id.0, "n3");
        assert_eq!(list.iterable, "this.items");
        assert_eq!(
            list.initial_value,
            Some(SerializableValue::Array(Vec::new()))
        );
        assert_eq!(list.item_variable, "item");
        assert_eq!(list.index_variable.as_deref(), Some("index"));
        assert_eq!(list.key_expression, "item.id");

        let TemplateChild::Element(item_template) = &list.item_template[0] else {
            panic!("expected list item element");
        };
        assert_eq!(item_template.id.0, "n4");
        assert_eq!(item_template.tag_name, "li");

        assert_eq!(
            generate_static_html(&template_graph),
            "<ul data-presolve-node=\"n0\" data-presolve-bindings=\"this.items\"><!-- presolve-list-start:n2:this.items --><!-- presolve-list-end:n3 --></ul>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);
        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "ul".to_string(),
                },
                ManifestNode::List {
                    id: "n1".to_string(),
                    start: "n2".to_string(),
                    end: "n3".to_string(),
                    iterable: "this.items".to_string(),
                    initial_value: Some(SerializableValue::Array(Vec::new())),
                    item_variable: "item".to_string(),
                    index_variable: Some("index".to_string()),
                    key_expression: "item.id".to_string(),
                    item_root: "n4".to_string(),
                    item_template_html: "<li data-presolve-node=\"n4:__ez_list_key__\" data-presolve-bindings=\"index,item.label\"><!-- presolve-binding:n5:__ez_list_key__:index -->__ez_list_index__<!-- presolve-list-binding-end:n5:__ez_list_key__ -->:<!-- presolve-binding:n6:__ez_list_key__:item.label --><!-- presolve-list-binding-end:n6:__ez_list_key__ --></li>".to_string(),
                },
            ]
        );
    }

    #[test]
    fn preserves_recursive_object_values_in_component_and_manifest_models() {
        let source = include_str!(
            "../../../fixtures/0023-recursive-object-values/input/RecursiveObjectValues.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0023-recursive-object-values/input/RecursiveObjectValues.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let profile = SerializableValue::Object(BTreeMap::from([
            (
                "name".to_string(),
                SerializableValue::String("North".to_string()),
            ),
            (
                "settings".to_string(),
                SerializableValue::Object(BTreeMap::from([
                    ("enabled".to_string(), SerializableValue::Boolean(true)),
                    (
                        "tags".to_string(),
                        SerializableValue::Array(vec![
                            SerializableValue::String("compiler".to_string()),
                            SerializableValue::Object(BTreeMap::from([
                                (
                                    "name".to_string(),
                                    SerializableValue::String("runtime".to_string()),
                                ),
                                (
                                    "rank".to_string(),
                                    SerializableValue::Number("2".to_string()),
                                ),
                            ])),
                        ]),
                    ),
                ])),
            ),
        ]));
        assert_eq!(
            component_graph.components[0].state_fields[0].initial_value,
            Some(profile.clone())
        );

        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);
        assert_eq!(
            manifest.components[0].template.nodes[3],
            ManifestNode::Binding {
                id: "n3".to_string(),
                expression: "this.profile".to_string(),
                initial_value: Some(profile),
                target: None,
                element: None,
                attribute: None,
            }
        );
        assert!(matches!(
            manifest.components[0].actions[0].operand,
            Some(SerializableValue::Object(_))
        ));
    }

    #[test]
    fn renders_static_object_list_members_and_keys() {
        let source = include_str!(
            "../../../fixtures/0024-static-object-keyed-list/input/StaticObjectKeyedList.tsx"
        );
        let parsed = presolve_parser::parse_file(
            "fixtures/0024-static-object-keyed-list/input/StaticObjectKeyedList.tsx",
            source,
        );
        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        assert_eq!(
            generate_static_html(&template_graph),
            "<ol data-presolve-node=\"n0\" data-presolve-bindings=\"this.items\"><!-- presolve-list-start:n2:this.items --><li data-presolve-node=\"n4:north\" data-presolve-bindings=\"index,item.label,item.details.region\"><!-- presolve-binding:n5:north:index -->0<!-- presolve-list-binding-end:n5:north -->:<!-- presolve-binding:n6:north:item.label -->North<!-- presolve-list-binding-end:n6:north -->(<!-- presolve-binding:n7:north:item.details.region -->west<!-- presolve-list-binding-end:n7:north -->)</li><li data-presolve-node=\"n4:south\" data-presolve-bindings=\"index,item.label,item.details.region\"><!-- presolve-binding:n5:south:index -->1<!-- presolve-list-binding-end:n5:south -->:<!-- presolve-binding:n6:south:item.label -->South<!-- presolve-list-binding-end:n6:south -->(<!-- presolve-binding:n7:south:item.details.region -->east<!-- presolve-list-binding-end:n7:south -->)</li><!-- presolve-list-end:n3 --></ol>\n"
        );
    }

    #[test]
    fn renders_initial_keyed_list_items_from_a_serializable_array() {
        let source =
            include_str!("../../../fixtures/0020-static-keyed-list/input/StaticKeyedList.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0020-static-keyed-list/input/StaticKeyedList.tsx",
            source,
        );
        let component_graph = build_component_graph(&parsed);
        assert!(component_graph.diagnostics.is_empty());

        let template_graph = build_template_graph(&component_graph);
        let root = template_graph.templates[0]
            .root
            .as_ref()
            .expect("expected root element");
        let TemplateChild::List(list) = &root.children[0] else {
            panic!("expected keyed list child");
        };

        assert_eq!(
            list.initial_value,
            Some(SerializableValue::Array(vec![
                SerializableValue::String("North".to_string()),
                SerializableValue::String("South".to_string()),
            ]))
        );

        assert_eq!(
            generate_static_html(&template_graph),
            "<ol data-presolve-node=\"n0\" data-presolve-bindings=\"this.labels\"><!-- presolve-list-start:n2:this.labels --><li data-presolve-node=\"n4:North\" data-presolve-bindings=\"index,label\"><!-- presolve-binding:n5:North:index -->0<!-- presolve-list-binding-end:n5:North -->:<!-- presolve-binding:n6:North:label -->North<!-- presolve-list-binding-end:n6:North --></li><li data-presolve-node=\"n4:South\" data-presolve-bindings=\"index,label\"><!-- presolve-binding:n5:South:index -->1<!-- presolve-list-binding-end:n5:South -->:<!-- presolve-binding:n6:South:label -->South<!-- presolve-list-binding-end:n6:South --></li><!-- presolve-list-end:n3 --></ol>\n"
        );

        let manifest = build_template_manifest(&component_graph, &template_graph);
        assert_eq!(
            manifest.components[0].template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "ol".to_string(),
                },
                ManifestNode::List {
                    id: "n1".to_string(),
                    start: "n2".to_string(),
                    end: "n3".to_string(),
                    iterable: "this.labels".to_string(),
                    initial_value: Some(SerializableValue::Array(vec![
                        SerializableValue::String("North".to_string()),
                        SerializableValue::String("South".to_string()),
                    ])),
                    item_variable: "label".to_string(),
                    index_variable: Some("index".to_string()),
                    key_expression: "label".to_string(),
                    item_root: "n4".to_string(),
                    item_template_html: "<li data-presolve-node=\"n4:__ez_list_key__\" data-presolve-bindings=\"index,label\"><!-- presolve-binding:n5:__ez_list_key__:index -->__ez_list_index__<!-- presolve-list-binding-end:n5:__ez_list_key__ -->:<!-- presolve-binding:n6:__ez_list_key__:label -->__ez_list_item__<!-- presolve-list-binding-end:n6:__ez_list_key__ --></li>".to_string(),
                },
            ]
        );
    }

    #[test]
    fn builds_template_manifest_for_nested_jsx() {
        let source = include_str!("../../../fixtures/0004-nested-jsx/input/NestedCounter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0004-nested-jsx/input/NestedCounter.tsx", source);

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(manifest.schema_version, 1);
        assert_eq!(manifest.components.len(), 1);

        let component = &manifest.components[0];
        assert_eq!(component.name, "NestedCounter");

        assert_eq!(
            component.template.nodes,
            vec![
                ManifestNode::Element {
                    id: "n0".to_string(),
                    tag: "section".to_string(),
                },
                ManifestNode::Element {
                    id: "n1".to_string(),
                    tag: "button".to_string(),
                },
                ManifestNode::Binding {
                    id: "n2".to_string(),
                    expression: "this.count".to_string(),
                    initial_value: Some(SerializableValue::Number("0".to_string())),
                    target: None,
                    element: None,
                    attribute: None,
                }
            ]
        );

        assert_eq!(
            component.template.events,
            vec![ManifestEvent {
                node: "n1".to_string(),
                kind: None,
                event: "click".to_string(),
                handler: "this.increment".to_string(),
                arguments: Vec::new(),
                method_id: None,
                action_batch_id: None,
            }]
        );

        assert_eq!(
            component.actions,
            vec![ManifestAction {
                method: "increment".to_string(),
                method_id: None,
                action_batch_id: None,
                operation: ManifestOperation::Increment,
                field: "count".to_string(),
                storage_id: None,
                operand: None,
            }]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(manifest_value["schema_version"], serde_json::json!(1));
    }

    #[test]
    fn builds_template_manifest_for_decrement_action() {
        let source =
            include_str!("../../../fixtures/0009-decrement-counter/input/DecrementCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0009-decrement-counter/input/DecrementCounter.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].actions,
            vec![ManifestAction {
                method: "decrement".to_string(),
                method_id: None,
                action_batch_id: None,
                operation: ManifestOperation::Decrement,
                field: "count".to_string(),
                storage_id: None,
                operand: None,
            }]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["actions"][0]["operation"],
            serde_json::json!("decrement")
        );
    }

    #[test]
    fn builds_template_manifest_for_add_and_subtract_assign_actions() {
        let source =
            include_str!("../../../fixtures/0010-add-subtract-assign/input/StepCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0010-add-subtract-assign/input/StepCounter.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].actions,
            vec![
                ManifestAction {
                    method: "addTwo".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::AddAssign,
                    field: "count".to_string(),
                    storage_id: None,
                    operand: Some(SerializableValue::Number("2".to_string())),
                },
                ManifestAction {
                    method: "subtractThree".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::SubtractAssign,
                    field: "count".to_string(),
                    storage_id: None,
                    operand: Some(SerializableValue::Number("3".to_string())),
                }
            ]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["actions"][0]["operation"],
            serde_json::json!("add_assign")
        );
        assert_eq!(
            manifest_value["components"][0]["actions"][0]["operand"],
            serde_json::json!("2")
        );
        assert_eq!(
            manifest_value["components"][0]["actions"][1]["operation"],
            serde_json::json!("subtract_assign")
        );
        assert_eq!(
            manifest_value["components"][0]["actions"][1]["operand"],
            serde_json::json!("3")
        );
    }

    #[test]
    fn builds_template_manifest_for_direct_assignment_action() {
        let source =
            include_str!("../../../fixtures/0011-direct-assignment/input/ResetCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0011-direct-assignment/input/ResetCounter.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].actions,
            vec![ManifestAction {
                method: "reset".to_string(),
                method_id: None,
                action_batch_id: None,
                operation: ManifestOperation::Assign,
                field: "count".to_string(),
                storage_id: None,
                operand: Some(SerializableValue::Number("0".to_string())),
            }]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["actions"][0]["operation"],
            serde_json::json!("assign")
        );
        assert_eq!(
            manifest_value["components"][0]["actions"][0]["operand"],
            serde_json::json!("0")
        );
    }

    #[test]
    fn builds_template_manifest_for_boolean_toggle_action() {
        let source = include_str!("../../../fixtures/0012-boolean-toggle/input/ToggleFlag.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0012-boolean-toggle/input/ToggleFlag.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].actions,
            vec![ManifestAction {
                method: "toggle".to_string(),
                method_id: None,
                action_batch_id: None,
                operation: ManifestOperation::Toggle,
                field: "enabled".to_string(),
                storage_id: None,
                operand: None,
            }]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest_value["components"][0]["actions"][0]["operation"],
            serde_json::json!("toggle")
        );
        assert!(manifest_value["components"][0]["actions"][0]
            .get("operand")
            .is_none());
    }

    #[test]
    fn builds_template_manifest_for_multi_step_action_in_source_order() {
        let source =
            include_str!("../../../fixtures/0013-multi-step-action/input/BatchActionCounter.tsx");

        let parsed = presolve_parser::parse_file(
            "fixtures/0013-multi-step-action/input/BatchActionCounter.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);

        assert_eq!(
            manifest.components[0].actions,
            vec![
                ManifestAction {
                    method: "apply".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::AddAssign,
                    field: "count".to_string(),
                    storage_id: None,
                    operand: Some(SerializableValue::Number("2".to_string())),
                },
                ManifestAction {
                    method: "apply".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::Decrement,
                    field: "count".to_string(),
                    storage_id: None,
                    operand: None,
                },
                ManifestAction {
                    method: "apply".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::Assign,
                    field: "count".to_string(),
                    storage_id: None,
                    operand: Some(SerializableValue::Number("8".to_string())),
                },
                ManifestAction {
                    method: "apply".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::Increment,
                    field: "count".to_string(),
                    storage_id: None,
                    operand: None,
                },
                ManifestAction {
                    method: "apply".to_string(),
                    method_id: None,
                    action_batch_id: None,
                    operation: ManifestOperation::Toggle,
                    field: "enabled".to_string(),
                    storage_id: None,
                    operand: None,
                }
            ]
        );

        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        let actions = manifest_value["components"][0]["actions"]
            .as_array()
            .expect("manifest actions should be an array");

        assert_eq!(
            actions
                .iter()
                .map(|action| action["operation"].as_str().expect("operation is a string"))
                .collect::<Vec<_>>(),
            vec!["add_assign", "decrement", "assign", "increment", "toggle"]
        );
        assert_eq!(actions[0]["method"], serde_json::json!("apply"));
        assert_eq!(actions[4]["method"], serde_json::json!("apply"));
        assert!(actions[1].get("operand").is_none());
        assert!(actions[3].get("operand").is_none());
        assert!(actions[4].get("operand").is_none());
    }

    #[test]
    fn builds_template_manifest_for_dynamic_attribute_bindings() {
        let source = include_str!(
            "../../../fixtures/0015-dynamic-attributes/input/DynamicAttributeButton.tsx"
        );

        let parsed = presolve_parser::parse_file(
            "fixtures/0015-dynamic-attributes/input/DynamicAttributeButton.tsx",
            source,
        );

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);
        let manifest_json = template_manifest_json(&manifest);
        let manifest_value: serde_json::Value =
            serde_json::from_str(&manifest_json).expect("manifest JSON should parse");

        assert_eq!(
            manifest.components[0].template.nodes[1],
            ManifestNode::Binding {
                id: "n1".to_string(),
                expression: "this.disabled".to_string(),
                initial_value: Some(SerializableValue::Boolean(false)),
                target: Some(ManifestBindingTarget::Attribute),
                element: Some("n0".to_string()),
                attribute: Some("disabled".to_string()),
            }
        );
        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][1]["target"],
            serde_json::json!("attribute")
        );
        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][1]["element"],
            serde_json::json!("n0")
        );
        assert_eq!(
            manifest_value["components"][0]["template"]["nodes"][1]["attribute"],
            serde_json::json!("disabled")
        );
        assert!(manifest_value["components"][0]["template"]["nodes"][3]
            .get("target")
            .is_none());
    }

    #[test]
    fn generates_standalone_page_with_embedded_manifest() {
        let source = include_str!("../../../fixtures/0004-nested-jsx/input/NestedCounter.tsx");

        let parsed =
            presolve_parser::parse_file("fixtures/0004-nested-jsx/input/NestedCounter.tsx", source);

        let component_graph = build_component_graph(&parsed);
        let template_graph = build_template_graph(&component_graph);
        let html = generate_static_html(&template_graph);
        let manifest = build_template_manifest(&component_graph, &template_graph);
        let page = generate_standalone_page("NestedCounter", &html, &manifest);

        assert!(page.starts_with("<!doctype html>\n"));
        assert!(page.contains("<title>NestedCounter</title>"));
        assert!(page.contains("<section data-presolve-node=\"n0\">"));
        assert!(page.contains("id=\"presolve-template-manifest\""));
        assert!(page.contains("\"name\": \"NestedCounter\""));
        assert!(page.contains("<script src=\"./runtime.js\" defer></script>"));
    }
}