process-geometry 0.0.3__py3-none-any.whl

aeg_shakespeare/__init__.py

@@ -0,0 +1,52 @@
+"""Process Geometry compatibility namespace.
+
+The distribution is published as ``process-geometry``.  During the 0.0.x
+transition the import namespace remains ``aeg_shakespeare`` so release identity
+can migrate independently from the larger source/import namespace change.
+
+The root package is intentionally a small navigation surface.  Public concepts
+are organized into four semantic namespaces:
+
+``process`` -> what the process is,
+``presentation`` -> how process history is finitely represented,
+``discovery`` -> how better presentations are searched,
+``analysis`` -> what analytic/geometric language a presentation supports.
+
+Legacy root-level symbol imports from the early 0.0.x research-preview API remain
+available lazily during the namespace migration, but they are no longer part of
+``__all__`` and emit ``DeprecationWarning``.
+"""
+
+from __future__ import annotations
+
+import importlib
+import warnings
+
+from . import analysis, discovery, presentation, process
+
+__version__ = "0.0.3"
+
+__all__ = [
+    "process",
+    "presentation",
+    "discovery",
+    "analysis",
+    "__version__",
+]
+
+
+def __getattr__(name: str):
+    legacy = importlib.import_module("._legacy_api", __name__)
+    if name in getattr(legacy, "__all__", ()):
+        warnings.warn(
+            f"aeg_shakespeare.{name} is a legacy root-level import; "
+            "use the process/presentation/discovery/analysis namespaces instead",
+            DeprecationWarning,
+            stacklevel=2,
+        )
+        return getattr(legacy, name)
+    raise AttributeError(f"module {__name__!r} has no attribute {name!r}")
+
+
+def __dir__():
+    return sorted(set(__all__))

aeg_shakespeare/_legacy_api.py

