{ "protocol": { "name": "CVP", "version": "1.0.0-proposed" }, "document_status": "proposed", "calculator": { "id": "cascaded-nf", "version": "1.1.1", "title": "Cascaded Noise Figure Calculator", "formula_family": "friis-cascaded-nf", "capability_id": "electrical.rf.cascaded_nf", "verification_revision": "2026-09-12.exclusive-encoding-contiguous" }, "profile": "engineering", "status": "VERIFIED", "verification_status": "VERIFIED", "production_freshness": "CURRENT", "overall_trust": "VERIFIED", "runner": { "name": "cvp-runner", "version": "1.0.0" }, "environment": { "runtime": "node", "runtime_version": "20.19.2", "numeric_model": "IEEE-754 binary64", "os": "darwin" }, "suite": { "id": "cascaded-nf", "version": "1.1.1", "uri": "https://www.calculatorx.com/evidence/electrical.rf.cascaded_nf/1.1.1.json", "verification_revision": "2026-09-12.exclusive-encoding-contiguous" }, "obligation_set": [ "CVP-PROV-01", "CVP-MODEL-01", "CVP-SCOPE-01", "CVP-UNIT-01", "CVP-REF-01", "CVP-GOLD-01", "CVP-BND-01", "CVP-INV-01", "CVP-NUM-01", "CVP-COV-01", "CVP-CONTRACT-01", "CVP-DEP-01", "CVP-ART-01", "CVP-PROD-01", "CVP-DIM-01", "CVP-PROP-01", "CVP-META-01", "CVP-IFACE-01" ], "provenance": { "mode": "direct", "sources": [ { "label": "Friis, H. T., “Noise Figures of Radio Receivers,” Proceedings of the IRE, Vol. 32, No. 7, pp. 419–422, July 1944", "kind": "other", "reference": "Cascade formula", "url": "https://ieeexplore.ieee.org/document/1695024" }, { "label": "Pozar, D. M., Microwave Engineering, 4th ed., Wiley, 2012", "kind": "other", "reference": "Ch. 10 Noise and Nonlinear Distortion, §10.2 Noise Figure of a Cascaded System, p. 504" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Friis cascaded noise figure" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module cascaded-NF oracle — same V8 binary64 as IUT", "engine": { "name": "cascaded-nf-reference", "precision_bits": 53, "independent_of_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs ≤2 ULP NF_tot_dB comparison vs IUT", "engine": { "name": "cascaded-nf-reference", "precision_bits": 53, "independent_of_iut": true } } ], "notes": "Golden expected values use a separate O2 module (not IUT transcription). O2 shares Node/V8 binary64 with the IUT unless noted otherwise." }, "controls": { "CVP-PROV-01": { "result": "PASS", "applicability": "required", "notes": "Sources present on evidence" }, "CVP-MODEL-01": { "result": "PASS", "applicability": "required", "notes": "Friis cascade in linear F/G after dB→linear conversion. Gi is available power gain. Matched stages. Linear G_tot overflow → G_tot_lin null + LINEAR_GAIN_OVERFLOW. Fields XOR arrays; field stages contiguous from 1." }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "No mismatch / image-noise extras. Last-stage gain does not enter F_tot. Arrays max 64 stages. MIXED_INPUT_ENCODING / NONCONTIGUOUS_STAGES." }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "dB NF and available gain → linear F/G internally" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O2 expected_values + O2 numerical_behavior" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "5/5 legacy golden; 5/5 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "10/10 numeric-edge Evidence + 2/2 near-singularity numeric; illegal enum/system is Invalid only" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "8 Evidence illegal-input + 8/8 oracle-backed error-code (exact_error_match, not ULP)" }, "CVP-NUM-01": { "result": "PASS", "applicability": "required", "notes": "max_error_observed_ulp=0; policy declared a priori" }, "CVP-COV-01": { "result": "PASS", "applicability": "required", "notes": "8/8 declared partitions (nf-g-fields, arrays, n-ge-3, negative-gain, invalid-domain, mixed-encoding, noncontiguous-stages, linear-gain-overflow) · 5 legacy golden / 12 CVP boundary unique cases · 8 Evidence invalid-input (may overlap boundary)" }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "4/4 CVP contract" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine cascaded-nf; Node binary64" }, "CVP-ART-01": { "result": "PASS", "applicability": "required", "notes": "release_integrity.status=verified · digests: artifact_evidence_sha256=Evidence core (Trust freshness) · cvp_evidence_digest=artifacts.evidence_digest (fingerprint v2) · evidence_bundle_sha256=legacy Evidence JSON bytes · evidence_catalog_digest=attested_catalog_sha256 · production_sha256=bound production report · see artifacts.digest_registry" }, "CVP-PROD-01": { "result": "PASS", "applicability": "required", "notes": "this calculator CURRENT · bound snapshot pass @ 2026-09-12T08:54:09.394Z · live site-wide report stale @ 2026-09-12T08:54:10.035Z (1 other capabilities) · local checks pass · attestation_id=b21c7b8d9598547f3485b258386c4568c005cb5ee1b6bc8b1777eb1639fe28f7 · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-09-12T08:54:09.394Z · Site-wide CVP health: 155 CURRENT · 1 require re-attestation @ 2026-09-12T08:54:10.035Z · Public schema 1.1.1 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.1.1 · report output-const=pass · evidence-sha256=pass · semantic-contract=pass · capability-html-public-origin-agree=pass · cvp-manifest-public-origin-agree=pass · cvp-latest-alias-agrees=pass · cvp-immutable-manifest-fetch=pass · cvp-immutable-manifest-sha256=pass · cvp-latest-alias-matches-immutable=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=659c144aedd470ff9d9134cbd2ea163905e0540d2daf31bc83bc706a19d1d0fd · verified_at=2026-09-12T08:53:53.124Z · evidence_attested_at=2026-09-12T08:53:53.124Z · last_confirmed_current_at=2026-09-12T08:54:09.394Z · rendered_at=2026-09-12T08:54:10.465Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "Noise factor cascade" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "5/5 property · enumerated fixed assertions (not generated; no seed)" }, "CVP-META-01": { "result": "PASS", "applicability": "applicable", "notes": "1/1 metamorphic" }, "CVP-ROUND-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "No inverse / round-trip vectors in pack — control not in obligation set" }, "CVP-XCAL-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "No related calculator in the same formula family / no related-identity peers declared — control not in obligation set" }, "CVP-IFACE-01": { "result": "PASS", "applicability": "applicable", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session." }, "CVP-ORACLE-01": { "result": "SKIP", "applicability": "higher_assurance", "notes": "O2 present; O3 not required this wave" }, "CVP-EXP-01": { "result": "PASS", "applicability": "optional", "notes": "expert_reviewed=true" } }, "tests": { "golden": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "g-fields-two", "g-arrays-three", "g-five-stage", "g-single", "g-cable-before-lna" ] }, "boundary": { "passed": 12, "total": 12, "failed": 0, "case_ids": [ "half-stage", "empty", "array-mismatch", "high-g1-linear-overflow", "too-many-stages", "mixed-encoding", "noncontiguous-fields", "boundary-zero-g", "boundary-nan", "boundary-gain-underflow", "bnd-zero-g", "bnd-high-g1" ] }, "invalid": { "passed": 16, "total": 16, "failed": 0, "case_ids": [ "half-stage", "empty", "array-mismatch", "too-many-stages", "mixed-encoding", "noncontiguous-fields", "boundary-nan", "boundary-gain-underflow", "inv-half-stage", "inv-empty", "inv-array-mismatch", "inv-nan", "inv-gain-underflow", "inv-too-many-stages", "inv-mixed-encoding", "inv-noncontiguous-fields" ], "comparison": "exact_error_match", "records": [ { "id": "inv-half-stage", "comparison": "exact_error_match", "expected": { "code": "NEEDS_TWO_INPUTS" }, "actual": { "code": "NEEDS_TWO_INPUTS" }, "match": true }, { "id": "inv-empty", "comparison": "exact_error_match", "expected": { "code": "MISSING_REQUIRED_INPUT" }, "actual": { "code": "MISSING_REQUIRED_INPUT" }, "match": true }, { "id": "inv-array-mismatch", "comparison": "exact_error_match", "expected": { "code": "ARRAY_LENGTH_MISMATCH" }, "actual": { "code": "ARRAY_LENGTH_MISMATCH" }, "match": true }, { "id": "inv-nan", "comparison": "exact_error_match", "expected": { "code": "INVALID_NUMBER" }, "actual": { "code": "INVALID_NUMBER" }, "match": true }, { "id": "inv-gain-underflow", "comparison": "exact_error_match", "expected": { "code": "INVALID_NUMBER" }, "actual": { "code": "INVALID_NUMBER" }, "match": true }, { "id": "inv-too-many-stages", "comparison": "exact_error_match", "expected": { "code": "TOO_MANY_STAGES" }, "actual": { "code": "TOO_MANY_STAGES" }, "match": true }, { "id": "inv-mixed-encoding", "comparison": "exact_error_match", "expected": { "code": "MIXED_INPUT_ENCODING" }, "actual": { "code": "MIXED_INPUT_ENCODING" }, "match": true }, { "id": "inv-noncontiguous-fields", "comparison": "exact_error_match", "expected": { "code": "NONCONTIGUOUS_STAGES" }, "actual": { "code": "NONCONTIGUOUS_STAGES" }, "match": true } ] }, "property": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "prop-n1-equals-nf1", "prop-last-G-independent", "prop-order-matters", "prop-more-G1", "prop-linear-gain-overflow" ], "kind": "fixed", "definition_ids": [ "single-stage-identity", "final-stage-gain-omitted-from-friis", "cascade-order-is-an-engineering-variable", "higher-preceding-gain-reduces-later-contribution", "linear-total-gain-overflow-is-null-with-warning" ] }, "round_trip": { "passed": 0, "total": 0, "failed": 0, "case_ids": [] }, "metamorphic": { "passed": 1, "total": 1, "failed": 0, "case_ids": [ "meta-last-G" ], "definition_ids": [ "final-stage-gain-independent-of-nf" ] }, "contract": { "passed": 4, "total": 4, "failed": 0 }, "cross_interface": { "passed": 2, "total": 2, "failed": 0, "case_ids": [ "iface-fields", "iface-three-stage" ] } }, "coverage": { "partitions": [ { "id": "nf-g-fields", "description": "NF1/G1 fields", "exercised": true, "case_count": 16 }, { "id": "arrays", "description": "NF_dB/G_dB arrays", "exercised": true, "case_count": 4 }, { "id": "n-ge-3", "description": "Three or more stages", "exercised": true, "case_count": 4 }, { "id": "negative-gain", "description": "Passive / negative available gain", "exercised": true, "case_count": 2 }, { "id": "invalid-domain", "description": "Invalid inputs", "exercised": true, "case_count": 16 }, { "id": "mixed-encoding", "description": "Field encoding and array encoding must not be combined", "exercised": true, "case_count": 2 }, { "id": "noncontiguous-stages", "description": "Field stages must be contiguous from stage 1", "exercised": true, "case_count": 2 }, { "id": "linear-gain-overflow", "description": "G_tot_lin exceeds binary64; G_tot_dB remains finite", "exercised": true, "case_count": 3 } ] }, "numerical": { "representation": "IEEE-754 binary64", "tolerance": { "type": "ulp", "value": 2, "rationale": "Friis cascaded NF; ≤2 ULP vs separate-module O2 (same V8). Declared a priori.", "declared_before_evaluation": true }, "max_error_observed": 0, "records": [ { "id": "g-fields-two", "reference": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 10, 20 ], "F_tot": 1.3584516432910552, "NF_tot_dB": 1.3304418347850302, "G_tot_dB": 30, "G_tot_lin": 1000 }, "actual": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 10, 20 ], "F_tot": 1.3584516432910552, "NF_tot_dB": 1.3304418347850302, "G_tot_dB": 30, "G_tot_lin": 1000 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-arrays-three", "reference": { "n": 3, "NF_dB": [ 1, 8, 3 ], "G_dB": [ 15, 10, 20 ], "F_tot": 1.4299761624740048, "NF_tot_dB": 1.5532879789003458, "G_tot_dB": 45, "G_tot_lin": 31622.776601683792 }, "actual": { "n": 3, "NF_dB": [ 1, 8, 3 ], "G_dB": [ 15, 10, 20 ], "F_tot": 1.4299761624740048, "NF_tot_dB": 1.5532879789003458, "G_tot_dB": 45, "G_tot_lin": 31622.776601683792 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-five-stage", "reference": { "n": 5, "NF_dB": [ 1, 2, 4, 6, 8 ], "G_dB": [ 12, 10, 8, 6, 4 ], "F_tot": 1.3096838120808023, "NF_tot_dB": 1.1716645959227783, "G_tot_dB": 40, "G_tot_lin": 10000 }, "actual": { "n": 5, "NF_dB": [ 1, 2, 4, 6, 8 ], "G_dB": [ 12, 10, 8, 6, 4 ], "F_tot": 1.3096838120808023, "NF_tot_dB": 1.1716645959227783, "G_tot_dB": 40, "G_tot_lin": 10000 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-single", "reference": { "n": 1, "NF_dB": [ 2.5 ], "G_dB": [ 12 ], "F_tot": 1.7782794100389228, "NF_tot_dB": 2.4999999999999996, "G_tot_dB": 12, "G_tot_lin": 15.848931924611133 }, "actual": { "n": 1, "NF_dB": [ 2.5 ], "G_dB": [ 12 ], "F_tot": 1.7782794100389228, "NF_tot_dB": 2.4999999999999996, "G_tot_dB": 12, "G_tot_lin": 15.848931924611133 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-cable-before-lna", "reference": { "n": 2, "NF_dB": [ 3, 1 ], "G_dB": [ -3, 15 ], "F_tot": 2.51188643150958, "NF_tot_dB": 4, "G_tot_dB": 12, "G_tot_lin": 15.848931924611133 }, "actual": { "n": 2, "NF_dB": [ 3, 1 ], "G_dB": [ -3, 15 ], "F_tot": 2.51188643150958, "NF_tot_dB": 4, "G_tot_dB": 12, "G_tot_lin": 15.848931924611133 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "bnd-zero-g", "reference": { "n": 2, "NF_dB": [ 2, 3 ], "G_dB": [ 0, 10 ], "F_tot": 2.580155507429993, "NF_tot_dB": 4.116458819258205, "G_tot_dB": 10, "G_tot_lin": 10 }, "actual": { "n": 2, "NF_dB": [ 2, 3 ], "G_dB": [ 0, 10 ], "F_tot": 2.580155507429993, "NF_tot_dB": 4.116458819258205, "G_tot_dB": 10, "G_tot_lin": 10 }, "error_ulp": 0, "threshold_ulp": 2, "suite": "boundary" }, { "id": "bnd-high-g1", "reference": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 4000, 20 ], "F_tot": 1.2589254117941673, "NF_tot_dB": 1.0000000000000002, "G_tot_dB": 4020, "G_tot_lin": null, "warnings": [ { "code": "LINEAR_GAIN_OVERFLOW", "severity": "warning", "detail": "G_tot_dB=4020 is finite, but linear total available gain 10^(G_tot_dB/10) exceeds IEEE-754 binary64. G_tot_lin is null.", "suggestion": "Use G_tot_dB for total available gain when G_tot_lin is null." } ] }, "actual": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 4000, 20 ], "F_tot": 1.2589254117941673, "NF_tot_dB": 1.0000000000000002, "G_tot_dB": 4020, "G_tot_lin": null, "warnings": [ { "code": "LINEAR_GAIN_OVERFLOW", "severity": "warning", "detail": "G_tot_dB=4020 is finite, but linear total available gain 10^(G_tot_dB/10) exceeds IEEE-754 binary64. G_tot_lin is null.", "suggestion": "Use G_tot_dB for total available gain when G_tot_lin is null." } ] }, "error_ulp": 0, "threshold_ulp": 2, "suite": "boundary" }, { "id": "meta-last-G", "reference": 1, "actual": 1, "error_ulp": 0, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 10, 20 ], "F_tot": 1.3584516432910552, "NF_tot_dB": 1.3304418347850302, "G_tot_dB": 30, "G_tot_lin": 1000 }, "actual": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 10, 20 ], "F_tot": 1.3584516432910552, "NF_tot_dB": 1.3304418347850302, "G_tot_dB": 30, "G_tot_lin": 1000 }, "error_ulp": 0 }, "follow": { "reference": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 10, 5 ], "F_tot": 1.3584516432910552, "NF_tot_dB": 1.3304418347850302, "G_tot_dB": 15, "G_tot_lin": 31.622776601683796 }, "actual": { "n": 2, "NF_dB": [ 1, 3 ], "G_dB": [ 10, 5 ], "F_tot": 1.3584516432910552, "NF_tot_dB": 1.3304418347850302, "G_tot_dB": 15, "G_tot_lin": 31.622776601683796 }, "error_ulp": 0 }, "relation": { "reference": 1, "actual": 1, "error_ulp": 0 } } } ] }, "interfaces": { "compared": [ "ui-ssr", "rest", "mcp" ], "result": "PASS", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session." }, "artifacts": { "evidence_bundle_sha256": "8edde865265c0ead32a453330c7a42d3d38ab0b4ad2bb4deb805eb542b9c2d17", "evidence_digest": "cffdb448177baa9b9c1d19dc7cbf75ad83aaa344cd4ecb4b82f2401b2abadd18", "production_sha256": "659c144aedd470ff9d9134cbd2ea163905e0540d2daf31bc83bc706a19d1d0fd", "attested_catalog_sha256": "f5415895548118ecbaab06c9a6694586112c6ea0f5d65b2772fb0bcb72f31d02", "production_checks": [ { "id": "electrical.rf.cascaded_nf:output-const", "status": "pass", "detail": "output const 1.1.1 vs capability 1.1.1", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:evidence-sha256", "status": "pass", "detail": "1c89ad6e85a7", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:semantic-contract", "status": "pass", "detail": "22/22", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.1.1 vs origin 1.1.1", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:cvp-manifest-public-origin-agree", "status": "pass", "detail": "electrical.rf.cascaded_nf/1.1.1/2026-09-12.exclusive-encoding-contiguous/engineering/cffdb448177b", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z", "projection_compared": false }, { "id": "electrical.rf.cascaded_nf:cvp-latest-alias-agrees", "status": "pass", "detail": "electrical.rf.cascaded_nf/1.1.1/2026-09-12.exclusive-encoding-contiguous/engineering/cffdb448177b", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z", "projection_compared": false }, { "id": "electrical.rf.cascaded_nf:cvp-immutable-manifest-fetch", "status": "pass", "detail": "public=200 origin=200", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:cvp-immutable-manifest-sha256", "status": "pass", "detail": "cffdb448177b", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:cvp-latest-alias-matches-immutable", "status": "pass", "detail": "electrical.rf.cascaded_nf/1.1.1/2026-09-12.exclusive-encoding-contiguous/engineering/cffdb448177b", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z", "projection_compared": false }, { "id": "electrical.rf.cascaded_nf:calculator-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" }, { "id": "electrical.rf.cascaded_nf:evidence-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-12T08:53:53.124Z" } ], "digest_registry": { "digest_algorithm": "sha256", "canonicalization": "json-sorted-keys-utf8", "entries": [ { "name": "cvp_core_sha256", "field": "artifacts.cvp_core_sha256", "digest_scope": "cvp_verification_fingerprint_v2", "value": "cffdb448177baa9b9c1d19dc7cbf75ad83aaa344cd4ecb4b82f2401b2abadd18", "note": "Immutable verification core; excludes attestation/live-status and Evidence contract counts" }, { "name": "cvp_evidence_digest", "field": "artifacts.evidence_digest", "digest_scope": "cvp_verification_fingerprint_v2", "value": "cffdb448177baa9b9c1d19dc7cbf75ad83aaa344cd4ecb4b82f2401b2abadd18", "note": "Alias of cvp_core_sha256 (historical field name)" }, { "name": "artifact_evidence_sha256", "field": "release_integrity.digests.evidence_core_sha256", "digest_scope": "evidence_artifact_core", "value": "1c89ad6e85a7a8df48c6d283d8db6f7086e465f56e21d951f662cbf1e4166ff0", "note": "Published Evidence JSON core — Trust freshness / production bind subject" }, { "name": "evidence_catalog_digest", "field": "artifacts.attested_catalog_sha256", "digest_scope": "capability_catalog", "value": "f5415895548118ecbaab06c9a6694586112c6ea0f5d65b2772fb0bcb72f31d02", "note": "Capability catalog integrity; site-wide, not per-suite fingerprint" } ] }, "cvp_core_sha256": "cffdb448177baa9b9c1d19dc7cbf75ad83aaa344cd4ecb4b82f2401b2abadd18" }, "dependencies": [ { "name": "cascaded-nf-engine", "version": "1.1.1" }, { "name": "cascaded-nf-reference-oracle", "version": "1.0.0" }, { "name": "node", "version": "20.19.2" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "b21c7b8d9598547f3485b258386c4568c005cb5ee1b6bc8b1777eb1639fe28f7", "attested_at": "2026-09-12T08:53:53.124Z", "last_confirmed_current_at": "2026-09-12T08:54:09.394Z", "site_attestation_current": false, "capability_attestation_current": true, "bound_snapshot_status": "pass", "live_report_status": "stale", "bound_attested_at": "2026-09-12T08:54:09.394Z", "live_updated_at": "2026-09-12T08:54:10.035Z", "bound_snapshot": { "status": "pass", "attested_at": "2026-09-12T08:54:09.394Z", "site_stale_count": 1 }, "live_site_status": { "href": "/.well-known/calculatorx-production-attestation.json" }, "bound_snapshot_site_stale_count": 1, "site_stale_capability_count": 1, "evidence_attested_at": "2026-09-12T08:53:53.124Z" }, "domain_review": { "status": "PASS", "spec_version": "1.1.1", "external_third_party": false, "reviewer_role": "electrical-engineer", "independence": "internal" }, "timestamps": { "verified_at": "2026-09-12T08:53:53.124Z", "generated_at": "2026-09-12T08:53:53.124Z", "rendered_at": "2026-09-12T08:54:10.465Z", "notes": "verified_at/generated_at mark the first publication of this cvp_core_sha256 (artifacts.evidence_digest alias) for suite verification. evidence_attested_at/attested_at is the first production bind of that core digest. last_confirmed_current_at is the latest site-wide report that still confirms CURRENT. rendered_at is this JSON serialization and is not part of cvp_core_sha256 / evidence_digest. Production attestation binds cvp_core_sha256 (binds evidence_digest). Causal order: verified_at ≤ evidence_attested_at ≤ last_confirmed_current_at. attestation.bound_snapshot.site_stale_count is the site-wide stale capability count at Manifest bind time — not a live value. Fetch attestation.live_site_status.href for the current site report." }, "links": { "legacy_evidence": "https://www.calculatorx.com/evidence/electrical.rf.cascaded_nf/1.1.1.json", "evidence_page": "https://www.calculatorx.com/evidence/electrical.rf.cascaded_nf/1.1.1", "calculator": "https://www.calculatorx.com/calc/electric/cascaded-nf", "schema": "https://www.calculatorx.com/developers/cvp/schema/cvp-evidence-1.0.json", "protocol": "https://www.calculatorx.com/developers/cvp/spec/1.0", "manifest": "https://www.calculatorx.com/evidence/electrical.rf.cascaded_nf/1.1.1.cvp.json", "manifest_immutable": "https://www.calculatorx.com/evidence/electrical.rf.cascaded_nf/1.1.1/2026-09-12.exclusive-encoding-contiguous.cvp.json", "manifest_core": "https://www.calculatorx.com/evidence/electrical.rf.cascaded_nf/1.1.1/2026-09-12.exclusive-encoding-contiguous.cffdb448177b.cvp.json" } }