eklavya 1.7.0

package/dist/tools/get_session_quiz_plan.js

@@ -0,0 +1,393 @@
+import { z } from 'zod';
+import { loadConfig } from '../config.js';
+import { clampToLevel, decayedScore, isDue, isKnown, nextTierToAsk } from '../srs.js';
+import { answerPosition } from '../mcq.js';
+import { askFooter } from '../ask.js';
+import { resolveSessionId } from '../session.js';
+import { attemptedConceptIds, domainSiblings, gateRetryConcepts, gateRow, prereqsOf, resolveTopic, lastAttempt, lastAttemptAt, levelStanding, masteryFor, recentQuestions, sessionConcepts, unmetPrereqs, wasEverTaught, } from '../store.js';
+import { CWD_HINT, SESSION_HINT } from './types.js';
+/**
+ * What the tutor must do with the questions, stated per focus so the pedagogy
+ * cannot drift from the setting. Returned with every plan.
+ */
+const FRAMING = {
+    project: 'Ground every question in the diff just written: name the file, the line, the decision. The code is the subject.',
+    concept: 'Ask the transferable version. The diff is the motivation, not the subject: open from what was just written, then ask for the general rule, the class of problem, or where else it applies. A correct answer must be usable on a different codebase. Do not ask for a definition -- that is tier 1 recall, not generalisation.',
+    learn: 'Teach the declared topic, in prerequisite order. Where an item carries bridge_context, the session touched that concept: use that real code as the worked example instead of a hypothetical. Where it does not, teach it on its own terms -- do not force a link to unrelated work.',
+};
+/**
+ * What the project's level permits, stated per level for the same reason
+ * `FRAMING` is stated per focus: the tier number alone does not stop a tutor
+ * writing a judgement question and labelling it tier 2.
+ */
+const LEVEL_FRAMING = {
+    easy: 'Level easy (tiers 1-2). Ask what a thing is and what the machine does with it. No judgement questions, no failure modes, no design. They have been watching the agent work, and every question must be answerable from that -- this is the runway that makes the habit stick, not a warm-up to hurry through.',
+    medium: 'Level medium (tiers 2-4). Mechanism, then why this choice rather than the obvious alternative, then what breaks it. Definitions are spent at this level.',
+    hard: 'Level hard (tiers 3-5). Judgement, failure modes and design: when is this the wrong approach entirely, and how would they notice in production. A definition question is a wasted question here.',
+};
+const ASKED_HISTORY = 3;
+function minutesSince(iso, now) {
+    if (!iso)
+        return Number.POSITIVE_INFINITY;
+    // SQLite datetime('now') is UTC without a zone marker; make that explicit.
+    const t = Date.parse(iso.includes('T') ? iso : `${iso.replace(' ', 'T')}Z`);
+    if (!Number.isFinite(t))
+        return Number.POSITIVE_INFINITY;
+    return (now.getTime() - t) / 60_000;
+}
+export const getSessionQuizPlan = {
+    name: 'get_session_quiz_plan',
+    title: 'Get session quiz plan',
+    description: 'What to quiz on right now and at what difficulty tier, chosen from this session\'s concepts and whatever is due for review. Pass a domain to plan a topic quiz instead. Every item carries asked_before (questions this learner has already been asked — never repeat one), already_taught (they blanked and you explained it, so the next question is a follow-up) and prereqs_unmet. In enforced mode, once everything else is exhausted and the gate is still unpassed, it re-offers concepts that were blanked on and taught, a tier lower, with reason "gate_retry". Honours the configured focus: "project" plans from the diff, "concept" widens to prerequisites and domain siblings, "learn" plans from focus_topic and marks overlaps with the session\'s work as bridge_context. Every plan carries focus and framing — follow framing, it is what the setting means. Each item carries format_to_use, currently always "mcq": ask it with AskUserQuestion as four options, never as a blank prompt. Each item also carries answer_position (1-4) — put the correct option in exactly that slot, or the right answer ends up first every time and the learner stops reading the options. Every tier is clamped to this project\'s difficulty level (easy 1-2, medium 2-4, hard 3-5), which is earned per project and returned as level with level_framing — obey it: a tier-4 question at level easy is the failure this exists to prevent. Each item carries ask_footer, the line naming the settings that asked; print it under the stem, and never pass it back in record_attempt. Returns questions_needed: 0 when there is nothing worth asking.',
+    inputSchema: {
+        session_id: z.string().optional().describe(SESSION_HINT),
+        cwd: z.string().optional().describe(CWD_HINT),
+        max: z.number().int().min(1).max(10).optional().describe('Cap on questions. Defaults to the configured max_questions_per_task.'),
+        domain: z
+            .string()
+            .optional()
+            .describe('Plan a topic quiz on this domain instead of this session\'s work, e.g. "web-auth". Prerequisites are ordered first.'),
+        slugs: z
+            .array(z.string())
+            .optional()
+            .describe('Plan around these specific concepts. Use when the developer named a concept rather than a domain.'),
+        ignore_cooldown: z
+            .boolean()
+            .optional()
+            .describe('Set true when the developer asked to be quizzed. The cadence limit exists to stop nagging, not to refuse a request.'),
+        focus: z
+            .enum(['project', 'concept', 'learn'])
+            .optional()
+            .describe('Override the configured focus for this one plan. Omit to use the config.'),
+    },
+    handler: (args, { db }) => {
+        const now = new Date();
+        const { config, repoRoot } = loadConfig(args.cwd);
+        const sessionId = resolveSessionId(db, args.session_id);
+        const max = args.max ?? config.max_questions_per_task;
+        const focus = args.focus ?? config.focus;
+        // The band this project is on. Every tier below is clamped into it, so a
+        // learner three sessions in cannot be handed a tier-4 question by an
+        // escalation rule that only knows about one concept at a time.
+        const standing = levelStanding(db, config, repoRoot);
+        // `learn` focus turns the configured topic into the same domain/slug
+        // selection an explicit topic quiz uses, so it goes through one engine with
+        // one set of tier and repeat rules. An explicit domain or slugs still win:
+        // the developer naming a topic outranks a standing setting.
+        let effDomain = args.domain;
+        let effSlugs = args.slugs;
+        let topicUnresolved = false;
+        const explicitTopic = Boolean(args.domain || (args.slugs && args.slugs.length > 0));
+        if (!explicitTopic && focus === 'learn') {
+            if (!config.focus_topic) {
+                return {
+                    session_id: sessionId,
+                    questions_needed: 0,
+                    concepts: [],
+                    focus,
+                    reason: 'no_topic',
+                    detail: 'Focus is "learn" but no focus_topic is set. Ask what they want to learn, then set_config focus_topic.',
+                };
+            }
+            const match = resolveTopic(db, config.focus_topic);
+            if (match.domain)
+                effDomain = match.domain;
+            else if (match.slugs.length > 0)
+                effSlugs = match.slugs;
+            else
+                topicUnresolved = true;
+        }
+        const topicMode = Boolean(effDomain || (effSlugs && effSlugs.length > 0));
+        if (config.mode === 'off') {
+            return { session_id: sessionId, questions_needed: 0, concepts: [], reason: 'mode_off' };
+        }
+        // Cooldown keeps ambient mode from nagging. It must never apply in enforced
+        // mode, or a cooldown could make a commit gate unpassable (decision G5), and
+        // it must never override an explicit request (`ignore_cooldown`).
+        if (config.mode === 'ambient' && !args.ignore_cooldown) {
+            const since = minutesSince(lastAttemptAt(db, sessionId), now);
+            if (since < config.min_minutes_between_quizzes) {
+                return {
+                    session_id: sessionId,
+                    questions_needed: 0,
+                    concepts: [],
+                    reason: 'cooldown',
+                    minutes_remaining: Math.ceil(config.min_minutes_between_quizzes - since),
+                };
+            }
+        }
+        // The graph has nothing on this topic yet. Saying so is the useful answer;
+        // inventing questions about concepts that do not exist is not.
+        if (topicUnresolved) {
+            return {
+                session_id: sessionId,
+                questions_needed: 0,
+                concepts: [],
+                focus,
+                topic: config.focus_topic,
+                reason: 'topic_unknown',
+                detail: `Nothing in the graph matches "${config.focus_topic}". Offer the closest domain from get_concept_graph, or teach from first principles and upsert_concepts as you go.`,
+            };
+        }
+        const picked = [];
+        const seen = new Set();
+        // Where the session's own work touched a concept. In `learn` focus this is
+        // what turns an abstract topic question into one about code they just saw.
+        const sessionContext = new Map();
+        for (const c of sessionConcepts(db, sessionId)) {
+            if (c.context)
+                sessionContext.set(c.slug, c.context);
+        }
+        const domains = new Set();
+        // Concepts already answered in this session have had their turn. Re-offering
+        // them is how a learner gets asked the same thing twice in five minutes.
+        const alreadyAsked = attemptedConceptIds(db, sessionId);
+        let skippedAsked = 0;
+        const add = (concept, context, reason, 
+        // The gate-retry pass is the one caller allowed past the already-asked
+        // filter, and it drops a tier because it is re-opening a concept the
+        // learner has just been taught rather than testing a fresh one.
+        opts = {}) => {
+            if (seen.has(concept.slug) || picked.length >= max)
+                return;
+            if (!opts.retry && alreadyAsked.has(concept.id)) {
+                seen.add(concept.slug);
+                skippedAsked += 1;
+                return;
+            }
+            const m = masteryFor(db, concept.id);
+            const score = decayedScore(m.score, m.next_review, now);
+            const last = lastAttempt(db, concept.id);
+            const asked = recentQuestions(db, concept.id, ASKED_HISTORY);
+            const tier = clampToLevel(nextTierToAsk({
+                conceptTier: concept.tier,
+                lastDifficulty: last?.difficulty ?? null,
+                lastGrade: last?.grade ?? null,
+                score,
+            }), standing.level);
+            // A retry drops a tier because the concept has just been taught rather than
+            // tested -- but never below the band, or `easy` would ask tier 0.
+            const tierToAsk = opts.retry ? clampToLevel(tier - 1, standing.level) : tier;
+            const footer = askFooter({
+                config,
+                level: standing.level,
+                pinned: standing.pinned,
+                tier: tierToAsk,
+            });
+            seen.add(concept.slug);
+            picked.push({
+                slug: concept.slug,
+                name: concept.name,
+                domain: concept.domain,
+                description: concept.description,
+                tier_to_ask: tierToAsk,
+                context,
+                ...(footer ? { ask_footer: footer } : {}),
+                // Only in `learn` focus, and only when the topic concept really did turn
+                // up in this session's work. Absent means "teach it on its own terms",
+                // which is different from "no context available".
+                ...(focus === 'learn' && sessionContext.has(concept.slug)
+                    ? { bridge_context: sessionContext.get(concept.slug) }
+                    : {}),
+                last_grade: last?.grade ?? null,
+                asked_before: asked,
+                already_taught: wasEverTaught(db, concept.id),
+                prereqs_unmet: unmetPrereqs(db, concept.id, now),
+                format_to_use: 'mcq',
+                answer_position: answerPosition(concept.slug, asked.length),
+                reason,
+            });
+        };
+        if (topicMode) {
+            // Topic quizzes go through the same engine as session quizzes, so a named
+            // topic gets the same tier escalation and the same repeat protection.
+            const clauses = [];
+            const params = [];
+            if (effDomain) {
+                clauses.push('c.domain = ?');
+                params.push(effDomain);
+            }
+            if (effSlugs && effSlugs.length > 0) {
+                clauses.push(`c.slug IN (${effSlugs.map(() => '?').join(',')})`);
+                params.push(...effSlugs);
+            }
+            const rows = db
+                .prepare(`SELECT c.* FROM concepts c
+             LEFT JOIN mastery m ON m.concept_id = c.id
+            WHERE (${clauses.join(' OR ')})
+            ORDER BY c.tier ASC, c.slug ASC`)
+                .all(...params);
+            // Weakest and due-for-review first, prerequisites before dependents; a
+            // concept they have mastered is only worth asking when review says so.
+            const candidates = rows
+                .map((c) => {
+                const m = masteryFor(db, c.id);
+                const score = decayedScore(m.score, m.next_review, now);
+                return { c, score, known: isKnown({ score, reps: m.reps }), due: isDue(m.next_review, now) };
+            })
+                .filter((r) => !r.known || r.due)
+                .sort((a, b) => {
+                if (a.due !== b.due)
+                    return a.due ? -1 : 1;
+                if (a.score !== b.score)
+                    return a.score - b.score;
+                return a.c.tier - b.c.tier;
+            });
+            // `learn_topic` and `topic` run the same selection; they differ only in
+            // why the topic was chosen, which is what the tutor needs in order to
+            // frame the question.
+            const topicReason = !explicitTopic && focus === 'learn' ? 'learn_topic' : 'topic';
+            for (const cand of candidates) {
+                add(cand.c, sessionContext.get(cand.c.slug) ?? null, topicReason);
+            }
+        }
+        else {
+            const touched = sessionConcepts(db, sessionId);
+            for (const c of touched)
+                domains.add(c.domain);
+            // (a) concepts this session touched that the learner has not mastered
+            for (const c of touched) {
+                const m = masteryFor(db, c.id);
+                const score = decayedScore(m.score, m.next_review, now);
+                if (!isKnown({ score, reps: m.reps }))
+                    add(c, c.context, 'unmastered');
+            }
+            // (b) concepts this session touched that are due for review
+            for (const c of touched) {
+                const m = masteryFor(db, c.id);
+                if (isDue(m.next_review, now))
+                    add(c, c.context, 'due_review');
+            }
+            // `concept` focus: reach past what the task happened to touch. The ideas
+            // the diff is an instance of live in its prerequisites and its domain
+            // siblings, and asking only about what the diff contains is how a quiz
+            // stays stuck at "what does this line do".
+            //
+            // Deliberately before (c): a prerequisite of today's work is more use than
+            // an unrelated concept that happens to be due.
+            if (focus === 'concept' && picked.length < max) {
+                const touchedIds = touched.map((c) => c.id);
+                const exclude = new Set(touchedIds);
+                for (const c of prereqsOf(db, touchedIds)) {
+                    const m = masteryFor(db, c.id);
+                    if (!isKnown({ score: decayedScore(m.score, m.next_review, now), reps: m.reps })) {
+                        // Null context on purpose. In concept focus the diff is the
+                        // motivation, not the subject, and handing over a line of code
+                        // invites exactly the grounded-in-the-file question this focus
+                        // exists to avoid.
+                        add(c, null, 'concept_widening');
+                    }
+                }
+                for (const c of domainSiblings(db, [...domains], exclude)) {
+                    if (picked.length >= max)
+                        break;
+                    const m = masteryFor(db, c.id);
+                    if (!isKnown({ score: decayedScore(m.score, m.next_review, now), reps: m.reps })) {
+                        add(c, null, 'concept_widening');
+                    }
+                }
+            }
+            // (c) anything else due in the same domains, so review debt gets paid down
+            if (picked.length < max && domains.size > 0) {
+                const placeholders = [...domains].map(() => '?').join(',');
+                const rows = db
+                    .prepare(`SELECT c.* FROM concepts c
+             JOIN mastery m ON m.concept_id = c.id
+             WHERE c.domain IN (${placeholders}) AND m.next_review IS NOT NULL AND m.next_review <= ?
+             ORDER BY m.next_review ASC`)
+                    .all(...domains, now.toISOString());
+                for (const c of rows)
+                    add(c, null, 'domain_review');
+            }
+        }
+        // Enforced mode only, and only once everything else is exhausted: a session
+        // answered entirely with "I don't know" grades every concept 0, and a graded
+        // concept is filtered from the plan above -- so `required` can never be met,
+        // the planner returns nothing, and pre-tool-gate.sh denies the commit while
+        // telling the developer to run a quiz that has nothing left to ask. That is
+        // a dead end with no route out inside the session.
+        //
+        // Ambient mode is deliberately left alone. It has no gate to deadlock, and
+        // re-offering a concept there would be the nagging the cooldown exists to
+        // prevent.
+        if (!topicMode && picked.length === 0 && config.mode === 'enforced') {
+            const gate = gateRow(db, sessionId);
+            if (gate && gate.required > 0 && !gate.passed) {
+                // `seen` carries two meanings: "already picked" and "considered and
+                // rejected". Only the second is in it here -- nothing was picked, or we
+                // would not be in this branch -- so clearing it drops exactly the
+                // rejections the retry pass exists to reconsider, and cannot lose a pick.
+                seen.clear();
+                for (const c of gateRetryConcepts(db, sessionId)) {
+                    add(c, c.context, 'gate_retry', { retry: true });
+                }
+            }
+        }
+        // Foundations before what rests on them, so a quiz never leads with a
+        // question the learner has no way to answer.
+        picked.sort((a, b) => {
+            if (a.prereqs_unmet.length !== b.prereqs_unmet.length) {
+                return a.prereqs_unmet.length - b.prereqs_unmet.length;
+            }
+            return a.tier_to_ask - b.tier_to_ask;
+        });
+        // Numbered after the sort, so `q 2/3` is the order they will actually be
+        // asked in. Only when there is more than one -- `q 1/1` is noise.
+        if (picked.length > 1) {
+            picked.forEach((item, i) => {
+                const numbered = askFooter({
+                    config,
+                    level: standing.level,
+                    pinned: standing.pinned,
+                    tier: item.tier_to_ask,
+                    position: { index: i + 1, total: picked.length },
+                });
+                if (numbered)
+                    item.ask_footer = numbered;
+            });
+        }
+        if (picked.length === 0) {
+            // Distinguish "nothing left to ask" from "nothing to ask about" — they
+            // need different things said to the developer.
+            return skippedAsked > 0
+                ? {
+                    session_id: sessionId,
+                    questions_needed: 0,
+                    concepts: [],
+                    focus,
+                    reason: 'already_covered',
+                    detail: `${skippedAsked} concept(s) were already asked about in this session.`,
+                }
+                : {
+                    session_id: sessionId,
+                    questions_needed: 0,
+                    concepts: [],
+                    focus,
+                    reason: topicMode ? 'no_candidates' : 'nothing_logged',
+                };
+        }
+        return {
+            session_id: sessionId,
+            questions_needed: picked.length,
+            focus,
+            // Stated with every plan so the pedagogy cannot drift from the setting:
+            // the tutor should not have to remember what `concept` implies.
+            framing: FRAMING[focus],
+            ...(focus === 'learn' && config.focus_topic ? { topic: config.focus_topic } : {}),
+            level: standing.level,
+            level_framing: LEVEL_FRAMING[standing.level],
+            level_progress: {
+                passed: standing.counts.passed,
+                needed: standing.needed.answers,
+                concepts: standing.counts.concepts,
+                needed_concepts: standing.needed.concepts,
+                accuracy: standing.accuracy,
+                min_accuracy: standing.needed.accuracy,
+                next: standing.next,
+                ...(standing.pinned ? { pinned: true } : {}),
+            },
+            concepts: picked,
+        };
+    },
+};
+//# sourceMappingURL=get_session_quiz_plan.js.map

