A public profile for the AAT / SFT research program.

Public identity

The public maintainer identity for this research surface is iroha1203 on GitHub. The repository is the shared record for theory documents, Lean formalization, ArchSig tooling, website pages, and issue tracking.

Research program

The program studies software architecture as an object of change. AAT asks which architecture invariants are preserved or broken by an operation. SFT asks how artifacts, policy, review, tooling, feedback, and AI proposals shape reachable software futures. ArchSig is the observation layer that records bounded signatures, witnesses, reports, and non-conclusions.

• AAT Local algebra of architecture objects, operations, invariants, witnesses, and signatures.
• SFT Computable theory of bounded, field-shaped software evolution.
• ArchSig Tooling and artifact layer for measuring selected signature axes with explicit claim boundaries.

Contact routes

Repository discussion should stay close to the artifact it concerns. Use GitHub Issues for tracked work and GitHub Pull Requests for proposed changes. Public essays and short explanations are routed through the outreach hub.

• GitHub Issues Tracked research, formalization, documentation, tooling, and website tasks.
• GitHub Pull Requests Concrete changes to Lean source, documentation, tooling, and public website pages.
• Outreach Public article lanes for Hashnode, Zenn, Qiita, and related short-form explanations.

Publication boundary

The English website and repository documents carry canonical definitions and boundary rules. Japanese articles are outreach material and should return to the relevant canonical route before making formal or measurement-heavy claims.