@@ -0,0 +1,299 @@
+"""AEG Shakespeare: process-representation discovery library."""
+
+from .central import (
+    CocycleVerification,
+    ProcessCocycle,
+    central_commutator_residual,
+    verify_process_cocycle,
+)
+from .construction import (
+    PrimitiveConstruction,
+    PrimitiveProposal,
+    PrimitiveProposalResult,
+    RejectedPrimitiveProposal,
+    SymbolicOperation,
+    generate_primitive_proposals,
+)
+from .constraints import AlgebraicConstraintSet, constraint_prolongation
+from .core import (
+    ProcessSystem,
+    ProcessWord,
+    SearchBudget,
+    homogeneous_monomials,
+    interpret_history,
+)
+from .cost import PresentationCost
+from .discovery import (
+    FirstOrderObservablePresentation,
+    ObservableQuotient,
+    ObservableRelation,
+    PairableAtom,
+    PairingConstruction,
+    PairingSpec,
+    PolynomialInvariant,
+    PolynomialInvariantDiscovery,
+    PolynomialObserverBasis,
+    StructuredObserverProposal,
+    StructuredObserverProposalResult,
+    discover_first_order_process_quotient,
+    discover_observable_relations,
+    discover_polynomial_invariants,
+    euclidean_pairing,
+    factor_process_relation_over_extension,
+    generate_pairing_observers,
+    generate_polynomial_observer_basis,
+    nonstationary_observer_proposals,
+    search_first_order_process_quotients,
+    structural_first_order_quotient_cost,
+)
+from .families import (
+    CharacterVerification,
+    FamilyAction,
+    FamilyActionVerification,
+    FamilyStep,
+    ProcessCharacter,
+    ProcessFamily,
+    character_invariance_residual,
+    transport_process_character,
+    verify_family_action,
+    verify_process_character,
+)
+from .frame import ProcessFrame
+from .function_theory import (
+    AMFunctionTheory,
+    AMPathFlow,
+    AMPowerWeight,
+    AMPrimitive,
+    AMState,
+    AbelJacobiHistoryIncrement,
+    AbelianCycleSystem,
+    AbelianIntegralProfile,
+    AbelianPeriodMatrix,
+    ConstructedRealBranchCycles,
+    GenusOneLattice,
+    HyperellipticDifferential,
+    HyperellipticProfile,
+    LiftedCycleIntersection,
+    LiftedSquareRootPath,
+    NormalizedAbelianTorus,
+    ProcessFunctionModule,
+    RealBranchCutPresentation,
+    RealBranchCycleSpec,
+    SampledIntersectionForm,
+    SampledRiemannProfile,
+    WeierstrassCubicProfile,
+    abel_jacobi_history_increment,
+    abelian_integral_profile,
+    affine_am_frame,
+    canonical_symplectic_form,
+    compute_period_matrix,
+    construct_real_branch_cycles,
+    holomorphic_differential_basis,
+    hyperelliptic_profile,
+    integrate_lifted_differential,
+    lift_square_root_path,
+    lifted_path_intersections,
+    normalized_abelian_torus,
+    polynomial_am_module,
+    real_branch_cut_presentation,
+    sampled_intersection_form,
+    sampled_intersection_number,
+    sampled_riemann_profile,
+    weierstrass_cubic_profile,
+)
+from .grammar import (
+    GeneratedGrammar,
+    GeneratedPresentation,
+    discover_generated_grammar,
+    discover_generated_presentation,
+)
+from .history_geometry import (
+    BoundaryProfile,
+    PrefixCode,
+    PrefixCodeMetrics,
+    boundary_profile,
+    history_depth,
+    huffman_prefix_code,
+)
+from .linear import KrylovReturnRelation, discover_krylov_relation
+from .relations import (
+    ProcessPolynomialRelation,
+    RelationDecomposition,
+    RelationKernel,
+    ReturnRelation,
+    action_matrix,
+    coefficient_vector,
+    decompose,
+    discover_operator_relation,
+    discover_relation_decomposition,
+    discover_relation_kernel,
+    discover_return_relation,
+    factor_process_relation,
+)
+from .rewrite import (
+    RewriteResult,
+    RewriteStep,
+    WordRewriteRule,
+    normalize_word,
+    rewrite_once,
+)
+from .search import (
+    ConstructedPrimitivePresentation,
+    ExactReconstructionPresentation,
+    PresentationCandidate,
+    PresentationSearchResult,
+    construction_aware_exact_reconstruction_cost,
+    evaluate_exact_reconstruction_presentation,
+    pareto_frontier,
+    search_exact_reconstruction_presentations,
+    search_primitive_proposals,
+    structural_exact_reconstruction_cost,
+)
+from .signature import (
+    ProcessJetSignature,
+    enumerate_process_words,
+    histories_task_equivalent,
+    history_process_jet_signature,
+    process_jet_signature,
+    signatures_equivalent,
+)
+
+__all__ = [
+    "CocycleVerification",
+    "ProcessCocycle",
+    "central_commutator_residual",
+    "verify_process_cocycle",
+    "PrimitiveConstruction",
+    "PrimitiveProposal",
+    "PrimitiveProposalResult",
+    "RejectedPrimitiveProposal",
+    "SymbolicOperation",
+    "generate_primitive_proposals",
+    "AlgebraicConstraintSet",
+    "constraint_prolongation",
+    "ProcessSystem",
+    "ProcessWord",
+    "SearchBudget",
+    "homogeneous_monomials",
+    "interpret_history",
+    "PresentationCost",
+    "CharacterVerification",
+    "FamilyAction",
+    "FamilyActionVerification",
+    "FamilyStep",
+    "ProcessCharacter",
+    "ProcessFamily",
+    "character_invariance_residual",
+    "transport_process_character",
+    "verify_family_action",
+    "verify_process_character",
+    "FirstOrderObservablePresentation",
+    "ObservableQuotient",
+    "ObservableRelation",
+    "PairableAtom",
+    "PairingConstruction",
+    "PairingSpec",
+    "PolynomialInvariant",
+    "PolynomialInvariantDiscovery",
+    "PolynomialObserverBasis",
+    "StructuredObserverProposal",
+    "StructuredObserverProposalResult",
+    "discover_first_order_process_quotient",
+    "discover_observable_relations",
+    "discover_polynomial_invariants",
+    "euclidean_pairing",
+    "factor_process_relation_over_extension",
+    "generate_pairing_observers",
+    "generate_polynomial_observer_basis",
+    "nonstationary_observer_proposals",
+    "search_first_order_process_quotients",
+    "structural_first_order_quotient_cost",
+    "ProcessFrame",
+    "AMFunctionTheory",
+    "AMPathFlow",
+    "AMPowerWeight",
+    "AMPrimitive",
+    "AMState",
+    "AbelJacobiHistoryIncrement",
+    "AbelianCycleSystem",
+    "AbelianIntegralProfile",
+    "AbelianPeriodMatrix",
+    "ConstructedRealBranchCycles",
+    "GenusOneLattice",
+    "HyperellipticDifferential",
+    "HyperellipticProfile",
+    "LiftedCycleIntersection",
+    "LiftedSquareRootPath",
+    "NormalizedAbelianTorus",
+    "ProcessFunctionModule",
+    "RealBranchCutPresentation",
+    "RealBranchCycleSpec",
+    "SampledIntersectionForm",
+    "SampledRiemannProfile",
+    "WeierstrassCubicProfile",
+    "abel_jacobi_history_increment",
+    "abelian_integral_profile",
+    "affine_am_frame",
+    "canonical_symplectic_form",
+    "compute_period_matrix",
+    "construct_real_branch_cycles",
+    "holomorphic_differential_basis",
+    "hyperelliptic_profile",
+    "integrate_lifted_differential",
+    "lift_square_root_path",
+    "lifted_path_intersections",
+    "normalized_abelian_torus",
+    "polynomial_am_module",
+    "real_branch_cut_presentation",
+    "sampled_intersection_form",
+    "sampled_intersection_number",
+    "sampled_riemann_profile",
+    "weierstrass_cubic_profile",
+    "GeneratedGrammar",
+    "GeneratedPresentation",
+    "discover_generated_grammar",
+    "discover_generated_presentation",
+    "BoundaryProfile",
+    "PrefixCode",
+    "PrefixCodeMetrics",
+    "boundary_profile",
+    "history_depth",
+    "huffman_prefix_code",
+    "KrylovReturnRelation",
+    "discover_krylov_relation",
+    "ProcessPolynomialRelation",
+    "RelationDecomposition",
+    "RelationKernel",
+    "ReturnRelation",
+    "action_matrix",
+    "coefficient_vector",
+    "decompose",
+    "discover_operator_relation",
+    "discover_relation_decomposition",
+    "discover_relation_kernel",
+    "discover_return_relation",
+    "factor_process_relation",
+    "RewriteResult",
+    "RewriteStep",
+    "WordRewriteRule",
+    "normalize_word",
+    "rewrite_once",
+    "ConstructedPrimitivePresentation",
+    "ExactReconstructionPresentation",
+    "PresentationCandidate",
+    "PresentationSearchResult",
+    "construction_aware_exact_reconstruction_cost",
+    "evaluate_exact_reconstruction_presentation",
+    "pareto_frontier",
+    "search_exact_reconstruction_presentations",
+    "search_primitive_proposals",
+    "structural_exact_reconstruction_cost",
+    "ProcessJetSignature",
+    "enumerate_process_words",
+    "histories_task_equivalent",
+    "history_process_jet_signature",
+    "process_jet_signature",
+    "signatures_equivalent",
+]
+
+__version__ = "0.0.2.dev0"

