TT-CHANGES#

nlohmann/json library is actively maintained, with regular updates to dependencies, and changes are verified to prevent regressions.

Supported Requests:

Supporting Items:

References:

None

Fallacies:

None

Graph:

No Image

??? example “Graph Data as Table” |date-time|TT-CHANGES|TA-FIXES|TA-UPDATES| |-|-|-|-| |2025-08-26 12:04:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-26 15:38:44|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 10:29:06|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 13:23:16|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 14:20:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 16:24:53|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-28 17:29:59|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-29 15:47:02|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-09-19 11:15:27.300598|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|


TT-CONFIDENCE#

Confidence in nlohmann/json library is achieved by measuring and analysing behaviour and evidence over time.

Supported Requests:

Supporting Items:

References:

None

Fallacies:

None

Graph:

No Image

??? example “Graph Data as Table” |date-time|TT-CONFIDENCE|TA-METHODOLOGIES|TA-CONFIDENCE| |-|-|-|-| |2025-08-26 12:04:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-26 15:38:44|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 10:29:06|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 13:23:16|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 14:20:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 16:24:53|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-28 17:29:59|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-29 15:47:02|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-09-19 11:15:27.300598|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|


TT-CONSTRUCTION#

Tools are provided to build nlohmann/json library from trusted sources (also provided) with full reproducibility.

Supported Requests:

Supporting Items:

References:

None

Fallacies:

None

Graph:

No Image

??? example “Graph Data as Table” |date-time|TT-CONSTRUCTION|TA-RELEASES|TA-TESTS|TA-ITERATIONS| |-|-|-|-|-| |2025-08-26 12:04:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-26 15:38:44|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 10:29:06|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 13:23:16|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 14:20:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 16:24:53|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-28 17:29:59|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-29 15:47:02|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-09-19 11:15:27.300598|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|


TT-EXPECTATIONS#

Documentation is provided, specifying what nlohmann/json library is expected to do, and what it must not do, and how this is verified.

Supported Requests:

Supporting Items:

References:

None

Fallacies:

None

Graph:

No Image

??? example “Graph Data as Table” |date-time|TT-EXPECTATIONS|TA-BEHAVIOURS|TA-MISBEHAVIOURS|TA-CONSTRAINTS| |-|-|-|-|-| |2025-08-26 12:04:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-26 15:38:44|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-27 10:29:06|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-27 13:23:16|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-27 14:20:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-27 16:24:53|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-28 17:29:59|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-08-29 15:47:02|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A| |2025-09-19 11:15:27.300598|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|N/A|


TT-PROVENANCE#

All inputs (and attestations for claims) for nlohmann/json library are provided with known provenance.

Supported Requests:

Supporting Items:

References:

None

Fallacies:

None

Graph:

No Image

??? example “Graph Data as Table” |date-time|TT-PROVENANCE|TA-SUPPLY_CHAIN|TA-INPUTS| |-|-|-|-| |2025-08-26 12:04:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-26 15:38:44|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 10:29:06|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 13:23:16|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 14:20:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 16:24:53|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-28 17:29:59|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-29 15:47:02|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-09-19 11:15:27.300598|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|


TT-RESULTS#

Evidence is provided to demonstrate that nlohmann/json library does what it is supposed to do, and does not do what it must not do.

Supported Requests:

Supporting Items:

References:

None

Fallacies:

None

Graph:

No Image

??? example “Graph Data as Table” |date-time|TT-RESULTS|TA-DATA|TA-ANALYSIS|TA-VALIDATION| |-|-|-|-|-| |2025-08-26 12:04:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-26 15:38:44|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 10:29:06|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 13:23:16|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 14:20:48|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-27 16:24:53|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-28 17:29:59|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-08-29 15:47:02|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}| |2025-09-19 11:15:27.300598|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|0.00 {style=”background-color:hsl(0.0, 100%, 65%)”}|