Contents

.

• AGENTS.md
• CHANGELOG.md
• CONTRIBUTING.md
• GOVERNANCE.md
• RELEASING.md
• SECURITY.md

.github

• PULL_REQUEST_TEMPLATE.md

docs

• verification.md

docs/research

• COMPOSED_GROUND_DERIVATIONS.md
• CONTEXTUAL_COMPOSITION.md
• CYCLE_BOUNDARY.md
• CYCLE_WITNESSES.md
• FINITE_ARITHMETIC.md
• FINITE_TRACES.md
• FRACTAL_COMPLETENESS.md
• GROUND_SYNTAX.md
• HYPERKERNEL_SELF_DERIVATION.md
• HYPERSET_THEORY_ORDINATICS.md
• LAYER_GRAPH.md
• LAYER_PRESERVATION.md
• NATIVE_ACCEPTANCE.md
• NATIVE_TRANSPORT_OBLIGATION.md
• OPERATIONAL_CORRESPONDENCE.md
• PATH_LAYERS.md
• PATH_TRANSPORT.md
• PROOF_AUDIT.md
• QUADRILATERAL_FILTRATION.md
• RECORD_ENCODING.md
• RECORD_MACHINE.md
• RETAINED_EXECUTION.md
• RULE_SUBSTITUTION.md
• SEQUENCING_LAWS.md
• SOURCE_MAP.md
• TERMINAL_RETENTION.md
• UNARY_FORMATION.md

docs/terms

• FRAME.md
• Form.md
• Prop.md
• __template__.md
• apply.md
• congruent.md
• definition.md
• derives.md
• discharge.md
• form-closure.md
• graduation.md
• ground.md
• layer.md
• orbital.md
• semantics.md
• similar.md
• simulation.md
• struct-continues.md
• struct-distinct.md
• struct-orbits.md
• substance.md
• syntax.md

lean4

• README.md

references/precursor

• README.md

references/precursor/hyper-grammar

• 36_meta_closure.math-excerpt.md

references/precursor/hyper-grammar/docs/prerequisites

• 24_fractal_hypergrammar_compression.md
• 45_hyper_information_theory.md
• 46_hypergrammar_and_godel.md
• 47_hypermath.md
• 97_ordinate_hierarchy_ordinatics_ordinetics_ordinaretics.md
• 98_dimensional_transition_operators.md
• 99_language_calculus_downstream_closures.md