aeg_shakespeare/analysis/__init__.py

@@ -0,0 +1,12 @@
+"""Process-adapted analytic and geometric languages."""
+
+from . import abelian, algebraic, am, connection, decomposition, module
+
+__all__ = [
+    "module",
+    "am",
+    "algebraic",
+    "abelian",
+    "connection",
+    "decomposition",
+]

aeg_shakespeare/analysis/abelian.py

@@ -0,0 +1,69 @@
+"""Abelian integrals, lifted histories, cycles, periods, and normalized quotients."""
+
+from ..function_theory.abel_jacobi import (
+    AbelJacobiHistoryIncrement,
+    NormalizedAbelianTorus,
+    abel_jacobi_history_increment,
+    normalized_abelian_torus,
+)
+from ..function_theory.abelian import (
+    AbelianIntegralProfile,
+    HyperellipticDifferential,
+    abelian_integral_profile,
+    holomorphic_differential_basis,
+)
+from ..function_theory.intersection import (
+    LiftedCycleIntersection,
+    SampledIntersectionForm,
+    SampledRiemannProfile,
+    canonical_symplectic_form,
+    lifted_path_intersections,
+    sampled_intersection_form,
+    sampled_intersection_number,
+    sampled_riemann_profile,
+)
+from ..function_theory.period_matrix import AbelianCycleSystem, AbelianPeriodMatrix, compute_period_matrix
+from ..function_theory.periods import (
+    GenusOneLattice,
+    LiftedSquareRootPath,
+    integrate_lifted_differential,
+    lift_square_root_path,
+)
+from ..function_theory.real_branch_cycles import (
+    ConstructedRealBranchCycles,
+    RealBranchCutPresentation,
+    RealBranchCycleSpec,
+    construct_real_branch_cycles,
+    real_branch_cut_presentation,
+)
+
+__all__ = [
+    "AbelJacobiHistoryIncrement",
+    "NormalizedAbelianTorus",
+    "abel_jacobi_history_increment",
+    "normalized_abelian_torus",
+    "AbelianIntegralProfile",
+    "HyperellipticDifferential",
+    "abelian_integral_profile",
+    "holomorphic_differential_basis",
+    "LiftedCycleIntersection",
+    "SampledIntersectionForm",
+    "SampledRiemannProfile",
+    "canonical_symplectic_form",
+    "lifted_path_intersections",
+    "sampled_intersection_form",
+    "sampled_intersection_number",
+    "sampled_riemann_profile",
+    "AbelianCycleSystem",
+    "AbelianPeriodMatrix",
+    "compute_period_matrix",
+    "GenusOneLattice",
+    "LiftedSquareRootPath",
+    "integrate_lifted_differential",
+    "lift_square_root_path",
+    "ConstructedRealBranchCycles",
+    "RealBranchCutPresentation",
+    "RealBranchCycleSpec",
+    "construct_real_branch_cycles",
+    "real_branch_cut_presentation",
+]

