List of all items
Structs
- BooleanGRNStateV0
- BoxLonghandInputV0
- CascadeAttractorBasinProofV0
- CascadeAttractorBasinV0
- CascadeBoundarySummary
- CascadeComputedValueInputV0
- CascadeComputedValueResultV0
- CascadeConformanceSeedCase
- CascadeConformanceSeedReport
- CascadeConformanceSeedResult
- CascadeDeclaration
- CascadeDeepConflictReportV0
- CascadeEvaluationFuzzCaseV0
- CascadeEvaluationFuzzResultV0
- CascadeEvidenceV0
- CascadeFrustrationV0
- CascadeFuzzSeedReportV0
- CascadeKey
- CascadeMarginSchemaV0
- CascadeMarginV0
- CascadeOutcomeProjectionRecordV0
- CascadeProof
- CascadeRefinementContextV0
- CascadeReplicaOverlapV0
- CascadeSpinGlassHamiltonianV0
- CascadeSpinGlassSummaryV0
- CascadeSpinGlassTheoremV0
- CascadeSpinGlassUltrametricCorpusV0
- CascadeStabilityScoreV0
- CascadeUltrametricPathV0
- CustomPropertyEvidenceV0
- CustomPropertyLeastFixedPointEntryV0
- CustomPropertyLeastFixedPointIterationV0
- CustomPropertyLeastFixedPointProofV0
- CustomPropertyLeastFixedPointSummaryV0
- DiagnosticFrameFootprintV0
- ElementSignature
- GrnExplicitAttractorEnumerationV0
- GrnModeDistributionV0
- GrnTransitionRecordV0
- GrnVertexStateV0
- GrnVertexV0
- KauffmanRegimeV0
- LayerFlattenInputV0
- LayerFlattenProofV0
- LayerRank
- ModalCheckWitnessV0
- ModuleFootprintV0
- OutcomeConjunctionWitnessV0
- RecheckSelectionV0
- ResolverEvidenceV0
- ScopeFlattenInputV0
- ScopeFlattenProofV0
- SelectorContextWitness
- SelectorMatchWitness
- SelectorSignature
- ShorthandCombinationProofV0
- Specificity
- SpinGlassMonteCarloBucketV0
- SpinGlassMonteCarloPolicyV0
- StaticSupportsEvalWitnessV0
- VarSubstitutionFuzzCaseV0
- VarSubstitutionFuzzResultV0
Enums
- AttractorEnumerationStrategyV0
- CascadeLevel
- CascadeOutcome
- CascadeValue
- ComputedCascadeValueStatusV0
- GrnBooleanState
- GrnTopHandlingPolicyV0
- KauffmanRegimeKindV0
- ModalCheckWitnessSourceV0
- RgFixedPointTagV0
- SelectorContextMatchKind
- SelectorMatchReason
- SelectorMatchVerdict
- StaticSupportsAssumptionV0
- StaticSupportsEvalVerdictV0
Functions
- cascade_margin_for_outcome
- cascade_property
- cascade_ultrametric_distance_v0
- choose_grn_attractor_strategy
- classify_kauffman_regime
- compute_cascade_computed_value
- compute_edit_footprint
- derive_frame_for_diagnostic
- derive_frames_for_diagnostic_set
- enumerate_explicit_grn_attractor_v0
- evaluate_static_supports_condition
- grn_shadow_omena_verbs
- intersect_frame_with_footprint
- outcome_conjunction_witness
- parse_simple_selector_signature
- partition_into_outcome_conjunction_classes
- project_grn_outcome
- prove_box_shorthand_combination
- prove_cascade_attractor_basin
- prove_cascade_ultrametric_strong_triangle_v0
- prove_layer_flatten_candidate
- prove_scope_flatten_candidate
- prove_strong_triangle_inequality
- prove_tropical_hamiltonian_monotone
- prove_ultrametric_isomorphism
- rank_cascade_items
- refine_declaration_in_context
- resolve_custom_property_env_least_fixed_point
- run_cascade_conformance_seed_corpus
- run_cascade_evaluation_fuzz_case
- run_cascade_fuzz_seed_corpus
- run_var_substitution_fuzz_case
- run_wpt_cascade_seed_corpus
- select_cascade_winner
- select_recheck_set
- selector_context_witness
- selector_context_witness_for_declaration
- selector_match_witness
- spin_glass_monte_carlo_policy
- spin_glass_ultrametric_binary_five_tier_corpus_v0
- substitute_custom_properties
- summarize_cascade_boundary
- summarize_cascade_frustration
- summarize_cascade_margin_schema_v0
- summarize_cascade_spin_glass_statistics
- summarize_cascade_stability_score
- summarize_custom_property_least_fixed_point
- summarize_grn_state
- summarize_modal_check_witness_v0
- summarize_replica_overlap
- summarize_spin_glass_hamiltonian
- transition_cascade_grn_state_v0
- verify_spin_glass_ultrametric_corpus_v0