@chrisdudek/yg 5.0.0-alpha.3 → 5.0.0-alpha.5

package/dist/structure.d.ts

@@ -207,11 +207,6 @@ interface ArchitectureDef {
 }
 interface QualityConfig {
     max_direct_relations: number;
-    /** Per-node character budget. A node whose mapped source files plus the
-     *  reference files of its effective aspects exceed this total is an
-     *  `oversized-node` error. Default 40000. Binary files do not count; a node
-     *  may opt out via `sizeExempt`. */
-    max_node_chars?: number;
 }
 type RelationType = 'uses' | 'calls' | 'extends' | 'implements' | 'emits' | 'listens';
 /** Port on a target node — consumers must satisfy port's aspects */
@@ -234,13 +229,13 @@ interface LlmConfig {
     consensus: number;
     /** CLI providers: subprocess timeout in ms. Default: 120_000. */
     timeout?: number;
-    /** Optional caps on reference files for aspects resolving to this tier. */
-    references?: {
-        /** Max bytes per single reference file. Default 65536 (64 KiB). */
-        max_bytes_per_file?: number;
-        /** Max sum of reference bytes per aspect. Default 262144 (256 KiB). */
-        max_total_bytes_per_aspect?: number;
-    };
+    /**
+     * Optional per-tier cap on assembled reviewer-prompt length in characters.
+     * Absent = unlimited. This is a GATE checked deterministically before the LLM
+     * call — it never participates in verdict identity or hash computation (excluded
+     * from canonicalTierJson like api_key and timeout).
+     */
+    max_prompt_chars?: number;
 }
 interface NodeMeta {
     name: string;
@@ -255,12 +250,6 @@ interface NodeMeta {
     relations?: Relation[];
     /** Flat list of file/directory paths relative to repo root */
     mapping?: string[];
-    /** Documented opt-out from the per-node character budget (`oversized-node`).
-     *  Use ONLY for nodes mapping an unsplittable generated or binary artifact
-     *  (lockfile, append-only changelog, image). Requires a justification. */
-    sizeExempt?: {
-        reason: string;
-    };
 }
 interface Relation {
     target: string;
@@ -305,6 +294,11 @@ interface AspectReviewerSpec {
 type AspectStatus = 'draft' | 'advisory' | 'enforced';
 /** Propagation modifier on implies edges. */
 type StatusInherit = 'strictest' | 'own-default';
+/** Review scope of an aspect: whole-node or per-file, with an optional file filter. */
+interface ScopeDef {
+    per: 'node' | 'file';
+    files?: FileWhenPredicate;
+}
 interface AspectDef {
     name: string;
     id: string;
@@ -327,6 +321,15 @@ interface AspectDef {
     }>;
     /** Aspect-level default status. Absent → 'enforced'. Attach sites may override per the bump rule: bump up OK, downgrade is a validator error. */
     status?: AspectStatus;
+    /**
+     * Review scope: controls review granularity and the subject-file set.
+     *   per: node (default) — one review over all subject files.
+     *   per: file — one review per subject file.
+     *   files: optional FileWhenPredicate filter; subject set = mapped files ∩ filter.
+     * Absent → undefined (semantically equivalent to { per: 'node' }).
+     * Forbidden on aggregate aspects (no rule source to scope).
+     */
+    scope?: ScopeDef;
 }
 interface FlowDef {
     /** Directory name under flows/, e.g. "checkout-flow" */
@@ -406,11 +409,30 @@ interface RunStructureAspectParams {
     graph: Graph;
     projectRoot: string;
     parseCache?: ParseCache;
+    /**
+     * Subject-scope override for a `per: file` deterministic pair (spec §1, B2
+     * contract #8). When present, it overrides BOTH `ctx.files` (the check sees
+     * only these subject files) AND the observation-EXCLUSION set (a read of any
+     * OTHER node file folds as a recorded `read:` observation, since it is no
+     * longer hashed as a subject input). Repo-relative POSIX paths.
+     *
+     * `ctx.node.files` and the allow-set stay NODE-scoped regardless — the check
+     * may still reach the rest of the node, but those reaches become observations.
+     *
+     * Absent → byte-identical legacy behavior (the whole node mapping is both the
+     * subject set and the exclusion set; `per: node` and `yg aspect-test` paths).
+     */
+    subjectScope?: string[];
 }
 interface RunStructureAspectResult {
     violations: Violation[];
     touchedFiles: string[];
     succeeded?: boolean;
+    /** Sorted [observationKey, observationHash] pairs recorded during this run. */
+    observations: Array<[string, string]>;
+    /** True when the same path was observed with different content during the run
+     *  (file changed mid-run) — a tainted result must never be cached. */
+    observationsTainted: boolean;
 }
 declare class StructureRunnerError extends Error {
     readonly code: string;