chore: tidy repo root — session docs to docs/history, loose tests to tests/scratch (Item 25)

[hyperpolymath]

Item 25 — affinescript root tidy (Estate Tech-Debt Recovery Plan, Day 64)

Pure file relocation, no content changes (all renames are git mv R100).

Moved

• 9 session/phase/dated-progress docs → docs/history/ (joins the
  history docs already living there):
  FIXES_2026-01-23.md, MODULE-SYSTEM-PROGRESS.md, PHASE3-ASSESSMENT.md,
  PHASE3-COMPLETE.md, PHASE3-SESSION-SUMMARY.md, SESSION-2026-01-23.md,
  SESSION-COMPLETE.md, TRAIT_SYSTEM_STATUS.md, REPLY-SUM-TYPES.md
• 6 loose root test_*.affine snippets → tests/scratch/:
  test_if, test_min, test_simple, test_spread, test_spread2, test_spread3

Deliberately left at root

Canonical/standard files (README, SECURITY, SECURITY-SETUP, CONTRIBUTING,
CODE_OF_CONDUCT, LICENSING-GUIDE, KNOWN-ISSUES, PROOF-NEEDS) and design/
reference docs (ABI-FFI-README, COMPILER-CAPABILITIES, BACKEND-*,
CONTROLS-REFERENCE, DAMAGE-SYSTEM, GAME-BUNDLING-STRATEGY, ALPHA-1-RELEASE-NOTES).
A broader reference-doc reorg is out of scope for this 〈small〉 item.

Safety

Verified by git grep that no build file, CI workflow, or script
references any moved path (the test_* grep hits were unrelated function
names, not file refs).

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 41 issues detected

Severity	Count
🔴 Critical	12
🟠 High	19
🟡 Medium	10

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
    "type": "banned",
    "file": "AI.a2ml",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Superseded by 0-AI-MANIFEST.a2ml",
    "type": "banned",
    "file": "AI.djot",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/example/smoke_driver.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/cli.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/compile.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/runner.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/discover.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/packages/affine-js/types.d.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "Admitted leaves proof hole (1 occurrences, CWE-704)",
    "type": "admitted",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-vite/verification/proofs/coq/TypeSafety.v",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence