Claude/amazing cori kw a2 v#103

Merged

hyperpolymath merged 31 commits into

mainfrom

claude/amazing-cori-KwA2V

May 27, 2026

Commits on May 25, 2026

feat(aspect): add slug() and dotted_key() canonical-form methods
claude
committed
feat(agent): AspectTagger auto-populates goal.aspects via dotted_key() when empty
claude
committed
refactor(test): migrate 10 hardcoded aspect literals to Aspect::dotted_key()
claude
committed
feat(learning): boundary filter — only dotted aspects reach domain_hints / primary_domain
claude
committed
docs(statistics): update docstring with canonical "category.aspect" format
claude
committed
feat(julia): apply_domain_weights gains category-prefix rollup on exact-key miss
claude
committed
docs(handover): THEOREM-METADATA-MIGRATION follow-up plan
claude
committed
Merge branch 'main' into claude/amazing-cori-KwA2V
hyperpolymath
authored

Commits on May 26, 2026

test(perf): bump backend-creation wall from 100ms to 250ms

hyperpolymath
and
claude
committed
chore(docs): move loose root analysis files to docs/design/
claude
committed
chore(docs): relocate planning, warmup, and academic files
claude
committed
chore(scripts): move corpus-balance shell scripts from root to scripts/
claude
committed
chore(reports): collect security scan outputs in reports/
claude
committed
chore(docs): remove 9 superseded one-time-analysis docs
claude
committed
chore(docs): remove 20 version-archaeology docs pinned to v1.0/v1.2/v1.3
claude
committed
chore(misc): remove 6 sub-project / misc rot files
claude
committed
chore(config): unify configs/ into config/ per RSR-H11
claude
committed
chore(reports): merge audits/ contents into reports/audits/
claude
committed
docs: add RSR_COMPLIANCE.adoc at root per RSR-H9 / RSR-S4
claude
committed
docs(implementation): merge backend reference docs into implementation summaries
claude
committed
docs: align NOTICE to MPL-2.0 (was still claiming dual MIT/Palimpsest-0.6)
claude
committed
chore(fmt): apply cargo fmt to D1 + S5 files
claude
committed
chore(config): add SPDX-License-Identifier header to config.ncl
claude
committed
docs: add canonical human-readable ARCHITECTURE.md
claude
committed
docs: add canonical PROVER_COUNT.md tier table
claude
committed
docs: add ENV-VARS.md cataloguing every environment variable
claude
committed
docs(handover): add HANDOVER-INDEX.md navigation map
claude
committed
docs: align CLAUDE.md + PROVEN-INTEGRATION.md to current state
claude
committed
docs(github): update PROVEN-INTEGRATION.md prover count to 128
claude
committed
Merge main into amazing-cori-KwA2V
hyperpolymath
committed
docs(wiki): canonical wiki page sources, sync target
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Claude/amazing cori kw a2 v#103

Claude/amazing cori kw a2 v#103
hyperpolymath merged 31 commits into
mainfrom
claude/amazing-cori-KwA2V

Commits on May 25, 2026

feat(aspect): add slug() and dotted_key() canonical-form methods

feat(agent): AspectTagger auto-populates goal.aspects via dotted_key() when empty

refactor(test): migrate 10 hardcoded aspect literals to Aspect::dotted_key()

feat(learning): boundary filter — only dotted aspects reach domain_hints / primary_domain

docs(statistics): update docstring with canonical "category.aspect" format

feat(julia): apply_domain_weights gains category-prefix rollup on exact-key miss

docs(handover): THEOREM-METADATA-MIGRATION follow-up plan

Merge branch 'main' into claude/amazing-cori-KwA2V

Commits on May 26, 2026

test(perf): bump backend-creation wall from 100ms to 250ms

chore(docs): move loose root analysis files to docs/design/

chore(docs): relocate planning, warmup, and academic files

chore(scripts): move corpus-balance shell scripts from root to scripts/

chore(reports): collect security scan outputs in reports/

chore(docs): remove 9 superseded one-time-analysis docs

chore(docs): remove 20 version-archaeology docs pinned to v1.0/v1.2/v1.3

chore(misc): remove 6 sub-project / misc rot files

chore(config): unify configs/ into config/ per RSR-H11

chore(reports): merge audits/ contents into reports/audits/

docs: add RSR_COMPLIANCE.adoc at root per RSR-H9 / RSR-S4

docs(implementation): merge backend reference docs into implementation summaries

docs: align NOTICE to MPL-2.0 (was still claiming dual MIT/Palimpsest-0.6)

chore(fmt): apply cargo fmt to D1 + S5 files

chore(config): add SPDX-License-Identifier header to config.ncl

docs: add canonical human-readable ARCHITECTURE.md

docs: add canonical PROVER_COUNT.md tier table

docs: add ENV-VARS.md cataloguing every environment variable

docs(handover): add HANDOVER-INDEX.md navigation map

docs: align CLAUDE.md + PROVEN-INTEGRATION.md to current state

docs(github): update PROVEN-INTEGRATION.md prover count to 128

Merge main into amazing-cori-KwA2V

docs(wiki): canonical wiki page sources, sync target