package/dist/tools/get_session_quiz_plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get_session_quiz_plan.js","sourceRoot":"","sources":["../../src/tools/get_session_quiz_plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAc,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAc,MAAM,WAAW,CAAC;AAClG,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,OAAO,EACP,SAAS,EACT,YAAY,EACZ,WAAW,EACX,aAAa,EACb,aAAa,EACb,UAAU,EACV,eAAe,EACf,eAAe,EACf,YAAY,EACZ,aAAa,GAId,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAgB,MAAM,YAAY,CAAC;AAiElE;;;GAGG;AACH,MAAM,OAAO,GAA0B;IACrC,OAAO,EACL,iHAAiH;IACnH,OAAO,EACL,+TAA+T;IACjU,KAAK,EACH,qRAAqR;CACxR,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAA0B;IAC3C,IAAI,EACF,+SAA+S;IACjT,MAAM,EACJ,0JAA0J;IAC5J,IAAI,EACF,kMAAkM;CACrM,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,CAAC;AAExB,SAAS,YAAY,CAAC,GAAkB,EAAE,GAAS;IACjD,IAAI,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAC1C,2EAA2E;IAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IACzD,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;AACtC,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAY;IACzC,IAAI,EAAE,uBAAuB;IAC7B,KAAK,EAAE,uBAAuB;IAC9B,WAAW,EACT,kkDAAkkD;IACpkD,WAAW,EAAE;QACX,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC;QACxD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,sEAAsE,CAAC;QAChI,MAAM,EAAE,CAAC;aACN,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,QAAQ,CAAC,qHAAqH,CAAC;QAClI,KAAK,EAAE,CAAC;aACL,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aACjB,QAAQ,EAAE;aACV,QAAQ,CAAC,mGAAmG,CAAC;QAChH,eAAe,EAAE,CAAC;aACf,OAAO,EAAE;aACT,QAAQ,EAAE;aACV,QAAQ,CAAC,qHAAqH,CAAC;QAClI,KAAK,EAAE,CAAC;aACL,IAAI,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;aACrC,QAAQ,EAAE;aACV,QAAQ,CAAC,0EAA0E,CAAC;KACxF;IACD,OAAO,EAAE,CACP,IAQC,EACD,EAAE,EAAE,EAAE,EACN,EAAE;QACF,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,sBAAsB,CAAC;QACtD,MAAM,KAAK,GAAU,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;QAChD,yEAAyE;QACzE,qEAAqE;QACrE,+DAA+D;QAC/D,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAErD,qEAAqE;QACrE,4EAA4E;QAC5E,2EAA2E;QAC3E,4DAA4D;QAC5D,IAAI,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;QAC5B,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;QAC1B,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAEpF,IAAI,CAAC,aAAa,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;gBACxB,OAAO;oBACL,UAAU,EAAE,SAAS;oBACrB,gBAAgB,EAAE,CAAC;oBACnB,QAAQ,EAAE,EAAE;oBACZ,KAAK;oBACL,MAAM,EAAE,UAAU;oBAClB,MAAM,EAAE,uGAAuG;iBAChH,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;YACnD,IAAI,KAAK,CAAC,MAAM;gBAAE,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC;iBACtC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC;;gBACnD,eAAe,GAAG,IAAI,CAAC;QAC9B,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAE1E,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QAC1F,CAAC;QAED,4EAA4E;QAC5E,6EAA6E;QAC7E,kEAAkE;QAClE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YACvD,MAAM,KAAK,GAAG,YAAY,CAAC,aAAa,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;YAC9D,IAAI,KAAK,GAAG,MAAM,CAAC,2BAA2B,EAAE,CAAC;gBAC/C,OAAO;oBACL,UAAU,EAAE,SAAS;oBACrB,gBAAgB,EAAE,CAAC;oBACnB,QAAQ,EAAE,EAAE;oBACZ,MAAM,EAAE,UAAU;oBAClB,iBAAiB,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,2BAA2B,GAAG,KAAK,CAAC;iBACzE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,+DAA+D;QAC/D,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO;gBACL,UAAU,EAAE,SAAS;gBACrB,gBAAgB,EAAE,CAAC;gBACnB,QAAQ,EAAE,EAAE;gBACZ,KAAK;gBACL,KAAK,EAAE,MAAM,CAAC,WAAW;gBACzB,MAAM,EAAE,eAAe;gBACvB,MAAM,EAAE,iCAAiC,MAAM,CAAC,WAAW,mHAAmH;aAC/K,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,2EAA2E;QAC3E,2EAA2E;QAC3E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,CAAC,OAAO;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,6EAA6E;QAC7E,yEAAyE;QACzE,MAAM,YAAY,GAAG,mBAAmB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxD,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,MAAM,GAAG,GAAG,CACV,OAAmB,EACnB,OAAsB,EACtB,MAA0B;QAC1B,uEAAuE;QACvE,qEAAqE;QACrE,gEAAgE;QAChE,OAA4B,EAAE,EACxB,EAAE;YACR,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,GAAG;gBAAE,OAAO;YAC3D,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACvB,YAAY,IAAI,CAAC,CAAC;gBAClB,OAAO;YACT,CAAC;YAED,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;YAE7D,MAAM,IAAI,GAAG,YAAY,CACvB,aAAa,CAAC;gBACZ,WAAW,EAAE,OAAO,CAAC,IAAI;gBACzB,cAAc,EAAE,IAAI,EAAE,UAAU,IAAI,IAAI;gBACxC,SAAS,EAAE,IAAI,EAAE,KAAK,IAAI,IAAI;gBAC9B,KAAK;aACN,CAAC,EACF,QAAQ,CAAC,KAAK,CACf,CAAC;YACF,4EAA4E;YAC5E,kEAAkE;YAClE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7E,MAAM,MAAM,GAAG,SAAS,CAAC;gBACvB,MAAM;gBACN,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;YAEH,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,WAAW,EAAE,SAAS;gBACtB,OAAO;gBACP,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,yEAAyE;gBACzE,uEAAuE;gBACvE,kDAAkD;gBAClD,GAAG,CAAC,KAAK,KAAK,OAAO,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;oBACvD,CAAC,CAAC,EAAE,cAAc,EAAE,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAE,EAAE;oBACvD,CAAC,CAAC,EAAE,CAAC;gBACP,UAAU,EAAE,IAAI,EAAE,KAAK,IAAI,IAAI;gBAC/B,YAAY,EAAE,KAAK;gBACnB,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC7C,aAAa,EAAE,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC;gBAChD,aAAa,EAAE,KAAK;gBACpB,eAAe,EAAE,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC;gBAC3D,MAAM;aACP,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,IAAI,SAAS,EAAE,CAAC;YACd,0EAA0E;YAC1E,sEAAsE;YACtE,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAc,EAAE,CAAC;YAC7B,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,CAAC,IAAI,CAAC,cAAc,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAC3B,CAAC;YAED,MAAM,IAAI,GAAG,EAAE;iBACZ,OAAO,CACN;;qBAEW,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;4CACG,CACnC;iBACA,GAAG,CAAC,GAAG,MAAM,CAAiB,CAAC;YAElC,uEAAuE;YACvE,uEAAuE;YACvE,MAAM,UAAU,GAAG,IAAI;iBACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACT,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACxD,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;YAC/F,CAAC,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC;iBAChC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACb,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG;oBAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3C,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;oBAAE,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;gBAClD,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7B,CAAC,CAAC,CAAC;YAEL,wEAAwE;YACxE,sEAAsE;YACtE,sBAAsB;YACtB,MAAM,WAAW,GAAG,CAAC,aAAa,IAAI,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;YAClF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,WAAW,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAE/C,sEAAsE;YACtE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACxD,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;oBAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACzE,CAAC;YAED,4DAA4D;YAC5D,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC/B,IAAI,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;oBAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACjE,CAAC;YAED,yEAAyE;YACzE,sEAAsE;YACtE,uEAAuE;YACvE,2CAA2C;YAC3C,EAAE;YACF,2EAA2E;YAC3E,+CAA+C;YAC/C,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;gBAEpC,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC/B,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;wBACjF,4DAA4D;wBAC5D,+DAA+D;wBAC/D,+DAA+D;wBAC/D,mBAAmB;wBACnB,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;gBAED,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC1D,IAAI,MAAM,CAAC,MAAM,IAAI,GAAG;wBAAE,MAAM;oBAChC,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC/B,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;wBACjF,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;YAED,2EAA2E;YAC3E,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBAC5C,MAAM,YAAY,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3D,MAAM,IAAI,GAAG,EAAE;qBACZ,OAAO,CACN;;kCAEsB,YAAY;wCACN,CAC7B;qBACA,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,CAAC,WAAW,EAAE,CAAiB,CAAC;gBACtD,KAAK,MAAM,CAAC,IAAI,IAAI;oBAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,6EAA6E;QAC7E,6EAA6E;QAC7E,4EAA4E;QAC5E,4EAA4E;QAC5E,mDAAmD;QACnD,EAAE;QACF,2EAA2E;QAC3E,0EAA0E;QAC1E,WAAW;QACX,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YACpC,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC9C,oEAAoE;gBACpE,wEAAwE;gBACxE,kEAAkE;gBAClE,0EAA0E;gBAC1E,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;oBACjD,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;QACH,CAAC;QAED,sEAAsE;QACtE,6CAA6C;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnB,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;gBACtD,OAAO,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC;YACzD,CAAC;YACD,OAAO,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBACzB,MAAM,QAAQ,GAAG,SAAS,CAAC;oBACzB,MAAM;oBACN,KAAK,EAAE,QAAQ,CAAC,KAAK;oBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,IAAI,EAAE,IAAI,CAAC,WAAW;oBACtB,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;iBACjD,CAAC,CAAC;gBACH,IAAI,QAAQ;oBAAE,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,uEAAuE;YACvE,+CAA+C;YAC/C,OAAO,YAAY,GAAG,CAAC;gBACrB,CAAC,CAAC;oBACE,UAAU,EAAE,SAAS;oBACrB,gBAAgB,EAAE,CAAC;oBACnB,QAAQ,EAAE,EAAE;oBACZ,KAAK;oBACL,MAAM,EAAE,iBAAiB;oBACzB,MAAM,EAAE,GAAG,YAAY,uDAAuD;iBAC/E;gBACH,CAAC,CAAC;oBACE,UAAU,EAAE,SAAS;oBACrB,gBAAgB,EAAE,CAAC;oBACnB,QAAQ,EAAE,EAAE;oBACZ,KAAK;oBACL,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,gBAAgB;iBACvD,CAAC;QACR,CAAC;QAED,OAAO;YACL,UAAU,EAAE,SAAS;YACrB,gBAAgB,EAAE,MAAM,CAAC,MAAM;YAC/B,KAAK;YACL,wEAAwE;YACxE,gEAAgE;YAChE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;YACvB,GAAG,CAAC,KAAK,KAAK,OAAO,IAAI,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,aAAa,EAAE,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC;YAC5C,cAAc,EAAE;gBACd,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM;gBAC9B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;gBAC/B,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ;gBAClC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ;gBACzC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ;gBACtC,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7C;YACD,QAAQ,EAAE,MAAM;SACjB,CAAC;IACJ,CAAC;CACF,CAAC"}

