@ds-labs/prose-angular 0.1.1 → 0.4.0

package/README.md

@@ -11,6 +11,10 @@ edit mode.
 <ds-odrl-prose [json]>  ->  ProseHandle (@ds-labs/prose-wasm)  ->  <OdrlProse> (prose-yew)
 ```
 
+## Documentation and demo
+
+The [Angular docs](https://ds-labs-org.github.io/ds-prose-rs/angular/) cover the interface, styling, validation and the CSS hooks. The [Angular demo](https://ds-labs-org.github.io/ds-prose-rs/demo-angular/) runs the component with `strict`, `profile` and `validationChange`.
+
 ## Install
 
 ```bash
@@ -51,7 +55,17 @@ export class PolicyComponent {
 |---|---|---|
 | `json` | input, required | the ODRL policy as JSON-LD text |
 | `articleClass` | input | extra class(es) for the rendered `<article class="ds-prose">` |
+| `profile` | input | the ODRL profile the prose is worded with, as JSON-LD or Turtle text (`null` or blank: none) |
+| `profiles` | input | several profiles, as text each; a list wins over `profile` (an empty list clears them) |
+| `strict` | input | validate with a closed vocabulary: ODRL plus the loaded profiles (default `false`) |
+| `validation` | input | the full `ValidateOptions`; takes precedence over `strict` |
+| `showViolations` | input | also show the findings and the verdict under the prose (needs `strict` or `validation`) |
+| `validationChange` | output | emits the `ValidationReport` each time its verdict or findings change |
+| `validationError` | output | emits the error when `validation` is not readable options; the previous options stay |
+| `report` | signal | the latest `ValidationReport`, or `null` while validation is off |
 | `loadFailed` | output | emits the error when the wasm cannot be loaded |
+| `profileLoaded` | output | emits a `ProfileSummary` (`iri`, `title`, `version`, `terms`, `counts`, `warnings`) for each profile loaded |
+| `profileError` | output | emits the error when `profile` is not a readable profile; the previous profile stays |
 | `PROSE_WASM_URL` | injection token | where the browser fetches the wasm from, relative to the page's base href (default `prose_wasm_bg.wasm`) |
 
 Invalid JSON shows an error message in place of the prose; it recovers on the
@@ -60,6 +74,52 @@ next valid input. Style the result through the `prose-*` classes
 `.prose-prohibition`, `.prose-obligation`, `.prose-error`, ...) or the
 `articleClass` input.
 
+With a profile, the sentences use its labels ("may fine-tune" rather than
+"may fine tune") and a glossary of its terms follows each policy. The
+component does no network access: fetch the profile yourself and pass its
+text. It is read again only when the text changes. ODRL's own terms keep
+their built-in wording whatever a profile calls them, and a profile over
+4 MiB, or past the reader's other limits, is refused (`profileError`). See
+the [ds-prose-rs README](https://github.com/ds-labs-org/ds-prose-rs#profiles)
+for what a profile changes and which formats are read.
+
+## Validation
+
+Without `strict` or `validation` nothing is validated and the component
+renders exactly as before. With `[strict]="true"` the policy is checked
+against the loaded profiles with the vocabulary read as closed: ODRL plus
+those profiles is every term there is, so a term that resolves nowhere is an
+error. The report is `ds-prose/validation-report@1`, the same JSON the Rust
+crates and the `ds-prose-validate` command give.
+
+```html
+<ds-odrl-prose [json]="policy" [profiles]="[researchProfile, otherProfile]"
+               [strict]="true" [showViolations]="true"
+               (validationChange)="onReport($event)" />
+```
+
+```ts
+onReport(r: ValidationReport) {
+  // r.verdict is 'conforms', 'violations' or 'incomplete'.
+  // 'incomplete' is never a pass: something could not be checked, for
+  // example a profile the policy declares that is not loaded.
+  this.canPublish = r.verdict === 'conforms';
+}
+```
+
+`validationChange` is deduplicated: it fires when the verdict or the set of
+findings changes, not on every edit that leaves them as they were.
+`[validation]` takes the other options (`structural`, `failClosed`,
+`denyDeprecated`, `odrl`, `ruleset`, per-rule levels); see `ValidateOptions`
+in the types. Which rules exist, and what each rests on (the standard, or a
+ds-prose convention), is in the
+[ds-prose-rs README](https://github.com/ds-labs-org/ds-prose-rs#strict-validation).
+
+To validate without rendering, inject `ProseValidatorService`:
+`await service.validate(policyJson, [profileText])` returns the report, and
+rejects only when the wasm cannot load or a profile or the options cannot be
+read.
+
 If the wasm cannot be loaded (a wrong `PROSE_WASM_URL`, a 404, a network
 failure) the element shows an error (`<p class="prose-error" role="alert">`),
 logs it with `console.error`, and emits it from `loadFailed`. A failed load is
@@ -71,9 +131,9 @@ not remembered: the next change of an input tries again.
   DOM there). Use it as a leaf.
 - It renders client-side only. If your app uses SSR, guard it with
   `isPlatformBrowser` or `@defer`.
-- The package version is independent of the Rust crates. The ds-prose-rs
-  version of the wasm is recorded in `@ds-labs/prose-wasm`'s `package.json`
-  under `dsProse.prose-yew`.
+- The package version follows the Rust crates' (and `@ds-labs/prose-wasm`'s).
+  The ds-prose-rs version of the wasm is also recorded in
+  `@ds-labs/prose-wasm`'s `package.json` under `dsProse.prose-yew`.
 
 ## Replacing a vendored copy
 

package/fesm2022/ds-labs-prose-angular.mjs

@@ -1,6 +1,140 @@
 import * as i0 from '@angular/core';
-import { InjectionToken, input, output, inject, ElementRef, NgZone, ChangeDetectionStrategy, Component } from '@angular/core';
-import init, { ProseHandle } from '@ds-labs/prose-wasm';
+import { InjectionToken, input, output, signal, inject, ElementRef, NgZone, ChangeDetectionStrategy, Component, Injectable } from '@angular/core';
+import init, { ProseValidator, ProseHandle, validate } from '@ds-labs/prose-wasm';
+
+/**
+ * A tracker of the profile text last handed to the wasm, one per component.
+ * It returns true when `text` must be handed over now: only when it changed,
+ * so a policy change alone does not re-read a large profile, and a profile
+ * that failed is not reported again until it changes. `null`, `undefined`
+ * and blank text all mean no profile, which is what a fresh mount has.
+ */
+function createProfileTracker() {
+    let applied = null;
+    return (text) => {
+        const next = text == null || text.trim() === '' ? null : text;
+        if (next === applied)
+            return false;
+        applied = next;
+        return true;
+    };
+}
+/** The summary `setProfile` returns, or null for `"null"` (no profile). */
+function parseSummary(json) {
+    return JSON.parse(json);
+}
+
+/**
+ * Whether `next` is a report the host has not seen: the verdict, or the set
+ * of findings (by fingerprint, with their severity), differs. Wording, order
+ * and the rest of the report do not count, so a policy edit that changes
+ * nothing the validator found is not an event. No report to no report is not
+ * a change; a first report, or one that goes away, is.
+ */
+function reportChanged(prev, next) {
+    if (!prev || !next)
+        return !!prev !== !!next;
+    if (prev.verdict !== next.verdict)
+        return true;
+    const a = findingKeys(prev);
+    const b = findingKeys(next);
+    return a.length !== b.length || a.some((k, i) => k !== b[i]);
+}
+function findingKeys(r) {
+    return (r.findings ?? []).map((f) => `${f.fingerprint}\u0000${f.severity ?? ''}`).sort();
+}
+/**
+ * The options the wasm validator is given for the `strict` and `validation`
+ * inputs: `validation` as given (copied) when set, since it takes precedence;
+ * else strict mode when `strict` is on; else `null`, no validation.
+ */
+function validationOptions(strict, validation) {
+    if (validation != null)
+        return JSON.parse(JSON.stringify(validation));
+    return strict ? { strict: true } : null;
+}
+/**
+ * The profile texts for the `profile` and `profiles` inputs. A list wins over
+ * the single profile (an empty one clears it); blank texts are dropped; `null`
+ * means no profile input at all.
+ */
+function profileTexts(profile, profiles) {
+    if (profiles != null)
+        return profiles.filter((t) => t.trim() !== '');
+    return profile == null || profile.trim() === '' ? null : [profile];
+}
+/**
+ * A tracker of the value last handed to the wasm, one per component. It
+ * returns true when `value` differs from the last one (compared as JSON), so
+ * an unchanged input is not handed over again. `null` and `undefined` are
+ * "none", which is what a fresh mount has.
+ */
+function createChangeTracker() {
+    let applied = 'null';
+    return (value) => {
+        const next = value == null ? 'null' : JSON.stringify(value);
+        if (next === applied)
+            return false;
+        applied = next;
+        return true;
+    };
+}
+/** The report text `ProseHandle.report()` returns, parsed; `null` for none. */
+function parseReport(text) {
+    return text == null ? null : JSON.parse(text);
+}
+/**
+ * The report for a policy when the handle is not validating: a validator
+ * rebuilt when the profiles or the options change. When the options cannot be
+ * read, the previous options stay, as the `validationError` output promises:
+ * the report is computed with the last options that worked (or is `null`
+ * when none did), so it follows the policy and is never a stale one.
+ */
+class StandaloneReporter {
+    cached;
+    good = null;
+    build;
+    // No parameter property: the tests run this file with types stripped only.
+    constructor(build) {
+        this.build = build;
+    }
+    /** The report text for `json`, and the error when `options` were unreadable. */
+    report(profiles, options, json) {
+        try {
+            const report = this.validator(profiles, options).validate(json);
+            this.good = options;
+            return { report };
+        }
+        catch (error) {
+            if (this.good) {
+                try {
+                    return { report: this.validator(profiles, this.good).validate(json), error };
+                }
+                catch {
+                    // Not even the previous options work (the profiles changed under them).
+                }
+            }
+            return { report: null, error };
+        }
+    }
+    /** Validation is off: no options are "previous" any more. */
+    clear() {
+        this.good = null;
+    }
+    free() {
+        this.cached?.value.free();
+        this.cached = undefined;
+    }
+    validator(profiles, options) {
+        const key = JSON.stringify([profiles, options]);
+        if (this.cached?.key !== key) {
+            const value = this.build(profiles, options);
+            this.cached?.value.free();
+            this.cached = { key, value };
+        }
+        return this.cached.value;
+    }
+}
 
 /**
  * A loader that runs `init` at most once at a time and shares the result, so
@@ -35,6 +169,7 @@ const PROSE_WASM_URL = new InjectionToken('PROSE_WASM_URL', {
 // The wasm module is fetched and instantiated once per page. A failed load is
 // not remembered, so the next input change retries it.
 const loadWasm = createWasmLoader((url) => init({ module_or_path: new URL(url, document.baseURI) }));
+
 /**
  * `<ds-odrl-prose [json]="policy" />` renders ODRL JSON-LD as plain-language
  * prose using the Yew component from `prose-yew`.
@@ -42,6 +177,23 @@ const loadWasm = createWasmLoader((url) => init({ module_or_path: new URL(url, d
  * The component owns the host element's children (Yew keeps its own virtual
  * DOM there); style it through the `prose-*` classes or the `class` input.
  *
+ * `[profile]` takes the text of an ODRL profile (JSON-LD or Turtle, as the
+ * host fetched it; the component does no network access). The prose then uses
+ * the profile's labels, and a glossary of its terms follows each policy.
+ * `profileLoaded` emits the profile's summary; an unreadable profile emits
+ * `profileError` and the previous profile stays.
+ *
+ * `[profiles]` takes several profiles at once (a list wins over `profile`).
+ *
+ * `[strict]="true"` validates the policy against the loaded profiles with a
+ * closed vocabulary: ODRL plus those profiles. `[validation]` takes the full
+ * options (it wins over `strict`). `validationChange` emits the report
+ * (schema `ds-prose/validation-report@1`) each time the verdict or the
+ * findings change, and the `report` signal always holds the latest. A
+ * verdict of `incomplete` is never a pass: something could not be checked,
+ * such as a declared profile that is not loaded. `[showViolations]` also
+ * shows the findings under the prose.
+ *
  * If the wasm cannot be loaded, the host shows an error (`role="alert"`,
  * class `prose-error`), `loadFailed` emits the error, and the next change of
  * an input tries again.
@@ -51,12 +203,40 @@ class OdrlProseComponent {
     json = input.required();
     /** Extra class(es) for the rendered `<article class="ds-prose">`. */
     articleClass = input();
