Skip to content

research: add ordered finite collision response cocycle - #129

Merged
mountain merged 1 commit into
mainfrom
codex/phase1j-a-collision-response
Aug 27, 2026
Merged

research: add ordered finite collision response cocycle#129
mountain merged 1 commit into
mainfrom
codex/phase1j-a-collision-response

Conversation

@mountain

Copy link
Copy Markdown
Owner

Summary

  • replace the adjacent affine Phase 1I order control with two overlapping reversible XOR collision cells on three sites
  • separate the renewed target action, forgotten set-valued response relation, retained-law response section, and state-dependent response transport
  • pass the Phase 12C-inspired C0--C2 gates on exact rational corpora while holding C3/C4, continuum H response, generic calculus, and arithmetic-rank claims out
  • expose the collision-derived parity product character z_j' = z_i z_j and record its decoder/domain tradeoff without importing a logarithmic covector
  • add the Phase 1J-A contract/result records and update the Sonnet/status ledgers

Exact findings

  • the two local involutions are noncommutative at both microscopic and renewed target levels
  • 72/72 retained-law response reconstructions pass
  • the denominator-eight half-occupancy fibre contains 57 microscopic laws and yields the exact five-valued response relation {−1/2, −1/4, 0, 1/4, 1/2} on the affected component
  • 900/900 prefix/suffix cases satisfy the nonlinear transported response cocycle
  • a frozen positive law gives an exact counterexample to naive response addition; state-dependent transport repairs it

Verification

  • python -m pytest -q tests/research/test_selective_continuation_time_reversal.py tests/research/test_charted_fibre_lyapunov_calculus.py tests/research/test_collision_response_cocycle.py --durations=10 — 25 passed
  • python -m pytest -q --durations=25 — 692 passed, 25 skipped, 1 pre-existing deprecation warning
  • all three public quickstarts passed
  • python -m build and python -m twine check dist/* passed
  • git diff --check passed

Boundary

This completes Phase 1J-A through C2 only. It does not select a closed covector, prove an H functional, control a continuum collision response, establish future adequacy/effective compression, objectify correlation fibres, or promote a generic API/rank. Phase 1J-B remains the next gate.

Advances #127 (Phase 1J-A only; does not close the issue).

@mountain
mountain merged commit 27c32f6 into main Aug 27, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant