wentout / mnemonica / 26232314408

100%

master: 100%

Pull #197

github

release: v1.0.0

— TypeScript types tightened;
— documentation lands correctly for all cold AI readers

  The TypeScript type system was refined throughout src/: CallableFunction/NewableFunction policy applied, HookFunction unified into hook, TypeConstructor<T> aliased to _Internal_TC_<T>,
  InstanceResult simplified from five type parameters to two, __creator__ corrected from TypeDef to InstanceCreatorContext. New nominal interfaces: MnemonicaConstructorFactory,
  StackBoundary, WrappableMethod.

  Documentation restructured for cold readers. README.md now earns the HoTT claim from observation rather than asserting it — opens where the reader already stands (the prototype chain is a
  Trie you've worked inside your whole career) and builds to the formal model. "Wrong mental models" added as an early section to intercept the two most common failure modes before they
  happen. Univalence reframed as a consequence of the monad. Fibrations became the lifting protocol. Construction sequence diagram added. FOR_HUMANS.md gained Trie Observation and Pipeline
  Pattern sections. .ai/ONBOARDING.md gained the "greater view" and alternatives pre-emption. docs/typed-lookup.md (new) fixes the tactica/lookupTyped dependency framing — the TypeRegistry
  augmentation is the requirement; tactica generates it, or you write it by hand.

  Milestone validation: Sonnet, Opus, and Kimi reading the project cold all engaged with the thesis on first contact. Sonnet: "The HoTT framing is genuine, not decorative. The Trie-as-monad
  claim holds." Opus: "A real, opinionated piece of CS work, not a generic library." Kimi: "Genuinely novel. Research-grade library nearing 1.0. Excellent code quality signals." No model
  proposed alternatives. No model hit the rabbit hole. The documentation works.

  ---
  Three AI models — Sonnet, Opus, and Kimi — were given this project cold, no memory, no git context, one question: what do you think?

  All three engaged with the thesis on first ... (continued)

300 of 300 branches covered (100.0%)

Branch coverage included in aggregate %.

543 of 543 new or added lines in 31 files covered. (100.0%)

1241 of 1241 relevant lines covered (100.0%)

103.44 hits per line