@memoarchitect/tools 0.6.7 → 0.7.2

package/packages/tools/lib/model/methodology-resolver.d.ts

@@ -0,0 +1,115 @@
+import type { NativeMethodBinding, NativeMethodology, NativeRulePolicy, ScopeMode } from './native-project.js';
+import type { CompiledConstraint } from '../validator/constraint-eval.js';
+/** Severity as the ontology and policies spell it. */
+export type RuleSeverity = 'error' | 'warning' | 'info';
+/** How far a rule may be tailored, from the rule's own `tailoring` attribute. */
+export type RuleTailoring = 'invariant' | 'assurance' | 'methodology';
+/** One step in the chain that produced a rule's effective disposition. */
+export interface PolicyChainEntry {
+    /** Methodology usage name, or the binding's usage name for a project policy. */
+    source: string;
+    /** 'methodology' or 'project' — which authority applied it. */
+    level: 'methodology' | 'project';
+    policy: NativeRulePolicy;
+}
+/** A rule and everything that happened to it. */
+export interface EffectiveRule {
+    /** The rule as originally defined. */
+    sourceRuleId: string;
+    sourceRuleType: string;
+    /** The rule that actually evaluates; differs from the source when replaced. */
+    activeRuleId: string;
+    activeRuleType: string;
+    disposition: 'enabled' | 'disabled' | 'replaced';
+    /** Severity after any override. */
+    effectiveSeverity: RuleSeverity;
+    /** Severity as the ontology authored it. */
+    declaredSeverity: RuleSeverity;
+    tailoring: RuleTailoring;
+    /** Every policy that touched this rule, base-first. */
+    policyChain: PolicyChainEntry[];
+    /** Rationale and authority from the last policy that changed the rule. */
+    rationaleText?: string;
+    authority?: string;
+    approvalReference?: string;
+    /** Where the rule is declared. */
+    sourceFile?: string;
+}
+export interface RuleResolutionDiagnostic {
+    code: 'missing-target' | 'missing-replacement' | 'duplicate-rule-id' | 'invariant-protected' | 'replacement-without-target' | 'missing-rationale' | 'ambiguous-target'
+    /** Resolution itself threw. Reported so the UI shows why the set is empty. */
+     | 'resolution-failed';
+    message: string;
+    ruleId?: string;
+    policy?: string;
+    file?: string;
+}
+export interface MethodologyDiagnostic {
+    code: 'missing-base' | 'inheritance-cycle' | 'unavailable-module' | 'scope-mode-conflict';
+    message: string;
+    methodology?: string;
+}
+/** The methodology chain plus its merged selection. */
+export interface EffectiveMethodology {
+    /** Base first, selected methodology last. */
+    chain: NativeMethodology[];
+    scopeMode: ScopeMode;
+    includedLayers: string[];
+    includedModules: string[];
+    includedStandards: string[];
+    includedArtifactKinds: string[];
+    includedViewpoints: string[];
+    /** Policies in application order: base methodology first, project binding last. */
+    policyChain: PolicyChainEntry[];
+    diagnostics: MethodologyDiagnostic[];
+}
+/**
+ * Walk the methodology inheritance chain and merge its selection.
+ *
+ * Exactly one base per methodology, so the chain is a list. The resolver walks
+ * base-first and then applies the child, which is also the order policies are
+ * applied in: a child methodology may tailor what its base decided, and the
+ * project binding gets the last word.
+ */
+export declare function resolveEffectiveMethodology(binding: NativeMethodBinding | undefined, methodologies: Map<string, NativeMethodology>, availablePackages: ReadonlySet<string>): EffectiveMethodology;
+/** A rule as the constraint loader found it, plus the metadata policies need. */
+export interface RuleCandidate {
+    /** Stable rule ID, e.g. "CR-MED-040". Durable identity for audit records. */
+    id: string;
+    /** The `constraint def` name, which is what a policy references. */
+    typeName: string;
+    severity: RuleSeverity;
+    tailoring: RuleTailoring;
+    file?: string;
+    constraint?: CompiledConstraint;
+}
+/**
+ * Map compiled native constraints onto rule candidates.
+ *
+ * One place, because both `memo rules` and the dev server need it and they got
+ * the field names wrong independently — `collectNativeConstraints` returns
+ * `id`/`typeName`/`sourceFile`, not `ruleId`/`ruleType`/`file`. A rule whose
+ * identity does not survive this mapping resolves as `undefined` and is
+ * unauditable, which is the opposite of what section 10.4 asks for.
+ *
+ * A constraint with no `typeName` is skipped: a policy references a rule by its
+ * `constraint def` name, so a rule without one cannot be tailored and does not
+ * belong in a set whose purpose is recording tailoring decisions.
+ */
+export declare function ruleCandidatesFromConstraints(constraints: readonly CompiledConstraint[]): RuleCandidate[];
+export interface EffectiveRuleSet {
+    rules: EffectiveRule[];
+    diagnostics: RuleResolutionDiagnostic[];
+    /** The constraints that should actually be evaluated, in rule-ID order. */
+    activeConstraints: CompiledConstraint[];
+}
+/**
+ * Produce the effective rule set.
+ *
+ * Steps 1-3 of section 10.3 (collecting rules from ontology, extension, and
+ * methodology packages) happen upstream: `collectNativeConstraints` walks the
+ * resolved closure, which is exactly the set of packages those steps describe.
+ * This function is steps 4-9 — apply policies base-first, validate, and emit.
+ */
+export declare function resolveEffectiveRules(candidates: RuleCandidate[], policyChain: PolicyChainEntry[]): EffectiveRuleSet;
+//# sourceMappingURL=methodology-resolver.d.ts.map

package/packages/tools/lib/model/methodology-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"methodology-resolver.d.ts","sourceRoot":"","sources":["../../src/model/methodology-resolver.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EACR,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,SAAS,EACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,sDAAsD;AACtD,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAExD,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAEtE,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC7B,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC;IACjC,MAAM,EAAE,gBAAgB,CAAC;CAC5B;AAED,iDAAiD;AACjD,MAAM,WAAW,aAAa;IAC1B,sCAAsC;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IACjD,mCAAmC;IACnC,iBAAiB,EAAE,YAAY,CAAC;IAChC,4CAA4C;IAC5C,gBAAgB,EAAE,YAAY,CAAC;IAC/B,SAAS,EAAE,aAAa,CAAC;IACzB,uDAAuD;IACvD,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,kCAAkC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,wBAAwB;IACrC,IAAI,EACE,gBAAgB,GAChB,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,4BAA4B,GAC5B,mBAAmB,GACnB,kBAAkB;IACpB,8EAA8E;OAC5E,mBAAmB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,cAAc,GAAG,mBAAmB,GAAG,oBAAoB,GAAG,qBAAqB,CAAC;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,uDAAuD;AACvD,MAAM,WAAW,oBAAoB;IACjC,6CAA6C;IAC7C,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,mFAAmF;IACnF,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,WAAW,EAAE,qBAAqB,EAAE,CAAC;CACxC;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACvC,OAAO,EAAE,mBAAmB,GAAG,SAAS,EACxC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAC7C,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,GACvC,oBAAoB,CA0GtB;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC1B,6EAA6E;IAC7E,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,YAAY,CAAC;IACvB,SAAS,EAAE,aAAa,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,kBAAkB,CAAC;CACnC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,6BAA6B,CACzC,WAAW,EAAE,SAAS,kBAAkB,EAAE,GAC3C,aAAa,EAAE,CAcjB;AAED,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,WAAW,EAAE,wBAAwB,EAAE,CAAC;IACxC,2EAA2E;IAC3E,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;CAC3C;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,UAAU,EAAE,aAAa,EAAE,EAC3B,WAAW,EAAE,gBAAgB,EAAE,GAChC,gBAAgB,CAwKlB"}

package/packages/tools/lib/model/methodology-resolver.js

@@ -0,0 +1,317 @@
+// ─── Effective Methodology and Effective Rule Resolution ──────────────────────
+//
+// What a project's methodology actually amounts to, and which rules are live.
+//
+// Both resolvers are deterministic: the same source produces the same result in
+// the same order, and every entry says where it came from. There is no
+// "last duplicate wins" anywhere — a duplicate rule ID is an error, and a rule
+// is replaced only through an explicit `RulePolicy`.
+//
+// Under the section 4.1 Option P verdict this layer governs rule *identity and
+// disposition*: which rules are in the effective set, at what severity, under
+// whose authority. Whether a rule's predicate fires is a separate question that
+// `predicateExpression` still answers, and nothing here should be reported as
+// evidence that a model was validated.
+//
+// Design reference: sections 9.1-9.3, 10.1-10.4.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Walk the methodology inheritance chain and merge its selection.
+ *
+ * Exactly one base per methodology, so the chain is a list. The resolver walks
+ * base-first and then applies the child, which is also the order policies are
+ * applied in: a child methodology may tailor what its base decided, and the
+ * project binding gets the last word.
+ */
+export function resolveEffectiveMethodology(binding, methodologies, availablePackages) {
+    const diagnostics = [];
+    const chain = [];
+    let current = binding?.selectedMethodologyName
+        ? methodologies.get(binding.selectedMethodologyName)
+        : undefined;
+    const seen = new Set();
+    while (current) {
+        if (seen.has(current.usageName)) {
+            diagnostics.push({
+                code: 'inheritance-cycle',
+                message: `Methodology inheritance cycles back to "${current.usageName}". A methodology chain must `
+                    + `terminate; a cycle has no base to resolve first.`,
+                methodology: current.usageName,
+            });
+            break;
+        }
+        seen.add(current.usageName);
+        chain.unshift(current);
+        if (!current.baseMethodologyName)
+            break;
+        const base = methodologies.get(current.baseMethodologyName);
+        if (!base) {
+            diagnostics.push({
+                code: 'missing-base',
+                message: `Methodology "${current.usageName}" specializes "${current.baseMethodologyName}", which no `
+                    + `resolved package declares.`,
+                methodology: current.usageName,
+            });
+            break;
+        }
+        current = base;
+    }
+    // The selected methodology decides the mode; a base cannot widen a child.
+    const selected = chain[chain.length - 1];
+    const scopeMode = binding?.scopeMode === 'allAvailable'
+        ? 'allAvailable'
+        : selected?.scopeMode ?? 'explicit';
+    const merge = (pick) => {
+        const out = [];
+        for (const m of chain)
+            for (const v of pick(m))
+                if (!out.includes(v))
+                    out.push(v);
+        return out;
+    };
+    const includedModules = merge(m => m.includedModules);
+    for (const extra of binding?.includedModules ?? []) {
+        if (!includedModules.includes(extra))
+            includedModules.push(extra);
+    }
+    // A module the methodology names but the import graph never resolved is a
+    // hard diagnostic: a string naming an unavailable package is not a selection.
+    for (const m of includedModules) {
+        if (!availablePackages.has(m)) {
+            diagnostics.push({
+                code: 'unavailable-module',
+                message: `Module "${m}" is selected but is not in the project's import closure. Import the package, `
+                    + `or remove it from the selection — a name alone does not make a module available.`,
+            });
+        }
+    }
+    for (const m of chain) {
+        if (m.scopeMode === 'allAvailable') {
+            const listed = [
+                ...m.includedLayers, ...m.includedModules, ...m.includedStandards,
+                ...m.includedArtifactKinds, ...m.includedViewpoints,
+            ];
+            if (listed.length > 0) {
+                diagnostics.push({
+                    code: 'scope-mode-conflict',
+                    message: `Methodology "${m.usageName}" sets scopeMode = allAvailable but also authors inclusion `
+                        + `entries. Under allAvailable the lists must be empty; otherwise the methodology states `
+                        + `its scope twice and the resolver has to pick.`,
+                    methodology: m.usageName,
+                });
+            }
+        }
+    }
+    const policyChain = [];
+    for (const m of chain) {
+        for (const p of m.rulePolicies) {
+            policyChain.push({ source: m.usageName, level: 'methodology', policy: p });
+        }
+    }
+    for (const p of binding?.rulePolicies ?? []) {
+        policyChain.push({ source: binding.usageName, level: 'project', policy: p });
+    }
+    return {
+        chain,
+        scopeMode,
+        includedLayers: merge(m => m.includedLayers),
+        includedModules,
+        includedStandards: merge(m => m.includedStandards),
+        includedArtifactKinds: merge(m => m.includedArtifactKinds),
+        includedViewpoints: merge(m => m.includedViewpoints),
+        policyChain,
+        diagnostics,
+    };
+}
+/**
+ * Map compiled native constraints onto rule candidates.
+ *
+ * One place, because both `memo rules` and the dev server need it and they got
+ * the field names wrong independently — `collectNativeConstraints` returns
+ * `id`/`typeName`/`sourceFile`, not `ruleId`/`ruleType`/`file`. A rule whose
+ * identity does not survive this mapping resolves as `undefined` and is
+ * unauditable, which is the opposite of what section 10.4 asks for.
+ *
+ * A constraint with no `typeName` is skipped: a policy references a rule by its
+ * `constraint def` name, so a rule without one cannot be tailored and does not
+ * belong in a set whose purpose is recording tailoring decisions.
+ */
+export function ruleCandidatesFromConstraints(constraints) {
+    const candidates = [];
+    for (const constraint of constraints) {
+        if (!constraint.typeName)
+            continue;
+        candidates.push({
+            id: constraint.id,
+            typeName: constraint.typeName,
+            severity: constraint.severity,
+            tailoring: constraint.tailoring ?? 'assurance',
+            file: constraint.sourceFile,
+            constraint,
+        });
+    }
+    return candidates;
+}
+/**
+ * Produce the effective rule set.
+ *
+ * Steps 1-3 of section 10.3 (collecting rules from ontology, extension, and
+ * methodology packages) happen upstream: `collectNativeConstraints` walks the
+ * resolved closure, which is exactly the set of packages those steps describe.
+ * This function is steps 4-9 — apply policies base-first, validate, and emit.
+ */
+export function resolveEffectiveRules(candidates, policyChain) {
+    const diagnostics = [];
+    // Step 8, first half: IDs must be unique and types must be unambiguous.
+    const byId = new Map();
+    const byType = new Map();
+    for (const c of candidates) {
+        const clash = byId.get(c.id);
+        if (clash && clash.typeName !== c.typeName) {
+            diagnostics.push({
+                code: 'duplicate-rule-id',
+                message: `Rule ID ${c.id} is declared by both ${clash.typeName} and ${c.typeName}. Rule IDs are audit `
+                    + `identity; two rules sharing one leaves every violation ambiguous.`,
+                ruleId: c.id,
+                file: c.file,
+            });
+            continue;
+        }
+        byId.set(c.id, c);
+        const list = byType.get(c.typeName) ?? [];
+        list.push(c);
+        byType.set(c.typeName, list);
+    }
+    const state = new Map();
+    for (const c of byId.values()) {
+        state.set(c.typeName, {
+            sourceRuleId: c.id,
+            sourceRuleType: c.typeName,
+            activeRuleId: c.id,
+            activeRuleType: c.typeName,
+            disposition: 'enabled',
+            effectiveSeverity: c.severity,
+            declaredSeverity: c.severity,
+            tailoring: c.tailoring,
+            policyChain: [],
+            sourceFile: c.file,
+        });
+    }
+    for (const entry of policyChain) {
+        const { policy } = entry;
+        const targetType = policy.targetRuleType;
+        if (!targetType) {
+            diagnostics.push({
+                code: 'missing-target',
+                message: `Policy "${policy.usageName}" names no targetRule. A policy with no target changes nothing `
+                    + `and hides that it changes nothing.`,
+                policy: policy.usageName,
+                file: policy.sourceFile,
+            });
+            continue;
+        }
+        const rule = state.get(targetType);
+        if (!rule) {
+            diagnostics.push({
+                code: 'missing-target',
+                message: `Policy "${policy.usageName}" targets rule "${targetType}", which is not in the resolved rule `
+                    + `set. Import the package declaring it, or remove the policy.`,
+                policy: policy.usageName,
+                file: policy.sourceFile,
+            });
+            continue;
+        }
+        const ambiguous = byType.get(targetType);
+        if (ambiguous && ambiguous.length > 1) {
+            diagnostics.push({
+                code: 'ambiguous-target',
+                message: `Policy "${policy.usageName}" targets "${targetType}", which resolves to ${ambiguous.length} `
+                    + `declarations. A reference must name exactly one rule.`,
+                policy: policy.usageName,
+                ruleId: rule.sourceRuleId,
+                file: policy.sourceFile,
+            });
+            continue;
+        }
+        const disposition = policy.disposition ?? 'enabled';
+        // Step 8: an invariant holds the ontology's own consistency. It changes
+        // in an ontology release, not in a methodology.
+        if (rule.tailoring === 'invariant' && disposition !== 'enabled') {
+            diagnostics.push({
+                code: 'invariant-protected',
+                message: `Policy "${policy.usageName}" tries to ${disposition === 'disabled' ? 'disable' : 'replace'} `
+                    + `${rule.sourceRuleId} (${targetType}), which is classified invariant. Invariant rules hold `
+                    + `the ontology's internal consistency and can only change in an ontology release.`,
+                ruleId: rule.sourceRuleId,
+                policy: policy.usageName,
+                file: policy.sourceFile,
+            });
+            continue;
+        }
+        if (disposition !== 'enabled' && !policy.rationaleText) {
+            diagnostics.push({
+                code: 'missing-rationale',
+                message: `Policy "${policy.usageName}" ${disposition}s ${rule.sourceRuleId} without a rationale. `
+                    + `A tailoring decision that records no reason cannot be audited.`,
+                ruleId: rule.sourceRuleId,
+                policy: policy.usageName,
+                file: policy.sourceFile,
+            });
+        }
+        if (disposition === 'replaced') {
+            const replacementType = policy.replacementRuleType;
+            if (!replacementType) {
+                diagnostics.push({
+                    code: 'replacement-without-target',
+                    message: `Policy "${policy.usageName}" sets disposition = replaced but names no replacementRule. `
+                        + `A replacement must point at another native constraint.`,
+                    ruleId: rule.sourceRuleId,
+                    policy: policy.usageName,
+                    file: policy.sourceFile,
+                });
+                continue;
+            }
+            const replacement = state.get(replacementType);
+            if (!replacement) {
+                diagnostics.push({
+                    code: 'missing-replacement',
+                    message: `Policy "${policy.usageName}" replaces ${rule.sourceRuleId} with "${replacementType}", `
+                        + `which is not in the resolved rule set.`,
+                    ruleId: rule.sourceRuleId,
+                    policy: policy.usageName,
+                    file: policy.sourceFile,
+                });
+                continue;
+            }
+            rule.activeRuleType = replacementType;
+            rule.activeRuleId = replacement.sourceRuleId;
+        }
+        rule.disposition = disposition;
+        if (policy.severityOverride)
+            rule.effectiveSeverity = policy.severityOverride;
+        rule.policyChain.push(entry);
+        if (policy.rationaleText)
+            rule.rationaleText = policy.rationaleText;
+        if (policy.authority)
+            rule.authority = policy.authority;
+        if (policy.approvalReference)
+            rule.approvalReference = policy.approvalReference;
+    }
+    // A replaced rule's replacement should not also evaluate in its own right;
+    // it is the substitute, not an addition.
+    const replacementTypes = new Set([...state.values()].filter(r => r.disposition === 'replaced').map(r => r.activeRuleType));
+    const rules = [...state.values()].sort((a, b) => a.sourceRuleId.localeCompare(b.sourceRuleId));
+    const activeConstraints = [];
+    for (const rule of rules) {
+        if (rule.disposition === 'disabled')
+            continue;
+        if (rule.disposition === 'enabled' && replacementTypes.has(rule.sourceRuleType))
+            continue;
+        const candidate = byType.get(rule.activeRuleType)?.[0];
+        if (!candidate?.constraint)
+            continue;
+        activeConstraints.push({ ...candidate.constraint, severity: rule.effectiveSeverity });
+    }
+    return { rules, diagnostics, activeConstraints };
+}
+//# sourceMappingURL=methodology-resolver.js.map