aeg_shakespeare/analysis/algebraic.py

@@ -0,0 +1,11 @@
+"""Algebraic quotient profiles used to select richer function languages."""
+
+from ..function_theory.algebraic import HyperellipticProfile, hyperelliptic_profile
+from ..function_theory.weierstrass import WeierstrassCubicProfile, weierstrass_cubic_profile
+
+__all__ = [
+    "HyperellipticProfile",
+    "hyperelliptic_profile",
+    "WeierstrassCubicProfile",
+    "weierstrass_cubic_profile",
+]

aeg_shakespeare/analysis/am.py

@@ -0,0 +1,19 @@
+"""Addition/Multiplication process calculus."""
+
+from ..function_theory.am import (
+    AMFunctionTheory,
+    AMPathFlow,
+    AMPowerWeight,
+    AMPrimitive,
+    AMState,
+    affine_am_frame,
+)
+
+__all__ = [
+    "AMFunctionTheory",
+    "AMPathFlow",
+    "AMPowerWeight",
+    "AMPrimitive",
+    "AMState",
+    "affine_am_frame",
+]

aeg_shakespeare/analysis/connection.py

@@ -0,0 +1,74 @@
+"""Experimental observer-connection certificates.
+
+An observer connection is not introduced here as a general principal-bundle
+object.  The current vertical slice records only what the first calibrations
+need: canonicalization provenance, declared base rates, induced observer rates,
+and exact residuals certifying the maintained local condition.
+
+The provenance carrier is generic on purpose.  Exact constraint
+canonicalization is the first backend; later orthogonality, osculation, or
+stationarity backends should be able to produce the same connection record
+without pretending to be algebraic constraints.
+"""
+
+from __future__ import annotations
+
+from dataclasses import dataclass
+from typing import Generic, Mapping, TypeVar
+
+import sympy as sp
+
+CanonicalizationT = TypeVar("CanonicalizationT")
+
+
+@dataclass(frozen=True)
+class ObserverConnection(Generic[CanonicalizationT]):
+    """Local observer transport together with canonicalization provenance."""
+
+    canonicalization: CanonicalizationT
+    base_rates: Mapping[sp.Symbol, sp.Expr]
+    observer_rates: Mapping[sp.Symbol, sp.Expr]
+    residuals: tuple[sp.Expr, ...]
+    label: str = ""
+
+    def __post_init__(self) -> None:
+        object.__setattr__(
+            self,
+            "base_rates",
+            {
+                symbol: sp.expand(sp.sympify(value))
+                for symbol, value in self.base_rates.items()
+            },
+        )
+        object.__setattr__(
+            self,
+            "observer_rates",
+            {
+                symbol: sp.simplify(sp.sympify(value))
+                for symbol, value in self.observer_rates.items()
+            },
+        )
+        object.__setattr__(
+            self,
+            "residuals",
+            tuple(sp.simplify(sp.sympify(value)) for value in self.residuals),
+        )
+
+    @property
+    def certified(self) -> bool:
+        """Whether every supplied canonicalization residual vanishes."""
+
+        return all(sp.simplify(residual) == 0 for residual in self.residuals)
+
+    def rate(self, observer_parameter: sp.Symbol) -> sp.Expr:
+        """Return the induced rate of one observer parameter."""
+
+        try:
+            return sp.sympify(self.observer_rates[observer_parameter])
+        except KeyError as exc:
+            raise KeyError(
+                f"unknown observer parameter: {observer_parameter!r}"
+            ) from exc
+
+
+__all__ = ["ObserverConnection"]

