@vantageos/backend-doctor 0.3.0 → 0.4.2

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.
@@ -1,7 +1,7 @@
1
1
  {
2
- "standard_sha": "2825122a3ab1e4ddb4b955cfb136b7e8ab04f8f3",
3
- "standard_file": "fixtures/backend-standard-2825122.md",
4
- "about": "Per-rule gate class for the deploy gate's mechanical_violations count. mechanical = a detector decides it by deterministic code over the source or the oracle; judgement = it needs a human reading or a written justification the detector cannot verify. DATA, never TS logic: src/rule-class.ts loads this file and cross-checks every R- entry against the pinned standard's own build kind (section 15 table, which at 2825122 lists all 52 rules; the '*kind:*' Detector-spec token is the fallback for a rule the table omits) through standard_kind_to_class. A sidecar class that disagrees with the standard, or a rule with no entry, is could-not-judge: the CLI names it and the evidence file carries mechanical_violations = null, never a defaulted count.",
2
+ "standard_sha": "bacc54a53d5f6f9f20e5254908e2b46807902faa",
3
+ "standard_file": "fixtures/backend-standard-bacc54a.md",
4
+ "about": "Per-rule gate class for the deploy gate's mechanical_violations count. mechanical = a detector decides it by deterministic code over the source or the oracle; judgement = it needs a human reading or a written justification the detector cannot verify. DATA, never TS logic: src/rule-class.ts loads this file and cross-checks every R- entry against the pinned standard's own build kind (section 15 table, which at bacc54a lists all 56 rules; the '*kind:*' Detector-spec token is the fallback for a rule the table omits) through standard_kind_to_class. A sidecar class that disagrees with the standard, or a rule with no entry, is could-not-judge: the CLI names it and the evidence file carries mechanical_violations = null, never a defaulted count.",
5
5
  "standard_kind_to_class": {
6
6
  "mechanical": "mechanical",
7
7
  "judgement": "judgement",
@@ -216,13 +216,29 @@
216
216
  "class": "mechanical",
217
217
  "basis": "standard s15 row R-53: principal source, ID-vs-name admission predicate, unresolved branch and local identity layer read from source; no token exit"
218
218
  },
219
+ "R-54": {
220
+ "class": "mechanical",
221
+ "basis": "standard s15 row R-54: a door that resolves its caller through the scope resolver is read for a claim argument and a refusal of the claimless service-account call; exits listed; no other token exit"
222
+ },
223
+ "R-55": {
224
+ "class": "mechanical",
225
+ "basis": "standard s15 row R-55: a caller-dependent predicate or an aggregate applied after the bound of a read is read from source; no token exit"
226
+ },
227
+ "R-56": {
228
+ "class": "mechanical",
229
+ "basis": "standard s15 row R-56: credential storage, refresh-token consumption, bearer mint revocation and verification-token matching read from source; no token exit"
230
+ },
231
+ "R-57": {
232
+ "class": "mechanical",
233
+ "basis": "standard s15 row R-57: a function defining an identity primitive of any of five kinds, ceiling zero; measured and reported under the doctor-owned key CR-2 (src/not-checkable.ts names why), so it is never counted twice"
234
+ },
219
235
  "CR-1": {
220
236
  "class": "mechanical",
221
237
  "basis": "doctor-owned: a FAIL-OPEN or unjustified NO-IDENTITY registration is classified from source; not in the standard, so no cross-check"
222
238
  },
223
239
  "CR-2": {
224
240
  "class": "mechanical",
225
- "basis": "doctor-owned: a function outside @vantageos/cloud-identity that resolves a caller to a tenant, asserts membership, filters by caller scope, validates a credential or identifies an agent by name is classified from source (AST); ceiling 0; not in the standard, so no cross-check"
241
+ "basis": "doctor-owned: a function outside @vantageos/cloud-identity that resolves a caller to a tenant, asserts membership, filters by caller scope, validates a credential or identifies an agent by name is classified from source (AST); ceiling 0; the standard at bacc54a numbers this rule R-57, the key stays CR-2 for the deploy-gate baseline; non-R id, so no cross-check"
226
242
  }
227
243
  }
228
244
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@vantageos/backend-doctor",
3
- "version": "0.3.0",
3
+ "version": "0.4.2",
4
4
  "description": "A conformance instrument that measures the VantagePeers backend against the pinned backend standard. The THIRD doctor built ON the @vantageos/mcp-doctor engine — never a third engine. It consumes runDoctor/renderTable and adds only detectors.",
5
5
  "type": "module",
6
6
  "main": "./dist/cli.js",