package/packages/tools/lib/model/methodology-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"methodology-resolver.js","sourceRoot":"","sources":["../../src/model/methodology-resolver.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,8EAA8E;AAC9E,EAAE;AACF,gFAAgF;AAChF,uEAAuE;AACvE,+EAA+E;AAC/E,qDAAqD;AACrD,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,gFAAgF;AAChF,8EAA8E;AAC9E,uCAAuC;AACvC,EAAE;AACF,iDAAiD;AACjD,gFAAgF;AAuFhF;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACvC,OAAwC,EACxC,aAA6C,EAC7C,iBAAsC;IAEtC,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,MAAM,KAAK,GAAwB,EAAE,CAAC;IAEtC,IAAI,OAAO,GAAG,OAAO,EAAE,uBAAuB;QAC1C,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,OAAO,EAAE,CAAC;QACb,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EACH,2CAA2C,OAAO,CAAC,SAAS,8BAA8B;sBACxF,kDAAkD;gBACxD,WAAW,EAAE,OAAO,CAAC,SAAS;aACjC,CAAC,CAAC;YACH,MAAM;QACV,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC5B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvB,IAAI,CAAC,OAAO,CAAC,mBAAmB;YAAE,MAAM;QACxC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,cAAc;gBACpB,OAAO,EACH,gBAAgB,OAAO,CAAC,SAAS,kBAAkB,OAAO,CAAC,mBAAmB,cAAc;sBAC1F,4BAA4B;gBAClC,WAAW,EAAE,OAAO,CAAC,SAAS;aACjC,CAAC,CAAC;YACH,MAAM;QACV,CAAC;QACD,OAAO,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,MAAM,SAAS,GAAc,OAAO,EAAE,SAAS,KAAK,cAAc;QAC9D,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,QAAQ,EAAE,SAAS,IAAI,UAAU,CAAC;IAExC,MAAM,KAAK,GAAG,CAAC,IAAwC,EAAY,EAAE;QACjE,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClF,OAAO,GAAG,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IACtD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACjD,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,0EAA0E;IAC1E,8EAA8E;IAC9E,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAC9B,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EACH,WAAW,CAAC,gFAAgF;sBAC1F,kFAAkF;aAC3F,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG;gBACX,GAAG,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,iBAAiB;gBACjE,GAAG,CAAC,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAC,kBAAkB;aACtD,CAAC;YACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EACH,gBAAgB,CAAC,CAAC,SAAS,6DAA6D;0BACtF,wFAAwF;0BACxF,+CAA+C;oBACrD,WAAW,EAAE,CAAC,CAAC,SAAS;iBAC3B,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,YAAY,IAAI,EAAE,EAAE,CAAC;QAC1C,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,OAAO;QACH,KAAK;QACL,SAAS;QACT,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;QAC5C,eAAe;QACf,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAClD,qBAAqB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC;QAC1D,kBAAkB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC;QACpD,WAAW;QACX,WAAW;KACd,CAAC;AACN,CAAC;AAcD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CACzC,WAA0C;IAE1C,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,QAAQ;YAAE,SAAS;QACnC,UAAU,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,SAAS,EAAE,UAAU,CAAC,SAAS,IAAI,WAAW;YAC9C,IAAI,EAAE,UAAU,CAAC,UAAU;YAC3B,UAAU;SACb,CAAC,CAAC;IACP,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AASD;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACjC,UAA2B,EAC3B,WAA+B;IAE/B,MAAM,WAAW,GAA+B,EAAE,CAAC;IAEnD,wEAAwE;IACxE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EACH,WAAW,CAAC,CAAC,EAAE,wBAAwB,KAAK,CAAC,QAAQ,QAAQ,CAAC,CAAC,QAAQ,uBAAuB;sBAC5F,mEAAmE;gBACzE,MAAM,EAAE,CAAC,CAAC,EAAE;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;aACf,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAClB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE;YAClB,YAAY,EAAE,CAAC,CAAC,EAAE;YAClB,cAAc,EAAE,CAAC,CAAC,QAAQ;YAC1B,YAAY,EAAE,CAAC,CAAC,EAAE;YAClB,cAAc,EAAE,CAAC,CAAC,QAAQ;YAC1B,WAAW,EAAE,SAAS;YACtB,iBAAiB,EAAE,CAAC,CAAC,QAAQ;YAC7B,gBAAgB,EAAE,CAAC,CAAC,QAAQ;YAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,CAAC,CAAC,IAAI;SACrB,CAAC,CAAC;IACP,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACzB,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC;QACzC,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,iEAAiE;sBAC1F,oCAAoC;gBAC1C,MAAM,EAAE,MAAM,CAAC,SAAS;gBACxB,IAAI,EAAE,MAAM,CAAC,UAAU;aAC1B,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,mBAAmB,UAAU,uCAAuC;sBAC7F,6DAA6D;gBACnE,MAAM,EAAE,MAAM,CAAC,SAAS;gBACxB,IAAI,EAAE,MAAM,CAAC,UAAU;aAC1B,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzC,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,cAAc,UAAU,wBAAwB,SAAS,CAAC,MAAM,GAAG;sBAC5F,uDAAuD;gBAC7D,MAAM,EAAE,MAAM,CAAC,SAAS;gBACxB,MAAM,EAAE,IAAI,CAAC,YAAY;gBACzB,IAAI,EAAE,MAAM,CAAC,UAAU;aAC1B,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC;QAEpD,wEAAwE;QACxE,gDAAgD;QAChD,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9D,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,cAAc,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG;sBAC5F,GAAG,IAAI,CAAC,YAAY,KAAK,UAAU,yDAAyD;sBAC5F,iFAAiF;gBACvF,MAAM,EAAE,IAAI,CAAC,YAAY;gBACzB,MAAM,EAAE,MAAM,CAAC,SAAS;gBACxB,IAAI,EAAE,MAAM,CAAC,UAAU;aAC1B,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QAED,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;YACrD,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,KAAK,WAAW,KAAK,IAAI,CAAC,YAAY,wBAAwB;sBACvF,gEAAgE;gBACtE,MAAM,EAAE,IAAI,CAAC,YAAY;gBACzB,MAAM,EAAE,MAAM,CAAC,SAAS;gBACxB,IAAI,EAAE,MAAM,CAAC,UAAU;aAC1B,CAAC,CAAC;QACP,CAAC;QAED,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,eAAe,GAAG,MAAM,CAAC,mBAAmB,CAAC;YACnD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,8DAA8D;0BACvF,wDAAwD;oBAC9D,MAAM,EAAE,IAAI,CAAC,YAAY;oBACzB,MAAM,EAAE,MAAM,CAAC,SAAS;oBACxB,IAAI,EAAE,MAAM,CAAC,UAAU;iBAC1B,CAAC,CAAC;gBACH,SAAS;YACb,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YAC/C,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EACH,WAAW,MAAM,CAAC,SAAS,cAAc,IAAI,CAAC,YAAY,UAAU,eAAe,KAAK;0BACtF,wCAAwC;oBAC9C,MAAM,EAAE,IAAI,CAAC,YAAY;oBACzB,MAAM,EAAE,MAAM,CAAC,SAAS;oBACxB,IAAI,EAAE,MAAM,CAAC,UAAU;iBAC1B,CAAC,CAAC;gBACH,SAAS;YACb,CAAC;YACD,IAAI,CAAC,cAAc,GAAG,eAAe,CAAC;YACtC,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,MAAM,CAAC,gBAAgB;YAAE,IAAI,CAAC,iBAAiB,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAC9E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,MAAM,CAAC,aAAa;YAAE,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC;QACpE,IAAI,MAAM,CAAC,SAAS;YAAE,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QACxD,IAAI,MAAM,CAAC,iBAAiB;YAAE,IAAI,CAAC,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACpF,CAAC;IAED,2EAA2E;IAC3E,yCAAyC;IACzC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC5B,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAC3F,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAE/F,MAAM,iBAAiB,GAAyB,EAAE,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,WAAW,KAAK,UAAU;YAAE,SAAS;QAC9C,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC;YAAE,SAAS;QAC1F,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,SAAS,EAAE,UAAU;YAAE,SAAS;QACrC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;AACrD,CAAC"}

