CodeSampleX

Beispiel

verify pkg:npm/yaml@2.9.0

sha256:3a2291f1b609ea76bd25f9899745d3ceba59dcb56b581d1c3feaea861e75a470

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS
Deklarierte Umgebung linux 24 · ubuntu · glibc 2.39 x64 npm wsl

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
node 22 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-19

Fall

HOW
Ziel
verify pkg:npm/yaml@2.9.0
Pakete
Symbole
  • yaml.parse
  • yaml.stringify
  • yaml.parseDocument
  • yaml.parseAllDocuments
  • yaml.LineCounter
  • yaml.Document
  • yaml.Scalar
  • yaml.YAMLMap
  • yaml.YAMLSeq
  • yaml.Pair
  • yaml.isNode
  • yaml.isScalar
  • yaml.isMap
  • yaml.isSeq
  • yaml.isPair
Erstellt
2026-08-19T02:48:00Z

Contract

  1. assert yaml.parse parses standard YAML mappings, sequences, numbers, and booleans into native JavaScript types
  2. assert yaml.stringify formats JavaScript objects and arrays into valid YAML text with configurable options
  3. assert yaml.parseAllDocuments parses multi-document YAML streams separated by '---' into an array of Document ASTs
  4. assert yaml.LineCounter computes 1-indexed line and column positions for byte offsets across multi-line YAML input
  5. assert yaml.parseDocument produces a Document AST supporting AST node traversal, modification, and conversion via toJS
  6. assert yaml type guards isNode, isScalar, isMap, isSeq, and isPair correctly identify AST node kinds
  7. assert Document creates and serializes YAMLMap, YAMLSeq, Scalar, and Pair AST structures with preserved formatting and comments
  8. assert yaml.parse with merge: true resolves YAML 1.1 merge key << references into merged object fields
  9. assert yaml.parse throws YAMLParseError on malformed YAML syntax

Dateien

  • PROMPT.md
  • csx.json
  • index.mjs
  • package-lock.json
  • package.json
  • spec.json
  • test/contract.mjs

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym