Snapshot research sources
Pinned source observation: . Compare this timestamp with the present time; observation is not scientific revalidation.
main b7deb198722582df191006e4f47238f92e6e543d · Math- a115feebd861119d90a1ea1f9344f685d9535d0e
Current status source · Current research guide · Current proof index
Current mathematical atlas · Snapshot static graph and complete source inventory · Exact snapshot observation payload. Scientific effect: NONE.
Immutable snapshot record · payload SHA-256 7c583e28878d2bf2c94bf37325820bd5eb1e7f3f557e8a78dd27881a27f6548c.
Static mathematical dependency atlas
49 graph nodes · 55 edges · 42 required edges · 13 context edges. These are graph inventory counts.
Graph source: frontiers/downstream_gate_20260925/GRAPH.json · SHA-256 8822e9618678321a342d69cd0b8ae6552de1b5d578c331de5072b2892ee9dd09. The upstream graph may be unchanged while its repository advances.
Every node has static source/evidence reading and required/context neighbor navigation. Graph-to-artifact binding is unresolved; artifact roles and custody are unknown. No classification is promoted here.
- eng.d0-packet-allowlist-fix · engineering ·
AUTHOR_SIDE_CANDIDATE - eng.hard-gate · integrity_control ·
ENGINEERING_CONTROL - eng.main-pr87-crosswalk · engineering ·
HOLD - hist.ALLCELL-FDZ-Q4 · predicate ·
OPEN_HISTORICAL - hist.CH-LIFT · predicate ·
OPEN_ACTIVE - hist.CL_ANTHROPIC_BUNDLE_2026-09-17_v5.zip · carrier ·
BLOCKED_ABSENT - hist.ENV-RESCOV · predicate ·
OPEN_HISTORICAL - hist.LOGQ-TAIL · predicate ·
OPEN_HISTORICAL - hist.OBL-H5-JETMOD · predicate ·
OPEN_HISTORICAL - hist.Piece-2-annulus · predicate ·
OPEN_ACTIVE - hist.SYM-Fw-jet · predicate ·
OPEN_HISTORICAL - hist.allcell_fdz_enclosures.json · carrier ·
BLOCKED_ABSENT - hist.lemma_closed · register ·
FALSE - hist.rnu_env.py · carrier ·
BLOCKED_ABSENT - math.d1-component.congruence-erratum · reading_rule_component ·
PROVED_REVIEWED - math.d1-component.marked-cylinder-cap · reading_rule_component ·
PROVED_REVIEWED - math.d1-component.reconciliation-record · reading_rule_component ·
PROVED_REVIEWED - math.d1-component.section9-replacement-v1_1 · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.annulus-proof · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.annulus-review · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.collar-proof · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.collar-review · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.i5-review-claude · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.i5-review-xai · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.intermediate-window-proof · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.offpin-second-moment-review · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.punctured-pin-continuum-check · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.punctured-pin-continuum-review · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.punctured-pin-proof · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.punctured-pin-review-111 · reading_rule_component ·
PROVED_REVIEWED - math.d5-component.remote-window-proof · reading_rule_component ·
PROVED_REVIEWED - math.d5-pin-neighborhood-first-moment · candidate ·
PROVED_REVIEWED - math.lifetime-remainder · candidate ·
AUTHOR_SIDE_CANDIDATE - math.p15-full-price · candidate ·
AUTHOR_SIDE_CANDIDATE - math.p15-price-boundary · candidate ·
REFUTED - math.rn-count-interface · candidate ·
AUTHOR_SIDE_CANDIDATE - math.rn-fixed-annulus-window · candidate ·
AUTHOR_SIDE_CANDIDATE - math.rn-fixed-remote-window · candidate ·
AUTHOR_SIDE_CANDIDATE - math.rn-mesoscopic-reduction · candidate ·
AUTHOR_SIDE_REDUCTION - math.rn-region.fixed-annulus-window · region ·
COVERED_BY_CANDIDATE - math.rn-region.fixed-remote · region ·
COVERED_BY_CANDIDATE - math.rn-region.intermediate-r-to-rho · region ·
PROVED_REVIEWED - math.rn-region.mesoscopic-scaled-annulus · region ·
PROVED_REVIEWED - math.rn-region.pin-collision · region ·
PROVED_REVIEWED - math.rn-region.witness-collision · region ·
OPEN_ACTIVE - math.rn-selector-region-crosswalk · inventory ·
ENGINEERING_CONTROL - math.side24-coefficient · candidate ·
AUTHOR_SIDE_CANDIDATE - math.uniform-matrix-cap-lifetime · candidate ·
PROVED_REVIEWED - regional.fixed-annulus.high-jet-route · regional_supersession ·
SUPERSEDED_NONBLOCKING
Complete current public source inventory
3155 indexed files at the pinned repository commits. Legacy, quarantine, recovery, scratch and operational paths are excluded from this discovery population.
- main · .github/CODEOWNERS
- main · .github/ISSUE_TEMPLATE/config.yml
- main · .github/ISSUE_TEMPLATE/engineering.yml
- main · .github/ISSUE_TEMPLATE/mathematical-finding.yml
- main · .github/ISSUE_TEMPLATE/review-record.yml
- main · .github/ISSUE_TEMPLATE/task.yml
- main · .github/dependabot.yml
- main · .github/pull_request_template.md
- main · .github/workflows/architecture-casefold-probe.yml
- main · .github/workflows/architecture-runtime-acquisition.yml
- main · .github/workflows/ci.yml
- main · .github/workflows/formal-verification.yml
- main · .github/workflows/interface-runtime-preparation.yml
- main · .github/workflows/museum-conditionals.yml
- main · .github/workflows/navigation.yml
- main · .github/workflows/periodic-h0-pilot.yml
- main · .github/workflows/public-intake-controls.yml
- main · .github/workflows/public-intake.yml
- main · .github/workflows/public-shop.yml
- main · .github/workflows/release-snapshot.yml
- main · .github/workflows/research-architecture.yml
- main · .github/workflows/source-census.yml
- main · .github/workflows/universality-controls.yml
- main · .github/workflows/workspace-landing.yml
- main · .gitignore
- main · AGENTS.md
- main · CITATION.cff
- main · CLAUDE.md
- main · CONTRIBUTING.md
- main · LICENSE
- main · README.md
- main · SECURITY.md
- main · STATUS.md
- main · architecture/__init__.py
- main · architecture/evidence_adapter.py
- main · architecture/graph_export.py
- main · docs/.nojekyll
- main · docs/404.html
- main · docs/BRAND_STYLE.md
- main · docs/DISCOVERY_PRIORITY_LEDGER_20260925.md
- main · docs/FORMAL_REQUIRED_CHECKS.md
- main · docs/FORMAL_VERIFICATION.md
- main · docs/FORMAL_VERIFICATION_ROLLOUT_20260927.md
- main · docs/LANDING_MANIFEST.json
- main · docs/NAVIGATION.json
- main · docs/P15_SPLIT.md
- main · docs/PAPER1_NOTE.md
- main · docs/PERSISTENCE_UNIVERSALITY_PROGRAM.md
- main · docs/PUBLIC_IDENTITY.md
- main · docs/PUBLIC_MATHEMATICS.md
- main · docs/PUBLIC_SHOP_SETUP.md
- main · docs/QUEUE_RECONCILIATION_20260927.md
- main · docs/READER_SPLIT.md
- main · docs/RECON_NOVELTY_20260925.md
- main · docs/RELEASE_DISPATCH_20260926.md
- main · docs/RELEASE_OPERATIONS.md
- main · docs/REPOSITORY_STANDARDS.md
- main · docs/REPRODUCE.md
- main · docs/RESEARCH_INDEX.md
- main · docs/SIMULATION_PROTOCOL.md
- main · docs/STATUS_RECONCILIATION_20260929.json
- main · docs/STATUS_RECONCILIATION_20260929.md
- main · docs/UI_UX_REVIEW_20261003.md
- main · docs/WORKSPACE.md
- main · docs/agents/LEAN_AUDIT_OWNER.md
- main · docs/agents/UI_UX_OWNER.md
- main · docs/index.html
- main · docs/notebooks/README.md
- main · docs/notebooks/SIDE24_PUBLIC_COEFFICIENTS.ipynb
- main · docs/plans/2026-10-08-architecture-evidence-adapter.md
- main · docs/plans/2026-10-08-interface-runtime-preparation.md
- main · docs/plans/2026-10-08-source-isolation-c215.md
- main · docs/plans/2026-10-09-public-runtime-acquisition.md
- main · docs/public-math/README.md
- main · docs/public-math/sources-01.json
- main · docs/public-math/sources-01.md
- main · docs/public-math/sources-02.json
- main · docs/public-math/sources-02.md
- main · docs/public-math/sources-03.json
- main · docs/public-math/sources-03.md
- main · docs/public-math/sources-04.json
- main · docs/public-math/sources-04.md
- main · docs/public-math/sources-05.json
- main · docs/public-math/sources-05.md
- main · docs/public-math/sources-06.json
- main · docs/public-math/sources-06.md
- main · docs/public-math/sources-07.json
- main · docs/public-math/sources-07.md
- main · docs/public-math/sources-08.json
- main · docs/public-math/sources-08.md
- main · docs/public-math/sources-09.json
- main · docs/public-math/sources-09.md
- main · docs/public-math/sources-10.json
- main · docs/public-math/sources-10.md
- main · docs/public-math/sources-11.json
- main · docs/public-math/sources-11.md
- main · docs/public-math/sources-12.json
- main · docs/public-math/sources-12.md
- main · docs/public-math/sources-13.json
- main · docs/public-math/sources-13.md
- main · docs/public-math/sources-14.json
- main · docs/public-math/sources-14.md
- main · docs/public-math/sources.json
- main · docs/reconnaissance/2026-09-27-formal-verification.md
- main · docs/research-translation/20260930/APPENDICES.md
- main · docs/research-translation/20260930/APPENDIX_SOURCES.json
- main · docs/research-translation/20260930/AXIAL_FIRST_MOMENT.md
- main · docs/research-translation/20260930/AXIAL_SOURCES.json
- main · docs/research-translation/20260930/BRIDGE_SOURCES.json
- main · docs/research-translation/20260930/COMPLETION_AUDIT.md
- main · docs/research-translation/20260930/COMPLETION_SOURCES.json
- main · docs/research-translation/20260930/CROSSWALK.md
- main · docs/research-translation/20260930/EXPERIMENT.md
- main · docs/research-translation/20260930/LITERATURE.md
- main · docs/research-translation/20260930/MANUSCRIPT.md
- main · docs/research-translation/20260930/PERSISTENCE_BRIDGE.md
- main · docs/research-translation/20260930/README.md
- main · docs/research-translation/20260930/SOURCES.json
- main · docs/research-translation/20260930/cap-assumption-ablation/PROOF.md
- main · docs/research-translation/20260930/cap-assumption-ablation/RESULTS.json
- main · docs/research-translation/20260930/cap-assumption-ablation/SOURCE_BINDINGS.json
- main · docs/research-translation/20260930/cap-assumption-ablation/probe.py
- main · docs/research-translation/20260930/cap-assumption-ablation/sources/AUDIT.md
- main · docs/research-translation/20260930/cap-assumption-ablation/sources/MARKED_CYLINDER_CAP_PROOF.md
- main · docs/rn_d5_shrinking_witness_20260926.md
- main · docs/site/AGENTS.md
- main · docs/site/CONDITIONAL_ROUTES.md
- main · docs/site/IMPLEMENTATION.md
- main · docs/site/README.md
- main · docs/site/app.js
- main · docs/site/brand.css
- main · docs/site/brand/banner.svg
- main · docs/site/brand/mark.svg
- main · docs/site/brand/tokens.json
- main · docs/site/catalog-query.mjs
- main · docs/site/cite.html
- main · docs/site/cite.mjs
- main · docs/site/conditionals.mjs
- main · docs/site/config.json
- main · docs/site/core.mjs
- main · docs/site/curvature-export.mjs
- main · docs/site/dependencies.css
- main · docs/site/dependencies.html
- main · docs/site/dependencies.mjs
- main · docs/site/dependency-model.mjs
- main · docs/site/dependency-source/GRAPH.json
- main · docs/site/dependency-source/PROVENANCE.json
- main · docs/site/dependency-source/hard_gate.py
- main · docs/site/explore-models.mjs
- main · docs/site/explore-state.mjs
- main · docs/site/explore.css
- main · docs/site/explore.html
- main · docs/site/explore.mjs
- main · docs/site/formal.html
- main · docs/site/geometry.mjs
- main · docs/site/home.css
- main · docs/site/home.mjs
- main · docs/site/index.html
- main · docs/site/measure.html
- main · docs/site/measure.mjs
- main · docs/site/measurement-model.mjs
- main · docs/site/museum.css
- main · docs/site/museum.html
- main · docs/site/museum.json
- main · docs/site/museum.mjs
- main · docs/site/observations.json
- main · docs/site/palette-export.mjs
- main · docs/site/pin-export.mjs
- main · docs/site/reference.css
- main · docs/site/reproduce-copy.mjs
- main · docs/site/reproduce.html
- main · docs/site/research.html
- main · docs/site/source-quote.mjs
- main · docs/site/source-reference.mjs
- main · docs/site/status.json
- main · docs/site/style.css
- main · docs/site/teaching-export.mjs
- main · docs/site/workspace-fragment.mjs
- main · docs/site/workspace.html
- main · docs/superpowers/plans/2026-09-27-release-snapshot.md
- main · docs/superpowers/plans/2026-09-30-periodic-h0-pilot.md
- main · docs/superpowers/plans/2026-09-30-reader-first.md
- main · docs/superpowers/plans/2026-09-30-reproduce-cite.md
- main · docs/superpowers/plans/2026-10-03-evidence-reader.md
- main · docs/superpowers/plans/2026-10-03-parallel-reader-tools.md
- main · docs/superpowers/plans/2026-10-08-persistence-universality.md
- main · docs/superpowers/plans/2026-10-08-research-architecture-plan.md
- main · docs/superpowers/plans/2026-10-08-research-architecture-progress.md
- main · docs/superpowers/specs/2026-09-27-release-snapshot.md
- main · docs/superpowers/specs/2026-09-30-reader-first.md
- main · docs/superpowers/specs/2026-09-30-reproduce-cite.md
- main · docs/superpowers/specs/2026-10-03-evidence-reader-design.md
- main · docs/superpowers/specs/2026-10-08-persistence-universality-design.md
- main · docs/superpowers/specs/2026-10-08-research-architecture-design.md
- main · experiments/periodic_h0/APPROXIMATION.md
- main · experiments/periodic_h0/CONFIRMATION_READINESS.md
- main · experiments/periodic_h0/COUNT_CONFIDENCE.md
- main · experiments/periodic_h0/EXACT_H0.md
- main · experiments/periodic_h0/EXACT_SAMPLE_SHRINKING_BIN.md
- main · experiments/periodic_h0/FINITE_CERTIFICATE.md
- main · experiments/periodic_h0/FINITE_COUNT_LOSS.md
- main · experiments/periodic_h0/GAUSSIAN_COUPLING.md
- main · experiments/periodic_h0/GAUSSIAN_TAIL.md
- main · experiments/periodic_h0/HESSIAN_GRID.md
- main · experiments/periodic_h0/MEAN_ADAPTIVE_CONFIDENCE.md
- main · experiments/periodic_h0/NODAL_CERTIFICATE.md
- main · experiments/periodic_h0/README.md
- main · experiments/periodic_h0/REFINEMENT_PROTOCOL.md
- main · experiments/periodic_h0/WORD_POLYNOMIAL.md
- main · experiments/periodic_h0/controls.py
- main · experiments/periodic_h0/count_confidence.py
- main · experiments/periodic_h0/count_confidence_certificate.py
- main · experiments/periodic_h0/exact_barcode_certificate.py
- main · experiments/periodic_h0/exact_h0.py
- main · experiments/periodic_h0/experiment.py
- main · experiments/periodic_h0/finite_certificate.py
- main · experiments/periodic_h0/finite_count_loss.py
- main · experiments/periodic_h0/finite_count_loss_certificate.py
- main · experiments/periodic_h0/gaussian_coupling.py
- main · experiments/periodic_h0/gaussian_coupling_certificate.py
- main · experiments/periodic_h0/gaussian_tail.py
- main · experiments/periodic_h0/gaussian_tail_certificate.py
- main · experiments/periodic_h0/hessian_grid_certificate.py
- main · experiments/periodic_h0/hessian_grid_core.py
- main · experiments/periodic_h0/mean_adaptive_confidence.py
- main · experiments/periodic_h0/nodal_certificate.py
- main · experiments/periodic_h0/nodal_core.py
- main · experiments/periodic_h0/pilot_config.json
- main · experiments/periodic_h0/refinement.py
- main · experiments/periodic_h0/refinement_config.json
- main · experiments/periodic_h0/render_refinement.py
- main · experiments/periodic_h0/render_report.py
- main · experiments/periodic_h0/requirements-plot.txt
- main · experiments/periodic_h0/requirements.txt
- main · experiments/periodic_h0/results/certificate8/CERTIFICATE.json
- main · experiments/periodic_h0/results/certificate8/COEFFICIENTS.json
- main · experiments/periodic_h0/results/certificate8/RESULTS.md
- main · experiments/periodic_h0/results/certificate8/RUN.json
- main · experiments/periodic_h0/results/certificate8/RUN.sha256
- main · experiments/periodic_h0/results/count_confidence1/CERTIFICATE.json
- main · experiments/periodic_h0/results/count_confidence1/RESULTS.md
- main · experiments/periodic_h0/results/count_confidence1/RUN.json
- main · experiments/periodic_h0/results/count_confidence1/RUN.sha256
- main · experiments/periodic_h0/results/exact_h0_1/CERTIFICATE.json
- main · experiments/periodic_h0/results/exact_h0_1/RESULTS.md
- main · experiments/periodic_h0/results/exact_h0_1/RUN.json
- main · experiments/periodic_h0/results/exact_h0_1/RUN.sha256
- main · experiments/periodic_h0/results/finite_count_loss1/CERTIFICATE.json
- main · experiments/periodic_h0/results/finite_count_loss1/RESULTS.md
- main · experiments/periodic_h0/results/finite_count_loss1/RUN.json
- main · experiments/periodic_h0/results/finite_count_loss1/RUN.sha256
- main · experiments/periodic_h0/results/gaussian_coupling1/CERTIFICATE.json
- main · experiments/periodic_h0/results/gaussian_coupling1/RESULTS.md
- main · experiments/periodic_h0/results/gaussian_coupling1/RUN.json
- main · experiments/periodic_h0/results/gaussian_coupling1/RUN.sha256
- main · experiments/periodic_h0/results/gaussian_tail1/CERTIFICATE.json
- main · experiments/periodic_h0/results/gaussian_tail1/RESULTS.md
- main · experiments/periodic_h0/results/gaussian_tail1/RUN.json
- main · experiments/periodic_h0/results/gaussian_tail1/RUN.sha256
- main · experiments/periodic_h0/results/hessian1/CERTIFICATE.json
- main · experiments/periodic_h0/results/hessian1/RESULTS.md
- main · experiments/periodic_h0/results/hessian1/RUN.json
- main · experiments/periodic_h0/results/hessian1/RUN.sha256
- main · experiments/periodic_h0/results/nodal1/CERTIFICATE.json
- main · experiments/periodic_h0/results/nodal1/RESULTS.md
- main · experiments/periodic_h0/results/nodal1/RUN.json
- main · experiments/periodic_h0/results/nodal1/RUN.sha256
- main · experiments/periodic_h0/results/nodal1/SAMPLES.json
- main · experiments/periodic_h0/results/pilot32/RESULTS.md
- main · experiments/periodic_h0/results/pilot32/RUN.json
- main · experiments/periodic_h0/results/pilot32/comparison.svg
- main · experiments/periodic_h0/results/pilot32/observations.json
- main · experiments/periodic_h0/results/refinement8/RESULTS.md
- main · experiments/periodic_h0/results/refinement8/RUN.json
- main · experiments/periodic_h0/results/refinement8/observations.json
- main · experiments/periodic_h0/results/refinement8/refinement.svg
- main · experiments/periodic_h0/results/word_polynomial1/CERTIFICATE.json
- main · experiments/periodic_h0/results/word_polynomial1/RESULTS.md
- main · experiments/periodic_h0/results/word_polynomial1/RUN.json
- main · experiments/periodic_h0/results/word_polynomial1/RUN.sha256
- main · experiments/periodic_h0/run_certificate.py
- main · experiments/periodic_h0/run_nodal_certificate.py
- main · experiments/periodic_h0/run_pilot.py
- main · experiments/periodic_h0/run_refinement.py
- main · experiments/periodic_h0/spectral_shrinking_bins/PROOF.md
- main · experiments/periodic_h0/spectral_shrinking_bins/README.md
- main · experiments/periodic_h0/spectral_shrinking_bins/SOURCES.json
- main · experiments/periodic_h0/test_controls.py
- main · experiments/periodic_h0/test_count_confidence.py
- main · experiments/periodic_h0/test_count_confidence_certificate.py
- main · experiments/periodic_h0/test_exact_barcode_certificate.py
- main · experiments/periodic_h0/test_exact_h0.py
- main · experiments/periodic_h0/test_experiment.py
- main · experiments/periodic_h0/test_finite_certificate.py
- main · experiments/periodic_h0/test_finite_count_loss.py
- main · experiments/periodic_h0/test_finite_count_loss_certificate.py
- main · experiments/periodic_h0/test_gaussian_coupling.py
- main · experiments/periodic_h0/test_gaussian_coupling_certificate.py
- main · experiments/periodic_h0/test_gaussian_tail.py
- main · experiments/periodic_h0/test_gaussian_tail_certificate.py
- main · experiments/periodic_h0/test_hessian_grid_certificate.py
- main · experiments/periodic_h0/test_hessian_grid_core.py
- main · experiments/periodic_h0/test_mean_adaptive_confidence.py
- main · experiments/periodic_h0/test_nodal_certificate.py
- main · experiments/periodic_h0/test_nodal_core.py
- main · experiments/periodic_h0/test_refinement.py
- main · experiments/periodic_h0/test_runner.py
- main · experiments/periodic_h0/test_word_polynomial.py
- main · experiments/periodic_h0/test_word_polynomial_certificate.py
- main · experiments/periodic_h0/word_polynomial.py
- main · experiments/periodic_h0/word_polynomial_certificate.py
- main · experiments/universality/PROTOCOL.md
- main · experiments/universality/README.md
- main · experiments/universality/VALIDATION.md
- main · experiments/universality/finite_candidate_lifetime/PROOF.md
- main · experiments/universality/finite_candidate_lifetime/REVIEW.md
- main · experiments/universality/finite_contact_genericity/PROOF.md
- main · experiments/universality/finite_contact_genericity/REVIEW.md
- main · experiments/universality/finite_elder_transfer/PROOF.md
- main · experiments/universality/finite_elder_transfer/REVIEW.md
- main · experiments/universality/finite_fold_chart/PROOF.md
- main · experiments/universality/finite_fold_chart/REVIEW.md
- main · experiments/universality/finite_gaussian_contact/PROOF.md
- main · experiments/universality/finite_gaussian_contact/REVIEW.md
- main · experiments/universality/finite_h0_lifetime/PROOF.md
- main · experiments/universality/finite_h0_lifetime/REVIEW.md
- main · experiments/universality/finite_weighted_fold_window/PROOF.md
- main · experiments/universality/finite_weighted_fold_window/REVIEW.md
- main · experiments/universality/fold_controls.py
- main · experiments/universality/fold_structural_universality/PROOF.md
- main · experiments/universality/fold_structural_universality/REVIEW.md
- main · experiments/universality/iid_short_bar_process/PROOF.md
- main · experiments/universality/iid_short_bar_process/REVIEW.md
- main · experiments/universality/models.json
- main · experiments/universality/models.py
- main · experiments/universality/periodized_gaussian_h0/PROOF.md
- main · experiments/universality/periodized_gaussian_h0/REVIEW.md
- main · experiments/universality/results/exploratory50/observations.json
- main · experiments/universality/results/exploratory50/validation.json
- main · experiments/universality/run_pilot.py
- main · experiments/universality/test_fold_controls.py
- main · experiments/universality/test_models.py
- main · experiments/universality/test_pilot.py
- main · experiments/universality/test_published.py
- main · experiments/universality/verify_published.py
- main · experiments/zeta_fold_exploration/CLAIMS.md
- main · experiments/zeta_fold_exploration/MANIFEST.json
- main · experiments/zeta_fold_exploration/README.md
- main · experiments/zeta_fold_exploration/dbn/check_collision.py
- main · experiments/zeta_fold_exploration/dbn/check_collision_persistence.py
- main · experiments/zeta_fold_exploration/dbn/check_dbn_basic.py
- main · experiments/zeta_fold_exploration/dbn/collision_table.py
- main · experiments/zeta_fold_exploration/dbn/count_check.py
- main · experiments/zeta_fold_exploration/dbn/dbn_common.py
- main · experiments/zeta_fold_exploration/dbn/fold_analyze.py
- main · experiments/zeta_fold_exploration/dbn/fold_check.py
- main · experiments/zeta_fold_exploration/dbn/hflow.py
- main · experiments/zeta_fold_exploration/dbn/indep_collision.py
- main · experiments/zeta_fold_exploration/dbn/indep_ht.py
- main · experiments/zeta_fold_exploration/dbn/kappa_check.py
- main · experiments/zeta_fold_exploration/dbn/kappa_indep_degree6.py
- main · experiments/zeta_fold_exploration/dbn/kappa_indep_random.py
- main · experiments/zeta_fold_exploration/dbn/lobe_identity.py
- main · experiments/zeta_fold_exploration/dbn/pers1d.py
- main · experiments/zeta_fold_exploration/dbn/refine_check.py
- main · experiments/zeta_fold_exploration/dbn/smoke_hflow.py
- main · experiments/zeta_fold_exploration/dbn/track.py
- main · experiments/zeta_fold_exploration/dbn/validate_H0.py
- main · experiments/zeta_fold_exploration/dbn/zero_velocity.py
- main · experiments/zeta_fold_exploration/dbn/zeros.py
- main · experiments/zeta_fold_exploration/make_manifest.py
- main · experiments/zeta_fold_exploration/requirements-plot.txt
- main · experiments/zeta_fold_exploration/requirements.txt
- main · experiments/zeta_fold_exploration/results/dbn/check_collision.out
- main · experiments/zeta_fold_exploration/results/dbn/check_collision_persistence.out
- main · experiments/zeta_fold_exploration/results/dbn/check_dbn_basic.out
- main · experiments/zeta_fold_exploration/results/dbn/collision_events.csv
- main · experiments/zeta_fold_exploration/results/dbn/collision_point.json
- main · experiments/zeta_fold_exploration/results/dbn/count_1_103_-1.87.out
- main · experiments/zeta_fold_exploration/results/dbn/count_1_103_-1.89.out
- main · experiments/zeta_fold_exploration/results/dbn/count_1_103_0.out
- main · experiments/zeta_fold_exploration/results/dbn/count_1_270_-0.38.out
- main · experiments/zeta_fold_exploration/results/dbn/count_1_270_-0.39.out
- main · experiments/zeta_fold_exploration/results/dbn/count_1_270_0.out
- main · experiments/zeta_fold_exploration/results/dbn/fold_analyze.out
- main · experiments/zeta_fold_exploration/results/dbn/fold_pair34_35.csv
- main · experiments/zeta_fold_exploration/results/dbn/fold_pair34_35.json
- main · experiments/zeta_fold_exploration/results/dbn/fold_pair34_35.out
- main · experiments/zeta_fold_exploration/results/dbn/fold_pair9_10.csv
- main · experiments/zeta_fold_exploration/results/dbn/fold_pair9_10.json
- main · experiments/zeta_fold_exploration/results/dbn/fold_pair9_10.out
- main · experiments/zeta_fold_exploration/results/dbn/fold_tau_r_ell.csv
- main · experiments/zeta_fold_exploration/results/dbn/indep_collision.out
- main · experiments/zeta_fold_exploration/results/dbn/indep_ht_c3435.out
- main · experiments/zeta_fold_exploration/results/dbn/indep_ht_c910.out
- main · experiments/zeta_fold_exploration/results/dbn/indep_ht_xi.out
- main · experiments/zeta_fold_exploration/results/dbn/kappa_check.out
- main · experiments/zeta_fold_exploration/results/dbn/kappa_indep_degree6.out
- main · experiments/zeta_fold_exploration/results/dbn/kappa_indep_random.out
- main · experiments/zeta_fold_exploration/results/dbn/lobe_identity.out
- main · experiments/zeta_fold_exploration/results/dbn/refine_check.out
- main · experiments/zeta_fold_exploration/results/dbn/smoke_hflow.out
- main · experiments/zeta_fold_exploration/results/dbn/track_log_low10.txt
- main · experiments/zeta_fold_exploration/results/dbn/track_log_z270.txt
- main · experiments/zeta_fold_exploration/results/dbn/track_low10.out
- main · experiments/zeta_fold_exploration/results/dbn/track_low10_dt_sensitivity.out
- main · experiments/zeta_fold_exploration/results/dbn/track_z270.out
- main · experiments/zeta_fold_exploration/results/dbn/validate_H0.out
- main · experiments/zeta_fold_exploration/results/dbn/zero_velocity.out
- main · experiments/zeta_fold_exploration/results/raw/.gitignore
- main · experiments/zeta_fold_exploration/results/stats/Z_grid_5000_5200_persistence.out
- main · experiments/zeta_fold_exploration/results/stats/Z_grid_600_900_persistence.out
- main · experiments/zeta_fold_exploration/results/stats/barcode_bruteforce.out
- main · experiments/zeta_fold_exploration/results/stats/block_sensitivity.json
- main · experiments/zeta_fold_exploration/results/stats/check_gue_transfer.out
- main · experiments/zeta_fold_exploration/results/stats/cue128_info.json
- main · experiments/zeta_fold_exploration/results/stats/cue12_info.json
- main · experiments/zeta_fold_exploration/results/stats/cue_endpoint_check.out
- main · experiments/zeta_fold_exploration/results/stats/cue_gap_shape.out
- main · experiments/zeta_fold_exploration/results/stats/ecdf_bars_lobes.csv
- main · experiments/zeta_fold_exploration/results/stats/ecdf_gaps.csv
- main · experiments/zeta_fold_exploration/results/stats/effective_exponent_bars.svg
- main · experiments/zeta_fold_exploration/results/stats/effective_exponent_gaps.svg
- main · experiments/zeta_fold_exploration/results/stats/gauss_hidden.out
- main · experiments/zeta_fold_exploration/results/stats/gauss_info.json
- main · experiments/zeta_fold_exploration/results/stats/local_slopes.csv
- main · experiments/zeta_fold_exploration/results/stats/localamp_baseline.out
- main · experiments/zeta_fold_exploration/results/stats/matched_tail.json
- main · experiments/zeta_fold_exploration/results/stats/rs_spot_check.out
- main · experiments/zeta_fold_exploration/results/stats/rs_validation.json
- main · experiments/zeta_fold_exploration/results/stats/sample_5000.log
- main · experiments/zeta_fold_exploration/results/stats/sample_600.log
- main · experiments/zeta_fold_exploration/results/stats/summary.json
- main · experiments/zeta_fold_exploration/results/stats/zeta_A_info.json
- main · experiments/zeta_fold_exploration/results/stats/zeta_B_info.json
- main · experiments/zeta_fold_exploration/results/stats/zeta_quad_check.json
- main · experiments/zeta_fold_exploration/results/theta/check_theta.out
- main · experiments/zeta_fold_exploration/results/theta/fold_controls_rerun.out
- main · experiments/zeta_fold_exploration/results/theta/project_theta_checks.out
- main · experiments/zeta_fold_exploration/stats/analyze.py
- main · experiments/zeta_fold_exploration/stats/barcode_bruteforce.py
- main · experiments/zeta_fold_exploration/stats/block_sensitivity.py
- main · experiments/zeta_fold_exploration/stats/check_Z_persistence.py
- main · experiments/zeta_fold_exploration/stats/check_gauss.py
- main · experiments/zeta_fold_exploration/stats/check_gue_transfer.py
- main · experiments/zeta_fold_exploration/stats/check_zeta_quad.py
- main · experiments/zeta_fold_exploration/stats/cue.py
- main · experiments/zeta_fold_exploration/stats/cue_endpoint_check.py
- main · experiments/zeta_fold_exploration/stats/cue_gap_shape.py
- main · experiments/zeta_fold_exploration/stats/gauss_hidden.py
- main · experiments/zeta_fold_exploration/stats/gauss_proc.py
- main · experiments/zeta_fold_exploration/stats/localamp_baseline.py
- main · experiments/zeta_fold_exploration/stats/make_plots.py
- main · experiments/zeta_fold_exploration/stats/matched_tail.py
- main · experiments/zeta_fold_exploration/stats/rs_spot_check.py
- main · experiments/zeta_fold_exploration/stats/rs_zeta.py
- main · experiments/zeta_fold_exploration/stats/sample_Z.py
- main · experiments/zeta_fold_exploration/stats/stats_paths.py
- main · experiments/zeta_fold_exploration/test_exact.py
- main · experiments/zeta_fold_exploration/test_numeric.py
- main · experiments/zeta_fold_exploration/theta/check_theta.py
- main · experiments/zeta_fold_exploration/theta/project_theta_checks.py
- main · formal/ALIGNMENT.md
- main · formal/GLOSSARY.md
- main · formal/README.md
- main · formal/REVIEW_LANE.md
- main · formal/SCOPE.md
- main · formal/UniversalLaw.lean
- main · formal/UniversalLaw/Side24/ConeMoments.lean
- main · formal/UniversalLaw/Side24/Endpoints.lean
- main · formal/UniversalLaw/Side24/Ledger.lean
- main · formal/lake-manifest.json
- main · formal/lakefile.toml
- main · formal/lean-toolchain
- main · formal/manifest.json
- main · formal/reviews/README.md
- main · formal/reviews/TEMPLATE_alignment_review.json
- main · formal/sources/side24_v1/ENCLOSURE.json
- main · formal/sources/side24_v1/PROOF.md
- main · governance/OP-ACCESS-20261007.md
- main · governance/OP-AUTONOMY-20260923-v2.1.md
- main · governance/OP-CLOSURE-EVIDENCE-20261006.md
- main · governance/OP-MILESTONE-AUDITS-20261001.md
- main · governance/OP-PRIVACY-20260927.md
- main · governance/OP-WORKFLOW-20260930.md
- main · governance/OWNER_DECISION_20261005_CURSOR.md
- main · governance/OWNER_DECISION_20261006_SURFACES.md
- main · governance/OWNER_STOP_20260927.md
- main · incoming/chatgpt-cl46-custody-crosscheck-20260928/CUSTODY_CROSSCHECK.json
- main · incoming/chatgpt-cl46-custody-crosscheck-20260928/IDENTITY.json
- main · incoming/chatgpt-cl46-custody-crosscheck-20260928/RESULT.md
- main · incoming/claude-bundle-v3-native-copies-20260928/IDENTITY.json
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/OPTIMIZATION_ANALYSIS.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v3/LPW_CONSTANT_V3_REPORT.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v3/RECEIPTS_ERRATA_2026-09-15.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v3/lpw_constant_v3.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v4/CHANGED_INTERFACES_REVIEW.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v4/LPW_CONSTANT_V4_REPORT.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v4/MANIFEST.sha256.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v4/RECEIPT.json
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/LPW_CONSTANT/v4/lpw_constant_v4.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/00_EXECUTIVE_STATE.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/ADDENDUM_2026-09-15_B4LOC_PERC_DECAY.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/ADDENDUM_2026-09-15_H3_BAND_FLOOR.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/ADVERSARIAL_REPORT.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/DEPENDENCY_DAG.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/OBLIGATION_LEDGER.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/PACKAGE_VERIFICATION.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/RUNNING_TASKS.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/SOURCE_CAPSULE.sha256.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/THEOREM_TABLE.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/RETURN_06/TREE_MANIFEST.sha256.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/B4LOC_damline/B4LOC_DAMLINE.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/B4LOC_damline/FREEZE.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/B4LOC_damline/b4loc_driver.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/B4LOC_damline/b4loc_falsifier.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/B4LOC_damline/t_normal.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/BRANCH_dir/BRANCH_DIR.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/BRANCH_dir/BRANCH_DIR_RECEIPTS_ERRATA_2026-09-15.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/D1_assembly/D1_V2_2_RECEIPTS.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/D1_assembly/d1_falsify_v3.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/D3_percolation/D3_REMOTE_AMENDMENT_v2.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/D3_percolation/FREEZE_PERC_DECAY.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/D3_percolation/d3_perc_decay.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/H3_BAND_CEIL.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/H3_BAND_FLOOR.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/MANIFEST.sha256.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/RECEIPT_h3.json
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/band_normal.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/ceil_normal.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/h3_band_ceil.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H3_closure/h3_band_floor.py.txt
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/UPPER2D/H5_closure/H5_CLOSURE_TIGHTENING_2026-09-15.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/W3_numerics/W3_REPORT.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/W8_lambda/KIMI-DER-027c_NONCLOSURE.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/agent-tree-19fcef2e/work/PHASE2_SCOPE.md
- main · incoming/claude-bundle-v3-native-copies-20260928/K3_SIDE24_LB/agent-tree-19fcef2e/work/PHASE2_STATUS.md
- main · incoming/claude-bundle-v3-native-copies-20260928/RESULT.md
- main · incoming/claude-bundle-v3-native-copies-20260928/SOURCE_MAP.json
- main · incoming/grok-session-20260926-replay/A2_RESIDUAL_GAP.md
- main · incoming/grok-session-20260926-replay/A3_BF_D2_CONTACT.md
- main · incoming/grok-session-20260926-replay/A3_TYPE_CONVERGENCE.md
- main · incoming/grok-session-20260926-replay/A3_UI_MAJORANT.md
- main · incoming/grok-session-20260926-replay/A_M_TO_A0.md
- main · incoming/grok-session-20260926-replay/BF_D2_CONTACT_A0.md
- main · incoming/grok-session-20260926-replay/BF_TRANSVERSE_EXACT.md
- main · incoming/grok-session-20260926-replay/BF_WTWS_SCHUR.md
- main · incoming/grok-session-20260926-replay/C006_ARM1C_V2_INGEST.md
- main · incoming/grok-session-20260926-replay/CLAUDE_FILES_1_6_MAP.md
- main · incoming/grok-session-20260926-replay/CLOSED_BF_WTWS.md
- main · incoming/grok-session-20260926-replay/CONDITION_ND_EXTRACT.md
- main · incoming/grok-session-20260926-replay/CUBIC_B4_AND_C5_DIAGNOSTIC.md
- main · incoming/grok-session-20260926-replay/D1_INTERFACE_TABLE.md
- main · incoming/grok-session-20260926-replay/D5_MISSING_INEQUALITY.md
- main · incoming/grok-session-20260926-replay/D5_REPLAY_AND_TYPE.md
- main · incoming/grok-session-20260926-replay/EMBEDDED_CHART_AND_MORSE.md
- main · incoming/grok-session-20260926-replay/ERRATUM_CONGRUENCE.md
- main · incoming/grok-session-20260926-replay/FILE3_CUBIC_LEFTOVER.md
- main · incoming/grok-session-20260926-replay/FINITE_R_WTWS_SCHUR.md
- main · incoming/grok-session-20260926-replay/GV_SPECTRUM_AND_P3.md
- main · incoming/grok-session-20260926-replay/HESSIAN_JET_SIX_PINS.md
- main · incoming/grok-session-20260926-replay/IDENTITY.json
- main · incoming/grok-session-20260926-replay/INVENTORY.md
- main · incoming/grok-session-20260926-replay/MUSEUM_TRIAGE.md
- main · incoming/grok-session-20260926-replay/ND_14FRAME_AND_GCJA_C2.md
- main · incoming/grok-session-20260926-replay/ND_CUBIC_SLAVING.md
- main · incoming/grok-session-20260926-replay/O1_PART_B_AND_GATES.md
- main · incoming/grok-session-20260926-replay/PAIRING_IMPLICATION_GAP.md
- main · incoming/grok-session-20260926-replay/REPLAY.json
- main · incoming/grok-session-20260926-replay/RESULT.md
- main · incoming/grok-session-20260926-replay/SECOND_PASS.md
- main · incoming/grok-session-20260926-replay/SECTION7_FAR_BRANCH.md
- main · incoming/grok-session-20260926-replay/SECTION7_MGE2.md
- main · incoming/grok-session-20260926-replay/SESSION_LEDGER.md
- main · incoming/grok-session-20260926-replay/STATUS_PIN_NOTE.md
- main · incoming/side24-chart-claude-20260926/IDENTITY.json
- main · incoming/side24-chart-claude-20260926/RESULT.md
- main · incoming/side24-chart-claude-20260926/chart_side24_d2_d3.png
- main · incoming/side24-chart-claude-20260926/identity_detail.json
- main · incoming/side24-chart-claude-20260926/output.json
- main · incoming/side24-chart-claude-20260926/regeneration/coefficient_run.txt
- main · incoming/side24-chart-claude-20260926/regeneration/test_run.txt
- main · incoming/side24-chart-claude-20260926/source/ENCLOSURE.json
- main · incoming/side24-identity-replay-20260926/IDENTITY.json
- main · incoming/side24-identity-replay-20260926/RESULT.md
- main · incoming/side24-identity-replay-20260926/output.json
- main · interface/package-lock.json
- main · interface/package.json
- main · reviews/continuation_audit_20261005/REPORT.md
- main · reviews/grok_uploads_20260926/PART1_MAIN_PACKETS_AND_MATH_DRAFTS.md
- main · reviews/grok_uploads_20260926/PART2_PROVENANCE_PR85_CYCLE4.md
- main · reviews/grok_uploads_20260926/PART3_CURSOR_REVIEW_LANE.md
- main · reviews/grok_uploads_20260926/PART4_STATUS_D3_D4.md
- main · reviews/grok_uploads_20260926/REVIEW.md
- main · reviews/grok_uploads_20260926/checks/d5_detHS_scaling.py
- main · reviews/grok_uploads_20260926/checks/pr82_quartic_det_check.py
- main · reviews/lb_rate_thm023_landing_20260926/REVIEW.md
- main · reviews/lean_probability_alignment_20261005/REVIEW_272_20.md
- main · reviews/lean_probability_alignment_20261005/VALIDATION.md
- main · reviews/lean_probability_alignment_20261005/VERIFICATION_29.md
- main · reviews/lean_probability_alignment_20261005/alignment_272_20.json
- main · reviews/owner_review_20260930/README.md
- main · reviews/sard_g_a1_a6_20260926/REVIEW.md
- main · reviews/sard_g_successor_a1_a6_20260926/REVIEW.md
- main · tests/browser-requirements.txt
- main · tests/casefold/test_source_isolation_casefold.py
- main · tests/fixtures/cumulative_transfer_source.txt
- main · tests/fixtures/formal_scope_cc2989.md
- main · tests/fixtures/museum_fixture.mjs
- main · tests/fixtures/status_f2e432e.md
- main · tests/test_architecture_binding.py
- main · tests/test_architecture_evidence_adapter.py
- main · tests/test_architecture_graph_export.py
- main · tests/test_architecture_receipt.py
- main · tests/test_architecture_sandbox.py
- main · tests/test_brand_identity.mjs
- main · tests/test_catalog_query.mjs
- main · tests/test_curvature_export.mjs
- main · tests/test_d5_shrinking_witness.py
- main · tests/test_dependency_viewer.mjs
- main · tests/test_dropbox_reconcile.py
- main · tests/test_exact_sample_shrinking_bin.py
- main · tests/test_explore_models.mjs
- main · tests/test_formal_execution_context.py
- main · tests/test_formal_gate.py
- main · tests/test_formal_workflow_shell.py
- main · tests/test_measurement_model.mjs
- main · tests/test_museum_conditionals.mjs
- main · tests/test_museum_conditionals_cli.mjs
- main · tests/test_museum_conditionals_paths.mjs
- main · tests/test_museum_conditionals_startup.mjs
- main · tests/test_museum_data.py
- main · tests/test_museum_frontend.mjs
- main · tests/test_museum_geometry.mjs
- main · tests/test_museum_identity.mjs
- main · tests/test_navigation.py
- main · tests/test_palette_export.mjs
- main · tests/test_pin_export.mjs
- main · tests/test_public_intake.py
- main · tests/test_public_intake_artifact_identity_control.py
- main · tests/test_public_shop_app.mjs
- main · tests/test_public_shop_browser_contract.py
- main · tests/test_public_shop_check_identity_control.py
- main · tests/test_public_shop_data.py
- main · tests/test_public_shop_frontend.mjs
- main · tests/test_reader_links.py
- main · tests/test_reader_navigation.mjs
- main · tests/test_release_snapshot.py
- main · tests/test_required_formal_binding_control.py
- main · tests/test_required_formal_check.py
- main · tests/test_research_delivery.py
- main · tests/test_site_asset_release.py
- main · tests/test_source_quote.mjs
- main · tests/test_source_reference.mjs
- main · tests/test_teaching_export.mjs
- main · tests/test_workspace_landing.py
- main · tests/test_workspace_navigation.mjs
- main · tools/architecture_check_binding.py
- main · tools/architecture_evidence_adapter.py
- main · tools/architecture_run_receipt.py
- main · tools/formal_execution_context.py
- main · tools/formal_gate_check.py
- main · tools/museum_check.py
- main · tools/museum_conditionals.mjs
- main · tools/museum_data.py
- main · tools/navigation_check.py
- main · tools/proof_graph_export.py
- main · tools/public_intake_check.py
- main · tools/public_shop_browser_check.py
- main · tools/public_shop_check.py
- main · tools/public_shop_data.py
- main · tools/release_snapshot.py
- main · tools/required_formal_check.py
- main · tools/research_delivery.py
- main · tools/site_asset_release.py
- main · tools/source_census_20260927/README.md
- main · tools/source_census_20260927/source_census.py
- main · tools/source_census_20260927/test_source_census.py
- main · tools/source_census_20260927/test_unpack_sources.py
- main · tools/source_census_20260927/test_workflow_nonzero_discovery.py
- main · tools/source_census_20260927/unpack_sources.py
- main · tools/workspace_landing_check.py
- Math- · .claude/skills/babysit/SKILL.md
- Math- · .claude/skills/steward/SKILL.md
- Math- · .gitattributes
- Math- · .github/CODEOWNERS
- Math- · .github/dependabot.yml
- Math- · .github/workflows/annulus-bridge.yml
- Math- · .github/workflows/axial-density-review.yml
- Math- · .github/workflows/bf-six-pin-scalar.yml
- Math- · .github/workflows/c026-reciprocal.yml
- Math- · .github/workflows/c2-exact.yml
- Math- · .github/workflows/c2-finite-jet-transfer.yml
- Math- · .github/workflows/c2-interval-audit.yml
- Math- · .github/workflows/c2-torus-transfer.yml
- Math- · .github/workflows/c6-cluster-coefficients-numerics.yml
- Math- · .github/workflows/c6-cluster-law.yml
- Math- · .github/workflows/c6-count-cap-boundary.yml
- Math- · .github/workflows/c6-factorial-moment.yml
- Math- · .github/workflows/c6-fourier-cutoff.yml
- Math- · .github/workflows/c6-hard-direction-factorization.yml
- Math- · .github/workflows/c6-marked-fourier.yml
- Math- · .github/workflows/c6-microscopic-tail-numerics.yml
- Math- · .github/workflows/c6-palm-route.yml
- Math- · .github/workflows/c6-rare-cluster-laws.yml
- Math- · .github/workflows/c6-remote-coefficient-d3-numerics.yml
- Math- · .github/workflows/c6-remote-coefficient-numerics.yml
- Math- · .github/workflows/c6-residual-closure.yml
- Math- · .github/workflows/c6-sharpened.yml
- Math- · .github/workflows/c6-tail-constant-certified.yml
- Math- · .github/workflows/c6-witness-collision-reconciliation.yml
- Math- · .github/workflows/c7-nonvanishing-review.yml
- Math- · .github/workflows/c7-total-bounded.yml
- Math- · .github/workflows/c7-zero-gap.yml
- Math- · .github/workflows/c8-cap-failure-coefficient-dims.yml
- Math- · .github/workflows/c8-cap-failure-coefficient-planar.yml
- Math- · .github/workflows/c8-elder-failure-coefficient.yml
- Math- · .github/workflows/c8-lifetime-difference-constant.yml
- Math- · .github/workflows/c8-normalizer-floor-planar.yml
- Math- · .github/workflows/c8-theorem-a-constants-d3.yml
- Math- · .github/workflows/c8-theorem-a-constants-planar.yml
- Math- · .github/workflows/c8-torus-vanishing-remainder.yml
- Math- · .github/workflows/c8-window-coefficient-d3-torus.yml
- Math- · .github/workflows/c8-window-coefficient-d4.yml
- Math- · .github/workflows/c8-window-coefficient-d5.yml
- Math- · .github/workflows/c8-window-coefficient-d6.yml
- Math- · .github/workflows/c8-window-coefficient-d7.yml
- Math- · .github/workflows/c8-window-coefficient-planar.yml
- Math- · .github/workflows/candidate-parity-rate.yml
- Math- · .github/workflows/candidate-third-order.yml
- Math- · .github/workflows/cap-first-exit-lean.yml
- Math- · .github/workflows/cap-i4-d3-adapter.yml
- Math- · .github/workflows/cluster-exponential-weight.yml
- Math- · .github/workflows/collision-mechanism-checks.yml
- Math- · .github/workflows/contact-angular.yml
- Math- · .github/workflows/contact-kernel-tail.yml
- Math- · .github/workflows/contact-small-gap.yml
- Math- · .github/workflows/cusp-coefficient-certified.yml
- Math- · .github/workflows/cusp-second-order.yml
- Math- · .github/workflows/cusp-torus-transfer.yml
- Math- · .github/workflows/d1-cap-elder-partner-second-pass.yml
- Math- · .github/workflows/d1-cde-fulldepth-review.yml
- Math- · .github/workflows/d1-chain-reconciliation.yml
- Math- · .github/workflows/d1-external-cap-audit.yml
- Math- · .github/workflows/d1-line.yml
- Math- · .github/workflows/d1-sharp-remainder.yml
- Math- · .github/workflows/d1-theorem-a.yml
- Math- · .github/workflows/d1-third-order-law.yml
- Math- · .github/workflows/d2-atom-integral.yml
- Math- · .github/workflows/d2-moment-bridge.yml
- Math- · .github/workflows/d2-remainder-fulldepth-review.yml
- Math- · .github/workflows/d2-square-schur.yml
- Math- · .github/workflows/d2-two-mass-floors.yml
- Math- · .github/workflows/d3-l4-anisotropic.yml
- Math- · .github/workflows/d5-dimension-lift.yml
- Math- · .github/workflows/d5-intermediate-window-review.yml
- Math- · .github/workflows/d5-pin-disk.yml
- Math- · .github/workflows/d5-punctured-pin-continuum-review.yml
- Math- · .github/workflows/d5-reconciliation.yml
- Math- · .github/workflows/downstream-gate.yml
- Math- · .github/workflows/elder-cusp-parity.yml
- Math- · .github/workflows/elder-dimension-lift-review.yml
- Math- · .github/workflows/elder-dimension-lift.yml
- Math- · .github/workflows/elder-lower-all-d.yml
- Math- · .github/workflows/elder-lower-review.yml
- Math- · .github/workflows/elder-partner-extremes.yml
- Math- · .github/workflows/elder-third-order.yml
- Math- · .github/workflows/em-intermediate-elder.yml
- Math- · .github/workflows/equal-height-mass.yml
- Math- · .github/workflows/extreme-cluster-sampling.yml
- Math- · .github/workflows/far-elder-flat-ridge.yml
- Math- · .github/workflows/far-elder-rate.yml
- Math- · .github/workflows/fixed-r-inverse-lifetime.yml
- Math- · .github/workflows/formal-lean.yml
- Math- · .github/workflows/full-price.yml
- Math- · .github/workflows/full-regression-suite.yml
- Math- · .github/workflows/gpdata114-inert-custody.yml
- Math- · .github/workflows/h5-rim-contract.yml
- Math- · .github/workflows/hardening-proof-custody.yml
- Math- · .github/workflows/hermite-repair.yml
- Math- · .github/workflows/iba1-periodic-jet.yml
- Math- · .github/workflows/intermediate-window.yml
- Math- · .github/workflows/landing-claims.yml
- Math- · .github/workflows/lean-specification-proofs.yml
- Math- · .github/workflows/lean-specifications.yml
- Math- · .github/workflows/lifetime-c7-elder.yml
- Math- · .github/workflows/lifetime-cj-model-j.yml
- Math- · .github/workflows/lifetime-dd-model-d.yml
- Math- · .github/workflows/lifetime-moment-boundary.yml
- Math- · .github/workflows/lifetime-parent-imports.yml
- Math- · .github/workflows/lifetime-two-thirds-chain.yml
- Math- · .github/workflows/lifetime-v24-dc-sign.yml
- Math- · .github/workflows/literature-classical-neighbors.yml
- Math- · .github/workflows/local-cluster-tightness.yml
- Math- · .github/workflows/local-pairing.yml
- Math- · .github/workflows/moving-remote-collision.yml
- Math- · .github/workflows/navigation-links.yml
- Math- · .github/workflows/ordinary-short-bar-occurrence-all-d.yml
- Math- · .github/workflows/ordinary-short-bar-occurrence.yml
- Math- · .github/workflows/p15-bipartite-overlap.yml
- Math- · .github/workflows/p15-overlap-tail-review.yml
- Math- · .github/workflows/p15-tail-load.yml
- Math- · .github/workflows/pin-micro-covariance.yml
- Math- · .github/workflows/planar-compact-k-chain.yml
- Math- · .github/workflows/planar-cubic-cluster.yml
- Math- · .github/workflows/planar-rejected-endpoint-margin.yml
- Math- · .github/workflows/planar-soft-layer-chain.yml
- Math- · .github/workflows/price-budget.yml
- Math- · .github/workflows/proof-reachability.yml
- Math- · .github/workflows/qs-d3-soft-layer-chain.yml
- Math- · .github/workflows/radial-rate.yml
- Math- · .github/workflows/register-alignment.yml
- Math- · .github/workflows/register-execution-readiness.yml
- Math- · .github/workflows/remainder-rate.yml
- Math- · .github/workflows/remainder-vanishing.yml
- Math- · .github/workflows/remote-collision.yml
- Math- · .github/workflows/remote-distance-moments-review.yml
- Math- · .github/workflows/remote-height-decoupling.yml
- Math- · .github/workflows/remote-height-marks-review.yml
- Math- · .github/workflows/remote-height-review.yml
- Math- · .github/workflows/remote-inverse-separation-review.yml
- Math- · .github/workflows/remote-inverse-separation.yml
- Math- · .github/workflows/remote-mixed-inverse-review.yml
- Math- · .github/workflows/remote-mixed-inverse.yml
- Math- · .github/workflows/remote-pair-law-review.yml
- Math- · .github/workflows/remote-singleton.yml
- Math- · .github/workflows/remote-window.yml
- Math- · .github/workflows/replacement-bar-occurrence.yml
- Math- · .github/workflows/rn-thin-tube.yml
- Math- · .github/workflows/sard-g-a2-fixed-frame-review.yml
- Math- · .github/workflows/sard-g-a2-fixed-frame.yml
- Math- · .github/workflows/sard-g-a2-parameter.yml
- Math- · .github/workflows/sard-g-a2-regularity.yml
- Math- · .github/workflows/sard-g-pinned-transfer.yml
- Math- · .github/workflows/sard-g-r1r2-review.yml
- Math- · .github/workflows/sard-g-r3r4-review.yml
- Math- · .github/workflows/sard-robust-charts.yml
- Math- · .github/workflows/separated-fold-multiplicity.yml
- Math- · .github/workflows/side24-d2-certified.yml
- Math- · .github/workflows/side24-d4-closed-form.yml
- Math- · .github/workflows/side24-d4-coefficient.yml
- Math- · .github/workflows/side24-d5-closed-form.yml
- Math- · .github/workflows/side24-d5-coefficient.yml
- Math- · .github/workflows/side24-d6-coefficient.yml
- Math- · .github/workflows/side24-periodization-firstvar.yml
- Math- · .github/workflows/side24-periodization-remainder.yml
- Math- · .github/workflows/side24-remainder.yml
- Math- · .github/workflows/side24-v1-coefficient-review.yml
- Math- · .github/workflows/small-lifetime-shape.yml
- Math- · .github/workflows/soft-closed-form.yml
- Math- · .github/workflows/soft-fold-limit.yml
- Math- · .github/workflows/soft-rejected-pairs.yml
- Math- · .github/workflows/spectral-cluster-closure.yml
- Math- · .github/workflows/strict-unique-replacement-coefficient.yml
- Math- · .github/workflows/third-order-coefficient.yml
- Math- · .github/workflows/third-order-rate.yml
- Math- · .github/workflows/three-fronts.yml
- Math- · .github/workflows/tl-soft-layer.yml
- Math- · .github/workflows/torus-filtration.yml
- Math- · .github/workflows/ts-small-kappa.yml
- Math- · .github/workflows/two-scale-cluster-geometry.yml
- Math- · .github/workflows/unique-replacement-bars.yml
- Math- · .github/workflows/unrestricted-selection-difference.yml
- Math- · AGENTS.md
- Math- · CITATION.cff
- Math- · CITING.md
- Math- · LICENSE
- Math- · OWNER_STOP.md
- Math- · PROOF_INDEX.md
- Math- · PUBLIC_READING_MAP.md
- Math- · README.md
- Math- · SECURITY.md
- Math- · certificates/bf_six_pin_hessian_20260926/CERTIFICATE.json
- Math- · certificates/bf_six_pin_hessian_20260926/PROOF.md
- Math- · certificates/bf_six_pin_hessian_20260926/RECONNAISSANCE.md
- Math- · certificates/bf_six_pin_hessian_20260926/SOURCE_MANIFEST.json
- Math- · certificates/bf_six_pin_hessian_20260926/hessian_certificate.py
- Math- · certificates/bf_six_pin_hessian_20260926/test_hessian_certificate.py
- Math- · certificates/bf_six_pin_scalar_20260926/CERTIFICATE.json
- Math- · certificates/bf_six_pin_scalar_20260926/PROOF.md
- Math- · certificates/bf_six_pin_scalar_20260926/RECONNAISSANCE.md
- Math- · certificates/bf_six_pin_scalar_20260926/SOURCE_MANIFEST.json
- Math- · certificates/bf_six_pin_scalar_20260926/certificate.py
- Math- · certificates/bf_six_pin_scalar_20260926/test_certificate.py
- Math- · certificates/bf_source_integrity.py
- Math- · certificates/test_bf_source_integrity.py
- Math- · claims/LANDING_CLAIMS.json
- Math- · coefficients/d3_l4_anisotropic_20261005/CROSSCHECKS.json
- Math- · coefficients/d3_l4_anisotropic_20261005/PROOF.md
- Math- · coefficients/d3_l4_anisotropic_20261005/README.md
- Math- · coefficients/d3_l4_anisotropic_20261005/REFERENCE.json
- Math- · coefficients/d3_l4_anisotropic_20261005/RESULTS.json
- Math- · coefficients/d3_l4_anisotropic_20261005/SOURCE_FILES.json
- Math- · coefficients/d3_l4_anisotropic_20261005/VALIDATION.json
- Math- · coefficients/d3_l4_anisotropic_20261005/certificate.py
- Math- · coefficients/d3_l4_anisotropic_20261005/source_crosscheck.py
- Math- · coefficients/d3_l4_anisotropic_20261005/test_certificate.py
- Math- · coefficients/lm006_wrong_sign_20261006_r20/NOTE.md
- Math- · coefficients/lm006_wrong_sign_20261006_r20/RESULTS.json
- Math- · coefficients/lm006_wrong_sign_20261006_r20/SOURCES.json
- Math- · coefficients/lm006_wrong_sign_20261006_r20/enclose.py
- Math- · coefficients/lm006_wrong_sign_20261006_r20/test_enclosure.py
- Math- · coefficients/side24_d4_20260930/NOTE.md
- Math- · coefficients/side24_d4_20260930/RESULTS.json
- Math- · coefficients/side24_d4_20260930/SOURCE_FILES.json
- Math- · coefficients/side24_d4_20260930/cone_moment_d4.py
- Math- · coefficients/side24_d4_closed_form_20260930/NOTE.md
- Math- · coefficients/side24_d4_closed_form_20260930/RESULTS.json
- Math- · coefficients/side24_d4_closed_form_20260930/SOURCE_FILES.json
- Math- · coefficients/side24_d4_closed_form_20260930/closed_form_d3.py
- Math- · coefficients/side24_d5_20260930/NOTE.md
- Math- · coefficients/side24_d5_20260930/RESULTS.json
- Math- · coefficients/side24_d5_20260930/SOURCE_FILES.json
- Math- · coefficients/side24_d5_20260930/cone_moment_d5.py
- Math- · coefficients/side24_d5_closed_form_20260930/NOTE.md
- Math- · coefficients/side24_d5_closed_form_20260930/RESULTS.json
- Math- · coefficients/side24_d5_closed_form_20260930/SOURCE_FILES.json
- Math- · coefficients/side24_d5_closed_form_20260930/closed_form_d4.py
- Math- · coefficients/side24_d6_20260930/NOTE.md
- Math- · coefficients/side24_d6_20260930/RESULTS.json
- Math- · coefficients/side24_d6_20260930/SOURCE_FILES.json
- Math- · coefficients/side24_d6_20260930/cone_moment_d6.py
- Math- · coefficients/side24_remainder_20260929/PROOF.md
- Math- · coefficients/side24_remainder_20260929/RECONNAISSANCE.md
- Math- · coefficients/side24_remainder_20260929/RESULTS.json
- Math- · coefficients/side24_remainder_20260929/SOURCES.json
- Math- · coefficients/side24_remainder_20260929/check.py
- Math- · coefficients/side24_remainder_20260929/test_check.py
- Math- · coefficients/side24_v1/ENCLOSURE.json
- Math- · coefficients/side24_v1/PROOF.md
- Math- · coefficients/side24_v1/coefficient.py
- Math- · coefficients/side24_v1/test_coefficient.py
- Math- · companions/d2_atom_integral_20261006/Contract.lean
- Math- · companions/d2_atom_integral_20261006/D2AtomIntegral.lean
- Math- · companions/d2_atom_integral_20261006/SCOPE.md
- Math- · companions/d2_atom_integral_20261006/SOURCE_FILES.json
- Math- · companions/d2_atom_integral_20261006/check.py
- Math- · companions/d2_atom_integral_20261006/replay.sh
- Math- · companions/d2_atom_integral_20261006/test_check.py
- Math- · companions/d2_moment_bridge_20261006/D2MomentBridge.lean
- Math- · companions/d2_moment_bridge_20261006/README.md
- Math- · companions/d2_moment_bridge_20261006/SOURCE_FILES.json
- Math- · companions/d2_moment_bridge_20261006/check.py
- Math- · companions/d2_moment_bridge_20261006/replay.sh
- Math- · companions/d2_moment_bridge_20261006/test_bridge.py
- Math- · companions/d2_square_schur_20261006/Contract.lean
- Math- · companions/d2_square_schur_20261006/D2SquareSchur.lean
- Math- · companions/d2_square_schur_20261006/SCOPE.md
- Math- · companions/d2_square_schur_20261006/SOURCE_FILES.json
- Math- · companions/d2_square_schur_20261006/check.py
- Math- · companions/d2_square_schur_20261006/replay.sh
- Math- · companions/d2_square_schur_20261006/test_check.py
- Math- · companions/torus_filtration_20261011/ClosedSuperlevel.lean
- Math- · companions/torus_filtration_20261011/OrdinaryH0.lean
- Math- · companions/torus_filtration_20261011/OrdinaryH0Controls.lean
- Math- · companions/torus_filtration_20261011/README.md
- Math- · companions/torus_filtration_20261011/SCOPE.md
- Math- · companions/torus_filtration_20261011/SOURCE_FILES.json
- Math- · companions/torus_filtration_20261011/SuperlevelBar.lean
- Math- · companions/torus_filtration_20261011/SuperlevelBarField.lean
- Math- · companions/torus_filtration_20261011/TorusFiltration.lean
- Math- · companions/torus_filtration_20261011/TorusTopology.lean
- Math- · companions/torus_filtration_20261011/check.py
- Math- · companions/torus_filtration_20261011/replay.sh
- Math- · companions/torus_filtration_20261011/test_torus_filtration.py
- Math- · docs/C183_EXPERIMENT_INPUTS.md
- Math- · docs/C183_QUALIFICATION_LEDGER.md
- Math- · docs/FORMAL_REQUIRED_CHECKS.md
- Math- · docs/integration/2026-09-28-reviewed-mathematics.md
- Math- · docs/integration/2026-09-29-c7-and-mixed-review.md
- Math- · docs/integration/2026-09-29-navigation-refresh.md
- Math- · docs/integration/2026-09-29-reviewed-dimension-and-pair.md
- Math- · docs/integration/2026-09-29-reviewed-window-and-inverse.md
- Math- · docs/integration/2026-10-02-proof-reachability.md
- Math- · formal/.gitignore
- Math- · formal/COMPATIBILITY.md
- Math- · formal/D2_SCHUR.md
- Math- · formal/GLOSSARY.md
- Math- · formal/LINEAGE_VALIDATION.md
- Math- · formal/MEASURE_BRIDGE.md
- Math- · formal/MOMENT_GENERALITY.md
- Math- · formal/MOMENT_TAIL.md
- Math- · formal/README.md
- Math- · formal/ResearchFormalCoreR1.lean
- Math- · formal/ResearchFormalCoreR1/AlgebraV2.lean
- Math- · formal/ResearchFormalCoreR1/D2Schur.lean
- Math- · formal/ResearchFormalCoreR1/MeasureBridge.lean
- Math- · formal/ResearchFormalCoreR1/MomentGenerality.lean
- Math- · formal/ResearchFormalCoreR1/MomentTail.lean
- Math- · formal/ResearchFormalCoreR1/ProbabilityCompanionsV2.lean
- Math- · formal/ResearchFormalCoreR1/WeightPerturbation.lean
- Math- · formal/ResearchFormalCoreR1/WeightedLaw.lean
- Math- · formal/SCOPE.md
- Math- · formal/WEIGHTED_LAW.md
- Math- · formal/WEIGHT_PERTURBATION.md
- Math- · formal/blueprint/src/content.tex
- Math- · formal/evidence/initial-build-failure.log
- Math- · formal/evidence/moment-tail-initial-build-failure.log
- Math- · formal/evidence/weight-perturbation-initial-build-failure.log
- Math- · formal/gate.py
- Math- · formal/lake-manifest.json
- Math- · formal/lakefile.toml
- Math- · formal/lean-toolchain
- Math- · formal/manifest.json
- Math- · formal/originals/Algebra.lean.txt
- Math- · formal/originals/ProbabilityCompanions.lean.txt
- Math- · formal/tests/test_alignment_lineage.py
- Math- · formal/tests/test_d2_schur.py
- Math- · formal/tests/test_gate.py
- Math- · formal/tests/test_measure_bridge.py
- Math- · formal/tests/test_moment_generality.py
- Math- · formal/tests/test_moment_tail.py
- Math- · formal/tests/test_weight_perturbation.py
- Math- · formal/tests/test_weighted_law.py
- Math- · frontiers/README.md
- Math- · frontiers/axial_density_20260925/PROOF.md
- Math- · frontiers/axial_density_20260925/RECONNAISSANCE.md
- Math- · frontiers/axial_density_20260925/RESULTS.json
- Math- · frontiers/axial_density_20260925/contact.py
- Math- · frontiers/axial_density_20260925/run_validation.py
- Math- · frontiers/axial_density_20260925/test_contact.py
- Math- · frontiers/c2_exact_20261001/NOTE.md
- Math- · frontiers/c2_exact_20261001/README.md
- Math- · frontiers/c2_exact_20261001/RESULTS.json
- Math- · frontiers/c2_exact_20261001/SOURCE_FILES.json
- Math- · frontiers/c2_exact_20261001/SOURCE_MAP.json
- Math- · frontiers/c2_exact_20261001/certificate.py
- Math- · frontiers/c2_exact_20261001/controls.py
- Math- · frontiers/c2_exact_20261001/elem.py
- Math- · frontiers/c2_exact_20261001/exact.py
- Math- · frontiers/c2_exact_20261001/gam.py
- Math- · frontiers/c2_exact_20261001/ia.py
- Math- · frontiers/c2_exact_20261001/pseries.py
- Math- · frontiers/c2_finite_jet_transfer_20261001/MANIFEST.json
- Math- · frontiers/c2_finite_jet_transfer_20261001/PROOF.md
- Math- · frontiers/c2_finite_jet_transfer_20261001/README.md
- Math- · frontiers/c2_finite_jet_transfer_20261001/RESULTS.json
- Math- · frontiers/c2_finite_jet_transfer_20261001/SOURCES.json
- Math- · frontiers/c2_finite_jet_transfer_20261001/VALIDATION.md
- Math- · frontiers/c2_finite_jet_transfer_20261001/controls.py
- Math- · frontiers/c2_finite_jet_transfer_20261001/test_controls.py
- Math- · frontiers/c2_finite_jet_transfer_20261001/test_verify.py
- Math- · frontiers/c2_finite_jet_transfer_20261001/verify.py
- Math- · frontiers/c2_torus_transfer_20261001/NOTE.md
- Math- · frontiers/c2_torus_transfer_20261001/README.md
- Math- · frontiers/c2_torus_transfer_20261001/RESULTS.json
- Math- · frontiers/c2_torus_transfer_20261001/SOURCE_FILES.json
- Math- · frontiers/c2_torus_transfer_20261001/SOURCE_MAP.json
- Math- · frontiers/c2_torus_transfer_20261001/ball.py
- Math- · frontiers/c2_torus_transfer_20261001/controls.py
- Math- · frontiers/c2_torus_transfer_20261001/exact.py
- Math- · frontiers/c2_torus_transfer_20261001/pseries.py
- Math- · frontiers/c2_torus_transfer_20261001/transfer.py
- Math- · frontiers/c6_cluster_coefficients_numerics_20260930/NOTE.md
- Math- · frontiers/c6_cluster_coefficients_numerics_20260930/README.md
- Math- · frontiers/c6_cluster_coefficients_numerics_20260930/RESULTS.json
- Math- · frontiers/c6_cluster_coefficients_numerics_20260930/SOURCE_FILES.json
- Math- · frontiers/c6_cluster_coefficients_numerics_20260930/SOURCE_MAP.json
- Math- · frontiers/c6_cluster_coefficients_numerics_20260930/coefficients.py
- Math- · frontiers/c6_cluster_law_20260929/PROOF.md
- Math- · frontiers/c6_cluster_law_20260929/README.md
- Math- · frontiers/c6_cluster_law_20260929/RECONNAISSANCE.md
- Math- · frontiers/c6_cluster_law_20260929/RESULTS.json
- Math- · frontiers/c6_cluster_law_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_cluster_law_20260929/SOURCE_MAP.json
- Math- · frontiers/c6_cluster_law_20260929/cluster_law_check.py
- Math- · frontiers/c6_count_cap_boundary_20260929/PROOF.md
- Math- · frontiers/c6_count_cap_boundary_20260929/README.md
- Math- · frontiers/c6_count_cap_boundary_20260929/RESULTS.json
- Math- · frontiers/c6_count_cap_boundary_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_count_cap_boundary_20260929/SOURCE_MAP.json
- Math- · frontiers/c6_count_cap_boundary_20260929/barrier.py
- Math- · frontiers/c6_count_cap_boundary_20260929/test_barrier.py
- Math- · frontiers/c6_count_cap_boundary_20260929/verify.py
- Math- · frontiers/c6_factorial_moment_20260929/PROOF.md
- Math- · frontiers/c6_factorial_moment_20260929/RESULTS.json
- Math- · frontiers/c6_factorial_moment_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_factorial_moment_20260929/c6_check.py
- Math- · frontiers/c6_fourier_cutoff_20260929/PROOF.md
- Math- · frontiers/c6_fourier_cutoff_20260929/README.md
- Math- · frontiers/c6_fourier_cutoff_20260929/RECONNAISSANCE.md
- Math- · frontiers/c6_fourier_cutoff_20260929/RESULTS.json
- Math- · frontiers/c6_fourier_cutoff_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_fourier_cutoff_20260929/SOURCE_MAP.json
- Math- · frontiers/c6_fourier_cutoff_20260929/fourier.py
- Math- · frontiers/c6_fourier_cutoff_20260929/test_fourier.py
- Math- · frontiers/c6_fourier_cutoff_20260929/verify.py
- Math- · frontiers/c6_hard_direction_factorization_20260930/PROOF.md
- Math- · frontiers/c6_hard_direction_factorization_20260930/README.md
- Math- · frontiers/c6_hard_direction_factorization_20260930/RESULTS.json
- Math- · frontiers/c6_hard_direction_factorization_20260930/SOURCE_FILES.json
- Math- · frontiers/c6_hard_direction_factorization_20260930/SOURCE_MAP.json
- Math- · frontiers/c6_hard_direction_factorization_20260930/factorization.py
- Math- · frontiers/c6_marked_fourier_20260929/PROOF.md
- Math- · frontiers/c6_marked_fourier_20260929/PUBLICATION_NOTE.md
- Math- · frontiers/c6_marked_fourier_20260929/README.md
- Math- · frontiers/c6_marked_fourier_20260929/RECONNAISSANCE.md
- Math- · frontiers/c6_marked_fourier_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_marked_fourier_20260929/SOURCE_MAP.json
- Math- · frontiers/c6_marked_fourier_20260929/marked.py
- Math- · frontiers/c6_marked_fourier_20260929/source_check.py
- Math- · frontiers/c6_marked_fourier_20260929/test_marked.py
- Math- · frontiers/c6_marked_fourier_20260929/test_sources.py
- Math- · frontiers/c6_marked_fourier_20260929/verify.py
- Math- · frontiers/c6_microscopic_tail_numerics_20260930/NOTE.md
- Math- · frontiers/c6_microscopic_tail_numerics_20260930/README.md
- Math- · frontiers/c6_microscopic_tail_numerics_20260930/RESULTS.json
- Math- · frontiers/c6_microscopic_tail_numerics_20260930/SOURCE_FILES.json
- Math- · frontiers/c6_microscopic_tail_numerics_20260930/SOURCE_MAP.json
- Math- · frontiers/c6_microscopic_tail_numerics_20260930/tail_constants.py
- Math- · frontiers/c6_palm_route_20260929/PROOF.md
- Math- · frontiers/c6_palm_route_20260929/README.md
- Math- · frontiers/c6_palm_route_20260929/RECONNAISSANCE.md
- Math- · frontiers/c6_palm_route_20260929/RESULTS.json
- Math- · frontiers/c6_palm_route_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_palm_route_20260929/SOURCE_MAP.json
- Math- · frontiers/c6_palm_route_20260929/palm_exact_check.py
- Math- · frontiers/c6_rare_cluster_laws_20260929/PROOF.md
- Math- · frontiers/c6_rare_cluster_laws_20260929/README.md
- Math- · frontiers/c6_rare_cluster_laws_20260929/RECONNAISSANCE.md
- Math- · frontiers/c6_rare_cluster_laws_20260929/RESULTS.json
- Math- · frontiers/c6_rare_cluster_laws_20260929/REVIEW_RECORD.md
- Math- · frontiers/c6_rare_cluster_laws_20260929/SHARP_POISSON_COEFFICIENT.md
- Math- · frontiers/c6_rare_cluster_laws_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_rare_cluster_laws_20260929/SOURCE_PINS.json
- Math- · frontiers/c6_rare_cluster_laws_20260929/cluster_check.py
- Math- · frontiers/c6_rare_cluster_laws_20260929/test_cluster_check.py
- Math- · frontiers/c6_rare_cluster_laws_20260929/test_sharp_coefficient.py
- Math- · frontiers/c6_rare_cluster_laws_20260929/test_source_pins.py
- Math- · frontiers/c6_rare_cluster_laws_20260929/verify_packet.py
- Math- · frontiers/c6_remote_coefficient_d3_numerics_20260930/NOTE.md
- Math- · frontiers/c6_remote_coefficient_d3_numerics_20260930/README.md
- Math- · frontiers/c6_remote_coefficient_d3_numerics_20260930/RESULTS.json
- Math- · frontiers/c6_remote_coefficient_d3_numerics_20260930/SOURCE_FILES.json
- Math- · frontiers/c6_remote_coefficient_d3_numerics_20260930/SOURCE_MAP.json
- Math- · frontiers/c6_remote_coefficient_d3_numerics_20260930/remote3.py
- Math- · frontiers/c6_remote_coefficient_numerics_20260930/NOTE.md
- Math- · frontiers/c6_remote_coefficient_numerics_20260930/README.md
- Math- · frontiers/c6_remote_coefficient_numerics_20260930/RESULTS.json
- Math- · frontiers/c6_remote_coefficient_numerics_20260930/SOURCE_FILES.json
- Math- · frontiers/c6_remote_coefficient_numerics_20260930/SOURCE_MAP.json
- Math- · frontiers/c6_remote_coefficient_numerics_20260930/remote.py
- Math- · frontiers/c6_sharpened_20260929/PROOF.md
- Math- · frontiers/c6_sharpened_20260929/RESULTS.json
- Math- · frontiers/c6_sharpened_20260929/SOURCE_FILES.json
- Math- · frontiers/c6_sharpened_20260929/sharp_check.py
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/AUTHOR_READ_COMPLETE_AND_PACKET_CLAIM.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/CLAIM.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/PROOF.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/REVIEW_SLICE_A.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/REVIEW_SLICE_B.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/REVIEW_SLICE_C.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/author_controls.py
- Math- · frontiers/c7_elder_two_thirds_20261007/C7/author_controls_stdout.json
- Math- · frontiers/c7_elder_two_thirds_20261007/README.md
- Math- · frontiers/c7_elder_two_thirds_20261007/SOURCES.json
- Math- · frontiers/c7_elder_two_thirds_20261007/replay.py
- Math- · frontiers/c7_total_bounded_20260929/ERRATUM_NORMALIZED_FORM.md
- Math- · frontiers/c7_total_bounded_20260929/PROOF.md
- Math- · frontiers/c7_total_bounded_20260929/RATE_READING.md
- Math- · frontiers/c7_total_bounded_20260929/README.md
- Math- · frontiers/c7_total_bounded_20260929/RESULTS.json
- Math- · frontiers/c7_total_bounded_20260929/SOURCE_FILES.json
- Math- · frontiers/c7_total_bounded_20260929/exponent_check.py
- Math- · frontiers/c7_zero_gap_limit_20260929/PROOF.md
- Math- · frontiers/c7_zero_gap_limit_20260929/RECONNAISSANCE.md
- Math- · frontiers/c7_zero_gap_limit_20260929/RESULTS.json
- Math- · frontiers/c7_zero_gap_limit_20260929/SOURCES.json
- Math- · frontiers/c7_zero_gap_limit_20260929/check.py
- Math- · frontiers/c7_zero_gap_limit_20260929/test_check.py
- Math- · frontiers/c8_cap_failure_coefficient_dims_20261001/NOTE.md
- Math- · frontiers/c8_cap_failure_coefficient_dims_20261001/README.md
- Math- · frontiers/c8_cap_failure_coefficient_dims_20261001/RESULTS.json
- Math- · frontiers/c8_cap_failure_coefficient_dims_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_cap_failure_coefficient_dims_20261001/SOURCE_MAP.json
- Math- · frontiers/c8_cap_failure_coefficient_dims_20261001/cap_coefficient_dims.py
- Math- · frontiers/c8_cap_failure_coefficient_planar_20260930/NOTE.md
- Math- · frontiers/c8_cap_failure_coefficient_planar_20260930/README.md
- Math- · frontiers/c8_cap_failure_coefficient_planar_20260930/RESULTS.json
- Math- · frontiers/c8_cap_failure_coefficient_planar_20260930/SOURCE_FILES.json
- Math- · frontiers/c8_cap_failure_coefficient_planar_20260930/SOURCE_MAP.json
- Math- · frontiers/c8_cap_failure_coefficient_planar_20260930/cap_coefficient.py
- Math- · frontiers/c8_elder_failure_coefficient_20261001/NOTE.md
- Math- · frontiers/c8_elder_failure_coefficient_20261001/README.md
- Math- · frontiers/c8_elder_failure_coefficient_20261001/RESULTS.json
- Math- · frontiers/c8_elder_failure_coefficient_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_elder_failure_coefficient_20261001/SOURCE_MAP.json
- Math- · frontiers/c8_elder_failure_coefficient_20261001/boxes.py
- Math- · frontiers/c8_elder_failure_coefficient_20261001/certificate.py
- Math- · frontiers/c8_elder_failure_coefficient_20261001/controls.py
- Math- · frontiers/c8_elder_failure_coefficient_20261001/ia.py
- Math- · frontiers/c8_elder_failure_coefficient_20261001/test_replay_metadata.py
- Math- · frontiers/c8_elder_failure_coefficient_20261001/torus.py
- Math- · frontiers/c8_lifetime_difference_constant_20261001/NOTE.md
- Math- · frontiers/c8_lifetime_difference_constant_20261001/README.md
- Math- · frontiers/c8_lifetime_difference_constant_20261001/RESULTS.json
- Math- · frontiers/c8_lifetime_difference_constant_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_lifetime_difference_constant_20261001/SOURCE_MAP.json
- Math- · frontiers/c8_lifetime_difference_constant_20261001/engine_e2.py
- Math- · frontiers/c8_lifetime_difference_constant_20261001/engine_e3.py
- Math- · frontiers/c8_lifetime_difference_constant_20261001/theorem_b.py
- Math- · frontiers/c8_normalizer_floor_planar_20260930/NOTE.md
- Math- · frontiers/c8_normalizer_floor_planar_20260930/README.md
- Math- · frontiers/c8_normalizer_floor_planar_20260930/RESULTS.json
- Math- · frontiers/c8_normalizer_floor_planar_20260930/SOURCE_FILES.json
- Math- · frontiers/c8_normalizer_floor_planar_20260930/SOURCE_MAP.json
- Math- · frontiers/c8_normalizer_floor_planar_20260930/floor.py
- Math- · frontiers/c8_theorem_a_constants_d3_20261001/NOTE.md
- Math- · frontiers/c8_theorem_a_constants_d3_20261001/README.md
- Math- · frontiers/c8_theorem_a_constants_d3_20261001/RESULTS.json
- Math- · frontiers/c8_theorem_a_constants_d3_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_theorem_a_constants_d3_20261001/SOURCE_MAP.json
- Math- · frontiers/c8_theorem_a_constants_d3_20261001/theorem_a3.py
- Math- · frontiers/c8_theorem_a_constants_planar_20260930/NOTE.md
- Math- · frontiers/c8_theorem_a_constants_planar_20260930/README.md
- Math- · frontiers/c8_theorem_a_constants_planar_20260930/RESULTS.json
- Math- · frontiers/c8_theorem_a_constants_planar_20260930/SOURCE_FILES.json
- Math- · frontiers/c8_theorem_a_constants_planar_20260930/SOURCE_MAP.json
- Math- · frontiers/c8_theorem_a_constants_planar_20260930/theorem_a.py
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/NOTE.md
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/README.md
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/RESULTS.json
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/SOURCE_MAP.json
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/engine_e2.py
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/engine_e3.py
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/theorem_b.py
- Math- · frontiers/c8_torus_vanishing_remainder_20261001/theorem_v.py
- Math- · frontiers/c8_window_coefficient_d3_torus_20260930/NOTE.md
- Math- · frontiers/c8_window_coefficient_d3_torus_20260930/RESULTS.json
- Math- · frontiers/c8_window_coefficient_d3_torus_20260930/SOURCE_FILES.json
- Math- · frontiers/c8_window_coefficient_d3_torus_20260930/window_coefficient_d3.py
- Math- · frontiers/c8_window_coefficient_d4_20261001/NOTE.md
- Math- · frontiers/c8_window_coefficient_d4_20261001/RESULTS.json
- Math- · frontiers/c8_window_coefficient_d4_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_window_coefficient_d4_20261001/window_coefficient_d4.py
- Math- · frontiers/c8_window_coefficient_d5_20261001/NOTE.md
- Math- · frontiers/c8_window_coefficient_d5_20261001/RESULTS.json
- Math- · frontiers/c8_window_coefficient_d5_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_window_coefficient_d5_20261001/window_coefficient_d5.py
- Math- · frontiers/c8_window_coefficient_d6_20261001/NOTE.md
- Math- · frontiers/c8_window_coefficient_d6_20261001/RESULTS.json
- Math- · frontiers/c8_window_coefficient_d6_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_window_coefficient_d6_20261001/window_coefficient_d6.py
- Math- · frontiers/c8_window_coefficient_d7_20261001/NOTE.md
- Math- · frontiers/c8_window_coefficient_d7_20261001/RESULTS.json
- Math- · frontiers/c8_window_coefficient_d7_20261001/SOURCE_FILES.json
- Math- · frontiers/c8_window_coefficient_d7_20261001/window_coefficient_d7.py
- Math- · frontiers/c8_window_coefficient_planar_20260930/NOTE.md
- Math- · frontiers/c8_window_coefficient_planar_20260930/RESULTS.json
- Math- · frontiers/c8_window_coefficient_planar_20260930/SOURCE_FILES.json
- Math- · frontiers/c8_window_coefficient_planar_20260930/window_coefficient.py
- Math- · frontiers/candidate_parity_rate_20261001/PROOF.md
- Math- · frontiers/candidate_parity_rate_20261001/README.md
- Math- · frontiers/candidate_parity_rate_20261001/RESULTS.json
- Math- · frontiers/candidate_parity_rate_20261001/SOURCES.json
- Math- · frontiers/candidate_parity_rate_20261001/parity_check.py
- Math- · frontiers/candidate_third_order_20261001/PROOF.md
- Math- · frontiers/candidate_third_order_20261001/README.md
- Math- · frontiers/candidate_third_order_20261001/RESULTS.json
- Math- · frontiers/candidate_third_order_20261001/SOURCES.json
- Math- · frontiers/candidate_third_order_20261001/thmT_check.py
- Math- · frontiers/cap_first_exit_lean_20261002/.gitignore
- Math- · frontiers/cap_first_exit_lean_20261002/ALIGNMENT.md
- Math- · frontiers/cap_first_exit_lean_20261002/CapFirstExit.lean
- Math- · frontiers/cap_first_exit_lean_20261002/MANIFEST.json
- Math- · frontiers/cap_first_exit_lean_20261002/README.md
- Math- · frontiers/cap_first_exit_lean_20261002/gate.py
- Math- · frontiers/cap_first_exit_lean_20261002/lake-manifest.json
- Math- · frontiers/cap_first_exit_lean_20261002/lakefile.toml
- Math- · frontiers/cap_first_exit_lean_20261002/lean-toolchain
- Math- · frontiers/cap_first_exit_lean_20261002/test_gate.py
- Math- · frontiers/cluster_exponential_weight_20260930/INTERNAL_REVIEWS.md
- Math- · frontiers/cluster_exponential_weight_20260930/MANIFEST.json
- Math- · frontiers/cluster_exponential_weight_20260930/PROOF.md
- Math- · frontiers/cluster_exponential_weight_20260930/README.md
- Math- · frontiers/cluster_exponential_weight_20260930/RECONNAISSANCE.md
- Math- · frontiers/cluster_exponential_weight_20260930/REVIEW_RECORD.json
- Math- · frontiers/cluster_exponential_weight_20260930/SOURCES.json
- Math- · frontiers/cluster_exponential_weight_20260930/VALIDATION.json
- Math- · frontiers/cluster_exponential_weight_20260930/finite_checks.py
- Math- · frontiers/cluster_exponential_weight_20260930/test_finite_checks.py
- Math- · frontiers/cluster_exponential_weight_20260930/test_verify_packet.py
- Math- · frontiers/cluster_exponential_weight_20260930/test_verify_sources.py
- Math- · frontiers/cluster_exponential_weight_20260930/verify_packet.py
- Math- · frontiers/cluster_exponential_weight_20260930/verify_sources.py
- Math- · frontiers/concave_fibre_elder_20260930/HARD_FIBRE_LEMMA.md
- Math- · frontiers/concave_fibre_elder_20260930/NONAUTHOR_REVIEW.md
- Math- · frontiers/concave_fibre_elder_20260930/PROOF.md
- Math- · frontiers/concave_fibre_elder_20260930/README.md
- Math- · frontiers/concave_fibre_elder_20260930/RECONNAISSANCE.md
- Math- · frontiers/concave_fibre_elder_20260930/SOURCES.json
- Math- · frontiers/concave_fibre_elder_20260930/SOURCE_INTERFACE.md
- Math- · frontiers/contact_kernel_tail_20260925/NOTE.md
- Math- · frontiers/contact_kernel_tail_20260925/RECONNAISSANCE.md
- Math- · frontiers/contact_kernel_tail_20260925/RESULTS.json
- Math- · frontiers/contact_kernel_tail_20260925/SOURCE_FILES.json
- Math- · frontiers/contact_kernel_tail_20260925/kernel_tail.py
- Math- · frontiers/contact_kernel_tail_20260925/run_validation.py
- Math- · frontiers/contact_kernel_tail_20260925/test_kernel_tail.py
- Math- · frontiers/cusp_coefficient_certified_20261001/NOTE.md
- Math- · frontiers/cusp_coefficient_certified_20261001/README.md
- Math- · frontiers/cusp_coefficient_certified_20261001/RESULTS.json
- Math- · frontiers/cusp_coefficient_certified_20261001/SOURCE_FILES.json
- Math- · frontiers/cusp_coefficient_certified_20261001/SOURCE_MAP.json
- Math- · frontiers/cusp_coefficient_certified_20261001/certificate.py
- Math- · frontiers/cusp_coefficient_certified_20261001/consts.py
- Math- · frontiers/cusp_coefficient_certified_20261001/controls.py
- Math- · frontiers/cusp_coefficient_certified_20261001/cusp.py
- Math- · frontiers/cusp_coefficient_certified_20261001/cx.py
- Math- · frontiers/cusp_coefficient_certified_20261001/d3.py
- Math- · frontiers/cusp_coefficient_certified_20261001/elem.py
- Math- · frontiers/cusp_coefficient_certified_20261001/gauss.py
- Math- · frontiers/cusp_coefficient_certified_20261001/ia.py
- Math- · frontiers/cusp_coefficient_certified_20261001/side24.py
- Math- · frontiers/cusp_second_order_20261001/EXPLORE.json
- Math- · frontiers/cusp_second_order_20261001/PROOF.md
- Math- · frontiers/cusp_second_order_20261001/README.md
- Math- · frontiers/cusp_second_order_20261001/RESULTS.json
- Math- · frontiers/cusp_second_order_20261001/SOURCES.json
- Math- · frontiers/cusp_second_order_20261001/cusp_check.py
- Math- · frontiers/cusp_second_order_20261001/explore_cusp.py
- Math- · frontiers/cusp_torus_transfer_20261001/MANIFEST.json
- Math- · frontiers/cusp_torus_transfer_20261001/PROOF.md
- Math- · frontiers/cusp_torus_transfer_20261001/README.md
- Math- · frontiers/cusp_torus_transfer_20261001/RESULTS.json
- Math- · frontiers/cusp_torus_transfer_20261001/SOURCES.json
- Math- · frontiers/cusp_torus_transfer_20261001/VALIDATION.md
- Math- · frontiers/cusp_torus_transfer_20261001/test_sources.py
- Math- · frontiers/cusp_torus_transfer_20261001/test_transfer.py
- Math- · frontiers/cusp_torus_transfer_20261001/transfer.py
- Math- · frontiers/cusp_torus_transfer_20261001/verify_sources.py
- Math- · frontiers/d1_line_20261004/PROOF.md
- Math- · frontiers/d1_line_20261004/README.md
- Math- · frontiers/d1_line_20261004/RESULTS.json
- Math- · frontiers/d1_line_20261004/SOURCES.json
- Math- · frontiers/d1_line_20261004/line_check.py
- Math- · frontiers/d1_sharp_remainder_20261001/PROOF.md
- Math- · frontiers/d1_sharp_remainder_20261001/README.md
- Math- · frontiers/d1_sharp_remainder_20261001/RESULTS.json
- Math- · frontiers/d1_sharp_remainder_20261001/SOURCES.json
- Math- · frontiers/d1_sharp_remainder_20261001/d1p_check.py
- Math- · frontiers/d1_third_order_law_20261001/PROOF.md
- Math- · frontiers/d1_third_order_law_20261001/README.md
- Math- · frontiers/d1_third_order_law_20261001/RESULTS.json
- Math- · frontiers/d1_third_order_law_20261001/SOURCES.json
- Math- · frontiers/d1_third_order_law_20261001/d1_check.py
- Math- · frontiers/d5_dimension_lift_20260929/CONTINUUM_CROSSWALK.md
- Math- · frontiers/d5_dimension_lift_20260929/PROOF.md
- Math- · frontiers/d5_dimension_lift_20260929/README.md
- Math- · frontiers/d5_dimension_lift_20260929/RECONNAISSANCE.md
- Math- · frontiers/d5_dimension_lift_20260929/RESULTS.json
- Math- · frontiers/d5_dimension_lift_20260929/SOURCE_FILES.json
- Math- · frontiers/d5_dimension_lift_20260929/SOURCE_MAP.json
- Math- · frontiers/d5_dimension_lift_20260929/lift_exact_check.py
- Math- · frontiers/downstream_gate_20260925/D0_CI_UNBLOCK.md
- Math- · frontiers/downstream_gate_20260925/GRAPH.json
- Math- · frontiers/downstream_gate_20260925/README.md
- Math- · frontiers/downstream_gate_20260925/RESULTS.json
- Math- · frontiers/downstream_gate_20260925/SCOPE.md
- Math- · frontiers/downstream_gate_20260925/SELECTOR_REGION.json
- Math- · frontiers/downstream_gate_20260925/SOURCE_FILES.json
- Math- · frontiers/downstream_gate_20260925/git_transition_audit.py
- Math- · frontiers/downstream_gate_20260925/hard_gate.py
- Math- · frontiers/downstream_gate_20260925/patches/d0_packet_allowlist.patch
- Math- · frontiers/downstream_gate_20260925/run_validation.py
- Math- · frontiers/downstream_gate_20260925/test_hard_gate.py
- Math- · frontiers/downstream_gate_20260925/test_transition_contract.py
- Math- · frontiers/elder_cusp_parity_20261002/PROOF.md
- Math- · frontiers/elder_cusp_parity_20261002/README.md
- Math- · frontiers/elder_cusp_parity_20261002/RESULTS.json
- Math- · frontiers/elder_cusp_parity_20261002/SOURCES.json
- Math- · frontiers/elder_cusp_parity_20261002/ecp_check.py
- Math- · frontiers/elder_dimension_lift_20260928/PROOF.md
- Math- · frontiers/elder_dimension_lift_20260928/README.md
- Math- · frontiers/elder_dimension_lift_20260928/RECONNAISSANCE.md
- Math- · frontiers/elder_dimension_lift_20260928/RESULTS.json
- Math- · frontiers/elder_dimension_lift_20260928/SOURCE_FILES.json
- Math- · frontiers/elder_dimension_lift_20260928/SOURCE_MAP.json
- Math- · frontiers/elder_dimension_lift_20260928/lift.py
- Math- · frontiers/elder_dimension_lift_20260928/test_lift.py
- Math- · frontiers/elder_dimension_lift_20260928/verify.py
- Math- · frontiers/elder_lower_all_d_20260929/PROOF.md
- Math- · frontiers/elder_lower_all_d_20260929/RESULTS.json
- Math- · frontiers/elder_lower_all_d_20260929/SOURCE_FILES.json
- Math- · frontiers/elder_lower_all_d_20260929/lower_all_d_check.py
- Math- · frontiers/elder_partner_extremes_20260930/MANIFEST.json
- Math- · frontiers/elder_partner_extremes_20260930/PLAN.md
- Math- · frontiers/elder_partner_extremes_20260930/PROOF.md
- Math- · frontiers/elder_partner_extremes_20260930/README.md
- Math- · frontiers/elder_partner_extremes_20260930/RECONNAISSANCE.md
- Math- · frontiers/elder_partner_extremes_20260930/RESULTS.json
- Math- · frontiers/elder_partner_extremes_20260930/SOURCES.json
- Math- · frontiers/elder_partner_extremes_20260930/VALIDATION.md
- Math- · frontiers/elder_partner_extremes_20260930/elder.py
- Math- · frontiers/elder_partner_extremes_20260930/test_elder.py
- Math- · frontiers/elder_partner_extremes_20260930/test_verify.py
- Math- · frontiers/elder_partner_extremes_20260930/verify.py
- Math- · frontiers/elder_selected_extremes_20260930/NONAUTHOR_REVIEW.md
- Math- · frontiers/elder_selected_extremes_20260930/PROOF.md
- Math- · frontiers/elder_selected_extremes_20260930/README.md
- Math- · frontiers/elder_selected_extremes_20260930/SOURCES.json
- Math- · frontiers/elder_third_order_20261001/PROOF.md
- Math- · frontiers/elder_third_order_20261001/README.md
- Math- · frontiers/elder_third_order_20261001/RESULTS.json
- Math- · frontiers/elder_third_order_20261001/SOURCES.json
- Math- · frontiers/elder_third_order_20261001/e3_check.py
- Math- · frontiers/em_intermediate_elder_20261006/EM/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/AUTHOR_READ_COMPLETE_AND_CLAIM.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/AUTHOR_SUCCESSOR_TEXT_AND_READBACK_SUMMONS.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/CLAIM.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/DELIVERED_POINTER_main259.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/PROOF.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/READBACK_SUCCESSOR_TEXT.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/REVIEW_SLICE_A.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/REVIEW_SLICE_B.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/REVIEW_SLICE_C.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/em_intermediate_elder_20261006/EM/author_controls.py
- Math- · frontiers/em_intermediate_elder_20261006/EM/author_controls_stdout.json
- Math- · frontiers/em_intermediate_elder_20261006/README.md
- Math- · frontiers/em_intermediate_elder_20261006/SOURCES.json
- Math- · frontiers/em_intermediate_elder_20261006/replay.py
- Math- · frontiers/equal_height_mass_value_20261001/GAMMA.json
- Math- · frontiers/equal_height_mass_value_20261001/NOTE.md
- Math- · frontiers/equal_height_mass_value_20261001/README.md
- Math- · frontiers/equal_height_mass_value_20261001/RESULTS.json
- Math- · frontiers/equal_height_mass_value_20261001/SOURCES.json
- Math- · frontiers/equal_height_mass_value_20261001/equal_height_mass.py
- Math- · frontiers/equal_height_mass_value_20261001/gamma_explore.py
- Math- · frontiers/extreme_cluster_sampling_20260930/COMPANION_RATIO.md
- Math- · frontiers/extreme_cluster_sampling_20260930/MANIFEST.json
- Math- · frontiers/extreme_cluster_sampling_20260930/PLAN.md
- Math- · frontiers/extreme_cluster_sampling_20260930/PROOF.md
- Math- · frontiers/extreme_cluster_sampling_20260930/README.md
- Math- · frontiers/extreme_cluster_sampling_20260930/RECONNAISSANCE.md
- Math- · frontiers/extreme_cluster_sampling_20260930/RESULTS.json
- Math- · frontiers/extreme_cluster_sampling_20260930/SOURCES.json
- Math- · frontiers/extreme_cluster_sampling_20260930/VALIDATION.md
- Math- · frontiers/extreme_cluster_sampling_20260930/extremes.py
- Math- · frontiers/extreme_cluster_sampling_20260930/ratio_law.py
- Math- · frontiers/extreme_cluster_sampling_20260930/test_extremes.py
- Math- · frontiers/extreme_cluster_sampling_20260930/test_ratio_law.py
- Math- · frontiers/extreme_cluster_sampling_20260930/test_verify.py
- Math- · frontiers/extreme_cluster_sampling_20260930/verify.py
- Math- · frontiers/far_elder_flat_ridge_20260930/C89_V1_1_PROOF.md
- Math- · frontiers/far_elder_flat_ridge_20260930/C89_V1_1_REVIEW.md
- Math- · frontiers/far_elder_flat_ridge_20260930/C89_V1_PROOF.md
- Math- · frontiers/far_elder_flat_ridge_20260930/PROOF.md
- Math- · frontiers/far_elder_flat_ridge_20260930/README.md
- Math- · frontiers/far_elder_flat_ridge_20260930/RESULTS.json
- Math- · frontiers/far_elder_flat_ridge_20260930/SOURCES.json
- Math- · frontiers/far_elder_flat_ridge_20260930/c89_replay.py
- Math- · frontiers/far_elder_flat_ridge_20260930/c89_reviewer_controls.py
- Math- · frontiers/far_elder_flat_ridge_20260930/c89_reviewer_stdout.json
- Math- · frontiers/far_elder_flat_ridge_20260930/flat_ridge_check.py
- Math- · frontiers/far_elder_rate_20260930/ERRATUM_20261004.md
- Math- · frontiers/far_elder_rate_20260930/PROOF.md
- Math- · frontiers/far_elder_rate_20260930/README.md
- Math- · frontiers/far_elder_rate_20260930/RESULTS.json
- Math- · frontiers/far_elder_rate_20260930/SOURCES.json
- Math- · frontiers/far_elder_rate_20260930/far_elder_check.py
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/MANIFEST.json
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/PROOF.md
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/README.md
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/RECONNAISSANCE.md
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/RESULTS.json
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/SOURCES.json
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/VALIDATION.md
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/inverse.py
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/test_inverse.py
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/test_verify.py
- Math- · frontiers/fixed_r_inverse_lifetime_20260930/verify.py
- Math- · frontiers/full_price_20260924/ASCII_3E_MINUS_2.md
- Math- · frontiers/full_price_20260924/PROOF.md
- Math- · frontiers/full_price_20260924/RESULTS.json
- Math- · frontiers/full_price_20260924/SOURCE_FILES.json
- Math- · frontiers/full_price_20260924/full_price.py
- Math- · frontiers/full_price_20260924/run_validation.py
- Math- · frontiers/full_price_20260924/test_full_price.py
- Math- · frontiers/intermediate_window_20260928/PROOF.md
- Math- · frontiers/intermediate_window_20260928/README.md
- Math- · frontiers/intermediate_window_20260928/RESULTS.json
- Math- · frontiers/intermediate_window_20260928/SOURCE_FILES.json
- Math- · frontiers/intermediate_window_20260928/algebra.py
- Math- · frontiers/intermediate_window_20260928/run_validation.py
- Math- · frontiers/intermediate_window_20260928/test_algebra.py
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/AUTHOR_READ_COMPLETE_AND_PACKET_CLAIM.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/CLAIM.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/PROOF.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/REVIEW_SLICE_A.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/REVIEW_SLICE_A_SUMMONS.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/REVIEW_SLICE_B.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/author_controls.py
- Math- · frontiers/lifetime_cj_model_j_20261012/CJ/author_controls_stdout.json
- Math- · frontiers/lifetime_cj_model_j_20261012/README.md
- Math- · frontiers/lifetime_cj_model_j_20261012/SOURCES.json
- Math- · frontiers/lifetime_cj_model_j_20261012/replay.py
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AMEND_APPLIED_READBACK_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AMEND_V13_APPLIED_READBACK_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_CONTROLS_ADDENDUM_C10.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_CONTROLS_ADDENDUM_C10_v1_0_AS_READ.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_CONTROLS_ADDENDUM_C10_v1_1_AS_READ.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_CONTROLS_COMMENT_V2.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_READ_COMPLETE_2_AND_SUCCESSOR_CLAIM.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_READ_COMPLETE_3_AND_V3_CLAIM.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/AUTHOR_READ_COMPLETE_AND_PACKET_CLAIM.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/CLAIM.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR448_AUTHOR_HANDOFF.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR448_CODEX_REVIEW.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR448_ENGINEERING_READ.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR448_ENGINEERING_READ_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR449_AMEND_APPLIED_READBACK_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR449_AUTHOR_HANDOFF.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR449_ENGINEERING_READ_AMEND.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR449_ENGINEERING_READ_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR449_READBACK.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PR449_READBACK_CORRECTION.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PROOF.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PROOF_v1_0_AS_READ.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PROOF_v1_1_READBACK.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PROOF_v1_2_C10_READ.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/PROOF_v1_3_READ.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_C10.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_C10_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_READBACK.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_SLICE_A.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_SLICE_B_AMEND.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_SLICE_B_RESUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_V13.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_V13_SUMMONS.md
- Math- · frontiers/lifetime_dd_model_d_20261013/DD/REVIEW_V14_READBACK.md
- Math- · frontiers/lifetime_dd_model_d_20261013/README.md
- Math- · frontiers/lifetime_dd_model_d_20261013/SOURCES.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/cells_full.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddS.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/dd_controls.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/dd_exact.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/dd_gapcheck.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/dd_mutants.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddbounds.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddcore.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddgauss.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddint.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddtaylor.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/ddvq.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/artifacts_run_38347192184.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_0.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_1.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_10.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_11.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_2.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_3.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_4.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_5.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_6.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_7.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_8.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/nodes/nodes_9.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/assembly_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/assembly_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/controls_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/controls_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/gapcheck_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/gapcheck_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate/results/mutants_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/cells_full.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddS.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/dd_controls.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/dd_exact.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/dd_gapcheck.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/dd_mutants.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddbounds.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddcore.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddgauss.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddint.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddtaylor.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/ddvq.py
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/artifacts_run_38367190632.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_0.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_1.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_10.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_11.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_2.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_3.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_4.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_5.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_6.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_7.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_8.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/nodes/nodes_9.json
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/assembly_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/assembly_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/controls_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/controls_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/gapcheck_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/gapcheck_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/mutants_stdout.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/certificate_v2/results/mutants_stdout_O.txt
- Math- · frontiers/lifetime_dd_model_d_20261013/replay.py
- Math- · frontiers/lifetime_moment_boundary_20260930/CHECK_RECEIPT.json
- Math- · frontiers/lifetime_moment_boundary_20260930/CHECK_RECEIPT_OPTIMIZED.json
- Math- · frontiers/lifetime_moment_boundary_20260930/IDENTITY_AND_CONTROL_OBSERVATIONS.json
- Math- · frontiers/lifetime_moment_boundary_20260930/LOSS_CHECK_RECEIPT.json
- Math- · frontiers/lifetime_moment_boundary_20260930/LOSS_CHECK_RECEIPT_OPTIMIZED.json
- Math- · frontiers/lifetime_moment_boundary_20260930/LOSS_COROLLARY.md
- Math- · frontiers/lifetime_moment_boundary_20260930/LOSS_IDENTITY_AND_CONTROL_OBSERVATIONS.json
- Math- · frontiers/lifetime_moment_boundary_20260930/LOSS_NONAUTHOR_REVIEW.md
- Math- · frontiers/lifetime_moment_boundary_20260930/NONAUTHOR_REVIEW.md
- Math- · frontiers/lifetime_moment_boundary_20260930/PROOF.md
- Math- · frontiers/lifetime_moment_boundary_20260930/README.md
- Math- · frontiers/lifetime_moment_boundary_20260930/SOURCES.json
- Math- · frontiers/lifetime_moment_boundary_20260930/check_exact.py
- Math- · frontiers/lifetime_moment_boundary_20260930/check_loss_exact.py
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/BOREL.md
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/CAP.md
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/ERR.md
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/MARK_2.md
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/MARK_D.md
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/P.md
- Math- · frontiers/lifetime_moment_boundary_20260930/sources/REC.md
- Math- · frontiers/lifetime_moment_boundary_20260930/test_verify.py
- Math- · frontiers/lifetime_moment_boundary_20260930/verify.py
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/CLAIM.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/EXPLORATION_COMMENT.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/PROOF.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/REVIEW_SLICE_A.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/REVIEW_SLICE_B.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/REVIEW_SLICE_C.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/REVIEW_SLICE_C_SUMMONS_FIRST.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/author_controls.py
- Math- · frontiers/lifetime_two_thirds_chain_20261007/C3/author_controls_stdout.json
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/CLAIM.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/PROOF.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/REVIEW_SLICE_A.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/REVIEW_SLICE_B.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/author_controls.py
- Math- · frontiers/lifetime_two_thirds_chain_20261007/EM1/author_controls_stdout.json
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/AUTHOR_SUCCESSOR_TEXT_AND_READBACK_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/CLAIM.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/PROOF.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/READBACK_SUCCESSOR_TEXT.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/REVIEW_SLICE_A.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/REVIEW_SLICE_B.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/REVIEW_SLICE_C.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/author_controls.py
- Math- · frontiers/lifetime_two_thirds_chain_20261007/LU/author_controls_stdout.json
- Math- · frontiers/lifetime_two_thirds_chain_20261007/README.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/AUTHOR_READ_COMPLETE_AND_PACKET_CLAIM.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/CLAIM.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/PROOF.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/REVIEW_SLICE_A.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/REVIEW_SLICE_B.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/author_controls.py
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SL/author_controls_stdout.json
- Math- · frontiers/lifetime_two_thirds_chain_20261007/SOURCES.json
- Math- · frontiers/lifetime_two_thirds_chain_20261007/replay.py
- Math- · frontiers/local_cluster_tightness_20260929/PROOF.md
- Math- · frontiers/local_cluster_tightness_20260929/README.md
- Math- · frontiers/local_cluster_tightness_20260929/RECONNAISSANCE.md
- Math- · frontiers/local_cluster_tightness_20260929/RESULTS.json
- Math- · frontiers/local_cluster_tightness_20260929/SOURCE_FILES.json
- Math- · frontiers/local_cluster_tightness_20260929/SOURCE_MAP.json
- Math- · frontiers/local_cluster_tightness_20260929/controls.py
- Math- · frontiers/local_cluster_tightness_20260929/custody.py
- Math- · frontiers/local_cluster_tightness_20260929/test_controls.py
- Math- · frontiers/local_cluster_tightness_20260929/test_custody.py
- Math- · frontiers/local_cluster_tightness_20260929/verify.py
- Math- · frontiers/local_elder_geometry_20260930/MIXED_SCALES.md
- Math- · frontiers/local_elder_geometry_20260930/MIXED_SCALES_REVIEW.md
- Math- · frontiers/local_elder_geometry_20260930/NONAUTHOR_REVIEW.md
- Math- · frontiers/local_elder_geometry_20260930/PROOF.md
- Math- · frontiers/local_elder_geometry_20260930/README.md
- Math- · frontiers/local_elder_geometry_20260930/RECONNAISSANCE.md
- Math- · frontiers/local_elder_geometry_20260930/SOURCES.json
- Math- · frontiers/local_pairing_20260930/LOCAL_PAIRING.md
- Math- · frontiers/local_pairing_20260930/README.md
- Math- · frontiers/local_pairing_20260930/RESULTS.json
- Math- · frontiers/local_pairing_20260930/SOURCES.json
- Math- · frontiers/local_pairing_20260930/exploration/RESULTS_EXPLORATION.json
- Math- · frontiers/local_pairing_20260930/exploration/elder_grid.py
- Math- · frontiers/local_pairing_20260930/exploration/test_elder_grid.py
- Math- · frontiers/local_pairing_20260930/pairing_check.py
- Math- · frontiers/moving_remote_collision_20261003/AUTHOR_CONTROLS_FREEZE.json
- Math- · frontiers/moving_remote_collision_20261003/AUTHOR_CONTROL_RUNS.json
- Math- · frontiers/moving_remote_collision_20261003/CONTROLS_DESIGN.md
- Math- · frontiers/moving_remote_collision_20261003/PROOF.md
- Math- · frontiers/moving_remote_collision_20261003/README.md
- Math- · frontiers/moving_remote_collision_20261003/SOURCE_IDENTITIES.json
- Math- · frontiers/moving_remote_collision_20261003/author_controls.launch_failure.stderr
- Math- · frontiers/moving_remote_collision_20261003/author_controls.launch_failure.stdout
- Math- · frontiers/moving_remote_collision_20261003/author_controls.normal.stderr
- Math- · frontiers/moving_remote_collision_20261003/author_controls.normal.stdout
- Math- · frontiers/moving_remote_collision_20261003/author_controls.optimized.stderr
- Math- · frontiers/moving_remote_collision_20261003/author_controls.optimized.stdout
- Math- · frontiers/moving_remote_collision_20261003/author_controls.py
- Math- · frontiers/moving_remote_collision_20261003/review/AUTHOR_CHECKER_REPLAY.json
- Math- · frontiers/moving_remote_collision_20261003/review/CONTROL_DESIGN.md
- Math- · frontiers/moving_remote_collision_20261003/review/ENGINEERING_RECEIPT.json
- Math- · frontiers/moving_remote_collision_20261003/review/ENGINEERING_REVIEW.md
- Math- · frontiers/moving_remote_collision_20261003/review/ENGINEERING_RUNS.json
- Math- · frontiers/moving_remote_collision_20261003/review/INDEPENDENT_RUNS.json
- Math- · frontiers/moving_remote_collision_20261003/review/REVIEW.md
- Math- · frontiers/moving_remote_collision_20261003/review/REVIEW_RECEIPT.json
- Math- · frontiers/moving_remote_collision_20261003/review/independent_controls.py
- Math- · frontiers/moving_remote_collision_20261003/sources/E1.md
- Math- · frontiers/moving_remote_collision_20261003/sources/E2.md
- Math- · frontiers/moving_remote_collision_20261003/sources/P.md
- Math- · frontiers/moving_remote_collision_20261003/sources/RC.md
- Math- · frontiers/moving_remote_collision_20261003/sources/REC.md
- Math- · frontiers/moving_remote_collision_20261003/sources/RM.md
- Math- · frontiers/moving_remote_collision_20261003/test_verify_sources.py
- Math- · frontiers/moving_remote_collision_20261003/verify_sources.py
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/FOLD_ISOLATION.md
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/PROOF.md
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/README.md
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/SOURCES.json
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/check.py
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/test_check.py
- Math- · frontiers/ordinary_short_bar_occurrence_20261001/verify_sources.py
- Math- · frontiers/ordinary_short_bar_occurrence_all_d_20261001/NOTE.md
- Math- · frontiers/ordinary_short_bar_occurrence_all_d_20261001/README.md
- Math- · frontiers/ordinary_short_bar_occurrence_all_d_20261001/SOURCES.json
- Math- · frontiers/ordinary_short_bar_occurrence_all_d_20261001/check.py
- Math- · frontiers/ordinary_short_bar_occurrence_all_d_20261001/test_check.py
- Math- · frontiers/ordinary_short_bar_occurrence_all_d_20261001/verify_sources.py
- Math- · frontiers/p15_bipartite_overlap_20260928/EVEN_CAPACITY_EXTENSION.md
- Math- · frontiers/p15_bipartite_overlap_20260928/PROOF.md
- Math- · frontiers/p15_bipartite_overlap_20260928/README.md
- Math- · frontiers/p15_bipartite_overlap_20260928/RECONNAISSANCE.md
- Math- · frontiers/p15_bipartite_overlap_20260928/RESULTS.json
- Math- · frontiers/p15_bipartite_overlap_20260928/SOURCE_FILES.json
- Math- · frontiers/p15_bipartite_overlap_20260928/SOURCE_MAP.json
- Math- · frontiers/p15_bipartite_overlap_20260928/overlap.py
- Math- · frontiers/p15_bipartite_overlap_20260928/run_validation.py
- Math- · frontiers/p15_bipartite_overlap_20260928/test_overlap.py
- Math- · frontiers/p15_tail_load_20260928/PROOF.md
- Math- · frontiers/p15_tail_load_20260928/README.md
- Math- · frontiers/p15_tail_load_20260928/RECONNAISSANCE.md
- Math- · frontiers/p15_tail_load_20260928/RESULTS.json
- Math- · frontiers/p15_tail_load_20260928/SOURCE_FILES.json
- Math- · frontiers/p15_tail_load_20260928/SOURCE_MAP.json
- Math- · frontiers/p15_tail_load_20260928/certificate.py
- Math- · frontiers/p15_tail_load_20260928/test_certificate.py
- Math- · frontiers/p15_tail_load_20260928/verify.py
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/AUTHOR_ACK.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/CLAIM.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/DELIVERY_RELEASE.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/ERRATUM_E1.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/PROOF.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/REVIEW.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/REVIEW_PICKUP.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/REVIEW_RELEASE.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/SUPPORT_NOTE.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/author_controls.py
- Math- · frontiers/planar_compact_k_chain_20261006/A4_1/author_controls_stdout.txt
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/CLAIM.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/PROOF.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/READ_REQUEST_IN_NOTE_BL_ACK.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_A.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_A_PICKUP.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_B.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_B_PICKUP.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_C.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_C_PICKUP.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_D.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/REVIEW_SLICE_D_PICKUP.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/author_controls.py
- Math- · frontiers/planar_compact_k_chain_20261006/A4_2/author_controls_stdout.txt
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/AUTHOR_ROUND_NOTE.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/CLAIM.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/PROOF.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/READ_REQUESTS.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/REVIEW_SLICE1.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/REVIEW_SLICE2.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/REVIEW_SLICE2_SUMMONS.md
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/author_controls.py
- Math- · frontiers/planar_compact_k_chain_20261006/A4_3/author_controls_stdout.json
- Math- · frontiers/planar_compact_k_chain_20261006/PD/AUTHOR_ACK.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/CLAIM.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/DELIVERY_RELEASE.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/PROOF.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/REVIEW.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/REVIEW_PICKUP.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/REVIEW_RELEASE.md
- Math- · frontiers/planar_compact_k_chain_20261006/PD/ledger_control.py
- Math- · frontiers/planar_compact_k_chain_20261006/PD/ledger_control_stdout.txt
- Math- · frontiers/planar_compact_k_chain_20261006/README.md
- Math- · frontiers/planar_compact_k_chain_20261006/SOURCES.json
- Math- · frontiers/planar_compact_k_chain_20261006/replay.py
- Math- · frontiers/planar_cubic_cluster_20260929/DEEP_TRANSVERSE_EXCLUSION.md
- Math- · frontiers/planar_cubic_cluster_20260929/MANIFEST.json
- Math- · frontiers/planar_cubic_cluster_20260929/PROOF.md
- Math- · frontiers/planar_cubic_cluster_20260929/README.md
- Math- · frontiers/planar_cubic_cluster_20260929/RECONNAISSANCE.md
- Math- · frontiers/planar_cubic_cluster_20260929/RESULTS.json
- Math- · frontiers/planar_cubic_cluster_20260929/SOURCES.json
- Math- · frontiers/planar_cubic_cluster_20260929/cubic.py
- Math- · frontiers/planar_cubic_cluster_20260929/test_cubic.py
- Math- · frontiers/planar_cubic_cluster_20260929/test_deep_exclusion.py
- Math- · frontiers/planar_cubic_cluster_20260929/test_verify.py
- Math- · frontiers/planar_cubic_cluster_20260929/verify.py
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/AUTHOR_ACK.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/CLAIM.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/PROOF.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/REVIEW.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/REVIEW_COMPLETION.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/REVIEW_EXPOSURE_CORRECTION.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/REVIEW_PICKUP.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/author_controls.py
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/A4/author_controls_stdout.txt
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/README.md
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/SOURCES.json
- Math- · frontiers/planar_rejected_endpoint_margin_20261003/replay.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/author_controls.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/author_controls_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C101/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/SOURCE_IDENTITIES.json
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C102/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/HANDOFF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/SOURCES_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/author_controls.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/author_controls_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C103/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/CHECKER_CLAUDE_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/CONTROLS.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/REVIEW_CLAUDE.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/REVIEW_DESIGN.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/SOURCES_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/SOURCE_IDENTITIES.json
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/author_controls.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/author_controls_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/checker_claude.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/checker_claude_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C124/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/AUTHOR_PROOF_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/AUTHOR_RESPONSE.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/CLAUDE_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/COMPLETION.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/CONTROL_DESIGN.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/DESIGN.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/FINITE_R_INTERPOLATION.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/HANDOFF_SCOPE_NOTE.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/REVIEW_CLAUDE.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/REVIEW_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/SCOPE_AUDIT_IDENTITIES.json
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/SOURCES.json
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/author_controls_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/c127_exact.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/c127_exact_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/c127_numeric.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/c127_numeric_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/independent_controls.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/independent_controls_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C127/verify_controls.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C91/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C91/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C91/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C91/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C91/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C92/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C92/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C92/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C92/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C92/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C93/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C93/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C93/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C93/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C93/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C94/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C94/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C94/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C94/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C94/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C95/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C95/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C95/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C95/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C95/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C95/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C96/COMPLETION.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C96/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C96/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C96/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C97/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C97/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C97/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C97/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C97/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C97/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C98/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C98/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C98/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C98/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C98/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C98/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/CHECKER_COMMENT.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/DELIVERY.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/HANDOFF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/PROOF.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/REVIEW.md
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/author_controls.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/author_controls_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/checker.py
- Math- · frontiers/planar_soft_layer_chain_20261003/C99/checker_stdout.txt
- Math- · frontiers/planar_soft_layer_chain_20261003/README.md
- Math- · frontiers/planar_soft_layer_chain_20261003/SOURCES.json
- Math- · frontiers/planar_soft_layer_chain_20261003/replay.py
- Math- · frontiers/price_budget_20260924/PROOF.md
- Math- · frontiers/price_budget_20260924/RESULTS.json
- Math- · frontiers/price_budget_20260924/SOURCE_FILES.json
- Math- · frontiers/price_budget_20260924/price_budget.py
- Math- · frontiers/price_budget_20260924/run_validation.py
- Math- · frontiers/price_budget_20260924/test_price_budget.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/AUTHOR_CONTROLS_COMMENT_A3_A3_1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/CONSOLIDATED_ERRATUM_A3_A3_1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/ERRATUM_READBACK_Q1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/REVIEW_Q1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/REVIEW_Q1_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/REVIEW_REQUEST_A3_A3_1_A3_2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/SUCCESSOR_TEXT_A3_A3_1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/ERRATUM_READBACK_Q2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/ERRATUM_READBACK_Q3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/REVIEW_Q2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/REVIEW_Q2_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/REVIEW_Q3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/REVIEW_Q3_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_1/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_10/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_10/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_10/REVIEW.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_10/REVIEW_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_10/ledger_control.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_10/ledger_control_stdout.txt
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/AUTHOR_ROUND_NOTE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/READ_REQUESTS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/REVIEW_SLICE1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/REVIEW_SLICE2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/REVIEW_SLICE2_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/REVIEW_SLICE3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/REVIEW_SLICE3_SUMMONS_1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/REVIEW_SLICE3_SUMMONS_2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_11/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/AUTHOR_RESPONSE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/READBACK_C141_PICKUP_LAPSED.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/READBACK_Q4.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/READBACK_Q4_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/REVIEW_C135_COMPLETE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/REVIEW_C135_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/REVIEW_C135_Q4.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_2/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/AUTHOR_RESPONSE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/READBACK_C1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/READBACK_C1_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S1_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S2_C1_ADDRESSED.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S2_FINDING_C1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S2_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S2_WITNESS_TORUS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/REVIEW_S3_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/addendum_control_k5o.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/addendum_control_k5o_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_3/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/REVIEW_SLICE1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/REVIEW_SLICE1_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/REVIEW_SLICE2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/REVIEW_SLICE2_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/REVIEW_SLICE3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/REVIEW_SLICE3_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/SUCCESSOR.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/SUCCESSOR_READBACK_A.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/SUCCESSOR_READBACK_AB_O.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/SUCCESSOR_READBACK_D.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_4/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/AUTHOR_RESPONSE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/REVIEW_SLICE1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/REVIEW_SLICE1_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/REVIEW_SLICE2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/REVIEW_SLICE2_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/REVIEW_SLICE3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/REVIEW_SLICE3_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_5/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/AUTHOR_ROUND_NOTE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/READ_REQUESTS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/REVIEW_SLICE1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/REVIEW_SLICE1_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/REVIEW_SLICE2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/REVIEW_SLICE2_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/REVIEW_SLICE3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/REVIEW_SLICE3_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_6/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/AUTHOR_ROUND_NOTE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/READ_REQUESTS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/REVIEW_SLICE1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/REVIEW_SLICE1_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/REVIEW_SLICE2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/REVIEW_SLICE2_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/REVIEW_SLICE3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/REVIEW_SLICE3_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_7/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/AUTHOR_ROUND1_SUCCESSOR_TEXT.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/AUTHOR_ROUND_NOTE.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/READ_REQUESTS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE1.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE1_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE2.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE2_BLOCK.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE2_READBACK_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE3.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE3_PICKUP.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/REVIEW_SLICE3_SOURCE_CLARIFICATION.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/author_controls.py
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_8/author_controls_stdout.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_9/CLAIM.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_9/PROOF.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_9/REVIEW.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/A3_9/REVIEW_SUMMONS.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/README.md
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/SOURCES.json
- Math- · frontiers/qs_d3_soft_layer_chain_20261005/replay.py
- Math- · frontiers/radial_rate_20260930/MANIFEST.json
- Math- · frontiers/radial_rate_20260930/PLAN.md
- Math- · frontiers/radial_rate_20260930/PROOF.md
- Math- · frontiers/radial_rate_20260930/README.md
- Math- · frontiers/radial_rate_20260930/RECONNAISSANCE.md
- Math- · frontiers/radial_rate_20260930/RESULTS.json
- Math- · frontiers/radial_rate_20260930/SOURCES.json
- Math- · frontiers/radial_rate_20260930/VALIDATION.md
- Math- · frontiers/radial_rate_20260930/rate.py
- Math- · frontiers/radial_rate_20260930/test_rate.py
- Math- · frontiers/radial_rate_20260930/test_verify.py
- Math- · frontiers/radial_rate_20260930/verify.py
- Math- · frontiers/remainder_rate_20260930/PROOF.md
- Math- · frontiers/remainder_rate_20260930/README.md
- Math- · frontiers/remainder_rate_20260930/RESULTS.json
- Math- · frontiers/remainder_rate_20260930/SOURCES.json
- Math- · frontiers/remainder_rate_20260930/rate_ledger_check.py
- Math- · frontiers/remainder_vanishing_20260930/ERRATUM_20261004.md
- Math- · frontiers/remainder_vanishing_20260930/PROOF.md
- Math- · frontiers/remainder_vanishing_20260930/README.md
- Math- · frontiers/remainder_vanishing_20260930/RESULTS.json
- Math- · frontiers/remainder_vanishing_20260930/SOURCES.json
- Math- · frontiers/remainder_vanishing_20260930/even_contact_check.py
- Math- · frontiers/remote_collision_20260928/PROOF.md
- Math- · frontiers/remote_collision_20260928/README.md
- Math- · frontiers/remote_collision_20260928/RESULTS.json
- Math- · frontiers/remote_collision_20260928/SOURCE_FILES.json
- Math- · frontiers/remote_collision_20260928/collision_exact_check.py
- Math- · frontiers/remote_height_decoupling_20260928/PROOF.md
- Math- · frontiers/remote_height_decoupling_20260928/README.md
- Math- · frontiers/remote_height_decoupling_20260928/RECONNAISSANCE.md
- Math- · frontiers/remote_height_decoupling_20260928/RESULTS.json
- Math- · frontiers/remote_height_decoupling_20260928/SOURCE_FILES.json
- Math- · frontiers/remote_height_decoupling_20260928/SOURCE_MAP.json
- Math- · frontiers/remote_height_decoupling_20260928/check.py
- Math- · frontiers/remote_height_decoupling_20260928/verify.py
- Math- · frontiers/remote_inverse_separation_20260928/PROOF.md
- Math- · frontiers/remote_inverse_separation_20260928/README.md
- Math- · frontiers/remote_inverse_separation_20260928/RECONNAISSANCE.md
- Math- · frontiers/remote_inverse_separation_20260928/RESULTS.json
- Math- · frontiers/remote_inverse_separation_20260928/SOURCE_FILES.json
- Math- · frontiers/remote_inverse_separation_20260928/SOURCE_MAP.json
- Math- · frontiers/remote_inverse_separation_20260928/inverse.py
- Math- · frontiers/remote_inverse_separation_20260928/test_inverse.py
- Math- · frontiers/remote_inverse_separation_20260928/verify.py
- Math- · frontiers/remote_mixed_inverse_20260929/PROOF.md
- Math- · frontiers/remote_mixed_inverse_20260929/README.md
- Math- · frontiers/remote_mixed_inverse_20260929/RECONNAISSANCE.md
- Math- · frontiers/remote_mixed_inverse_20260929/RESULTS.json
- Math- · frontiers/remote_mixed_inverse_20260929/SOURCE_FILES.json
- Math- · frontiers/remote_mixed_inverse_20260929/SOURCE_MAP.json
- Math- · frontiers/remote_mixed_inverse_20260929/mixed.py
- Math- · frontiers/remote_mixed_inverse_20260929/test_mixed.py
- Math- · frontiers/remote_mixed_inverse_20260929/verify.py
- Math- · frontiers/remote_singleton_law_20260928/PROOF.md
- Math- · frontiers/remote_singleton_law_20260928/README.md
- Math- · frontiers/remote_singleton_law_20260928/RESULTS.json
- Math- · frontiers/remote_singleton_law_20260928/SOURCE_FILES.json
- Math- · frontiers/remote_singleton_law_20260928/finite_law.py
- Math- · frontiers/remote_singleton_law_20260928/run_validation.py
- Math- · frontiers/remote_singleton_law_20260928/test_finite_law.py
- Math- · frontiers/remote_window_20260924/PROOF.md
- Math- · frontiers/remote_window_20260924/README.md
- Math- · frontiers/remote_window_20260924/RECONNAISSANCE.md
- Math- · frontiers/remote_window_20260924/RESULTS.json
- Math- · frontiers/remote_window_20260924/SOURCE_FILES.json
- Math- · frontiers/remote_window_20260924/remote_window.py
- Math- · frontiers/remote_window_20260924/run_validation.py
- Math- · frontiers/remote_window_20260924/test_remote_window.py
- Math- · frontiers/replacement_bar_occurrence_20261001/GLOBAL.md
- Math- · frontiers/replacement_bar_occurrence_20261001/PROOF.md
- Math- · frontiers/replacement_bar_occurrence_20261001/README.md
- Math- · frontiers/replacement_bar_occurrence_20261001/SOURCES.json
- Math- · frontiers/replacement_bar_occurrence_20261001/check_exact.py
- Math- · frontiers/replacement_bar_occurrence_20261001/sources/c50/PROOF.md
- Math- · frontiers/replacement_bar_occurrence_20261001/sources/c50/ROOTS.md
- Math- · frontiers/replacement_bar_occurrence_20261001/sources/c50/SOURCES.json
- Math- · frontiers/replacement_bar_occurrence_20261001/test_exact.py
- Math- · frontiers/rn_annulus_bridge_20260925/PROOF.md
- Math- · frontiers/rn_annulus_bridge_20260925/RECONNAISSANCE.md
- Math- · frontiers/rn_annulus_bridge_20260925/RESULTS.json
- Math- · frontiers/rn_annulus_bridge_20260925/SOURCE_FILES.json
- Math- · frontiers/rn_annulus_bridge_20260925/annulus_bridge.py
- Math- · frontiers/rn_annulus_bridge_20260925/run_validation.py
- Math- · frontiers/rn_annulus_bridge_20260925/test_annulus_bridge.py
- Math- · frontiers/rn_mesoscopic_20260925/PROOF.md
- Math- · frontiers/rn_mesoscopic_20260925/RECONNAISSANCE.md
- Math- · frontiers/rn_thin_tube_20260925/ANNULUS_RECON.md
- Math- · frontiers/rn_thin_tube_20260925/FIXED_ANNULUS_CANDIDATE.md
- Math- · frontiers/rn_thin_tube_20260925/PROOF.md
- Math- · frontiers/rn_thin_tube_20260925/README.md
- Math- · frontiers/rn_thin_tube_20260925/RECON.md
- Math- · frontiers/rn_thin_tube_20260925/TWO_SCALE_ADDENDUM.md
- Math- · frontiers/rn_thin_tube_20260925/annulus.py
- Math- · frontiers/rn_thin_tube_20260925/replay_two_scale.py
- Math- · frontiers/rn_thin_tube_20260925/test_annulus.py
- Math- · frontiers/rn_thin_tube_20260925/test_thin_tube.py
- Math- · frontiers/rn_thin_tube_20260925/test_two_scale.py
- Math- · frontiers/rn_thin_tube_20260925/thin_tube.py
- Math- · frontiers/rn_thin_tube_20260925/two_scale.py
- Math- · frontiers/sard_g_a2_parameter_20260929/PROOF.md
- Math- · frontiers/sard_g_a2_parameter_20260929/README.md
- Math- · frontiers/sard_g_a2_parameter_20260929/check.py
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/A2_FIXED_FRAME.md
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/AUTHOR_CORRECTION.md
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/NONVANISHING_AND_CLOSURE.md
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/README.md
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/RECONNAISSANCE.md
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/RESULTS.json
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/SOURCE_FILES.json
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/SOURCE_MAP.json
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/a2.py
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/test_a2.py
- Math- · frontiers/sard_g_a2_parameter_20260929/v2/verify.py
- Math- · frontiers/sard_g_a2_regularity_20260929/PROOF.md
- Math- · frontiers/sard_g_a2_regularity_20260929/RESULTS.json
- Math- · frontiers/sard_g_a2_regularity_20260929/SOURCE_FILES.json
- Math- · frontiers/sard_g_a2_regularity_20260929/a2_check.py
- Math- · frontiers/sard_g_pinned_transfer_20260929/PROOF.md
- Math- · frontiers/sard_g_pinned_transfer_20260929/RESULTS.json
- Math- · frontiers/sard_g_pinned_transfer_20260929/SOURCE_FILES.json
- Math- · frontiers/sard_g_pinned_transfer_20260929/transfer_check.py
- Math- · frontiers/sard_g_robust_charts_20260929/PROOF.md
- Math- · frontiers/sard_g_robust_charts_20260929/README.md
- Math- · frontiers/sard_g_robust_charts_20260929/RECONNAISSANCE.md
- Math- · frontiers/sard_g_robust_charts_20260929/RESULTS.json
- Math- · frontiers/sard_g_robust_charts_20260929/SOURCE_FILES.json
- Math- · frontiers/sard_g_robust_charts_20260929/SOURCE_MAP.json
- Math- · frontiers/sard_g_robust_charts_20260929/charts.py
- Math- · frontiers/sard_g_robust_charts_20260929/test_charts.py
- Math- · frontiers/sard_g_robust_charts_20260929/verify.py
- Math- · frontiers/separated_fold_multiplicity_20261002/MANIFEST.json
- Math- · frontiers/separated_fold_multiplicity_20261002/PROOF.md
- Math- · frontiers/separated_fold_multiplicity_20261002/README.md
- Math- · frontiers/separated_fold_multiplicity_20261002/RESULTS.json
- Math- · frontiers/separated_fold_multiplicity_20261002/SOURCE_BINDINGS.json
- Math- · frontiers/separated_fold_multiplicity_20261002/VALIDATION.md
- Math- · frontiers/separated_fold_multiplicity_20261002/check.py
- Math- · frontiers/separated_fold_multiplicity_20261002/test_check.py
- Math- · frontiers/separated_fold_multiplicity_20261002/test_sources.py
- Math- · frontiers/separated_fold_multiplicity_20261002/verify_sources.py
- Math- · frontiers/short_bar_endpoint_law_20261001/PROOF.md
- Math- · frontiers/side24_periodization_20260929/PROOF.md
- Math- · frontiers/side24_periodization_20260929/RESULTS.json
- Math- · frontiers/side24_periodization_20260929/SOURCE_FILES.json
- Math- · frontiers/side24_periodization_20260929/first_variation_check.py
- Math- · frontiers/side24_periodization_remainder_20260929/PROOF.md
- Math- · frontiers/side24_periodization_remainder_20260929/RESULTS.json
- Math- · frontiers/side24_periodization_remainder_20260929/SOURCE_FILES.json
- Math- · frontiers/side24_periodization_remainder_20260929/remainder_check.py
- Math- · frontiers/small_lifetime_shape_20260930/MANIFEST.json
- Math- · frontiers/small_lifetime_shape_20260930/PLAN.md
- Math- · frontiers/small_lifetime_shape_20260930/PROOF.md
- Math- · frontiers/small_lifetime_shape_20260930/README.md
- Math- · frontiers/small_lifetime_shape_20260930/RECONNAISSANCE.md
- Math- · frontiers/small_lifetime_shape_20260930/RESULTS.json
- Math- · frontiers/small_lifetime_shape_20260930/SOURCES.json
- Math- · frontiers/small_lifetime_shape_20260930/VALIDATION.md
- Math- · frontiers/small_lifetime_shape_20260930/shape.py
- Math- · frontiers/small_lifetime_shape_20260930/test_jacobian.py
- Math- · frontiers/small_lifetime_shape_20260930/test_shape.py
- Math- · frontiers/small_lifetime_shape_20260930/test_verify.py
- Math- · frontiers/small_lifetime_shape_20260930/verify.py
- Math- · frontiers/soft_closed_form_20261002/PROOF.md
- Math- · frontiers/soft_closed_form_20261002/README.md
- Math- · frontiers/soft_closed_form_20261002/RESULTS.json
- Math- · frontiers/soft_closed_form_20261002/SOURCES.json
- Math- · frontiers/soft_closed_form_20261002/closed_form_check.py
- Math- · frontiers/soft_fold_limit_20261002/PROOF.md
- Math- · frontiers/soft_fold_limit_20261002/README.md
- Math- · frontiers/soft_fold_limit_20261002/RESULTS.json
- Math- · frontiers/soft_fold_limit_20261002/SOURCES.json
- Math- · frontiers/soft_fold_limit_20261002/fold_check.py
- Math- · frontiers/soft_rejected_pairs_20261002/PROOF.md
- Math- · frontiers/soft_rejected_pairs_20261002/README.md
- Math- · frontiers/soft_rejected_pairs_20261002/RESULTS.json
- Math- · frontiers/soft_rejected_pairs_20261002/SOURCES.json
- Math- · frontiers/soft_rejected_pairs_20261002/soft_check.py
- Math- · frontiers/spectral_cluster_closure_20260929/AUDIT_AND_REPAIR.md
- Math- · frontiers/spectral_cluster_closure_20260929/GLOBAL_DERIVATIVE_WEIGHTED.md
- Math- · frontiers/spectral_cluster_closure_20260929/MANIFEST.json
- Math- · frontiers/spectral_cluster_closure_20260929/PLAN.md
- Math- · frontiers/spectral_cluster_closure_20260929/PROOF.md
- Math- · frontiers/spectral_cluster_closure_20260929/README.md
- Math- · frontiers/spectral_cluster_closure_20260929/RECONNAISSANCE.md
- Math- · frontiers/spectral_cluster_closure_20260929/RESULTS.json
- Math- · frontiers/spectral_cluster_closure_20260929/REVIEW_RECORD.md
- Math- · frontiers/spectral_cluster_closure_20260929/SOURCES.json
- Math- · frontiers/spectral_cluster_closure_20260929/VALIDATION.md
- Math- · frontiers/spectral_cluster_closure_20260929/check.py
- Math- · frontiers/spectral_cluster_closure_20260929/test_check.py
- Math- · frontiers/spectral_cluster_closure_20260929/test_derivative_weighted.py
- Math- · frontiers/spectral_cluster_closure_20260929/test_verify.py
- Math- · frontiers/spectral_cluster_closure_20260929/verify.py
- Math- · frontiers/strict_unique_replacement_coefficient_20261003/AUTHOR_CORRECTIONS.md
- Math- · frontiers/strict_unique_replacement_coefficient_20261003/PROOF.md
- Math- · frontiers/strict_unique_replacement_coefficient_20261003/README.md
- Math- · frontiers/strict_unique_replacement_coefficient_20261003/SOURCE_FILES.json
- Math- · frontiers/strict_unique_replacement_coefficient_20261003/check.py
- Math- · frontiers/subpin_collision_20261002/PROOF.md
- Math- · frontiers/subpin_collision_20261002/README.md
- Math- · frontiers/subpin_collision_20261002/RESULTS.json
- Math- · frontiers/subpin_collision_20261002/SOURCES.json
- Math- · frontiers/subpin_collision_20261002/controls.py
- Math- · frontiers/third_order_coefficient_20261001/NOTE.md
- Math- · frontiers/third_order_coefficient_20261001/README.md
- Math- · frontiers/third_order_coefficient_20261001/RESULTS.json
- Math- · frontiers/third_order_coefficient_20261001/SOURCES.json
- Math- · frontiers/third_order_coefficient_20261001/c2_check.py
- Math- · frontiers/third_order_rate_20261001/PROOF.md
- Math- · frontiers/third_order_rate_20261001/README.md
- Math- · frontiers/third_order_rate_20261001/RESULTS.json
- Math- · frontiers/third_order_rate_20261001/SOURCES.json
- Math- · frontiers/third_order_rate_20261001/r37_check.py
- Math- · frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md
- Math- · frontiers/three_fronts_20260924/P15_PRICE_BOUNDARY.md
- Math- · frontiers/three_fronts_20260924/P15_REALIZED_COVERS.md
- Math- · frontiers/three_fronts_20260924/README.md
- Math- · frontiers/three_fronts_20260924/RECONNAISSANCE.md
- Math- · frontiers/three_fronts_20260924/RESULTS.json
- Math- · frontiers/three_fronts_20260924/RN_COUNT_INTERFACE.md
- Math- · frontiers/three_fronts_20260924/SOURCES.json
- Math- · frontiers/three_fronts_20260924/SOURCE_FILES.json
- Math- · frontiers/three_fronts_20260924/frontier_math.py
- Math- · frontiers/three_fronts_20260924/run_validation.py
- Math- · frontiers/three_fronts_20260924/test_frontiers.py
- Math- · frontiers/three_fronts_20260924/test_price_boundary.py
- Math- · frontiers/tl_soft_layer_20261006/README.md
- Math- · frontiers/tl_soft_layer_20261006/SOURCES.json
- Math- · frontiers/tl_soft_layer_20261006/TL/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/tl_soft_layer_20261006/TL/AUTHOR_ROUND_NOTE_AND_CLAIM.md
- Math- · frontiers/tl_soft_layer_20261006/TL/CLAIM.md
- Math- · frontiers/tl_soft_layer_20261006/TL/DELIVERED_POINTER_main259.md
- Math- · frontiers/tl_soft_layer_20261006/TL/PICKUP_IBA2_009_main259.md
- Math- · frontiers/tl_soft_layer_20261006/TL/PROOF.md
- Math- · frontiers/tl_soft_layer_20261006/TL/READ_REQUESTS.md
- Math- · frontiers/tl_soft_layer_20261006/TL/REVIEW_SLICES_AB.md
- Math- · frontiers/tl_soft_layer_20261006/TL/REVIEW_SLICES_AB_SUMMONS.md
- Math- · frontiers/tl_soft_layer_20261006/TL/REVIEW_SLICE_C.md
- Math- · frontiers/tl_soft_layer_20261006/TL/REVIEW_SLICE_D.md
- Math- · frontiers/tl_soft_layer_20261006/TL/REVIEW_SLICE_D_SUMMONS.md
- Math- · frontiers/tl_soft_layer_20261006/TL/author_controls.py
- Math- · frontiers/tl_soft_layer_20261006/TL/author_controls_stdout.json
- Math- · frontiers/tl_soft_layer_20261006/replay.py
- Math- · frontiers/ts_small_kappa_20261006/README.md
- Math- · frontiers/ts_small_kappa_20261006/SOURCES.json
- Math- · frontiers/ts_small_kappa_20261006/TS/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/ts_small_kappa_20261006/TS/AUTHOR_READ_COMPLETE_AND_CLAIM.md
- Math- · frontiers/ts_small_kappa_20261006/TS/AUTHOR_SUCCESSOR_TEXT_AND_READBACK_SUMMONS.md
- Math- · frontiers/ts_small_kappa_20261006/TS/CLAIM.md
- Math- · frontiers/ts_small_kappa_20261006/TS/DELIVERED_POINTER_main259.md
- Math- · frontiers/ts_small_kappa_20261006/TS/PICKUP_IBA2_009_main259.md
- Math- · frontiers/ts_small_kappa_20261006/TS/PROOF.md
- Math- · frontiers/ts_small_kappa_20261006/TS/READBACK_SUCCESSOR_TEXT.md
- Math- · frontiers/ts_small_kappa_20261006/TS/READ_REQUEST_SLICE_B_SUMMONS.md
- Math- · frontiers/ts_small_kappa_20261006/TS/REVIEW_SLICES_AD.md
- Math- · frontiers/ts_small_kappa_20261006/TS/REVIEW_SLICES_AD_SUMMONS.md
- Math- · frontiers/ts_small_kappa_20261006/TS/REVIEW_SLICE_B.md
- Math- · frontiers/ts_small_kappa_20261006/TS/REVIEW_SLICE_C.md
- Math- · frontiers/ts_small_kappa_20261006/TS/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/ts_small_kappa_20261006/TS/author_controls.py
- Math- · frontiers/ts_small_kappa_20261006/TS/author_controls_stdout.json
- Math- · frontiers/ts_small_kappa_20261006/replay.py
- Math- · frontiers/two_scale_cluster_geometry_20260929/MANIFEST.json
- Math- · frontiers/two_scale_cluster_geometry_20260929/RADIAL_TAIL.md
- Math- · frontiers/two_scale_cluster_geometry_20260929/README.md
- Math- · frontiers/two_scale_cluster_geometry_20260929/RECONNAISSANCE.md
- Math- · frontiers/two_scale_cluster_geometry_20260929/RESULTS.json
- Math- · frontiers/two_scale_cluster_geometry_20260929/REVIEW_RECORD.json
- Math- · frontiers/two_scale_cluster_geometry_20260929/REVIEW_RECORD.md
- Math- · frontiers/two_scale_cluster_geometry_20260929/SOURCES.json
- Math- · frontiers/two_scale_cluster_geometry_20260929/TWO_SCALE_LAW.md
- Math- · frontiers/two_scale_cluster_geometry_20260929/VALIDATION.md
- Math- · frontiers/two_scale_cluster_geometry_20260929/geometry.py
- Math- · frontiers/two_scale_cluster_geometry_20260929/test_custody.py
- Math- · frontiers/two_scale_cluster_geometry_20260929/test_geometry.py
- Math- · frontiers/two_scale_cluster_geometry_20260929/verify.py
- Math- · frontiers/unique_replacement_bar_intensity_20261001/PROOF.md
- Math- · frontiers/unique_replacement_bar_intensity_20261001/README.md
- Math- · frontiers/unique_replacement_bar_intensity_20261001/ROOTS.md
- Math- · frontiers/unique_replacement_bar_intensity_20261001/SOURCES.json
- Math- · frontiers/unique_replacement_bar_intensity_20261001/check_exact.py
- Math- · frontiers/unique_replacement_bar_intensity_20261001/test_sources.py
- Math- · frontiers/unrestricted_selection_difference_20260929/PROOF.md
- Math- · frontiers/unrestricted_selection_difference_20260929/RESULTS.json
- Math- · frontiers/unrestricted_selection_difference_20260929/SOURCE_FILES.json
- Math- · frontiers/unrestricted_selection_difference_20260929/witness_check.py
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/AUTHOR_READ_COMPLETE_AND_PACKET_CLAIM.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/PROOF.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_A.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_A_CORRECTION.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_B.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_C.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/REVIEW_SLICE_C_SUMMONS_NOT_PICKED_UP.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/author_controls.py
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/DC/author_controls_stdout.json
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/README.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/SOURCES.json
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/AUTHOR_CONTROLS_COMMENT.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/AUTHOR_READ_COMPLETE_AND_DC_CLAIM.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/CLAIM.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/PROOF.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/READ_REQUEST_SLICE_A_SUMMONS.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/REVIEW_SLICE_A.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/REVIEW_SLICE_B.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/REVIEW_SLICE_B_SUMMONS.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/REVIEW_SLICE_C.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/REVIEW_SLICE_C_SUMMONS.md
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/author_controls.py
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/V24/author_controls_stdout.json
- Math- · frontiers/v24_dc_two_thirds_sign_20261007/replay.py
- Math- · frontiers/window_multiplicity_laws_20260928/ELDER_LOWER_AND_DENSITY_GAP.md
- Math- · frontiers/window_multiplicity_laws_20260928/HEIGHT_MARKS.md
- Math- · frontiers/window_multiplicity_laws_20260928/LOCAL_MULTIPLICITY.md
- Math- · frontiers/window_multiplicity_laws_20260928/PUBLICATION.json
- Math- · frontiers/window_multiplicity_laws_20260928/README.md
- Math- · frontiers/window_multiplicity_laws_20260928/RECONNAISSANCE.md
- Math- · frontiers/window_multiplicity_laws_20260928/REMOTE_DISTANCE_MOMENTS.md
- Math- · frontiers/window_multiplicity_laws_20260928/REMOTE_PAIR_LAW.md
- Math- · frontiers/window_multiplicity_laws_20260928/SOURCE_FILES.json
- Math- · frontiers/window_multiplicity_laws_20260928/SOURCE_MAP.json
- Math- · imports/gp_data_114_embedded_20260930/GP-DATA-114-v1.0_receipt.json
- Math- · imports/gp_data_114_embedded_20260930/GP-DATA-114-v1.0_uniform_q_degree4_interval.py
- Math- · imports/gp_data_114_embedded_20260930/MANIFEST.json
- Math- · imports/gp_data_114_embedded_20260930/README.md
- Math- · imports/gp_data_114_embedded_20260930/SOURCES.json
- Math- · imports/gp_data_114_embedded_20260930/VALIDATION.json
- Math- · imports/gp_data_114_embedded_20260930/inert_decoder.py
- Math- · imports/gp_data_114_embedded_20260930/test_inert_decoder.py
- Math- · imports/gp_data_114_embedded_20260930/test_verify_packet.py
- Math- · imports/gp_data_114_embedded_20260930/verify_packet.py
- Math- · imports/hardening_ebedb780/EC-014/proof.md.export.txt
- Math- · imports/hardening_ebedb780/EC-015/proof.md.export.txt
- Math- · imports/hardening_ebedb780/EC-021/proof.md.export.txt
- Math- · imports/hardening_ebedb780/MANIFEST.json
- Math- · imports/hardening_ebedb780/P02-LM-001/proof.md.export.txt
- Math- · imports/hardening_ebedb780/P02-LM-002/proof.md.export.txt
- Math- · imports/hardening_ebedb780/P02-LM-005/proof.md.export.txt
- Math- · imports/hardening_ebedb780/P02-LM-007/proof.md.export.txt
- Math- · imports/hardening_ebedb780/P02-LM-008/proof.md.export.txt
- Math- · imports/hardening_ebedb780/P15-B/P15-B_PALETTE_SEPARATED_LOCALIZATION.md
- Math- · imports/hardening_ebedb780/README.md
- Math- · imports/hardening_ebedb780/main_issue_59/ISSUE_BODY_TRANSCRIPTION.md
- Math- · imports/hardening_ebedb780/verify.py
- Math- · imports/lifetime_parent_20260925/CAP_PAIRING_IDENTITIES.md
- Math- · imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md
- Math- · imports/lifetime_parent_20260925/ERRATUM_POINTER.md
- Math- · imports/lifetime_parent_20260925/MANIFEST.json
- Math- · imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md
- Math- · imports/lifetime_parent_20260925/README.md
- Math- · imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md
- Math- · imports/lifetime_parent_20260925/verify.py
- Math- · imports/transverse_contact_library_20260927/GEOMETRY_AND_CUBIC_INDEX.md
- Math- · imports/transverse_contact_library_20260927/README.md
- Math- · imports/transverse_contact_library_20260927/SOURCE_BINDING.json
- Math- · imports/transverse_contact_library_20260927/TRANSVERSE_CONTACT_ASYMPTOTIC.md
- Math- · imports/transverse_contact_library_20260927/companions/COLLISION_TRANSFER_THEOREM.md
- Math- · imports/transverse_contact_library_20260927/companions/FRESH_REPLAY.json
- Math- · imports/transverse_contact_library_20260927/companions/README.md
- Math- · imports/transverse_contact_library_20260927/companions/diagnostic_kernel.py
- Math- · imports/transverse_contact_library_20260927/companions/exact_checks.py
- Math- · imports/transverse_contact_library_20260927/companions/historical/DIAGNOSTIC.json
- Math- · imports/transverse_contact_library_20260927/companions/historical/MANIFEST.json
- Math- · imports/transverse_contact_library_20260927/companions/historical/ORIGINAL_DELIVERY_README.md
- Math- · imports/transverse_contact_library_20260927/companions/historical/VERIFICATION.json
- Math- · imports/upper2d_h5_ledgers_20260926/MANIFEST.json
- Math- · imports/upper2d_h5_ledgers_20260926/MANIFEST.sha256
- Math- · imports/upper2d_h5_ledgers_20260926/README.md
- Math- · imports/upper2d_h5_ledgers_20260926/REVIEW.md
- Math- · imports/upper2d_h5_ledgers_20260926/SELECTION_AUDIT.json
- Math- · imports/upper2d_h5_ledgers_20260926/VALIDATION.json
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s0p1_patches.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s0p1_rimprobes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s0p1_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s0p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s0p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s1p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0125_s1p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s0p1_patches.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s0p1_rimprobes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s0p1_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s0p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s0p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s1p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.0177_s1p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s0p1_patches.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s0p1_rimprobes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s0p1_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s0p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s0p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s0p2_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s1p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s1p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_s1p2_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.025_stitchfix.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s0p1_patches.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s0p1_rimprobes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s0p1_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s0p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s0p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s0p2_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s1p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s1p2_probes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_s1p2_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.035355_stitchfix.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_refine.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s0p1_patches.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s0p1_rimprobes.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s0p1_stitch.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s0p2.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s0p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s0p2_cells2.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s1p2.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s1p2_cells.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_s1p2_cells2.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_sdisk.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_sring.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_stitchref.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/raw/H5_closure/h5_results_r0.05_stitchref3.jsonl
- Math- · imports/upper2d_h5_ledgers_20260926/verify.py
- Math- · imports/upper2d_stage_e_20260926/MANIFEST.json
- Math- · imports/upper2d_stage_e_20260926/MANIFEST.sha256
- Math- · imports/upper2d_stage_e_20260926/README.md
- Math- · imports/upper2d_stage_e_20260926/REPLAY.json
- Math- · imports/upper2d_stage_e_20260926/REVIEW.md
- Math- · imports/upper2d_stage_e_20260926/raw/B1_taxonomy/b1_falsifier.py
- Math- · imports/upper2d_stage_e_20260926/raw/C1_alpha_intensity/c1_grid.py
- Math- · imports/upper2d_stage_e_20260926/raw/H2_foundations/cov_exact.py
- Math- · imports/upper2d_stage_e_20260926/raw/H2_foundations/pin_transform.py
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/attack_h4jc.py
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/certify_axis_break.py
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/hunt_rim.py
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/hunt_wedges.py
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/isserlis_break.py
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/t_attack_O.txt
- Math- · imports/upper2d_stage_e_20260926/raw/STAGE_E/t_attack_normal.txt
- Math- · imports/upper2d_stage_e_20260926/verify.py
- Math- · incoming/grok-cycle4-20260926/PUBLIC_READING_MAP.md
- Math- · incoming/grok-cycle4-20260926/benjamin/ALPHA_4PIN_SERIES.md
- Math- · incoming/grok-cycle4-20260926/benjamin/REDUCED_FRAME_4SLOT.md
- Math- · incoming/grok-cycle4-20260926/harper/CLOSED_FORMS_FTS_FTT.md
- Math- · incoming/grok-cycle4-20260926/harper/D5_OBSTRUCTION_LEDGER.md
- Math- · incoming/grok-cycle4-20260926/harper/README.md
- Math- · incoming/grok-cycle4-20260926/harper/SARD_G_A1_RELATIVE_INTERIOR_LEMMA.md
- Math- · incoming/grok-cycle4-20260926/harper/schur_diagnostic.py
- Math- · incoming/grok-cycle4-20260926/harper/test_closed_forms.py
- Math- · incoming/grok-cycle4-20260926/harper/test_ftt_conditional_mean.py
- Math- · incoming/grok-cycle4-20260926/harper/test_schur_diagnostic.py
- Math- · incoming/grok-cycle4-20260926/lucas/SARD_G_A1_APPLIED_TO_SUCCESSOR.md
- Math- · repairs/c026_reciprocal_20260927/README.md
- Math- · repairs/c026_reciprocal_20260927/reciprocal.py
- Math- · repairs/c026_reciprocal_20260927/test_reciprocal.py
- Math- · repairs/h5_rim_contract_20260926/REPAIR.md
- Math- · repairs/h5_rim_contract_20260926/REVIEW_RESPONSE.md
- Math- · repairs/h5_rim_contract_20260926/rim_contract.py
- Math- · repairs/h5_rim_contract_20260926/test_rim_contract.py
- Math- · repairs/h5_rim_contract_20260926/verify.py
- Math- · reviews/c2_interval_audit_20261001/MANIFEST.json
- Math- · reviews/c2_interval_audit_20261001/README.md
- Math- · reviews/c2_interval_audit_20261001/RESULTS.json
- Math- · reviews/c2_interval_audit_20261001/REVIEW.md
- Math- · reviews/c2_interval_audit_20261001/SOURCE_BINDINGS.json
- Math- · reviews/c2_interval_audit_20261001/VALIDATION.md
- Math- · reviews/c2_interval_audit_20261001/oracle.py
- Math- · reviews/c2_interval_audit_20261001/test_bindings.py
- Math- · reviews/c2_interval_audit_20261001/test_oracle.py
- Math- · reviews/c2_interval_audit_20261001/verify.py
- Math- · reviews/c6_fourier_completion_20260929/READING_NOTE.md
- Math- · reviews/c6_numerics_protocol_20261006/SCOPE.md
- Math- · reviews/c6_residual_closure_20260930/EXTERNAL_REVIEWS.md
- Math- · reviews/c6_residual_closure_20260930/PROPOSED_TRANSITIONS.json
- Math- · reviews/c6_residual_closure_20260930/RECONCILIATION.md
- Math- · reviews/c6_residual_closure_20260930/RESULTS.json
- Math- · reviews/c6_residual_closure_20260930/RESULTS_INSTALLED.json
- Math- · reviews/c6_residual_closure_20260930/REVIEWED_SECTION_3_b3fac79.md
- Math- · reviews/c6_residual_closure_20260930/SOURCE_FILES.json
- Math- · reviews/c6_residual_closure_20260930/residual_check.py
- Math- · reviews/c6_tail_constant_certified_20260930/README.md
- Math- · reviews/c6_tail_constant_certified_20260930/RESULTS.json
- Math- · reviews/c6_tail_constant_certified_20260930/SOURCE_FILES.json
- Math- · reviews/c6_tail_constant_certified_20260930/certify_tail_constants.py
- Math- · reviews/c6_witness_collision_reconciliation_20260929/PROPOSED_TRANSITIONS.json
- Math- · reviews/c6_witness_collision_reconciliation_20260929/RECONCILIATION.md
- Math- · reviews/c6_witness_collision_reconciliation_20260929/RESULTS.json
- Math- · reviews/c6_witness_collision_reconciliation_20260929/RESULTS_INSTALLED.json
- Math- · reviews/c6_witness_collision_reconciliation_20260929/SOURCE_FILES.json
- Math- · reviews/c6_witness_collision_reconciliation_20260929/reconciliation_check.py
- Math- · reviews/c7_nonvanishing_openai_20260929/RESULTS.json
- Math- · reviews/c7_nonvanishing_openai_20260929/REVIEW.md
- Math- · reviews/c7_nonvanishing_openai_20260929/SOURCE_FILES.json
- Math- · reviews/c7_nonvanishing_openai_20260929/check.py
- Math- · reviews/c7_total_k_scaling_recon_20260929/RETRACTION.md
- Math- · reviews/candidates_pending_20260928/CANDIDATES.md
- Math- · reviews/candidates_pending_20260928/CORRECTIONS.md
- Math- · reviews/candidates_pending_20260928/README.md
- Math- · reviews/candidates_pending_20260928/RESULTS.json
- Math- · reviews/candidates_pending_20260928/SCOPE_ADDENDUM.md
- Math- · reviews/cap_i4_d3_spectral_adapter_20261005/PROOF.md
- Math- · reviews/cap_i4_d3_spectral_adapter_20261005/README.md
- Math- · reviews/cap_i4_d3_spectral_adapter_20261005/SOURCES.json
- Math- · reviews/cap_i4_d3_spectral_adapter_20261005/algebra.py
- Math- · reviews/cap_i4_d3_spectral_adapter_20261005/replay.py
- Math- · reviews/cap_i4_d3_spectral_adapter_20261005/test_adapter.py
- Math- · reviews/collision_mechanism_20260925/CUMULATIVE_TRANSFER_CORRECTION.md
- Math- · reviews/collision_mechanism_20260925/NOTE.md
- Math- · reviews/collision_mechanism_20260925/README.md
- Math- · reviews/collision_mechanism_20260925/exact_checks.py
- Math- · reviews/contact_angular_tail_20260925/DIAGNOSTIC.json
- Math- · reviews/contact_angular_tail_20260925/NOTE.md
- Math- · reviews/contact_angular_tail_20260925/README.md
- Math- · reviews/contact_angular_tail_20260925/RECONNAISSANCE.md
- Math- · reviews/contact_angular_tail_20260925/SOURCE_FILES.json
- Math- · reviews/contact_angular_tail_20260925/angular_contact.py
- Math- · reviews/contact_angular_tail_20260925/diagnostic.py
- Math- · reviews/contact_angular_tail_20260925/run_validation.py
- Math- · reviews/contact_angular_tail_20260925/test_angular_contact.py
- Math- · reviews/contact_kernel_substitute_20260926/SUBSTITUTE.md
- Math- · reviews/contact_kernel_substitute_20260926/verify_substitute.py
- Math- · reviews/contact_kernel_tail_20260925/ANNULUS_ASYMPTOTIC_BRIDGE.md
- Math- · reviews/contact_kernel_tail_20260925/COORDINATION.md
- Math- · reviews/contact_kernel_tail_20260925/KERNEL_TAILS_AND_SMALL_GAP.md
- Math- · reviews/contact_kernel_tail_20260925/README.md
- Math- · reviews/contact_kernel_tail_20260925/RECONNAISSANCE.md
- Math- · reviews/contact_kernel_tail_20260925/RESULTS.json
- Math- · reviews/contact_kernel_tail_20260925/SOURCE_FILES.json
- Math- · reviews/contact_kernel_tail_20260925/contact_tools.py
- Math- · reviews/contact_kernel_tail_20260925/run_validation.py
- Math- · reviews/contact_kernel_tail_20260925/test_contact_tools.py
- Math- · reviews/cusp_workflow_protocol_20261006/SCOPE.md
- Math- · reviews/d0_custody_audit_20260926/AUDIT.md
- Math- · reviews/d1_cap_elder_partner_second_pass_claude_20260930/RESULTS.json
- Math- · reviews/d1_cap_elder_partner_second_pass_claude_20260930/REVIEW.md
- Math- · reviews/d1_cap_elder_partner_second_pass_claude_20260930/SOURCE_FILES.json
- Math- · reviews/d1_cap_elder_partner_second_pass_claude_20260930/cap_maximin_check.py
- Math- · reviews/d1_cde_full_depth_claude_20260929/RESULTS.json
- Math- · reviews/d1_cde_full_depth_claude_20260929/REVIEW.md
- Math- · reviews/d1_cde_full_depth_claude_20260929/SOURCE_FILES.json
- Math- · reviews/d1_cde_full_depth_claude_20260929/cde_review_check.py
- Math- · reviews/d1_chain_reconciliation_20260928/LEDGER.json
- Math- · reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md
- Math- · reviews/d1_chain_reconciliation_20260928/RESULTS.json
- Math- · reviews/d1_chain_reconciliation_20260928/SOURCE_FILES.json
- Math- · reviews/d1_chain_reconciliation_20260928/reconciliation_check.py
- Math- · reviews/d1_elder_lower_claude_20260928/RESULTS.json
- Math- · reviews/d1_elder_lower_claude_20260928/REVIEW.md
- Math- · reviews/d1_elder_lower_claude_20260928/SOURCE_FILES.json
- Math- · reviews/d1_elder_lower_claude_20260928/elder_lower_exact_check.py
- Math- · reviews/d1_external_audit_20260930/AUDIT.md
- Math- · reviews/d1_external_audit_20260930/MANIFEST.json
- Math- · reviews/d1_external_audit_20260930/README.md
- Math- · reviews/d1_external_audit_20260930/SOURCES.json
- Math- · reviews/d1_external_audit_20260930/VALIDATION.md
- Math- · reviews/d1_external_audit_20260930/cap_audit.py
- Math- · reviews/d1_external_audit_20260930/test_cap_audit.py
- Math- · reviews/d1_external_audit_20260930/test_sources.py
- Math- · reviews/d1_external_audit_20260930/verify_sources.py
- Math- · reviews/d1_section9_borel_grok_lucas_20260928/EVIDENCE.json
- Math- · reviews/d1_section9_borel_grok_lucas_20260928/README.md
- Math- · reviews/d1_section9_borel_grok_lucas_20260928/REVIEW.md
- Math- · reviews/d1_section9_borel_grok_lucas_20260928/history/RESULTS.author_reported.json
- Math- · reviews/d1_section9_borel_repair_20260925/RECONNAISSANCE.md
- Math- · reviews/d1_section9_borel_repair_20260925/REPAIR.md
- Math- · reviews/d1_theorem_a_nonauthor_20260928/RESULTS.json
- Math- · reviews/d1_theorem_a_nonauthor_20260928/REVIEW.md
- Math- · reviews/d1_theorem_a_nonauthor_20260928/SOURCE_FILES.json
- Math- · reviews/d1_theorem_a_nonauthor_20260928/theorem_a_exact_check.py
- Math- · reviews/d2_cumulative_correction_20260925/REVIEW.md
- Math- · reviews/d2_cumulative_correction_20260925/check_correction.py
- Math- · reviews/d2_joint_mass_schur_20261006/NOTE.md
- Math- · reviews/d2_joint_mass_schur_20261006/RESULTS.json
- Math- · reviews/d2_joint_mass_schur_20261006/SOURCES.json
- Math- · reviews/d2_joint_mass_schur_20261006/joint_mass.py
- Math- · reviews/d2_remainder_full_depth_claude_20260930/RESULTS.json
- Math- · reviews/d2_remainder_full_depth_claude_20260930/REVIEW.md
- Math- · reviews/d2_remainder_full_depth_claude_20260930/SOURCE_FILES.json
- Math- · reviews/d2_remainder_full_depth_claude_20260930/remainder_review_check.py
- Math- · reviews/d2_two_mass_floors_20261006/NOTE.md
- Math- · reviews/d2_two_mass_floors_20261006/RESULTS.json
- Math- · reviews/d2_two_mass_floors_20261006/SOURCES.json
- Math- · reviews/d2_two_mass_floors_20261006/test_two_mass.py
- Math- · reviews/d2_two_mass_floors_20261006/two_mass.py
- Math- · reviews/d3_l4_round2_audit_20261005/REPLAY_SCOPE.md
- Math- · reviews/d5_c6_workflow_repair_20261005/REPLAY_SCOPE.md
- Math- · reviews/d5_collar_count_20260928/README.md
- Math- · reviews/d5_collar_count_20260928/RESULTS.json
- Math- · reviews/d5_collar_count_20260928/REVIEW.md
- Math- · reviews/d5_consumption_bridge_20260928/BRIDGE.md
- Math- · reviews/d5_consumption_bridge_20260928/DOMAIN_CORRECTION.md
- Math- · reviews/d5_consumption_bridge_20260928/README.md
- Math- · reviews/d5_consumption_bridge_20260928/RESULTS.json
- Math- · reviews/d5_dimension_lift_erratum_20261005/ERRATUM.md
- Math- · reviews/d5_finite_r_hermite_repair_20260925/C6_REMAINDERS.md
- Math- · reviews/d5_finite_r_hermite_repair_20260925/RECONNAISSANCE.md
- Math- · reviews/d5_finite_r_hermite_repair_20260925/REPAIR.md
- Math- · reviews/d5_finite_r_hermite_repair_20260925/SOURCE_FILES.json
- Math- · reviews/d5_finite_r_hermite_repair_20260925/finite_r_contact.py
- Math- · reviews/d5_finite_r_hermite_repair_20260925/run_validation.py
- Math- · reviews/d5_finite_r_hermite_repair_20260925/test_c6_remainder_contract.py
- Math- · reviews/d5_finite_r_hermite_repair_20260925/test_finite_r_contact.py
- Math- · reviews/d5_graph_fold_20260929/README.md
- Math- · reviews/d5_graph_fold_20260929/verify.py
- Math- · reviews/d5_i5_planar_f_20260928/README.md
- Math- · reviews/d5_i5_planar_f_20260928/RESULTS.json
- Math- · reviews/d5_i5_planar_f_20260928/REVIEW.md
- Math- · reviews/d5_intermediate_window_claude_20260928/RESULTS.json
- Math- · reviews/d5_intermediate_window_claude_20260928/REVIEW.md
- Math- · reviews/d5_intermediate_window_claude_20260928/SOURCE_FILES.json
- Math- · reviews/d5_intermediate_window_claude_20260928/iw_exact_check.py
- Math- · reviews/d5_intermediate_window_grok_20260928/IDENTITY.json
- Math- · reviews/d5_intermediate_window_grok_20260928/README.md
- Math- · reviews/d5_intermediate_window_grok_20260928/REVIEW.md
- Math- · reviews/d5_local_collar_20260928/COLLAR_PROOF.md
- Math- · reviews/d5_local_collar_20260928/COLLAR_RESULTS.json
- Math- · reviews/d5_local_collar_20260928/PIN_RESULTS.json
- Math- · reviews/d5_local_collar_20260928/PIN_SOURCE_FILES.json
- Math- · reviews/d5_local_collar_20260928/PUNCTURED_PIN_PROOF.md
- Math- · reviews/d5_local_collar_20260928/README.md
- Math- · reviews/d5_local_collar_20260928/SOURCE_FILES.json
- Math- · reviews/d5_local_collar_20260928/collar_algebra.py
- Math- · reviews/d5_local_collar_20260928/pin_frame.py
- Math- · reviews/d5_local_collar_20260928/run_collar_validation.py
- Math- · reviews/d5_local_collar_20260928/run_pin_validation.py
- Math- · reviews/d5_local_collar_20260928/test_collar_algebra.py
- Math- · reviews/d5_local_collar_20260928/test_pin_frame.py
- Math- · reviews/d5_microdisk_20260926/NOTE.md
- Math- · reviews/d5_microdisk_20260926/QUARTIC.md
- Math- · reviews/d5_offpin_second_moment_20260928/README.md
- Math- · reviews/d5_offpin_second_moment_20260928/RESULTS.json
- Math- · reviews/d5_offpin_second_moment_20260928/REVIEW.md
- Math- · reviews/d5_pin_disk_all_directions_20260928/NOTE.md
- Math- · reviews/d5_pin_disk_all_directions_20260928/RESULTS.json
- Math- · reviews/d5_pin_disk_all_directions_20260928/SOURCE_FILES.json
- Math- · reviews/d5_pin_disk_all_directions_20260928/triangle_bounds_probe.py
- Math- · reviews/d5_pin_microdisk_20260927/NOTE.md
- Math- · reviews/d5_pin_microdisk_20260927/RESULTS.json
- Math- · reviews/d5_pin_microdisk_20260927/SOURCE_FILES.json
- Math- · reviews/d5_pin_microdisk_20260927/microdisk_exact.py
- Math- · reviews/d5_pin_microdisk_20260927/run_validation.py
- Math- · reviews/d5_pin_microdisk_20260927/test_microdisk_exact.py
- Math- · reviews/d5_pin_neighborhood_20260926/REVIEW.md
- Math- · reviews/d5_pin_neighborhood_20260926/check_pin_chart.py
- Math- · reviews/d5_punctured_pin_continuum_claude_20260929/RESULTS.json
- Math- · reviews/d5_punctured_pin_continuum_claude_20260929/REVIEW.md
- Math- · reviews/d5_punctured_pin_continuum_claude_20260929/SOURCE_FILES.json
- Math- · reviews/d5_punctured_pin_continuum_claude_20260929/pp_continuum_check.py
- Math- · reviews/d5_punctured_pin_nonauthor_20260928/README.md
- Math- · reviews/d5_punctured_pin_nonauthor_20260928/RESULTS.json
- Math- · reviews/d5_punctured_pin_nonauthor_20260928/REVIEW.md
- Math- · reviews/d5_punctured_pin_nonauthor_20260928/punctured_pin_check.py
- Math- · reviews/d5_reconciliation_20260929/PROPOSED_TRANSITIONS.json
- Math- · reviews/d5_reconciliation_20260929/RECONCILIATION.md
- Math- · reviews/d5_reconciliation_20260929/RESULTS.json
- Math- · reviews/d5_reconciliation_20260929/SOURCE_FILES.json
- Math- · reviews/d5_reconciliation_20260929/reconciliation_check.py
- Math- · reviews/d5_remote_collision_grok_20260928/README.md
- Math- · reviews/d5_remote_collision_grok_20260928/REVIEW.md
- Math- · reviews/d5_short_edge_20260928/NOTE.md
- Math- · reviews/d5_short_edge_20260928/RESULTS.json
- Math- · reviews/d5_short_edge_20260928/SOURCE_FILES.json
- Math- · reviews/d5_short_edge_20260928/finite_controls.py
- Math- · reviews/direct_import_trigger_coverage_20261006/SCOPE.md
- Math- · reviews/downstream_boundary_20260925/TRANSVERSE_BOUND_CANDIDATE.md
- Math- · reviews/elder_dimension_lift_claude_20260928/RESULTS.json
- Math- · reviews/elder_dimension_lift_claude_20260928/REVIEW.md
- Math- · reviews/elder_dimension_lift_claude_20260928/SOURCE_FILES.json
- Math- · reviews/elder_dimension_lift_claude_20260928/dimension_lift_review_check.py
- Math- · reviews/equal_height_protocol_20261006/SCOPE.md
- Math- · reviews/fixed_r_protocol_20261006/SCOPE.md
- Math- · reviews/iba1_periodic_jet_claude_20261005/NOTE.md
- Math- · reviews/iba1_periodic_jet_claude_20261005/RESULTS.json
- Math- · reviews/iba1_periodic_jet_claude_20261005/SOURCE_FILES.json
- Math- · reviews/iba1_periodic_jet_claude_20261005/periodic_jet_check.py
- Math- · reviews/iba2_009_matching_20261005/REPORT.md
- Math- · reviews/iba2_009_matching_20261005/SOURCES.json
- Math- · reviews/iba2_009_matching_20261005/boundary_layer_check.py
- Math- · reviews/iba2_010_interface_ledger_20261005/LEDGER.md
- Math- · reviews/iba2_012_count_transfer_20261006/PROOF.md
- Math- · reviews/iba2_012_count_transfer_20261006/README.md
- Math- · reviews/iba2_012_count_transfer_20261006/SOURCES.json
- Math- · reviews/iba2_012_count_transfer_20261006/test_transfer.py
- Math- · reviews/iba2_012_count_transfer_20261006/transfer_check.py
- Math- · reviews/iba2_012_finite_radius_20261005/PROOF.md
- Math- · reviews/iba2_012_finite_radius_20261005/README.md
- Math- · reviews/iba2_012_finite_radius_20261005/SOURCES.json
- Math- · reviews/iba2_012_finite_radius_20261005/test_finite_radius_cluster.py
- Math- · reviews/iba2_012_localized_moment_20261006/NOTE.md
- Math- · reviews/iba2_012_localized_moment_20261006/README.md
- Math- · reviews/iba2_012_localized_moment_20261006/SOURCES.json
- Math- · reviews/iba2_012_localized_moment_20261006/test_count_transfer.py
- Math- · reviews/iba2_012_log_cap_concentration_20261006/NOTE.md
- Math- · reviews/iba2_012_log_cap_concentration_20261006/README.md
- Math- · reviews/iba2_012_log_cap_concentration_20261006/SOURCES.json
- Math- · reviews/iba2_012_log_cap_concentration_20261006/concentration_check.py
- Math- · reviews/iba2_012_log_cap_concentration_20261006/test_concentration.py
- Math- · reviews/iba2_012_log_cap_transfer_20261006/NOTE.md
- Math- · reviews/iba2_012_log_cap_transfer_20261006/README.md
- Math- · reviews/iba2_012_log_cap_transfer_20261006/SOURCES.json
- Math- · reviews/iba2_012_log_cap_transfer_20261006/log_cap_check.py
- Math- · reviews/iba2_012_log_cap_transfer_20261006/test_log_cap.py
- Math- · reviews/iba2_012_marked_sector_20261006/NOTE.md
- Math- · reviews/iba2_012_marked_sector_20261006/README.md
- Math- · reviews/iba2_012_marked_sector_20261006/SOURCES.json
- Math- · reviews/iba2_012_marked_sector_20261006/marked_entropy_check.py
- Math- · reviews/iba2_012_marked_sector_20261006/test_marked_entropy.py
- Math- · reviews/lean_cycle2_20261005/agent6/ATTRIBUTION.md
- Math- · reviews/lean_cycle2_20261005/agent6/BUILD_STATUS.md
- Math- · reviews/lean_cycle2_20261005/agent6/MomentTail_finite_MT_N2.lean.txt
- Math- · reviews/lean_cycle2_20261005/agent6/NOTES_MT_N2.md
- Math- · reviews/lean_cycle2_20261005/agent7/BUILD_STATUS.md
- Math- · reviews/lean_cycle2_20261005/agent7/MomentTail_family_interval_MT_N1.lean.txt
- Math- · reviews/lean_cycle2_20261005/agent7/NOTES_MT_N1.md
- Math- · reviews/lean_probability_alignment_20261005/REVIEW.md
- Math- · reviews/lean_probability_alignment_20261005/alignment.json
- Math- · reviews/literature_classical_neighbors_20261001/ADDENDUM.md
- Math- · reviews/literature_classical_neighbors_20261001/D1_RICE.json
- Math- · reviews/literature_classical_neighbors_20261001/PROTOCOL.json
- Math- · reviews/literature_classical_neighbors_20261001/SOURCE_FILES.json
- Math- · reviews/literature_classical_neighbors_20261001/d1_rice_check.py
- Math- · reviews/literature_lifetime_law_recon_20260929/ERRATUM_20261002.md
- Math- · reviews/literature_lifetime_law_recon_20260929/PROTOCOL.json
- Math- · reviews/literature_lifetime_law_recon_20260929/RECONNAISSANCE.md
- Math- · reviews/literature_lifetime_law_recon_20260929/SOURCE_FILES.json
- Math- · reviews/lm006_common_regression_rate_20261006/NOTE.md
- Math- · reviews/lm006_common_regression_rate_20261006/SOURCES.json
- Math- · reviews/lm006_common_regression_rate_20261006/regression_rate_check.py
- Math- · reviews/lm006_common_regression_rate_20261006/test_regression_rate.py
- Math- · reviews/lm006_cubic_sign_band_20261006/NOTE.md
- Math- · reviews/lm006_cubic_sign_band_20261006/SOURCES.json
- Math- · reviews/lm006_cubic_sign_band_20261006/cubic_band.py
- Math- · reviews/lm006_cubic_sign_band_20261006/test_cubic_band.py
- Math- · reviews/lm006_endpoint_extension_20261005/NOTE.md
- Math- · reviews/lm006_endpoint_extension_20261005/SOURCES.json
- Math- · reviews/lm006_endpoint_extension_20261005/endpoint_check.py
- Math- · reviews/lm006_endpoint_extension_20261005/test_endpoint_check.py
- Math- · reviews/lm006_normalizer_stability_20261005/NOTE.md
- Math- · reviews/lm006_normalizer_stability_20261005/SOURCES.json
- Math- · reviews/lm006_normalizer_stability_20261005/stability_check.py
- Math- · reviews/lm006_normalizer_stability_20261005/test_stability.py
- Math- · reviews/lm006_positive_radius_density_20261006/NOTE.md
- Math- · reviews/lm006_positive_radius_density_20261006/SOURCES.json
- Math- · reviews/lm006_positive_radius_density_20261006/joint_rank.py
- Math- · reviews/lm006_positive_radius_density_20261006/test_joint_rank.py
- Math- · reviews/lm006_product_transverse_20261006/NOTE.md
- Math- · reviews/lm006_product_transverse_20261006/SOURCES.json
- Math- · reviews/lm006_product_transverse_20261006/product_transverse_check.py
- Math- · reviews/lm006_product_transverse_20261006/test_product_transverse.py
- Math- · reviews/lm006_tilted_endpoint_law_20261005/NOTE.md
- Math- · reviews/lm006_tilted_endpoint_law_20261005/SOURCES.json
- Math- · reviews/lm006_tilted_endpoint_law_20261005/test_tilt.py
- Math- · reviews/lm006_tilted_endpoint_law_20261005/tilt_check.py
- Math- · reviews/lm006_typed_sign_suppression_20261005/NOTE.md
- Math- · reviews/lm006_typed_sign_suppression_20261005/SOURCES.json
- Math- · reviews/lm006_typed_sign_suppression_20261005/test_typed_sign.py
- Math- · reviews/lm006_typed_sign_suppression_20261005/typed_sign_check.py
- Math- · reviews/lm006_wrong_sign_asymptotic_20261006/NOTE.md
- Math- · reviews/lm006_wrong_sign_asymptotic_20261006/SOURCES.json
- Math- · reviews/lm006_wrong_sign_asymptotic_20261006/sign_coefficient.py
- Math- · reviews/lm006_wrong_sign_asymptotic_20261006/test_sign_coefficient.py
- Math- · reviews/moment_generality_alignment_20261005/DIGEST_ERRATUM.md
- Math- · reviews/moment_generality_alignment_20261005/REVIEW.md
- Math- · reviews/moment_generality_alignment_claude_20261005/ERRATUM.md
- Math- · reviews/moment_generality_alignment_claude_20261005/REVIEW.md
- Math- · reviews/moment_generality_alignment_claude_20261005/alignment.candidate.json
- Math- · reviews/moment_tail_alignment_20261005/REVIEW.md
- Math- · reviews/moment_tail_alignment_20261005/alignment.json
- Math- · reviews/p15_full_price_nonauthor_20260926/REVIEW.md
- Math- · reviews/p15_full_price_nonauthor_20260926/algebra_check.py
- Math- · reviews/p15_overlap_tail_claude_20260928/RESULTS.json
- Math- · reviews/p15_overlap_tail_claude_20260928/REVIEW.md
- Math- · reviews/p15_overlap_tail_claude_20260928/SOURCE_FILES.json
- Math- · reviews/p15_overlap_tail_claude_20260928/p15_exact_check.py
- Math- · reviews/periodic_tau_envelope_20261005/REPORT.md
- Math- · reviews/periodic_tau_envelope_20261005/SOURCES.json
- Math- · reviews/periodic_tau_envelope_20261005/envelope_check.py
- Math- · reviews/periodic_tau_envelope_20261005/test_envelope.py
- Math- · reviews/periodic_tau_positive_floor_20261005/NOTE.md
- Math- · reviews/periodic_tau_positive_floor_20261005/SOURCES.json
- Math- · reviews/periodic_tau_positive_floor_20261005/positive_tau.py
- Math- · reviews/periodic_tau_positive_floor_20261005/test_positive_tau.py
- Math- · reviews/pin_micro_covariance_20260926/NOTE.md
- Math- · reviews/pin_micro_covariance_20260926/exact_check.py
- Math- · reviews/pin_micro_covariance_nonauthor_20260928/RESULTS.json
- Math- · reviews/pin_micro_covariance_nonauthor_20260928/REVIEW.md
- Math- · reviews/pin_micro_covariance_nonauthor_20260928/SOURCE_FILES.json
- Math- · reviews/pin_micro_covariance_nonauthor_20260928/cov_exact_check.py
- Math- · reviews/pin_neighborhood_recon_20260926/NOTE.md
- Math- · reviews/pin_neighborhood_recon_20260926/algebra_check.py
- Math- · reviews/pr124_c1_c2_nonauthor_20260926/REVIEW.md
- Math- · reviews/pr125_shrinking_witness_nonauthor_20260926/REVIEW.md
- Math- · reviews/pr125_shrinking_witness_nonauthor_20260926/algebra_check.py
- Math- · reviews/pr16_fixed_transverse_nonauthor_20260925/REVIEW.md
- Math- · reviews/pr16_fixed_transverse_nonauthor_20260925/algebra_check.py
- Math- · reviews/pr22_fixed_annulus_nonauthor_20260925/REVIEW.md
- Math- · reviews/pr22_fixed_annulus_nonauthor_20260925/algebra_check.py
- Math- · reviews/pr25_contact_kernel_20260925/REVIEW.md
- Math- · reviews/pr25_contact_kernel_20260925/algebra_check.py
- Math- · reviews/pr25_typed_transfer_nonauthor_20260925/REVIEW.md
- Math- · reviews/pr25_typed_transfer_nonauthor_20260925/algebra_check.py
- Math- · reviews/pr28_annulus_bridge_nonauthor_20260925/REVIEW.md
- Math- · reviews/pr28_annulus_bridge_nonauthor_20260925/algebra_check.py
- Math- · reviews/pr36_kernel_tail_nonauthor_20260926/REVIEW.md
- Math- · reviews/pr36_kernel_tail_nonauthor_20260926/algebra_check.py
- Math- · reviews/proof_dependencies_20261008/CONTRACT.md
- Math- · reviews/proof_dependencies_20261008/P_C/EXPECTED_INVENTORY.json
- Math- · reviews/proof_dependencies_20261008/P_C/PROOF_SLICE.json
- Math- · reviews/proof_dependencies_20261008/P_C/README.md
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6049443374-3726784e264a844dddab7f982419e751da96b7bb6661a1689518db9a6522c9f0.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6049548422-1c22188ec6395aceadbf5a34b0da5f83de95c84a6c619159f33aac23ca8f5466.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6049640627-ec0677b5e6e0630e444d8ae94cc4fc4572848241786e30e391897e068b9937dc.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6051274124-29e9a4db8bae928f9f7b9b5286db1cdf722e7ceb90b108fd09d53082b72edaba.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6053473777-1b5012b601bcefbb493a1f27b7e8526326ef0f0f44374f4862f211787d83943f.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6053539516-edcf2e3d34f606c66fcb6f5391342802d9cb44cb35a6b59f5151a93e44641cc5.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6054305355-fb29f57919825c8e9f1fa80e241a0a1736e70b7565e101badc3de9730052bc66.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6054567951-d49e298d4bb3d585385028834f0f6db7dfb1de5accc955fac1b6c9f43cd30ca0.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6055282954-ee7bb9469d3aaecc8bd5afc6c8e463f6767132e91645fa5b4c36650a2f81700c.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6055287391-420b04f3b14335559eccda7cf0bd3ae7ee88da8f532b9eac0e99ebb65a7140ef.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6057972030-cd622caf140c346e07ec8775644789b4e82c648389c8beb161975ea76a6fd298.json
- Math- · reviews/proof_dependencies_20261008/P_C/records/comment-6064435898-139ffd12d0daa6d0dfaa4c3a1e6885c19e07c5286d25065c1163aedae9dc6792.json
- Math- · reviews/radial_moment_corollaries_20260930/AUTHOR_COMMENT_5903080058.json
- Math- · reviews/radial_moment_corollaries_20260930/AUTHOR_COMMENT_5907459466.json
- Math- · reviews/radial_moment_corollaries_20260930/COROLLARY_CUSTODY.json
- Math- · reviews/radial_moment_corollaries_20260930/IDENTITY_AND_CONTROL_OBSERVATIONS.json
- Math- · reviews/radial_moment_corollaries_20260930/MOMENT_CONSEQUENCE.md
- Math- · reviews/radial_moment_corollaries_20260930/NONAUTHOR_REVIEW.md
- Math- · reviews/radial_moment_corollaries_20260930/P.md
- Math- · reviews/radial_moment_corollaries_20260930/PROOF.md
- Math- · reviews/radial_moment_corollaries_20260930/R.md
- Math- · reviews/radial_moment_corollaries_20260930/README.md
- Math- · reviews/radial_moment_corollaries_20260930/SC.md
- Math- · reviews/radial_moment_corollaries_20260930/SOURCES.json
- Math- · reviews/radial_moment_corollaries_20260930/moment-checks-normal.json
- Math- · reviews/radial_moment_corollaries_20260930/moment-checks-normal.log
- Math- · reviews/radial_moment_corollaries_20260930/moment-checks-optimized.json
- Math- · reviews/radial_moment_corollaries_20260930/moment-checks-optimized.log
- Math- · reviews/radial_moment_corollaries_20260930/moment_consequence_checks.py
- Math- · reviews/register_alignment_20260930/EXTERNAL_REVIEWS.md
- Math- · reviews/register_alignment_20260930/PROPOSED_TRANSITIONS.json
- Math- · reviews/register_alignment_20260930/RECONCILIATION.md
- Math- · reviews/register_alignment_20260930/RESULTS.json
- Math- · reviews/register_alignment_20260930/RESULTS_INSTALLED.json
- Math- · reviews/register_alignment_20260930/RN_COUNT_INTERFACE_REVIEW.md
- Math- · reviews/register_alignment_20260930/SOURCE_FILES.json
- Math- · reviews/register_alignment_20260930/alignment_check.py
- Math- · reviews/register_execution_readiness_20260930/README.md
- Math- · reviews/register_execution_readiness_20260930/execution_dryrun.py
- Math- · reviews/register_execution_readiness_20260930/fixtures/witness_baseline/GRAPH.json
- Math- · reviews/register_execution_readiness_20260930/fixtures/witness_baseline/SELECTOR_REGION.json
- Math- · reviews/register_execution_readiness_20260930/fixtures/witness_baseline/SOURCE.json
- Math- · reviews/register_execution_readiness_20260930/test_execution_dryrun.py
- Math- · reviews/register_execution_readiness_20260930/test_witness_states.py
- Math- · reviews/remainder_rate_protocol_20261006/SCOPE.md
- Math- · reviews/remote_distance_moments_claude_20260929/RESULTS.json
- Math- · reviews/remote_distance_moments_claude_20260929/REVIEW.md
- Math- · reviews/remote_distance_moments_claude_20260929/SOURCE_FILES.json
- Math- · reviews/remote_distance_moments_claude_20260929/distance_review_check.py
- Math- · reviews/remote_height_claude_20260928/RESULTS.json
- Math- · reviews/remote_height_claude_20260928/REVIEW.md
- Math- · reviews/remote_height_claude_20260928/SOURCE_FILES.json
- Math- · reviews/remote_height_claude_20260928/height_exact_check.py
- Math- · reviews/remote_height_marks_claude_20260929/RESULTS.json
- Math- · reviews/remote_height_marks_claude_20260929/REVIEW.md
- Math- · reviews/remote_height_marks_claude_20260929/SOURCE_FILES.json
- Math- · reviews/remote_height_marks_claude_20260929/height_marks_review_check.py
- Math- · reviews/remote_inverse_separation_claude_20260929/RESULTS.json
- Math- · reviews/remote_inverse_separation_claude_20260929/REVIEW.md
- Math- · reviews/remote_inverse_separation_claude_20260929/SOURCE_FILES.json
- Math- · reviews/remote_inverse_separation_claude_20260929/inverse_review_check.py
- Math- · reviews/remote_mixed_inverse_claude_20260929/RESULTS.json
- Math- · reviews/remote_mixed_inverse_claude_20260929/REVIEW.md
- Math- · reviews/remote_mixed_inverse_claude_20260929/SOURCE_FILES.json
- Math- · reviews/remote_mixed_inverse_claude_20260929/mixed_review_check.py
- Math- · reviews/remote_pair_law_claude_20260928/RESULTS.json
- Math- · reviews/remote_pair_law_claude_20260928/REVIEW.md
- Math- · reviews/remote_pair_law_claude_20260928/SOURCE_FILES.json
- Math- · reviews/remote_pair_law_claude_20260928/remote_pair_review_check.py
- Math- · reviews/replacement_20260925_pr19_pr21/REVIEW.md
- Math- · reviews/replacement_20260925_pr19_pr21/TWO_SCALE_REVIEW.md
- Math- · reviews/replacement_20260925_pr19_pr21/check_interfaces.py
- Math- · reviews/replacement_20260925_pr19_pr21/check_two_scale.py
- Math- · reviews/retrofit_20261006/CONTRACT.md
- Math- · reviews/retrofit_20261006/CONTRACT_EXAMPLE.json
- Math- · reviews/sard_closure_integration_20260929/HARPER_REVIEW_RECORD.md
- Math- · reviews/sard_closure_integration_20260929/READING_RULE.md
- Math- · reviews/sard_closure_integration_20260929/SOURCE_FILES.json
- Math- · reviews/sard_closure_integration_20260929/TRANSFER_REVIEW.md
- Math- · reviews/sard_g_a2_fixed_frame_claude_20260929/RESULTS.json
- Math- · reviews/sard_g_a2_fixed_frame_claude_20260929/REVIEW.md
- Math- · reviews/sard_g_a2_fixed_frame_claude_20260929/SOURCE_FILES.json
- Math- · reviews/sard_g_a2_fixed_frame_claude_20260929/a2ff_review_check.py
- Math- · reviews/sard_g_r1r2_claude_20260929/RESULTS.json
- Math- · reviews/sard_g_r1r2_claude_20260929/REVIEW.md
- Math- · reviews/sard_g_r1r2_claude_20260929/SOURCE_FILES.json
- Math- · reviews/sard_g_r1r2_claude_20260929/r1r2_review_check.py
- Math- · reviews/sard_g_r3r4_claude_20260929/RESULTS.json
- Math- · reviews/sard_g_r3r4_claude_20260929/REVIEW.md
- Math- · reviews/sard_g_r3r4_claude_20260929/SOURCE_FILES.json
- Math- · reviews/sard_g_r3r4_claude_20260929/r3r4_review_check.py
- Math- · reviews/side24_d2_certified_small_L_claude_20261005/NOTE.md
- Math- · reviews/side24_d2_certified_small_L_claude_20261005/RESULTS.json
- Math- · reviews/side24_d2_certified_small_L_claude_20261005/SOURCE_FILES.json
- Math- · reviews/side24_d2_certified_small_L_claude_20261005/certified_d2.py
- Math- · reviews/side24_v1_coefficient_claude_20260929/RESULTS.json
- Math- · reviews/side24_v1_coefficient_claude_20260929/REVIEW.md
- Math- · reviews/side24_v1_coefficient_claude_20260929/SOURCE_FILES.json
- Math- · reviews/side24_v1_coefficient_claude_20260929/coefficient_review_check.py
- Math- · reviews/w3_side24_source_proposal_20261008/README.md
- Math- · reviews/weight_perturbation_new7_20261005/CLOSING_WP-CI-001.md
- Math- · reviews/weight_perturbation_new7_20261005/REVIEW.md
- Math- · specifications/lean_statement_proofs_20261011/.gitignore
- Math- · specifications/lean_statement_proofs_20261011/README.md
- Math- · specifications/lean_statement_proofs_20261011/SCOPE.md
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/P15Budget.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/P15Covers.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/P15Elementary.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/P15Hazard.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/P15Interpolation.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/P15Structure.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/RNCluster.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/RNProbability.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/Side24Analysis.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/Side24ConeMoment.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/Side24Covariance.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/Side24Elementary.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/Side24Images.lean
- Math- · specifications/lean_statement_proofs_20261011/SpecificationProofs/Side24Interfaces.lean
- Math- · specifications/lean_statement_proofs_20261011/check.py
- Math- · specifications/lean_statement_proofs_20261011/lake-manifest.json
- Math- · specifications/lean_statement_proofs_20261011/lakefile.toml
- Math- · specifications/lean_statement_proofs_20261011/lean-toolchain
- Math- · specifications/lean_statement_proofs_20261011/replay.sh
- Math- · specifications/lean_statement_proofs_20261011/test_check.py
- Math- · specifications/lean_statements_20261010/.gitignore
- Math- · specifications/lean_statements_20261010/README.md
- Math- · specifications/lean_statements_20261010/REGISTER.json
- Math- · specifications/lean_statements_20261010/SCOPE.md
- Math- · specifications/lean_statements_20261010/Specifications.lean
- Math- · specifications/lean_statements_20261010/Specifications/Field.lean
- Math- · specifications/lean_statements_20261010/Specifications/Lifetime.lean
- Math- · specifications/lean_statements_20261010/Specifications/P15.lean
- Math- · specifications/lean_statements_20261010/Specifications/RN.lean
- Math- · specifications/lean_statements_20261010/Specifications/Side24.lean
- Math- · specifications/lean_statements_20261010/check.py
- Math- · specifications/lean_statements_20261010/lake-manifest.json
- Math- · specifications/lean_statements_20261010/lakefile.toml
- Math- · specifications/lean_statements_20261010/lean-toolchain
- Math- · specifications/lean_statements_20261010/replay.sh
- Math- · specifications/lean_statements_20261010/sources/SOURCES.json
- Math- · specifications/lean_statements_20261010/sources/c6-fourier-cutoff/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/c6-palm-route/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/c6-rare-cluster/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/cumulative-transfer-correction/CUMULATIVE_TRANSFER_CORRECTION.md
- Math- · specifications/lean_statements_20261010/sources/d5-dimension-lift/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/d5-reconciliation/RECONCILIATION.md
- Math- · specifications/lean_statements_20261010/sources/downstream-graph/GRAPH.json
- Math- · specifications/lean_statements_20261010/sources/elder-lower-density-gap/ELDER_LOWER_AND_DENSITY_GAP.md
- Math- · specifications/lean_statements_20261010/sources/landing-claims/LANDING_CLAIMS.json
- Math- · specifications/lean_statements_20261010/sources/lifetime-parent/UNIFORM_MATRIX_CAP_AND_LIFETIME.md
- Math- · specifications/lean_statements_20261010/sources/lifetime-remainder/LIFETIME_REMAINDER.md
- Math- · specifications/lean_statements_20261010/sources/marked-cylinder-cap/MARKED_CYLINDER_CAP_PROOF.md
- Math- · specifications/lean_statements_20261010/sources/p15-full-price/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/p15-price-boundary/P15_PRICE_BOUNDARY.md
- Math- · specifications/lean_statements_20261010/sources/p15-price-budget/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/p15-realized-covers/P15_REALIZED_COVERS.md
- Math- · specifications/lean_statements_20261010/sources/remote-collision/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/rn-annulus-bridge/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/rn-count-interface/RN_COUNT_INTERFACE.md
- Math- · specifications/lean_statements_20261010/sources/rn-fixed-annulus-window/FIXED_ANNULUS_CANDIDATE.md
- Math- · specifications/lean_statements_20261010/sources/rn-fixed-remote-window/PROOF.md
- Math- · specifications/lean_statements_20261010/sources/side24-enclosure/ENCLOSURE.json
- Math- · specifications/lean_statements_20261010/sources/side24-proof/PROOF.md
- Math- · specifications/lean_statements_20261010/test_check.py
- Math- · tests/fixtures/c183_experiment_input_cases.json
- Math- · tests/fixtures/c183_qualification_ledger_cases.json
- Math- · tests/fixtures/proof_slice_cases.json
- Math- · tests/test_c183_experiment_inputs.py
- Math- · tests/test_c183_qualification_ledger.py
- Math- · tests/test_c6_coefficient_numerics_workflow.py
- Math- · tests/test_c6_factorial_job_budget.py
- Math- · tests/test_certified_d2_workflow.py
- Math- · tests/test_cusp_workflow_protocol.py
- Math- · tests/test_d2_joint_mass_schur.py
- Math- · tests/test_d3_l4_replay.py
- Math- · tests/test_d5_c6_git_isolation.py
- Math- · tests/test_d5_c6_workflows.py
- Math- · tests/test_direct_replay_import_triggers.py
- Math- · tests/test_downstream_validation.py
- Math- · tests/test_em_intermediate_elder_replay_evidence.py
- Math- · tests/test_em_intermediate_elder_replay_protocol.py
- Math- · tests/test_equal_height_workflow.py
- Math- · tests/test_evidence_profile.py
- Math- · tests/test_fixed_r_replay_protocol.py
- Math- · tests/test_full_suite_routing.py
- Math- · tests/test_landing_claims_check.py
- Math- · tests/test_lifetime_c7_elder_replay_evidence.py
- Math- · tests/test_lifetime_c7_elder_replay_protocol.py
- Math- · tests/test_lifetime_cj_model_j_replay_evidence.py
- Math- · tests/test_lifetime_cj_model_j_replay_protocol.py
- Math- · tests/test_lifetime_dd_replay_evidence.py
- Math- · tests/test_lifetime_dd_replay_protocol.py
- Math- · tests/test_lifetime_two_thirds_chain_replay_evidence.py
- Math- · tests/test_lifetime_two_thirds_chain_replay_protocol.py
- Math- · tests/test_lifetime_v24_dc_sign_replay_evidence.py
- Math- · tests/test_lifetime_v24_dc_sign_replay_protocol.py
- Math- · tests/test_navigation_links.py
- Math- · tests/test_navigation_quotes.py
- Math- · tests/test_periodic_jet_workflow.py
- Math- · tests/test_planar_compact_k_replay_evidence.py
- Math- · tests/test_planar_compact_k_replay_protocol.py
- Math- · tests/test_proof_reachability.py
- Math- · tests/test_proof_slice_check.py
- Math- · tests/test_qs_d3_replay_evidence.py
- Math- · tests/test_qs_d3_replay_protocol.py
- Math- · tests/test_remainder_rate_workflow.py
- Math- · tests/test_required_formal_check.py
- Math- · tests/test_retrofit_record_check.py
- Math- · tests/test_tl_soft_layer_replay_evidence.py
- Math- · tests/test_tl_soft_layer_replay_protocol.py
- Math- · tests/test_ts_small_kappa_replay_evidence.py
- Math- · tests/test_ts_small_kappa_replay_protocol.py
- Math- · tools/c183_experiment_inputs.py
- Math- · tools/c183_qualification_ledger.py
- Math- · tools/c6_coefficient_numerics_replay.py
- Math- · tools/check_doc_links.py
- Math- · tools/check_doc_quotes.py
- Math- · tools/check_proof_reachability.py
- Math- · tools/d3_l4_replay.py
- Math- · tools/d5_c6_replay.py
- Math- · tools/evidence_profile.py
- Math- · tools/landing_claims_check.py
- Math- · tools/proof_slice_check.py
- Math- · tools/remainder_rate_replay.py
- Math- · tools/required_formal_check.py
- Math- · tools/retrofit_record_check.py