provared 0.2.0 → 0.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +85 -0
- package/README.md +116 -653
- package/bin/provared-check.mjs +36 -1
- package/docs/guide.md +736 -0
- package/package.json +25 -2
- package/src/dev.d.ts +54 -0
- package/src/dev.js +123 -0
package/CHANGELOG.md
CHANGED
|
@@ -1,5 +1,90 @@
|
|
|
1
1
|
# Changelog
|
|
2
2
|
|
|
3
|
+
## 0.3.0 (10 October 2026)
|
|
4
|
+
|
|
5
|
+
- 2026-10-10: **a development stand-in for a passkey**, `provared/dev`
|
|
6
|
+
in JavaScript and `provared.dev` in Python, so that a first record can
|
|
7
|
+
be made without a browser: `developmentPasskey` (an ES256 key made in
|
|
8
|
+
memory that returns the three values a passkey returns, for the page
|
|
9
|
+
address `http://localhost`), `developmentSlip` (a slip it signed, with
|
|
10
|
+
new keys for the agent, a book holding the slip, and the stand-in's
|
|
11
|
+
thumbprint for a checker) and `developmentRecorder` (the stub writer
|
|
12
|
+
opened under such a slip, in one call). It is not a passkey and no
|
|
13
|
+
person confirms anything through it, so the issuer's name in every
|
|
14
|
+
slip it signs is made to end with " (development)", whatever name is
|
|
15
|
+
given, and the checker prints that name. The library itself (`provared`)
|
|
16
|
+
does not export it, and the checker does not use it. A first record in
|
|
17
|
+
one file: `examples/first-record.mjs` and
|
|
18
|
+
`python/examples/first_record.py`, each run by a test.
|
|
19
|
+
- 2026-10-10: `provared-check --sample` checks the sample record that
|
|
20
|
+
comes with the library, naming the stand-in passkey, the recorder and
|
|
21
|
+
the time-stamp service it was made with as trusted, and prints their
|
|
22
|
+
fingerprints; with `--json` the result alone. A file or another option
|
|
23
|
+
given with it is refused.
|
|
24
|
+
- 2026-10-10: the README is now a short landing page (install, a first
|
|
25
|
+
record, the four parts, what is only here, what a record does not
|
|
26
|
+
prove, where everything else is), and its former body is
|
|
27
|
+
`docs/guide.md`, unchanged but for the additions above. New:
|
|
28
|
+
`SECURITY.md` (how to report a fault in the security of a record) and
|
|
29
|
+
`CONTRIBUTING.md` (fault reports and other implementations welcome;
|
|
30
|
+
code only under a contributor agreement, whose text is not ready yet).
|
|
31
|
+
`package.json` and `python/pyproject.toml` gain a homepage, keywords
|
|
32
|
+
and a longer description. Version 0.3.0 in both, not yet published.
|
|
33
|
+
- 2026-10-10: the pages at prova.red: the home page's first screen now
|
|
34
|
+
shows the checker's summary and the install lines before the four
|
|
35
|
+
parts, with the plain word first and the short name after ("the
|
|
36
|
+
permission (a Slip)"); a first record of your own, in three commands,
|
|
37
|
+
with the file above and the LangChain package; "what the author found
|
|
38
|
+
nowhere else (October 2026)"; the status promises that every published
|
|
39
|
+
version stays on npm and the Python Package Index. The plain-words page
|
|
40
|
+
says that the 25 rounds of review were by AI reviewers and that no
|
|
41
|
+
person other than the author has reviewed the code yet, gives the date
|
|
42
|
+
from which the EU AI Act's logging duty applies (2 December 2027),
|
|
43
|
+
marks its charity example as invented, and uses "flight recorder" only
|
|
44
|
+
as a description. The developer page shows the code that made the
|
|
45
|
+
sample record and says the same about the reviews. All three pages
|
|
46
|
+
gain preview tags, an icon (`favicon.svg`, four coloured squares) and
|
|
47
|
+
a preview image (`preview.png`, drawn from a small page in a headless
|
|
48
|
+
browser), with the content security policy widened by `img-src 'self'`
|
|
49
|
+
only; `robots.txt` and `sitemap.xml` are added, and the workflow copies
|
|
50
|
+
everything in `site/`. Nothing in the library changes for this.
|
|
51
|
+
- 2026-10-10: the pages for prova.red, in `site/`: what a record
|
|
52
|
+
proves, the command-line checker's own answer for the sample record
|
|
53
|
+
(run on Node.js 24.19), how to try it, what is only here, how it is
|
|
54
|
+
built, where it is, a worked example for developers ("An agent goes
|
|
55
|
+
over its limit, and the record shows where") and "Provared in plain
|
|
56
|
+
words", three minutes for a reader who does not write code, with two
|
|
57
|
+
drawings that follow the sample record. No script, no font, no image,
|
|
58
|
+
no form: each page loads nothing from anywhere and keeps nothing about
|
|
59
|
+
a reader, and says so. The drawings carry their colours as plain SVG
|
|
60
|
+
attributes as well as through the style sheet, and the pages load the
|
|
61
|
+
style sheet under a versioned address, so a browser that kept an
|
|
62
|
+
earlier copy still draws them right. A workflow, `.github/workflows/pages.yml`,
|
|
63
|
+
publishes them with GitHub Pages from the main branch, with the
|
|
64
|
+
checking page at `/check/` (with the library and the sample it loads,
|
|
65
|
+
copied as they are) and built as one file at `/provared-check.html`.
|
|
66
|
+
The four actions it uses are GitHub's own, each pinned to the commit
|
|
67
|
+
of a released version. The site is not published until the domain
|
|
68
|
+
points at it. Nothing in the library, the checker or the package
|
|
69
|
+
changes.
|
|
70
|
+
- 2026-10-08: two small Python packages for agent frameworks, in
|
|
71
|
+
`python/integrations/`, each in a folder of its own, which names its
|
|
72
|
+
framework. Each puts every tool call of an agent behind the stub
|
|
73
|
+
writer with no change to the tools: the check before acting is asked,
|
|
74
|
+
the tool runs only if the slip allows it, and a stub is written; a call
|
|
75
|
+
that is not allowed is not run, and the model is told why. Each checks
|
|
76
|
+
the call as the tool receives it: one must come last among the parts
|
|
77
|
+
that wrap tool calls, and refuses to run otherwise; the other wraps
|
|
78
|
+
each of the agent's own sets of tools, wherever it stands. Each works with ordinary
|
|
79
|
+
and asynchronous agents: the stub writer runs in a thread of its own
|
|
80
|
+
for each call, and cancelling a run cancels a tool that is waiting.
|
|
81
|
+
Each is tested with its framework's own stand-in model, inside the
|
|
82
|
+
examples' guard. An independent review found eight faults in the first
|
|
83
|
+
draft, among them a reviewer's change that got past the slip and
|
|
84
|
+
asynchronous agents that could hang; each is fixed and tested. They use
|
|
85
|
+
only the public interface of the `provared` package, which itself still
|
|
86
|
+
names no product. Not yet published.
|
|
87
|
+
|
|
3
88
|
## 0.2.0 (8 October 2026)
|
|
4
89
|
|
|
5
90
|
- 2026-10-08: version 0.2.0, for the npm package and, for the first
|