aeg_shakespeare/analysis/decomposition.py

@@ -0,0 +1,37 @@
+"""Experimental evidence record for canonical process decomposition.
+
+The AEG Analysis working principle separates a local process correction into
+three roles before any representation is enlarged:
+
+    renormalizable + resonant/transport + completion.
+
+This module deliberately does not prescribe how those parts are discovered.
+Riccati Lie directions, Kepler function modes, and future discrete/history
+calibrations need different decomposition backends.  The reusable object only
+records the three claimed parts together with caller-defined evidence, following
+the same evidence-bearing discipline as ``PresentationMorphism``.
+"""
+
+from __future__ import annotations
+
+from dataclasses import dataclass
+from typing import Generic, TypeVar
+
+SourceT = TypeVar("SourceT")
+PartT = TypeVar("PartT")
+CertificateT = TypeVar("CertificateT")
+
+
+@dataclass(frozen=True)
+class CanonicalDecomposition(Generic[SourceT, PartT, CertificateT]):
+    """A claimed local split into renormalize / transport / complete sectors."""
+
+    source: SourceT
+    renormalizable: PartT
+    resonant: PartT
+    completion: PartT
+    certificate: CertificateT
+    label: str = ""
+
+
+__all__ = ["CanonicalDecomposition"]

aeg_shakespeare/analysis/module.py

@@ -0,0 +1,5 @@
+"""Finite process-function modules."""
+
+from ..function_theory.module import ProcessFunctionModule, polynomial_am_module
+
+__all__ = ["ProcessFunctionModule", "polynomial_am_module"]

aeg_shakespeare/central.py

@@ -0,0 +1,20 @@
+"""Compatibility shim for the pre-refactor central-residual module path.
+
+New code should import finite process cocycles from
+``aeg_shakespeare.process.finite``.  The implementation now physically lives
+under that semantic namespace.
+"""
+
+from .process.finite.cocycle import (
+    CocycleVerification,
+    ProcessCocycle,
+    central_commutator_residual,
+    verify_process_cocycle,
+)
+
+__all__ = [
+    "ProcessCocycle",
+    "CocycleVerification",
+    "verify_process_cocycle",
+    "central_commutator_residual",
+]