Expand description
Shared primitive types and contracts for HigherGraphen.
Modules§
- typed_
provenance - Typestate review provenance for opt-in candidate-to-accepted promotion.
Structs§
- Boundary
Pattern - Shared boundary pattern.
- Capability
- Actor-specific ability to operate on a target in a context.
- Causal
Pattern - Causal pattern shared across participants.
- Confidence
- Validated confidence score for extracted or inferred structure.
- Context
Restriction - Context restriction shared by participants.
- Correspondence
Cell - Higher-order cell describing a correspondence between structures.
- Correspondence
Participant - A role-labeled participant entry in a correspondence cell.
- Correspondence
Validation Finding - One validation finding for a correspondence cell.
- Correspondence
Validation Report - Multi-finding validation report for correspondence cells.
- Criterion
Value - Value attached to a valuation criterion.
- Derivation
- Structured inference from premises to a conclusion.
- Description
- Free-text structural note retained in machine-readable objects.
- Difference
Witness - Reviewable evidence for what differs inside a correspondence.
- Equivalence
Claim - Reviewable claim that several structures may be treated as equivalent.
- Equivalence
Criterion - Criterion used to judge an equivalence claim.
- Equivalence
Scope - Scope in which an equivalence claim may be considered.
- Feature
- Named feature used by overlap extraction.
- Gluing
Attempt - Full gluing attempt record.
- Id
- Opaque, stable identifier for HigherGraphen structures.
- Inference
Rule - Inference rule applied by a derivation.
- Invariant
Check Result - Result of checking an invariant during gluing.
- Normalized
Claim - Normalized claim fields used to make semantic overlap reviewable.
- Object
Ref - Reference to a HigherGraphen object encoded by its stable identifier.
- Overlap
Witness - Reviewable evidence for what is shared inside a correspondence.
- Participant
Mapping - Mapping from a participant into a witness path.
- Payload
Ref - Payload backing a witness.
- Policy
- System-wide or context-bound rule.
- Policy
Applicability - Targets and operations a policy applies to.
- Policy
Rule - Policy rule payload.
- Predicate
- Predicate triple or relation fragment used by overlap extraction.
- Preservation
Report - Report of structures preserved by gluing or projection.
- Projection
Loss - Declared projection loss for correspondence views.
- Projection
Trace - Trace from projected view back to source structures.
- Provenance
- Source, extraction, confidence, and review metadata for a structure.
- Quotient
Effect - Preview of the structural effect of accepting an equivalence claim.
- Reachability
- Reachability path from a base space.
- Required
Review - Review required by a capability.
- Review
Requirement - Explicit review requirement for a promotion or operation.
- Review
Status Collapse - Explicit record that a projection collapsed one review status into another.
- Scenario
- Reviewable hypothetical, reachable, or counterfactual world.
- Scenario
Changes - Structures changed by a scenario.
- Schema
Mapping - Single mapping inside a schema morphism.
- Schema
Morphism - Morphism describing schema, ontology, or interpretation package evolution.
- Schema
Verification - Verification references for a schema morphism.
- Scope
- Scope in which a witness is valid.
- Source
Ref - Portable reference to source material.
- Subcomplex
Pattern - Minimal subcomplex pattern for exact structural overlap.
- Subgraph
Pattern - Minimal subgraph pattern for exact structural overlap.
- Tradeoff
- Trade-off recorded by a valuation.
- Validity
Interval - Validity interval for a capability.
- Valuation
- Value judgment under an explicit evaluation context.
- Valuation
Criterion - Criterion used in a valuation.
- Verifier
- Verifier used by a derivation.
- Witness
- Observable support or counterexample for a structural judgment.
Enums§
- Capability
Operation - Operation governed by a capability.
- Capability
Status - Capability status.
- Core
Error - Structured, machine-readable errors for core primitive boundaries.
- Correspondence
Kind - Category of relationship represented by a correspondence cell.
- Correspondence
Polarity - Directional or truth-status polarity of a correspondence.
- Correspondence
Validation Code - Stable validation finding code for correspondence invariants.
- Criterion
Direction - Direction for a valuation criterion.
- Derivation
Failure Mode - Derivation failure mode.
- Difference
Kind - Difference category inside a correspondence.
- Difference
Severity - Severity of a difference witness.
- Differing
Structure - Structure that differs across participants.
- Equivalence
Kind - Kind of equivalence asserted by an
EquivalenceClaim. - Gluing
Result - Result of trying to glue participants over overlap witnesses.
- Lifecycle
Status - Candidate lifecycle shared by reviewable core extension objects.
- Order
Type - Valuation ordering mode.
- Overlap
Witness Kind - Kind of overlap witness.
- Participant
Ref - Reference to a structure that participates in a correspondence.
- Policy
Kind - Policy kind.
- Policy
Status - Policy status.
- Review
Status - Human or workflow review state for observed or inferred structure.
- Scenario
Kind - Scenario kind.
- Scenario
Status - Scenario-specific status.
- Schema
Compatibility - Compatibility result for a schema morphism.
- Schema
Mapping Kind - Schema mapping kind.
- Severity
- Impact classification used by downstream model and engine crates.
- Shared
Structure - Shared structure carried by an overlap witness.
- Source
Kind - Category of source material behind an observation or inference.
- Valuation
Value - Primitive valuation value.
- Verification
Status - Status of derivation verification.
- Verifier
Kind - Inference verifier category for a derivation.
- Witness
Status - Review status for a witness.
- Witness
Type - Witness payload category.
Type Aliases§
- Result
- Core-owned result type for fallible primitive APIs.