halkyon/analysis_options.yaml

# Lint rules for the whole pub workspace: LeanCode's strict set (leancode_lint), which
# raises most rules to warnings and turns on strict casts, inference and raw types, plus
# its analyzer plugin with rules for blocs, Equatable and Flutter layout.
#
# Analyzer plugins can only be enabled here, at the root of a pub workspace, and they only
# apply to packages whose analysis_options.yaml includes this file. The server and the app
# include it; the generated client keeps its own options, because it is never edited.
include: package:leancode_lint/analysis_options.yaml

plugins:
  leancode_lint: ^27.0.0

analyzer:
  # Others' plugins, patched for their Gradle files alone (third_party/README.md),
  # are analysed and formatted as their authors keep them.
  exclude:
    - third_party/**
chore(lint): LeanCode's strict rules and a pre-push check The workspace root's analysis_options.yaml includes leancode_lint 27 and enables its analyzer plugin (rules for blocs, Equatable and Flutter layout); the server and the app include that file, while the generated client keeps its own options. Plugins can only be enabled at the root of a pub workspace and only reach packages whose options include the root file, which was verified before settling on this layout. Most rules are warnings, casts, inference and raw types are strict, and the check treats infos as fatal too. lints and flutter_lints are no longer needed. tool/check.sh checks formatting, runs dart analyze --fatal-infos and the server tests; .git/hooks/pre-push links to it, so every push has to pass it. AGENTS.md describes the checklist and how to install the hook in a fresh clone. Fixes for the new rules: package imports, run() returns Future<void>, the server setup as one cascade, a primary constructor for the app widget, a const and a redundant argument. The workspace root keeps its conventional name `_` with a documented ignore. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me> 2026-09-29 23:06:29 +02:00			`# Lint rules for the whole pub workspace: LeanCode's strict set (leancode_lint), which`
			`# raises most rules to warnings and turns on strict casts, inference and raw types, plus`
			`# its analyzer plugin with rules for blocs, Equatable and Flutter layout.`
			`#`
			`# Analyzer plugins can only be enabled here, at the root of a pub workspace, and they only`
			`# apply to packages whose analysis_options.yaml includes this file. The server and the app`
			`# include it; the generated client keeps its own options, because it is never edited.`
			`include: package:leancode_lint/analysis_options.yaml`

			`plugins:`
			`leancode_lint: ^27.0.0`
build: Android's built-in Kotlin, the three plugins applying KGP themselves patched in third_party/ AGP 9 compiles Kotlin itself (android.builtInKotlin=true in every app), and warns that applying the Kotlin Gradle Plugin will soon fail. flutter_web_auth_2 5.1.0, keyboard_height_plugin 0.3.0 and flutter_tts 4.2.5 still apply it unconditionally, so their pub releases are copied into third_party/ with only their android/build.gradle changed, and the root overrides them by path (third_party/README.md says when to drop each). The servers' images copy third_party/, as pub refuses an override whose path is missing. third_party/ isn't our own code: left out of the analysis and the format check. All four apps' APKs build without the warning. A Kotlin daemon's session file that slipped into Train's android/ goes, and every app's android/.gitignore keeps .kotlin/ out. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me> 2026-11-04 00:15:55 +01:00
			`analyzer:`
			`# Others' plugins, patched for their Gradle files alone (third_party/README.md),`
			`# are analysed and formatted as their authors keep them.`
			`exclude:`
			`- third_party/**`