Skip to content

fix(fcap): correct SpinRep citations and prose [AGENT] - #138

Draft
utensil wants to merge 1 commit into
mainfrom
fix/fcap-spinrep-citations-prose
Draft

fix(fcap): correct SpinRep citations and prose [AGENT]#138
utensil wants to merge 1 commit into
mainfrom
fix/fcap-spinrep-citations-prose

Conversation

@utensil

@utensil utensil commented Aug 20, 2026

Copy link
Copy Markdown
Owner

Summary

  • Correct Chevalley's II.2.9 locator to Chapter II, Section 2.9.
  • State the Lie and Clifford dependencies in mathematical terms, following the reviews of TauCetiRoadmap #224 and #225.

Source check

Printed pp. 65-66 cover real signatures and hyperbolic/definite decomposition. Printed pp. 67-68 identify the Clifford-group Lie algebra. The 1954 edition has no result numbered II.2.9.

Scale

Rewrites nine notes by +33/-42 lines.

Verification

  • Forester content build
  • proselint on all edited notes
  • search for the removed locator and planning terms

A clean-worktree just build still lacks the generated WASM packages on this branch; #139 addresses that separately.

Human-gated. Auto-merge is disabled.

(per G-scope, G-lint, G-verify, G-commit, G-safe)

Correct the Chevalley locator to Chapter II, Section 2.9, pp. 65--68. Rewrite the notes behind TauCetiRoadmap PRs 224 and 225 in direct mathematical language while preserving the dependency distinctions.
@utensil
utensil force-pushed the fix/fcap-spinrep-citations-prose branch from ec694bd to 38d70c1 Compare August 20, 2026 16:57
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