ColivingLiguriaTooling and formal methods
Connecting data, documents, and interfaces through reproducible, inspectable processes.
Read the methodThe pathway
The technical pathway concerns automation, information architecture, and formalisation. The focus is on connecting system inputs, the work performed, and evidence of the result.
Identifiable inputs, traceable transformations.
Python and shell support repeatable imports, checks, and reports. Manifests and registers distinguish originals from normalised data and generated artifacts while retaining their source connection.
LaTeX, web, and a readable result.
LaTeX/PDF documents and TypeScript interfaces need different checks: compilation and rendered pages for the former, navigation, accessibility, and behaviour for the latter. Public data retains a distinct boundary from protected data.
A formalisation direction to verify.
Syntax, free variables, and symbol transformations form part of the preparatory work. General translations, semantics, and proof obligations need specific verification: this page presents the method without attributing machine-verified mathematical results.
Making the result inspectable.
Tests, dependency inventories, and artifact checks make the work traceable. Code presence, a passing test, and a service ready for use answer different questions and need separate documentation.
Continue the pathway
The four curriculum variants need updating and publication review. Downloads will be available after the content, documents, and destinations have been reviewed.
Diplomas, transcripts, correspondence, and personal materials remain in protected channels. Public examples will be selected separately.