chore(tidy): T-5 — refresh wiki README + honesty banners on overstated language pages by hyperpolymath · Pull Request #367 · hyperpolymath/affinescript

hyperpolymath · 2026-05-26T00:21:57Z

Summary

Phase T-5 of the repo-tidy stack. Focused wiki refresh — fixes the most-impactful inaccuracies without attempting to author ~20 missing pages from scratch.

wiki/README.md rewrite

The landing page had three structural problems:

~20 broken links to non-existent .md files (installation.md, hello-world.md, expressions.md, errors.md, package-manager.md, lsp.md, formatter.md, linter.md, primitives.md, collections.md, effects.md (stdlib), io.md, concurrency.md, fuzzing.md, benchmarks.md, design/*). Every one a dead click.
Stale path references: ../ROADMAP.md at root (now ../docs/ROADMAP.adoc after T-3), ../docs/spec.md (carries "OUT OF DATE" banner).
Aspirational examples implying enforcement that does not exist (e.g. dependent-type Vec[n + 1, T] head-extraction — CAPABILITY-MATRIX says dependent types are parse-only).

Rewrite drops every dead link, points at the authoritative in-repo matrices (docs/CAPABILITY-MATRIX.adoc, docs/TECH-DEBT.adoc, docs/ECOSYSTEM.adoc) for live status, annotates each "Features at a Glance" example with its current maturity (enforced / partial / parse-only), and updates the Quick Links table to the post-T-3 docs/ paths. The Ownership example moved from &File / &mut File sigil syntax to the canonical ref File / mut File keyword syntax that the parser accepts at the type level.

Honesty banners on overstated pages

Two pages had pure-aspirational content that overstated current enforcement:

wiki/language-reference/dependent-types.md — parse-only banner. Surface parses, but the typechecker does not reduce predicates and there is no SMT/decision procedure. Cross-links to docs/CAPABILITY-MATRIX.adoc "Dependent / refinement types" + docs/TECH-DEBT.adoc CORE-05.
wiki/language-reference/traits.md — partial banner. Registry / TopTrait / TopImpl / find_impl / impl-satisfies-trait are wired; associated-type substitution, where-clause supertraits, and coherence checking are not. Cross-links to CAPABILITY-MATRIX "Traits" + TECH-DEBT CORE-04.

The banners DO NOT delete content — the pages still describe the designed surface. They stop the wiki claiming the language enforces what it currently parses-and-shrugs.

What this PR deliberately does NOT do

Doesn't add the ~20 missing wiki pages. Comprehensive content authoring at that scale is a separate effort; the README rewrite makes the wiki navigable by linking only what exists.
Doesn't sync to the upstream GitHub wiki repo. wiki/ is tracked in this repo but the GitHub-wiki surface lives in a separate git repo; you push wiki/ contents upstream separately as the per-PR cue.
Doesn't refresh the other ~30 wiki/{compiler,language-reference,tooling,stdlib,testing,tutorials}/*.md pages beyond the two honesty banners. That's much larger scope.

Stack

✅ T-1 (chore(tidy): T-1 — adopt 0-AI-MANIFEST.a2ml + restore docs/TECH-DEBT.adoc #359 merged) — AI manifest canonical name + TECH-DEBT restore
✅ T-2 (chore(tidy): T-2 — remove out-of-scope submarine-game docs from root #360) — game-file deletion
✅ T-3 (chore(tidy): T-3 — move loose root docs into the docs/ subtree #365) — root → docs/ reshuffle
✅ T-4 (chore(tidy): T-4 — add RSR_COMPLIANCE.adoc documenting template alignment + exemptions #366) — RSR_COMPLIANCE.adoc
🟡 T-5 (this PR) — wiki README refresh + honesty banners
T-6 — issue / PR triage

Phase 2c (#357) is on a separate branch and unaffected.

Generated by Claude Code

github-actions · 2026-05-26T00:22:54Z

🔍 Hypatia Security Scan

Findings: 103 issues detected

Severity	Count
🔴 Critical	15
🟠 High	42
🟡 Medium	46

⚠️Action Required: Critical security issues found!

View findings

[
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action actions/checkout@v6 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action denoland/setup-deno@v2 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"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"
}
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

…tated pages ## wiki/README.md rewrite The wiki landing page had multiple structural problems: - Linked to ~20 non-existent .md files (installation, hello-world, expressions, errors, package-manager, lsp, formatter, linter, primitives, collections, effects (stdlib), io, concurrency, fuzzing, benchmarks, design/*). Every one was a broken-link click. - Referenced `../ROADMAP.md` at root, which now lives at `../docs/ROADMAP.adoc` after T-3 (#365). - Pointed at `../docs/spec.md` as "Complete language specification", but that file carries an "OUT OF DATE" banner pointing elsewhere. - Aspirational code examples (e.g. `Vec[n + 1, T]` dependent-type reasoning) implied enforcement that does not exist today — CAPABILITY-MATRIX says dependent types are `parse-only`. Rewrite drops every dead link, points at the **authoritative** in-repo matrices (`docs/CAPABILITY-MATRIX.adoc`, `docs/TECH-DEBT.adoc`, `docs/ECOSYSTEM.adoc`) for live status, annotates each "Features at a Glance" example with its current maturity (`enforced` / `partial` / `parse-only`), and updates the Quick Links table to the post-tidy-3 docs/ paths. The Ownership example also moved from `&File` / `&mut File` sigil syntax to the canonical `ref File` / `mut File` keyword syntax that the parser actually accepts at the type level (the `&T` sigil is deliberately not added — see CAPABILITY-MATRIX CORE-01 row). ## Honesty banners Two pages had pure-aspirational content that overstated current enforcement: - `wiki/language-reference/dependent-types.md` — gets a `parse-only` banner: surface parses, but the typechecker does not reduce predicates and there is no SMT/decision procedure. Predicates and refinements are not enforced. Cross-link to CAPABILITY-MATRIX "Dependent / refinement types" + TECH-DEBT CORE-05. - `wiki/language-reference/traits.md` — gets a `partial` banner: registry / TopTrait / TopImpl / find_impl / impl-satisfies-trait are wired; associated-type substitution, where-clause supertraits, and coherence checking are not. Cross-link to CAPABILITY-MATRIX "Traits" + TECH-DEBT CORE-04. These banners DO NOT delete content — the wiki pages still describe the *designed* surface, useful for reading the language reference. They just stop claiming the language enforces what it currently parses-and-shrugs. ## What this PR does NOT do - Doesn't add the ~20 missing wiki pages (installation, hello-world, effects-stdlib, io, concurrency, design/*, etc.). That's content authoring at a different scope; the README rewrite stops linking to them, which makes the wiki navigable as-is. - Doesn't sync to the upstream GitHub wiki repo. wiki/ is tracked in this repo but the GitHub-wiki surface is a separate git repo; the owner pushes wiki/ contents upstream separately. The commit message on this PR is the cue. - Doesn't refresh wiki/{compiler,language-reference,tooling, stdlib,testing,tutorials}/*.md content beyond the two honesty banners. Comprehensive content refresh of those ~30 pages is a much larger effort and out of scope for this tidy phase. ## Test plan - [ ] Pure-markdown PR; expected to inherit `main`'s baseline CI state. No `.ml` / `.mli` touched. - [ ] Hypatia: no new findings.

github-actions · 2026-05-26T00:31:11Z

🔍 Hypatia Security Scan

Findings: 103 issues detected

Severity	Count
🔴 Critical	15
🟠 High	42
🟡 Medium	46

⚠️Action Required: Critical security issues found!

View findings

[
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action actions/checkout@v6 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action denoland/setup-deno@v2 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"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"
}
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

github-actions · 2026-05-26T09:02:14Z

🔍 Hypatia Security Scan

Findings: 41 issues detected

Severity	Count
🔴 Critical	15
🟠 High	15
🟡 Medium	11

⚠️Action Required: Critical security issues found!

View findings

[
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action actions/checkout@v6 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action denoland/setup-deno@v2 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"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"
}
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

github-actions · 2026-05-26T09:10:15Z

🔍 Hypatia Security Scan

Findings: 41 issues detected

Severity	Count
🔴 Critical	15
🟠 High	15
🟡 Medium	11

⚠️Action Required: Critical security issues found!

View findings

[
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action actions/checkout@v6 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action denoland/setup-deno@v2 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"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"
}
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

…Phase 2c + tidy-stack work (#369) ## Summary Final phase of the repo-tidy stack. Pure documentation: adds `session-note-2026-05-26` to `.machine_readable/6a2/STATE.a2ml` so the work of this session is captured in the machine-readable session-note log future agents read on startup. The entry follows the existing session-note convention (numbered prose points, reverse-chronological position in the file) and covers: 1. **PR #357** — Phase 2c migration-assistant walker covers all six anti-patterns + default-engine flip. 2. The Phase 2c **CI-fix push** (e7a3a44) — defensive `mk_finding` → explicit-record-literal rewrite. 3. **DIAGNOSED**: `main` itself is red. PR #359 (zero OCaml changed) fails build+lint identically — conclusive proof the build failure is inherited, not introduced by Phase 2c or tidy work. Matches CLAUDE.md §"CI signal reliability". 4. The **tidy stack T-1..T-7** with per-phase PR numbers and outcomes. 5. The **pre-tidy issue closures** (#161, #162) the user explicitly asked for earlier in the session. 6. **Open PRs at session end** + **explicit "not done" list** (no main-redness root cause diagnosis, ~20 missing wiki pages, no guix.scm/flake.nix, wiki not pushed upstream). Human-readable companions for each phase live in the corresponding PR bodies (#359, #360, #365, #366, #367); the machine-readable checkpoint is this STATE.a2ml entry. ## Test plan - [ ] Pure-addition PR; inherits `main`'s baseline CI failure state. - [ ] Hypatia: no new findings. ## Stack - ✅ T-1 (#359 merged) — AI manifest canonical name + TECH-DEBT restore - ✅ T-2 (#360) — game-file deletion - ✅ T-3 (#365) — root → docs/ reshuffle - ✅ T-4 (#366) — RSR_COMPLIANCE.adoc - ✅ T-5 (#367) — wiki refresh + honesty banners - ✅ T-6 — direct issue triage (closed#246, #247) - 🟡 **T-7 (this PR)** — STATE.a2ml session-note Phase 2c (#357) is on a separate branch and unaffected. --- _Generated by [Claude Code](https://claude.ai/code/session_01WNkH8UucP3PppG5R36kGcu)_ Co-authored-by: Claude <noreply@anthropic.com>

github-actions · 2026-05-26T09:47:54Z

🔍 Hypatia Security Scan

Findings: 42 issues detected

Severity	Count
🔴 Critical	15
🟠 High	15
🟡 Medium	12

⚠️Action Required: Critical security issues found!

View findings

[
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action actions/checkout@v6 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action denoland/setup-deno@v2 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"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"
}
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

github-actions · 2026-05-26T09:58:26Z

🔍 Hypatia Security Scan

Findings: 42 issues detected

Severity	Count
🔴 Critical	15
🟠 High	15
🟡 Medium	12

⚠️Action Required: Critical security issues found!

View findings

[
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action actions/checkout@v6 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action denoland/setup-deno@v2 needs attention",
"type": "unpinned_action",
"file": "publish-jsr.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"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"
}
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

This was referenced May 26, 2026
ESC-02: no stdlib JSON type — JSON.t port target (Refs 229) #246
Closed
ESC-03: no stdlib Map/Dict type — Dict.t port target (Refs 229, 160/162) #247
Closed

hyperpolymath enabled auto-merge May 26, 2026 00:25

hyperpolymath mentioned this pull request May 26, 2026
chore(tidy): T-7 — session-note-2026-05-26 in STATE.a2ml records the Phase 2c + tidy-stack work #369
Merged
2 tasks

hyperpolymath force-pushed the claude/tidy-5-wiki branch from 7af5f7b to f703dccCompare May 26, 2026 00:29

Merge branch 'main' into claude/tidy-5-wiki
bd1d5b0

Merge branch 'main' into claude/tidy-5-wiki
9803541

Merge branch 'main' into claude/tidy-5-wiki
bdce6db

Merge branch 'main' into claude/tidy-5-wiki
5a4b16e

hyperpolymath merged commit ca6c2cd into mainMay 26, 2026
22 checks passed

hyperpolymath deleted the claude/tidy-5-wiki branch May 26, 2026 11:43

Navigation Menu

Uh oh!

chore(tidy): T-5 — refresh wiki README + honesty banners on overstated language pages - #367

chore(tidy): T-5 — refresh wiki README + honesty banners on overstated language pages#367
hyperpolymath merged 5 commits into
mainfrom
claude/tidy-5-wiki

hyperpolymath commented May 26, 2026

Uh oh!

github-actionsBot commented May 26, 2026

Uh oh!

github-actionsBot commented May 26, 2026

Uh oh!

github-actionsBot commented May 26, 2026

Uh oh!

github-actionsBot commented May 26, 2026

Uh oh!

github-actionsBot commented May 26, 2026

Uh oh!

github-actionsBot commented May 26, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Uh oh!

Conversation

hyperpolymath commented May 26, 2026

Summary

wiki/README.md rewrite

Honesty banners on overstated pages

What this PR deliberately does NOT do

Stack

Uh oh!

github-actionsBot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actionsBot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actionsBot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actionsBot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actionsBot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actionsBot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants