feat: takes bootstrap from existing content#1382
Closed
garrytan-agents wants to merge 3 commits into
Closed
Conversation
The judgeSignificance trimming (slice at 4000 chars) could split a UTF-16 surrogate pair when an emoji sits exactly at the boundary, producing a lone high surrogate that Anthropic's JSON parser rejects with 'no low surrogate in string'. Add safeSliceEnd() helper that backs up by one char when the cut lands between a high and low surrogate. Apply to: - judgeSignificance transcript trimming (the direct cause) - findBoundary hard-split fallback (defense-in-depth) Fixes: dream cycle SYNTH_PHASE_FAIL on 2026-05-24 caused by 🤖 emoji at pos 3999 in telegram/2026-05-20-topic-1-topic-1.md
Add proposal for bootstrapping the takes system from existing concept/atom/lore pages. The takes infrastructure exists but has zero data because there's no automated extraction path.
Contributor
Author
|
Closing — this was a docs-only proposal, not an implementation. Consolidating all 5 proposals into one design doc on #1383 (gbrain onboard). The surrogate-pair fix will land as a separate micro-PR. The real implementation work starts with auto-link (orphan reduction) as the first actual code PR. |
7 tasks
garrytan
added a commit
that referenced
this pull request
May 25, 2026
…-pair fix (#1442) * fix(synthesize): UTF-16 surrogate-safe hard-split in chunker Part A of v0.42.0.0 fix wave: lifts surrogate-pair-safe slicing from src/core/eval-contradictions/judge.ts into a new shared module src/core/text-safe.ts. The dream-cycle chunker findBoundary tier-3 fallback (synthesize.ts) previously hard-split at maxChars, orphaning a high surrogate when the boundary landed inside emoji / non-BMP CJK / mathematical alphanumerics. Resulting chunks were not byte-identical to the source content, which broke the v0.30.2 D9 stable-chunk-identity invariant — the per-chunk idempotency key drifted across retries on transcripts containing 4-byte UTF-8 characters near a hard-split. Five agent-authored PRs (#1378-#1382) each independently introduced a narrow safeSliceEnd helper that handled ONE of the three correctness cases (high+low pair straddle) but missed the AT-low-surrogate case that fires when a boundary lands inside a complete pair. The shared text-safe.ts module exports both truncateUtf8 (the verbatim sliced string, for judge.ts) and safeSplitIndex (the boundary index, for chunker hot path), each covering all three cases. Co-authored credit: @garrytan-agents for surfacing the fix in PRs #1378-#1382 (closed in favor of consolidated design doc #1409). * New: src/core/text-safe.ts (truncateUtf8 + safeSplitIndex helpers). * New: test/text-safe.test.ts (18 cases, all 3 surrogate cases plus boundary-after-pair conservative back-up per codex CK16). * refactor(judge): import truncateUtf8 from text-safe; re-export for back-compat. Existing 32 judge tests pass unchanged. * fix(synthesize): findBoundary tier-3 routes through safeSplitIndex. 3 new surrogate-safety cases in test/cycle-synthesize-chunker.test.ts (emoji at boundary, non-BMP CJK at boundary, determinism + joined chunks reconstruct source byte-identical across 5 fuzzed hashes). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * feat(schema): widen link_source CHECK to include 'mentions' (v95) Part B of v0.42.0.0: link_source enum widening to admit a fourth provenance channel for auto-linked body-text mentions from the upcoming `gbrain extract links --by-mention` command. Codex outside-voice review on the v0.42.0.0 plan caught that the existing link_source CHECK is a hard wall (src/schema.sql:356) — my earlier draft claimed "no schema migration needed; link_source is free-form TEXT." Wrong. The CHECK admits only NULL OR ('markdown', 'frontmatter', 'manual'); attempting to insert link_source='mentions' would have raised a constraint violation on every auto-link write. Migration v95 widens the CHECK to admit 'mentions' alongside the three existing values. Mentions are intentionally a separate provenance from markdown (human-authored links) so the backlink-count SQL in postgres-engine + pglite-engine can filter `WHERE link_source != 'mentions'` for search ranking (D12). Mentions still count toward orphan-ratio and graph traversal — distinct semantics from the three human-authored sources, modeled cleanly on the dedicated CHECK value. * src/schema.sql: widened CHECK with provenance comment. * src/core/pglite-schema.ts: same widening (PGLite engine parity). * src/core/schema-embedded.ts: regenerated via `bun run build:schema`. * src/core/migrate.ts: new migration v95 `links_link_source_check_includes_mentions` with both Postgres and PGLite branches. DROP IF EXISTS + ADD CONSTRAINT pattern so re-applying the migration is a no-op (idempotent). * test/schema-migrate-link-source-mentions.test.ts (NEW, 7 cases): registration shape, SQL shape (all 4 values present + DROP IF EXISTS pattern), PGLite branch present, post-migration insert succeeds, CHECK still rejects unknown values (widening did not nullify the gate), idempotent re-application via runMigration. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * refactor(orphans): expose getOrphansData alias as canonical pure data fn (D1) D1 from /plan-eng-review for v0.42.0.0: doctor's upcoming orphan_ratio check needs the SAME exclusion logic as `gbrain orphans` so the two surfaces cannot disagree on what counts as an orphan. The existing findOrphans() was already the pure data fn — this commit just makes that contract explicit via the getOrphansData alias and pins it with an IRON RULE regression test. * src/commands/orphans.ts: export const getOrphansData = findOrphans (alias, same function reference). Documents the v0.42.0.0 contract in findOrphans' docstring. * test/orphans-pure-fn.test.ts (NEW, 12 cases): - getOrphansData === findOrphans (same reference). - findOrphans + getOrphansData deep-equal output. - includePseudo branch toggles excluded count. - CLI --json output deep-equals findOrphans (IRON RULE — catches drift if anyone adds CLI-side post-filtering). - CLI --count matches total_orphans (with and without --include-pseudo). - shouldExclude regression: pseudo-pages, auto-suffix, raw segment, deny-prefixes, first-segment exclusions all fire correctly; regular slugs are NOT excluded. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * fix(engine): filter mentions out of backlink-count for search ranking (D12) D12 from /plan-eng-review for v0.42.0.0: codex outside-voice review caught that engine.getBacklinkCounts had NO link_source filter — so every link counted equally toward backlink-boost in hybridSearch. Running `gbrain extract links --by-mention` (migration #1 of #1409) would silently shift search ranking globally on first run, boosting popular-mention pages over intentional-backlink pages. Add `AND l.link_source IS DISTINCT FROM 'mentions'` to the LEFT JOIN in both engines. `IS DISTINCT FROM` is NULL-safe per the [sql-neq-misses-null-drift] memory: a naive `!= 'mentions'` would silently drop legacy pre-v0.13 rows where link_source IS NULL (because NULL != 'mentions' evaluates to NULL not TRUE in SQL three-valued logic). The IS DISTINCT FROM form treats NULL as a distinct value so legacy rows still count toward backlinks — the only rows filtered are the explicitly mention-derived ones from v0.42.0.0+. Mentions still count toward: - orphan-ratio (the whole point — `findOrphans` runs against `links` with no source filter, so an auto-linked page is no longer an orphan) - graph traversal (`traverseGraph` walks all link_source values) - graph adjacency (`getAdjacencyBoosts` includes mentions in the induced subgraph counts) Mentions are filtered ONLY from: - `getBacklinkCounts` (this commit) — the input to hybridSearch's backlink_boost stage * src/core/postgres-engine.ts: AND clause on the LEFT JOIN. * src/core/pglite-engine.ts: same change for engine parity. * test/backlink-count-mention-filter.test.ts (NEW, 6 cases): - 10 markdown + 0 mention → count = 10 - 0 markdown + 50 mention → count = 0 - 10 markdown + 50 mention → count = 10 - NULL link_source legacy rows still count (IS DISTINCT FROM semantics) - mixed (markdown + frontmatter + manual + mentions) → only mentions filtered - uninitialized slug returns 0 Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * feat(by-mention): pure mention scanner with gazetteer + guards (D2/D6/D12/D13) Net new module powering migration #1 of #1409 (orphan reduction). buildGazetteer queries entity-typed pages (hardcoded D2 filter: person/company/organization/entity, pack-aware deferred to TODO-1) and produces a token-Map lookup keyed by lowercase first-token. findMentionedEntities is a pure function that scans body text against the gazetteer, applies maximal-munch matching (longest entry wins at each offset), self-link guard (D13), cross-source guard, and per-page first-mention-only cap (1 link per source→target pair regardless of how many body mentions). Token-Map + multi-word phrase pass per D6 — no new deps, no regex alternation (pathological perf at 5K patterns), no Aho-Corasick (dep tax not justified at this scale). At each token offset, lookup in Map<lowercase, GazetteerEntry[]> is O(1); multi-word entries validate subsequent tokens. Bucket pre-sorted longest-first so the first valid entry IS the maximal-munch winner. Ignore-list semantics per CK12: built-in ambiguous tokens (Apple, Amazon, Square, Stripe, Box, Meta, Target, Oracle) suppressed at gazetteer-build time ONLY when no corresponding entity page exists. If the user has explicitly created companies/apple, gazetteer presence wins — ignore list does NOT override user intent. Min-name-length filter at 4 chars kills false-positive 2-3-char names (AI, YC, X, IBM). Codex CK13 noted this trade-off will under-deliver on 3-char real entities; pack-aware follow-up (TODO-1) can let users opt 3-char entity types in deliberately. Code-block stripping via existing stripCodeBlocks() from link-extraction.ts. CK8 fix: stripCodeBlocks was internal-only; this commit exports it so by-mention.ts can reuse without rolling its own fenced/inline code parser. * src/core/by-mention.ts (NEW, 240 LOC): - LINKABLE_ENTITY_TYPES const (hardcoded D2 type filter). - GazetteerEntry + Gazetteer + Mention types. - buildGazetteer(engine, opts) — engine-backed, hardcoded type filter, ignore-list at build time per CK12, sort buckets longest-first. - findMentionedEntities(text, gazetteer, opts) — pure, maximal-munch, guards (self-link/cross-source/first-mention-cap), code-block strip. * src/core/link-extraction.ts: export stripCodeBlocks (CK8 fix). * test/by-mention.test.ts (NEW, 22 cases): - All 20 plan-mandated cases. - Plus extraIgnore user-override case + LINKABLE_ENTITY_TYPES contract pin. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * feat(extract): --by-mention auto-link entity mentions (migration #1 of #1409) Wires the v0.42.0.0 mention scanner into 'gbrain extract links'. Mode dispatch: when --by-mention is set, runs ONLY the new mention pass (skips default link/frontmatter extract) so the two surfaces don't conflict mid-run. The default extract path is unchanged. Flag plumbing: * --by-mention: opts into the mention pass. Mode dispatch. * --source fs --by-mention rejected with paste-ready --source db fix-hint (D7: gazetteer needs the engine; FS-walk + DB-gazetteer is incoherent). * timeline --by-mention rejected (mentions are a links-pass concern). * --source-id scopes the page WALK; gazetteer remains brain-wide (cross-source guard in findMentionedEntities suppresses scanning pages in source A from auto-linking entities in source B). * --since DATE filters the walk to recently-modified pages. * --type filter applies (rarely useful; included for parity). * --dry-run prints add_link action lines without writing; --json emits one JSON line per dry-run action. extractMentionsFromDb function: * buildGazetteer once per run via hardcoded type filter (D2). * Walks pages via engine.listAllPageRefs (DB-source only). * Reads body as compiled_truth || '\n\n' || COALESCE(timeline, '') per D3 — separator-joined so an end-of-compiled token doesn't merge with a start-of-timeline token into a false phrase match. * findMentionedEntities returns Mention[] with self-link guard (D13) + cross-source guard + first-mention-only cap baked in. * addLinksBatch with link_source='mentions' — distinct provenance channel that backlink-count filters out for search ranking (D12). * Empty-gazetteer no-op with informative message (no entity pages = nothing to scan). * src/commands/extract.ts: --by-mention flag + mode dispatch + FS rejection + extractMentionsFromDb function (~120 LOC). * test/extract-by-mention.test.ts (NEW, 12 cases): end-to-end happy path, idempotency, --dry-run no writes, --json output shape, --source-id scoping, --source fs rejection with fix-hint, timeline rejection, mode dispatch (no markdown rows when --by-mention), coexistence of markdown + mention link_source on same (from,to) pair via ON CONFLICT key, schema migration verification (link_source='mentions' insert succeeds), empty-brain no-op, cross-source guard (team-b post → default acme = no link). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * feat(doctor): orphan_ratio check on local + thin-client surfaces (D5/D11) D5/D11 from /plan-eng-review for v0.42.0.0: surface orphan-page count in 'gbrain doctor' so users discover the new --by-mention fix without having to know the feature exists. Two surfaces because thin-client installs (gbrain init --mcp-only) route to runRemoteDoctor entirely — adding the check to runDoctor only would miss every brain-server consumer (codex CK5 caught this exactly during outside-voice review). Local surface (src/commands/doctor.ts): * Inserts as check '9b' right after graph_coverage. * Consumes getOrphansData() — the canonical pure data fn from T5 — so doctor and 'gbrain orphans --count' cannot disagree on the ratio. * Vacuous gate at < 100 entity pages (small brains naturally show high orphan ratio; not actionable signal). * warn > 0.5, fail > 0.8; both states recommend 'gbrain extract links --by-mention' as the fix. Thin-client surface (src/core/doctor-remote.ts): * New exported runOrphanRatioCheck function. Mirrors local logic but routes through find_orphans MCP op (existing v0.12.3 op, scope: read — even minimal-scope thin-clients can call it). * Operator-pointing hint: 'Ask the brain operator at <url> to run gbrain extract links --by-mention'. Thin-client users can't run the fix against a brain they don't host (v0.31.1 bug class). * Network failure fall-back: returns informational ok with network_error detail, NOT fail — earlier mcp_smoke catches genuine unreachable; orphan_ratio is informational only. * Skippable via the existing skipScopeProbe flag so hermetic fixtures that don't implement find_orphans on /mcp don't hang. Wiring in --by-mention extract.ts integration test (fix-up): CliOptions field is `progressInterval` not `progressIntervalMs`, and `timeoutMs: null` is required. Pre-existing tsc error surfaced when typechecking the new doctor changes. * test/doctor-orphan-ratio.test.ts (NEW, 10 cases): - <100 entity pages → vacuous ok - 100+ entities + low ratio (20%) → ok - high ratio (70%) → warn with fix-hint - very high ratio (90%) → fail with urgency fix-hint - zero entity pages → vacuous ok - JSON envelope contains orphan_ratio check - Thin-client: network failure → informational ok with detail - Cross-surface parity: source greps verify orphan_ratio name and fix command appear in BOTH doctor.ts and doctor-remote.ts; local hint is self-fix, thin-client hint asks the operator. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * test(e2e): orphan-reduction end-to-end with cross-surface count parity Pins the v0.42.0.0 design-doc claim shape — "material reduction in orphan pages via --by-mention" — without committing to a specific % (per TODO-4=C decision to soften the 88%->_30% promise into a "material reduction, exact figure TBD via post-merge measurement on representative brain"). 3 e2e cases via hermetic PGLite: * Seed 20 entities + 5 content pages mentioning 15 → assert orphan count drops by >=10 after --by-mention (material delta). * Cross-check the D1 single-source contract end-to-end: gbrain orphans --count, getOrphansData() pure fn, and the doctor JSON orphan_ratio message all reflect the same numerator. If a future change makes them disagree, this fires. * Re-run idempotency: second --by-mention invocation produces 0 new mention rows AND the first run actually created some (sanity gate so a no-op pass doesn't trivially satisfy the idempotency test). * test/e2e/orphan-reduction.test.ts (NEW, 3 cases, hermetic PGLite, no DATABASE_URL needed). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * release: v0.41.10.0 — orphan reduction via --by-mention + surrogate-pair fix Bumps VERSION + package.json to 0.41.10.0 (next available slot in the v0.41.x queue after master moved to v0.41.4.0). Minor bump scope: new CLI flag (`gbrain extract links --by-mention`), new schema migration v95, new doctor check `orphan_ratio`, new public src/core/text-safe.ts module, new src/core/by-mention.ts module, new link_source enum value with ranking-filter semantic. CHANGELOG entry follows the v0.41.x voice rules: ELI10 lead, To take advantage block with paste-ready commands, How to turn it on, What you'd see, Promise calibration (softens design-doc 88%->_30% claim per codex CK13), What to watch for, Itemized changes split into Part A (surrogate-pair fix) + Part B (auto-link --by-mention) + Follow-ups (TODO-1 through TODO-4). Credits @garrytan-agents for the underlying PR work (#1378-#1382 closed in favor of design doc #1409). TODOS.md gets four new follow-up entries (pack-aware gazetteer, cycle integration, MCP op, post-merge measurement). System-of-record annotation: the addLinksBatch call in extractMentionsFromDb carries `gbrain-allow-direct-insert` per the canonical reconcile-layer write pattern. 3-line audit: VERSION + package.json + CHANGELOG top all on 0.41.10.0. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Proposal: Takes Bootstrap from Existing Content
Problem
The takes system in gbrain — typed claims with weights, calibration tracking, and attribution — has full infrastructure but zero data in production. Despite being fully supported in the schema and having CLI commands, no agent or workflow ever populates it because there's no automated bootstrap path.
The brain contains thousands of concept pages, atom pages, and lore entries that are rich with claims, opinions, and predictions. These exist as unstructured text but aren't captured as takes.
Scale of Impact
Proposed Solution
Takes Extraction from Existing Pages
Add
gbrain takes extract --from-pagesthat scans content-rich pages and extracts structured claims.How It Works
fact: Verifiable statement ("Acme has 500 customers")take: Opinion or analysis ("Remote work will become the default")bet: Prediction with implicit timeline ("AI will replace 30% of coding by 2026")hunch: Low-confidence intuition ("Something feels off about this market")CLI Interface
Schema Pack Integration
Schema packs should be able to declare:
Dream Cycle Integration
Add a takes extraction step to the dream cycle for recently-modified pages:
Agent Onboarding
Features Detection
gbrain featuresshould detect zero takes:Migration Prompt
Evidence
The production brain has a fully functional takes system — the schema supports it, the CLI commands exist, the storage is ready. But zero takes have been recorded because:
Meanwhile, the brain's concept and atom pages contain hundreds of extractable claims that would make the takes system immediately useful for calibration tracking and knowledge synthesis.
Risks & Mitigations