package/dist/tools/index.js

@@ -0,0 +1,45 @@
+import { retryOnBusy } from '../concurrency.js';
+import { getLearnerProfile } from './get_learner_profile.js';
+import { logSessionConcepts } from './log_session_concepts.js';
+import { getSessionQuizPlan } from './get_session_quiz_plan.js';
+import { recordAttempt } from './record_attempt.js';
+import { getGateStatus } from './get_gate_status.js';
+import { upsertConcepts } from './upsert_concepts.js';
+import { getConceptGraph } from './get_concept_graph.js';
+import { getConfig, setConfig } from './config_tools.js';
+export const TOOLS = [
+    getLearnerProfile,
+    logSessionConcepts,
+    getSessionQuizPlan,
+    recordAttempt,
+    getGateStatus,
+    upsertConcepts,
+    getConceptGraph,
+    getConfig,
+    setConfig,
+];
+/** Tool results are JSON text: compact, and small enough to live in context (decision G7). */
+function toResult(payload) {
+    const text = JSON.stringify(payload);
+    const isError = typeof payload === 'object' && payload !== null && 'error' in payload;
+    return { content: [{ type: 'text', text }], isError };
+}
+export function registerTools(server, db) {
+    for (const tool of TOOLS) {
+        server.registerTool(tool.name, { title: tool.title, description: tool.description, inputSchema: tool.inputSchema }, async (args) => {
+            try {
+                // Safe to retry: a busy transaction has already rolled back.
+                return toResult(retryOnBusy(() => tool.handler(args, { db })));
+            }
+            catch (err) {
+                // A tool throwing must not take the server down mid-session.
+                return toResult({
+                    error: 'tool_failed',
+                    tool: tool.name,
+                    detail: err instanceof Error ? err.message : String(err),
+                });
+            }
+        });
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEzD,MAAM,CAAC,MAAM,KAAK,GAAc;IAC9B,iBAAiB;IACjB,kBAAkB;IAClB,kBAAkB;IAClB,aAAa;IACb,aAAa;IACb,cAAc;IACd,eAAe;IACf,SAAS;IACT,SAAS;CACV,CAAC;AAEF,8FAA8F;AAC9F,SAAS,QAAQ,CAAC,OAAgB;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,IAAI,OAAO,CAAC;IACtF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAiB,EAAE,EAAM;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,YAAY,CACjB,IAAI,CAAC,IAAI,EACT,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EACnF,KAAK,EAAE,IAAa,EAAE,EAAE;YACtB,IAAI,CAAC;gBACH,6DAA6D;gBAC7D,OAAO,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,6DAA6D;gBAC7D,OAAO,QAAQ,CAAC;oBACd,KAAK,EAAE,aAAa;oBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;iBACzD,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CACF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/tools/log_session_concepts.js

@@ -0,0 +1,103 @@
+import { z } from 'zod';
+import { loadConfig } from '../config.js';
+import { normalizeSlug, findFuzzyMatch } from '../slug.js';
+import { decayedScore, isKnown } from '../srs.js';
+import { resolveSessionId } from '../session.js';
+import { allConceptSlugs, conceptBySlug, insertConcept, logSessionConcept, masteryFor, newConceptsThisSession, sessionConcepts, syncGate, } from '../store.js';
+import { CWD_HINT, SESSION_HINT } from './types.js';
+const DEFAULT_DOMAIN = 'general';
+const DEFAULT_TIER = 2;
+export const logSessionConcepts = {
+    name: 'log_session_concepts',
+    title: 'Log session concepts',
+    description: 'Record the concepts the current task genuinely exercises, each with a one-line context pointing at the real code you wrote. Call this while implementing, batched, 3-8 concepts per task. Unknown slugs are created automatically, but bare — when the response carries next_action, do what it says before quizzing.',
+    inputSchema: {
+        session_id: z.string().optional().describe(SESSION_HINT),
+        cwd: z.string().optional().describe(CWD_HINT),
+        concepts: z
+            .array(z.object({
+            slug: z.string().describe('kebab-case, e.g. "httponly-cookies"'),
+            name: z.string().optional(),
+            domain: z.string().optional(),
+            tier: z.number().int().min(1).max(5).optional(),
+            context: z.string().optional().describe('One line naming the actual code, e.g. "set httpOnly on the refresh cookie in auth.ts".'),
+        }))
+            .min(1),
+    },
+    handler: (args, { db }) => {
+        const now = new Date();
+        const { config, repoRoot } = loadConfig(args.cwd);
+        const sessionId = resolveSessionId(db, args.session_id);
+        const created = [];
+        const matched = [];
+        const logged = [];
+        let capped = 0;
+        const apply = db.transaction(() => {
+            let budget = Math.max(0, config.max_new_concepts_per_session - newConceptsThisSession(db, sessionId));
+            for (const input of args.concepts) {
+                const slug = normalizeSlug(input.slug);
+                if (!slug)
+                    continue;
+                let concept = conceptBySlug(db, slug);
+                if (!concept) {
+                    const near = findFuzzyMatch(slug, allConceptSlugs(db));
+                    if (near) {
+                        concept = conceptBySlug(db, near.slug);
+                        if (concept)
+                            matched.push({ requested: slug, resolved: concept.slug });
+                    }
+                }
+                if (!concept) {
+                    if (budget <= 0) {
+                        capped += 1;
+                        continue;
+                    }
+                    concept = insertConcept(db, {
+                        slug,
+                        name: input.name ?? slug.replace(/-/g, ' '),
+                        domain: input.domain ?? DEFAULT_DOMAIN,
+                        tier: input.tier ?? DEFAULT_TIER,
+                        source: 'llm',
+                    });
+                    created.push(concept.slug);
+                    budget -= 1;
+                }
+                logSessionConcept(db, sessionId, concept.id, input.context ?? null, 'work');
+                logged.push(concept.slug);
+            }
+        });
+        apply();
+        // The gate's bar rises with the work: how many touched concepts are still
+        // unmastered, capped at the configured questions per task.
+        // 'work' only: `passedCount` counts nothing else, so a review-debt concept
+        // raising the bar would raise it past anything the learner could clear.
+        const unmastered = sessionConcepts(db, sessionId, 'work').filter((c) => {
+            const m = masteryFor(db, c.id);
+            return !isKnown({ score: decayedScore(m.score, m.next_review, now), reps: m.reps });
+        }).length;
+        const gate = syncGate(db, sessionId, config, {
+            requiredHint: Math.min(unmastered, config.max_questions_per_task),
+            repo: repoRoot,
+        });
+        // Said in the response, not only in the tutor skill. A bare concept is
+        // tier 2, domain "general", no edges -- and `prereqs_unmet` is computed from
+        // edges, so a concept with none can never be reported as unfair to ask
+        // about, however far out of its depth the learner is. The skill says to fix
+        // that, but it is model-invoked and may never load; the same gap is why the
+        // concept-logging directive had to move into the SessionStart banner. This
+        // lands in context whatever loaded.
+        const nextAction = created.length > 0
+            ? `Call upsert_concepts for ${created.join(', ')} — each was created bare (tier 2, domain "general", no edges). Give each a real domain, an honest tier, and at least one prerequisite_of edge, or prereqs_unmet stays empty and the fairness check silently passes.`
+            : undefined;
+        return {
+            session_id: sessionId,
+            logged,
+            created,
+            matched,
+            capped,
+            gate,
+            ...(nextAction ? { next_action: nextAction } : {}),
+        };
+    },
+};
+//# sourceMappingURL=log_session_concepts.js.map

package/dist/tools/log_session_concepts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"log_session_concepts.js","sourceRoot":"","sources":["../../src/tools/log_session_concepts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EACL,eAAe,EACf,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,UAAU,EACV,sBAAsB,EACtB,eAAe,EACf,QAAQ,GACT,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAgB,MAAM,YAAY,CAAC;AAElE,MAAM,cAAc,GAAG,SAAS,CAAC;AACjC,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,MAAM,CAAC,MAAM,kBAAkB,GAAY;IACzC,IAAI,EAAE,sBAAsB;IAC5B,KAAK,EAAE,sBAAsB;IAC7B,WAAW,EACT,uTAAuT;IACzT,WAAW,EAAE;QACX,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC;QACxD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7C,QAAQ,EAAE,CAAC;aACR,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;YACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;YAChE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC7B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;YAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,wFAAwF,CAAC;SAClI,CAAC,CACH;aACA,GAAG,CAAC,CAAC,CAAC;KACV;IACD,OAAO,EAAE,CACP,IAIC,EACD,EAAE,EAAE,EAAE,EACN,EAAE;QACF,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAExD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,OAAO,GAA8C,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,MAAM,GAAG,CAAC,CAAC;QAEf,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;YAChC,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,4BAA4B,GAAG,sBAAsB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;YAEtG,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBAEpB,IAAI,OAAO,GAAG,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAEtC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;oBACvD,IAAI,IAAI,EAAE,CAAC;wBACT,OAAO,GAAG,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;wBACvC,IAAI,OAAO;4BAAE,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;oBACzE,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;wBAChB,MAAM,IAAI,CAAC,CAAC;wBACZ,SAAS;oBACX,CAAC;oBACD,OAAO,GAAG,aAAa,CAAC,EAAE,EAAE;wBAC1B,IAAI;wBACJ,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;wBAC3C,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;wBACtC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,YAAY;wBAChC,MAAM,EAAE,KAAK;qBACd,CAAC,CAAC;oBACH,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC3B,MAAM,IAAI,CAAC,CAAC;gBACd,CAAC;gBAED,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5E,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC,CAAC,CAAC;QACH,KAAK,EAAE,CAAC;QAER,0EAA0E;QAC1E,2DAA2D;QAC3D,2EAA2E;QAC3E,wEAAwE;QACxE,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACrE,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC,MAAM,CAAC;QAEV,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE;YAC3C,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,sBAAsB,CAAC;YACjE,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QAEH,uEAAuE;QACvE,6EAA6E;QAC7E,uEAAuE;QACvE,4EAA4E;QAC5E,4EAA4E;QAC5E,2EAA2E;QAC3E,oCAAoC;QACpC,MAAM,UAAU,GACd,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,4BAA4B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,qNAAqN;YACrQ,CAAC,CAAC,SAAS,CAAC;QAEhB,OAAO;YACL,UAAU,EAAE,SAAS;YACrB,MAAM;YACN,OAAO;YACP,OAAO;YACP,MAAM;YACN,IAAI;YACJ,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnD,CAAC;IACJ,CAAC;CACF,CAAC"}