@wrtnlabs/evidence 0.0.0

package/lib/typings/EvidenceProgrammingSymbol.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Public programming declarations classified by each language adapter.
+ *
+ * - "type": classes, interfaces, type aliases, namespaces, and their equivalents.
+ * - "function": functions, public methods, and callable declarations.
+ * - "property": public data fields and variables.
+ *
+ * TypeScript classification:
+ *
+ * - Type declarations must be exported; enums are excluded.
+ * - Functions include:
+ *   - Exported functions and consts initialized with arrow/function expressions,
+ *     including parentheses and type-only wrappers.
+ *   - Public class methods and method signatures of interfaces and object-shaped
+ *     type aliases, including the same forms inside namespaces.
+ *   - Members initialized with functions or annotated with an inline function
+ *     type. Overload declarations form one unit.
+ * - Properties include:
+ *   - Exported const/let/var bindings and destructured leaves, except the const
+ *     function initializers above. Function-valued let/var remain properties.
+ *     A function type annotation alone also leaves a variable a property.
+ *   - Non-callable members of classes, interfaces, and object-shaped type aliases.
+ *     A named type alias, union, or constructor type does not make a member a
+ *     function; an inline function type does.
+ *   - Public constructor parameter properties, classified like body fields
+ *     regardless of the constructor's visibility.
+ *     Property modifiers include public, protected, private, readonly, and
+ *     override; documentation belongs on the parameter.
+ * - Constructors, accessors, computed names, and private/protected members are
+ *   excluded. Computed literal names are excluded too.
+ *
+ * TypeScript addresses:
+ *
+ * - Use the public export name, including aliases; default exports use "default".
+ *   Anonymous default classes/functions also have that address. A default-only
+ *   local binding is not a named export.
+ * - Namespace members use qualified names; ambient members are public without
+ *   individual export modifiers.
+ * - Type-only exports expose type-space declarations and withhold value-space
+ *   declarations across every export spelling and module boundary:
+ *   - Classes/namespaces themselves remain visible, but class members and
+ *     namespace values do not.
+ *   - Standalone interface and object-shaped alias members remain visible,
+ *     including callable members. Interfaces merged with classes follow the
+ *     class's value-space member rules.
+ * - Static class members use Class.member; instance members and parameter
+ *   properties use Class.prototype.member. Standalone interface/alias members
+ *   use Type.member; interfaces merged with classes use Class.prototype.member.
+ * - File-qualified targets use a path relative to the citing file, "#", and the
+ *   accessor. Literal member names use bracketed JSON strings. Symbol characters
+ *   match exactly; path normalization must not rewrite them.
+ * - Re-exports do not create duplicate units in the barrel file.
+ *
+ * Types and namespaces contain their declared descendants. Ordinary citations
+ * and permitted exclusions cover selected descendants, and unselected ancestors
+ * remain addressable.
+ */
+export type EvidenceProgrammingSymbol = "type" | "function" | "property";

package/lib/typings/EvidenceProgrammingSymbol.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceProgrammingType.d.ts

@@ -0,0 +1,7 @@
+/** Programming-language identifiers accepted by programming artifact adapters.
+ *
+ * A configuration selects one of these explicit parser and extraction contracts;
+ * filename detection is not a substitute for declaring the artifact type. New
+ * language research remains in the candidate types until it meets that contract.
+ */
+export type EvidenceProgrammingType = "c" | "cpp" | "csharp" | "dart" | "go" | "java" | "javascript" | "kotlin" | "lua" | "matlab" | "objc" | "php" | "python" | "ruby" | "rust" | "scala" | "swift" | "typescript" | "zig";

package/lib/typings/EvidenceProgrammingType.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceQueryReport.d.ts

@@ -0,0 +1,10 @@
+import type { IEvidenceInspectReport } from "../structures/IEvidenceInspectReport";
+import type { IEvidenceLanguagesReport } from "../structures/IEvidenceLanguagesReport";
+import type { IEvidenceListReport } from "../structures/IEvidenceListReport";
+/** Structured result returned by an inspection-oriented command.
+ *
+ * Query commands share output rendering but answer different questions: listing
+ * discovered units, inspecting a target, or reporting available languages. This
+ * union keeps the renderer generic while each command preserves its own schema.
+ */
+export type EvidenceQueryReport = IEvidenceInspectReport | IEvidenceLanguagesReport | IEvidenceListReport;

