@debonet/idd 0.0.0-stage → 0.1.1

package/scripts/check.js

@@ -0,0 +1,593 @@
+// @tested-by test/idd-page.test.js
+// @implements s-hcsr5l@76b1b4a
+// @implements s-2b5w6i@84ae053
+// @implements s-r2o7ne@b4bd635
+// @implements s-2bfbql@55fab0b
+// @implements s-pmnqlm@bd37ac7
+// @implements s-a1zj4t@07d0ac9
+// @implements s-ikua3t@86a2f26
+// @implements s-qvff9k@3d4e66c
+// @implements s-hri503@c92744d
+// @implements s-g7mf6n@20749b5
+// @implements s-hgnnfg@dde63b5
+// @implements s-kwn5lt@8da600a
+// @implements s-0ra8q5@62f6cf4
+// @implements s-ejxfi4@df4cd34
+// @implements s-u52jq6@07a03f3
+// @implements s-f6ji64@78163fb
+// @implements s-rhzch5@7a9a9df
+// @implements s-0yj34e@d161f49
+// @implements s-bjouc5@55ab271
+// @implements s-s0obkh@481f803
+// @implements s-twjma0@49ee5c9
+// @implements s-wznig4@d4f6d37
+// @implements s-0yp4n2@d8f6b98
+// @implements s-fvhi3x@f836795
+// @implements s-r40lfj@d88f3b2
+// @implements s-g5gxep@784430f
+// @implements s-61lmfb@6451bc6
+// @implements s-0u0b06@9b94e8d
+// @implements s-8ffele@5deea72
+// @implements s-upxu0m@00fd9f6
+const crypto = require( "crypto" )
+const sFilePage = "idd/page.json"
+const sFileQuestion = "idd/questions.json"
+const sFileAnswer = "idd/answers.json"
+const sFilePending = "idd/pending.json"
+const sFileStatus = "idd/status.json"
+const sFileHistory = "idd/history.json"
+const sFileConflict = "idd/conflicts.json"
+const sFileThoughts = "idd/thoughts.json"
+const sFileClaims = "idd/claims.json"
+
+function fbString( x ){
+  return typeof x == "string" && x.length > 0
+}
+
+function fbObject( x ){
+  return typeof x == "object" && x !== null && !Array.isArray( x )
+}
+
+function fvsMemberProblem( a, vsAllowed, vsRequired, sWhere ){
+  return [
+    ...vsRequired.filter(( s ) => !( s in a )).map(
+      ( s ) => sWhere + "member " + s + " is missing"
+    ),
+    ...Object.keys( a ).filter(( s ) => !vsAllowed.includes( s )).map(
+      ( s ) => sWhere + "member " + s + " is not allowed"
+    ),
+  ]
+}
+
+function fvsPageProblem( aPage ){
+  if( !fbObject( aPage )){
+    return [ "not a JSON object" ]
+  }
+  const vsMember = [ "title", "url", "branchHash" ]
+  return [
+    ...fvsMemberProblem( aPage, vsMember, vsMember, "" ),
+    ...( "title" in aPage && !fbString( aPage.title )
+      ? [ "title is not a non-empty string" ] : [] ),
+    ...( "url" in aPage && aPage.url !== null && !fbString( aPage.url )
+      ? [ "url is neither a non-empty string nor null" ] : [] ),
+    ...( "branchHash" in aPage && !/^[0-9a-f]{64}$/.test( aPage.branchHash )
+      ? [ "branchHash is not a lowercase SHA-256 digest" ] : [] ),
+  ]
+}
+
+function fvsOptionProblem( aOption, nOption ){
+  const sWhere = "option " + ( nOption + 1 ) + ": "
+  if( !fbObject( aOption )){
+    return [ sWhere + "not an object" ]
+  }
+  return [
+    ...fvsMemberProblem(
+      aOption, [ "key", "text", "tag" ], [ "key", "text" ], sWhere
+    ),
+    ...[ "key", "text" ].filter(
+      ( s ) => s in aOption && !fbString( aOption[ s ])
+    ).map(( s ) => sWhere + s + " is not a non-empty string" ),
+    ...( "tag" in aOption && !fbString( aOption.tag )
+      ? [ sWhere + "tag is not a non-empty string" ] : [] ),
+  ]
+}
+
+function fvsKeyRepeat( vaOption ){
+  const vsKey = vaOption.filter(
+    ( a ) => fbObject( a ) && fbString( a.key )
+  ).map(( a ) => a.key )
+  return [ ...new Set( vsKey.filter(
+    ( s, n ) => vsKey.indexOf( s ) != n
+  ))].map(( s ) => "option key " + s + " is held by two options" )
+}
+
+function fvsOptionsProblem( vaOption ){
+  if( !Array.isArray( vaOption )){
+    return [ "options is not an array" ]
+  }
+  const aLast = vaOption[ vaOption.length - 1 ]
+  const bHasX = fbReservedXOption( aLast )
+  const vaSubstantive = bHasX ? vaOption.slice( 0, -1 ) : vaOption
+  const bMisplacedX = vaOption.slice( 0, bHasX ? -1 : undefined )
+    .some(( a ) => fbObject( a ) && a.key === "X" ) ||
+    ( aLast && aLast.key === "X" && !bHasX )
+  return [
+    ...( vaSubstantive.length < 2 || vaSubstantive.length > 4
+      ? [ "options holds " + vaSubstantive.length + " substantive options, not two to four" ] : [] ),
+    ...( bMisplacedX ? [ "X is reserved for the final None of the above option" ] : [] ),
+    ...vaOption.flatMap( fvsOptionProblem ),
+    ...fvsKeyRepeat( vaOption ),
+  ]
+}
+
+const sXOptionText = "None of the above are right. Let me explain:"
+
+function fbReservedXOption( aOption ){
+  return fbObject( aOption ) && aOption.key === "X" &&
+    aOption.text === sXOptionText &&
+    Object.keys( aOption ).length === 2 &&
+    Object.hasOwn( aOption, "key" ) && Object.hasOwn( aOption, "text" )
+}
+
+function faQuestionOptions( vaOption ){
+  if( !Array.isArray( vaOption )) return []
+  return fbReservedXOption( vaOption[ vaOption.length - 1 ] )
+    ? vaOption
+    : [ ...vaOption, { key: "X", text: sXOptionText } ]
+}
+
+function fsQuestionId( sBranchHash, aQuestion ){
+  const sMaterial = JSON.stringify([
+    sBranchHash,
+    aQuestion.title,
+    aQuestion.body,
+    aQuestion.options.map(( aOption ) => [
+      aOption.key, aOption.text, aOption.tag || "",
+    ]),
+  ])
+  return crypto.createHash( "sha256" ).update( sMaterial, "utf8" ).digest( "hex" )
+}
+
+function fsLegacyQuestionId( sBranchHash, aQuestion ){
+  const sMaterial = JSON.stringify([
+    sBranchHash,
+    aQuestion.title,
+    aQuestion.body,
+    aQuestion.options.filter(( aOption, n ) => !(
+      n === aQuestion.options.length - 1 && fbReservedXOption( aOption )
+    )).map(( aOption ) => [
+      aOption.key, aOption.text, aOption.tag || "",
+    ]),
+  ])
+  return crypto.createHash( "sha256" ).update( sMaterial, "utf8" ).digest( "hex" )
+}
+
+function fbQuestionId( sBranchHash, aQuestion ){
+  return aQuestion.id === fsQuestionId( sBranchHash, aQuestion ) ||
+    aQuestion.id === fsLegacyQuestionId( sBranchHash, aQuestion )
+}
+
+function fsBranchHash( sRepositoryId, sFullRef ){
+  const sMaterial = JSON.stringify([ String( sRepositoryId ), sFullRef ])
+  return crypto.createHash( "sha256" ).update( sMaterial, "utf8" ).digest( "hex" )
+}
+
+function fvsQuestionProblem( aQuestion ){
+  if( !fbObject( aQuestion )){
+    return [ "not an object" ]
+  }
+  const vsMember = [ "id", "branchHash", "title", "body", "options", "createdAt" ]
+  return [
+    ...fvsMemberProblem( aQuestion, vsMember, vsMember, "" ),
+    ...( "id" in aQuestion && !/^[0-9a-f]{64}$/.test( aQuestion.id )
+      ? [ "id is not a lowercase SHA-256 digest" ] : [] ),
+    ...( "branchHash" in aQuestion && !/^[0-9a-f]{64}$/.test( aQuestion.branchHash )
+      ? [ "branchHash is not a lowercase SHA-256 digest" ] : [] ),
+    ...[ "title", "body" ].filter(
+      ( s ) => s in aQuestion && !fbString( aQuestion[ s ])
+    ).map(( s ) => s + " is not a non-empty string" ),
+    ...( "options" in aQuestion
+      ? fvsOptionsProblem( aQuestion.options ) : [] ),
+    ...( "createdAt" in aQuestion && !fbIsoTime( aQuestion.createdAt )
+      ? [ "createdAt is not an ISO 8601 time" ] : [] ),
+  ]
+}
+
+function fvsAddProblem( aIn ){
+  if( !fbObject( aIn )){
+    return [ "stdin does not hold a JSON object" ]
+  }
+  const vsMember = [ "title", "body", "options" ]
+  return [
+    ...fvsMemberProblem( aIn, vsMember, vsMember, "" ),
+    ...fvsQuestionProblem({
+      ...aIn,
+      id: "0".repeat( 64 ),
+      branchHash: "0".repeat( 64 ),
+      createdAt: "2000-01-01T00:00:00.000Z",
+    }).filter(
+      ( s ) => !s.startsWith( "member " )
+    ),
+  ]
+}
+
+function fsLabel(aQuestion, n ){
+  return fbObject( aQuestion ) && typeof aQuestion.id == "string"
+    ? aQuestion.id : "question " + ( n + 1 )
+}
+
+function fvsIdRepeat( vaQuestion ){
+  const vsId = vaQuestion.filter( fbObject ).map(( a ) => a.id )
+  return [ ...new Set( vsId.filter(
+    ( s, n ) => typeof s == "string" && vsId.indexOf( s ) != n
+  ))].map(( s ) => s + ": id is held by two questions" )
+}
+
+function fvsQuestionsProblem( vaQuestion ){
+  if( !Array.isArray( vaQuestion )){
+    return [ "not a JSON array" ]
+  }
+  return [
+    ...vaQuestion.flatMap(( a, n ) => fvsQuestionProblem( a ).map(
+      ( s ) => fsLabel( a, n ) + ": " + s
+    )),
+    ...fvsIdRepeat( vaQuestion ),
+    ...vaQuestion.flatMap(( a, n ) => fbObject( a ) &&
+      typeof a.id === "string" && /^[0-9a-f]{64}$/.test( a.branchHash ) &&
+      Array.isArray( a.options ) &&
+      a.options.every(( aOption ) => fbObject( aOption ) &&
+        typeof aOption.key === "string" && typeof aOption.text === "string" ) &&
+      !fbQuestionId( a.branchHash, a )
+      ? [ fsLabel( a, n ) + ": id differs from its branch-scoped question hash" ]
+      : [] ),
+  ]
+}
+
+function fbIsoTime( x ){
+  return typeof x == "string" && Number.isFinite( Date.parse( x )) &&
+    /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2}(\.\d+)?)?(Z|[+-]\d{2}:\d{2})$/
+      .test( x )
+}
+
+function fsThoughtId( aThought ){
+  const sMaterial = JSON.stringify([
+    aThought.branchHash, aThought.createdAt, aThought.text,
+  ])
+  return crypto.createHash( "sha256" ).update( sMaterial, "utf8" ).digest( "hex" )
+}
+
+function fvsThoughtsProblem( vaThought ){
+  if( !Array.isArray( vaThought )) return [ "not a JSON array" ]
+  const vsId = new Set()
+  return vaThought.flatMap(( aThought, nThought ) => {
+    const sWhere = "thought " + ( nThought + 1 ) + ": "
+    if( !fbObject( aThought )) return [ sWhere + "not an object" ]
+    const vsMember = [ "id", "branchHash", "text", "createdAt" ]
+    const vsProblem = fvsMemberProblem(
+      aThought, vsMember, vsMember, sWhere
+    )
+    if( typeof aThought.id !== "string" || !/^[0-9a-f]{64}$/.test( aThought.id )){
+      vsProblem.push( sWhere + "id is not a lowercase SHA-256 digest" )
+    } else if( vsId.has( aThought.id )){
+      vsProblem.push( sWhere + "id is duplicated" )
+    } else {
+      vsId.add( aThought.id )
+    }
+    if( typeof aThought.branchHash !== "string" ||
+      !/^[0-9a-f]{64}$/.test( aThought.branchHash )){
+      vsProblem.push( sWhere + "branchHash is not a lowercase SHA-256 digest" )
+    }
+    if( !fbString( aThought.text )){
+      vsProblem.push( sWhere + "text is not a non-empty string" )
+    }
+    if( !fbIsoTime( aThought.createdAt )){
+      vsProblem.push( sWhere + "createdAt is not an ISO 8601 time" )
+    }
+    if( /^[0-9a-f]{64}$/.test( aThought.id ) &&
+      /^[0-9a-f]{64}$/.test( aThought.branchHash ) &&
+      fbString( aThought.text ) && fbIsoTime( aThought.createdAt ) &&
+      aThought.id !== fsThoughtId( aThought )){
+      vsProblem.push( sWhere + "thought id differs from its digest" )
+    }
+    return vsProblem
+  })
+}
+
+function fvsAnswerProblem( aAnswer, aQuestion ){
+  if( !fbObject( aAnswer )){
+    return [ "not an object" ]
+  }
+  const vsMember = [ "choice", "note", "time" ]
+  const vaOption = aQuestion && Array.isArray( aQuestion.options )
+    ? faQuestionOptions( aQuestion.options ) : []
+  return [
+    ...fvsMemberProblem( aAnswer, vsMember, vsMember, "" ),
+    ...[ "choice", "note" ].filter(
+      ( s ) => s in aAnswer && typeof aAnswer[ s ] != "string"
+    ).map(( s ) => s + " is not a string" ),
+    ...( "time" in aAnswer && !fbIsoTime( aAnswer.time )
+      ? [ "time is not an ISO 8601 string" ] : [] ),
+    ...( typeof aAnswer.choice == "string" && aAnswer.choice !== "" &&
+      !vaOption.some(( a ) => fbObject( a ) && a.key === aAnswer.choice )
+      ? [ "choice is neither empty nor a key of its question's options" ]
+      : [] ),
+  ]
+}
+
+function faQuestionOfId( sTextQuestion, sTextHistory = null ){
+  let va
+  try {
+    va = JSON.parse( sTextQuestion )
+  } catch( xError ){
+    return {}
+  }
+  const aQuestion = {}
+  for( const a of Array.isArray( va ) ? va : [] ){
+    if( fbObject( a ) && typeof a.id == "string" && !( a.id in aQuestion )){
+      aQuestion[ a.id ] = a
+    }
+  }
+  let vaHistory
+  try { vaHistory = JSON.parse( sTextHistory ) } catch( xError ){ vaHistory = [] }
+  for( const aEntry of Array.isArray( vaHistory ) ? vaHistory : [] ){
+    const a = fbObject( aEntry ) ? aEntry.question : null
+    if( fbObject( a ) && typeof a.id === "string" && !( a.id in aQuestion )){
+      aQuestion[ a.id ] = a
+    }
+  }
+  return aQuestion
+}
+
+function fvsAnswersProblem( aAnswer, aQuestionOfId ){
+  if( !fbObject( aAnswer )){
+    return [ "not a JSON object" ]
+  }
+  return Object.keys( aAnswer ).flatMap(( sId ) => (
+    Object.prototype.hasOwnProperty.call( aQuestionOfId, sId )
+      ? fvsAnswerProblem( aAnswer[ sId ], aQuestionOfId[ sId ])
+      : [ "not the id of a question" ]
+  ).map(( s ) => sId + ": " + s ))
+}
+
+function fvsPendingProblem( aPending, aQuestionOfId, aAnswer ){
+  if( !fbObject( aPending )){
+    return [ "not a JSON object" ]
+  }
+  return Object.keys( aPending ).flatMap(( sId ) => {
+    const vsProblem = Object.prototype.hasOwnProperty.call( aQuestionOfId, sId )
+      ? fvsAnswerProblem( aPending[ sId ], aQuestionOfId[ sId ])
+      : [ "not the id of a question" ]
+    const aRecorded = fbObject( aAnswer ) ? aAnswer[ sId ] : null
+    if( !vsProblem.length && (!fbObject( aRecorded ) ||
+      [ "choice", "note", "time" ].some(
+        ( s ) => aPending[ sId ][ s ] !== aRecorded[ s ]
+      ))){
+      vsProblem.push( "differs from the answer file" )
+    }
+    return vsProblem.map(( s ) => sId + ": " + s )
+  })
+}
+
+function fvsStatusProblem( aStatus ){
+  if( !fbObject( aStatus )) return [ "not a JSON object" ]
+  return Object.entries( aStatus ).flatMap(([ sSessionId, aEntry ]) => {
+    const vsProblem = []
+    if( !/^[A-Za-z0-9._:-]{1,128}$/.test( sSessionId )){
+      vsProblem.push( sSessionId + ": invalid session id" )
+    }
+    if( !fbObject( aEntry )){
+      vsProblem.push( sSessionId + ": status is not an object" )
+      return vsProblem
+    }
+    vsProblem.push( ...fvsMemberProblem( aEntry,
+      [ "blocked", "updatedAt" ], [ "blocked", "updatedAt" ],
+      sSessionId + ": " ))
+    if( "blocked" in aEntry && typeof aEntry.blocked !== "boolean" ){
+      vsProblem.push( sSessionId + ": blocked is not a boolean" )
+    }
+    if( "updatedAt" in aEntry && !fbIsoTime( aEntry.updatedAt )){
+      vsProblem.push( sSessionId + ": updatedAt is not an ISO 8601 time" )
+    }
+    return vsProblem
+  })
+}
+
+function fvsClaimsProblem( aClaims, aWorkIds ){
+  if( !fbObject( aClaims )) return [ "not a JSON object" ]
+  return Object.entries( aClaims ).flatMap(([ sKey, aClaim ]) => {
+    const vsProblem = []
+    const aMatch = sKey.match( /^(answer|thought|conflict):([0-9a-f]{64})$/ )
+    if( !aMatch ) vsProblem.push( sKey + ": invalid claim key" )
+    if( !fbObject( aClaim )) return [ ...vsProblem, sKey + ": claim is not an object" ]
+    vsProblem.push( ...fvsMemberProblem( aClaim,
+      [ "sessionId", "claimedAt" ], [ "sessionId", "claimedAt" ], sKey + ": " ))
+    if( "sessionId" in aClaim && !/^[A-Za-z0-9._:-]{1,128}$/.test( aClaim.sessionId )){
+      vsProblem.push( sKey + ": invalid session id" )
+    }
+    if( "claimedAt" in aClaim && !fbIsoTime( aClaim.claimedAt )){
+      vsProblem.push( sKey + ": claimedAt is not an ISO 8601 time" )
+    }
+    if( aMatch && aWorkIds[ aMatch[ 1 ]] && !aWorkIds[ aMatch[ 1 ]].has( aMatch[ 2 ])){
+      vsProblem.push( sKey + ": item id is not present in its source file" )
+    }
+    return vsProblem
+  })
+}
+
+function faActiveQuestionIds( sTextQuestion ){
+  try {
+    const vaQuestion = JSON.parse( sTextQuestion )
+    return new Set( Array.isArray( vaQuestion ) ? vaQuestion.map(( a ) => a && a.id ) : [] )
+  } catch( xError ){
+    return new Set()
+  }
+}
+
+function fvsHistoryProblem( aHistory, aQuestionOfId, vsActiveQuestionId ){
+  if( !Array.isArray( aHistory )) return [ "not a JSON array" ]
+  const vsSeen = new Set()
+  return aHistory.flatMap(( aEntry, n ) => {
+    const sWhere = "history entry " + ( n + 1 ) + ": "
+    if( !fbObject( aEntry )) return [ sWhere + "not an object" ]
+    const vsProblem = fvsMemberProblem( aEntry,
+      [ "questionId", "question", "replacedBy", "time" ],
+      [ "questionId", "question", "replacedBy", "time" ], sWhere )
+    if( typeof aEntry.questionId !== "string" ||
+      !/^[0-9a-f]{64}$/.test( aEntry.questionId )){
+      vsProblem.push( sWhere + "questionId is not a lowercase SHA-256 digest" )
+    }
+    if( typeof aEntry.replacedBy !== "string" ||
+      !/^[0-9a-f]{64}$/.test( aEntry.replacedBy )){
+      vsProblem.push( sWhere + "replacedBy is not a lowercase SHA-256 digest" )
+    } else if( aEntry.replacedBy === aEntry.questionId ){
+      vsProblem.push( sWhere + "question cannot replace itself" )
+    } else if( !Object.prototype.hasOwnProperty.call( aQuestionOfId, aEntry.replacedBy )){
+      vsProblem.push( sWhere + "replacedBy is not an active or historical question id" )
+    }
+    if( !fbIsoTime( aEntry.time )){
+      vsProblem.push( sWhere + "time is not an ISO 8601 time" )
+    }
+    vsProblem.push( ...fvsQuestionProblem( aEntry.question )
+      .map(( s ) => sWhere + "question: " + s ))
+    if( fbObject( aEntry.question ) &&
+      aEntry.question.id !== aEntry.questionId ){
+      vsProblem.push( sWhere + "question id differs from questionId" )
+    }
+    if( vsActiveQuestionId.has( aEntry.questionId )){
+      vsProblem.push( sWhere + "questionId is still active" )
+    }
+    if( typeof aEntry.questionId === "string" && vsSeen.has( aEntry.questionId )){
+      vsProblem.push( sWhere + "questionId already appears in history" )
+    }
+    if( typeof aEntry.questionId === "string" ) vsSeen.add( aEntry.questionId )
+    return vsProblem
+  })
+}
+
+function fvsConflictsProblem( vaConflict, aQuestionOfId ){
+  if( !Array.isArray( vaConflict )) return [ "not a JSON array" ]
+  const vsId = new Set()
+  return vaConflict.flatMap(( a, n ) => {
+    const sWhere = "conflict " + ( n + 1 ) + ": "
+    if( !fbObject( a )) return [ sWhere + "not an object" ]
+    const vsProblem = fvsMemberProblem( a,
+      [ "id", "questionId", "choice", "note", "time", "submittedBy" ],
+      [ "id", "questionId", "choice", "note", "time", "submittedBy" ], sWhere )
+    if( typeof a.id !== "string" || !a.id ){
+      vsProblem.push( sWhere + "id is not a non-empty string" )
+    } else if( vsId.has( a.id )){
+      vsProblem.push( sWhere + "id already appears in conflicts" )
+    } else {
+      vsId.add( a.id )
+    }
+    const aQuestion = typeof a.questionId === "string" &&
+      /^[0-9a-f]{64}$/.test( a.questionId ) &&
+      Object.prototype.hasOwnProperty.call( aQuestionOfId, a.questionId )
+      ? aQuestionOfId[ a.questionId ] : null
+    if( !aQuestion ) vsProblem.push( sWhere + "questionId is not an active or historical question id" )
+    if( typeof a.choice !== "string" || !faQuestionOptions( aQuestion?.options ).some(( aOption ) =>
+      aOption.key === a.choice )){
+      vsProblem.push( sWhere + "choice is not an option of its question" )
+    }
+    if( typeof a.note !== "string" ) vsProblem.push( sWhere + "note is not a string" )
+    if( !fbIsoTime( a.time )) vsProblem.push( sWhere + "time is not an ISO 8601 time" )
+    if( typeof a.submittedBy !== "string" ){
+      vsProblem.push( sWhere + "submittedBy is not a string" )
+    }
+    return vsProblem
+  })
+}
+
+function faAnswerOrEmpty( sTextAnswer ){
+  try {
+    return JSON.parse( sTextAnswer )
+  } catch( xError ){
+    return {}
+  }
+}
+
+function fvsParsed( sFile, sText, fvsProblem ){
+  let x
+  try {
+    x = JSON.parse( sText )
+  } catch( xError ){
+    return [ sFile + ": not JSON (" + xError.message + ")" ]
+  }
+  return fvsProblem( x ).map(( s ) => sFile + ": " + s )
+}
+
+function fvsProblem(
+  sTextPage, sTextQuestion, sTextAnswer = null, sTextPending = null,
+  sTextStatus = null, sTextHistory = null, sTextConflict = null,
+  sTextThoughts = null, sTextClaims = null
+){
+  const aQuestionOfId = faQuestionOfId( sTextQuestion, sTextHistory )
+  const vsActiveQuestionId = faActiveQuestionIds( sTextQuestion )
+  return [
+    ...fvsParsed( sFilePage, sTextPage, fvsPageProblem ),
+    ...( sTextQuestion === null
+      ? [ sFileQuestion + ": file does not exist" ]
+      : fvsParsed( sFileQuestion, sTextQuestion, fvsQuestionsProblem )),
+    ...( sTextAnswer === null ? [] : fvsParsed(
+      sFileAnswer, sTextAnswer,
+      ( a ) => fvsAnswersProblem( a, aQuestionOfId )
+    )),
+    ...( sTextPending === null ? [] : fvsParsed(
+      sFilePending, sTextPending,
+      ( a ) => fvsPendingProblem(
+        a, aQuestionOfId,
+        sTextAnswer === null ? {} : faAnswerOrEmpty( sTextAnswer )
+      )
+    )),
+    ...( sTextStatus === null ? [] : fvsParsed(
+      sFileStatus, sTextStatus, fvsStatusProblem
+    )),
+    ...( sTextHistory === null ? [] : fvsParsed(
+      sFileHistory, sTextHistory,
+      ( a ) => fvsHistoryProblem( a, aQuestionOfId, vsActiveQuestionId )
+    )),
+    ...( sTextConflict === null ? [] : fvsParsed(
+      sFileConflict, sTextConflict,
+      ( a ) => fvsConflictsProblem( a, aQuestionOfId )
+    )),
+    ...( sTextThoughts === null ? [] : fvsParsed(
+      sFileThoughts, sTextThoughts, fvsThoughtsProblem
+    )),
+    ...( sTextClaims === null ? [] : fvsParsed(
+      sFileClaims, sTextClaims, ( aClaims ) => {
+        const faIds = ( sText, sName ) => {
+          try {
+            const aData = JSON.parse( sText || ( sName === "thought" ? "[]" : "{}" ))
+            return new Set( sName === "conflict"
+              ? Array.isArray( aData ) ? aData.map(( a ) => a && a.id ) : []
+              : sName === "thought"
+                ? Array.isArray( aData ) ? aData.map(( a ) => a && a.id ) : []
+                : Object.keys( fbObject( aData ) ? aData : {} ))
+          } catch( xError ){ return new Set() }
+        }
+        return fvsClaimsProblem( aClaims, {
+          answer: new Set([
+            ...( () => {
+              try {
+                const vaQuestion = JSON.parse( sTextQuestion || "[]" )
+                return Array.isArray( vaQuestion )
+                  ? vaQuestion.map(( a ) => a && a.id ) : []
+              } catch( xError ){ return [] }
+            })(),
+            ...Object.keys( sTextAnswer === null ? {} : faAnswerOrEmpty( sTextAnswer )),
+          ]),
+          thought: faIds( sTextThoughts, "thought" ),
+          conflict: faIds( sTextConflict, "conflict" ),
+        })
+      }
+    )),
+  ]
+}
+
+module.exports = {
+  fvsProblem, fvsAddProblem, fbIsoTime, sFilePage, sFileQuestion, sFileAnswer,
+  sFilePending, fsQuestionId, fsLegacyQuestionId, fsBranchHash, faQuestionOptions, sXOptionText,
+  sFileStatus, sFileHistory, sFileConflict, fvsStatusProblem, faQuestionOfId,
+  sFileThoughts, fvsThoughtsProblem, fsThoughtId,
+  sFileClaims, fvsClaimsProblem,
+}