Official source is a stored Boolean

Lesson map

Lesson 16. Map, example, EX062.

flowchart TD
  L["Literal True"] --> K["Key: official source used"]
  K --> P["Bracket x"]
  U["A page address"] --> Q{"Is an address stored?"}
  Q -->|No| R["The tick is not a fetch"]

The prose names a page. The dictionary stores a Boolean.

Logical drawing

"official source used": True
URL stored: none
request performed by the script: none
printed bracket: [x]

Learning outcomes

After this chapter, you should be able to:

1. Treat this tick as a literal True.
2. Keep the official-page sentence in the prose.
3. Refuse a URL the dictionary does not hold.

16.1 True does not remember an address.

The first pair in checks is the string official source used mapped to the literal True. Unlike the hash pair, this pair does not compute anything. The loop cannot tell a computed true from a written true. Both print [x]. The difference is in the source: one value is an equality of digests, and this value is a constant.

The earlier lesson says the archive was taken from the plugin's official page. The dictionary does not store that address, the publisher's name, or a retrieval time. A constant True would remain True even if the sentence about the page were deleted from the prose, and the sentence can be true in the story while a different run stored False. This run stores True. Wermke et al. (2022) study how maintainers talk about trust. Their interviews are not this Boolean. Johnson et al. (2013) study why developers skip static-analysis tools. No static-analysis tool is invoked here.

Host terms still bound what Owen may test. The constant does not record that he read them. It records only that the checklist author set the bit.

Lesson table; scroll horizontally to read all columns →

16.2 Worked example

Lesson table; scroll horizontally to read all columns →

Synthetic case. The publisher of donate-form is not named.

Errors and limits

Do not invent an address so that the Boolean looks like a fetch.

Apply

• EX062 — Literal true. A classmate says the first tick is there because the script opened the official plugin page and saved the address. What does the dictionary store for that key?
  Show marking criteria

  Rubric: 3 = the literal True; no URL and no request; the page remains a prose sentence; the bracket stays [x];; 2 = a stored Boolean, not a fetch;; 1 = one fact;; 0 = none.