+    /** The ODRL profile the prose is worded with, as JSON-LD or Turtle text. */
+    profile = input(null);
+    /** Several ODRL profiles, as JSON-LD or Turtle text each; wins over `profile`. */
+    profiles = input(null);
+    /** Validate with a closed vocabulary: ODRL plus the loaded profiles. */
+    strict = input(false);
+    /** The full validation options; they take precedence over `strict`. */
+    validation = input(null);
+    /** Show the findings and the verdict under the prose. Needs `strict` or `validation`. */
+    showViolations = input(false);
     /** Emits when the wasm module could not be loaded. */
     loadFailed = output();
+    /** Emits the summary of each profile loaded from the `profile` input. */
+    profileLoaded = output();
+    /** Emits when the `profile` input is not a readable profile; the previous one stays. */
+    profileError = output();
+    /** Emits the report when the verdict or the findings change. */
+    validationChange = output();
+    /** Emits when `validation` is not readable options; the previous options stay. */
+    validationError = output();
+    /** The latest report, or `null` while validation is off. */
+    report = signal(null);
     host = inject(ElementRef).nativeElement;
     zone = inject(NgZone);
     wasmUrl = inject(PROSE_WASM_URL);
     handle;
+    profilesChanged = createChangeTracker();
+    handleOptionsChanged = createChangeTracker();
+    // The profiles the handle holds now, and the validator built from them for
+    // a report the handle is not asked for.
+    appliedProfiles = [];
+    standalone = new StandaloneReporter((profiles, options) => new ProseValidator(profiles, options));
+    // Whether the handle validates (it was given options, with the findings shown).
+    handleValidates = false;
     destroyed = false;
     ngOnChanges() {
         void this.sync();
@@ -66,6 +246,7 @@ class OdrlProseComponent {
         this.handle?.destroy();
         this.handle?.free();
         this.handle = undefined;
+        this.standalone.free();
     }
     async sync() {
         try {
@@ -83,12 +264,78 @@ class OdrlProseComponent {
             this.host.replaceChildren();
         const json = this.json();
         const cls = this.articleClass() ?? null;
+        const single = this.profiles() == null;
+        const texts = profileTexts(this.profile(), this.profiles());
+        const options = validationOptions(this.strict(), this.validation());
+        const show = this.showViolations() && options != null;
         // Yew schedules its own work; keep it out of Angular's change detection.
-        this.zone.runOutsideAngular(() => {
-            if (this.handle)
-                this.handle.update(json, cls);
-            else
-                this.handle = new ProseHandle(this.host, json, cls);
+        const outcome = this.zone.runOutsideAngular(() => {
+            const mounted = this.handle;
+            const handle = mounted ?? new ProseHandle(this.host, json, cls);
+            this.handle = handle;
+            const out = {};
+            // The profiles go first, so the validation and the update below use them.
+            if (this.profilesChanged(texts)) {
+                try {
+                    out.summaries = single
+                        ? [parseSummary(handle.setProfile(texts?.[0] ?? null))].filter((x) => x != null)
+                        : JSON.parse(handle.setProfiles(texts ?? []));
+                    this.appliedProfiles = texts ?? [];
+                }
+                catch (error) {
+                    out.profileError = error;
+                }
+            }
+            if (this.handleOptionsChanged(show ? options : null)) {
+                try {
+                    handle.setValidation(show ? options : null);
+                    this.handleValidates = show;
+                }
+                catch (error) {
+                    out.validationError = error;
+                }
+            }
+            if (mounted)
+                handle.update(json, cls);
+            if (options) {
+                if (this.handleValidates) {
+                    try {
+                        out.report = handle.report();
+                    }
+                    catch (error) {
+                        out.validationError ??= error;
+                    }
+                }
+                else {
+                    // Unreadable options keep the previous ones; see StandaloneReporter.
+                    const standalone = this.standalone.report(this.appliedProfiles, options, json);
+                    out.report = standalone.report;
+                    if (standalone.error !== undefined)
+                        out.validationError ??= standalone.error;
+                }
+            }
+            else {
+                this.standalone.clear();
+                out.report = null;
+            }
+            return out;
+        });
+        if (outcome.profileError !== undefined)
+            this.profileError.emit(outcome.profileError);
+        for (const summary of outcome.summaries ?? [])
+            this.profileLoaded.emit(summary);
+        if (outcome.validationError !== undefined)
+            this.validationError.emit(outcome.validationError);
+        if (outcome.report !== undefined)
+            this.publish(parseReport(outcome.report));
+    }
+    publish(next) {
+        // Signals and outputs are Angular's: back inside the zone.
+        this.zone.run(() => {
+            const prev = this.report();
+            this.report.set(next);
+            if (next && reportChanged(prev, next))
+                this.validationChange.emit(next);
         });
     }
     showLoadError(error) {
@@ -105,7 +352,7 @@ class OdrlProseComponent {
         this.loadFailed.emit(error);
     }
     static ɵfac = i0.ɵɵngDeclareFactory({ minVersion: "12.0.0", version: "19.2.25", ngImport: i0, type: OdrlProseComponent, deps: [], target: i0.ɵɵFactoryTarget.Component });
-    static ɵcmp = i0.ɵɵngDeclareComponent({ minVersion: "17.1.0", version: "19.2.25", type: OdrlProseComponent, isStandalone: true, selector: "ds-odrl-prose", inputs: { json: { classPropertyName: "json", publicName: "json", isSignal: true, isRequired: true, transformFunction: null }, articleClass: { classPropertyName: "articleClass", publicName: "articleClass", isSignal: true, isRequired: false, transformFunction: null } }, outputs: { loadFailed: "loadFailed" }, usesOnChanges: true, ngImport: i0, template: '', isInline: true, changeDetection: i0.ChangeDetectionStrategy.OnPush });
+    static ɵcmp = i0.ɵɵngDeclareComponent({ minVersion: "17.1.0", version: "19.2.25", type: OdrlProseComponent, isStandalone: true, selector: "ds-odrl-prose", inputs: { json: { classPropertyName: "json", publicName: "json", isSignal: true, isRequired: true, transformFunction: null }, articleClass: { classPropertyName: "articleClass", publicName: "articleClass", isSignal: true, isRequired: false, transformFunction: null }, profile: { classPropertyName: "profile", publicName: "profile", isSignal: true, isRequired: false, transformFunction: null }, profiles: { classPropertyName: "profiles", publicName: "profiles", isSignal: true, isRequired: false, transformFunction: null }, strict: { classPropertyName: "strict", publicName: "strict", isSignal: true, isRequired: false, transformFunction: null }, validation: { classPropertyName: "validation", publicName: "validation", isSignal: true, isRequired: false, transformFunction: null }, showViolations: { classPropertyName: "showViolations", publicName: "showViolations", isSignal: true, isRequired: false, transformFunction: null } }, outputs: { loadFailed: "loadFailed", profileLoaded: "profileLoaded", profileError: "profileError", validationChange: "validationChange", validationError: "validationError" }, usesOnChanges: true, ngImport: i0, template: '', isInline: true, changeDetection: i0.ChangeDetectionStrategy.OnPush });
 }
 i0.ɵɵngDeclareClassMetadata({ minVersion: "12.0.0", version: "19.2.25", ngImport: i0, type: OdrlProseComponent, decorators: [{
             type: Component,
@@ -117,9 +364,37 @@ i0.ɵɵngDeclareClassMetadata({ minVersion: "12.0.0", version: "19.2.25", ngImpo
                 }]
         }] });
 
+/**
+ * Validates ODRL policies against ODRL profiles without rendering anything
+ * (a form's submit guard, a list of policies). It runs the same engine as
+ * `<ds-odrl-prose [strict]>` and the `ds-prose-validate` command, so the
+ * report is the same.
+ */
+class ProseValidatorService {
+    wasmUrl = inject(PROSE_WASM_URL);
+    /**
+     * The report for the policy `json` against `profiles` (the text of each
+     * profile, JSON-LD or Turtle; the service does no network access). Strict
+     * unless `options.strict` is `false`. Waits for the wasm module to load;
+     * rejects when it cannot, or when a profile or the options cannot be read.
+     * A problem in the policy is never a rejection: it is a finding.
+     */
+    async validate(json, profiles = null, options = null) {
+        await loadWasm(this.wasmUrl);
+        const list = typeof profiles === 'string' || profiles == null ? profiles : [...profiles];
+        return JSON.parse(validate(json, list, options));
+    }
+    static ɵfac = i0.ɵɵngDeclareFactory({ minVersion: "12.0.0", version: "19.2.25", ngImport: i0, type: ProseValidatorService, deps: [], target: i0.ɵɵFactoryTarget.Injectable });
+    static ɵprov = i0.ɵɵngDeclareInjectable({ minVersion: "12.0.0", version: "19.2.25", ngImport: i0, type: ProseValidatorService, providedIn: 'root' });
+}
+i0.ɵɵngDeclareClassMetadata({ minVersion: "12.0.0", version: "19.2.25", ngImport: i0, type: ProseValidatorService, decorators: [{
+            type: Injectable,
+            args: [{ providedIn: 'root' }]
+        }] });
+
 /**
  * Generated bundle index. Do not edit.
  */
 
-export { OdrlProseComponent, PROSE_WASM_URL };
+export { OdrlProseComponent, PROSE_WASM_URL, ProseValidatorService, reportChanged };
 //# sourceMappingURL=ds-labs-prose-angular.mjs.map

package/fesm2022/ds-labs-prose-angular.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"ds-labs-prose-angular.mjs","sources":["../../../prose-angular/src/wasm-loader.ts","../../../prose-angular/src/odrl-prose.component.ts","../../../prose-angular/src/ds-labs-prose-angular.ts"],"sourcesContent":["/** Loads and instantiates the wasm module. Injected so it can be tested. */\nexport type WasmInit = (url: string) => Promise<unknown>;\n\n/**\n * A loader that runs `init` at most once at a time and shares the result, so\n * every component on a page waits on one fetch. A failed load is forgotten:\n * the callers waiting on it all see the failure, and the next call tries again\n * (the file may have been missing only for a moment).\n */\nexport function createWasmLoader(init: WasmInit): (url: string) => Promise<unknown> {\n  let ready: Promise<unknown> | undefined;\n  return (url) => {\n    if (!ready) {\n      const attempt: Promise<unknown> = init(url).catch((error: unknown) => {\n        if (ready === attempt) ready = undefined;\n        throw error;\n      });\n      ready = attempt;\n    }\n    return ready;\n  };\n}\n","import {\n  ChangeDetectionStrategy,\n  Component,\n  ElementRef,\n  NgZone,\n  OnChanges,\n  OnDestroy,\n  InjectionToken,\n  inject,\n  input,\n  output,\n} from '@angular/core';\nimport init, { ProseHandle } from '@ds-labs/prose-wasm';\nimport { createWasmLoader } from './wasm-loader';\n\n/**\n * Where the browser fetches `prose_wasm_bg.wasm` from, relative to the page's\n * base href. The build does not emit the file for you: copy it into your\n * assets (see README) or provide this token.\n */\nexport const PROSE_WASM_URL = new InjectionToken<string>('PROSE_WASM_URL', {\n  providedIn: 'root',\n  factory: () => 'prose_wasm_bg.wasm',\n});\n\n// The wasm module is fetched and instantiated once per page. A failed load is\n// not remembered, so the next input change retries it.\nconst loadWasm = createWasmLoader((url) => init({ module_or_path: new URL(url, document.baseURI) }));\n\n/**\n * `<ds-odrl-prose [json]=\"policy\" />` renders ODRL JSON-LD as plain-language\n * prose using the Yew component from `prose-yew`.\n *\n * The component owns the host element's children (Yew keeps its own virtual\n * DOM there); style it through the `prose-*` classes or the `class` input.\n *\n * If the wasm cannot be loaded, the host shows an error (`role=\"alert\"`,\n * class `prose-error`), `loadFailed` emits the error, and the next change of\n * an input tries again.\n */\n@Component({\n  selector: 'ds-odrl-prose',\n  standalone: true,\n  template: '',\n  changeDetection: ChangeDetectionStrategy.OnPush,\n})\nexport class OdrlProseComponent implements OnChanges, OnDestroy {\n  /** The ODRL policy as JSON-LD text. */\n  readonly json = input.required<string>();\n  /** Extra class(es) for the rendered `<article class=\"ds-prose\">`. */\n  readonly articleClass = input<string>();\n  /** Emits when the wasm module could not be loaded. */\n  readonly loadFailed = output<unknown>();\n\n  private readonly host = inject<ElementRef<HTMLElement>>(ElementRef).nativeElement;\n  private readonly zone = inject(NgZone);\n  private readonly wasmUrl = inject(PROSE_WASM_URL);\n  private handle?: ProseHandle;\n  private destroyed = false;\n\n  ngOnChanges(): void {\n    void this.sync();\n  }\n\n  ngOnDestroy(): void {\n    this.destroyed = true;\n    this.handle?.destroy();\n    this.handle?.free();\n    this.handle = undefined;\n  }\n\n  private async sync(): Promise<void> {\n    try {\n      await loadWasm(this.wasmUrl);\n    } catch (error) {\n      if (!this.destroyed) this.showLoadError(error);\n      return;\n    }\n    if (this.destroyed) return;\n    // Only the error message can be in the host before the first mount.\n    if (!this.handle) this.host.replaceChildren();\n    const json = this.json();\n    const cls = this.articleClass() ?? null;\n    // Yew schedules its own work; keep it out of Angular's change detection.\n    this.zone.runOutsideAngular(() => {\n      if (this.handle) this.handle.update(json, cls);\n      else this.handle = new ProseHandle(this.host, json, cls);\n    });\n  }\n\n  private showLoadError(error: unknown): void {\n    console.error('ds-odrl-prose: could not load the wasm module', error);\n    // A mounted Yew tree owns the host's children: leave it alone.\n    if (!this.handle) {\n      const message = document.createElement('p');\n      message.className = 'prose-error';\n      message.setAttribute('role', 'alert');\n      message.textContent =\n        `The ODRL prose renderer could not be loaded (${this.wasmUrl}). Check that the file is served; it is tried again when the input changes.`;\n      this.host.replaceChildren(message);\n    }\n    this.loadFailed.emit(error);\n  }\n}\n","/**\n * Generated bundle index. Do not edit.\n */\n\nexport * from './index';\n"],"names":[],"mappings":";;;;AAGA;;;;;AAKG;AACG,SAAU,gBAAgB,CAAC,IAAc,EAAA;AAC7C,IAAA,IAAI,KAAmC;IACvC,OAAO,CAAC,GAAG,KAAI;QACb,IAAI,CAAC,KAAK,EAAE;AACV,YAAA,MAAM,OAAO,GAAqB,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,KAAI;gBACnE,IAAI,KAAK,KAAK,OAAO;oBAAE,KAAK,GAAG,SAAS;AACxC,gBAAA,MAAM,KAAK;AACb,YAAA,CAAC,CAAC;YACF,KAAK,GAAG,OAAO;QACjB;AACA,QAAA,OAAO,KAAK;AACd,IAAA,CAAC;AACH;;ACNA;;;;AAIG;MACU,cAAc,GAAG,IAAI,cAAc,CAAS,gBAAgB,EAAE;AACzE,IAAA,UAAU,EAAE,MAAM;AAClB,IAAA,OAAO,EAAE,MAAM,oBAAoB;AACpC,CAAA;AAED;AACA;AACA,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAEpG;;;;;;;;;;AAUG;MAOU,kBAAkB,CAAA;;AAEpB,IAAA,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAU;;IAE/B,YAAY,GAAG,KAAK,EAAU;;IAE9B,UAAU,GAAG,MAAM,EAAW;AAEtB,IAAA,IAAI,GAAG,MAAM,CAA0B,UAAU,CAAC,CAAC,aAAa;AAChE,IAAA,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;AACrB,IAAA,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC;AACzC,IAAA,MAAM;IACN,SAAS,GAAG,KAAK;IAEzB,WAAW,GAAA;AACT,QAAA,KAAK,IAAI,CAAC,IAAI,EAAE;IAClB;IAEA,WAAW,GAAA;AACT,QAAA,IAAI,CAAC,SAAS,GAAG,IAAI;AACrB,QAAA,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE;AACtB,QAAA,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE;AACnB,QAAA,IAAI,CAAC,MAAM,GAAG,SAAS;IACzB;AAEQ,IAAA,MAAM,IAAI,GAAA;AAChB,QAAA,IAAI;AACF,YAAA,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9B;QAAE,OAAO,KAAK,EAAE;YACd,IAAI,CAAC,IAAI,CAAC,SAAS;AAAE,gBAAA,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YAC9C;QACF;QACA,IAAI,IAAI,CAAC,SAAS;YAAE;;QAEpB,IAAI,CAAC,IAAI,CAAC,MAAM;AAAE,YAAA,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;AAC7C,QAAA,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI;;AAEvC,QAAA,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAK;YAC/B,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;;AACzC,gBAAA,IAAI,CAAC,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;AAC1D,QAAA,CAAC,CAAC;IACJ;AAEQ,IAAA,aAAa,CAAC,KAAc,EAAA;AAClC,QAAA,OAAO,CAAC,KAAK,CAAC,+CAA+C,EAAE,KAAK,CAAC;;AAErE,QAAA,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;YAChB,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC;AAC3C,YAAA,OAAO,CAAC,SAAS,GAAG,aAAa;AACjC,YAAA,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC;AACrC,YAAA,OAAO,CAAC,WAAW;AACjB,gBAAA,CAAA,6CAAA,EAAgD,IAAI,CAAC,OAAO,CAAA,2EAAA,CAA6E;AAC3I,YAAA,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC;QACpC;AACA,QAAA,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;IAC7B;wGAxDW,kBAAkB,EAAA,IAAA,EAAA,EAAA,EAAA,MAAA,EAAA,EAAA,CAAA,eAAA,CAAA,SAAA,EAAA,CAAA;AAAlB,IAAA,OAAA,IAAA,GAAA,EAAA,CAAA,oBAAA,CAAA,EAAA,UAAA,EAAA,QAAA,EAAA,OAAA,EAAA,SAAA,EAAA,IAAA,EAAA,kBAAkB,kZAHnB,EAAE,EAAA,QAAA,EAAA,IAAA,EAAA,eAAA,EAAA,EAAA,CAAA,uBAAA,CAAA,MAAA,EAAA,CAAA;;4FAGD,kBAAkB,EAAA,UAAA,EAAA,CAAA;kBAN9B,SAAS;AAAC,YAAA,IAAA,EAAA,CAAA;AACT,oBAAA,QAAQ,EAAE,eAAe;AACzB,oBAAA,UAAU,EAAE,IAAI;AAChB,oBAAA,QAAQ,EAAE,EAAE;oBACZ,eAAe,EAAE,uBAAuB,CAAC,MAAM;AAChD,iBAAA;;;AC7CD;;AAEG;;"}
+{"version":3,"file":"ds-labs-prose-angular.mjs","sources":["../../../prose-angular/src/profile-sync.ts","../../../prose-angular/src/validation-sync.ts","../../../prose-angular/src/wasm-loader.ts","../../../prose-angular/src/wasm-runtime.ts","../../../prose-angular/src/odrl-prose.component.ts","../../../prose-angular/src/validator.service.ts","../../../prose-angular/src/ds-labs-prose-angular.ts"],"sourcesContent":["/**\n * A loaded profile, as `ProseHandle.setProfile` describes it. `counts` has\n * one entry per kind of term present (`action`, `leftOperand`, `operator`,\n * `rightOperand`, `conflictTerm`, ...).\n */\nexport interface ProfileSummary {\n  iri: string | null;\n  title: string | null;\n  version: string | null;\n  terms: number;\n  counts: Record<string, number>;\n  warnings: string[];\n}\n\n/**\n * A tracker of the profile text last handed to the wasm, one per component.\n * It returns true when `text` must be handed over now: only when it changed,\n * so a policy change alone does not re-read a large profile, and a profile\n * that failed is not reported again until it changes. `null`, `undefined`\n * and blank text all mean no profile, which is what a fresh mount has.\n */\nexport function createProfileTracker(): (text: string | null | undefined) => boolean {\n  let applied: string | null = null;\n  return (text) => {\n    const next = text == null || text.trim() === '' ? null : text;\n    if (next === applied) return false;\n    applied = next;\n    return true;\n  };\n}\n\n/** The summary `setProfile` returns, or null for `\"null\"` (no profile). */\nexport function parseSummary(json: string): ProfileSummary | null {\n  return JSON.parse(json) as ProfileSummary | null;\n}\n","import type { ValidateOptions } from '@ds-labs/prose-wasm';\n\n/** What `reportChanged` reads of a `ValidationReport`. */\nexport interface ReportLike {\n  verdict: string;\n  findings?: readonly { fingerprint: string; severity?: string }[];\n}\n\n/**\n * Whether `next` is a report the host has not seen: the verdict, or the set\n * of findings (by fingerprint, with their severity), differs. Wording, order\n * and the rest of the report do not count, so a policy edit that changes\n * nothing the validator found is not an event. No report to no report is not\n * a change; a first report, or one that goes away, is.\n */\nexport function reportChanged(prev: ReportLike | null | undefined, next: ReportLike | null | undefined): boolean {\n  if (!prev || !next) return !!prev !== !!next;\n  if (prev.verdict !== next.verdict) return true;\n  const a = findingKeys(prev);\n  const b = findingKeys(next);\n  return a.length !== b.length || a.some((k, i) => k !== b[i]);\n}\n\nfunction findingKeys(r: ReportLike): string[] {\n  return (r.findings ?? []).map((f) => `${f.fingerprint}\\u0000${f.severity ?? ''}`).sort();\n}\n\n/**\n * The options the wasm validator is given for the `strict` and `validation`\n * inputs: `validation` as given (copied) when set, since it takes precedence;\n * else strict mode when `strict` is on; else `null`, no validation.\n */\nexport function validationOptions(strict: boolean, validation: ValidateOptions | null | undefined): ValidateOptions | null {\n  if (validation != null) return JSON.parse(JSON.stringify(validation)) as ValidateOptions;\n  return strict ? { strict: true } : null;\n}\n\n/**\n * The profile texts for the `profile` and `profiles` inputs. A list wins over\n * the single profile (an empty one clears it); blank texts are dropped; `null`\n * means no profile input at all.\n */\nexport function profileTexts(profile: string | null | undefined, profiles: readonly string[] | null | undefined): string[] | null {\n  if (profiles != null) return profiles.filter((t) => t.trim() !== '');\n  return profile == null || profile.trim() === '' ? null : [profile];\n}\n\n/**\n * A tracker of the value last handed to the wasm, one per component. It\n * returns true when `value` differs from the last one (compared as JSON), so\n * an unchanged input is not handed over again. `null` and `undefined` are\n * \"none\", which is what a fresh mount has.\n */\nexport function createChangeTracker<T>(): (value: T | null | undefined) => boolean {\n  let applied = 'null';\n  return (value) => {\n    const next = value == null ? 'null' : JSON.stringify(value);\n    if (next === applied) return false;\n    applied = next;\n    return true;\n  };\n}\n\n/** The report text `ProseHandle.report()` returns, parsed; `null` for none. */\nexport function parseReport<R = unknown>(text: string | null | undefined): R | null {\n  return text == null ? null : (JSON.parse(text) as R);\n}\n\n/** What `StandaloneReporter` needs of a `ProseValidator`. */\nexport interface ValidatorLike {\n  validate(json: string): string;\n  free(): void;\n}\n\n/**\n * The report for a policy when the handle is not validating: a validator\n * rebuilt when the profiles or the options change. When the options cannot be\n * read, the previous options stay, as the `validationError` output promises:\n * the report is computed with the last options that worked (or is `null`\n * when none did), so it follows the policy and is never a stale one.\n */\nexport class StandaloneReporter<V extends ValidatorLike = ValidatorLike> {\n  private cached?: { key: string; value: V };\n  private good: ValidateOptions | null = null;\n\n  private readonly build: (profiles: string[], options: ValidateOptions) => V;\n\n  // No parameter property: the tests run this file with types stripped only.\n  constructor(build: (profiles: string[], options: ValidateOptions) => V) {\n    this.build = build;\n  }\n\n  /** The report text for `json`, and the error when `options` were unreadable. */\n  report(profiles: string[], options: ValidateOptions, json: string): { report: string | null; error?: unknown } {\n    try {\n      const report = this.validator(profiles, options).validate(json);\n      this.good = options;\n      return { report };\n    } catch (error) {\n      if (this.good) {\n        try {\n          return { report: this.validator(profiles, this.good).validate(json), error };\n        } catch {\n          // Not even the previous options work (the profiles changed under them).\n        }\n      }\n      return { report: null, error };\n    }\n  }\n\n  /** Validation is off: no options are \"previous\" any more. */\n  clear(): void {\n    this.good = null;\n  }\n\n  free(): void {\n    this.cached?.value.free();\n    this.cached = undefined;\n  }\n\n  private validator(profiles: string[], options: ValidateOptions): V {\n    const key = JSON.stringify([profiles, options]);\n    if (this.cached?.key !== key) {\n      const value = this.build(profiles, options);\n      this.cached?.value.free();\n      this.cached = { key, value };\n    }\n    return this.cached.value;\n  }\n}\n","/** Loads and instantiates the wasm module. Injected so it can be tested. */\nexport type WasmInit = (url: string) => Promise<unknown>;\n\n/**\n * A loader that runs `init` at most once at a time and shares the result, so\n * every component on a page waits on one fetch. A failed load is forgotten:\n * the callers waiting on it all see the failure, and the next call tries again\n * (the file may have been missing only for a moment).\n */\nexport function createWasmLoader(init: WasmInit): (url: string) => Promise<unknown> {\n  let ready: Promise<unknown> | undefined;\n  return (url) => {\n    if (!ready) {\n      const attempt: Promise<unknown> = init(url).catch((error: unknown) => {\n        if (ready === attempt) ready = undefined;\n        throw error;\n      });\n      ready = attempt;\n    }\n    return ready;\n  };\n}\n","import { InjectionToken } from '@angular/core';\nimport init from '@ds-labs/prose-wasm';\nimport { createWasmLoader } from './wasm-loader';\n\n/**\n * Where the browser fetches `prose_wasm_bg.wasm` from, relative to the page's\n * base href. The build does not emit the file for you: copy it into your\n * assets (see README) or provide this token.\n */\nexport const PROSE_WASM_URL = new InjectionToken<string>('PROSE_WASM_URL', {\n  providedIn: 'root',\n  factory: () => 'prose_wasm_bg.wasm',\n});\n\n// The wasm module is fetched and instantiated once per page. A failed load is\n// not remembered, so the next input change retries it.\nexport const loadWasm = createWasmLoader((url) => init({ module_or_path: new URL(url, document.baseURI) }));\n","import {\n  ChangeDetectionStrategy,\n  Component,\n  ElementRef,\n  NgZone,\n  OnChanges,\n  OnDestroy,\n  inject,\n  input,\n  output,\n  signal,\n} from '@angular/core';\nimport { ProseHandle, ProseValidator, type ValidateOptions, type ValidationReport } from '@ds-labs/prose-wasm';\nimport { ProfileSummary, parseSummary } from './profile-sync';\nimport { StandaloneReporter, createChangeTracker, parseReport, profileTexts, reportChanged, validationOptions } from './validation-sync';\nimport { PROSE_WASM_URL, loadWasm } from './wasm-runtime';\n\nexport { PROSE_WASM_URL };\n\n/**\n * `<ds-odrl-prose [json]=\"policy\" />` renders ODRL JSON-LD as plain-language\n * prose using the Yew component from `prose-yew`.\n *\n * The component owns the host element's children (Yew keeps its own virtual\n * DOM there); style it through the `prose-*` classes or the `class` input.\n *\n * `[profile]` takes the text of an ODRL profile (JSON-LD or Turtle, as the\n * host fetched it; the component does no network access). The prose then uses\n * the profile's labels, and a glossary of its terms follows each policy.\n * `profileLoaded` emits the profile's summary; an unreadable profile emits\n * `profileError` and the previous profile stays.\n *\n * `[profiles]` takes several profiles at once (a list wins over `profile`).\n *\n * `[strict]=\"true\"` validates the policy against the loaded profiles with a\n * closed vocabulary: ODRL plus those profiles. `[validation]` takes the full\n * options (it wins over `strict`). `validationChange` emits the report\n * (schema `ds-prose/validation-report@1`) each time the verdict or the\n * findings change, and the `report` signal always holds the latest. A\n * verdict of `incomplete` is never a pass: something could not be checked,\n * such as a declared profile that is not loaded. `[showViolations]` also\n * shows the findings under the prose.\n *\n * If the wasm cannot be loaded, the host shows an error (`role=\"alert\"`,\n * class `prose-error`), `loadFailed` emits the error, and the next change of\n * an input tries again.\n */\n@Component({\n  selector: 'ds-odrl-prose',\n  standalone: true,\n  template: '',\n  changeDetection: ChangeDetectionStrategy.OnPush,\n})\nexport class OdrlProseComponent implements OnChanges, OnDestroy {\n  /** The ODRL policy as JSON-LD text. */\n  readonly json = input.required<string>();\n  /** Extra class(es) for the rendered `<article class=\"ds-prose\">`. */\n  readonly articleClass = input<string>();\n  /** The ODRL profile the prose is worded with, as JSON-LD or Turtle text. */\n  readonly profile = input<string | null>(null);\n  /** Several ODRL profiles, as JSON-LD or Turtle text each; wins over `profile`. */\n  readonly profiles = input<string[] | null>(null);\n  /** Validate with a closed vocabulary: ODRL plus the loaded profiles. */\n  readonly strict = input(false);\n  /** The full validation options; they take precedence over `strict`. */\n  readonly validation = input<ValidateOptions | null>(null);\n  /** Show the findings and the verdict under the prose. Needs `strict` or `validation`. */\n  readonly showViolations = input(false);\n  /** Emits when the wasm module could not be loaded. */\n  readonly loadFailed = output<unknown>();\n  /** Emits the summary of each profile loaded from the `profile` input. */\n  readonly profileLoaded = output<ProfileSummary>();\n  /** Emits when the `profile` input is not a readable profile; the previous one stays. */\n  readonly profileError = output<unknown>();\n  /** Emits the report when the verdict or the findings change. */\n  readonly validationChange = output<ValidationReport>();\n  /** Emits when `validation` is not readable options; the previous options stay. */\n  readonly validationError = output<unknown>();\n  /** The latest report, or `null` while validation is off. */\n  readonly report = signal<ValidationReport | null>(null);\n\n  private readonly host = inject<ElementRef<HTMLElement>>(ElementRef).nativeElement;\n  private readonly zone = inject(NgZone);\n  private readonly wasmUrl = inject(PROSE_WASM_URL);\n  private handle?: ProseHandle;\n  private readonly profilesChanged = createChangeTracker<string[]>();\n  private readonly handleOptionsChanged = createChangeTracker<ValidateOptions>();\n  // The profiles the handle holds now, and the validator built from them for\n  // a report the handle is not asked for.\n  private appliedProfiles: string[] = [];\n  private readonly standalone = new StandaloneReporter((profiles, options) => new ProseValidator(profiles, options));\n  // Whether the handle validates (it was given options, with the findings shown).\n  private handleValidates = false;\n  private destroyed = false;\n\n  ngOnChanges(): void {\n    void this.sync();\n  }\n\n  ngOnDestroy(): void {\n    this.destroyed = true;\n    this.handle?.destroy();\n    this.handle?.free();\n    this.handle = undefined;\n    this.standalone.free();\n  }\n\n  private async sync(): Promise<void> {\n    try {\n      await loadWasm(this.wasmUrl);\n    } catch (error) {\n      if (!this.destroyed) this.showLoadError(error);\n      return;\n    }\n    if (this.destroyed) return;\n    // Only the error message can be in the host before the first mount.\n    if (!this.handle) this.host.replaceChildren();\n    const json = this.json();\n    const cls = this.articleClass() ?? null;\n    const single = this.profiles() == null;\n    const texts = profileTexts(this.profile(), this.profiles());\n    const options = validationOptions(this.strict(), this.validation());\n    const show = this.showViolations() && options != null;\n    // Yew schedules its own work; keep it out of Angular's change detection.\n    const outcome = this.zone.runOutsideAngular(() => {\n      const mounted = this.handle;\n      const handle = mounted ?? new ProseHandle(this.host, json, cls);\n      this.handle = handle;\n      const out: {\n        summaries?: ProfileSummary[];\n        profileError?: unknown;\n        validationError?: unknown;\n        report?: string | null;\n      } = {};\n      // The profiles go first, so the validation and the update below use them.\n      if (this.profilesChanged(texts)) {\n        try {\n          out.summaries = single\n            ? [parseSummary(handle.setProfile(texts?.[0] ?? null))].filter((x) => x != null)\n            : (JSON.parse(handle.setProfiles(texts ?? [])) as ProfileSummary[]);\n          this.appliedProfiles = texts ?? [];\n        } catch (error) {\n          out.profileError = error;\n        }\n      }\n      if (this.handleOptionsChanged(show ? options : null)) {\n        try {\n          handle.setValidation(show ? options : null);\n          this.handleValidates = show;\n        } catch (error) {\n          out.validationError = error;\n        }\n      }\n      if (mounted) handle.update(json, cls);\n      if (options) {\n        if (this.handleValidates) {\n          try {\n            out.report = handle.report();\n          } catch (error) {\n            out.validationError ??= error;\n          }\n        } else {\n          // Unreadable options keep the previous ones; see StandaloneReporter.\n          const standalone = this.standalone.report(this.appliedProfiles, options, json);\n          out.report = standalone.report;\n          if (standalone.error !== undefined) out.validationError ??= standalone.error;\n        }\n      } else {\n        this.standalone.clear();\n        out.report = null;\n      }\n      return out;\n    });\n    if (outcome.profileError !== undefined) this.profileError.emit(outcome.profileError);\n    for (const summary of outcome.summaries ?? []) this.profileLoaded.emit(summary);\n    if (outcome.validationError !== undefined) this.validationError.emit(outcome.validationError);\n    if (outcome.report !== undefined) this.publish(parseReport<ValidationReport>(outcome.report));\n  }\n\n  private publish(next: ValidationReport | null): void {\n    // Signals and outputs are Angular's: back inside the zone.\n    this.zone.run(() => {\n      const prev = this.report();\n      this.report.set(next);\n      if (next && reportChanged(prev, next)) this.validationChange.emit(next);\n    });\n  }\n\n  private showLoadError(error: unknown): void {\n    console.error('ds-odrl-prose: could not load the wasm module', error);\n    // A mounted Yew tree owns the host's children: leave it alone.\n    if (!this.handle) {\n      const message = document.createElement('p');\n      message.className = 'prose-error';\n      message.setAttribute('role', 'alert');\n      message.textContent =\n        `The ODRL prose renderer could not be loaded (${this.wasmUrl}). Check that the file is served; it is tried again when the input changes.`;\n      this.host.replaceChildren(message);\n    }\n    this.loadFailed.emit(error);\n  }\n}\n","import { Injectable, inject } from '@angular/core';\nimport { validate, type ValidateOptions, type ValidationReport } from '@ds-labs/prose-wasm';\nimport { PROSE_WASM_URL, loadWasm } from './wasm-runtime';\n\n/**\n * Validates ODRL policies against ODRL profiles without rendering anything\n * (a form's submit guard, a list of policies). It runs the same engine as\n * `<ds-odrl-prose [strict]>` and the `ds-prose-validate` command, so the\n * report is the same.\n */\n@Injectable({ providedIn: 'root' })\nexport class ProseValidatorService {\n  private readonly wasmUrl = inject(PROSE_WASM_URL);\n\n  /**\n   * The report for the policy `json` against `profiles` (the text of each\n   * profile, JSON-LD or Turtle; the service does no network access). Strict\n   * unless `options.strict` is `false`. Waits for the wasm module to load;\n   * rejects when it cannot, or when a profile or the options cannot be read.\n   * A problem in the policy is never a rejection: it is a finding.\n   */\n  async validate(\n    json: string,\n    profiles: string | readonly string[] | null = null,\n    options: ValidateOptions | null = null,\n  ): Promise<ValidationReport> {\n    await loadWasm(this.wasmUrl);\n    const list = typeof profiles === 'string' || profiles == null ? profiles : [...profiles];\n    return JSON.parse(validate(json, list, options)) as ValidationReport;\n  }\n}\n","/**\n * Generated bundle index. Do not edit.\n */\n\nexport * from './index';\n"],"names":[],"mappings":";;;;AAcA;;;;;;AAMG;SACa,oBAAoB,GAAA;IAClC,IAAI,OAAO,GAAkB,IAAI;IACjC,OAAO,CAAC,IAAI,KAAI;QACd,MAAM,IAAI,GAAG,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,GAAG,IAAI;QAC7D,IAAI,IAAI,KAAK,OAAO;AAAE,YAAA,OAAO,KAAK;QAClC,OAAO,GAAG,IAAI;AACd,QAAA,OAAO,IAAI;AACb,IAAA,CAAC;AACH;AAEA;AACM,SAAU,YAAY,CAAC,IAAY,EAAA;AACvC,IAAA,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAA0B;AAClD;;AC1BA;;;;;;AAMG;AACG,SAAU,aAAa,CAAC,IAAmC,EAAE,IAAmC,EAAA;AACpG,IAAA,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;AAAE,QAAA,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;AAC5C,IAAA,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;AAAE,QAAA,OAAO,IAAI;AAC9C,IAAA,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC;AAC3B,IAAA,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC;IAC3B,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D;AAEA,SAAS,WAAW,CAAC,CAAa,EAAA;AAChC,IAAA,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAA,EAAG,CAAC,CAAC,WAAW,CAAA,MAAA,EAAS,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAA,CAAE,CAAC,CAAC,IAAI,EAAE;AAC1F;AAEA;;;;AAIG;AACG,SAAU,iBAAiB,CAAC,MAAe,EAAE,UAA8C,EAAA;IAC/F,IAAI,UAAU,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAoB;AACxF,IAAA,OAAO,MAAM,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI;AACzC;AAEA;;;;AAIG;AACG,SAAU,YAAY,CAAC,OAAkC,EAAE,QAA8C,EAAA;IAC7G,IAAI,QAAQ,IAAI,IAAI;AAAE,QAAA,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACpE,OAAO,OAAO,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC;AACpE;AAEA;;;;;AAKG;SACa,mBAAmB,GAAA;IACjC,IAAI,OAAO,GAAG,MAAM;IACpB,OAAO,CAAC,KAAK,KAAI;AACf,QAAA,MAAM,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAC3D,IAAI,IAAI,KAAK,OAAO;AAAE,YAAA,OAAO,KAAK;QAClC,OAAO,GAAG,IAAI;AACd,QAAA,OAAO,IAAI;AACb,IAAA,CAAC;AACH;AAEA;AACM,SAAU,WAAW,CAAc,IAA+B,EAAA;AACtE,IAAA,OAAO,IAAI,IAAI,IAAI,GAAG,IAAI,GAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAO;AACtD;AAQA;;;;;;AAMG;MACU,kBAAkB,CAAA;AACrB,IAAA,MAAM;IACN,IAAI,GAA2B,IAAI;AAE1B,IAAA,KAAK;;AAGtB,IAAA,WAAA,CAAY,KAA0D,EAAA;AACpE,QAAA,IAAI,CAAC,KAAK,GAAG,KAAK;IACpB;;AAGA,IAAA,MAAM,CAAC,QAAkB,EAAE,OAAwB,EAAE,IAAY,EAAA;AAC/D,QAAA,IAAI;AACF,YAAA,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;AAC/D,YAAA,IAAI,CAAC,IAAI,GAAG,OAAO;YACnB,OAAO,EAAE,MAAM,EAAE;QACnB;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,IAAI,IAAI,CAAC,IAAI,EAAE;AACb,gBAAA,IAAI;oBACF,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE;gBAC9E;AAAE,gBAAA,MAAM;;gBAER;YACF;AACA,YAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE;QAChC;IACF;;IAGA,KAAK,GAAA;AACH,QAAA,IAAI,CAAC,IAAI,GAAG,IAAI;IAClB;IAEA,IAAI,GAAA;AACF,QAAA,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE;AACzB,QAAA,IAAI,CAAC,MAAM,GAAG,SAAS;IACzB;IAEQ,SAAS,CAAC,QAAkB,EAAE,OAAwB,EAAA;AAC5D,QAAA,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,EAAE;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC;AAC3C,YAAA,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE;YACzB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QAC9B;AACA,QAAA,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK;IAC1B;AACD;;AC9HD;;;;;AAKG;AACG,SAAU,gBAAgB,CAAC,IAAc,EAAA;AAC7C,IAAA,IAAI,KAAmC;IACvC,OAAO,CAAC,GAAG,KAAI;QACb,IAAI,CAAC,KAAK,EAAE;AACV,YAAA,MAAM,OAAO,GAAqB,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,KAAI;gBACnE,IAAI,KAAK,KAAK,OAAO;oBAAE,KAAK,GAAG,SAAS;AACxC,gBAAA,MAAM,KAAK;AACb,YAAA,CAAC,CAAC;YACF,KAAK,GAAG,OAAO;QACjB;AACA,QAAA,OAAO,KAAK;AACd,IAAA,CAAC;AACH;;ACjBA;;;;AAIG;MACU,cAAc,GAAG,IAAI,cAAc,CAAS,gBAAgB,EAAE;AACzE,IAAA,UAAU,EAAE,MAAM;AAClB,IAAA,OAAO,EAAE,MAAM,oBAAoB;AACpC,CAAA;AAED;AACA;AACO,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;;ACG3G;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BG;MAOU,kBAAkB,CAAA;;AAEpB,IAAA,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAU;;IAE/B,YAAY,GAAG,KAAK,EAAU;;AAE9B,IAAA,OAAO,GAAG,KAAK,CAAgB,IAAI,CAAC;;AAEpC,IAAA,QAAQ,GAAG,KAAK,CAAkB,IAAI,CAAC;;AAEvC,IAAA,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;;AAErB,IAAA,UAAU,GAAG,KAAK,CAAyB,IAAI,CAAC;;AAEhD,IAAA,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC;;IAE7B,UAAU,GAAG,MAAM,EAAW;;IAE9B,aAAa,GAAG,MAAM,EAAkB;;IAExC,YAAY,GAAG,MAAM,EAAW;;IAEhC,gBAAgB,GAAG,MAAM,EAAoB;;IAE7C,eAAe,GAAG,MAAM,EAAW;;AAEnC,IAAA,MAAM,GAAG,MAAM,CAA0B,IAAI,CAAC;AAEtC,IAAA,IAAI,GAAG,MAAM,CAA0B,UAAU,CAAC,CAAC,aAAa;AAChE,IAAA,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;AACrB,IAAA,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC;AACzC,IAAA,MAAM;IACG,eAAe,GAAG,mBAAmB,EAAY;IACjD,oBAAoB,GAAG,mBAAmB,EAAmB;;;IAGtE,eAAe,GAAa,EAAE;AACrB,IAAA,UAAU,GAAG,IAAI,kBAAkB,CAAC,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;;IAE1G,eAAe,GAAG,KAAK;IACvB,SAAS,GAAG,KAAK;IAEzB,WAAW,GAAA;AACT,QAAA,KAAK,IAAI,CAAC,IAAI,EAAE;IAClB;IAEA,WAAW,GAAA;AACT,QAAA,IAAI,CAAC,SAAS,GAAG,IAAI;AACrB,QAAA,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE;AACtB,QAAA,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE;AACnB,QAAA,IAAI,CAAC,MAAM,GAAG,SAAS;AACvB,QAAA,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;IACxB;AAEQ,IAAA,MAAM,IAAI,GAAA;AAChB,QAAA,IAAI;AACF,YAAA,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAC9B;QAAE,OAAO,KAAK,EAAE;YACd,IAAI,CAAC,IAAI,CAAC,SAAS;AAAE,gBAAA,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YAC9C;QACF;QACA,IAAI,IAAI,CAAC,SAAS;YAAE;;QAEpB,IAAI,CAAC,IAAI,CAAC,MAAM;AAAE,YAAA,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE;AAC7C,QAAA,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI;AACtC,QAAA,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AAC3D,QAAA,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,OAAO,IAAI,IAAI;;QAErD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAK;AAC/C,YAAA,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM;AAC3B,YAAA,MAAM,MAAM,GAAG,OAAO,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;AAC/D,YAAA,IAAI,CAAC,MAAM,GAAG,MAAM;YACpB,MAAM,GAAG,GAKL,EAAE;;AAEN,YAAA,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE;AAC/B,gBAAA,IAAI;oBACF,GAAG,CAAC,SAAS,GAAG;AACd,0BAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI;AAC/E,0BAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAsB;AACrE,oBAAA,IAAI,CAAC,eAAe,GAAG,KAAK,IAAI,EAAE;gBACpC;gBAAE,OAAO,KAAK,EAAE;AACd,oBAAA,GAAG,CAAC,YAAY,GAAG,KAAK;gBAC1B;YACF;AACA,YAAA,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,GAAG,OAAO,GAAG,IAAI,CAAC,EAAE;AACpD,gBAAA,IAAI;AACF,oBAAA,MAAM,CAAC,aAAa,CAAC,IAAI,GAAG,OAAO,GAAG,IAAI,CAAC;AAC3C,oBAAA,IAAI,CAAC,eAAe,GAAG,IAAI;gBAC7B;gBAAE,OAAO,KAAK,EAAE;AACd,oBAAA,GAAG,CAAC,eAAe,GAAG,KAAK;gBAC7B;YACF;AACA,YAAA,IAAI,OAAO;AAAE,gBAAA,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;YACrC,IAAI,OAAO,EAAE;AACX,gBAAA,IAAI,IAAI,CAAC,eAAe,EAAE;AACxB,oBAAA,IAAI;AACF,wBAAA,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE;oBAC9B;oBAAE,OAAO,KAAK,EAAE;AACd,wBAAA,GAAG,CAAC,eAAe,KAAK,KAAK;oBAC/B;gBACF;qBAAO;;AAEL,oBAAA,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,OAAO,EAAE,IAAI,CAAC;AAC9E,oBAAA,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM;AAC9B,oBAAA,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;AAAE,wBAAA,GAAG,CAAC,eAAe,KAAK,UAAU,CAAC,KAAK;gBAC9E;YACF;iBAAO;AACL,gBAAA,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE;AACvB,gBAAA,GAAG,CAAC,MAAM,GAAG,IAAI;YACnB;AACA,YAAA,OAAO,GAAG;AACZ,QAAA,CAAC,CAAC;AACF,QAAA,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;AACpF,QAAA,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE;AAAE,YAAA,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;AAC/E,QAAA,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS;YAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;AAC7F,QAAA,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAmB,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/F;AAEQ,IAAA,OAAO,CAAC,IAA6B,EAAA;;AAE3C,QAAA,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAK;AACjB,YAAA,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE;AAC1B,YAAA,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;AACrB,YAAA,IAAI,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC;AAAE,gBAAA,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;AACzE,QAAA,CAAC,CAAC;IACJ;AAEQ,IAAA,aAAa,CAAC,KAAc,EAAA;AAClC,QAAA,OAAO,CAAC,KAAK,CAAC,+CAA+C,EAAE,KAAK,CAAC;;AAErE,QAAA,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;YAChB,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC;AAC3C,YAAA,OAAO,CAAC,SAAS,GAAG,aAAa;AACjC,YAAA,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC;AACrC,YAAA,OAAO,CAAC,WAAW;AACjB,gBAAA,CAAA,6CAAA,EAAgD,IAAI,CAAC,OAAO,CAAA,2EAAA,CAA6E;AAC3I,YAAA,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC;QACpC;AACA,QAAA,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;IAC7B;wGAnJW,kBAAkB,EAAA,IAAA,EAAA,EAAA,EAAA,MAAA,EAAA,EAAA,CAAA,eAAA,CAAA,SAAA,EAAA,CAAA;AAAlB,IAAA,OAAA,IAAA,GAAA,EAAA,CAAA,oBAAA,CAAA,EAAA,UAAA,EAAA,QAAA,EAAA,OAAA,EAAA,SAAA,EAAA,IAAA,EAAA,kBAAkB,8qCAHnB,EAAE,EAAA,QAAA,EAAA,IAAA,EAAA,eAAA,EAAA,EAAA,CAAA,uBAAA,CAAA,MAAA,EAAA,CAAA;;4FAGD,kBAAkB,EAAA,UAAA,EAAA,CAAA;kBAN9B,SAAS;AAAC,YAAA,IAAA,EAAA,CAAA;AACT,oBAAA,QAAQ,EAAE,eAAe;AACzB,oBAAA,UAAU,EAAE,IAAI;AAChB,oBAAA,QAAQ,EAAE,EAAE;oBACZ,eAAe,EAAE,uBAAuB,CAAC,MAAM;AAChD,iBAAA;;;AChDD;;;;;AAKG;MAEU,qBAAqB,CAAA;AACf,IAAA,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC;AAEjD;;;;;;AAMG;IACH,MAAM,QAAQ,CACZ,IAAY,EACZ,QAAA,GAA8C,IAAI,EAClD,OAAA,GAAkC,IAAI,EAAA;AAEtC,QAAA,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,IAAI,IAAI,GAAG,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC;AACxF,QAAA,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAqB;IACtE;wGAlBW,qBAAqB,EAAA,IAAA,EAAA,EAAA,EAAA,MAAA,EAAA,EAAA,CAAA,eAAA,CAAA,UAAA,EAAA,CAAA;AAArB,IAAA,OAAA,KAAA,GAAA,EAAA,CAAA,qBAAA,CAAA,EAAA,UAAA,EAAA,QAAA,EAAA,OAAA,EAAA,SAAA,EAAA,QAAA,EAAA,EAAA,EAAA,IAAA,EAAA,qBAAqB,cADR,MAAM,EAAA,CAAA;;4FACnB,qBAAqB,EAAA,UAAA,EAAA,CAAA;kBADjC,UAAU;mBAAC,EAAE,UAAU,EAAE,MAAM,EAAE;;;ACVlC;;AAEG;;"}

package/index.d.ts

@@ -1 +1,6 @@
 export { OdrlProseComponent, PROSE_WASM_URL } from './odrl-prose.component';
+export { ProseValidatorService } from './validator.service';
+export type { ProfileSummary } from './profile-sync';
+export { reportChanged } from './validation-sync';
+export type { ReportLike } from './validation-sync';
+export type { Finding, RuleId, RuleInfo, ValidateOptions, ValidationReport, Verdict } from '@ds-labs/prose-wasm';

package/odrl-prose.component.d.ts

@@ -1,11 +1,9 @@
-import { OnChanges, OnDestroy, InjectionToken } from '@angular/core';
+import { OnChanges, OnDestroy } from '@angular/core';
+import { type ValidateOptions, type ValidationReport } from '@ds-labs/prose-wasm';
+import { ProfileSummary } from './profile-sync';
+import { PROSE_WASM_URL } from './wasm-runtime';
 import * as i0 from "@angular/core";
-/**
- * Where the browser fetches `prose_wasm_bg.wasm` from, relative to the page's
- * base href. The build does not emit the file for you: copy it into your
- * assets (see README) or provide this token.
- */
-export declare const PROSE_WASM_URL: InjectionToken<string>;
+export { PROSE_WASM_URL };
 /**
  * `<ds-odrl-prose [json]="policy" />` renders ODRL JSON-LD as plain-language
  * prose using the Yew component from `prose-yew`.
@@ -13,6 +11,23 @@ export declare const PROSE_WASM_URL: InjectionToken<string>;
  * The component owns the host element's children (Yew keeps its own virtual
  * DOM there); style it through the `prose-*` classes or the `class` input.
  *
+ * `[profile]` takes the text of an ODRL profile (JSON-LD or Turtle, as the
+ * host fetched it; the component does no network access). The prose then uses
+ * the profile's labels, and a glossary of its terms follows each policy.
+ * `profileLoaded` emits the profile's summary; an unreadable profile emits
+ * `profileError` and the previous profile stays.
+ *
+ * `[profiles]` takes several profiles at once (a list wins over `profile`).
+ *
+ * `[strict]="true"` validates the policy against the loaded profiles with a
+ * closed vocabulary: ODRL plus those profiles. `[validation]` takes the full
+ * options (it wins over `strict`). `validationChange` emits the report
+ * (schema `ds-prose/validation-report@1`) each time the verdict or the
+ * findings change, and the `report` signal always holds the latest. A
+ * verdict of `incomplete` is never a pass: something could not be checked,
+ * such as a declared profile that is not loaded. `[showViolations]` also
+ * shows the findings under the prose.
+ *
  * If the wasm cannot be loaded, the host shows an error (`role="alert"`,
  * class `prose-error`), `loadFailed` emits the error, and the next change of
  * an input tries again.
@@ -22,17 +37,43 @@ export declare class OdrlProseComponent implements OnChanges, OnDestroy {
     readonly json: import("@angular/core").InputSignal<string>;
     /** Extra class(es) for the rendered `<article class="ds-prose">`. */
     readonly articleClass: import("@angular/core").InputSignal<string | undefined>;
+    /** The ODRL profile the prose is worded with, as JSON-LD or Turtle text. */
+    readonly profile: import("@angular/core").InputSignal<string | null>;
+    /** Several ODRL profiles, as JSON-LD or Turtle text each; wins over `profile`. */
+    readonly profiles: import("@angular/core").InputSignal<string[] | null>;
+    /** Validate with a closed vocabulary: ODRL plus the loaded profiles. */
+    readonly strict: import("@angular/core").InputSignal<boolean>;
+    /** The full validation options; they take precedence over `strict`. */
+    readonly validation: import("@angular/core").InputSignal<ValidateOptions | null>;
+    /** Show the findings and the verdict under the prose. Needs `strict` or `validation`. */
+    readonly showViolations: import("@angular/core").InputSignal<boolean>;
     /** Emits when the wasm module could not be loaded. */
     readonly loadFailed: import("@angular/core").OutputEmitterRef<unknown>;
+    /** Emits the summary of each profile loaded from the `profile` input. */
+    readonly profileLoaded: import("@angular/core").OutputEmitterRef<ProfileSummary>;
+    /** Emits when the `profile` input is not a readable profile; the previous one stays. */
+    readonly profileError: import("@angular/core").OutputEmitterRef<unknown>;
+    /** Emits the report when the verdict or the findings change. */
+    readonly validationChange: import("@angular/core").OutputEmitterRef<ValidationReport>;
+    /** Emits when `validation` is not readable options; the previous options stay. */
+    readonly validationError: import("@angular/core").OutputEmitterRef<unknown>;
+    /** The latest report, or `null` while validation is off. */
+    readonly report: import("@angular/core").WritableSignal<ValidationReport | null>;
     private readonly host;
     private readonly zone;
     private readonly wasmUrl;
     private handle?;
+    private readonly profilesChanged;
+    private readonly handleOptionsChanged;
+    private appliedProfiles;
+    private readonly standalone;
+    private handleValidates;
     private destroyed;
     ngOnChanges(): void;
     ngOnDestroy(): void;
     private sync;
+    private publish;
     private showLoadError;
     static ɵfac: i0.ɵɵFactoryDeclaration<OdrlProseComponent, never>;
-    static ɵcmp: i0.ɵɵComponentDeclaration<OdrlProseComponent, "ds-odrl-prose", never, { "json": { "alias": "json"; "required": true; "isSignal": true; }; "articleClass": { "alias": "articleClass"; "required": false; "isSignal": true; }; }, { "loadFailed": "loadFailed"; }, never, never, true, never>;
+    static ɵcmp: i0.ɵɵComponentDeclaration<OdrlProseComponent, "ds-odrl-prose", never, { "json": { "alias": "json"; "required": true; "isSignal": true; }; "articleClass": { "alias": "articleClass"; "required": false; "isSignal": true; }; "profile": { "alias": "profile"; "required": false; "isSignal": true; }; "profiles": { "alias": "profiles"; "required": false; "isSignal": true; }; "strict": { "alias": "strict"; "required": false; "isSignal": true; }; "validation": { "alias": "validation"; "required": false; "isSignal": true; }; "showViolations": { "alias": "showViolations"; "required": false; "isSignal": true; }; }, { "loadFailed": "loadFailed"; "profileLoaded": "profileLoaded"; "profileError": "profileError"; "validationChange": "validationChange"; "validationError": "validationError"; }, never, never, true, never>;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ds-labs/prose-angular",
-  "version": "0.1.1",
+  "version": "0.4.0",
   "description": "Angular component that renders ODRL JSON-LD as plain-language prose (ds-prose-rs, compiled to WebAssembly)",
   "keywords": [
     "angular",
@@ -27,7 +27,7 @@
     "@angular/core": ">=19.0.0"
   },
   "dependencies": {
-    "@ds-labs/prose-wasm": "^0.1.0",
+    "@ds-labs/prose-wasm": "^0.4.0",
     "tslib": "^2.3.0"
   },
   "module": "fesm2022/ds-labs-prose-angular.mjs",

package/profile-sync.d.ts

@@ -0,0 +1,23 @@
+/**
+ * A loaded profile, as `ProseHandle.setProfile` describes it. `counts` has
+ * one entry per kind of term present (`action`, `leftOperand`, `operator`,
+ * `rightOperand`, `conflictTerm`, ...).
+ */
+export interface ProfileSummary {
+    iri: string | null;
+    title: string | null;
+    version: string | null;
+    terms: number;
+    counts: Record<string, number>;
+    warnings: string[];
+}
+/**
+ * A tracker of the profile text last handed to the wasm, one per component.
+ * It returns true when `text` must be handed over now: only when it changed,
+ * so a policy change alone does not re-read a large profile, and a profile
+ * that failed is not reported again until it changes. `null`, `undefined`
+ * and blank text all mean no profile, which is what a fresh mount has.
+ */
+export declare function createProfileTracker(): (text: string | null | undefined) => boolean;
+/** The summary `setProfile` returns, or null for `"null"` (no profile). */
+export declare function parseSummary(json: string): ProfileSummary | null;

package/validation-sync.d.ts

@@ -0,0 +1,65 @@
+import type { ValidateOptions } from '@ds-labs/prose-wasm';
+/** What `reportChanged` reads of a `ValidationReport`. */
+export interface ReportLike {
+    verdict: string;
+    findings?: readonly {
+        fingerprint: string;
+        severity?: string;
+    }[];
+}
+/**
+ * Whether `next` is a report the host has not seen: the verdict, or the set
+ * of findings (by fingerprint, with their severity), differs. Wording, order
+ * and the rest of the report do not count, so a policy edit that changes
+ * nothing the validator found is not an event. No report to no report is not
+ * a change; a first report, or one that goes away, is.
+ */
+export declare function reportChanged(prev: ReportLike | null | undefined, next: ReportLike | null | undefined): boolean;
+/**
+ * The options the wasm validator is given for the `strict` and `validation`
+ * inputs: `validation` as given (copied) when set, since it takes precedence;
+ * else strict mode when `strict` is on; else `null`, no validation.
+ */
+export declare function validationOptions(strict: boolean, validation: ValidateOptions | null | undefined): ValidateOptions | null;
+/**
+ * The profile texts for the `profile` and `profiles` inputs. A list wins over
+ * the single profile (an empty one clears it); blank texts are dropped; `null`
+ * means no profile input at all.
+ */
+export declare function profileTexts(profile: string | null | undefined, profiles: readonly string[] | null | undefined): string[] | null;
+/**
+ * A tracker of the value last handed to the wasm, one per component. It
+ * returns true when `value` differs from the last one (compared as JSON), so
+ * an unchanged input is not handed over again. `null` and `undefined` are
+ * "none", which is what a fresh mount has.
+ */
+export declare function createChangeTracker<T>(): (value: T | null | undefined) => boolean;
+/** The report text `ProseHandle.report()` returns, parsed; `null` for none. */
+export declare function parseReport<R = unknown>(text: string | null | undefined): R | null;
+/** What `StandaloneReporter` needs of a `ProseValidator`. */
+export interface ValidatorLike {
+    validate(json: string): string;
+    free(): void;
+}
+/**
+ * The report for a policy when the handle is not validating: a validator
+ * rebuilt when the profiles or the options change. When the options cannot be
+ * read, the previous options stay, as the `validationError` output promises:
+ * the report is computed with the last options that worked (or is `null`
+ * when none did), so it follows the policy and is never a stale one.
+ */
+export declare class StandaloneReporter<V extends ValidatorLike = ValidatorLike> {
+    private cached?;
+    private good;
+    private readonly build;
+    constructor(build: (profiles: string[], options: ValidateOptions) => V);
+    /** The report text for `json`, and the error when `options` were unreadable. */
+    report(profiles: string[], options: ValidateOptions, json: string): {
+        report: string | null;
+        error?: unknown;
+    };
+    /** Validation is off: no options are "previous" any more. */
+    clear(): void;
+    free(): void;
+    private validator;
+}

package/validator.service.d.ts

@@ -0,0 +1,21 @@
+import { type ValidateOptions, type ValidationReport } from '@ds-labs/prose-wasm';
+import * as i0 from "@angular/core";
+/**
+ * Validates ODRL policies against ODRL profiles without rendering anything
+ * (a form's submit guard, a list of policies). It runs the same engine as
+ * `<ds-odrl-prose [strict]>` and the `ds-prose-validate` command, so the
+ * report is the same.
+ */
+export declare class ProseValidatorService {
+    private readonly wasmUrl;
+    /**
+     * The report for the policy `json` against `profiles` (the text of each
+     * profile, JSON-LD or Turtle; the service does no network access). Strict
+     * unless `options.strict` is `false`. Waits for the wasm module to load;
+     * rejects when it cannot, or when a profile or the options cannot be read.
+     * A problem in the policy is never a rejection: it is a finding.
+     */
+    validate(json: string, profiles?: string | readonly string[] | null, options?: ValidateOptions | null): Promise<ValidationReport>;
+    static ɵfac: i0.ɵɵFactoryDeclaration<ProseValidatorService, never>;
+    static ɵprov: i0.ɵɵInjectableDeclaration<ProseValidatorService>;
+}

package/wasm-runtime.d.ts

@@ -0,0 +1,8 @@
+import { InjectionToken } from '@angular/core';
+/**
+ * Where the browser fetches `prose_wasm_bg.wasm` from, relative to the page's
+ * base href. The build does not emit the file for you: copy it into your
+ * assets (see README) or provide this token.
+ */
+export declare const PROSE_WASM_URL: InjectionToken<string>;
+export declare const loadWasm: (url: string) => Promise<unknown>;