package/packages/tools/lib/model/native-project.d.ts

@@ -0,0 +1,130 @@
+import type { ParsedDocument } from './parser-utils.js';
+import type { SemanticOrigin } from './source-provenance.js';
+/** The conventional native entrypoint, relative to the project root. */
+export declare const PROJECT_ENTRYPOINT: string;
+/** Where a resolvable SysML package's source lives. */
+export interface LibraryRoot {
+    /** Absolute package directory (the one carrying the descriptor). */
+    dir: string;
+    /** Absolute directory holding the package's .sysml sources. */
+    sysmlDir: string;
+    packageName: string;
+    packageVersion?: string;
+}
+/** One SysML package the resolver found, and where it came from. */
+export interface ResolvedPackage {
+    /** Declared SysML package name, e.g. "memo_methodology_core". */
+    qualifiedName: string;
+    /** Files declaring it. A package may be split across files. */
+    files: string[];
+    /** The library root that supplied it, or undefined for project-owned source. */
+    root?: LibraryRoot;
+    origin: SemanticOrigin;
+    /** Shortest import distance from the project entrypoint; project source is 0. */
+    importDepth: number;
+    /** Packages that import this one. */
+    importedBy: string[];
+}
+/** The project's method binding, read from SysML. */
+export interface NativeMethodBinding {
+    /** Usage name, e.g. "uiScreenRegionsBinding". */
+    usageName: string;
+    /** `id` attribute, when authored. */
+    bindingId?: string;
+    projectName?: string;
+    /** Name the `selectedMethodology` reference resolves to. */
+    selectedMethodologyName?: string;
+    scopeMode?: ScopeMode;
+    includedModules: string[];
+    rulePolicies: NativeRulePolicy[];
+    sourceFile: string;
+    packageQualifiedName?: string;
+}
+export type ScopeMode = 'allAvailable' | 'explicit';
+/** A `RulePolicy` usage, read from SysML. */
+export interface NativeRulePolicy {
+    usageName: string;
+    /** Type name of the referenced `constraint def`, from `ref :>> targetRule : X`. */
+    targetRuleType?: string;
+    replacementRuleType?: string;
+    disposition?: 'enabled' | 'disabled' | 'replaced';
+    severityOverride?: 'error' | 'warning' | 'info';
+    rationaleText?: string;
+    authority?: string;
+    approvalReference?: string;
+    approvedBy?: string;
+    approvedOn?: string;
+    sourceFile: string;
+}
+/** A `MethodologyDefinition` usage, read from SysML. */
+export interface NativeMethodology {
+    usageName: string;
+    methodologyId?: string;
+    displayName?: string;
+    version?: string;
+    /** Name the `baseMethodology` reference resolves to, when there is one. */
+    baseMethodologyName?: string;
+    scopeMode?: ScopeMode;
+    includedLayers: string[];
+    includedModules: string[];
+    includedStandards: string[];
+    includedArtifactKinds: string[];
+    includedViewpoints: string[];
+    rulePolicies: NativeRulePolicy[];
+    sourceFile: string;
+    packageQualifiedName?: string;
+}
+export interface NativeDiagnostic {
+    code: 'no-entrypoint' | 'no-binding' | 'multiple-bindings' | 'unresolved-methodology' | 'unresolved-import' | 'unresolved-module' | 'scope-mode-conflict' | 'settings-graph-mismatch';
+    message: string;
+    file?: string;
+}
+export interface NativeProjectResolution {
+    projectRoot: string;
+    entrypoint?: string;
+    binding?: NativeMethodBinding;
+    /** Methodologies visible anywhere in the resolved closure, by usage name. */
+    methodologies: Map<string, NativeMethodology>;
+    /** Packages reachable from the project entrypoint, by qualified name. */
+    closure: Map<string, ResolvedPackage>;
+    /** Library roots that actually contributed a package to the closure. */
+    selectedRoots: LibraryRoot[];
+    /** Roots a locator offered that no import reached. */
+    unusedRoots: LibraryRoot[];
+    /** Every parsed document, project and reusable alike. */
+    documents: ParsedDocument[];
+    /**
+     * File → the SysML package it declares, for every parsed file.
+     *
+     * Wider than `closure`, deliberately: a caller asking "which package owns
+     * this rule?" needs an answer for every file that was loaded, and whether
+     * that package is in scope is a separate question with its own answer.
+     */
+    filePackages: Map<string, string>;
+    diagnostics: NativeDiagnostic[];
+}
+/**
+ * Find the project root by walking up for the native entrypoint.
+ *
+ * The marker is `model/catalog/project.sysml`, not a YAML file. A project is
+ * identified by the SysML that defines it, so a workspace stays a workspace
+ * after every application setting is deleted.
+ */
+export declare function findProjectRoot(startDir: string): string | undefined;
+/**
+ * Collect the library roots a project could resolve packages from.
+ *
+ * This is deliberately generous: it lists what is *available*, and the import
+ * closure decides what is *selected*. A root listed here and never imported
+ * contributes nothing to the model.
+ */
+export declare function discoverLibraryRoots(projectRoot: string): LibraryRoot[];
+/**
+ * Resolve a project from its native SysML alone.
+ *
+ * The closure walk starts at the entrypoint's package and follows imports.
+ * Anything it does not reach is not part of the model, however many manifests
+ * point at it.
+ */
+export declare function resolveNativeProject(projectRoot: string): Promise<NativeProjectResolution>;
+//# sourceMappingURL=native-project.d.ts.map