package/lib/typings/EvidenceQueryReport.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceReportFormat.d.ts

@@ -0,0 +1,7 @@
+/** Report encodings supported by the check command.
+ *
+ * `text` is the diagnostic-oriented terminal presentation. `json` preserves the
+ * report structure for automation, including fields a human formatter may omit
+ * or rearrange.
+ */
+export type EvidenceReportFormat = "text" | "json";

package/lib/typings/EvidenceReportFormat.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceSeverity.d.ts

@@ -0,0 +1,7 @@
+/** Configured severity for one claim or reference obligation.
+ *
+ * `off` removes the entry during plan construction. `warning` and `error` keep
+ * it active and control the diagnostic level emitted when evaluation finds an
+ * unmet obligation; they are represented separately by `EvidenceActiveSeverity`.
+ */
+export type EvidenceSeverity = "off" | "warning" | "error";

package/lib/typings/EvidenceSeverity.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceSymbol.d.ts

@@ -0,0 +1,11 @@
+import type { EvidenceDatabaseSymbol } from "./EvidenceDatabaseSymbol";
+import type { EvidenceMarkdownSymbol } from "./EvidenceMarkdownSymbol";
+import type { EvidenceProgrammingSymbol } from "./EvidenceProgrammingSymbol";
+/** Symbol kind used to select a unit within its artifact-specific inventory.
+ *
+ * Programming, database, and Markdown adapters contribute their own precise
+ * classifications. `operation` covers API operations, whose target semantics
+ * do not correspond to a programming declaration or document heading. Consumers
+ * must retain the accompanying artifact type when interpreting this value.
+ */
+export type EvidenceSymbol = EvidenceProgrammingSymbol | EvidenceDatabaseSymbol | EvidenceMarkdownSymbol | "operation";

package/lib/typings/EvidenceSymbol.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceTargetResolutionStatus.d.ts

@@ -0,0 +1,8 @@
+/** Outcome category for resolving one authored file-qualified target.
+ *
+ * `resolved` identifies one visible unit. Every other value explains why the
+ * target cannot satisfy a reference, including semantic ambiguity, a boundary
+ * violation, or incomplete discovery. Callers preserve this distinction in
+ * diagnostics instead of collapsing all failures into a missing member.
+ */
+export type EvidenceTargetResolutionStatus = "resolved" | "ambiguous" | "hidden" | "malformed" | "missing-file" | "missing-member" | "out-of-population" | "unsupported-host" | "incomplete";

package/lib/typings/EvidenceTargetResolutionStatus.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceUnitSelection.d.ts

@@ -0,0 +1,7 @@
+/** Relationship between an inventory unit and a configured population.
+ *
+ * `selected` units form the coverage denominator. `ancestor` units remain
+ * addressable to cover selected descendants but do not count themselves, while
+ * `unselected` units are outside that population's target space altogether.
+ */
+export type EvidenceUnitSelection = "selected" | "ancestor" | "unselected";

package/lib/typings/EvidenceUnitSelection.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceWatchCycle.d.ts

@@ -0,0 +1,9 @@
+import type { IEvidenceWatchCheckCycle } from "../structures/IEvidenceWatchCheckCycle";
+import type { IEvidenceWatchFailureCycle } from "../structures/IEvidenceWatchFailureCycle";
+/** Published outcome of one debounced, stable watch attempt.
+ *
+ * A successful cycle contains a completed check report. A failed cycle retains
+ * the operational failure separately so subscribers do not mistake a transient
+ * scan/configuration error for a completed check with zero violations.
+ */
+export type EvidenceWatchCycle = IEvidenceWatchCheckCycle | IEvidenceWatchFailureCycle;

package/lib/typings/EvidenceWatchCycle.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/EvidenceWatchPublisher.d.ts

@@ -0,0 +1,8 @@
+import type { EvidenceWatchCycle } from "./EvidenceWatchCycle";
+/** Subscriber invoked for each stable watch cycle in publication order.
+ *
+ * Watch waits for a returned promise before publishing the next cycle. That
+ * backpressure lets a consumer persist, display, or forward a report without
+ * reordering results, while a synchronous subscriber may return `undefined`.
+ */
+export type EvidenceWatchPublisher = (cycle: EvidenceWatchCycle) => unknown;

package/lib/typings/EvidenceWatchPublisher.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/lib/typings/index.d.ts

@@ -0,0 +1,25 @@
+export type * from "./EvidenceAcknowledgementKind";
+export type * from "./EvidenceActiveSeverity";
+export type * from "./EvidenceArtifactType";
+export type * from "./EvidenceGrammarWasmAvailability";
+export type * from "./EvidenceLanguageCandidateId";
+export type * from "./EvidenceLanguageCandidateKind";
+export type * from "./EvidenceSymbol";
+export type * from "./EvidenceDatabaseSymbol";
+export type * from "./EvidenceDatabaseType";
+export type * from "./EvidenceMarkdownSymbol";
+export type * from "./EvidenceParserErrorCode";
+export type * from "./EvidenceProgrammingSymbol";
+export type * from "./EvidenceProgrammingType";
+export type * from "./EvidenceSeverity";
+export type * from "./EvidenceTargetResolutionStatus";
+export type * from "./EvidenceCheckStatus";
+export type * from "./EvidenceCommandExitCode";
+export type * from "./EvidenceGraphFormat";
+export type * from "./EvidenceGraphNode";
+export type * from "./EvidencePopulationRole";
+export type * from "./EvidenceQueryReport";
+export type * from "./EvidenceReportFormat";
+export type * from "./EvidenceUnitSelection";
+export type * from "./EvidenceWatchCycle";
+export type * from "./EvidenceWatchPublisher";

package/lib/typings/index.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/package.json

@@ -0,0 +1,66 @@
+{
+  "name": "@wrtnlabs/evidence",
+  "version": "0.0.0",
+  "description": "Explicit evidence obligations for specifications, skills, code, and tests across languages.",
+  "main": "./lib/index.js",
+  "exports": {
+    ".": {
+      "types": "./lib/index.d.ts",
+      "default": "./lib/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "lib",
+    "README.md",
+    "LICENSE"
+  ],
+  "dependencies": {
+    "@prisma/prisma-schema-wasm": "7.10.0-2.d0368e25c88e68caa4d283b5f2d88d1b76ed9356",
+    "@typia/interface": "^14.0.6",
+    "@typia/utils": "^14.0.6",
+    "tstl": "^3.0.0",
+    "typia": "^14.0.6",
+    "web-tree-sitter": "0.27.0",
+    "yaml": "^2.9.0"
+  },
+  "peerDependencies": {
+    "ttsc": "^0.30.1",
+    "typescript": "^7.0.2"
+  },
+  "devDependencies": {
+    "@ttsc/evidence": "^0.30.1",
+    "@ttsc/lint": "^0.30.1",
+    "@types/node": "^22.20.2",
+    "rimraf": "^6.1.3",
+    "ttsc": "^0.30.1",
+    "typescript": "^7.0.2"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/wrtnlabs/evidence.git",
+    "directory": "packages/evidence"
+  },
+  "bugs": {
+    "url": "https://github.com/wrtnlabs/evidence/issues"
+  },
+  "homepage": "https://github.com/wrtnlabs/evidence#readme",
+  "keywords": [
+    "evidence",
+    "traceability",
+    "tree-sitter",
+    "specifications"
+  ],
+  "author": "Wrtn Technologies",
+  "license": "MIT",
+  "scripts": {
+    "build": "rimraf lib && ttsc && node ../../scripts/verify-evidence-build-output.js"
+  },
+  "types": "./lib/index.d.ts",
+  "bin": {
+    "evidence": "./lib/executable/evidence.js"
+  }
+}