package/packages/tools/lib/model/native-project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-project.d.ts","sourceRoot":"","sources":["../../src/model/native-project.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAIxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAoB7D,wEAAwE;AACxE,eAAO,MAAM,kBAAkB,QAA4C,CAAC;AAE5E,uDAAuD;AACvD,MAAM,WAAW,WAAW;IACxB,oEAAoE;IACpE,GAAG,EAAE,MAAM,CAAC;IACZ,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC5B,iEAAiE;IACjE,aAAa,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gFAAgF;IAChF,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,iFAAiF;IACjF,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,UAAU,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,qDAAqD;AACrD,MAAM,WAAW,mBAAmB;IAChC,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,qCAAqC;IACrC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,MAAM,SAAS,GAAG,cAAc,GAAG,UAAU,CAAC;AAEpD,6CAA6C;AAC7C,MAAM,WAAW,gBAAgB;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IAClD,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,wDAAwD;AACxD,MAAM,WAAW,iBAAiB;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2EAA2E;IAC3E,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,gBAAgB;IAC7B,IAAI,EACE,eAAe,GACf,YAAY,GACZ,mBAAmB,GACnB,wBAAwB,GACxB,mBAAmB,GACnB,mBAAmB,GACnB,qBAAqB,GACrB,yBAAyB,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,mBAAmB,CAAC;IAC9B,6EAA6E;IAC7E,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC9C,yEAAyE;IACzE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACtC,wEAAwE;IACxE,aAAa,EAAE,WAAW,EAAE,CAAC;IAC7B,sDAAsD;IACtD,WAAW,EAAE,WAAW,EAAE,CAAC;IAC3B,yDAAyD;IACzD,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B;;;;;;OAMG;IACH,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,WAAW,EAAE,gBAAgB,EAAE,CAAC;CACnC;AAID;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQpE;AAID;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,MAAM,GAAG,WAAW,EAAE,CAgEvE;AAiQD;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAmKhG"}